We consider free algebraic actions of the additive group of complex numbers on a complex vector space X embedded in the complex projective space. We find an explicit formula for the map p that assigns to a generic point x in X the Chow point of the closure of the orbit through x. The properties Hausdorff quotient topology and proper action are equivalently characterized by the closure of the image of p in the closed Chow variety.
Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is …
For a generalized Kummer variety X of dimension 2n, we will construct for each 0 < i < n some co-isotropic subvarieties in X foliated by i-dimensional constant cycle subvarieties. These subvarieties serve to prove that the rational orbit filtration introduced by Voisin on the Chow group of zero-cycles of a generalized Kummer variety coincides with the induced Beauville decomposition from the Chow ring of abelian varieties. As a consequence, the rational orbit filtration is opposite to the conjectural Bloch-Beilinson filtration for generalized Kummer varieties.
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…
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 (covering) gonality of abelian varieties and their orbits of zero-cycles for rational equivalence. We show that any orbit for rational equivalence of zero-cycles of degree $k$ has dimension at most $k-1$. Building on the work of Pirola, we show that very general abelian varieties of dimension $g$ have covering gonality $k\geq f(g)$ where $f(g)$ grows like ${\rm log}\,g$. This answers a question asked by Bastianelli, De Poi, Ein, Lazarsfeld and B. Ullery. We also obtain results on the Chow ring of very general abelian varieties, eg. if $g\geq 2k-1$, for any divisor $D\in {\rm Pic}^…
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 determine the rational Chow ring of the moduli space $\mathcal{H}_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$ when $n \leq 2g+6$. We also show that the Chow ring of the partial compactification $\mathcal{I}_{g,n}$, parametrizing $n$-pointed irreducible nodal hyperelliptic curves, is generated by tautological divisors. Along the way, we improve Casnati's result that $\mathcal{H}_{g,n}$ is rational for $n \leq 2g+8$ to show $\mathcal{H}_{g,n}$ is rational for $n \leq 3g+5$.
Given a sequence of point blow-ups of smooth n-dimensional projective varieties $Z_{i}$ defined over an algebraically closed field k, $Z_{s}\rightarrow Z_{s-1}\rightarrow ...\rightarrow Z_{1}\rightarrow Z_{0}$, we give two presentations of the Chow ring of its sky $A^{\bullet}(Z_{s})$. The first one using the classes of the total transforms of the exceptional components as generators and the second one using the classes of the strict transforms ones. We prove that the skies of two sequences of point blow-ups of the same length have isomorphic Chow rings. Finally we give a characterization of f…
In this paper, we present explicit toric construction of moduli space of quasi maps from $\mathbb{P}^1$ with two marked points to $\mathbb{P}^1 \times \mathbb{P}^1$, which was first proposed by Jinzenji and prove that it is a compact orbifold. We also determine its Chow ring and compute its Poincaré polynomial for some lower degree cases.
Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the last version, cleaned from some typos, should be published online.
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…
For a semistable degeneration of surfaces without a triple point, we show that two models of degeneration of Hilbert scheme of points of the family, Gulbrandsen-Halle-Hulek degeneration given in [GHH] and the one given by the author in [N], are actually isomorphic.
We construct an action of the Neron--Severi part of the Looijenga-Lunts-Verbitsky Lie algebra on the Chow ring of the Hilbert scheme of points on a K3 surface. This yields a simplification of Maulik and Negut's proof that the cycle class map is injective on the subring generated by divisor classes as conjectured by Beauville. The key step in the construction is an explicit formula for Lefschetz duals in terms of Nakajima operators. Our results also lead to a formula for the monodromy action on Hilbert schemes in terms of Nakajima operators.
Connections between the second Chow group of a smooth projective variety and its third unramified cohomology group, with coefficients the roots of unity twisted twice, feature in several recent works. In this note we revisit a 1996 paper by B. Kahn and specialize it to various types of rationally connected varieties.
Suppose that X is a nonsingular variety and D is a nonsingular proper subvariety. Configuration spaces of distinct and non-distinct n points in X away from D were constructed by the author and B. Kim in arXiv:0806.3819, by using the method of wonderful compactification. In this paper, we give an explicit presentation of Chow motives and Chow rings of these configuration spaces.
The moduli space $\bar{M}_A$ of weighted pointed stable curves of genus zero is stratified according to the degeneration types of such curves. We show that the homology groups of the moduli space $\bar{M}_A$ are generated by the strata of $\bar{M}_A$ and give all additive relations between them. We also observe that the Chow groups $A_i \bar{M}_A$ and the homology groups $H_{2i} \bar{M}_A$ are isomorphic. This generalizes Kontsevich-Manin's and Losev-Manin's theorems to arbitrary weight data $A$.
Let $ϕ:X\rightarrow B$ be a Lagrangian fibration on a projective irreducible hyper-Kähler manifold of dimension $\leq8$. Let $M\in {\rm Pic}\,X$ be a line bundle whose restriction to the general fiber $X_b$ of $ϕ$ is topologically trivial. We prove that if the fibration has maximal variation or is isotrivial, the set of points $b$ such that the restriction $M_{\mid X_b}$ is torsion is dense in $B$. We give an application to the Chow ring of $X$. We prove a similar result for elliptic fibrations which gives a toy model for the argument.
Given any smooth toric surface S, we prove a SYM-HILB correspondence which relates the 3-point, degree zero, extended Gromov-Witten invariants of the n-fold symmetric product stack [Sym^n(S)] of S to the 3-point extremal Gromov-Witten invariants of the Hilbert scheme Hilb^n(S) of n points on S. As we do not specialize the values of the quantum parameters involved, this result proves a strengthening of Ruan's Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphism from Hilb^n(S) to Sym^n(S) and yields a method of reconstructing the cup product for Hilb^n(S) from the orbifold i…
Given a proper family of varieties over a smooth base, with smooth total space and general fibre, all over a finite field k with q elements, we show that a finiteness hypothesis on the Chow groups, CH_i, i=0,1,...,r, of the fibres in the family leads to congruences mod q^{r+1} for the number of rational points in all the fibres over k-rational points of the base. These hypotheses on the Chow groups are expected to hold for families of low degree intersections in many Fano varieties leading to a broad generalisation of the theorem of Ax--Katz, as well as results of the author and C. S. Rajan. A…
We describe the Chow ring with rational coefficients of the moduli space of stable maps with marked points Mbar_{0,m}(n,d) as the subring of invariants of a ring B, relative to the action of the group of symmetries of d elements. B is computed by following a sequence of intermediate spaces for Mbar_{0,m}(n,d) and relating them to substrata of Mbar_{0,1}(n,d+m-1). An additive basis for the Chow ring is presented.
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…
In this paper, we show the existence of a Chow--Kuenneth decomposition for the moduli stack of stable curves of genus g with r marked points, for low values of g,r. We also look at the moduli space R of double covers of genus 3 curves, branched along 4 distinct points. We obtain a birational model of the moduli space R as a group quotient of a product of two Grassmanian varieties. This provides a Chow-Kuenneth decomposition over an open subset of R. The question of rationality of R is also discussed.
In this paper, we prove formulas that represent two-pointed Gromov-Witten invariant <O_{h^a}O_{h^b}>_{0,d} of projective hypersurfaces with d=1,2 in terms of Chow ring of Mbar_{0,2}(P^{N-1},d), the moduli spaces of stable maps from genus 0 stable curves to projective space P^{N-1}. Our formulas are based on representation of the intersection number w(O_{h^a}O_{h^b})_{0,d}, which was introduced by Jinzenji, in terms of Chow ring of Mp_{0,2}(N,d), the moduli space of quasi maps from P^1 to P^{N-1} with two marked points. In order to prove our formulas, we use the results on Chow ring of Mbar_{0,…
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 give a presentation for the Chow ring of the moduli space of degree two stable maps from two-pointed rational curves to P^1. Also, integrals of of all degree four monomials in the hyperplane pullbacks and boundary divisors of this ring are computed using equivariant intersection theory. Finally, the presentation is used to give a new computation of the (previously known) values of the genus zero, degree two, two-pointed gravitational correlators of P^1. This article is a sequel to math.AG/0501322, although the only information truly needed from that article is the Poincare polynomial of the…
The holomorphic invariants introduced by Futaki as obstruction to the asymptotic Chow semistability are studied by an algebraic-geometric point of view and are shown to be the Mumford weights of suitable line bundles on the Hilbert scheme. These invariants are calculated in two special cases. The first is a projective bundle over a curve of genus at least two, and it is shown that it is asymptotically Chow polystable (with every polarization) if and only the underlying vector bundle is slope polystable. This proves a conjecture of Morrison with the extra assumption that the involved polarizati…
We begin a study of the intersection theory of the moduli spaces of degree two stable maps from two-pointed rational curves to arbitrary-dimensional projective space. First we compute the Betti numbers of these spaces using Serre polynomial and equivariant Serre polynomial methods developed by E. Getzler and R. Pandharipande. Then, via the excision sequence, we compute an additive basis for their Chow rings in terms of Chow rings of nonlinear Grassmannians, which have been described by Pandharipande. The ring structure of one of these Chow rings is addressed in a sequel to this paper.
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 …
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…
We propose an explicit conjectural lift of the Neron-Severi Lie algebra of a hyperkähler variety $X$ of $K3^{[2]}$-type to the Chow ring of correspondences ${\rm CH}^\ast(X \times X)$ in terms of a canonical lift of the Beauville-Bogomolov class obtained by Markman. We give evidence for this conjecture in the case of the Hilbert scheme of two points of a $K3$ surface and in the case of the Fano variety of lines of a very general cubic fourfold. Moreover, we show that the Fourier decomposition of the Chow ring of $X$ of Shen and Vial agrees with the eigenspace decomposition of a canonical lift …
We compute the integral Chow ring of the quotient stack $[(\mathbb{P}^1)^n/PGL_2]$, which contains $\mathcal{M}_{0,n}$ as a dense open, and determine a natural $\mathbb{Z}$-basis for the Chow ring in terms of certain ordered incidence strata. We further show that all $\mathbb{Z}$-linear relations between the classes of ordered incidence strata arise from an analogue of the WDVV relations in $A^\bullet(\overline{\mathcal{M}}_{0,n})$. Next we compute the classes of unordered incidence strata in the integral Chow ring of the quotient stack $[{\rm Sym}^n\mathbb{P}^1/PGL_2]$ and classify all $\math…
We review and simplify A. Beilinson's construction of a basis for the motivic cohomology of a point over a cyclotomic field, then promote the basis elements to higher Chow cycles and evaluate the KLM regulator map on them.
We introduce a smooth projective variety $T_{d,n}$ which compactifies the space of configurations of $n$ distinct points on affine $d$-space modulo translation and homothety. The points in the boundary correspond to $n$-pointed stable rooted trees of $d$-dimensional projective spaces, which for $d = 1$, are $(n+1)$-pointed stable rational curves. In particular, $T_{1,n}$ is isomorphic to $\bar{M}_{0,n+1}$, the moduli space of such curves. The variety $T_{d,n}$ shares many properties with $\bar{M}_{0,n}$. For example, as we prove, the boundary is a smooth normal crossings divisor whose componen…
In this article we prove the irreducibility of the Hilbert scheme of rationnal curves on homogeneous varieties with fixed class in the Chow ring. This result has also been proved by J. F. Thomsen [T] and B. Kim and R. Pandharipande [KP]. Our method is totaly different (we don't use the compactification of stable maps) and enables us to prove the existence of rational smooth curves on homogeneous varities with fixed class in the Chow ring. This was not the case of Thomsen's and Kim and Pandharipande's proofs. We use a decomposition of G/P in orbits (called the P'-orbits, see definition) which a…
The purpose of this dissertation is to study the intersection theory of the moduli spaces of stable maps of degree two from two-pointed, genus zero nodal curves to arbitrary-dimensional projective space. Toward this end, first the Betti numbers of \bar{M}_{0,2}(P^r,2) are computed using Serre polynomials and equivariant Serre polynomials. Then, specializing to the space \bar{M}_{0,2}(P^1,2), generators and relations for the Chow ring are given. Chow rings of simpler spaces are also described, and the method of localization and linear algebra is developed. Both tools are used in finding the rel…
The Chow ring of the moduli space of marked rational curves is generated by Keel's divisor classes. The top graded part of this Chow ring is isomorphic to the integers, generated by the class of a single point. In this paper, we give an algorithm for computing the intersection degree of tuples of Keel's divisor classes. This computation is a concrete but complicated algorithmic question in the field. Also, we give a simple complexity argument for the algorithm. Additionally, we introduce three identities on multinomial coefficients, as well as proofs for them.
The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let $M$ be monomial in this Chow group. If no two factors of $M$ fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree; otherwise, $M$ is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for $M$ under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.
We compute the Chow ring of an arbitrary heavy/light Hassett space $\bar{M}_{0, w}$. These spaces are moduli spaces of weighted pointed stable rational curves, where the associated weight vector $w$ consists of only heavy and light weights. Work of Cavalieri et al. exhibits these spaces as tropical compactifications of hyperplane arrangement complements. The computation of the Chow ring then reduces to intersection theory on the toric variety of the Bergman fan of a graphic matroid. Keel has calculated the Chow ring $A^*(\bar{M}_{0, n})$ of the moduli space $\bar{M}_{0, n}$ of stable nodal $n$…
Inside a product of projective spaces, we try to understand which Chow classes come from irreducible subvarieties. The answer is closely related to the theory of integer polymatroids. The support of a representable class can be (partially) characterized as some integer point inside a particular polymatroid. If the class is multiplicity-free, we obtain a complete characterization in terms of representable polymatroids. We also generalize some of the results to the case of products of Grassmannians.
The Minimal Resolution Conjecture (MRC) for points on a projective variety X predicts that the Betti numbers of general sets of points in X are as small as the geometry (Hilbert function) of X allows. To a large extent, we settle this conjecture for a curve C with general moduli. We show that, independently of the genus, MRC holds for a general linear system of degree d and dimension r on C if and only if d>2r-1. We then proceed to find a full solution to the Ideal Generation Conjecture for curves with general moduli. In a different direction, we prove that K3 surfaces admit Ulrich bundles of …
This article is motivated by the authors interest in the geometry of the Mori dream space $\mathbb{P}^4$ blown up in $8$ general points. In this article we develop the necessary technique for determining Weyl orbits of linear cycles for the four-dimensional case, by explicit computations in the Chow ring of the resolution of the standard Cremona transformation. In particular, we close this paper with applications to the question of the dimension of the space global sections of effective divisors having at most $8$ base points.
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…