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.
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.
We prove a formula for the orbifold Chow ring of semi-projective toric DM stacks, generalizing the orbifold Chow ring formula of projective toric DM stacks by Borisov-Chen-Smith. We also consider a special kind of semi-projective toric DM stacks, the Lawrence toric DM stacks. We prove that the orbifold Chow ring of a Lawrence toric DM stack is isomorphic to the orbifold Chow ring of its associated hypertoric DM stack studied in \cite{JT}.
Generalizing toric varieties, we introduce toric Deligne-Mumford stacks which correspond to combinatorial data. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution.
In this short note, we study the asymptotic Chow polystability of toric Del Pezzo surfaces appear in the moduli space of Kähler-Einstein Fano varieties constructed in [OSS16].
In this paper we study the integral Chow ring of toric Deligne-Mumford stacks. We prove that the integral Chow ring of a semi-projective toric Deligne-Mumford stack is isomorphic to the Stanley-Reisner ring of the associated stacky fan. The integral orbifold Chow ring is also computed. Our results are illustrated with several examples.
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.
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.
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]).
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$.
For any vector bundle $V$ on a toric Deligne-Mumford stack $\ix$ the formalism of \cite{EJK:16} defines two intertial products $\star_{V^{+}}$ and $\star_{V^{-}}$ on the Chow group of the inertia stack. We give an explicit presentation for the integral $\star_{V^+}$ and $\star_{V^-}$ Chow rings, extending earlier work of Boris-Chen-Smith \cite{BCS:05} and Jiang-Tsen \cite{JiTs:10} in the orbifold Chow ring case, which corresponds to $V = 0$. We also describe an {\em asymptotic} product on the rational Chow group of the inertia stack obtained by letting the rank of the bundle $V$ go to infinity…
We compare the cohomology ring of the flag variety $FL_n$ and the Chow cohomology ring of the Gelfand-Zetlin toric variety $X_{GZ}$. We show that $H^*(FL_n, \mathbb{Q})$ is the Gorenstein quotient of the subalgebra $L$ of $A^*(X_{GZ}, \mathbb{Q})$ generated by degree $1$ elements. We compute these algebras for $n=3$ to see that, in general, the subalgebra $L$ does not have Poincare duality.
We introduce extended toric Deligne-Mumford stacks. We use an extended toric Deligne-Mumford stack to get the toric stack bundle and compute its orbifold Chow ring. Finally we generalize one result of Borisov, Chen and Smith so that the orbifold Chow ring of the toric stack bundle and the Chow ring of its crepant resolution are fibres of a flat family.
In \cite{botero}, a top intersection product of toric b-divisors on a smooth complete toric variety is defined. It is shown that a nef toric b-divisor corresponds to a convex set and that its top intersection number equals the volume of this convex set. The goal of this article is to extend this result and define an intersection product of sufficiently positive toric b-classes of arbitrary codimension. For this, we extend the polytope algebra of McMullen (\cite{McM1}, \cite{McM2}, \cite{McM3}) to the so called \emph{convex-set algebra} and we show that it embeds in the toric b-Chow group. In t…
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 …
Naruki gave an explicit construction of the moduli space of marked cubic surfaces, starting from a toric variety and proceeding with blow ups and contractions. Using his result, we compute the Chow groups and the Chern classes of this moduli space.As an application we relate a recent result of Freitag on the Hilbert polynomial of a certain ring of modular forms to the Riemann-Roch theorem for the moduli space.
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$.
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.
Chow stability is one notion of Mumford's Geometric Invariant Theory for studying the moduli space of polarized varieties. Kapranov, Sturmfels and Zelevinsky detected that Chow stability of polarized toric varieties is determined by its inherent {\it secondary polytope}, which is a polytope whose vertices correspond to regular triangulations of the associated polytope \cite{KSZ}. In this paper, we give a purely convex-geometrical proof that the Chow form of a projective toric variety is $H$-semistable if and only if it is $H$-polystable with respect to the standard complex torus action $H$. Th…
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 Δ\subset \mathbb{R}^n be an n-dimensional Delzant polytope. It is well-known that there exist the n-dimensional compact toric manifold X_Δand the very ample (\mathbb{C}^\times)^n-equivariant line bundle L_Δon X_Δassociated with Δ. In the present paper, we show that if (X_Δ,L_Δ^i) is Chow semistable then the sum of integer points in iΔis the constant multiple of the barycenter of Δ. Using this result we get a necessary condition for the polarized toric manifold (X_Δ,L_Δ) being asymptotically Chow semistable. Moreover we can generalize the result of Futaki, Sano and the author to the case wh…
We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.
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 operational Chow cohomology classes of a complete toric variety are identified with certain functions, called Minkowski weights, on the corresponding fan. The natural product of Chow cohomology classes makes the Minkowski weights into a commutative ring; the product is computed by a displacement in the lattice, which corresponds to a deformation in the toric variety. We show that, with rational coefficients, this ring embeds in McMullen's polytope algebra, and that the polytope algebra is the direct limit of these Chow rings, over all compactifications of a given torus. In the nonsingular …
The Chow polytope of an algebraic cycle in a torus depends only on its tropicalisation. Generalising this, we associate a Chow polytope to any abstract tropical variety in a tropicalised toric variety. Several significant polyhedra associated to tropical varieties are special cases of our Chow polytope. The Chow polytope of a tropical variety $X$ is given by a simple combinatorial construction: its normal subdivision is the Minkowski sum of $X$ and a reflected skeleton of the fan of the ambient toric variety.
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 use localization to describe the restriction map from equivariant Chow cohomology to ordinary Chow cohomology for complete toric varieties in terms of piecewise polynomial functions and Minkowski weights. We compute examples showing that this map is not surjective in general, and that its kernel is not always generated in degree one. We prove a localization formula for mixed volumes of lattice polytopes and, more generally, a Bott residue formula for toric vector bundles.
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.
There is a well developed intersection theory on smooth Artin stacks with quasi-affine diagonal. However, for Artin stacks whose diagonal is not quasi-finite the notion of the degree of a Chow cycle is not defined. In this paper we propose a definition for the degree of a cycle on Artin toric stacks whose underlying toric varieties are complete. As an application we define the Euler characteristic of an Artin toric stack with complete good moduli space - extending the definition of the orbifold Euler characteristic. An explicit combinatorial formula is given for 3-dimensional Artin toric stack…
Topological invariants such as characteristic classes are an important tool to aid in understanding and categorizing the structure and properties of algebraic varieties. In this note we consider the problem of computing a particular characteristic class, the Chern-Schwartz-MacPherson class, of a complete simplicial toric variety X defined by a fan from the combinatorial data contained in the fan. Specifically, we give an effective combinatorial algorithm to compute the Chern-Schwartz-MacPherson class of X, in the Chow ring (or rational Chow ring) of X. This method is formulated by combining, a…
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…
Let $Δ\subset \mathbb{R}^n$ be an $n$-dimensional integral Delzant polytope. It is well-known that there exist the $n$-dimensional compact toric manifold $X_Δ$ and the very ample $(\mathbb{C}^\times)^n$-equivariant line bundle $L_Δ$ on $X_Δ$ associated with $Δ$. In the present paper, we give a necessary and sufficient condition for Chow semistability of $(X_Δ,L_Δ^i)$ for a maximal torus action. We then see that asymptotic (relative) Chow semistability implies (relative) K-semistability for toric degenerations, which is proved by Ross and Thomas, without any knowledge of Riemann-Roch theorem an…
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…
We combine work of Cox on the total coordinate ring of a toric variety and results of Eisenbud-Mustata-Stillman and Mustata on cohomology of toric and monomial ideals to obtain a formula for computing the Euler characteristic of a Weil divisor D on a complete simplicial toric variety in terms of graded pieces of the Cox ring and Stanley-Reisner ring. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of the Euler characteristic of D, to the Stanley-Reisner ideal of the fan, which is used in defining the Chow ring. The formula al…
We define and study a family of cubic surfaces in the projectivized tangent bundle over a four dimensional projective space associated to the root system D_5. The 27 lines are rational over the base and we determine the classifying map to the moduli space of marked cubic surfaces. This map has degree two and we use it to get short proofs for some results on the Chow group of the moduli space of marked cubic surfaces.
We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a Bézout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima.
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,…
We give an explicit description of $\overline{\mathcal{M}}_{1,2}$ as a weighted blow-up of a weighted projective stack. We use this description to compute the Brauer group of $\overline{\mathcal{M}}_{1,2;S}$ over any base scheme $S$ where 6 is invertible, and the integral Chow rings of $\overline{\mathcal{M}}_{1,2}$ and $\mathcal{M}_{1,2}$.
