This paper is concerned with the primitive cohomology of a smooth projective hypersurface considered as a linear representation for its automorphism group. Using the Lefschetz-Riemann-Roch formula, the character of this representation is described on each piece of the Hodge decomposition. A consequence about the existence of smooth symmetric hypersurfaces that are stable under the standard irreducible permutation representation of the symmetric group on homogeneous coordinates is drawn.
Under the generic situation, the cohomology with the coefficients in the local system on complements of hypersurfaces vanishes except in the highest dimension. Our problem is of when the local system cohomology does not vanish. In the case of arrangements of hyperplanes, many examples were founded. In this paper, we shall generalize their examples to hypersurfaces. We obtain that hypersurfaces given by some linear system have non-vanishing local system cohomologies.
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
We prove that the rational cohomology of the space of non-singular complex homogeneous polynomials of degree d in a fixed number of variables stabilizes to the cohomology of the general linear group for d sufficiently large.
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 employ the perverse vanishing cycles to show that each reduced cohomology group of the Milnor fiber, except the top two, can be computed from the restriction of the vanishing cycle complex to only singular strata with a certain lower bound in dimension. Guided by geometric results, we alternately use the nearby and vanishing cycle functors to derive information about the Milnor fiber cohomology via iterated slicing by generic hyperplanes. These lead to the description of the reduced cohomology groups, except the top two, in terms of the vanishing cohomology of the nearby section. We use it …
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.
We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially determines that of the boundary. When the hypersurface defines a hyperplane arrangement, the cohomology of the boundary is completely determined by the combinatorics of the underlying arrangement and the ambient dimension. We also study the LS category and topological complexity of the boundary manifold, as well as the resonance varieties of its cohomology rin…
We show that, in general, there exist non-vanishing triple Massey products in the cohomology with finite field coefficients of a complex hypersurface complement. In contrast, the Massey products, triple and higher, in the rational cohomology of such a space are all known to vanish.
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…
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 hypersurface in $\mathbb{C}^n$ with an isolated singular point at the origin, and study the mixed Hodge structure of the stalk of its intersection cohomology complex at the origin. In particular we express the dimension of each graded piece of the weight filtration of this mixed Hodge structure in terms of the numbers of the Jordan blocks in the Milnor monodromy.
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.
We prove an effective bound for the degrees of generators of the algebraic de Rham cohomology of smooth affine hypersurfaces. In particular, we show that the de Rham cohomology H_dR^p(X) of a smooth hypersurface X of degree d in C^n can be generated by differential forms of degree d^O(pn). This result is relevant for the algorithmic computation of the cohomology, but is also motivated by questions in the theory of ordinary differential equations related to the infinitesimal Hilbert 16th problem.
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.
To any Feynman graph (with 2n edges) we can associate a hypersurface X\subset\PP^{2n-1}. We study the middle cohomology H^{2n-2}(X) of such hypersurfaces. S. Bloch, H. Esnault, and D. Kreimer (Commun. Math. Phys. 267, 2006) have computed this cohomology for the first series of examples, the wheel with spokes graphs WS_n, n\geq 3. Using the same technique, we introduce the generalized zigzag graphs and prove that W_5(H^{2n-2}(X))=\QQ(-2) for all of them (with W_{*} the weight filtration). Next, we study primitively log divergent graphs with small number of edges and the behavior of graph hypers…
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.
A Hodge structure V of weight k on which a CM field acts defines, under certain conditions, a Hodge structure of weight k-1, its half twist. In this paper we consider hypersurfaces in projective space with a cyclic automorphism which defines an action of a cyclotomic field on a Hodge substructure in the cohomology. We determine when the half twist exists and relate it to the geometry and moduli of the hypersurfaces. We use our results to prove the existence of a Kuga-Satake correspondance for certain cubic 4-folds.
In this paper, we show that the average size of the automorphism group over $\mathbb{F}_q$ of a smooth degree $d$ hypersurface in $\mathbb{P}^{n}_{\mathbb{F}_q}$ is equal to $1$ as $d\rightarrow \infty$. We also discuss some consequence of this result for the moduli space of smooth degree $d$ hypersurfaces in $\mathbb{P}^n$.
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…
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.
Chen and Ruan [6] defined a very interesting cohomology theory for orbifolds, which is now called Chen-Ruan cohomology. The primary objective of this paper is to compute the Chen-Ruan cohomology rings of the weighted projective spaces, a class of important spaces in physics. The classical tools (Chen-Ruan cohomology, toric varieties, the localization technique) which have been proved to be successful are used to study the orbifold cohomology of weighted projective spaces. Given a weighted projective space ${\bf P}^{n}_{q_{0}, >..., q_{n}}$, we determine all of its twisted sectors and the corre…
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 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 describe the integral equivariant cohomology ring of a weighted projective space in terms of piecewise polynomials, and thence by generators and relations. We deduce that the ring is a perfect invariant, and prove a Chern class formula for weighted projective bundles.
We describe the Chow rings of moduli spaces of ordered configurations of points on the projective line for arbitrary (sufficiently generic) stabilities. As an application, we exhibit such a moduli space admitting two small desingularizations with non-isomorphic cohomology rings.
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.
We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of hyperplane arrangements and free, locally quasi-homogeneous hypersurfaces, and assuming a key conjecture, this algorithm is much faster than for a hypersurface as above. Our conjecture is supported by the results due to L. Narv\' ez Macarro and M. Saito on the roots of Bernstein-Sato polynomials of such hypersurfaces, by all the examples computed so far, and by one p…
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 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 compute the number of rational quartics on a general Calabi-Yau hypersurface in weighted projective space P(2,1^4). The result agrees with the prediction made by mirror symmetry.
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.
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…
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.
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 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.
Mumford defined a natural isomorphism between the intermediate jacobian of a conic-bundle over $P^2$ and the Prym variety of a naturally defined étale double cover of the discrminant curve of the conic-bundle. Clemens and Griffiths used this isomorphism to give a proof of the irrationality of a smooth cubic threefold and Beauville later generalized the isomorphism to intermediate jacobians of odd-dimensional quadric-bundles over $P^2$. We further generalize the isomorphism to the primitive cohomology of a smooth cubic hypersurface in $P^n$.
In this article, we prove that there does not exist a family of entire curves in the universal family of hypersurfaces of degree $d\geq 2n$ in the complex projective space ${\mathbb P}^n$. This can be seen as a weak version of the Kobayashi conjecture asserting that a general projective hypersurface of high degree is hyperbolic in the sense of Kobayashi.
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 consider surjective endomorphisms f of degree > 1 on projective manifolds X of Picard number one and their f^{-1}-stable hypersurfaces V, and show that V is rationally chain connected. Also given is an optimal upper bound for the number of f^{-1}-stable prime divisors on (not necessarily smooth) projective varieties.
The main goal of this work is to prove that every entire curve in a generic hypersurface of degree greater than or equal to 593 in the complex projective space of dimension 4 is algebraically degenerated i.e contained in a proper subvariety.
