software for computations on flag varieties in arbitrary characteristic - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T17:09:22Z http://mathoverflow.net/feeds/question/26492 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26492/software-for-computations-on-flag-varieties-in-arbitrary-characteristic software for computations on flag varieties in arbitrary characteristic Graham Leuschke 2010-05-30T19:38:25Z 2010-05-31T14:51:22Z <p>Is there any software that will compute cohomology of vector bundles (or just line bundles) on flag manifolds? </p> <p>The only one I know of is Macaulay2, via the Schubert2 package, but it works with what it calls "abstract varieties", which are really just the intersection rings over \$\mathbb{Q}\$, so it's explicitly limited to characteristic zero. I'm interested in (among other things) bad behavior at small prime characteristics.</p> http://mathoverflow.net/questions/26492/software-for-computations-on-flag-varieties-in-arbitrary-characteristic/26572#26572 Answer by Jim Humphreys for software for computations on flag varieties in arbitrary characteristic Jim Humphreys 2010-05-31T13:07:46Z 2010-05-31T13:07:46Z <p>To answer the original question explicitly, there seems to be no relevant software in prime characteristic. Nor is there any on the horizon, unless the theory developed so far becomes much more definitive. In the setting of flag varieties, general principles show that Euler characters in characteristic <code>\$p\$</code> are the same as in characteristic 0 for line bundles (etc.) because the objects involved have compatible <code>\$\mathbb{Z}\$</code>-forms. Kempf even showed that for a dominant line bundle, sheaf cohomology vanishes except for degree 0; so the formal character and dimension of the global section module are given by Weyl's formula. Similarly for the Serre dual, but there are some systematic patterns (based on alcoves for an affine Weyl group relative to <code>\$p\$</code>) in which some other line bundles have nonvanishing cohomology in multiple degrees. This appears only for weights "close to" Weyl chamber walls and is conjecturally due to failure of "cancellation" in Jantzen-Andersen filtrations near walls.</p> <p>A moral of the existing work on line bundles and some other vector bundles is that module structure seems needed to understand the vanishing behavior of cohomology. For small <code>\$p\$</code> one lacks analogues of Lusztig's conjectures on characters of the simple modules, which may be an added obstacle. Even small calculations are very difficult, for example for small primes in rank 2. Some have occurred in the literature, but there is no mechanical method to generate them. </p> <p>Most work was done in the 1980s, following a thesis by Mumford's student W.L. Griffith Jr. showing a few counterexamples to the Borel-Weil-Bott picture for some flag varieties and small <code>\$p\$</code>, as well as Henning Andersen's MIT thesis around the same time. Full references before 1990 appear in my short conference survey: MR1131312 (92k:20084) 20G10 (14M17 20G05) Humphreys, J. E. (1-MA), Cohomology of line bundles on flag varieties in prime characteristic. Proceedings of the Hyderabad Conference on Algebraic Groups (Hyderabad, 1989), 193–204, Manoj Prakashan, Madras, 1991.</p> <p>A couple of recent papers by Steve Donkin focus mostly on SL(3):</p> <p>MR1958906 (2004f:20083) 20G05 (14M15 20G10) Donkin, Stephen (4-LNDQM) Anote on the characters of the cohomology of induced vector bundles on G/B in characteristic p. J. Algebra 258 (2002), no. 1, 255–274.</p> <p>MR2275364 (2008a:20077) 20G10 (14L30 14M15) Donkin, Stephen (4-YORK), The cohomology of line bundles on the three-dimensional flag variety. J. Algebra 307 (2007), no. 2, 570–613.</p>