7
$\begingroup$

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?

Improve this question
$\endgroup$
6
  • $\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, 2011 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$
    – Chuck Hague
    Feb 24, 2011 at 19:01
  • 2
    $\begingroup$ @Chuck: Is it cheeky of me to ask you what your advisor's answer to this question is? $\endgroup$
    – Sheikraisinrollbank
    Feb 24, 2011 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$
    – Chuck Hague
    Feb 25, 2011 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$
    – Allen Knutson
    Feb 26, 2011 at 4:16

1 Answer 1

Reset to default
8
$\begingroup$

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.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Great! This looks like exactly the sort of thing I'm interested in. $\endgroup$
    – Chuck Hague
    Feb 25, 2011 at 17:44
  • $\begingroup$ Originally Xinwen's course notes were linked here, but they seem to no longer be available online. $\endgroup$
    – Peter McNamara
    Apr 22, 2014 at 1:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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