Direkt zum Inhalt

Nur für Besitzer und Autoren: Kontrollseite des Eintrags
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)
Open Access Art:Primärpublikation
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