In this paper, we directly derive generalized mirror transformation of projective hypersurfaces up to degree 3 genus 0 Gromov-Witten invariants by comparing Kontsevich localization formula with residue integral representation of the virtual structure constants. We can easily generalize our method for rational curves of arbitrary degree except for combinatorial complexities.
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.…
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.
We describe a strategy for computing Yukawa couplings and the mirror map, based on the Picard-Fuchs equation. (Our strategy is a variant of the method used by Candelas, de la Ossa, Green, and Parkes in the case of quintic hypersurfaces.) We then explain a technique of Griffiths which can be used to compute the Picard-Fuchs equations of hypersurfaces. Finally, we carry out the computation for four specific examples (including quintic hypersurfaces, previously done by Candelas et al.). This yields predictions for the number of rational curves of various degrees on certain hypersurfaces in weight…
In this paper, we study the structure of the quantum cohomology ring of a projective hypersurface with non-positive 1st Chern class. We prove a theorem which suggests that the mirror transformation of the quantum cohomology of a projective Calabi-Yau hypersurface has a close relation with the ring of symmetric functions, or with Schur polynomials. With this result in mind, we propose a generalized mirror transformation on the quantum cohomology of a hypersurface with negative first Chern class and construct an explicit prediction formula for three point Gromov-Witten invariants up to cubic rat…
This work is concerned with branes and differential equations for one-parameter Calabi-Yau hypersurfaces in weighted projective spaces. For a certain class of B-branes we derive the inhomogeneous Picard--Fuchs equations satisfied by the brane superpotential. In this way we arrive at a prediction for the real BPS invariants for holomorphic maps of worldsheets with low Euler characteristics, ending on the mirror A-branes.
We use toric geometry to study open string mirror symmetry on compact Calabi-Yau manifolds. For a mirror pair of toric branes on a mirror pair of toric hypersurfaces we derive a canonical hypergeometric system of differential equations, whose solutions determine the open/closed string mirror maps and the partition functions for spheres and discs. We define a linear sigma model for the brane geometry and describe a correspondence between dual toric polyhedra and toric brane geometries. The method is applied to study examples with obstructed and classically unobstructed brane moduli at various p…
In this paper, we generalize Walcher's computation of the open Gromov-Witten invariants of the quintic hypersurface to Fano and Calabi-Yau projective hypersurfaces. Our main tool is the open virtual structure constants. We also propose the generalized mirror transformation for the open Gromov-Witten invariants, some parts of which are proven explicitly. We also discuss possible modification of the multiple covering formula for the case of higher dimensional Calabi-Yau manifolds. The generalized disk invariants for some Calabi-Yau and Fano manifolds are shown and they are certainly integers aft…
In this paper, we propose another characterization of the generalized mirror transformation on the quantum cohomology rings of general type projective hypersurfaces. This characterics is useful for explicit determination of the form of the generalized mirror transformation. As applications, we rederive the generalized mirror transformation up to $d=3$ rational Gromov-Witten invariants obtained in our previous article, and determine explicitly the the generalized mirror transformation for the $d=4, 5$ rational Gromov-Witten invariants in the case when the first Chern class of the hypersurface e…
Mirror Symmetry, Picard-Fuchs equations and instanton corrected Yukawa couplings are discussed within the framework of toric geometry. It allows to establish mirror symmetry of Calabi-Yau spaces for which the mirror manifold had been unavailable in previous constructions. Mirror maps and Yukawa couplings are explicitly given for several examples with two and three moduli.
Mirrors $X^{\vee}$ of quasi-smooth Calabi-Yau hypersurfaces $X$ in weighted projective spaces ${\Bbb P}(w_0, \ldots, w_d)$ can be obtained as Calabi-Yau compactifications of non-degenerate affine toric hypersurfaces defined by Laurent polynomials whose Newton polytope is the lattice simplex spanned by $d+1$ lattice vectors $v_i$ satisfying the relation $\sum_i w_i v_i =0$. In this paper, we compute the stringy $E$-function of mirrors $X^\vee$ and compare it with the Vafa's orbifold $E$-function of quasi-smooth Calabi-Yau hypersurfaces $X$. As a result, we prove the equalities of Hodge numbers …
In this paper, we discuss classical derivation of the residue integral representation of the d=1 rational Gromov-Witten invariants of projective hypersurfaces that followed from localization technique.
We propose a construction of string cohomology spaces for Calabi-Yau hypersurfaces that arise in Batyrev's mirror symmetry construction. The spaces are defined explicitly in terms of the corresponding reflexive polyhedra in a mirror-symmetric manner. We draw connections with other approaches to the string cohomology, in particular with the work of Chen and Ruan.
By means of toric geometry we study hypersurfaces in weighted projective space of dimension four. In particular we compute for a given manifold its intrinsic topological coupling. We find that the result agrees with the calculation of the corresponding coupling on the mirror model in the large complex structure limit.
Compactifications with fluxes and branes motivate us to study various enumerative invariants of Calabi-Yau manifolds. In this paper, we study non-perturbative corrections depending on both open and closed string moduli for a class of compact Calabi-Yau manifolds in general dimensions. Our analysis is based on the methods using relative cohomology and generalized hypergeometric system. For the simplest example of compact Calabi-Yau fivefold, we explicitly derive the associated Picard-Fuchs differential equations and compute the quantum corrections in terms of the open and closed flat coordinate…
For a hypersurface in a projective space, we consider the set of pairs of a point and a line in the projective space such that the line intersects the hypersurface at the point with a fixed multiplicity. We prove that this set of pairs forms a smooth variety for a general hypersurface.
We consider a class of Calabi-Yau compactifications which are constructed as a complete intersection in weighted projective space. For manifolds with one Kähler modulus we construct the mirror manifolds and calculate the instanton sum.
Recently two groups have listed all sets of weights (k_1,...,k_5) such that the weighted projective space P_4^{(k_1,...,k_5)} admits a transverse Calabi-Yau hypersurface. It was noticed that the corresponding Calabi-Yau manifolds do not form a mirror symmetric set since some 850 of the 7555 manifolds have Hodge numbers (b_{11},b_{21}) whose mirrors do not occur in the list. By means of Batyrev's construction we have checked that each of the 7555 manifolds does indeed have a mirror. The `missing mirrors' are constructed as hypersurfaces in toric varieties. We show that many of these manifolds m…
We solved the long-standing problem of describing the cohomology ring of semiample hypersurfaces in complete simplicial toric varieties. Also, the monomial-divisor mirror map is generalized to a map between the whole Picard group and the space of infinitesimal deformations for a mirror pair of Calabi-Yau hypersurfaces. This map is compatible with certain vanishing limiting products of the subrings of the chiral rings, on which the ring structure is related to a product of the roots of $A$-type Lie algebra.
We study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves with balanced normal bundle, and reprove some results on irreducibility of spaces of rational curves of low degree.
In this paper we present some properties for projective hypersurfaces, smooth and singular, to be criteria for identification. To make the decision with these criteria, we have included procedures written in Singular language.
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).
The numbers of $\mathbb{F}_q$-points of nonsingular hypersurfaces of a fixed degree in an odd-dimensional projective space are investigated, and an upper bound for them is given. Also we give the complete list of nonsingular hypersurfaces each of which realizes the upper bound. This is a natural generalization of our previous study of surfaces in projective $3$-space.
This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid.
We study Gauss-Manin systems of non tame Laurent polynomial functions. We focuse on Hori-Vafa models, which are the expected mirror partners of the small quantum cohomology of smooth hypersurfaces in weighted projective spaces.
We determine the complete list of anticanonically embedded quasi smooth log Fano 3-folds in weighted projective 4-spaces. This implies that the Reid-Fletcher list of 95 types of anticanonically embedded quasi smooth terminal Fano threefolds in weighted projective 4-spaces is complete. We also prove that there are only finitely many families of quasi smooth Calabi-Yau hypersurfaces in weighted projective spaces of any given dimension.
We use the cut and paste relation $[Y^{[2]}] = [Y][\mathbb{P}^m] + \mathbb{L}^2 [F(Y)]$ in $K_0(\text{Var}_k)$ of Galkin--Shinder for cubic hypersurfaces arising from projective geometry to characterize cubic hypersurfaces of sufficiently high dimension under certain numerical or genericity conditions. Removing the conditions involving the middle Betti number from the numerical conditions used extends the possible $Y$ to cubic hypersurfaces, complete intersections of two quadric hypersurfaces, or complete intersections of two quartic hypersurfaces. The same method also gives a family of other …
We investigate the stronger form of the Bogomolov-Gieseker inequality on smooth hypersurfaces in the projective space of any degree and dimension. The main technical tool is the theory of tilt-stability conditions in the derived category.
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 …
We classify four-dimensional quasismooth weighted hypersurfaces with small canonical class, and verify a conjecture of Johnson and Kollar on infinite series of quasismooth hypersurfaces with anticanonical hyperplane section in the case of fourfolds. By considering the quotient singularities that arise, we classify those weighted hypersurfaces that are canonical, Calabi-Yau, and Fano fourfolds. We also consider other classes of hypersurfaces, including Fano hypersurfaces of index greater than 1 in dimensions 3 and 4.
We study the representation of a finite group acting on the cohomology of a non-degenerate, invariant hypersurface of a projective toric variety. We deduce an explicit description of the representation when the toric variety has at worst quotient singularities. As an application, we conjecture a representation-theoretic version of Batyrev and Borisov's mirror symmetry between pairs of Calabi-Yau hypersurfaces, and prove it when the hypersurfaces are both smooth or have dimension at most 3. An interesting consequence is the existence of pairs of Calabi-Yau orbifolds whose Hodge diamonds are mir…
We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is not involved) generalization of the "Speciality theorem" of Gruson-Peskine, which we prove to hold for any smooth, subcanonical, codimension two, projective verieties of dimension at least three.
We study the birational properties of hypersurfaces in products of projective spaces. In the case of hypersurfaces in P^m x P^n, we describe their nef, movable and effective cones and determine when they are Mori dream spaces. Using these results, we give new simple examples of non-Mori dream spaces and analogues of Mumford's example of a strictly nef line bundle which is not ample.
We show that the Hirzebruch-Milnor class of a projective hypersurface, which gives the difference between the Hirzebruch class and the virtual one, can be calculated by using the Steenbrink spectra of local defining functions of the hypersurface if certain good conditions are satisfied, e.g. in the case of projective hyperplane arrangements, where we can give a more explicit formula. This is a natural continuation of our previous paper on the Hirzebruch-Milnor classes of complete intersections.
A general method of computing cohomology groups of the space of nonsingular algebraic hypersurfaces of degree $d$ in $CP^n$ is described. Using this method, rational cohomology groups of such spaces with $n=2, d \le 4$ and $n=3=d$ are calculated.
Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the Landau-Ginzburg model $((\mathbb{C}^*)^n,f)$. We illustrate our speculations on simple examples, and sketch a proof of homological mirror symmetry for higher-dimensional pairs of pants.
We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with deformations. We show that a projective hypersurface is smooth if and only if the classical HKR decomposition holds for this group. In general, the first Hodge component describing scheme deformations has an interesting inner structure corresponding to the various ways in which first order deformations can be realized: deforming local multiplications, deforming restrict…
In this paper, we will show that the Hesselink stratification of a Hilbert scheme of hypersurfaces is independent of the choice of Plücker coordinate and there is a positive relation between the length of Hesselink's worst virtual 1-parameter subgroup and multiplicity of a projective hypersurface.
We introduce in this paper the concept of tropical mirror hypersurfaces and we prove a complex tropical localization Theorem which is a version of Kapranov's Theorem \cite{K-00} in tropical geometry. We give a geometric and a topological equivalence between coamoebas of complex algebraic hypersurfaces defined by a maximally sparse polynomial and coamoebas of maximally sparse complex tropical hypersurfaces.
We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.
In this paper we give a construction of Lagrangian torus fibration for Calabi-Yau hypersurface in toric variety via the method of gradient flow. Using our construction of Lagrangian torus fibration, we are able to prove the symplectic topological version of SYZ mirror conjecture for generic Calabi-Yau hypersurface in toric variety. We will also be able to give precise formulation of SYZ mirror conjecture in general (including singular locus and duality of singular fibres).
We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface $X_{d}\subset {\mathbf P}^n$, for $n\geq 6$ and $d\geq 2n-2$, is of general type.
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma-Tibăr in the case of hypersurfaces with a $1$-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof…
