The Hecke algebras and quantum group of affine type A admit geometric realizations in terms of complete flags and partial flags over a local field, respectively. Subsequently, it is demonstrated that the quantum group associated to partial flag varieties of affine type C is a coideal subalgebra of quantum group of affine type A. In this paper, we establish a lattice presentation of the complete (partial) flag varieties of affine type D. Additionally, we determine the structures of convolution algebra associated to complete flag varieties of affine type D, which is isomorphic to the (extended) affine Hecke algebra. We also show that there exists a monomial basis and a canonical basis of the convolution algebra, and establish the positivity properties of the canonical basis with respect to multiplication.
We will use the combinatorics of the $G$-stable pieces to describe the closure relation of the partition of partial flag varieties in \cite[section 4]{L3}.
We further develop the general theory of the "mixed modular derived category" introduced by the authors in a previous paper in this series. We then use it to study positivity and Q-Koszulity phenomena on flag varieties.
We show that the Borel-equivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel and Lunts in the case of flag varieties.
Let G be a reductive algebraic group over the complex number filed, and K = G^θ be the fixed points of an involutive automorphism θof G so that (G, K) is a symmetric pair. We take parabolic subgroups P and Q of G and K respectively and consider a product of partial flag varieties G/P and K/Q with diagonal K-action. The double flag variety G/P \times K/Q thus obtained is said to be of finite type if there are finitely many K-orbits on it. A triple flag variety G/P^1 \times G/P^2 \times G/P^3 is a special case of our double flag varieties, and there are many interesting works on the triple flag …
For a given flag variety, we characterize the primes $p$ for which there exists a weight $λ$ such that the Hard Lefschetz Theorem holds for multiplication by $λ$ on the cohomology of the flag variety with coefficients in an infinite field of characteristic $p$.
Let $G$ be the split orthogonal group of degree $2n$ over an arbitrary infinite field $\mathbb{F}$ of chararcteristic not $2$. In this paper, we classify multiple flag varieties $G/P_1\times\cdots\times G/P_k$ of finite type. Here a multiple flag variety is said to be of finite type if it has a finite number of $G$-orbits with respect to the diagonal action of $G$.
Building on the theory of parity sheaves due to Juteau-Mautner-Williamson, we develop a formalism of "mixed modular perverse sheaves" for varieties equipped with a stratification by affine spaces. We then give two applications: (1) a "Koszul-type" derived equivalence relating a given flag variety to the Langlands dual flag variety, and (2) a formality theorem for the modular derived category of a flag variety (extending a previous result of Riche-Soergel-Williamson).
Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the method of Frobenius splitting and of global F-regularity.
Affine Deligne-Lusztig varieties are analogs of Deligne-Lusztig varieties in the context of an affine root system. We prove a conjecture stated in the paper arXiv:0805.0045v4 by Haines, Kottwitz, Reuman, and the first named author, about the question which affine Deligne-Lusztig varieties (for a split group and a basic $σ$-conjugacy class) in the Iwahori case are non-empty. If the underlying algebraic group is a classical group and the chosen basic $σ$-conjugacy class is the class of $b=1$, we also prove the dimension formula predicted in op. cit. in almost all cases.
The main result of this paper is a new parameterization of the orbits of a symmetric subgroup on a partial flag variety. The parameterization is in terms of certain Spaltenstein varieties, on one hand, and certain nilpotent orbits, on the other. One of the motivations is related to enumerating special unipotent representations of real reductive groups. Another motivation is understanding (a portion of) the closure order on the set of nilpotent coadjoint orbits.
Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.
In this paper we prove that the category of parity complexes on the flag variety of a complex connected reductive group is a "graded version" of the category of tilting perverse sheaves on the flag variety of the dual group, for any field of coefficients whose characteristic is good. We derive some consequences on Soergel's modular category O, and on multiplicities and decomposition numbers in the category of perverse sheaves.
Let $G$ be the split orthogonal group of degree $2n+1$ over an arbitrary field $\mathbb{F}$ of ${\rm char}\,\mathbb{F}\ne 2$. In this paper, we classify multiple flag varieties $G/P_1\times\cdots\times G/P_k$ of finite type. Here a multiple flag variety is called of finite type if it has a finite number of $G$-orbits with respect to the diagonal action of $G$ when $|\mathbb{F}|=\infty$.
In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors. This category shares most of the properties of their counterpart in characteristic 0, defined by Bezrukavnikov-Yun using certain pro-objects in triangulated categories. This construction is the main new ingredient in the construction of a "modular Koszul duality" equivalence for constructible sheaves on flag varieties, see [P. Achar, S. Makisumi, S. Riche, and …
Cohomological induction gives an algebraic method for constructing representations of a real reductive Lie group $G$ from irreducible representations of reductive subgroups. Beilinson-Bernstein localization alternatively gives a geometric method for constructing Harish-Chandra modules for $G$ from certain representations of a Cartan subgroup. The duality theorem of Hecht, Mili\vcić, Schmid and Wolf establishes a relationship between modules cohomologically induced from minimal parabolics and the cohomology of the $\ms{D}$-modules on the complex flag variety for $G$ determined by the Beilinson-…
We gave a classification of P and Q with a finite number of K-orbits of a double flag variety G/P*K/Q for a symmetric pair (G, K) when G=GL_{m+n} and K=GL_{m}*GL_{n}, and a description of K-orbits when the number of K-orbits of G/P*K/Q is finite. We solved the problem by providing a correspondence between the K-orbits and the quiver representations.
Linear degenerate flag varieties are degenerations of flag varieties as quiver Grassmannians. For type A flag varieties, we obtain characterizations of flatness, irreducibility and normality of these degenerations via rank tuples. Some of them are shown to be isomorphic to Schubert varieties and can be realized as highest weight orbits of partially degenerate Lie algebras, generalizing the corresponding results on degenerate flag varieties. To study normality, cell decompositions of quiver Grassmannians are constructed in a wider context of equioriented quivers of type A.
We develop a theory of affine flag varieties and of their Schubert varieties for reductive groups over a Laurent power series local field k((t)) with k a perfect field. This can be viewed as a generalization of the theory of affine flag varieties for loop groups to a "twisted case"; a consequence of our results is that our construction also includes the flag varieties for Kac-Moody Lie algebras of affine type. We also give a coherence conjecture on the dimensions of the spaces of global sections of the natural ample line bundles on the partial flag varieties attached to a fixed group over k((t…
We introduce the notion of flag Bott-Samelson variety as a generalization of Bott-Samelson variety and flag variety. Using a birational morphism from an appropriate Bott-Samelson variety to a flag Bott-Samelson variety, we compute Newton-Okounkov bodies of flag Bott-Samelson varieties as generalized string polytopes, which are applied to give polyhedral expressions for irreducible decompositions of tensor products of $G$-modules. Furthermore, we show that flag Bott-Samelson varieties are degenerated into flag Bott manifolds with higher rank torus actions, and find the Duistermaat-Heckman measu…
We describe the effect of Feigin's flat degeneration of the type $\textrm{A}$ flag variety on its Schubert varieties. In particular, we study when they stay irreducible and in several cases we are able to encode reducibility of the degenerations in terms of symmetric group combinatorics. As a side result, we obtain an identification of some Schubert varieties with Richardson varieties in higher rank partial flag varieties.
We consider the PBW filtrations over the integers of the irreducible highest weight modules in type A and C. We show that the associated graded modules can be realized as Demazure modules for group schemes of the same type and doubled rank. We deduce that the corresponding degenerate flag varieties are isomorphic to Schubert varieties in any characteristic.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of a split group. Among other things, it proves emptiness for certain of these varieties, relates some of them to those for Levi subgroups, extends previous conjectures concerning their dimensions, and generalizes the superset method.
The goal of this paper is to study the link between the topology of the degenerate flag varieties and combinatorics of the Dellac configurations. We define three new classes of algebraic varieties closely related to the degenerate flag varieties of types A and C. The construction is based on the quiver Grassmannian realization of the degenerate flag varieties and odd symplectic and odd and even orthogonal groups. We study basic properties of our varieties; in particular, we construct cellular decomposition in all the three cases above (as well as in the case of even symplectic group). We also …
We study the Jordan-Hoelder series for nearby cycles on certain Shimura varieties and Rapoport-Zink local models, and on finite-dimensional pieces of Beilinson's deformation of the affine Grassmannian to the affine flag variety (and their p-adic analogues). We give a formula for the multiplicities of irreducible constituents in terms of certain cohomology groups, and we also provide an algorithm to compute multiplicities, in terms of the affine Hecke algebra.
We study algebraic, combinatorial and geometric aspects of weighted PBW-type degenerations of (partial) flag varieties in type $A$. These degenerations are labeled by degree functions lying in an explicitly defined polyhedral cone, which can be identified with a maximal cone in the tropical flag variety. Varying the degree function in the cone, we recover, for example, the classical flag variety, its abelian PBW degeneration, some of its linear degenerations and a particular toric degeneration.
For a classical simple algebraic group $G$ we obtain the affirmative answer for the conjecture in [8] that there exists an isomorphism between the geometric crystal on the flag variety and the one on the unipotent subgroup $U^-$.
Recently E. Feigin introduced the $\mathbb G_a^N$-degenerations of semisimple algebraic groups and their associated degenerate flag varieties. It has been shown by Feigin, Finkelberg, and Littelmann that the degenerate flag varieties in types $A_n$ and $C_n$ are Frobenius split. In this paper we construct an associated degeneration of homogeneous coordinate rings of classical flag varieties in all types and show that these rings are Frobenius split in most types. It follows that the degenerate flag varieties of types $A_n$, $C_n$ and $G_2$ are Frobenius split. In particular we obtain an altern…
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of GL_2. At first we determine all such varieties up to isomorphy. After this we investigate the representations of the sigma-stabilizer of an element b of the group on the etale cohomology of the affine Deligne-Lusztig variety X_w(b). We describe such representations as inductions from compact subgroups and in terms of noncuspidal representations.
Let $G$ be a simple algebraic group of type $B_2$ over an algebraically closed field of odd characteristic. We prove that the flag variety $G/B$ is D-affine. This extends an earlier result of H.H.Andersen and M.Kaneda.
We show that the quantized flag manifold at a root of unity has natural affine open covering parametrized by the elements of the Weyl group. In particular, the quantized flag manifold turns out to be a quasi-scheme in the sense of Rosenberg.
We first describe the tangent space to the affine flag manifold associated to a simple algebraic group over $\mathbb{C}$ at the distinguished point starting from standard definitions. We then construct projective lines in the affine flag manifold tangent to given root vectors associated to imaginary roots of the corresponding affine Kac-Moody algebra and describe in which Schubert varieties they lie.
Using Ram's theory of alcove walks, we give a proof of the Bernstein presentation of the affine Hecke algebra. The method works also in the case of unequal parameters. We also discuss how these results help in studying sheaves of nearby cycles on affine flag manifolds.
We prove that the invariant Hilbert scheme parametrising the equivariant deformations of the affine multicone over a flag variety is, under certain hypotheses, an affine space. The proof is based on the construction of a wonderful variety in a fixed multiprojective space.
Our goal is to classify all generically transitive actions of commutative unipotent groups on flag varieties up to conjugation. We establish relationship between this problem and classification of multiplications with certain properties on Lie algebra representations. Then we classify multiplications with the desired properties and solve the initial classification problem.
Let $\Fl^a_\la$ be the PBW degeneration of the flag varieties of type $A_{n-1}$. These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$. We prove that $\Fl^a_\la$ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\la$ of $\Fl^a_\la$. The varieties $R_\la$ can be viewed as towers of successive $\bP^1$-fibrations, thus providing an analogue of the classical Bott-Samelson-Demazure-Hansen desingularization. We prove that the varieties $R_\la$ are Frobenius split. This gives us Frobenius splitting for the…
Following the historical track in pursuing $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, we explain how powerful tools in algebraic geometry and representation theory, such as canonical bases, Newton-Okounkov bodies, PBW-filtrations and cluster algebras come to push the subject forward.
In this paper, we discuss some partitions of affine flag varieties. These partitions include as special cases the partition of affine flag variety into affine Deligne-Lusztig varieties and the affine analogue of the partition of flag varieties into $\cb_w(b)$ introduced by Lusztig in \cite{L1} as part of the definition of character sheaves. Among other things, we give a formula for the dimension of affine Deligne-Lusztig varieties for classical loop groups in terms of degrees of class polynomials of extended affine Hecke algebra. We also prove that any simple $GL_n(\FF_q((\e)))$-module occurs …
This paper introduces a class of smooth projective varieties that generalise and share many properties with partial flag varieties of type A. The quiver flag variety M_\vartheta(Q,r) of a finite acyclic quiver Q (with a unique source) and a dimension vector r is a fine moduli space of stable representations of Q. Quiver flag varieties are Mori Dream Spaces, they are obtained via a tower of Grassmann bundles, and their bounded derived category of coherent sheaves is generated by a tilting bundle. We define the multigraded linear series of a weakly exceptional sequence of locally free sheaves E …
Period domains, the classifying spaces for (pure, polarized) Hodge structures, and more generally Mumford-Tate domains, arise as open $G_{\mathbb{R}}$--orbits in flag varieties $G/P$. We investigate Hodge--theoretic aspects of the geometry and representation theory associated with these flag varieties. In particular, we relate the Griffiths--Yukawa coupling to the variety of lines on $G/P$ (under a minimal homogeneous embedding), construct a large class of polarized $G_{\mathbb{R}}$--orbits in $G/P$, and compute the associated Hodge--theoretic boundary components. An emphasis is placed through…
We study the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme G((t))/I, where I is the Iwahori subgroup. We prove a localization-type result, which establishes an equivalence between certain subcategories on both sides. We also establish an equivalence between a certain subcategory of Kac-Moody modules, and the category of quasi-coherent sheaves on the scheme of Miura opers for the Langlands dual group, thereby proving a conjecture of [FG2].
We study certain nearby cycles sheaves on an affine flag manifold which arise naturally in the Beilinson-Gaitsgory deformation of the affine flag manifold to the affine Grassmannian. We study the multiplicity functions we introduced in an earlier paper, which encode the data of the Jordan-Hoelder series. We prove the multiplicity functions are polynomials in q, and we give a sharp bound for their degrees. Our results apply as well to the nearby cycles in the p-adic deformation of Laumon-Haines-Ngo, and also to Wakimoto sheaves.
The degenerate Lie group is a semidirect product of the Borel subgroup with the normal abelian unipotent subgroup. We introduce a class of the highest weight representations of the degenerate group of type A, generalizing the PBW-graded representations of the classical group. Following the classical construction of the flag varieties, we consider the closures of the orbits of the abelian unipotent subgroup in the projectivizations of the representations. We show that the degenerate flag varieties $\Fl^a_n$ and their desingularizations $R_n$ can be obtained via this construction. We prove that …
A partial flag variety ${\mathcal {P}}_K$ of a Kac-Moody group $G$ has a natural stratification into projected Richardson varieties. When $G$ is a connected reductive group, a Bruhat atlas for ${\mathcal {P}}_K$ was constructed by He, Knutson and Lu: ${\mathcal {P}}_K$ is locally modeled with Schubert varieties in some Kac-Moody flag variety as stratified spaces. The existence of Bruaht atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties…
We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.
