Abstract:Abstract We exhibit basic algebro-geometric results on the formal model of semi-infinite flag varieties and its Schubert varieties over an algebraically closed field ${\mathbb K}$ of characteristic $\neq 2$ from scratch. We show that the formal model of a semi-infinite flag variety admits a unique nice (ind-)scheme structure, its projective coordinate ring has a $\mathbb {Z}$ -model and it admits a Frobenius splitting compatible with the boundaries and opposite cells in positive characteristic. This establishes the normality of the Schubert varieties of the quasi-map space with a fixed degree (instead of their limits proved in [K, Math. Ann. 371 no.2 (2018)]) when $\mathsf {char}\, {\mathbb K} =0$ or $\gg 0$ , and the higher-cohomology vanishing of their nef line bundles in arbitrary characteristic $\neq 2$ . Some particular cases of these results play crucial roles in our proof [47] of a conjecture by Lam, Li, Mihalcea and Shimozono [60] that describes an isomorphism between affine and quantum K -groups of a flag manifold.

Generalizing Serre's Splitting Theorem and Bass's Cancellation Theorem via free-basic elements

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

A Bass--Serre theoretic proof of a theorem of Burns and Romanovskii

A general Greenlees-May splitting principle

Grothendieck-Serre in the quasi-split unramified case

Free algebras, universal models and Bass modules

Semiorthogonal decompositions for generalized Severi-Brauer schemes

Lefschetz principle-type theorems for curves semistable Higgs sheaves and applications

A decomposition theorem for the affine Springer fibers

Splitting quasireductive supergroups and volumes of supergrassmannians

Generalizations of the primitive and normal basis theorems

On the generic vanishing theorem of Cartier modules

Serre functors and graded categories

On generic representations of quasi-split reductive groups over local fields of positive characteristic

Proof of the Deligne-Milnor conjecture

Bass's Work in Ring Theory and Projective Modules

Frobenius splitting of Schubert varieties of semi-infinite flag manifolds

A Silting Theorem

Proper splittings and projectivity for good moduli spaces

A note on split extensions of bialgebras

Families over special base manifolds and a conjecture of Campana