Questions for Example Sheet 3 - Commutative Algebra | MATH 681, Papers of Mathematics

Material Type: Paper; Professor: Brundan; Class: Top Commutative Algeb; Subject: Mathematics; University: University of Oregon; Term: Fall 1997;

Typology: Papers

Pre 2010

Uploaded on 07/23/2009

koofers-user-kz0
koofers-user-kz0 🇺🇸

10 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Lie algebras Examples sheet 3
1. Let (ai,j)1i,j lbe the Cartan matrix of an abstract root system. Prove
directly from the definition that
(i) ai,i = 2;
(ii) ai,j = 0 if and only if aj,i = 0;
(iii) if i!=jthen ai,j 0.
2. Prove that the only abstract root systems of rank two are
A1A1A2B2G2
!2 0
0 2 " ! 21
1 2 " ! 22
1 2 " ! 21
3 2 "
3. Let ΦEbe an abstract root system with base . For α, show
that sαWstabilises Φ+\ {α}. Deduce that sα(ρ) = ραfor all α,
where
ρ=1
2#
βΦ+
β.
4. Let ΦEbe an abstract root system.
(a) Show that
Φ=$2α
(α,α)%
%
%
%
αΦ&
is also an abstract root system in E, known as the dual root system.
(b) Show that the Weyl group of Φis isomorphic to the Weyl group of
Φ.
(c) Show that Φis irreducible if and only if Φis irreducible, and that
the double dual of Φis isomorphic to Φ.
(d) Show that the dual root system to Al, Bl, Clor Dlis Al, Cl, Blor Dl
respectively.
5. Let ΦEbe an abstract root system.
(a) Let Φ$Φbe a subset such that if α1,...,αnΦ$and α='aiαi
Φfor certain coefficients aiZ, then αΦ$. Show that Φ$is a root system
in the subspace E$< E that it spans. Such subsystems of the root system
Φare called closed subsystems.
(b) Verify that the set of long roots in the root system of type G2is
1
pf2

Partial preview of the text

Download Questions for Example Sheet 3 - Commutative Algebra | MATH 681 and more Papers Mathematics in PDF only on Docsity!

Lie algebras – Examples sheet 3

  1. Let (ai,j ) 1 ≤i,j≤l be the Cartan matrix of an abstract root system. Prove directly from the definition that (i) ai,i = 2; (ii) ai,j = 0 if and only if aj,i = 0; (iii) if i != j then ai,j ≤ 0.
  2. Prove that the only abstract root systems of rank two are

( A^1 A^1 A^2 B^2 G^2 2 0 0 2

  1. Let Φ ⊂ E be an abstract root system with base ∆. For α ∈ ∆, show that sα ∈ W stabilises Φ +^ \ {α}. Deduce that sα (ρ) = ρ − α for all α ∈ ∆, where ρ =^12

β∈Φ +

β.

  1. Let Φ ⊂ E be an abstract root system. (a) Show that Φ ∨^ =

{ (^2) α (α, α)

∣∣ α ∈ Φ

is also an abstract root system in E, known as the dual root system. (b) Show that the Weyl group of Φ ∨^ is isomorphic to the Weyl group of Φ. (c) Show that Φ ∨^ is irreducible if and only if Φ is irreducible, and that the double dual of Φ is isomorphic to Φ. (d) Show that the dual root system to A (^) l , Bl , C (^) l or Dl is A (^) l , C (^) l , Bl or Dl respectively.

  1. Let Φ ⊂ E be an abstract root system. (a) Let Φ′^ ⊂ Φ be a subset such that if α 1 ,... , αn ∈ Φ ′^ and α = ∑^ ai αi ∈ Φ for certain coefficients ai ∈ Z, then α ∈ Φ ′^. Show that Φ′^ is a root system in the subspace E ′^ < E that it spans. Such subsystems of the root system Φ are called closed subsystems. (b) Verify that the set of long roots in the root system of type G 2 is 1

a closed subsystem of type A 2 , whereas the set of short roots in the root system of type G 2 is not a closed subsystem. (c) More generally, show that the set of long roots in any irreducible root system is a closed subsystem. (d) What subsystem does one obtain from the long roots in type Bl? Type Cl?

  1. Let Aut Φ be the set of all automorphisms of the abstract root system Φ, that is, all bijections θ : Φ → Φ such that 〈θ(α), θ(β)〉 = 〈α, β〉 for all α, β ∈ Φ. (a) Show that W is a normal subgroup of Aut Φ. (b) Let Γ be the set of all θ ∈ Aut Φ such that θ(∆)+ = ∆, where ∆ is a fixed base of Φ. Show that Aut Φ is the semidirect product of Γ and W , that is, Aut Φ = W Γ, W ∩ Γ = 1. (c) Show that Γ can be identified with the set of all automorphisms (of directed graphs) of the Dynkin diagram of Φ. (d) Prove that the map α *→ −α (α ∈ Φ) is an automorphism of Φ. For which irreducible root systems Φ is this map an element of the Weyl group W? Jon Brundan, 24/2/97.