Direkt zum Inhalt

Rostayar, Nazir

Der N-Isomorphiesatz in der Darstellungstheorie endlicher Gruppen

Rostayar, Nazir (2019) Der N-Isomorphiesatz in der Darstellungstheorie endlicher Gruppen. Dissertation, Universität Regensburg.

Veröffentlichungsdatum dieses Volltextes: 14 Nov 2019 10:35
Hochschulschrift der Universität Regensburg
DOI zum Zitieren dieses Dokuments: 10.5283/epub.41025


Zusammenfassung (Deutsch)

Sei $G$ eine endliche Gruppe, $R$ ein $G$-Ringspektrum wie z.B. in [Greenlees] \S\ 5. und $X$ eine $G$-Menge. Es gibt dann eine minimale Familie $\cal F$ der Untergruppen von $G$ so, dass die kanonische Restriktionsabbildung $${\rm Res}:R_G^*(X)\longrightarrow\lim_{G/H\in{\cal O_F}(G)}R_H^*(X)$$ \noindent mit ${\cal O_F}(G)$ eine Unterkategorie der Orbitkategorie von $G$ ein $\cal ...

Sei $G$ eine endliche Gruppe, $R$ ein $G$-Ringspektrum wie z.B. in [Greenlees] \S\ 5. und $X$ eine $G$-Menge. Es gibt dann eine minimale Familie $\cal F$ der Untergruppen von $G$ so, dass die kanonische Restriktionsabbildung

$${\rm Res}:R_G^*(X)\longrightarrow\lim_{G/H\in{\cal O_F}(G)}R_H^*(X)$$

\noindent mit ${\cal O_F}(G)$ eine Unterkategorie der Orbitkategorie von $G$ ein $\cal N$-Isomorphismus ist, siehe [MNN] Theorem C bzw. 3.21. Es gibt n\"amlich $m,n\in\Bbb Z_{>0}$ so, dass wenn $x$ in $\ker({\rm Res})$ und $y$ in $\lim_{G/H\in{\cal O_F}(G)}R_H^*(X)$ liegt, dann gilt $x^m=0$ und $y^n\in{\rm im}({\rm Res})$. Der Fall, dass $R$ jedem Objekt $G/H\in{\rm Ob}({\cal O_F}(G))$ den Darstellungsring $R(H)$ zuordnet ist besonders interessant. In diesem Fall ist die minimale Familie gleich $\cal C$, die Familie aller zyklischen Untergruppen von $G$. Es gilt n\"amlich

$$|G|\cdot(\lim_{{\cal O_F}(G)^{op}}R(H)/R(G))=0,$$

\noindent die eine Folge des Artinschen Theorems ist. Daneben ist es m\"oglich, die $\cal N$-Isomorphie Eigenschaft der Abbildung Res rein mit Hilfe der arithmetischen Geometrie zu beweisen, das im ersten Paragraphen dieser Arbeit geschieht. F\"ur das Produkt $C_p\times C_p=:P$ zweier zyklischen Gruppen von Ordnung gleich einer Primzahl $p$ wird gezeigt, dass f\"ur alle $y\in\lim_{{\cal O_C}(P)^{op}}R(C)$, $y^p\in R(P)$ und

$$p\cdot(\lim_{{\cal O_C}(P)^{op}}R(C)/R(P))=0$$

\noindent gilt. Zur elliptischen Kohomologie wird die minimale Familie der Lubin-Tate Theorie einer $p$-Gruppe f\"ur $p$ eine Primzahl bestimmt. F\"ur den Fall des Burnside Ringes $G/H\mapsto A(H)$ wird das Ergebnis [MNN] 3.2 Proposition 3.11 (3) Seite 21 \"uber Amitsur-Dress-Tate Kohomologie $\widehat H^\ast_{\cal F}(\pi^{(-)}_\ast S)$ bewiesen. Schliesslich wird wie in dem Beispiel von Serre aus [Serre1] 11.4, mit Hilfe der hervorgehenden Ergebnissen das Primspektrum des Ringes $R(G)$ f\"ur einige endliche Gruppen, n\"amlich $\goth S_3$, $\goth A_4$ und $D_4$ bestimmt.

Übersetzung der Zusammenfassung (Englisch)

Let $G$ be a finite group, $R$ a $G$-ring spectrum as e.g. in [Greenlees] \S\ 5. and $X$ a $G$-set. Then there exists a minimal Family $\cal F$ of subgroups of $G$, such that the canoncal restriction map $${\rm Res}:R_G^*(X)\longrightarrow\lim_{G/H\in{\cal O_F}(G)}R_H^*(X)$$ \noindent for ${\cal O_F}(G)$ a subcategory of the orbit category of $G$ is an $\cal N$-isomorphism, cf. [MNN] ...

Let $G$ be a finite group, $R$ a $G$-ring spectrum as e.g. in [Greenlees] \S\ 5. and $X$ a $G$-set. Then there exists a minimal Family $\cal F$ of subgroups of $G$, such that the canoncal restriction map

$${\rm Res}:R_G^*(X)\longrightarrow\lim_{G/H\in{\cal O_F}(G)}R_H^*(X)$$

\noindent for ${\cal O_F}(G)$ a subcategory of the orbit category of $G$ is an $\cal N$-isomorphism, cf. [MNN] Theorem C respectively 3.21. Namely there exist $m,n\in\Bbb Z_{>0}$, such that whenever $x\in\ker({\rm Res})$ and $y\in\lim_{G/H\in{\cal O_F}(G)}R_H^*(X)$, then $x^m=0$ and $y^n\in{\rm im}({\rm Res})$ holds. The case that $R$ assigns to every Object $G/H\in{\rm Ob}({\cal O_F}(G))$ the representation ring $R(H)$ is of special interest. In this case the minimal Family is equal to $\cal C$, the Family of all cyclic subgroups of $G$. One has

$$|G|\cdot(\lim_{{\cal O_F}(G)^{op}}R(H)/R(G))=0,$$

\noindent which is a consequence of Artin's Theorem. Moreover it is possible to prove that Res is an $\cal N$-isomorphism purely by means of the arithmetic geometry, which happens in the first paragraph of this work. For the product $C_p\times C_p=:P$ of two cyclic groups of order equal to a prime $p$ it will be shown that, for all $y\in\lim_{{\cal O_C}(P)^{op}}R(C)$, $y^p\in R(P)$ and

$$p\cdot(\lim_{{\cal O_C}(P)^{op}}R(C)/R(P))=0$$

\noindent holds. For the elliptic cohomology the minimal Family of the Lubin-Tate Theory for $G$ equal to a $p$-group will be determined. For the case of the Burnside rings $G/H\mapsto A(H)$, the result [MNN] 3.2 Proposition 3.11 (3) page 21 about the Amitsur-Dress-Tate cohomology $\widehat H^\ast_{\cal F}(\pi^{(-)}_\ast S)$ will be proved. Finally following the example of Serre from [Serre1] 11.4, the prime spectrum of the Ring $R(G)$ for some finite groups, namely $\goth S_3$, $\goth A_4$ and $D_4$ will be determined by using the results of the previous sections.


Beteiligte Einrichtungen


Details

DokumentenartHochschulschrift der Universität Regensburg (Dissertation)
Datum14 November 2019
Begutachter (Erstgutachter)Prof. Dr. Niko Naumann
Tag der Prüfung17 Oktober 2019
InstitutionenMathematik > Prof. Dr. Niko Naumann
Stichwörter / KeywordsN-Isomorphism, N-Isomorphie, Representation of finite Groups, Darstellungstheorie endlicher Gruppen, Representation Ring, Darstellungsring, Table of Marks, Markentafel, Elliptic cohomology, Elliptische Kohomologie, Burnside ring, Burnsidering
Dewey-Dezimal-Klassifikation500 Naturwissenschaften und Mathematik > 510 Mathematik
StatusVeröffentlicht
BegutachtetJa, diese Version wurde begutachtet
An der Universität Regensburg entstandenJa
URN der UB Regensburgurn:nbn:de:bvb:355-epub-410250
Dokumenten-ID41025

Bibliographische Daten exportieren

Nur für Besitzer und Autoren: Kontrollseite des Eintrags

nach oben