Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

NOTE: I am very much not an expert on affine Kac-Moody groups or ind-varieties, so the following may be vague.

The first question is: Has anyone developed a theory of Frobenius splitting for ind-varieties in positive characteristic? (This might be very easy for all I know). Following from that, my main question is: If there is a reasonable theory of Frobenius splitting of ind-varieties, has anyone thought about whether affine flag varieties or affine Grassmannians corresponding to semisimple algebraic groups in positive characteristic are Frobenius split?

share|cite|improve this question
Have you seen Thomsen's thesis: ? – J.C. Ottem Feb 24 '11 at 18:42
I haven't seen his thesis before -- that definitely looks interesting. However, on a cursory glance, it doesn't look as though he considers ind-varieties or affine Kac-Moody groups. – Chuck Hague Feb 24 '11 at 19:01
@Chuck: Is it cheeky of me to ask you what your advisor's answer to this question is? – Sheikraisinrollbank Feb 24 '11 at 20:44
No, not at all! He's certainly a natural person to ask. I'm going to write and ask him as well, but I figured I'd also see what MO people thought. – Chuck Hague Feb 25 '11 at 4:51
I would have thought that the construction in [Brion-Kumar], by pushing the splitting down from BSDH manifolds, should work for the finite-dimensional (opposite) Schubert varieties for any Kac-Moody group. Certainly the BSDH manifolds make sense. – Allen Knutson Feb 26 '11 at 4:16

1 Answer 1

up vote 7 down vote accepted

If you have a strict ind-scheme (inductive limit of schemes with maps closed imersions), for example affine flag varieties as a limit of schubert cells, then you can ask that all these varieties are compatably Frobenius split, so the notion of a Frobenius splitting makes sense.

Then you can ask if the affine flag variety admits a Frobenius splitting. The asnwer is yes. I learnt this under mild conditions from a course of Xinwen Zhu, from which the original reference appears to be Faltings' paper "Algebraic loop groups and moduli spaces of bundles". Here the affine flag variety is defined in a particular way, and of course if you want to define it in a different way (eg using Kac-Moody) groups, then you must do some work to show that definitions agree.

This result is harder than in finite type since you don't have the smooth Schubert cell associated to the long word as a crutch to get you started.

share|cite|improve this answer
Great! This looks like exactly the sort of thing I'm interested in. – Chuck Hague Feb 25 '11 at 17:44
Originally Xinwen's course notes were linked here, but they seem to no longer be available online. – Peter McNamara Apr 22 '14 at 1:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.