Let $X$ be a non-singular projective threefold over an algebraically closed field of any characteristic, and let $A^2(X)$ be the group of algebraically trivial codimension 2 algebraic cycles on $X$ modulo rational equivalence with coefficients in $\mathbb Q$. Assume $X$ is birationally equivalent to another threefold $X'$ admitting a fibration over an integral curve $C$ whose generic fiber $X'_{\bar η}$, where $\bar η=Spec(\bar {k(C)})$, satisfies the following three conditions: (i) the motive $M(X'_{\bar η})$ is finite-dimensional, (ii) $H^1_{et}(X_{\bar η},\mathbb Q_l)=0$ and (iii) $H^2_{et}(X_{\bar η},\mathbb Q_l(1))$ is spanned by divisors on $X_{\bar η}$. We prove that, provided these three assumptions, the group $A^2(X)$ is representable in the weak sense: there exists a curve $Y$ and a correspondence $z$ on $Y\times X$, such that $z$ induces an epimorphism $A^1(Y)\to A^2(X)$, where $A^1(Y)$ is isomorphic to $Pic^0(Y)$ tensored with $\mathbb Q$. In particular, the result holds for threefolds birational to three-dimensional Del Pezzo fibrations over a curve.
In this manuscript we sharpen the lower bound on the codimension of the irreducible components of the Noether-Lefschetz locus of surfaces in projective toric threefolds given in [BG17]. We also provide a simpler proof of Theorem 4.11 in [BG17], which allows one to avoid some technical assumptions.
In this paper we study Fano threefolds with a torsion divisor (Fano--Enriques). Due to this torsion divisor, they can be described as quotients of Fano threefolds by a finite abelian group action. We start from lists of Fano threefolds by Reid, Fletcher and Altınok and check which of them admit such an action with a Fano--Enriques quotient.
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every regular foliation on a rationally connected manifold is algebraically integrable with rationally connected leaves. Druel proved this conjecture for the case of weak Fano manifolds. In this paper, we extend this result showing that Touzet's conjecture is true for codimension one foliations on threefolds with nef anti-canonical bundle.
Let $V$ be a smooth, projective, rationally connected variety, defined over a number field $k$, and let $Z\subset V$ be a closed subset of codimension at least two. In this paper, for certain choices of $V$, we prove that the set of $Z$-integral points is potentially Zariski dense, in the sense that there is a finite extension $K$ of $k$ such that the set of points $P\in V(K)$ that are $Z$-integral is Zariski dense in $V$. This gives a positive answer to a question of Hassett and Tschinkel from 2001.
We construct families of non-toric $\mathbb{Q}$-factorial terminal Fano ($\mathbb{Q}$-Fano) threefolds of codimension $\geq 20$ corresponding to 54 mutation classes of rigid maximally mutable Laurent polynomials. From the point of view of mirror symmetry, they are the highest codimension (non-toric) $\mathbb{Q}$-Fano varieties for which we can currently establish the Fano/Landau-Ginzburg correspondence. We construct 46 additional $\mathbb{Q}$-Fano threefolds with codimensions of new examples ranging between 19 and 10. Some of these varieties will be presented as toric complete intersections, a…
We prove that the general quartic double solid with $k\leq 7$ nodes does not admit a Chow theoretic decomposition of the diagonal, or equivalently has a nontrivial universal ${\rm CH}_0$ group. The same holds if we replace in this statement "Chow theoretic" by "cohomological". In particular, it is not stably rational. We also prove that the general quartic double solid with seven nodes does not admit a universal codimension 2 cycle parameterized by its intermediate Jacobian, and even does not admit a parametrization with rationally connected fibres of its Jacobian by a family of 1-cycles. This…
We aim to classify codimension 1 foliations $\mathscr{F}$ with canonical singularities and $ν(K_{\mathscr{F}}) < 3$ on threefolds of general type. We prove a classification result for foliations satisfying these conditions and having non-trivial algebraic part. We also describe purely transcendental foliations $\mathscr{F}$ with the canonical class $K_{\mathscr{F}}$ being not big on manifolds of general type in any dimension, assuming that $\mathscr{F}$ is non-singular in codimension $2$.
We show that codimension one distributions with at most isolated singularities on certain smooth projective threefolds with Picard rank one have stable tangent sheaves. The ideas in the proof of this fact are then applied to the characterization of certain irreducible components of the moduli space of stable rank 2 reflexive sheaves on $\mathbb{P}^3$, and to the construction of stable rank 2 reflexive sheaves with prescribed Chern classes on general threefolds. We also prove that if $\mathscr{G}$ is a subfoliation of a codimension one distribution $\mathscr{F}$ with isolated singularities, the…
In our previous research, we constructed the affine varieties $Σ_{\mathbb{A}}^{13}$ and $Π_{\mathbb{A}}^{14}$ whose partial projectivizations admit $\mathbb{P}^{2}\times\mathbb{P}^{2}$-fibrations with relative Picard number one. In this paper, we produce prime quasi-smooth $\mathbb{Q}$-Fano 3-folds which are anticanonically embedded of codimension four and belong to 23 (resp.8) classes in the Graded Ring Database [GRDB], as weighted complete intersections in weighted projectivizations of $Σ_{\mathbb{A}}^{13}$ (resp.$Π_{\mathbb{A}}^{14}$ or its cone). We also show that a general member of the a…
We study the geometry of $3$-codimensional smooth subvarieties of the complex projective space. In particular, we classify all quasi-Buchsbaum Calabi--Yau threefolds in projective $6$-space. Moreover, we prove that this classification includes all Calabi--Yau threefolds contained in a possibly singular 5-dimensional quadric as well as all Calabi--Yau threefolds of degree at most $14$ in $\mathbb{P}^6$.
We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a hyperquartic, then X is a complete intersection.
We study some conjectures about Chow groups of varieties of geometric genus one. Some examples are given of Calabi-Yau threefolds where these conjectures can be verified, using the theory of finite-dimensional motives.
Let $X$ be a smooth cubic threefold and $J(X)$ be its intermediate Jacobian. We show that there exists a codimension 2 cycle $Z$ on $J(X)\times X$ with $Z_{t}$ homologically trivial for each $t\in J(X)$, such that the morphism $ϕ_{Z}: J(X)\rightarrow J(X)$ induced by the Abel-Jacobi map is the identity. This answers positively a question of Voisin in the case of the cubic threefold.
We study links between algebraic cycles on threefolds and finite-dimensionality of their motives with coefficients in Q. We decompose the motive of a non-singular projective threefold X with representable algebraic part of CH_0(X) into Lefschetz motives and the Picard motive of a certain abelian variety, isogenous to the corresponding intermediate Jacobian J^2(X) when the ground field is C. In particular, it implies motivic finite-dimensionality of Fano threefolds over a field. We also prove representability of zero-cycles on several classes of threefolds fibered by surfaces with algebraic H^2…
A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $\math…
We show that many classical results of the minimal model programme do not hold over an algebraically closed field of characteristic two. Indeed, we construct a three dimensional plt pair whose codimension one part is not normal, a three dimensional klt singularity which is not rational nor Cohen-Macaulay, and a klt Fano threefold with non-trivial intermediate cohomology.
In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern (and Segre) classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).
We show that certain geometrically defined higher codimension cycles are extremal in the effective cone of the moduli space $\overline{\mathcal M}_{g,n}$ of stable genus $g$ curves with $n$ ordered marked points. In particular, we prove that codimension two boundary strata are extremal and exhibit extremal boundary strata of higher codimension. We also show that the locus of hyperelliptic curves with a marked Weierstrass point in $\overline{\mathcal M}_{3,1}$ and the locus of hyperelliptic curves in $\overline{\mathcal M}_4$ are extremal cycles. In addition, we exhibit infinitely many extremal…
We show that prime Fano threefolds $Y$ of genus 8 have a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of $Y$ injects into cohomology.
We exhibit infinitely many extremal effective codimension-$k$ cycles in $\overline{\mathcal{M}}_{g,n}$ in the cases $g\geq 3, n\geq g-1$ and $k=2$, $g\geq 2$, $k\leq n-g,g,$ and $g=1$, $k\leq n-2$. Hence in these cases the effective cone is not rational polyhedral.
We study the behavior of the bilinkage process in codimension $3$. In particular, we construct a smooth canonically embedded and linearly normal surface of general type of degree $18$ in $\mathbb{P}^5$, this is probably the highest degree such surface may have. Next, we apply our construction to find a geometric description of Tonoli Calabi--Yau threefolds in $\mathbb{P}^6$.
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
The Hilbert scheme of projective 3-folds of codimension 3 or more that are linear scrolls over the projective plane or over a smooth quadric surface or that are quadric or cubic fibrations over the projective line is studied. All known such threefolds of degree from 7 to 11 are shown to correspond to smooth points of an irreducible component of their Hilbert scheme, whose dimension is computed. A relationship with the locus of good determinantal subschemes is investigated
Let $M$ denote the space of complete conics. We compute the cone of effective and numerically effective $k$-cycles of $M$, $\mathrm{Eff}_k(M)$ and $\mathrm{Nef}_k(M)$, respectively. In addition, we compute the Białynicki-Birula cell-decomposition of $M$ with respect to a $\mathbb{C}^*$-action and compare the cone generated by the closure of these cells to the cones $\mathrm{Eff}_k(M)$ and $\mathrm{Nef}_k(M)$.
We extend the results from the previous paper by A. Frühbis-Krüger and the author [arXiv:1501.01915] to the vanishing topology of those singularities in the title. Studying the case of possibly non-isolated singularities in the Tjurina- transform, we reveal that in dimension 3 and 2 there always is exactly one special vanishing cycle in degree 2 closely related to the determinantal structure of the singularity.
For a projective variety $Z$ and for any integer $p$, define the $p$-th Néron-Severi group $NS_p(Z)$ of $Z$ as the image of the cycle map $A_{p}(Z)\to H_{2p}(Z; \mathbb{C})$. Now let $X\subset \Ps^{2m+1}$ ($m\geq 1$) be a projective variety of dimension $2m-1$, with isolated singularities, complete intersection of a smooth hypersurface of degree $k$, with a hypersurface of degree $n>max\{k, 2m+1\}$, and let $F$ be a general hypersurface of degree $n$ containing $X$. We prove that the natural map $NS_m(X)\to NS_m(F)$ is surjective, and that if $dim NS_m(F)=1$ then $dim NS_m(X)=1$. In particular…
Let X --> S be a smooth projective family of surfaces over a smooth curve S such that the generic fiber is a surface with Weil H^2 spanned by divisors and trivial H^1. We prove that if the relative motive of X/S is finite-dimensional the Chow group CH^2(X) with coefficients in Q is generated by a multisection and vertical cycles, i.e. one-dimensional cycles lying in closed fibers of the map X --> S. If S is the projective line P^1 then CH^2(X) is a direct sum of n+1 copies of Q where n<=b_2 and b_2 is the second Betti number of the generic fiber. Vertical generators in CH^2(X) can be concretel…
We prove that torsion codimension 2 algebraic cycles modulo rational equivalence on supersingular abelian varieties are algebraically equivalent to zero. As a consequence, we prove that homological equivalence coincides with algebraic equivalence for algebraic cycles of codimension 2 on supersingular abelian varieties over the algebraic closure of finite fields.
This paper is devoted to the study of holomorphic distributions of dimension and codimension one on smooth weighted projective complete intersection Fano manifolds threedimensional, with Picard number equal to one. We study the relations between algebro-geometric properties of the singular set of singular holomorphic distributions and their associated sheaves. We characterize either distributions whose tangent sheaf or conormal sheaf are arithmetically Cohen Macaulay (aCM) on smooth weighted projective complete intersection Fano manifolds threefold. We also prove that a codimension one locally…
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…
The existence of a vector field on a compact Kaehler manifold with nonempty zero locus and the properties of this zero locus strongly influence the geometry of the manifold. For example, J. Wahl proved that the existence of a vector field vanishing on an ample divisor of a projective normal variety X implies that X is a cone over this divisor. If X is smooth, X will be isomorphic to the n-dimensional projective space. This paper is a first attempt to generalize Wahl's theorem to higher codimensions: Given a complex smooth projective threefold X and a vector field on X vanishing on an irreducib…
We characterize the smallest codimension components of the Hodge locus of smooth degree $d$ hypersurfaces of the projective space $\mathbb{P}^{n+1}$ of even dimension $n$, passing through the Fermat variety (with $d\neq 3,4,6$). They correspond to the locus of hypersurfaces containing a linear algebraic cycle of dimension $\frac{n}{2}$. Furthermore, we prove that among all the local Hodge loci associated to a non-linear cycle passing through Fermat, the ones associated to a complete intersection cycle of type $(1,1,\ldots,1,2)$ attain the minimal possible codimension of their Zariski tangent s…
We define higher categorical invariants (gerbes) of codimension two algebraic cycles and provide a categorical interpretation of the intersection of divisors on a smooth proper algebraic variety. This generalization of the classical relation between divisors and line bundles furnishes a new perspective on the Bloch-Quillen formula.
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then CH^{i}(X) is finitely generated for i<=4.
We study generalizations for higher codimension cycles of several well-known definitions of the nef cone of divisors on a projective variety. These generalizations fix some of the pathologies exhibited by the classical nef cone of higher codimension classes. As an application, we recover the expected properties of the pseudoeffective cones $\overline{Eff}_{k}(X)$ for all k.
We compute the singular support and the characteristic cycle of a rank 1 sheaf on a smooth variety in codimension 2 using ramification theory, when the ramification of the sheaf is clean. We develop a general theory, called the partially logarithmic ramification theory, and define an algebraic cycle on a logarithmic cotangent bundle with partial logarithmic poles along the boundary. We prove that the inverse image of the support of the cycle and the pull-back of the cycle to the cotangent bundle are equal to the singular support and the characteristic cycle, respectively, outside a closed subs…
In this note, we will give a partial answer for arithmetic analogues of Grothendieck's standard conjectures due to H. Gillet and C. Soule. (Remark : I changed the title of this note.)
We show that the span of special cycles in the $r$th Chow group of a Shimura variety of orthogonal type is finite dimensional, if $r < 5$. As our main tool, we develop the theory of Jacobi forms with rational index $M \in \Mat{N}(\QQ)$.
Let $X$ be a smooth projective variety over a finite field $\F$. We discuss the unramified cohomology group $H^3_\nr(X,\Q/\Z(2))$. Several conjectures put together imply that this group is finite. For certain classes of threefolds, $H^3_\nr(X,\Q/\Z(2))$ actually vanishes. It is an open question whether this holds true for arbitrary threefolds. For a threefold $X$ equipped with a fibration onto a curve $C$, the generic fibre of which is a smooth projective surface $V$ over the global field $\F(C)$, the vanishing of $H^3_\nr(X,\Q/\Z(2))$ together with the Tate conjecture for divisors on $X$ impl…
In this note, we show how the classical Hodge index theorem implies the Hodge index conjecture of Beilinson for height pairing of homologically trivial codimension two cycles over function field of characteristic 0. Such an index conjecture has been used in our paper on Gross-Schoen cycles to deduce the Bogomolov conjecture and a lower bound for Hodge class (or Faltings height) from some conjectures about metrized graphs which have just been recently proved by Zubeyir Cinkir.
We prove that formal Fourier Jacobi expansions of degree 2 are Siegel modular forms. As a corollary, we deduce modularity of the generating function of special cycles of codimension 2, which were defined by Kudla. A second application is the proof of termination of an algorithm to compute Fourier expansions of arbitrary Siegel modular forms of degree 2. Combining both results enables us to compute relations of special cycles in the second Chow group.
We prove the existence of Kahler-Einstein metrics on a nonsingular section of the Grassmannian $\mathrm{Gr}(2, 5)\subset\mathbb{P}^9$ by a linear subspace of codimension 3, and the Fermat hypersurface of degree 6 in $\mathbb{P}(1,1,1,2,3)$. We also show that a global log canonical threshold of the Mukai--Umemura variety is equal to 1/2.
In the present paper, we provide general bounds for the torsion in the codimension 2 Chow groups of the products of projective homogeneous surfaces. In particular, we determine the torsion for the product of four Pfister quadric surfaces and the maximal torsion for the product of three Severi-Brauer surfaces. We also find an upper bound for the torsion of the product of three quadric surfaces with the same discriminant.
We prove that the moduli space A_3(1,1,4) of polarized abelian threefolds with polarization of type (1,1,4) is unirational. By a result of Birkenhake and Lange this implies the unirationality of the isomorphic moduli space A_3(1,4,4). The result is based on the study the Hurwitz space H_{4,n}(Y) of quadruple coverings of an elliptic curve Y simply branched in n points. We prove the unirationality of its codimension one subvariety H^{0}_{4,A}(Y) which parametrizes quadruple coverings π:X --> Y with Tschirnhausen modules isomorphic to A^{-1}, where A\in Pic^{n/2}Y, and for which π^*:J(Y)--> J(X)…
In this paper, the generalized Bloch Conjecture on zero cycles for the quotient of certain complete intersections with trivial canonical bundle is proved to hold. As an application of Bloch-Srinivas method on the decomposition of the diagonal, we compute the rational coefficient Lawson homology for 1-cycles and codimension two cycles for these quotient varieties. The (Generalized) Hodge Conjecture is proved to hold for codimension two cycles (and hence also for 2-cycles) on these quotient varieties.
In the first part, we study the structure of the R-algebra generated by the Hodge classes on the self-product A^e of a very general principally polarized abelian variety A. In the second part, we compare various notions of positivity for cycles of higher codimension in A^e. In particular, we prove that, in every codimension 1 < k < en-1, there exist classes that are numerically effective but not pseudoeffective, which generalises a result of Debarre, Ein, Lazarsfeld and Voisin.
The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that under some conditions, which replace the condition $d \geq 4$, a very general surface in a simplicial toric threefold $\mathbb P_Σ$ (with orbifold singularities) has the same Picard number as $\mathbb P_Σ$. Here we define the Noether-Lefschetz loci of quasi-smooth surfaces in $\mathbb P_Σ$ in a linear system of a Cartier ample divisor with respect to a (-1)…
We construct a $14$-dimensional affine variety $Σ^{14}_{\mathbb{A}}$ with a $\rm{GL}_3$- and a $(\mathbb{C}^*)^6$-actions. We denote by $Σ^{13}_{\mathbb{A}}$ the affine variety obtained from $Σ^{14}_{\mathbb{A}}$ by setting one specified variable to $1$ (we refer the precise definition to Definition 1.1 of the paper). We show that several weighted projectivizations of $Σ^{13}_{\mathbb{A}}$ and $Σ^{14}_{\mathbb{A}}$ produce, as weighted complete intersections, examples of prime $\mathbb{Q}$-Fano threefolds of codimension four belonging to $24$ classes of the graded ring database. Except No.360 …
Soit $X$ une variété projective et lisse, définie sur un corps de nombres. Sous l'hypothèse $H^2(X,\mathcal O_X)=0,$ Colliot-Thélène et Raskind ont démontré que le sous-groupe de torsion $CH^2(X)_{tors}$ du groupe de Chow en codimension $2$ est fini. Dans cette note, on donne des bornes uniformes pour le groupe fini $CH^2(X)_{tors}$ quand $X$ varie en famille. Let $X$ be a smooth projective variety defined over a number field. Assuming $H^2(X,\mathcal O_X)=0,$ Colliot-Thélène and Raskind proved that the torsion subgroup $CH^2(X)_{tors}$ in the Chow group of cycles of codimension $2$ is finite.…
