Descent of line bundles to GIT quotients of flag varieties by maximal torus (Q1024604)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Descent of line bundles to GIT quotients of flag varieties by maximal torus |
scientific article |
Statements
Descent of line bundles to GIT quotients of flag varieties by maximal torus (English)
0 references
17 June 2009
0 references
Let \(G\) be a simply connected semisimple complex algebraic group, \(B\subset G\) a Borel subgroup, \(T\subset B\) a maximal torus, and \(P\supseteq B\) a parabolic subgroup. For any \(P\)-regular dominant weight \(\lambda\) of \(T\) denote by \(\mathcal{L}_P(\lambda)=G\times^P\mathbb{C}_{-\lambda}\) the respective ample line bundle on the generalized flag variety \(Y=G/P\). Then the set \(Y^{\text{ss}}(\lambda)\) of \(\mathcal{L}_P(\lambda)\)-semistable points of \(Y\) for the \(T\)-action is non-empty. Let \(Y^{\text{ss}}(\lambda)/\!\!/T\) denote the respective GIT quotient. The main result of the paper says that \(\mathcal{L}_P(\lambda)\) descends to \(Y^{\text{ss}}(\lambda)/\!\!/T\) (i.e., is the pullback of a line bundle on \(Y^{\text{ss}}(\lambda)/\!\!/T\)) iff \(\lambda\) lies in the root lattice of each semisimple subgroup \(S\subseteq G\) containing \(T\). The proof is based on Kempf's descent lemma: given a projective variety \(X\) with an action of a reductive group \(H\) and an ample \(H\)-line bundle \(\mathcal{L}\) on \(X\), an \(H\)-equivariant vector bundle \(\mathcal{S}\) on \(X\) descends to \(X^{\text{ss}}(\mathcal{L})/\!\!/H\) iff for any \(x\in X^{\text{ss}}(\mathcal{L})\) the isotropy group \(H_x\) acts trivially on the fiber \(\mathcal{S}_x\) [\textit{J.-M. Drezet, M. S. Narasimhan}, Invent. Math. 97, No.1, 53--94 (1989; Zbl 0689.14012)]. For each simply connected simple algebraic group \(G\), the author describes explicitly the dominant weights \(\lambda\) such that \(\mathcal{L}_P(\lambda)\) descends to \(Y^{\text{ss}}(\lambda)/\!\!/T\). (Note that \(P\) is uniquely defined by \(\lambda\) assuming that \(\lambda\) is \(P\)-regular.) For \(G=SL_n(\mathbb{C})\) the condition is that \(\lambda\) lies in the root lattice of \(G\); this result was previously obtained by \textit{B. J. Howard} [J. Algebra 312, No. 1, 527--541 (2007; Zbl 1129.14064)].
0 references
semisimple group
0 references
flag variety
0 references
line bundle
0 references
GIT quotient
0 references