27 pages, to appear in Representation Theory. Revised version with one added reference, new remark in Section 1 and correction to the exposition in Section 4
For the flag variety G/B of a reductive algebraic group G we define a certain (set-theoretical) cross-section phi from G/B to G, which depends on a choice of reduced expression for the longest element in the Weyl group. This cross-section is continuous along the components of Deodhar's decomposition of G/B and assigns to any flag gB a representative phi(gB) in G which comes with a natural factorization into simple root subgroups and simple reflections. We introduce a generalization of the Chamber Ansatz of Berenstein, Fomin and Zelevinsky and use it to obtain formulas for the factors of phi(gB). Our results then allow us parameterize explicitly the components of the totally nonnegative part of the flag variety as defined by Lusztig. This gives a new proof of Lusztig's conjectured cell decomposition of this set.
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 …
It is known that the set of irreducible components of nilpotent varieties provides a geometric realization of the crystal basis for quantum groups. For each reduced expression of a Weyl group element, Geiß, Leclerc and Schröer has recently given a parametrization of irreducible components of nilpotent varieties in studying cluster algebras. In this paper we show that their parametrization coincides with Lusztig's parametrization of the canonical basis.
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.
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.
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…
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 …
The purpose of this paper is to bring together various loose ends in the theory of integrable systems. For a semisimple Lie algebra $\mathfrak g$, we obtain several results on completeness of homogeneous Poisson-commutative subalgebras of ${\mathcal S}(\mathfrak g)$ on coadjoint orbits. This concerns, in particular, Mishchenko-Fomenko and Gelfand-Tsetlin subalgebras.
Let L be a preprojective algebra of Dynkin type, and let G be the corresponding complex semisimple simply connected algebraic group. We study rigid modules in subcategories sub(Q) for Q an injective L-module, and we introduce a mutation operation between complete rigid modules in sub(Q). This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to G.
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.
The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmanians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, …
We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary. We prove…
