The anticanonical bundle on a flag variety is ample - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T05:49:22Z http://mathoverflow.net/feeds/question/99361 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99361/the-anticanonical-bundle-on-a-flag-variety-is-ample The anticanonical bundle on a flag variety is ample Sasha 2012-06-12T12:49:22Z 2012-06-14T12:54:51Z <p>Hello,</p> <p>I would like to get references or answers, for the following. How do I show that the anti-canonical line bundle (i.e. dual to top wedge power of cotangent bundle) on a flag variety (of a semisimple algebraic group in char. 0) is ample?</p> <p>Thank you, Sasha</p> http://mathoverflow.net/questions/99361/the-anticanonical-bundle-on-a-flag-variety-is-ample/99364#99364 Answer by Jim Humphreys for The anticanonical bundle on a flag variety is ample Jim Humphreys 2012-06-12T13:33:27Z 2012-06-14T12:54:51Z <p>It's worth pointing out that the criterion for ampleness applies uniformly for reductive groups and flag varieties in any characteristic. From the algebraic group viewpoint, the only subtle point is that the flag variety <code>$G/B$</code> should involve a Borel subgroup <code>$B$</code> corresponding to <em>negative</em> rather than positive roots. Here you have a fixed maximal torus <code>$T\subset B$</code> whose character group <code>$X(T)$</code> contains the root lattice. </p> <p>Classical ideas in algebraic geometry related to this set-up in characteristic 0 are used by Demazure in his 1976 <em>Invent. Math.</em> paper "A very short proof of Bott's theorem". Choosing <code>$B$</code> in this nonstandard way avoids a sign change in the weight which determines a line bundle. With this convention (opposite to yours), ample line bundles correspond precisely to <em>dominant</em> weights which are also <em>regular</em> (so that some large enough positive multiple is very ample). In particular, you are concerned about the weight <code>$2\rho$</code>: here <code>$2\rho$</code> is the sum of all positive roots, corresponding to the highest wedge product of the positive part of the Lie algebra. It's an elementary observation about roots and weights that <code>$\rho$</code> itself is both dominant and regular (the smallest such weight in the usual partial ordering). So it already defines an ample line bundle whenever <code>$\rho \in X(T)$</code>, e.g., when the derived group of the reductive group is simply connected. </p> <p>All of this machinery carries over intact to prime characteristic, where it's exploited by Kempf and then by Henning Andersen to explore the cohomology of line bundles on a flag variety. One textbook reference worth consulting is Section II.4.4 of Jantzen's large AMS book (second edition, 2003): <em>Representations of Algebraic Groups</em>. There are many earlier references I could point out in the work I've mentioned. In any case, the "right" answer to the question asked depends partly on what language is most comfortable in this interface of algebraic geometry and algebraic groups. But the question itself is fairly narrow and doesn't require the detailed study of Schubert varieties. </p> <p>ADDED: Here are a few (incomplete) remarks about history and sources. Papers by Demazure in the 1960s shifted the study of cohomology of line bundles on flag varieties into the realm of algebraic geometry, though he stayed mostly in characteristic 0. Andersen's many papers from the 1970s onward exploit creatively the ampleness of a line bundle attached to a regular dominant weight in prime characteristic. He was inspired by Demazure's proof of Bott's theorem and also by Iversen's foundational paper in <em>Advances in Mathematics</em> (1976), which showed how to formulate many ideas about algebraic geometry and algebraic groups over an arbitrary algebraically closed field. Meanwhile Kempf in the 1970s proved some deep results applicable to prime characteristic in this framework. His long 1978 <em>Advances</em> paper "The Grothendieck-Cousin complex of an induced representation" treats line bundles in detail in part I (see especially Lemma 5.3). For me his papers are quite challenging to read, however. The reference I gave to Jantzen's Chapter II.4 (on Kempf's vanishing theorem) deals more concisely with ampleness of line bundles in 4.3 and 4.4. (Here the approaches of Andersen and Haboush to Kempf's theorem are explained.) </p> <p>CODA: I should return to the short question originally asked. The essential point is to identify the weight <code>$\chi \in X(T)$</code> which determines the line bundle in question on a flag variety <code>$G/B$</code> where <code>$T$</code> is a maximal torus in <code>$B$</code> and <code>$B$</code> corresponds (say) to negative roots of <code>$G$</code> relative to <code>$T$</code>. This requires extracting <code>$\chi$</code> from the formalism of the cotangent bundle: this bundle involves the subspace <code>$\mathfrak{n}$</code> of the Lie algebra (= tangent space) which is the sum of positive root spaces; here one knows that <code>$\dim \mathfrak{n} = N = \dim G/B$</code>, so the <code>$N$</code>th exterior power carries the (regular dominant) weight <code>$2\rho$</code> = sum of positive roots. Note too that duality doesn't affect this particular weight. </p> http://mathoverflow.net/questions/99361/the-anticanonical-bundle-on-a-flag-variety-is-ample/99539#99539 Answer by Faisal for The anticanonical bundle on a flag variety is ample Faisal 2012-06-14T00:09:28Z 2012-06-14T00:09:28Z <p>Let me try to add to Jim Humphreys's comprehensive answer by pointing out that the (very) ampleness of line bundles coming from regular dominant weights was already observed by Borel and Weil, and essentially appears as Thm.4 in Serre's Bourbaki report</p> <blockquote> <p><a href="http://www.numdam.org/numdam-bin/item?id=SB_1951-1954__2__447_0" rel="nofollow">Représentations linéaires et espaces homogènes kählériens des groupes de Lie compacts (d'après Armand Borel et André Weil).</a> Séminaire Bourbaki, Vol. 2, Exp. No. 100, 447–454, Soc. Math. France, Paris, 1995.</p> </blockquote> <p>(See the example following Thm.4 on p.453.)</p> <p>Although Borel and Weil work over <code>$\mathbb C$</code> their argument is probably worth summarizing here. They begin by observing that the line bundle <code>$L_\lambda \to G/B$</code> coming from a weight <code>$\lambda$</code> is spanned by global sections iff <code>$\lambda$</code> is dominant. In this case the image of the map <code>$G/B \to \mathbb P (H^0(G/B,L_\lambda)^\ast)$</code> defined by sections is of the form <code>$G/P$</code> where <code>$P\supset B$</code> is the parabolic subgroup defined by the simple roots perpendicular to <code>$\lambda$</code>. Thus if <code>$L_\lambda$</code> is <em>not</em> very ample, so that the aforementioned fibration <code>$G/B \to G/P$</code> is not an embedding, one concludes that <code>$P$</code> must properly contain <code>$B$</code> and consequently that <code>$\lambda$</code> must be perpendicular to some simple root, hence is not regular.</p>