By the work of J.Huh, one can interpret binomial coefficients as a solution to an intersection problem on a permutohedral variety $X_E$. Applying Hirzebruch-Riemann-Roch, this intersection problem is equivalent to computing Euler characteristic of a specific element of $K$-theory of $X_E$. This element has a natural lifting to equivariant $K$-theory and thus the Euler characteristic may be upgraded to a Laurent polynomial. We provide and implement three different approaches, in particular a recursive one, to computing these polynomials.
We construct a concrete isomorphism from the permutohedral variety to the regular semisimple Hessenberg variety associated to the Hessenberg function $h_+(i)=i+1$, $1\le i\le n-1$. In the process of defining the isomorphism, we introduce a sequence of varieties which we call the prepermutohedral varieties. We first determine the toric structure of these varieties and compute the Euler characteristics and the Betti numbers using the theory of toric varieties. Then, we describe the cohomology of these varieties. We also find a natural way to encode the one-dimensional components of the cohomolog…
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…
Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in orde…
We obtain an explicit presentation of the equivariant cobordism ring of a complete flag variety. An immediate corollary is a Borel presentation of the ordinary cobordism ring. Another application is an equivariant Schubert calculus in cobordism. We also describe the rational cobordism rings of wonderful symmetric varieties of minimal rank.
For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.
We study the equivariant cobordism rings for the action of a torus $T$ on smooth varieties over an algebraically closed field of characteristic zero. We prove a theorem describing the rational $T$-equivariant cobordism rings of smooth projective $G$-spherical varieties with the action of a maximal torus $T$ of $G$. As an application, we obtain explicit presentations for the rational equivariant cobordism rings of smooth projective horospherical varieties of Picard number one.
This expository note surveys some results on equivariant K-theory of varieties with a torus action, focusing on recent work with Sam Payne and Richard Gonzales. It is based on my contribution to the Clifford Lectures at Tulane University in March 2015.
We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well known embedding theorem of Sumihiro on quasiprojective G-varieties. The main idea is to reduce the embedding problem to the affine case. This is done by constructing equivariant affine conoids, a tool which extends the concept of an equivariant affine cone over a projective G-variety to a more general framework.
We construct a basis of the equivariant $K$-theory of Bott towers, and we describe precisely the multiplicative structure of these algebras. We deduce similar results for Bott-Samelson varieties. Thanks to the link between flag varieties and Bott-Samelson varieties, we give a method to compute the structure constants of the equivariant $K$-theory of flag varieties in the basis constructed by Kostant and Kumar.
We show that the equivariant Chow cohomology ring of a toric variety is naturally isomorphic to the ring of integral piecewise polynomial functions on the associated fan. This gives a large class of singular spaces for which localization holds in equivariant Chow cohomology with integer coefficients. We also compute the equivariant Chow cohomology of toric prevarieties and general complex hypertoric varieties in terms of piecewise polynomial functions.
We classify holomorphic as well as algebraic torus equivariant principal $G$-bundles over a nonsingular toric variety $X$, where $G$ is a complex linear algebraic group. It is shown that any such bundle over an affine, nonsingular toric variety admits a trivialization in equivariant sense. We also obtain some splitting results.
We prove that the only rational homogeneous varieties with Picard number 1 of the exceptional algebraic groups admitting irreducible equivariant Ulrich vector bundles are the Cayley plane $E_6/P_1$ and the $E_7$-adjoint variety $E_7/P_1$. From this result, we see that a general hyperplane section $F_4/P_4$ of the Cayley plane also has an equivariant but non-irreducible Ulrich bundle.
Let G be a semisimple affine algebraic group and P a parabolic subgroup of G. We classify all flag varieties G/P which admit an action of the commutative unipotent group G_a^n with an open orbit.
We show the existence of an equivariant weight filtration on the equivariant homology of real algebraic varieties equipped with a finite group action, by applying group homology onto the weight complex of McCrory and Parusiński. The group action enriches the information contained in the induced equivariant weight spectral sequence from which we can not extract finite additivity directly if the group is of even order. Still, we manage to construct additive invariants from its elementary bricks, and prove that they are induced from the very equivariant geometry of real algebraic varieties with a…
Let X be a T-variety, where T is an algebraic torus. We describe a fully faithful functor from the category of T-equivariant vector bundles on X to a certain category of filtered vector bundles on a suitable quotient of X by T. We show that if X is factorial, this functor gives an equivalence of categories. This generalizes Klyachko's description of equivariant vector bundles on toric varieties. We apply our machinery to show that vector bundles of low rank on projective space which are equivariant with respect to special subtori of the maximal torus must split, generalizing a theorem of Kaney…
In this note we derive a formalism for describing equivariant sheaves over toric varieties. This formalism is a generalization of a correspondence due to Klyachko, which states that equivariant vector bundles on toric varieties are equivalent to certain sets of filtrations of vector spaces. We systematically construct the theory from the point of view of graded ring theory and this way we clarify earlier constructions of Kaneyama and Klyachko. We also connect the formalism to the theory of fine-graded modules over Cox' homogeneous coordinate ring of a toric variety. As an application we constr…
The central object of investigation of this paper is the Hirzebruch class, a deformation of the Todd class, given by Hirzebruch (for smooth varieties) in his celebrated book "Topological Methods in Algebraic Geometry". The generalization for singular varieties is due to Brasselet-Schürmann-Yokura. Following the work of Weber, we investigate its equivariant version for (possibly singular) toric varieties. The local decomposition of the Hirzebruch class to the fixed points of the torus action and a formula for the local class in terms of the defining fan are mentioned. After this review part, we…
We describe the equivariant cobordism ring of smooth toric varieties. This equivariant description is used to compute the ordinary cobordism ring of such varieties.
In the present paper we provide a general algorithm to compute multiplicative cohomological operations on algebraic oriented cohomology of projective homogeneous G-varieties, where G is a split reductive algebraic group over a field of characteristic 0. More precisely, we extend such operations to the respective T-equivariant (T is a maximal split torus of G) oriented theories, and then compute them using equivariant Schubert calculus techniques. This generalizes an approach suggested by Garibaldi-Petrov-Semenov for Steenrod operations. We also show that operations on the theories of additive …
For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical.
We give a complete answer to the question of (semi)stability of tangent bundle of any nonsingular projective complex toric variety with Picard number 2 by using combinatorial crietrion of (semi)stability of an equivariant sheaf. We also give a complete answer to the question of (semi)stability of tangent bundle of all toric Fano 4-folds with Picard number (\leq) 3 which are classified by Batyrev \cite{batyrev}. We have constructed a collection of equivariant indecomposable rank 2 vector bundles on Bott tower and pseudo-symmetric toric Fano varieties. Further in case of Bott tower, we have show…
In this article we obtain many results on the multiplicative structure constants of $T$-equivariant Grothendieck ring of the flag variety $G/B$. We do this by lifting the classes of the structure sheaves of Schubert varieties in $K_{T}(G/B)$ to $R(T)\otimes R(T)$, where $R(T)$ denotes the representation ring of the torus $T$. We further apply our results to describe the multiplicative structure constants of $K(X)_{\mathbb Q}$ where $X$ is the wonderful compactification of the adjoint group of $G$, in terms of the structure constants of Schubert varieties in the Grothendieck ring of $G/B$.
We compute Seshadri constants of a torus equivariant nef vector bundle on a projective space satisfying certain conditions. As an application, we compute Seshadri constants of tangent bundles on projective spaces. We also consider equivariant nef vector bundles on Bott towers of height 2 (i.e. Hirzebruch surfaces) and Bott towers of height 3 respectively. Assuming some conditions on the minimal slope of the restrictions of these bundles to invariant curves, we give precise values of Seshadri constant at an arbitrary point. We also give several examples illustrating our results.
In this paper, we define an action of the group of equivariant Cartier divisors on a toric variety X on the equivariant cycle groups of X, arising naturally from a choice of complement map on the underlying lattice. If X is nonsingular, this gives a lifting of the multiplication in equivariant cohomology to the level of equivariant cycles. As a consequence, one naturally obtains an equivariant cycle representative of the equivariant Todd class of any toric variety. These results extend to equivariant cohomology the results of Thomas and Pommersheim. In the case of a complement map arising from…
Consider the natural torus action on a partial flag manifold $Fl$. Let $Ω_I\subset Fl$ be an open Schubert variety, and let $c^{sm}(Ω_I)\in H_T^*(Fl)$ be its torus equivariant Chern-Schwartz-MacPherson class. We show a set of interpolation properties that uniquely determine $c^{sm}(Ω_I)$, as well as a formula, of `localization type', for $c^{sm}(Ω_I)$. In fact, we proved similar results for a class $κ_I\in H_T^*(Fl)$ --- in the context of quantum group actions on the equivariant cohomology groups of partial flag varieties. In this note we show that $c^{SM}(Ω_I)=κ_I$.
In this paper we use formal group rings to construct an algebraic model of the $T$-equivariant oriented cohomology of smooth toric varieties. Then we compare our model with known results of equivariant cohomology of toric varieties to justify our construction.
In the present article we investigate ordinary and equivariant Rost motives. We provide an equivariant motivic decomposition of the variety X of full flags of a split semisimple algebraic group over a smooth base scheme, study torsion subgroup of the Chow group of twisted forms of X, define some equivariant Rost motives over a field and ordinary Rost motives over a general base scheme, and relate equivariant Rost motives with classifying spaces of some algebraic groups.
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection si…
Let X be a smooth complete complex toric variety such that the boundary is a simple normal crossing divisor, and let E be a holomorphic vector bundle on X. We prove that E admits an equivariant structure if and only if E admits a logarithmic connection singular over D. More precisely, we show that an equivariant vector bundle on X has a tautological integrable logarithmic connection singular over D. This is used in computing the Chern classes of the equivariant vector bundles on X. We also prove a version of the result for holomorphic vector bundles on log parallelizable G-pairs (X,D), where G…
For a scheme S with a good action of a finite abelian group G having enough roots of unity we show that the quotient map on the G-equivariant Grothendieck ring of varieties over S is well defined with image in the Grothendieck ring of varieties over S/G in the tame case, and in the modified Grothendieck ring in the wild case. To prove this we use a result on the class of the quotient of a vector space by a quasi-linear action in the Grothendieck ring of varieties due to Esnault and Viehweg, which we also generalize to the case of wild actions. As an application we deduce that the quotient of t…
Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild technical hypothesis. We deduce simpler classifications in the special cases of line bundles and vector bundles which are generically local systems. We apply our results to the study of admissible representations of semisimple Lie groups. Our main result gives a new set of constraints on the associated cycles of unipotent representations.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so.
Let $X$ be a 3-dimensional affine variety with a faithful action of a 2-dimensional torus $T$. Then the space of first order infinitesimal deformations $T^1(X)$ is graded by the characters of $T$, and the zeroth graded component $T^1(X)_0$ consists of all equivariant first order (infinitesimal) deformations. Suppose that using the construction of such varieties from [1], one can obtain $X$ from a proper polyhedral divisor $\mathscr D$ on $\mathbb P^1$ such that the tail cone of (any of) the used polyhedra is pointed and full-dimensional, and all vertices of all polyhedra are lattice points. Th…
Heisenberg Equivariant Compactifications of Rational Homogeneous Varieties
Shenzhen University（深圳大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；Institute for Basic Science（基础科学研究所）
Let $X$ be a complete toric variety equipped with the action of a torus $T$ and $G$ a reductive algebraic group, defined over an algebraically closed field $K$. We introduce the notion of a compatible $Σ$--filtered algebra associated to $X$, generalizing the notion of a compatible $Σ$--filtered vector space due to Klyachko, where $Σ$ denotes the fan of $X$. We combine Klyachko's classification of $T$--equivariant vector bundles on $X$ with Nori's Tannakian approach to principal $G$--bundles, to give an equivalence of categories between $T$--equivariant principal $G$--bundles on $X$ and certain…
We use Bott-Samelson resolutions of Schubert varieties in Grassmannians along with equiariant localization techniques to show that the factorial Schur functions and the factorial Grothendieck polynomials represent Schubert classes in equivariant cohomology and equivariant K-theory respectively.
We study $T$-linear schemes, a class of objects that includes spherical and Schubert varieties. We provide a localization theorem for the equivariant Chow cohomology of these schemes that does not depend on resolution of singularities. Furthermore, we give an explicit presentation of the equivariant Chow cohomology of possibly singular complete spherical varieties admitting a smooth equivariant envelope (e.g. group embeddings).
For an endomorphism $s:V\rightarrow V$ of a finite dimensional complex vector space and an action of a torus $T$ on the full flag variety $\text{GL}_n({\mathbb C})/B$, we give a description of its fixed point set when $s$ is semisimple or regular nilpotent. We also compute the one dimensional orbits of this action on the Hessenberg subvariety $\text{Hes}(s,h)\subseteq \text{GL}_n({\mathbb C})/B$ for any Hessenberg function $h$. For the action of the one dimensional torus $S$ and a regular nilpotent endomorphism $N:V\rightarrow V$, we give a new computation of the equivariant cohomology of the …
For a toric variety X_P determined by a rational polyhedral fan P in a lattice N, Payne shows that the equivariant Chow cohomology of X_P is the Sym(N)--algebra C^0(P) of integral piecewise polynomial functions on P. We use the Cartan-Eilenberg spectral sequence to analyze the associated reflexive sheaf on Proj(N), showing that the Chern classes depend on subtle geometry of P and giving criteria for the splitting of the sheaf as a sum of line bundles. For certain fans associated to the reflection arrangement A_n, we describe a connection between C^0(P) and logarithmic vector fields tangent to …
The closure of a generic torus orbit in the flag variety $G/B$ of type $A$ is known to be a permutohedral variety and its Poincare polynomial agrees with the Eulerian polynomial. In this paper, we study the Poincare polynomial of a generic torus orbit closure in a Schubert variety in $G/B$. When the generic torus orbit closure in a Schubert variety is smooth, its Poincare polynomial is known to agree with a certain generalization of the Eulerian polynomial. We extend this result to an arbitrary generic torus orbit closure which is not necessarily smooth.
Equivariant compactifications of reductive groups can be described by combinatorial data. On the other hand, equivariant compactifications of the additive group G^n_a are more complicated in at least two respects. First, they often admit moduli. Second, even simple varieties (like projective spaces) admit many different structures as equivariant compactifications of the additive group. We give a dictionary relating Artinian local rings, certain systems of partial differential equations, and equivariant compactifications of G^n_a. As an application, we classify the structures on varieties like …
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.
The goal of this paper is to prove the Riemann-Roch isomorphism for the higher equivariant K-theory of varieties with action of a linear algebraic group.
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.
