We give a new formula for the Chern-Schwartz-MacPherson class of a hypersurface in a nonsigular compact complex analytic variety. In particular this formula generalizes our previous result on the Euler characteristic of such a hypersurface. Two different approaches are presented. The first is based on the theory of characteristic cycle and the works of Sabbah, Briancon-Maisonobe-Merle, and Le-Mebkhout. In particular, this approach leads to a simple proof of a formula of Aluffi for the above mentioned class. The second approach uses Verdier's specialization property of the Chern-Schwartz-MacPherson classes. Some related new formulas are also given.
We study the effective cones of cycles on universal hypersurfaces on a projective variety $X$, particularly focusing on the case of universal hypersurfaces in $\mathbb{P}^n$. We determine the effective cones of cycles on the universal conic over $\mathbb{P}^2$. We also determine every effective cone of cycles of dimension at most 6 or equal to 10 on any universal plane curve.
On étudie les cycles algébriques de codimension 3 sur les hypersurfaces cubiques lisses de dimension 5. Pour une telle hypersurface, on démontre d'une part que son groupe de Griffiths des cycles de codimension 3 est trivial et d'autre part que l'application d'Abel-Jacobi induit un isomorphisme entre son groupe de Chow des cycles de codimension 3 algébriquement equivalents à zéro et sa jacobienne intermédiaire. ---------- We study 2-cycles of a smooth cubic hypersurface of dimension 5. We show that the Griffiths group of 2-cycles is trivial and the Abel-Jacobi map induces an isomorphism between…
We prove the existence of a canonical zero-cycle on a Calabi-Yau hypersurface X in a complex projective homogeneous variety. More precisely, we show that the intersection of any n divisors on X, n=dim X, is proportional to the class of a point on a rational curve in X.
In this series of lectures, I will discuss results for complex hypersurfaces with non-isolated singularities. In Lecture 1, I will review basic definitions and results on complex hypersurfaces, and then present classical material on the Milnor fiber and fibration. In Lecture 2, I will present basic results from Morse theory, and use them to prove some results about complex hypersurfaces, including a proof of Lê's attaching result for Milnor fibers of non-isolated hypersurface singularities. This will include defining the relative polar curve. Lecture 3 will begin with a discussion of intersect…
We show that given a smooth projective variety X over C with dim(X) > 2, an ample line bundle O(1) on X and an integer n > 1, any n distinct points on a generic hypersurface of degree d in X are linearly independent in CH_0(X) if d >> 0. This generalizes a result of C. Voisin.
Let F(X_d) be a smooth Fano variety of lines of a hypersurface X_d of degree d. In this paper, we prove the Griffiths group Griff_1(F(X_d)) is trivial if the hypersurface X_d is of 2-Fano type. As a result, we give a positive answer to a question of Professor Voisin about the first Griffiths groups of Fano varieties in some cases. Base on this result, we prove that CH_2(X_d)=\mathbb{Z} for a complex smooth $3$-Fano hypersurface X_d whose Fano variety of lines is smooth.
We introduce a class extending the notion of Chern-Mather class to possibly nonreduced schemes, and use it to express the difference between Schwartz-MacPherson's Chern class and the class of the virtual tangent bundle of a singular hypersurface of a nonsingular variety. Applications include constraints on the possible singularities of a hypersurface and on contacts of nonsingular hypersurfaces, and multiplicity computations.
Let $X\subset\mathbb P^4$ be a very general hypersurface of degree $d\ge6$. Griffiths and Harris conjectured in 1985 that the degree of every curve $C\subset X$ is divisible by $d$. Despite substantial progress by Kollár in 1991, this conjecture is not known for a single value of $d$. Building on Kollár's method, we prove this conjecture for infinitely many $d$, the smallest one being $d=5005$. The set of these degrees $d$ has positive density. We also prove a higher-dimensional analogue of this result and construct smooth hypersurfaces defined over $\mathbb Q$ that satisfy the conjecture.
For any algebraic scheme $X$ and every $(n,\mathscr{L})\in \mathbb{Z}\times \text{Pic}(X)$ we define an associated involution of its Chow group $A_*X$, and show that certain characteristic classes of (possibly singular) hypersurfaces in a smooth variety are interchanged via these involutions. For $X=\mathbb{P}^N$ we show that such involutions are induced by involutive correspondences.
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.
We show that the Chern-Schwartz-MacPherson class of a hypersurface X in a nonsingular variety M `interpolates' between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern-Schwartz-MacPherson class of such `nice' hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern-Schwartz-MacPherson class of X in terms of its polar classes.
We introduce spectral Hirzebruch-Milnor classes for singular hypersurfaces. These can be identified with Steenbrink spectra in the isolated singularity case, and may be viewed as their global analogues in general. Their definition uses vanishing cycles of mixed Hodge modules and the Todd class transformation. These are compatible with the pushforward by proper morphisms, and the classes can be calculated by using resolutions of singularities. Formulas for Hirzebruch-Milnor classes of projective hypersurfaces in terms of these classes are given in the case where the multiplicity of a generic hy…
The Chern class of the sheaf of logarithmic derivations along a simple normal crossing divisor equals the Chern-Schwartz-MacPherson class of the complement of the divisor. We extend this equality to more general divisors, which are locally analytically isomorphic to free hyperplane arrangements.
In this paper we give two explicit relations among 1-cycles modulo rational equivalence on a smooth cubic hypersurfaces $X$. Such a relation is given in terms of a (pair of) curve(s) and its secant lines. As the first application, we reprove Paranjape's theorem that $\mathrm{CH}_1(X)$ is always generated by lines and that it is isomorphic to $\Z$ if the dimension of $X$ is at least 5. Another application is to the intermediate jacobian of a cubic threefold $X$. To be more precise, we show that the intermediate jacobian of $X$ is naturally isomorphic to the Prym-Tjurin variety constructed from …
For every even number $n$, and every $n$-dimensional smooth hypersurface of $\mathbb{P}^{n+1}$ of degree $d$, we compute the periods of all its $\frac{n}{2}$-dimensional complete intersection algebraic cycles. Furthermore, we determine the image of the given algebraic cycle under the cycle class map inside the De Rham cohomology group of the corresponding hypersurface in terms of its Griffiths basis and the polarization. As an application, we use this information to address variational Hodge conjecture for a non complete intersection algebraic cycle. We prove that the locus of general hypersur…
We prove an extended Lefschetz principle for a large class of pencils of hypersurfaces having isolated singularities, possibly in the axis, and show that the module of vanishing cycles is generated by the images of certain variation maps.
Over any complex cubic hypersurface of dimension at least 2, the Chow group of 1-dimensional cycles is spanned by the lines lying on the hypersurface. The smooth case has already been given several other proofs. -- On montre que sur toute hypersurface cubique complexe de dimension au moins 2, le groupe de Chow des cycles de dimension 1 est engendré par les droites. Le cas lisse est un théorème connu. La démonstration ici donnée repose sur un résultat sur les surfaces géométriquement rationnelles sur un corps quelconque (1983), obtenu via la K-théorie algébrique.
Let $X$ be a cubic hypersurface in $\mathbb P^6$ or a hypersurface of degree greater than equal to $7$ in $\mathbb P^5$. In this note we try to understand, for a very general hyperplane section of $X$, the non-injectivity locus of the corresponding push-forward homomorphism at the level of Chow group of certain dimension.
Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X, that X(k) is nonempty if and only if [X] is equivalent to 1 modulo the class of the affine line in K_0(Var_k). More precisely we consider the following cases: a union of hyperplanes, a quadric, a cubic hypersurface with a singular k-rational point, and a quartic which is a union of two quadrics one of which being smooth.
In this note we study the moduli space of rank two semistable sheaves on a smooth cubic hypersurface $X\subset\mathbb{P}^{4}$ with $c_{1}=0$, $c_{2}=2$ and $c_{3}=0$. We show that it is isomorphic to the blow-up of the intermediate jacobian $J(X)$ of $X$ along the Fano surface of $X$. We complete previous results of Iliev-Markushevich AG/9910058 and Markushevich-Tikhomirov AG/9910063.
In this article we find connections between the values of Gauss hypergeometric functions and the dimension of the vector space of Hodge cycles of four dimensional cubic hypersurfaces. Since the Hodge conjecture is well-known for those varieties we calculate values of Hypergeometric series on certain $CM$ points. Our methods is based on the calculation of the Picard-Fuchs equations in higher dimensions, reducing them to the Gauss equation and then applying the Abelian Subvariety Theorem to the corresponding hypergeometric abelian varieties.
We prove an identity of Segre classes for zero-schemes of compatible sections of two vector bundles. Applications include bounds on the number of equations needed to cut out a scheme with the same Segre class as a given subscheme of (for example) a projective variety, and a `Segre-Bertini' theorem controlling the behavior of Segre classes of singularity subschemes of hypersurfaces under general hyperplane sections. These results interpolate between an observation of Samuel concerning multiplicities along components of a subscheme and facts concerning the integral closure of corresponding ideal…
We prove that on a nonsingular quadric hypersurface Q in $P^4_k$ even CI liaison classes of ACM curves are in bijective correspondence with the stable equivalence classes (up to shift in degree) of maximal Cohen-Macaulay graded modules over the coordinate ring R of Q, which in turn, are in bijective correspondence with stable equivalence classes (up to shift in degree) of ACM sheaves on Q . In the situation of a nonsingular quadric hypersurface Q in $P^4_k$ work of Knorrer shows that there is a unique nonfree indecomposable MCM module over R. We also describe the ACM sheaf corresponding to thi…
We discuss and prove a number of results for calculating characteristic cycles, or graded, enriched characteristic cycles. We concentrate particularly on results related to hypersurfaces.
Let $k$ be an uncountable algebraically closed field of characteristic $0$, and let $X$ be a smooth projective connected variety of dimension $2p$, appropriately embedded into $\mathbb P^m$ over $k$. Let $Y$ be a hyperplane section of $X$, and let $A^p(Y)$ and $A^{p+1}(X)$ be the groups of algebraically trivial algebraic cycles of codimension $p$ and $p+1$ modulo rational equivalence on $Y$ and $X$ respectively. Assume that, whenever $Y$ is smooth, the group $A^p(Y)$ is regularly parametrized by an abelian variety $A$ and coincides with the subgroup of degree $0$ classes in the Chow group $CH^…
We prove a simple formula for MacPherson's Chern class of hypersurfaces in nonsingular varieties. The result highlights the relation between MacPherson's class and other definitions of homology Chern classes of singular varieties, such as Mather's Chern class and a class introduced by W. Fulton.
This paper presents two approaches to reducing problems on $2$-cycles on a smooth cubic hypersurface $X$ over an algebraically closed field of characteristic $\neq 2$, to problems on $1$-cycles on its variety of lines $F(X)$. The first one relies on bitangent lines of $X$ and Tsen-Lang theorem. It allows to prove that $\mathrm{CH}_2(X)$ is generated, via the action of the universal $\mathbb P^1$-bundle over $F(X)$, by $\mathrm{CH}_1(F(X))$. When the characteristic of the base field is $0$, we use that result to prove that if $dim(X)\geq 7$, then $\mathrm{CH}_2(X)$ is generated by classes of pl…
We prove that a general determinantal hypersurface of dimension 3 is nodal. Moreover, in terms of Chern classes associated with bundle morphisms, we derive a formula for the intersection homology Euler characteristic of a general determinantal hypersurface.
We study real nonsingular projective cubic fourfolds up to deformation equivalence combined with projective equivalence and prove that they are classified by the conjugacy classes of involutions induced by the complex conjugation in the middle homology. Moreover, we provide a graph whose vertices represent the equivalence classes of such cubics and edges represent their adjacency. It turns out that this graph essentially coincides with the graph characterizing a certain adjacency of real non-polarized K3-surfaces.
Functionality for isomorphism classes of curves and hypersurfaces
Max-Planck Institute of Molecular Cell Biology and Genetics（马克斯·普朗克细胞生物学与遗传学研究所）；Univ Rennes, CNRS, IRMAR - UMR 6625（雷恩大学、法国国家科学研究中心、IRMAR - UMR 6625）；Universität Ulm（乌尔姆大学）；Université Côte d’Azur（蔚蓝海岸大学）
本文提出基于不变量理论的算法，解决 genus 2、3 和 4 曲线的几何问题，并包含新的理论结果。
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.
We prove that the polar degree of an arbitrarily singular projective hypersurface can be decomposed as a sum of non-negative numbers which represent local vanishing cycles of two different types. This yields lower bounds for the polar degree of any singular projective hypersurface.
The Milnor-Hirzebruch class of a locally complete intersection X in an algebraic manifold M measures the difference between the (Poincare dual of the) Hirzebruch class of the virtual tangent bundle of X and, respectively, the Brasselet-Schuermann-Yokura (homology) Hirzebruch class of X. In this note, we calculate the Milnor-Hirzebruch class of a globally defined algebraic hypersurface X in terms of the corresponding Hirzebruch invariants of singular strata in a Whitney stratification of X. Our approach is based on Schuermann's specialization property for the motivic Hirzebruch class transforma…
In this paper we give an introduction to our recent work on characteristic classes of complex hypersurfaces based on some talks given at conferences in Strasbourg, Oberwolfach and Kagoshima. We explain the relation between nearby cycles for constructible functions or sheaves as well as for (relative) Grothendieck groups of algebraic varieties and mixed Hodge modules, and the specialization of characteristic classes of singular spaces like the Chern-, Todd-, Hirzebruch- and motivic Chern-classes. As an application we get a description of the differences between the corresponding virtual and fun…
Using monads, we construct a large class of stable bundles of rank 2 and 3 on 3-fold hypersurfaces, and study the set of all possible Chern classes of stable vector bundles.
Trinomial hypersurfaces form a natural class of affine algebraic varieties closely connected with varieties admitting a torus action of complexity one. We investigate orbits of the automorphism group on these hypersurfaces. We prove that each nonrigid trinomial variety has finite number of orbits. We investigate singular orbits and this gives us description of all orbits for some classes of flexible trinomial hypersurfaces. Also we obtain a description of orbits for a class of hypersurfaces having a unique variable with power one in the equation.
For every positive integer $n\in \mathbb{Z}_+$ we define an `Euler polynomial' $\mathscr{E}_n(t)\in \mathbb{Z}[t]$, and observe that for a fixed $n$ all Chern numbers (as well as other numerical invariants) of all smooth hypersurfaces in $\mathbb{P}^n$ may be recovered from the single polynomial $\mathscr{E}_n(t)$. More generally, we show that all Chern classes of hypersurfaces in a smooth variety may be recovered from its top Chern class.
For a cycle of codimension 1 in a toric variety, its degree with respect to a nef toric divisor can be understood in terms of the mixed volume of the polytopes associated to the divisor and to the cycle. We prove here that an analogous combinatorial formula holds in the arithmetic setting: the global height of a 1-codimensional cycle with respect to a toric divisor equipped with a semipositive toric metric can be expressed in terms of mixed integrals of the $v$-adic roof functions associated to the metric and the Legendre-Fenchel dual of the $v$-adic Ronkin function of the Laurent polynomial o…
We study the behavior of the Chern classes of graph hypersurfaces under the operation of deletion-contraction of an edge of the corresponding graph. We obtain an explicit formula when the edge satisfies two technical conditions, and prove that both these conditions hold when the edge is multiple in the graph. This leads to recursions for the Chern classes of graph hypersurfaces for graphs obtained by adding parallel edges to a given (regular) edge. Analogous results for the case of Grothendieck classes of graph hypersurfaces were obtained in previous work. Both Grothendieck classes and Chern c…
We construct classes in the motivic cohomology of certain 1-parameter families of Calabi-Yau hypersurfaces in toric Fano n-folds, with applications to local mirror symmetry (growth of genus 0 instanton numbers) and inhomogeneous Picard-Fuchs equations. In the case where the family is classically modular the classes are related to Belinson's Eisenstein symbol; the Abel-Jacobi map (or rational regulator) is computed in this paper for both kinds of cycles. For the "modular toric" families where the cycles essentially coincide, we obtain a motivic (and computationally effective) explanation of a p…
A numerical equivalence class of k-cycles is said to be big if it lies in the interior of the closed cone generated by effective classes. We construct analogues for arbitrary cycle classes of the volume function for divisors which distinguishes big classes from boundary classes.
These expository notes are based on a series of lectures given at the May 2018 Snowbird workshop, Crossing the Walls in Enumerative Geometry. We give an introductory treatment of the notion of a virtual fundamental class in algebraic geometry, and describe a new construction of the virtual fundamental class for Gromov-Witten theory of a hypersurface. The results presented here are based on joint work with I. Ciocan-Fontanine, D. Favero, J. Guéré, and B. Kim.
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 construct a Zariski decomposition for cycle classes of arbitrary codimension. This decomposition is an analogue of well-known constructions for divisors. Examples illustrate how Zariski decompositions of cycle classes reflect the geometry of the underlying space. We also analyze the birational behavior of Zariski decompositions, leading to a Fujita approximation-type result for curve classes.
In this work we study algebraic, geometric and topological properties of the Milnor classes of local complete intersections with arbitrary singularities. We describe first the Milnor class of the intersection of a finite number of hypersurfaces, under certain conditions of transversality, in terms of the Milnor classes of the hypersurfaces. Using this description we obtain a Parusiński-Pragacz type formula, an Aluffi type formula and a description of the Milnor class of the local complete intersection in terms of the global Lê cycles of the hypersurfaces that define it. We consider next the ge…
We study a formal deformation problem for rational algebraic cycle classes motivated by Grothendieck's variational Hodge conjecture. We argue that there is a close connection between the existence of a Chow-Künneth decomposition and the existence of expected deformations of cycles. This observation applies in particular to abelian schemes.
We present the construction of canonical lifts of $\ell$-adic cycle classes of sections of $p$-adic projective anabelian curves to the cohomology of arbitrary proper, regular, flat models. This answers a question of Esnault and Wittenberg.
We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth deformation space $\sf S$ of $X_0$ such that the triple $(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2})$ becomes rigid. For $m=\frac{n}{2}-2$ and for many examples of $N\in{\mathbb N}$ an…
