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?

  • $\begingroup$ Have you seen Thomsen's thesis: data.imf.au.dk/publications/phd/1998/imf-phd-1998-jft.pdf ? $\endgroup$
    – J.C. Ottem
    Feb 24 '11 at 18:42
  • $\begingroup$ 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. $\endgroup$ Feb 24 '11 at 19:01
  • 2
    $\begingroup$ @Chuck: Is it cheeky of me to ask you what your advisor's answer to this question is? $\endgroup$ Feb 24 '11 at 20:44
  • $\begingroup$ 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. $\endgroup$ Feb 25 '11 at 4:51
  • $\begingroup$ 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. $\endgroup$ Feb 26 '11 at 4:16

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.

  • $\begingroup$ Great! This looks like exactly the sort of thing I'm interested in. $\endgroup$ Feb 25 '11 at 17:44
  • $\begingroup$ Originally Xinwen's course notes were linked here, but they seem to no longer be available online. $\endgroup$ Apr 22 '14 at 1:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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