1
$\begingroup$

Let $\Delta=\{\alpha_1,\alpha_2\}$ be the simple root system

of the exceptional Lie group $G_2$ with $\alpha_1$ is short and $\alpha_2$ is long, so $\lambda_1=2\alpha_1+\alpha_2,\lambda_2=3\alpha_1+2\alpha_2$ are the fundamental dominant weights. Let $T$ be the maximal torus of $G_2,$ then $H^*(BT;Z)$ is a polynomial algebra on two generators. Can we see $\alpha_1$ and $\alpha_2$ as the generators? What about $\lambda_1$ and $\lambda_2$?

$\endgroup$

1 Answer 1

3
$\begingroup$

Let T be an arbitrary compact torus. The second cohomology group of BT (with arbitrary coefficients, call that ring k) generates the full cohomology freely as an algebra. In other words, if you pick a k-basis x1, x2,... of H2(BT), then you get an isomorphism of H*(BT) with k[x1, x2,...].

Now let's specialise to the case k=ℤ. In that case, the second cohomology group of BT is canonically isomorphic to the group of characters of T, i.e., to the group of homomorphisms from TS1. Given a character χ :TS1, the corresponding element of H2(BT) is represented by (the first Chern class of) the complex line bundle ET ×TχBT = ET/T.

Now back to your question. The elements α1 and α2 form a basis of BT, where T now refers to the maximal torus of G2. So you get an isomorphism H*(BT;ℤ) $\xrightarrow{\sim}$ ℤ[α1, α2]. But λ1 and λ2 also form a basis of BT. So you get another isomoprhism H*(BT;ℤ) $\xrightarrow{\sim}$ ℤ[λ1, λ2].


Let me also answer the question in the title of your question:

By "weight of a Lie group", one means a homomorphism from its maximal torus to S1.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .