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 Resolving singularities of plane analytic branches with one toric morphism,loc. cit., pages 315-340), we re-embed the singularity in an affine space of bigger dimension in such a way that one toric morphism provides its embedded resolution. We compare both procedures and we show that they coincide under suitable hypothesis.
In this paper, we investigate when there exists a wild hypersurface bundle over a smooth proper toric variety in positive characteristic. In particular, we determine the possibilities for toric varieties with Picard number at most three or toric Fano varieties of dimension at most four. Moreover, we can construct wild hypersurface bundles over them.
We introduce an algebraic method for describing the Hodge filtration of degenerating hypersurfaces in projective toric varieties. For this purpose, we show some fundamental properties of logarithmic differential forms on proper equivariant morphisms of toric varieties.
In this article we present a formula for the plurigenera of minimal models of nondegenerate toric hypersurfaces, which is valid in arbitrary dimension and which expresses these invariants through lattice points on the Fine interior. From this formula we derive a formula for the volume of the canonical divisor of the toric hypersurface. We also study the pluricanonical mappings and show under some restrictions how to construct a canonical model of the toric hypersurface.
In response to a question of Reid, we find all anti-canonical Calabi-Yau hypersurfaces $X$ in toric weighted projective bundles over the projective line where the general fiber is a weighted K3 hypersurface. This gives a direct generalization of Reid's discovery of the 95 families of weighted K3 hypersurfaces. We also treat the case where $X$ is fibered over the plane with general fiber a genus one curve in a weighted projective plane.
We study the geometry and cohomology of semiample hypersurfaces in toric varieties. Such hypersurfaces generalize the MPCP-desingularizations of Calabi-Yau ample hypersurfaces in the Batyrev mirror construction. We study the topological cup product on the middle cohomology of semiample hypersurfaces. In particular, we obtain a complete algebraic description of the middle cohomology of regular semiample hypersurfaces in 4-dimensional simplicial toric varieties what would be interesting for physics.
We give detailed descriptions of the period maps of two 2-parameter families of anti-canonical hypersurfaces in toric 3-folds. One of them is related to a Hilbert modular surface, and the other is related to the product of modular curves.
We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the Oda conjecture and Hodge conjecture. We also give an explicit criterion which depends on the degree for very general hypersurfaces for the combinatorial condition to be verified.
We show that the usual sufficient criterion for a generic hypersurface in a smooth projective manifold to have the same Picard number as the ambient variety can be generalized to hypersurfaces in complete simplicial toric varieties. This sufficient condition is always satisfied by generic K3 surfaces embedded in Fano toric 3-folds.
Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families.
We provide a combinatorial characterization of monomial linear systems on toric varieties whose general member is quasismooth. This is given both in terms of the Newton polytope and in terms of the matrix of exponents of a monomial basis.
We provide a construction of examples of semistable degeneration via toric geometry. The applications include a higher dimensional generalization of classical degeneration of K3 surface into 4 rational components, an algebraic geometric version of decomposing K3 as the fiber sum of two E(1)'s as well as it's higher dimensional generalizations, and many other new examples.
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{G}_a$ be the additive group of $\mathbb{K}$. We say that an irreducible algebraic variety $X$ of dimension $n$ over the field $\mathbb{K}$ admits an additive action if there is a regular action of the group $\mathbb{G}_a^n = \mathbb{G}_a \times \ldots \times \mathbb{G}_a$ ($n$ times) on $X$ with an open orbit. In this paper we find all projective toric hypersurfaces admitting additive action.
We provide a sufficient condition for a general hypersurface in a $\mathbb Q$-Fano toric variety to be a Calabi-Yau variety in terms of its Newton polytope. Moreover, we define a generalization of the Berglund-Hübsch-Krawitz construction in case the ambient is a $\mathbb Q$-Fano toric variety with torsion free class group and the defining polynomial is not necessarily of Delsarte type. Finally, we introduce a duality between families of Calabi-Yau hypersurfaces which includes both Batyrev and Berglund-Hübsch-Krawitz mirror constructions. This is given in terms of a polar duality between pairs …
A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with $\mathbb{Z}_2$ coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope $Δ$ there are families of hypersurfaces with the Newton polytopes $(λΔ)_{λ\in \mathbb{N}}$ that are asymptotically maximal when $λ$ tends to infinity. We also show that these results ge…
There are easy "polynomial" deformations of Calabi-Yau hypersurfaces in toric varieties performed by changing the coefficients of the defining polynomial of the hypersurface. In this paper, we explicitly constructed the ``non-polynomial'' deformations of Calabi-Yau hypersurfaces, which arise from deformations of the ambient toric variety.
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotica…
An almost-toric hypersurface is parameterized by monomials multiplied by polynomials in one extra variable. We determine the Newton polytope of such a hypersurface, and apply this to give an algorithm for computing the implicit equation.
The most fundamental example of mirror symmetry compares the Fermat hypersurfaces in P^n and P^n/G, where G is a finite group that acts on P^n and preserves the Fermat hypersurface. We generalise this to hypersurfaces in Grassmannians, where the picture is richer and more complex. There is a finite group G that acts on the Grassmannian Gr(n,r) and preserves an appropriate Calabi-Yau hypersurface. We establish how mirror symmetry, toric degenerations, blow-ups and variation of GIT relate the Calabi-Yau hypersurfaces inside Gr(n,r) and Gr(n,r)/G. This allows us to describe a compactification of …
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.
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 …
We study the structure of rational Picard groups of hypersurfaces of toric varieties. By using the fan structure associated to the ambient toric variety, an explicit basis of the Picard group is described by certain combinatorial data. We shall also discuss the application to Calabi-Yau spaces.
Special fibrations of toric varieties have been used by physicists, e.g. the school of Candelas, to construct dual pairs in the study of Het/F-theory duality. Motivated by this, we investigate in this paper the details of toric morphisms between toric varieties. In particular, a complete toric description of fibers - both generic and non-generic -, image, and the flattening stratification of a toric morphism are given. Two examples are provided to illustrate the discussions. We then turn to the study of the restriction of a toric morphism to a toric hypersurface. The details of this can be und…
We derive the combinatorial representations of Picard group and deformation space of anti-canonical hypersurfaces of a toric variety using techniques in toric geometry. The mirror cohomology correspondence in the context of mirror symmetry is established for a pair of Calabi-Yau (CY) ${\sf n}$-spaces in toric varieties defined by reflexive polytopes for an arbitrary dimension ${\sf n}$. We further identify the Kahler cone of the toric variety and degeneration cone of CY hypersurfaces, by which the Kahler cone and degeneration cone for a mirror CY pair are interchangeable under mirror symmetry.…
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 identify the twisted sectors of a compact simplicial toric variety. We do the same for a generic nondegenerate Calabi-Yau hypersurface of an $n$-dimensional simplicial Fano toric variety and then explicitly compute $h^{1,1}_{orb}$ and $h^{n-2,1}_{orb}$ for the hypersurface. We give applications to the orbifold string theory conjecture and orbifold mirror symmetry.
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.
This paper investigates the density of hypersurfaces in a projective normal simplicial toric variety over a finite field having a quasismooth intersection with a given quasismooth subscheme. The result generalizes the formula found by B. Poonen for smooth projective varieties. As an application, we further analyze the density of hypersurfaces with bounds on their number of singularities and on the length of their singular schemes.
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.
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 semicontinuity of the Milnor number and the Łojasiewicz exponent, we give a simple proof of Yau's characterization of isolated homogenous hypersurface singularities.
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
In this paper the detailed classification of three-dimensional exceptional canonical hypersurface singularities which don't satisfy the condition of well-formedness is given. This result completes the classification of three-dimensional exceptional log canonical hypersurface singularities started in [4] (math.AG 0201025).
Using the path lattice cohomology we provide a conceptual topological characterization of the geometric genus for certain complex normal surface singularities with rational homology sphere links, which is uniformly valid for all superisolated and Newton non--degenerate hypersurface singularities.
We study in detail the family of Calabi-Yau hypersurfaces defined by x_1+...+x_n+1/(x_1...x_n)=t over a finite field k. We determine its local and global monodromy and the trivial factors of its moment zeta function and Dwork's unit root zeta function.
We consider regular Calabi-Yau hypersurfaces in $N$-dimensional smooth toric varieties. On such a hypersurface in the neighborhood of the large complex structure limit point we construct a fibration over a sphere $S^{N-1}$ whose generic fibers are tori $T^{N-1}$. Also for certain one-parameter families of such hypersurfaces we show that the monodromy transformation is induced by a translation of the $T^{N-1}$ fibration by a section. Finally we construct a dual fibration and provide some evidence that it describes the mirror family.
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
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 study elliptically fibered K3 surfaces, with sections, in toric Fano threefolds which satisfy certain combinatorial properties relevant to F-theory/Heterotic duality. We show that some of these conditions are equivalent to the existence of an appropriate notion of a Weierstrass model adapted to the toric context. Moreover, we show that if in addition other conditions are satisfied, there exists a toric semistable degeneration of the elliptic K3 surface which is compatible with the elliptic fibration and F-theory/Heterotic duality.
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
This paper is a continuation of our paper math.AG/0205321 where we have built a combinatorial model for the torus fibrations of Calabi-Yau toric hypersurfaces. This part addresses the connection between the model torus fibration and the complex and Kähler geometry of the hypersurfaces.
We prove a "strong" Durfee-type inequality for isolated hypersurface surface singularities, which implies Durfee's strong conjecture for such singularities with non-negative topological Euler number of the exceptional set of the minimal resolution.
