环面簇是一种正规复簇，可由组合数据完全描述，即由强凸有理锥（相对于某个格）组成的扇来描述。由于这一有理性条件，环面簇在等变意义下是刚性的，因为格的形变可能使其变得稠密。解决该问题的一种方法是考虑量子环面叠。后者是环面簇的叠式推广，其中“格”被替换为 $\mathbb{R}^d$ 的有限生成子群（在 L. Katzarkov、E. Lupercio、L. Meersseman 和 A. Verjovsky 引入的单纯情形中）。本文旨在阐述量子环面叠的模空间及其紧化。
英文摘要：
A toric variety is a normal complex variety which is completely described by combinatorial data, namely by a fan of strongly convex rational (with respect to a lattice) cones. Due to this rationality condition, toric varieties are (equivariantly) rigid since a deformation of the lattice can make it dense. A solution to this problem consists in considering quantum toric stacks. The latter is a stacky generalization of toric varieties where the "lattice" is replaced by a finitely generated subgroup of $\mathbb{R}^d$ (in the simplicial case as introduced by L. Katzarkov, E. Lupercio, L. Meersseman and A. Verjovsky). The goal of this paper is to explain the moduli spaces of quantum toric stacks and their compactification.
These lecture notes are based on lectures given by the author at the summer school "Arrangements in Pyrénées" in June 2012. We survey and compare various compactifications of complex hyperplane arrangement complements. In particular, we review the Gel'fand-MacPherson construction, Kapranov's visible contours compactification, and De Concini and Procesi's wonderful compactification. We explain how these constructions are unified by some ideas from the modern origins of tropical geometry. The paper contains a few new arguments intended to make the presentation as self-contained as possible.
To any graph $G$ one can associate a toric variety $X(\mathcal{P}G)$, obtained as a blowup of projective space along coordinate subspaces corresponding to connected subgraphs of $G$. The polytope of this toric variety is the graph associahedron of $G$, a class of polytopes that includes the permutohedron, associahedron, and stellahedron. We show that the space $X(\mathcal{P}{G})$ is isomorphic to a Hassett compactification of $M_{0,n}$ precisely when $G$ is an iterated cone over a discrete set. This may be viewed as a generalization of the well-known fact that the Losev--Manin moduli space is …
We present a decomposition of the space of twisted arcs of a toric stack. As a consequence, we give a combinatorial description of the motivic integral associated to a torus-invariant divisor of a toric stack.
Toric Landau--Ginzburg models of Givental's type for Fano complete intersections are known to have Calabi--Yau compactifications. We give an alternative proof of this fact. As an output of our proof we get a description of fibers over infinity for compactified toric Landau--Ginzburg models.
We construct a compactification of the moduli of toric pairs by using ideas from mirror symmetry. The secondary fan $Σ(Q)$ is used in [Ale02] to parametrize degenerations of toric pairs. It is also used in [CLS11] to control the variation of GIT. We verify the prediction of mirror symmetry that $Σ(Q)$ for the moduli of toric pairs is equal to the Mori fan of the relative minimal models of the mirror family. As a result, we give an explicit construction of the compactification $\mathscr{T}_Q$ of the moduli of toric pairs which is the normalization of the compactification in [Ale02] and [Ols08].
In this paper, we prove that there exists an equivalence between 2-category of smooth Deligne-Mumford stacks with torus-embeddings and actions, and the 1-category of stacky fans. For this purpose, we obtain two main results. The first is to investigate a combinatorial aspect of the 2-category of toric algebraic stacks defined in \cite{I2}. We establish an equivalence between the 2-category of toric algebraic stacks and the 1-category of stacky fans. The second is to give a geometric characterization theorem for toric algebraic stacks.
Some projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T were constructed in [3]. In this paper we describe their integer cohomology rings by generators and relations.
We prove, using invariant Zariski-Riemann spaces, that every normal toric variety over a valuation ring of rank one can be embedded as an open dense subset into a proper toric variety equivariantly. This extends a well known theorem of Sumihiro for toric varieties over a field to this more general setting.
We establish a natural and geometric 1-1 correspondence between projective toric varieties of dimension $n$ and horofunction compactifications of $\mathbb{R}^n$ with respect to rational polyhedral norms. For this purpose, we explain a topological model of toric varieties. Consequently, toric varieties in algebraic geometry, normed spaces in convex analysis, and horofunction compactifications in metric geometry are directly and explicitly related.
We prove that smooth Fano threefolds have toric Landau--Ginzburg models. More precise, we prove that their Landau--Ginzburg models, presented as Laurent polynomials, admit compactifications to families of K3 surfaces, and we describe their fibers over infinity. We also give an explicit construction of Landau--Ginzburg models for del Pezzo surfaces and any divisors on them.
We study $A$-hypergeometric functions introduced by Gelfand-Kapranov-Zelevinsky and prove a formula for the eigenvalues of their monodromy automorphisms defined by the analytic continuaions along large loops contained in complex lines parallel to the coordinate axes. A method of toric compactifications will be used to prove our main theorem.
We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,β)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $Λ_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M…
Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations.
We give a characterization of toroidal (resp., semi-toric) compactifications due to Ash-Mumford-Rapoport-Tai (resp., Looijenga) as log minimal models and apply it to study weak K-moduli compactifications, giving a different proof to a theorem of Alexeev-Engel. We also discuss towards further generalization, in particular revisit Shah-Sterk compactification of moduli of polarized Enriques surfaces to show compatibility with log K-stability.
The purpose of this paper and its prequel (Toric Stacks I) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties. While the focus of the prequel is on how to work with toric stacks, the focus of this paper is how to show a stack is toric. For toric varieties, a classical result says that any normal variety with an action of a dense open torus arises from a fan. In [FMN09, Theorem 7.24], it is shown that a smooth separated DM stack with an action o…
The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties. In this paper, we define a \emph{toric stack} as a quotient of a toric variety by a subgroup of its torus (we also define a generically stacky version). Any toric stack arises from a combinatorial gadget called a \emph{stacky fan}. We develop a dictionary between the combinatorics of stacky fans and the geometry of toric stacks, stress…
Simplicial toric stack bundles are smooth Deligne-Mumford stacks over smooth varieties with fibre a toric Deligne-Mumford stack. We compute the Grothendieck $K$-theory of simplicial toric stack bundles and study the Chern character homomorphism.
Any toric Deligne-Mumford stack is a $μ$-gerbe over the underlying toric orbifold for a finite abelian group $μ$. In this paper we give a sufficient condition so that certain kinds of gerbes over a toric Deligne-Mumford stack are again toric Deligne-Mumford stacks.
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.
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}.
We define Reichstein transforms to be certain birational transformations of Artin stacks with good moduli spaces. Our main technical result is that the Reichstein transform of an Artin toric stack is again an Artin toric stack. This leads to our main theorem which states that for Artin toric stacks there is a canonical sequence of Reichstein transforms which produces a Deligne-Mumford toric stack. When the good moduli space of an Artin toric stack is projective our procedure can be interpreted in terms of Kirwan's partial desingularization of geometric invariant theory quotients.
We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks.
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…
We give a precise relation between the mirror transformation and the Seidel elements for weak Fano toric Deligne-Mumford stacks. Our result generalizes the corresponding result for toric varieties proved by González and Iritani in \cite{GI}.
Three-dimensional smooth, compact toric varieties (SCTV), when viewed as real six-dimensional manifolds, can admit G-structures rendering them suitable for internal manifolds in supersymmetric flux compactifications. We develop techniques which allow us to systematically construct G-structures on SCTV and read off their torsion classes. We illustrate our methods with explicit examples, one of which consists of an infinite class of toric CP^1 bundles. We give a self-contained review of the relevant concepts from toric geometry, in particular the subject of the classification of SCTV in dimensio…
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.
For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the bounded derived category of coherent sheaves on the toric DM stack. We also choose a full strong exceptional collection from the set of direct summands of the push-forward in several examples of two dimensional toric DM orbifolds.
In this paper, we develop several techniques for computing the higher G-theory and K-theory of quotient stacks. Our main results for computing these groups are in terms of spectral sequences. We show that these spectral sequences degenerate in the case of many toric stacks, thereby providing an efficient computation of their higher K-theory. We apply our main results to give explicit description for the higher K-theory for many smooth toric stacks. As another application, we describe the higher K-theory of toric stack bundles over smooth base schemes.
We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this toric variety may be interpreted as a moduli space for tropical relative stable maps with the same discrete data. As a consequence, we confirm an expectation of Bertram and the first two authors, that the tropical Hurwitz cycles are tropicalizations of classical Hurwitz cycles. As a second application, we obtain a full descendant correspondence for genus $0$ r…
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.
The 102581 flat toric elliptic fibrations over P^2 are identified among the Calabi-Yau hypersurfaces that arise from the 473800776 reflexive 4-dimensional polytopes. In order to analyze their elliptic fibration structure, we describe the precise relation between the lattice polytope and the elliptic fibration. The fiber-divisor-graph is introduced as a way to visualize the embedding of the Kodaira fibers in the ambient toric fiber. In particular in the case of non-split discriminant components, this description is far more accurate than previous studies. The discriminant locus and Kodaria fibe…
Let X be an irreducible affine T-variety. We consider families of affine stable toric T-varieties over X and give a description of the corresponding moduli space as the quotient stack of an open subscheme in a certain toric Hilbert scheme under the action of a torus.
We give a new description of the data needed to specify a morphism from a scheme to a toric Deligne-Mumford stack. The description is given in terms of a collection of line bundles and sections which satisfy certain conditions. As applications, we characterize any toric Deligne-Mumford stack as a product of roots of line bundles over the rigidified stack, describe the torus action, describe morphisms between toric Deligne-Mumford stacks with complete coarse moduli spaces in terms of homogeneous polynomials, and compare two different definitions of toric stacks.
We outline a proof that the stack of symplectic toric G-manifolds over a fixed orbit space W is a torsor for the stack of symplectic toric G-principal bundles over W.
We study Givental's Lagrangian cone for the quantum orbifold cohomology of toric stack bundles and prove that the I-function gives points in the Lagrangian cone, namely we construct an explicit slice of the Lagrangian cone defined by the genus $0$ Gromov-Witten theory of a toric stack bundle.
We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
We construct full strong exceptional collections of line bundles on smooth toric Fano Deligne-Mumford stacks of Picard number at most two and of any Picard number in dimension two. It is hoped that the approach of this paper will eventually lead to the proof of the existence of such collections on all smooth toric nef-Fano Deligne-Mumford stacks.
We study line bundles on toric DM stacks $\mathbb{P}_{\mathbfΣ}$ of dimension two. We give a combinatorial criterion of when infinitely many line bundles on $\mathbb{P}_{\mathbfΣ}$ have trivial cohomology. We further discuss the structure of the set of such line bundles.
In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary schemes, which may be regarded as torus embeddings within the framework of algebraic stacks, and study some basic properties. Furthermore, we study the stack-theoretic analogue of toroidal embeddings.
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurface.
We compute the Grothendieck and Picard groups of a complete smooth toric Deligne-Mumford stack by using a suitable category of graded modules over a polynomial ring.
In this note, we prove that the Grothendieck group of a smooth complete toric Deligne-Mumford stack is torsion free. This statement holds when the generic point is stacky. We also construct an example of open toric stack with torsion in K-theory. This is a part of the author's Ph.D thesis.
We construct new "virtually smooth" modular compactifications of spaces of maps from nonsingular curves to smooth projective toric varieties. They generalize Givental's compactifications, when the complex structure of the curve is allowed to vary and markings are included, and are the toric counterpart of the moduli spaces of stable quotients introduced by Marian, Oprea, and Pandharipande to compactify spaces of maps to Grassmannians. A brief discussion of the resulting invariants and their (conjectural) relation with Gromov-Witten theory is also included.
We prove the following results for toric Deligne-Mumford stacks, under minimal compactness hypotheses: the Localization Theorem in equivariant K-theory; the equivariant Hirzebruch-Riemann-Roch theorem; the Fourier--Mukai transformation associated to a crepant toric wall-crossing gives an equivariant derived equivalence.
We give a new definition of smooth toric DM stacks in the same spirit of toric varieties. We show that our definition is equivalent to the one of Borisov, Chen and Smith in terms of stacky fans. In particular, we give a geometric interpretation of the combinatorial data contained in a stacky fan. We also give a bottom up classification in terms of simplicial toric varieties and fiber products of root stacks.
We calculate explicit formulas for the general equivariant Bondal-Orlov functors on the localized K-theory groups for a crepant birational transformation of toric DM stacks. We recall some facts that the Bondal-Orlov functors give equivalences on the bounded derived categories. Applying twice of these functors we get the Seidel-Thomas spherical twists for the derived category.
In this article we describe the $\tG\times \tG$-equivariant $K$-ring of $X$, where $\tG$ is a {\it factorial} cover of a connected complex reductive algebraic group $G$, and $X$ is a regular compactification of $G$. Furthermore, using the description of $K_{\tG\times \tG}(X)$, we describe the ordinary $K$-ring $K(X)$ as a free module of rank the cardinality of the Weyl group, over the $K$-ring of a toric bundle over $G/B$, with fibre the toric variety $\bar{T}^{+}$, associated to a smooth subdivision of the positive Weyl chamber. This generalizes our previous work on the wonderful compactifica…
We construct a canonical compactification $SQ^{toric}_{g,K}$ of the moduli of abelian varieties over $Z[ζ_N, 1/N]$ where $ζ_N$ is a primitive $N$-th root of unity. This is very similar to, but slightly diferent from the compactification constructed by the author in Inventiones vol. 136 (1999). Any degenerate abelian scheme on the boundary of $SQ^{toric}_{g,K}$ is reduced and singular and it is one of the stable quasi-abelian varieties introduced by Alexeev and the author (Tohoku J. 1999).
We revisit Ekedahl, Lando, Shapiro and Vainshtein's compactification of the stack of simply ramified covers of the projective line except for a fixed ramification profile above infinity. In particular we draw a connection with the Harris and Mumford stack of admissible covers showing that the boundary of the ELSV compactification appears as a contraction of the boundary of the stack of admissible covers. This lays the needed foundations for a combinatoral interpretation of boundary points of the ELSV compactification
The nonequivariant coherent-costructible correspondence is a microlocal-geometric interpretation of homological mirror symmetry for toric varieties conjectured by Fang-Liu-Treumann-Zaslow. We prove a generalization of this conjecture for a class of toric stacks which includes any toric varieties and toric orbifolds. Our proof is based on gluing descriptions of $\infty$-categories of both sides.
We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori. We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter's algorithm. Our algorithm is implemented in and shipped with polymake.
We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X. This determines the genus-zero Gromov--Witten invariants of X in terms of an explicit hypergeometric function, called the I-function, that takes values in the Chen--Ruan orbifold cohomology of X.
