We describe the equivariant K-groups of a family of generalized Steinberg varieties that interpolates between the Steinberg variety of a reductive, complex algebraic group and its nilpotent cone in terms of the extended affine Hecke algebra and double cosets in the extended affine Weyl group. As an application, we use this description to define Kazhdan-Lusztig "bar" involutions and Kazhdan-Lusztig bases for these equivariant K-groups.
We discuss some connections between the closure $\bar F$ of a Steinberg fiber in the wonderful compactification of an adjoint group and the affine Deligne-Lusztig varieties $X_w(1)$ in the affine flag variety. Among other things, we describe the emptiness/nonemptiness pattern of $X_w(1)$ if the translation part of $w$ is quasi-regular. As a by-product, we give a new proof of the explicit description of $\bar F$, first obtained in \cite{H1}.
We provide a Lagrangian construction for the fixed-point subalgebra, together with its idempotent form, in a quasi-split symmetric pair of type $A_{n-1}$. This is obtained inside the limit of a projective system of Borel-Moore homologies of the Steinberg varieties of $n$-step isotropic flag varieties. Arising from the construction are a basis of homological origin for the idempotent form and a geometric realization of rational modules.
In the first half of this article, we review the Steinberg theory for double flag varieties for symmetric pairs. For a special case of the symmetric space of type AIII, we will consider $ X = GL_{2n}/P_{(n,n)} \times GL_n / B_n^+ \times GL_n / B_n^- $ on which $ K = GL_n \times GL_n $ acts diagonally. We give a classification of $ K $-orbits in $ X $, and explicit combinatorial description of the Steinberg maps. In the latter half, we develop the theory of embedding of a double flag variety into a larger one. This embedding is a powerful tool to study different types of double flag varieties i…
In this paper we give a simple description of DT-invariants of double quivers without potential as the multiplicity of the Steinberg character in some representation associated with the quiver. When the dimension vector is indivisible we use this description to express these DT-invariants as the Poincaré polynomial of some singular quiver varieties. Finally we explain the connections with previous work of Hausel-Letellier-Villegas where DT-invariants are expressed as the graded multiplicities of the trivial representation of some Weyl group in the cohomology of some non-singular quiver varieti…
Let $G$ be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent elements, $\mathcal N$, of $\operatorname{Lie}(G)$ for the Steinberg variety $Z$ of triples. Using a general specialization argument we show that for a parabolic subgroup $W_P \times W_Q$ of $W \times W$ the space of $W_P \times W_Q$-invariants and the space of $W_P \times W_Q$-anti-invariants of $H_{4n}(Z)$ are isomorphic to the top Borel-Moore homology gro…
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.
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.
Let $W$ be a Weyl group, and let $\CT_W$ be the complex toric variety attached to the fan of cones corresponding to the reflecting hyperplanes of $W$, and its weight lattice. The real locus $\CT_W(\R)$ is a smooth, connected, compact manifold with a $W$-action. We give a formula for the equivariant Euler characteristic of $\CT_W(\R)$ as a generalised character of $W$. In type $A_{n-1}$ for $n$ odd, one obtains a generalised character of $\Sym_n$ whose degree is (up to sign) the $n^{\text{th}}$ Euler number.
We give a concrete description of the category of G-equivariant vector bundles on certain affine G-varieties (where G is a reductive linear algebraic group over an algebraically closed field of characteristic 0) in terms of linear algebra data.
We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.
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.
We prove the (equivariant) noetherian property for a wide class of varieties generalizing the class of Plucker varieties (Theorem 1). It improves previous results of Draisma-Eggermont who treated the case of bounded Plucker varieties. Key ingredient of our proof is the constructive proof of the equivariant noetherianity for the hyper-Pfaffians (Theorem 36) which implies the equivariant noetherianity of the dual infinite wedge.
We generalize Standard Monomial Theory (SMT) to intersections of Schubert varieties and opposite Schubert varieties; such varieties are called Richardson varieties. The aim of this article is to get closer to a geometric interpretation of the standard monomial theory. Our methods show that in order to develop a SMT for a certain class of subvarieties in G/B (which includes G/B), it suffices to have the following three ingredients, a basis for the space of sections of an effective line bundle on G/B, compatibility of such a basis with the varieties in the class, certain quadratic relations in t…
The paper is based on a talk. Complete exposition is given in "Equivariant Hirzebruch class for singular varieties". Starting from the classical theory we describe Hirzebruch class and the related Todd genus of a complex singular algebraic varieties. When the variety is equipped with an action of an algebraic torus we localize the Hirzebruch class at the fixed points of the action. We give some examples of computations.
We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a Pfaffian variety is equivalent to the derived factorization category of a noncommutative gauged Landau-Ginzburg model $(Λ,χ, w)^{\mathbb{G}_m}$, where $Λ$ is a noncommutative resolution of the quotient singularity $W/\operatorname{GSp}(Q)$ arising from a certain representation $W$ of the symplectic similitude group $\operatorname{GSp}(Q)$ of a symplectic vector spa…
Let $\Oq(G)$ be the algebra of quantized functions on an algebraic group $G$ and $\Oq(B)$ its quotient algebra corresponding to a Borel subgroup $B$ of $G$. We define the category of sheaves on the "quantum flag variety of $G$" to be the $\Oq(B)$-equivariant $\Oq(G)$-modules and proves that this is a proj-category. We construct a category of equivariant quantum $\mathcal{D}$-modules on this quantized flag variety and prove the Beilinson-Bernsteins localization theorem for this category in the case when $q$ is not a root of unity.
We study equivariant contact structures on complex projective varieties arising as partial flag varieties $G/P$, where $G$ is a connected, simply-connected complex simple group of type $ADE$ and $P$ is a parabolic subgroup. We prove a special case of the LeBrun-Salamon conjecture for partial flag varieties of these types. The result can be deduced from Boothby's classification of compact simply-connected complex contact manifolds with transitive action by contact automorphisms, but our proof is completely independent and relies on properties of $G$-equivariant vector bundles on $G/P$. A byprod…
We consider bases for the cohomology space of regular semisimple Hessenberg varieties, consisting of the classes that naturally arise from the Bialynicki-Birula decomposition of the Hessenberg varieties. We give an explicit combinatorial description of the support of each class, which enables us to compute the symmetric group actions on the classes in our bases. We then successfully apply the results to the permutohedral varieties to explicitly write down each class and to construct permutation submodules that constitute summands of a decomposition of cohomology space of each degree. This reso…
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…
We prove sign-alternation of the structure constants in the basis of structure sheaves of opposite Schubert varieties in the torus-equivariant Grothendieck group of coherent sheaves on the flag varieties $G/P$ associated to an arbitrary symmetrizable Kac-Moody group $G$, where $P$ is any parabolic subgroup. This generalizes the work of Anderson-Griffeth-Miller from the finite case to the general Kac-Moody case, and affirmatively answers a conjecture of Lam-Schilling-Shimozono regarding the signs of the structure constants in the case of the affine Grassmannian.
We prove some general results on the T-equivariant K-theory K_T(G/P) of the flag variety G/P, where G is a semisimple complex algebraic group, P is a parabolic subgroup and T$ is a maximal torus contained in P. In particular, we make a conjecture about a positivity phenomenon in K_T(G/P) for the product of two basis elements written in terms of the basis of K_T(G/P) given by the dual of the structure sheaf (of Schubert varieties) basis. (For the full flag variety G/B, this dual basis is closely related to the basis given by Kostant-Kumar.) This conjecture is parallel to (but different from) th…
The Hirzebruch $td_y(X)$ class of a complex manifold X is a formal combination of Chern characters of the sheaves of differential forms multiplied by the Todd class. The related $χ_y$-genus admits a generalization for singular complex algebraic varieties. The equivariant version of the Hirzebruch class can be developed as well. The general theory applied in the situation when a torus acts on a singular variety allows to apply powerful tools as the Localization Theorem of Atiyah and Segal for equivariant K-theory and Berline-Vergne formula for equivariant cohomology. We obtain a meaningful inva…
Tangent spaces to Schubert varieties of type A were characterized by Lakshmibai and Seshadri. This result was extended to the other classical types by Lakshmibai. We give a uniform characterization of tangent spaces to Schubert varieties in cominuscule G/P. Our results extend beyond cominuscule G/P; they describe the tangent space to any Schubert variety in G/B at a point xB, where x is a cominuscule Weyl group element in the sense of Peterson. Our results also give partial information about the tangent space to any Schubert variety at any point. Our method is to describe the tangent spaces of…
We unify aspects of the equivariant geometry of type $D$ quiver representation varieties, double Grassmannians, and symmetric varieties $GL(a+b)/GL(a)\times GL(b)$; in particular we translate results about singularities of orbit closures, combinatorics of orbit closure containment, and torus equivariant $K$-theory between these three families. These results are all obtained from our generalization of a construction of Zelevinsky for type $A$ quivers to the type $D$ setting. More precisely, we give explicit embeddings with nice properties of homogeneous fiber bundles over type $D$ quiver repres…
This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t_1, t_2,...,t_n]. We show these group actions are the same as an action of simple transpositions studied geometrically by M. Brion, and give topological meaning to the divided difference operators studied by Berstein-Gelfand-Gelfand, Demazure, Kostant-Kumar, and others. We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson. We find that each permutation represent…
We construct combinatorial bases of the $T$-equivariant ($T$ is the maximal torus) cohomology $H^\bullet_T(Σ,k)$ of the Bott-Samelson variety $Σ$ under some mild restrictions on the field of coefficients $k$. This bases allow us to prove the surjectivity of the restrictions $H^\bullet_T(Σ,k)\to H^\bullet_T(π^{-1}(x),k)$ and $H^\bullet_T(Σ,k)\to H^\bullet_T(Σ\setminusπ^{-1}(x),k)$, where $π:Σ\to G/B$ is the canonical resolution. In fact, we also construct bases of the targets of these restrictions by picking up certain subsets of certain bases of $H^\bullet_T(Σ,k)$ and restricting them to $π^{-…
We give explicit formulas for torus-equivariant fundamental classes of closed $K$-orbits on the flag variety $G/B$ when $G$ is one of the classical groups $SL(n,\C)$, $SO(n,\C)$, or $Sp(2n,\C)$, and $K$ is a symmetric subgroup of $G$. We describe parametrizations of each orbit set and the combinatorics of its weak order, allowing us to compute formulas for the equivariant classes of all remaining orbit closures using divided difference operators. In each of the cases in type A, we realize the $K$-orbit closures as universal degeneracy loci of a certain type, involving a vector bundle $V$ over …
We introduce a notion of stable spherical variety which includes the spherical varieties under a reductive group $G$ and their flat equivariant degenerations. Given any projective space $\bP$ where $G$ acts linearly, we construct a moduli space for stable spherical varieties over $\bP$, that is, pairs $(X,f)$, where $X$ is a stable spherical variety and $f : X \to \bP$ is a finite equivariant morphism. This space is projective, and its irreducible components are rational. It generalizes the moduli space of pairs $(X,D)$, where $X$ is a stable toric variety and $D$ is an effective ample Cartier…
We show that for any minuscule or cominuscule homogeneous space X, the Gromov-Witten varieties of degree d curves passing through three general points of X are rational or empty for any d. Applying techniques of A. Buch and L. Mihalcea to constructions of the authors together with L. Manivel, we deduce that the equivariant K-theoretic three points Gromov-Witten invariants are equal to classical equivariant K-theoretic invariants on auxilliary spaces.
We study quantum geometry of Nakajima quiver varieties of two different types - framed A-type quivers and ADHM quivers. While these spaces look completely different we find a surprising connection between equivariant K-theories thereof with a nontrivial match between their equivariant parameters. In particular, we demonstrate that quantum equivariant K-theory of $A_n$ quiver varieties in a certain $n\to\infty$ limit reproduces equivariant K-theory of the Hilbert scheme of points on $\mathbb{C}^2$. We analyze the correspondence from the point of view of enumerative geometry, representation theo…
