Chow quotients and projective bundle formulas for Euler-Chow series
E. Javier Elizondo, Paulo Lima-Filho
备注：
Replaced by new version, which corrects erroneous references. (The "Chow quotient" was first introduced by Kapranov, Sturmfels and Zeleviski). No mathematical changes. To Appear in Journal of Algebraic Geometry. LaTex2e. 32 pages. xy-pic package
Given a projective algebraic variety $X$, let $Π_p(X)$ denote the monoid of effective algebraic equivalence classes of effective algebraic cycles on $X$. The $p$-th Euler-Chow series of $X$ is an element in the formal monoid-ring $Z[[Π_p(X)]]$ defined in terms of Euler characteristics of the Chow varieties $\cvpd{p}α{X}$ of $X$, with $α\inΠ_p(X)$. We provide a systematic treatment of such series, and give projective bundle formulas which generalize previous results by B. Lawson and S.S.Yau and Elizondo. The techniques used involve the Chow quotients introduced by Kapranov, and this allows the computation of various examples including some Grassmannians and flag varieties. There are relations between these examples and representation theory, and further results point to interesting connections between Euler-Chow series for certain varieties and the topology of the closure of moduli spaces $M_{0,n+1}$.
We show that the moduli space of stable n-pointed rational curves can be flatly degenerated to a projective toric variety. We arrive at this by showing that the Chow quotients of the Grassmannians admit toric degenerations, which in turn, follows from a theorem that we prove for toric degenerations of more general Chow quotients. Along the way, we also argued that GIT quotient of a flat family is again flat. In particular, all GIT quotients of flag varieties by maximal tori can be flatly degenerated to projective toric varieties ([9] and [12]).
We consider torus actions on Mori dream spaces and ask whether the associated Chow quotient is again a Mori dream space and, if so, what does its Cox ring look like. We provide general tools for the study of these problems and give solutions for k*-actions on smooth quadrics.
We give explicit equations for the Chow and Hilbert quotients of a projective scheme X by the action of an algebraic torus T in an auxiliary toric variety. As a consequence we provide GIT descriptions of these canonical quotients, and obtain other GIT quotients of X by variation of GIT quotient. We apply these results to find equations for the moduli space \bar{M}_{0,n} of stable genus zero n-pointed curves as a subvariety of a smooth toric variety defined via tropical methods.
Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.
The literature on maximal torus orbits in the Grassmannian is vast; in this paper we initiate a program to extend this to diagonal subtori. Our main focus is generalizing portions of Kapranov's seminal work on Chow quotient compactifications of these orbit spaces. This leads naturally to discrete polymatroids, generalizing the matroidal framework underlying Kapranov's results. By generalizing the Gelfand-MacPherson isomorphism, these Chow quotients are seen to compactify spaces of arrangements of parameterized linear subspaces, and a generalized Gale duality holds here. A special case is birat…
We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are étale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore natural extensions of GIT quotients. Our main result is that, with rational coefficients, every operational class can be represented by a so-called topologically strong cycle on the corresponding stack. Moreover, this cycle is unique modulo rational equivalence on the stack. Using out methods, we prove that if $X$ is the good moduli space of a properly stable, s…
We provide a direct proof, valid in arbitrary characteristic, of the result originally proven by Kapranov over $\mathbb{C}$, that the Hilbert and Chow quotients $(\mathbb{P}^1)^n//PGL2$ are isomorphic to $\overline{M}_{0,n}$. In both cases this is done by explicitly constructing the universal family and then showing that the induced morphism is an isomorphism onto its image. The proofs of these results in many ways reduce to the case $n = 4$; in an appendix we outline a formalism of this phenomenon relating to certain operads.
We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips/flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points o…
The aim of this note is to announce some results on the GIT problem for the Hilbert and Chow scheme of curves of degree d and genus g in P^{d-g}, whose full details will appear in a subsequent paper. In particular, we extend the previous results of L. Caporaso up to d>4(2g-2) and we observe that this is sharp. In the range 2(2g-2)<d<7/2(2g-2), we get a complete new description of the GIT quotient. As a corollary, we get a new compactification of the universal Jacobian over the moduli space of pseudo-stable curves.
The space of n distinct points and a disjoint parameterized hyperplane in projective d-space up to projectivity---equivalently, configurations of n distinct points in affine d-space up to translation and homothety---has a beautiful compactification introduced by Chen-Gibney-Krashen. This variety, constructed inductively using the apparatus of Fulton-MacPherson configuration spaces, is a parameter space of certain pointed rational varieties whose dual intersection complex is a rooted tree. This generalizes $\overline{M}_{0,n}$ and shares many properties with it. In this paper, we prove that the…
We study the relations between the finite generation of Cox ring, the rationality of Euler-Chow series and Poincaré series and Zariski's conjecture on dimensions of linear systems. We prove that if the Cox ring of a smooth projective variety is finitely generated, then all Poincaré series of the variety are rational. We also prove that the multi-variable Poincaré series associated to big divisors on a smooth projective surface are rational, assuming the rationality of multi-variable Poincare series on curves.
We consider 3-dimensional toric Calabi-Yau singularities which arise as cones over the Chow quotient for a torus acting on projective space. We show that the Chow forms of the closures of the codimension 2 orbits can very easily be written down from the quiver with superpotential which corresponds with the given CY3 singularity under the correspondence between CY3 singularities and quivers with superpotential which is part of the AdS/CFT correspondence in physics. We also prove that this provides a new method for computing the principal A-determinant in the theory of Gelfand-Kapranov-Zelevinsk…
We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases…
This paper studies the canonical Chow quotient of a smooth projective variety by a reductive algebraic group. The main purpose is to give some topological interpretations and characterization of Chow quotient which have the advantage to be more intuitive and geometric. This is to be done over the field of complex numbers and in the languages that are familiar to topologists and differential geometers. More precisely, the main observation of this paper is that, over the field of complex numbers, the Chow quotient admits symplectic and other topological interpretations, namely, symplectically, t…
We show the existence of a regular universal quotient as a smooth commutative algebraic group of the Chow group of 0-cycles on a projective reduced variety, and give over the field of complex numbers an analytic description of it. This generalizes the classical theory of the Albanese. The Chow group of 0-cycles is then isomorphic to this smooth algebraic group if and only if it is finite dimensional in the sense of Mumford. This generalizes the classical theorem of Roitman.
The Euler characteristic of all the Chow varieties, of a fixed projective variety, can be collected in a formal power series called the Euler-Chow series. This series coincides with the Hilbert series when the Picard group is a finite generated free abelian group. It is an interesting open problem to find for which varieties this series is rational. A few cases have been computed, and it is suspected that the series is not rational for the blow up of P^2 at nine points in general position. It is very natural to extend this series to Chow motives and ask the question if the series is rational o…
We define the Chow ring of the classifying space of a linear algebraic group. In all the examples where we can compute it, such as the symmetric groups and the orthogonal groups, it is isomorphic to a natural quotient of the complex cobordism ring of the classifying space, a topological invariant. We apply this to get torsion information on the Chow groups of varieties defined as quotients by finite groups. This generalizes Atiyah and Hirzebruch's use of such varieties to give counterexamples to the Hodge conjecture with integer coefficients.
We introduce a certain compactification of the space of projective configurations i.e. orbits of the group $PGL(k)$ on the space of $n$ - tuples of points in $P^{k-1}$ in general position. This compactification differs considerably from Mumford's geometric invariant theory quotient. It is obtained by considering limit position (in the Chow variety) of the closures of generic orbits. The same result will be obtained if we study orbits of the maximal torus on the Grassmannian $G(k,n)$. We study in detail the closures of the torus orbits and their "visible contours" which are Veronese varieties i…
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
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…
In this paper we work with a series whose coefficients are the Euler characteristic of Chow varieties of a given projective variety. For varieties where the Cox ring is defined, it is easy to see that in this case the ring associated to the series is the Cox ring. If this ring is noetherian then the series is rational. It is an open question whether the converse holds. In this paper we give an example showing the converse fails. However we conjecture that it holds when the variety is rationally connected. As an evidence of this conjecture, It is proved that the series is not rational, and in a…
We give a presentation for the stack of rational curves with at most 1 node as the quotient by GL(3) of an open set in a 6-dimensional irreducible representation. We then use equivariant intersection theory to calculate the integral Chow ring of this stack.
We study Grothedieck groups of triangulated categories using weight structures, weight complexes, and the corresponding pure (co)homological functors. We prove some general statements on $K_0$ of weighted categories and apply it to Voevodsky motives endowed with so-called Chow weight structures. We obtain certain "motivic substitutes" for smooth compactifications of smooth varieties over arbitrary perfect fields; this enables us to make certain unramified cohomology and Euler characteristic calculations that are closely related to results of T. Ekedahl and B. Kahn.
The focus of our paper is on the complex Grassmann manifolds $G_{n,2}$ which appear as one of the fundamental objects in developing the interaction between algebraic geometry and algebraic topology. In his well-known paper Kapranov has proved that the Deligne-Mumford compactification $\overline{\mathcal{M}}(0,n)$ of $n$-pointed curves of genus zero can be realized as the Chow quotient $G_{n,2}\!/\!/(\mathbb{C} ^{\ast})^{n}$. In our recent papers, the constructive description of the orbit space $G_{n,2}/T^n$ has been obtained. In getting this result our notions of the CW-complex of the admissib…
Let X be a smooth projective toric surface, and H^d(X) the Hilbert scheme parametrising the length d zero-dimensional subschemes of X. We compute the rational Chow ring A^*(H^d(X))\_Q. More precisely, if T is the two-dimensional torus contained in X, we compute the rational equivariant Chow ring A\_T^*(H^d(X))\_Q and the usual Chow ring is an explicit quotient of the equivariant Chow ring. The case of some quasi-projective toric surfaces such as the affine plane are described by our method too.
Let $X$ be a hyperkähler variety, and let $G$ be a group of finite order non-symplectic automorphisms of $X$. Beauville's conjectural splitting property predicts that each Chow group of $X$ should split in a finite number of pieces. The Bloch-Beilinson conjectures predict how $G$ should act on these pieces of the Chow groups: certain pieces should be invariant under $G$, while certain other pieces should not contain any non-trivial $G$-invariant cycle. We can prove this for two pieces of the Chow groups when $X$ is the Hilbert scheme of a $K3$ surface and $G$ consists of natural automorphisms.…
The Chow quotient of a toric variety by a subtorus, as defined by Kapranov-Sturmfels-Zelevinsky, coarsely represents the main component of the moduli space of stable toric varieties with a map to a fixed projective toric variety, as constructed by Alexeev and Brion. We show that, after endowing both spaces with the structure of a logarithmic stack, the resulting spaces are isomorphic. Along the way, we construct the Chow quotient stack and demonstrate several properties that it satisfies.
Let X be an affine T-variety. We study two different quotients for the action of T on X: the toric Chow quotient X/_CT and the toric Hilbert scheme H. We introduce a notion of the main component H_0 of H which parameterizes general T-orbit closures in X and their flat limits. The main component U_0 of the universal family U over H is a preimage of H_0. We define an analogue of a universal family W_X over the main component of the X/_CT. We show that the toric Chow morphism restricted on the main components lifts to a birational projective morphism from U_0 to W_X. The variety W_X also provides…
In characteristic zero, if a quotient variety has a crepant resolution, the Euler characteristic of the crepant resolution is equal to the number of conjugacy classes of the acting group, by Batyrev's theorem. This is one of the McKay correspondence. It is natural to consider the analogue statement in the positive characteristic. In this paper, we present sequences of crepant resolutions of quotient varieties in the positive characteristic and show that one of the sequences gives a counterexample to the analogue statement of Batyrev's theorem.
We show that the GIT quotients of suitable loci in the Hilbert and Chow schemes of 4-canonically embedded curves of genus $g\ge 3$ are the moduli space $\bar{M}_g^{\text{ps}}$ of pseudo-stable curves constructed by Schubert in \cite{Schubert} using Chow varieties and 3-canonical models. The only new ingredient needed in the Hilbert scheme variant is a more careful analysis of the stability with respect to a certain 1-ps $λ$ of the $m^{\text{th}}$ Hilbert points of curves $X$ with elliptic tails. We compute the exact weight with which $λ$ acts, and not just the leading term in $m$ of this weigh…
The Euler characteristic of Chow varieties of algebraic cycles of a given degree in complex projective spaces was computed by Blaine Lawson and Stephen Yau by using holomorphic symmetries of cycles spaces. In this paper we compute this in a direct and elementary way and generalize this formula to the l-adic Euler-Poincare characteristic for Chow varieties over any algebraically closed field. Moreover, the Euler characteristic for Chow varieties with certain group action is calculated. In particular, we calculate the Euler characteristic of the space of right quaternionic cycles of a given dime…
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-Göttsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperKähler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hi…
In the last decades there have been introduced different concepts of stability for projective varieties. In this paper we give a natural and intrinsic criterion of the Chow, and Hilbert, stability for complex irreducible smooth projective curves $C\subset \mathbb P ^n$. Namely, if the restriction $T\mathbb P_{|C} ^n$ of the tangent bundle of $\mathbb P ^n$ to $C$ is stable then $C\subset \mathbb P ^n$ is Chow stable, and hence Hilbert stable. We apply this criterion to describe a smooth open set of the irreducible component $Hilb^{P(t),s}_{Ch}$ of the Hilbert scheme of $\mathbb{P} ^n$ containi…
Let $X$ be a hyperkähler variety with an anti-symplectic involution $ι$. According to Beauville's conjectural "splitting property", the Chow groups of $X$ should split in a finite number of pieces such that the Chow ring has a bigrading. The Bloch-Beilinson conjectures predict how $ι$ should act on certain of these pieces of the Chow groups. We verify part of this conjecture for a $19$-dimensional family of hyperkähler sixfolds that are "double EPW cubes" (in the sense of Iliev-Kapustka-Kapustka-Ranestad). This has interesting consequences for the Chow ring of the quotient $X/ι$, which is an "…
Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.
In this paper, we generalize a result of Karpenko on the torsion in the second quotient of the gamma filtration for Severi-Brauer varieties to higher degrees. As an application, we provide a nontrivial torsion in higher Chow groups and the topological filtration of the associated generic variety and obtain new upper bounds for the annihilators of the torsion subgroups in the Chow groups of a large class of Severi-Brauer varieties. In particular, using the torsion in higher degrees, we show indecomposability of certain algebras.
Let X be the quotient of a smooth projective variety over a field by a finite group action (in which case we say X is pseudo-smooth), such that the singularities of X are isolated k-rational points. Let Y be obtained by blowing up these points on X. Assume further that Y is pseudo-smooth, and that the components of the exceptional divisor are projective spaces. Then, without invoking the theory of finite-dimensional motives or assuming any of the standard conjectures, we show that a Chow-Kunneth decomposition on either X or Y gives rise, by means of an explicit construction, to a Chow-Kunneth …
Let X be an algebraic projective variety in {\bf P}^n. Denote by {\cal C}_λ the space of all effective cycles on X whose homology class is λ\in H_{2p} (X,{\bf Z}). It is easy to show that {\cal C}_λ is an algebraic projective variety. Let χ({\cal C}_λ be its Euler characteristic. Define the Euler series of X by E_{p} = \sum_{λ\in{C}} \, χ({\cal C}_λ λ \in \, {\bf Z}[[C]] where {\bf Z}[[C]] is the full algebra over {\bf Z} of the monoid C of all homology classes of effective p-cyles on X. This algebra is the ring of function (with respect the convolution product) over C. Denote by {\bf Z}[C] th…
We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the way, we refine Morel's relative Hurewicz theorem in A^1-homotopy theory, and show how to define (twisted) Chow-Witt groups for geometric classifying spaces.
In this paper, the Lawson homology and morphic cohomology are defined on the Chow motives. We also define the rational coefficient Lawson homology and morphic cohomology of the Chow motives of finite quotient projective varieties. As a consequence, we obtain a formula for the Hilbert scheme of points on a smooth complex projective surface. Further discussion concerning generic finite maps is given. As a result, we give examples of self-product of smooth projective curves with nontrivial Griffiths groups by using a result of Ceresa.
The additive invariants of an algebraic variety is calculated in terms of those of the fixed point set under the action of additive and multiplicative groups, by using Bialynicki-Birula's fixed point formula for a projective algebraicset with a G_m-action or G_a-action. The method is also generalized to calculate certain additive invariants for Chow varieties. As applications, we obtain the Hodge polynomial of Chow varieties in characteristic zero and the number of points for Chow varieties over finite fields. As applications, we obtain the l-adic Euler-Poincare characteristic for the Chow var…
We compute the Euler characteristics of tautological vector bundles and their exterior powers over the Quot schemes of curves. We give closed-form expressions over punctual Quot schemes in all genera. For higher rank quotients of a trivial vector bundle, we obtain answers in genus zero. We also study the Euler characteristics of the symmetric powers of the tautological bundles, for rank zero quotients.
This article is about Lehn-Lehn-Sorger-van Straten eightfolds $Z$, and their anti-symplectic involution $ι$. When $Z$ is birational to the Hilbert scheme of points on a K3 surface, we give an explicit formula for the action of $ι$ on the Chow group of $0$-cycles of $Z$. The formula is in agreement with the Bloch-Beilinson conjectures, and has some non-trivial consequences for the Chow ring of the quotient.
We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological integrals against the virtual fundamental classes of Quot schemes of dimension 0 and 1 quotients on surfaces (using also universality, torus localization, and cosection localization). The virtual Euler characteristics of Quot schemes of surfaces, a new theory parallel to the Vafa-Witten Euler characteristics of the moduli of bundles, is defined and studied. Co…
This note contains some examples of hyperkähler varieties $X$ having a group $G$ of non-symplectic automorphisms, and such that the action of $G$ on certain Chow groups of $X$ is as predicted by Bloch's conjecture. The examples range in dimension from $6$ to $132$. For each example, the quotient $Y=X/G$ is a Calabi-Yau variety which has interesting Chow-theoretic properties; in particular, the variety $Y$ satisfies (part of) a strong version of the Beauville-Voisin conjecture.
We study mixed versions of the classical quotient functor from Chow motives to numerical motives. We compare two natural definitions, which turn out to be very different. We investigate fullness, conservativity and exactness of these two functors.
We study the semi-decomposable invariants of a split semisimple group and their extension to a split reductive group by using the torsion in the codimension $2$ Chow groups of a product of Severi-Brauer varieties. In particular, for any $n\geq 2$ we completely determine the degree $3$ invariants of a split semisimple group, the quotient of $(\operatorname{\mathbf{SL}}_{2})^{n}$ by its maximal central subgroup, as well as of the corresponding split reductive group. We also provide an example illustrating that a modification of our method can be applied to find the semi-decomposable invariants o…
We study maps from a smooth scheme to a motivic sphere in the Morel-Voevodsky ${\mathbb A}^1$-homotopy category, i.e., motivic cohomotopy sets. Following Borsuk, we show that, in the presence of suitable hypotheses on the dimension of the source, motivic cohomotopy sets can be equipped with functorial abelian group structures. We then explore links between motivic cohomotopy groups, Euler class groups à la Nori-Bhatwadekar-Sridharan and Chow-Witt groups. We show that, again under suitable hypotheses on the base field $k$, if $X$ is a smooth affine $k$-variety of dimension $d$, then the Euler c…
