We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.
We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.
The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected reductive groups and their equivariant compactifications, and is closed under flat reduced degenerations. We classify them all, describe their degenerations, and establish a connection between these varieties and "reductive semigroups" which we also define. Finally, we construct a Hilbert scheme of embedded G-varieties by applying and generalizing a constru…
The goal of this paper is to give an explicit formula for the l-adic cohomology of period domains over finite fields for arbitrary reductive groups. The result is a generalisation of the computation in math.AG/9907098 which treats the case of the general linear group.
We construct a moduli space of stable projective pairs with a nontrivial action of a connected reductive group. These stable reductive pairs are higher-dimensional analogs of stable n-pointed curves and generalize to the non-commutative case a functorial compactification of moduli of abelian varieties, and of toric pairs. We prove that, confirming a prediction of log Minimal Program, stable reductive pairs have semi log canonical singularities. Final version, to appear in Advances of Math.
We establish a method for calculating the Poincaré series of moduli spaces constructed as quotients of smooth varieties by suitable non-reductive group actions; examples of such moduli spaces include moduli spaces of unstable vector or Higgs bundles on a smooth projective curve, with a Harder-Narasimhan type of length two. To do so, we first prove a result concerning the smoothness of fixed point sets for suitable non-reductive group actions on smooth varieties. This enables us to prove that quotients of smooth varieties by such non-reductive group actions, which can be constructed using Non-R…
G. Tian and S.K. Donaldson formulated a conjecture relating GIT stability of a polarized algebraic variety to the existence of a Kahler metric of constant scalar curvature. In [Don02] Donaldson partially confirmed it in the case of projective toric varieties. In this paper we extend Donaldson's results and computations to a new case, that of reductive varieties. The changes in the second version are cosmetic.
It is known that the automorphism group of a K-polystable Fano manifold is reductive. Codogni and Dervan construct a canonical filtration of the section ring, called Loewy filtration, and conjecture that the Loewy filtration destabilizes any Fano variety with non-reductive automorphism group. In this note, we give a counterexample to their conjecture.
The generalized commuting and isospectral commuting varieties of a reductive Lie algebra have been introduced in a preceding article. In this note, it is proved that their normalizations are Gorenstein with rational singularities. Moreover, their canonical modules are free of rank 1. In particular, the usual commuting variety is Gorenstein with rational singularities and its canonical module is free of rank 1.
In previous work, we initiated the study of the cohomology of locally acyclic cluster varieties. In the present work, we show that the mixed Hodge structure and point counts of acyclic cluster varieties are essentially determined by the combinatorics of the independent sets of the quiver. We use this to show that the mixed Hodge numbers of acyclic cluster varieties of really full rank satisfy a strong vanishing condition.
Let G be a connected real reductive algebraic group, and let K be a maximal compact subgroup of G. We prove that the conjugation orbit space Hom(Z^{2d},K)/K is a strong deformation retract of the space Hom(Z^{2d},G)/G of equivalence classes of representations of Z^{2d} into G. This is proved by showing that the homotopy type of the moduli space of principal G-Higgs bundles of vanishing rational characteristic classes on a complex abelian variety of dimension d depends only on K.
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.
The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian hypothesis, the $L^p$-cohomology of an arithmetic quotient, for $p$ finite and sufficiently large, is isomorphic to the ordinary cohomology of its reductive Borel-Serre compactification. We use this to generalize a theorem of Mumford concerning homogeneous vector bundles, their invariant Chern forms and the canonical extensions of the bundles; here, though, we are …
We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.
This paper introduces a two-parameter deformation of the cohomology of generalized flag varieties. One special case is the Belkale-Kumar deformation (used to study eigencones of Lie groups). Another picks out intersections of Schubert varieties that behave nicely under projections. Our construction yields a new proof that the Belkale-Kumar product is well-defined. This proof is shorter and more elementary than earlier proofs.
We define and study the variety of reductions for a reductive symmetric pair (G,theta), which is the natural compactification of the set of the Cartan subspaces of the symmetric pair. These varieties generalize the varieties of reductions for the Severi varieties studied by Iliev and Manivel, which are Fano varieties. We develop a theoretical basis to the study these varieties of reductions, and relate the geometry of these variety to some problems in representation theory. A very useful result is the rigidity of semi-simple elements in deformations of algebraic subalgebras of Lie algebras. We…
We establish a connection between the orbifold cohomology of hypertoric varieties and the Ehrhart theory of Lawrence polytopes. More specifically, we show that the dimensions of the orbifold cohomology groups of a hypertoric variety are equal to the coefficients of the Ehrhart $δ$-polynomial of the associated Lawrence polytope. As a consequence, we deduce a formula for the Ehrhart $δ$-polynomial of a Lawrence polytope and use the injective part of the Hard Lefschetz Theorem for hypertoric varieties to deduce some inequalities between the coefficients of the $δ$-polynomial.
By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group. We compute the first Galois cohomology set H^1(R,G) of a quasi-connected reductive group G over the field R of real numbers in terms of a certain action of a subgroup of the Weyl group on the Galois cohomology of a fundamental quasi-tor…
We determine the set of connected components of closed affine Deligne-Lusztig varieties for hyperspecial maximal parahoric subgroups of unramified connected reductive groups. This extends the work by Viehmann for split reductive groups, and the work by Chen-Kisin-Viehmann on minuscule affine Deligne-Lusztig varieties.
We show a canonical injective morphism from the quantum cohomology ring QH(G/P) to the associated graded algebra of QH(G/B), which is with respect to a nice filtration on QH(G/B) introduced by Leung and the author. This tells us the vanishing of a lot of genus zero, three-pointed Gromov-Witten invariants of flag varieties G/P.
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
The nilpotent cone of a reductive Lie algebra has a desingularization given by thecotangent bundle of the flag variety. Analogously, the nullcone of a cartesianpower of the algebra has a desingularization given by a vector bundle over theflag variety. As for the nullcone, the subvariety of elements whose componentsare in a same Borel subalgebra, has a desingularization given by a vector bundle overthe flag variety. In this note, some properties of these varieties are given. Forthe study of the commuting variety, the analogous variety to the flag variety isthe closure in the Grassmannian of the…
Let $G$ be a connected reductive group over a number field $F$, and let $S$ be a set (finite or infinite) of places of $F$. We give a necessary and sufficient condition for the surjectivity of the localization map from $H^1(F,G)$ to the "direct sum" of the sets $H^1(F_v,G)$ where $v$ runs over $S$. In the appendices, we give a new construction of the abelian Galois cohomology of a reductive group over a field of arbitrary characteristic.
In this paper we study actions of reductive groups on affine spaces. We prove that there is a fan structure on the space of characters of the group, which parameterizes the possible invariant quotients. In the second half of the paper we study various geometrical properties of the quotients: we compute their Chow ring and the cohomology ring (in case we work over the complex numbers), both with rational coefficients. Actually, the cycle map turns out to be an isomorphism. Further, we construct families of such quotients over reduced base schemes, and compute again the Chow and the cohomology r…
We give sufficient conditions for the semisimplicity of quantum cohomology of Fano varieties of Picard rank 1. We apply these techniques to prove new semisimplicity results for some Fano varieties of Picard rank 1 and large index. We also give examples of Fano varieties having a non semisimple small quantum cohomology but a semisimple big quantum cohomology.
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric invariant theory (GIT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumford's GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group a…
This is an expository lecture, for the Abel bicentennial (Oslo, 2002), describing some recent work on the (small) quantum cohomology ring of Grassmannians and other homogeneous varieties.
We study the Fulton-Macpherson Chow cohomology of affine toric varieties. In particular, we prove that the Chow cohomology vanishes in positive degree. We prove an analogous result for the operational $K$-theory defined by Anderson and Payne.
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
We study intersection cohomology of character varieties for punctured Riemann surfaces with prescribed monodromies around the punctures. Relying on previous result from Mellit for semisimple monodromies we compute the intersection cohomology of character varieties with monodromies of any Jordan type. This proves the Poincaré polynomial specialization of a conjecture from Letellier.
Let $G$ be a reductive affine algebraic group, and let $X$ be an affine algebraic $G$-variety. We establish a (poly)stability criterion for points $x\in X$ in terms of intrinsically defined closed subgroups $H_{x}$ of $G$, and relate it with the numerical criterion of Mumford, and with Richardson and Bate-Martin-Röhrle criteria, in the case $X=G^{N}$. Our criterion builds on a close analogue of a theorem of Mundet and Schmitt on polystability and allows the generalization to the algebraic group setting of results of Johnson-Millson and Sikora about complex representation varieties of finitely …
We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of roots, idempotents, and underlying monoid data. Also, we characterize those embeddings whose equivariant cohomology ring is obtained via restriction to the associated toric variety. Such characterization is given in terms of the closed orbits.
In this paper we study a relation between the cohomology ring of a regular nilpotent Hessenberg variety and Schubert polynomials. To describe an explicit presentation of the cohomology ring of a regular nilpotent Hessenberg variety, polynomials $f_{i,j}$ were introduced by Abe-Harada-Horiguchi-Masuda. We show that every polynomial $f_{i,j}$ is an alternating sum of certain Schubert polynomials.
We use a theorem of Tolman and Weitsman to find explicit formulæfor the rational cohomology rings of the symplectic reduction of flag varieties in C^n, or generic coadjoint orbits of SU(n), by (maximal) torus actions. We also calculate the cohomology ring of the moduli space of $n$ points in CP^k, which is isomorphic to the Grassmannian of k-planes in C^n, by realizing it as a degenerate coadjoint orbit.
The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this variety's cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springer's work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extend…
The main goal of this paper is to give a unified description for the structure of the small quantum cohomology rings for all homogeneous spaces of SL_n(C).
In this article, we study $G$-covers of klt varieties, where $G$ is a reductive group. First, we exhibit an example of a klt singularity admitting a $\mathbb{P}{\rm GL}_n(\mathbb{K})$-cover that is not of klt type. Then, we restrict ourselves to $G$-quasi-torsors, a special class of $G$-covers that behave like $G$-torsors outside closed subsets of codimension two. Given a $G$-quasi-torsor $X\rightarrow Y$, where $G$ is a finite extension of a torus $\mathbb{T}$, we show that $X$ is of klt type if and only if $Y$ is of klt type. We prove a structural theorem for $\mathbb{T}$-quasi-torsors over …
In this paper we study the étale cohomology groups associated to abelian varieties. We obtain necessary and sufficient conditions for an abelian variety to have semistable reduction (or purely additive reduction which becomes semistable over a quadratic extension) in terms of the action of the absolute inertia group on the étale cohomology groups with finite coefficients.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
In this article, we investigate the geometry of reductive group actions on algebraic varieties. Given a connected reductive group $G$, we elaborate on a geometric and combinatorial approach based on Luna-Vust theory to describe every normal $G$-variety with spherical orbits. This description encompasses the classical case of spherical varieties and the theory of $\mathbb{T}$-varieties recently introduced by Altmann, Hausen, and Süss.
By using vector field techniques, we compute the ordinary and equivariant cohomology rings of Hilbert scheme of points in the projective plane in relation with that of a Grassmann variety.
In this paper we construct a spectral sequence computing a modified version of morphic cohomology of a toric variety (even when it is singular) in terms of combinatorial data coming from the fan of the toric variety.
We describe a method of computing equivariant and ordinary intersection cohomology of certain varieties with actions of algebraic tori, in terms of structure of the zero- and one-dimensional orbits. The class of varieties to which our formula applies includes Schubert varieties in flag varieties and affine flag varieties. We also prove a monotonicity result on local intersection cohomology stalks.
This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected reductive complex algebraic group $G$ acts linearly on a complex projective variety $X$. We prove that if $1 \to N \to G \to H \to 1$ is a short exact sequence of connected reductive groups, and $X^{ss}$ the set of semistable points for the action of $N$ on $X$, then the $H$-equivariant intersection cohomology of the geometric invariant theory quotient $X^{ss}//N…
The rim-hook rule for quantum cohomology of the Grassmannian allows one to reduce quantum calculations to classical calculations in the cohomology of the Grassmannian. We use the Abelian/non-Abelian correspondence for cohomology to prove a rim-hook removal rule for the cohomology of quiver flag varieties. Quiver flag varieties are generalisations of type A flag varieties; this result is new even in the flag case. This gives an effective way of computing products in their cohomology, reducing computations to that in the cohomology ring of the Grassmannian. We then prove a quantum rim-hook rule …
In this short note we prove that if X is a separably rationally connected variety over an algebraically closed field of positive characteristic, then H^1(X, O_X)=0.
We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complex $IH_T^*(X)\otimes H^*(T)$. We also describe the weight filtration in $IH^*(X)$.