Prof. Dr. Benjamin Klopsch Wintersemester 2015–16 Gruppentheorie I (Algebraische Gruppen) – Blatt 12 Abgabe der Lösungen am 05.02.2016 in der Übung Die Aufgaben sind zum Teil mündlich bzw. mit Kurznotizen vorzubereiten. Bitte geben Sie schriftliche Lösungen zu den Aufgaben 12.2 und 12.3 ab; weitere Informationen auf http://reh.math.uni-duesseldorf.de/~internet/GruppenI_WS1516/. Für alle Aufgaben bezeichne k einen algebraisch abgeschlossenen Körper. In der Vorlesung wurden einige Beweise zum Teil nur skizziert. In den Aufgaben sollen diese nun im Detail ausgeführt werden. Aufgabe 12.1 Sei G eine lineare algebraische Gruppe, und ΩG = Ωk[G]∣k der Differentialmodul der kAlgebra k[G]. Konkret bedeutet das: ΩG = I/I 2 , wobei I ⊴ k[G × G] ≅ k[G] ⊗k k[G] das Verschwindungsideal der Diagonalen in G × G bezeichnet. Für f ∈ k[G] ist df ∈ ΩG dann gleich F + I 2 , wobei F ∈ k[G × G] durch F (x, y) = f (x) − f (y) für x, y ∈ G gegeben ist. Der Kotangentialraum (T1 G)∗ sei realisiert als M1 /M12 , wobei M1 ⊴ k[G] das Verschwindungsideal in 1 = 1G bezeichne. Für f ∈ k[G] sei δf = f − f (1) + M12 ∈ (T1 G)∗ . Für x ∈ G bezeichne λ(x) bzw. ρ(x) den durch Links- bzw. Rechtstranslation vermittelten Automorphismus der k-Algebra k[G] sowie ebenfalls den entsprechend induzierten Automorphismus des k-Moduls ΩG . Beweisen Sie im Detail (vgl. Satz 4.4.2): Es besteht ein Isomorphismus Φ∶ ΩG → k[G] ⊗k (T1 G)∗ zwischen k[G]-Moduln mit den folgenden Eigenschaften: (a) Für alle x ∈ G gelten: Φ ○ λ(x) ○ Φ−1 = λ(x) ⊗ id und Φ ○ %(x) ○ Φ−1 = %(x) ⊗ (Ad(x))∗ , wobei die koadjungierte Abbildung gegeben ist durch ((Ad(x))∗ u)X = u(Ad(x−1 )X) für u ∈ (T1 G)∗ und X ∈ T1 G, und Ad(x−1 ) = d Int(x−1 )1 das Differential in 1 = 1G des inneren Automorphismus Int(x−1 )∶ G → G, y ↦ x−1 yx bezeichnet. (b) Für f ∈ k[G] mit ∆f = ∑i gi ⊗ hi , oder unter der Identifizierung k[G] ⊗k k[G] ≅ k[G × G] entsprechend (∆f )(x, y) = f (xy) = ∑i gi (x)hi (y) für x, y ∈ G, gilt: Φ(df ) = − ∑ gi ⊗ δhi . i Bitte wenden! S. 1/2 Gruppentheorie I (Algebraische Gruppen) – Blatt 12 Aufgabe 12.2 Sei G eine lineare algebraische Gruppe, und sei DG = Derk (k[G], k[G]). Zeigen Sie zunächst: Zwischen den k[G]-Moduln S. 2/2 (6 Punkte) k[G] ⊗k T1 G und Homk[G] (k[G] ⊗k (T1 G)∗ , k[G]) läßt sich ein Isomorphismus herstellen durch die Vorgabe f ⊗X ↦ ϕf,X , wobei ϕf,X (g⊗u) = u(X)f g für f, g ∈ k[G], X ∈ T1 G und u ∈ (T1 G)∗ gelten soll. Beweisen Sie dann, unter Verwendung von Aufgabe 12.1 und in Anlehnung an die dort bereitgestellte Notation, im Detail: Es besteht ein Isomorphismus Ψ∶ DG → k[G] ⊗k T1 G zwischen k[G]-Moduln mit den folgenden Eigenschaften: (a) Für alle x ∈ G gelten Ψ ○ λ(x) ○ Ψ−1 = λ(x) ⊗ id und Ψ ○ %(x) ○ Ψ−1 = %(x) ⊗ Ad(x). Hierbei bezeichnen λ(x) und %(x) auf der linken Seite der jeweiligen Gleichung die von den auf der rechten Seite auftretenden Abbildungen λ(x), %(x)∶ k[G] → k[G] vermittelten k-linearen Isomorphismen λ(x)∶ DG → DG , D ↦ λ(x) ○ D ○ λ(x)−1 und %(x)∶ DG → DG , D ↦ %(x) ○ D ○ %(x)−1 . (b) Für f ∈ k[G] mit ∆f = ∑i gi ⊗ hi , oder gemäß k[G] ⊗k k[G] ≅ k[G × G] entsprechend (∆f )(x, y) = f (xy) = ∑i gi (x)hi (y) für x, y ∈ G, und X ∈ T1 G gilt: (Ψ−1 (1 ⊗ X)) (f ) = − ∑ gi ⋅ (Xhi ). i Aufgabe 12.3 (6 Punkte) Sei G eine lineare algebraische Gruppe, und sei DG = Derk (k[G], k[G]). Seien L(G) = {D ∈ DG ∣ ∀x ∈ G ∶ λ(x) ○ D = D ○ λ(x)}, L○ (G) = {D ∈ DG ∣ ∀x ∈ G ∶ %(x) ○ D = D ○ %(x)}, wobei λ(x) bzw. %(x) jeweils den durch Links- bzw. Rechtstranslation mit x vermittelten Automorphismus der Koordinatenalgebra k[G] bezeichnet. (a) Zeigen Sie: L(G) und L○ (G) sind Lie-Unteralgebren der k-Lie-Algebra DG . (b) Sind L(G) und L○ (G) isomorph? In welcher Beziehung stehen sie zueinander?
© Copyright 2024 ExpyDoc