Based on Nakajima's Classification Theorem we describe the precise form of the binomial equations which determine toric locally complete intersection ("l.c.i'') singularities.
This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.
In this paper, we study a class of toric ideals obtained by using some geometric data of ADE trees which are the minimal resolution graphs of rational surface singularities. We compute explicit Gröbner bases for these toric ideals that are also minimal generating sets consisting of large number of binomials of degree $\leq 4$. In particular, they give rise to squarefree initial ideals as well.
In [Kat94b], Kato defined his notion of a log regular scheme and studied the local behavior of such schemes. A toric variety equipped with its canonical logarithmic structure is log regular. And, these schemes allow one to generalize toric geometry to a theory that does not require a base field. This paper will extend this theory by removing normality requirements.
This article will appear in the proceedings of the AMS Summer Institute in Algebraic Geometry at Santa Cruz, July 1995. The topic is toric ideals, by which I mean the defining ideals of subvarieties of affine or projective space which are parametrized by monomials. Numerous open problems are given.
We introduce the class of weakly log canonical singularities, a natural generalization of semi-log canonical singularities. Toric varieties (associated to toric face rings, possibly non-normal or reducible) which have weakly (semi-) log canonical singularities are classified. In the toric case, we discuss residues to lc centers of codimension one or higher.
It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima's classification theorem and of some special techniques from toric and discrete geometry.
A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls.
We consider the problem of finding an ideal whose blowup defines the Nash blowup of a toric surface and such that its zero locus coincides with the singular set of the toric surface.
We prove that the defining ideal of a sufficiently high Veronese subring of a toric algebra admits a quadratic Gröbner basis consisting of binomials. More generally, we prove that the defining ideal of a sufficiently high Veronese subring of a standard graded ring admits a quadratic Gröbner basis. We give a lower bound on $d$ such that the defining ideal of $d$-th Veronese subring admits a quadratic Gröbner basis. Eisenbud--Reeves--Totaro stated the same theorem without a proof with some lower bound on $d$. In many cases, our lower bound is less than Eisenbud--Reeves--Totaro's lower bound.
Using the structure of the jet schemes of rational double point singularities, we construct "minimal embedded toric resolutions" of these singularities. We also establish, for these singularities, a correspondence between a natural class of irreducible components of the jet schemes centered at the singular locus and the set of divisors which appear on every "minimal embedded toric resolution". We prove that this correspondence is bijective except for the $E_8$ singulartiy. This can be thought as an embedded Nash correspondence for rational double point singularities.
This is the major revision. The main purpose of this paper is to prove that minimal discrepancies of $n$-dimensional toric singularities can accumulate only from above and only to minimal discrepancies of toric singularities of dimension less than $n$. I also prove that some lower-dimensional minimal discrepancies do appear as such limit.
We give a criterion for the existence of non-commutative crepant resolutions (NCCR's) for certain toric singularities. In particular we recover Broomhead's result that a 3-dimensional toric Gorenstein singularity has a NCCR. Our result also yields the existence of a NCCR for a 4-dimensional toric Gorenstein singularity which is known to have no toric NCCR.
Firstly, we see that the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities are quite restricted. In particular, we classify the analytic germs of embedding dimension $\leq 2$ which are the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities. Secondly, we show that the deformation spaces of isolated Gorenstein toric $3$-fold singularities appear, in a weak sense, as singularities of the K-moduli stack of K-semistable Fano varieties of every dimension $\geq 3$. As a consequence, we prove that the number of local …
For a toric log variety with standard coefficients, we show that the minimal log discrepancy at a closed invariant point bounds the Cartier index of a neighbourhood.
We study function germs on toric varieties which are nondegenerate for their Newton diagram. We express their motivic Milnor fibre in terms of their Newton diagram. We extend a formula for the motivic nearby fibre to the case of a toroidal degeneration. We illustrate this by some examples.
For affine toric varieties, the vector space T1 (containing the infinitesimal deformations) will be interpreted via Minkowski summands of cross cuts of the defining polyhedral cone. This result will be applied to study the deformation theory of (in particular non-isolated) three-dimensional Gorenstein singularities.
In 1988 S. Mori, D. Morrison, and I. Morrison gave a computer-based conjectural classification of four-dimensional cyclic quotient singularities of prime index. It was partially proven in 1990 by G. Sankaran. In 1991 Jim Lawrence basically proved this and much more, been unaware of algebro-geometric meaning of what he did. In this short note I just bring this all together to prove that all n-dimensional toric singularities with log-discrepancy greater than (or equal to) $ε$ form finitely many "series".
In the case of two-dimensional cyclic quotient singularities, we classify all one-parameter toric deformations in terms of certain Minkowski decompositions. In particular, we describe to which components each such deformation maps, show how to induce each deformation from a versal family, give explicit equations for each deformation, describe the singularities in the general fibers, and construct the corresponding partial simultaneous resolutions.
We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated.
Lejeune-Jalabert and Reguera computed the geometric Poincare series P_{geom}(T) for toric surface singularities. They raise the question whether this series equals the arithmetic Poincare series. We prove this equality for a class of toric varieties including the surfaces, and construct a counterexample in the general case. We also compute the motivic Igusa Poincare series Q_{geom}(T) for toric surface singularities, using the change of variables formula for motivic integrals, thus answering a second question of Lejeune-Jalabert and Reguera's. The series Q_{geom}(T) contains more information t…
Using the theory of dimer models Broomhead proved that every 3-dimensional Gorenstein affine toric variety Spec R admits a toric non-commutative crepant resolution (NCCR). We give an alternative proof of this result by constructing a tilting bundle on a (stacky) crepant resolution of Spec R using standard toric methods. Our proof does not use dimer models.
This paper surveys, in the first place, some basic facts from the classification theory of normal complex singularities, including details for the low dimensions 2 and 3. Next, it describes how the toric singularities are located within the class of rational singularities, and recalls their main properties. Finally, it focuses, in particular, on a toric version of Reid's desingularization strategy in dimension three
We build two embedded resolution procedures of a quasi-ordinary singularity of complex analytic hypersurface, by using toric morphisms which depend only on the characteristic monomials associated to a quasi-ordinary projection of the singularity. This result answers an open problem of Lipman in Equisingularity and simultaneous resolution of singularities, Resolution of Singularities, Progress in Mathematics No. 181, 2000, 485-503. In the first procedure the singularity is embedded as hypersurface. In the second procedure, which is inspired by a work of Goldin and Teissier for plane curves (see…
In this paper we investigate singularities on toric fibrations. In this context we study a conjecture of Shokurov (a special case of which is due to M$^\rm{c}$Kernan) which roughly says that if $(X,B)\to Z$ is an $ε$-lc Fano type log Calabi-Yau fibration, then the singularities of the log base $(Z,B_Z+M_Z)$ are bounded in terms of $ε$ and $\dim X$ where $B_Z,M_Z$ are the discriminant and moduli divisors of the canonical bundle formula. A corollary of our main result says that if $X\to Z$ is a toric Fano fibration with $X$ being $ε$-lc, then the multiplicities of the fibres over codimension one…
We construct a two-dimensional crystal melting model which reproduces the BPS index of D2-D0 states bound to a non-compact D4-brane on an arbitrary toric Calabi-Yau singularity. The crystalline structure depends on the toric divisor wrapped by the D4-brane. The molten crystals are in one-to-one correspondence with the torus fixed points of the moduli space of the quiver gauge theory on D-branes. The F- and D-term constraints of the gauge theory are regarded as a generalization of the ADHM constraints on instantons. We also show in several examples that our model is consistent with the wall-cro…
Let $I_M$ and $I_N$ be defining ideals of toric varieties such that $I_M$ is a projection of $I_N$, i.e. $I_N \subseteq I_M$. We give necessary and sufficient conditions for the equality $I_M=rad(I_N+(f_1,...,f_s))$, where $f_1,...,f_s$ belong to $I_M$. Also a method for finding toric varieties which are set-theoretic complete intersection is given. Finally we apply our method in the computation of the arithmetical rank of certain toric varieties and provide the defining equations of the above toric varieties.
Given a polyhedral cone sigma with smooth two-dimensional faces and, moreover, a lattice point R in the dual cone of sigma, we describe the part of the versal deformation of the associated toric variety TV(sigma) that is built from the deformation parameters of multidegree R. Let Q the polyhedron obtained by intersecting sigma with the hyperplane R=1. Then the base space is (the germ of) an affine scheme that reflects certain possibilities of splitting Q into Minkowski summands.
We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that satisfy the normal flatness criterion of Hironaka. The results extend to more general varieties defined locally by binomial equations.
We study the normalized volume of toric singularities. As it turns out, there is a close relation to the notion of (non-symmetric) Mahler volume from convex geometry. This observation allows us to use standard tools from convex geometry, such as the Blaschke-Santaló inequality and Radon's theorem to prove non-trivial facts about the normalized volume in the toric setting. For example, we prove that for every $ε> 0$ there are only finitely many $\mathbb{Q}$-Gorenstein toric singularities with normalized volume at least $ε$. From this result, it directly follows that there are also only finitely…
Given a projective contraction $π\colon X\rightarrow Z$ and a log canonical pair $(X, B)$ such that $-(K_X+B)$ is nef over a neighborhood of a closed point $z\in Z$, one can define an invariant, the complexity of $(X, B)$ over $z \in Z$, comparing the dimension of $X$ and the relative Picard number of $X/Z$ with the sum of the coefficients of those components of $B$ intersecting the fibre over $z$. We prove that the complexity of $(X,B)$ over $z\in Z$ is non-negative and that when it is zero then $(X,\lfloor B \rfloor) \rightarrow Z$ is formally isomorphic to a morphism of toric varieties arou…
We give an explicit positive answer, in the case of reduced curve singularities, to a question of B. Teissier about the existence of a toric embedded resolution after reembedding. In the case of a curve singularity $(C,O)$ contained in a non singular surface $S$ such a reembedding may be defined in terms of a sequence of maximal contact curves of the minimal embedded resolution of $C$. We prove that there exists a toric modification, after reembedding, which provides an embedded resolution of $C$. We use properties of the semivaluation space of $S$ at $O$ to describe how the dual graph of the …
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles…
We explicitly describe infintesimal deformations of cyclic quotient singularities that satisfy one of the deformation conditions introduced by Wahl, Kollár-Shepherd-Barron and Viehweg. The conclusion is that in many cases these three notions are different from each other. In particular, we see that while the KSB and the Viehweg versions of the moduli space of surfaces of general type have the same underlying reduced subscheme, their infinitesimal structures are different.
A toric del Pezzo surface $X_P$ with cyclic quotient singularities determines and is determined by a Fano polygon $P$. We construct an affine manifold with singularities that partially smooths the boundary of $P$; this a tropical version of a Q-Gorenstein partial smoothing of $X_P$. We implement a mild generalization of the Gross-Siebert reconstruction algorithm - allowing singularities that are not locally rigid - and thereby construct (a formal version of) this partial smoothing directly from the affine manifold. This has implications for mirror symmetry: roughly speaking, it implements half…
The set of all m-tuples of compatible full conditional distributions on discrete random variables is an algebraic set whose defining ideal is a unimodular toric ideal. We identify the defining polynomials of these ideals with closed walks on a bipartite graph. Our algebraic characterization provides a natural generalization of the requirement that compatible conditionals have identical odds ratios and holds regardless of the patterns of zeros in the conditional arrays.
P-resolutions of two-dimensional, cyclic quotient singularities have been introduced to study deformation theory. Those P-resolutions (as well as the singularities themselves) are toric varieties. In the present paper we give a straight, elementary description of them just by their defining fans.
For an affine, toric Q-Gorenstein variety Y (given by a lattice polytope Q) the vector space T^1 of infinitesimal deformations is related to the complexified vector spaces of rational Minkowski summands of faces of Q. Moreover, assuming Y to be an isolated, at least 3-dimensional singularity, Y will be rigid unless it is even Gorenstein and dim Y=3 (dim Q=2). For this particular case, so-called toric deformations of Y correspond to Minkowski decompositions of Q into a sum of lattice polygons. Their Kodaira-Spencer-map can be interpreted in a very natural way. We regard the projective variety P…
We give a definition of Newton non degeneracy independent of the system of generators defining the variety. This definition extends the notion of Newton non degeneracy to varieties that are not necessarily complete intersection. As in the previous definition of non-degeneracy for complete intersection varieties, it is shown that the varieties satisfying our definition can be resolved with a toric modification. Using tools of both toric and tropical geometry we describe the toric modification in terms of the Groebner fan of the ideal defining the variety. The first part of the paper is devoted …
This article is a continuation of [Kub18], which proves that if a $3$-dimensional affine normal quasihomogeneous $SL(2)$-variety $E$ is toric, then it has an equivariant resolution of singularities given by an invariant Hilbert scheme $\mathcal H$. In this article, we consider the case where $E$ is non-toric and show that the Hilbert-Chow morphism $γ: \mathcal H \to E$ is a resolution of singularities and that $\mathcal H$ is isomorphic to the minimal resolution of a weighted blow-up of $E$.
We study toric G-solid Fano threefolds that have at most terminal singularities, where G is an algebraic subgroup of the normalizer of a maximal torus in their automorphism groups.
We give a complete classification of del Pezzo surfaces with quotient singularities and Picard rank 1 which admit a Q-Gorenstein smoothing. There are 14 infinite families of toric examples. The surfaces in each family correspond to solutions of a Markov-type equation. The remaining surfaces are obtained as deformations of the toric surfaces or belong to a finite list of sporadic surfaces.
We compute the Nekrasov partition function of gauge theories on the (resolved) toric singularities C^2/Γin terms of blow-up formulae. We discuss the expansion of the partition function in the ε_1,ε_2 \to 0 limit along with its modular properties and how to derive them from the M-theory perspective. On the two-dimensional conformal field theory side, our results can be interpreted in terms of representations of the direct sum of Heisenberg plus W_N-algebrae with suitable central charges, which can be computed from the fan of the resolved toric variety.We provide a check of this correspondence b…