Using Moriwaki's calculation of the Q-Picard group for the moduli space of curves, I prove the strong Franchetta Conjecture in all characteristics. That is, the canonical class generates the group of rational points on the Picard scheme for the generic curve of genus g>2. Similar results hold for generic pointed curves. Moreover, I show that Hilbert's Irreducibility Theorem implies that there are many other nonclosed points in the moduli space of curves with such properties.
A family of K3 surfaces $\mathscr{X}\rightarrow B$ has the \emph{Franchetta property} if the Chow group of 0-cycles on the generic fiber is cyclic. The generalized Franchetta conjecture proposed by O'Grady asserts that the universal family $\mathscr{X}_g\rightarrow \mathscr{F}_g$ of polarized K3 of degree $2g-2$ has the Franchetta property. While this is known only for small $g$ thanks to \cite{PSY}, we prove that for all $g$ there is a hypersurface in $ \mathscr{F}_g$ such that the corresponding family has the Franchetta property.
We compute the Picard group of the universal abelian variety over the moduli stack $\mathscr A_{g,n}$ of principally polarized abelian varieties over $\mathbb{C}$ with a symplectic principal level $n$-structure. We then prove that over $\mathbb{C}$ the statement of the Franchetta conjecture holds in a suitable form for $\mathscr A_{g,n}$.
In this paper, we study rational sections of the relative Picard variety of a linear system on a smooth projective variety. Specifically, we prove that if the linear system is basepoint-free and the locus of non-integral divisors has codimension at least two, then all rational sections of the relative Picard variety come from restrictions of line bundles on the variety.
O'Grady conjectured that the Chow group of 0-cycles of the generic fiber of the universal family over the moduli space of polarized K3 surfaces of genus g is cyclic. This so-called generalized Franchetta conjecture has been solved only for low genera where there is a Mukai model (precisely, when g<11 and g=12, 13, 16, 18, 20), by the work of Pavic--Shen--Yin. In this paper, as a non-commutative analog, we study the Franchetta property for families of special cubic fourfolds (in the sense of Hassett) and relate it to O'Grady's conjecture for K3 surfaces. Most notably, by using special cubic fou…
We prove the generalized Franchetta conjecture for the locally complete family of hyper-Kähler eightfolds constructed by Lehn-Lehn-Sorger-van Straten (LLSS). As a corollary, we establish the Beauville-Voisin conjecture for very general LLSS eightfolds. The strategy consists in reducing to the Franchetta property for relative fourth powers of cubic fourfolds, by using the recent description of LLSS eightfolds as moduli spaces of semistable objects in the Kuznetsov component of the derived category of cubic fourfolds, together with its generalization to the relative setting due to Bayer-Lahoz-Ma…
The generalized Franchetta conjecture for hyper-Kähler varieties predicts that an algebraic cycle on the universal family of certain polarized hyper-Kähler varieties is fiberwise rationally equivalent to zero if and only if it vanishes in cohomology fiberwise. We establish Franchetta-type results for certain low (Hilbert) powers of low degree K3 surfaces, for the Beauville--Donagi family of Fano varieties of lines on cubic fourfolds and its relative square, and for $0$-cycles and codimension-$2$ cycles for the Lehn--Lehn--Sorger--van Straten family of hyper-Kähler eightfolds. We also draw many…
We study relative zero cycles on the universal polarized $K3$ surface $X \to \mathcal{F}_g$ of degree $2g - 2$. It was asked by O'Grady if the restriction of any class in $\mathrm{CH}^2(X)$ to a closed fiber $X_s$ is a multiple of the Beauville-Voisin canonical class $c_{X_s} \in \mathrm{CH}_0(X_s)$. Using Mukai models, we give an affirmative answer to this question for $g \leq 10$ and $g = 12, 13, 16, 18, 20$.
In this paper, we discuss the cycle theory on moduli spaces $\cF_h$ of $h$-polarized hyperkähler manifolds. Firstly, we construct the tautological ring on $\cF_h$ following the work of Marian, Oprea and Pandharipande on the tautological conjecture on moduli spaces of K3 surfaces. We study the tautological classes in cohomology groups and prove that most of them are linear combinations of Noether-Lefschetz cycle classes. In particular, we prove the cohomological version of the tautological conjecture on moduli space of K3$^{[n]}$-type hyperkähler manifolds with $n\leq 2$. Secondly, we prove the…
O'Grady's generalized Franchetta conjecture (GFC) is concerned with codimension 2 algebraic cycles on universal polarized K3 surfaces. In \cite{BL17}, this conjecture has been studied in the Betti cohomology groups. Following a suggestion of Voisin, we investigate this problem in the Deligne-Beilinson (DB) cohomology groups. In this paper, we develop the theory of Deligne-Beilinson cohomology groups on separated (smooth) Deligne-Mumford stacks. Using the automorphic cohomology group and Noether-Lefschetz theory, we compute the 4-th DB-cohomology group of universal oriented polarized K3 surface…
Green's Conjecture predicts than one can read off special linear series on an algebraic curve, by looking at the syzygies of its canonical embedding. We extend Voisin's results on syzygies of K3 sections, to the case of K3 surfaces with arbitrary Picard lattice. This, coupled with results of Voisin and Hirschowitz-Ramanan, provides a complete solution to Green's Conjecture for smooth curves on arbitrary K3 surfaces.
The goal of this paper is to prove the full geometric Bogomolov conjecture. We first reduce it to the case that the extension of the base fields has transcendence degree 1, and then we prove the later case by intersection theory in algebraic geometry. The proof uses Yamaki's reduction theorem on the geometric Bogomolov conjecture and the Manin--Mumford conjecture proved by Raynaud and Hrushovski.
In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of divisors computing minimal log discrepancies for two dimensional varieties, which is a conjecture by Ishii and also a special case of the conjecture by Mustaţǎ-Nakamura.
Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either zero, or the set of scalar matrices, or the set $sl_n(K)$ of matrices of trace $0$, or all of $M_n(K)$. This conjecture was proved for $n=2$ when $K$ is closed under quadratic extensions. In this paper the conjecture is verified for $K=\mathbb{R}$ and $n=2$, also for semi-homogeneous polynomials $p$, with a partial solution for an arbitrary field $K$.
In this paper we give an exposition of Dennis Johnson's work on the first homology of the Torelli groups and show how it can be applied, alone and in concert with Saito's theory of Hodge modules, to study the geometry of moduli spaces of curves. For example, we show that the picard groups of moduli spaces of curves with a fixed level structure are finitely generated, classify all "natural" normal functions defined over moduli spaces of curves with a fixed level, and also "compute" the height paring between cycles over moduli spaces of curves which are homologically trivial and disjoint over th…
Based on computeralgebra experiments we formulate a refined version of Green's conjecture and a conjecture of Schicho-Schreyer-Weimann which conjecturally also holds in positive characteristic. The experiments are done by using our Macaulay2 package, which constructs random canonically embedded curves of genus $g\leq 15$ over arbitrary small finite fields.
In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the boundedness of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy. We also show that this conjecture yields some basic properties of singularities; e.g. openness of Mather-Jacobian (log) canonical singularities, stability of these singularities under small deformations and lower semi-continuity of Mather-…
We prove a version of Fujita's Conjecture in arbitrary characteristic, generalizing results of K.E. Smith. Our methods use the Frobenius morphism, but avoid tight closure theory. We also obtain versions of Fujita's Conjecture for coherent sheaves with certain ampleness properties.
We study Le Potier's strange duality conjecture for moduli spaces of sheaves over generic abelian surfaces. We prove the isomorphism for abelian surfaces which are products of elliptic curves, when the moduli spaces consist of sheaves of equal ranks and fiber degree 1. The birational type of the moduli space of sheaves is also investigated. Generalizations to arbitrary product elliptic surfaces are given.
We relate the n! conjecture (by Garsia and Haiman) to the geometry of principal nilpotent pairs, and state a conjecture generalizing the n! conjecture to arbitrary semisimple algebraic groups. We also show, using Borel's fixed point theorem, how to reduce the n! conjecture to staircase partitions. Finally we study the interplay between characteristic p and the n! conjecture for box partitions.
We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$. Our proof relies on the study of the tautological classes on the Hilbert scheme of points on an elliptic surface with respect to the perverse filtration.
Let $C$ be a curve and $L$ a very ample line bundle. The Green-Lazarsfeld Secant conjecture predicts that if the degree of $L$ is at least $2g+p+1-2h^1(C,L)-Cliff(C)$ and if, in addition, $L$ is $p+1$ very ample, then the Koszul group $K_{p,2}(C,L)$ vanishes. In this article, we establish the conjecture in the extremal case, i.e.\ the case where the degree is exactly $2g+p+1-2h^1(C,L)-Cliff(C)$, subject to explicit genericity assumptions on $C$ and $L$. In particular, the gonality of $C$ is allowed to be arbitrary (in our cases $gon(C)=Cliff(C)+2$).
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of these invariants presented here proves a conjecture of Deligne. Applications include some cases of conjectures of Serre, Katz and Jannsen on the independence of $\ell$ of parts of the étale cohomology of arbitrary varieties over number fields and finite fields.
We prove an asymptotic formula conjectured by Manin for the number of $K$-rational points of bounded height with respect to the anticanonical line bundle for arbitrary smooth projective toric varieties over a number field $K$.
We study the topology of Hitchin fibrations via abelian surfaces. We establish the P=W conjecture for genus $2$ curves and arbitrary rank. In higher genus and arbitrary rank, we prove that P=W holds for the subalgebra of cohomology generated by even tautological classes. Furthermore, we show that all tautological generators lie in the correct pieces of the perverse filtration as predicted by the P=W conjecture. In combination with recent work of Mellit, this reduces the full conjecture to the multiplicativity of the perverse filtration. Our main technique is to study the Hitchin fibration as a…
Manin's conjecture predicts the distribution of rational points on Fano varieties. Using explicit parameterizations of rational points by integral points on universal torsors and lattice-point-counting techniques, it was proved for several specific varieties over $\mathbb{Q}$, in particular del Pezzo surfaces. We show how this method can be implemented over arbitrary number fields $K$, by proving Manin's conjecture for a singular quartic del Pezzo surface of type $\mathbf{A}_3+\mathbf{A}_1$. The parameterization step is treated in high generality with the help of twisted integral models of uni…
We introduce the split torsor method to count rational points of bounded height on Fano varieties. As an application, we prove Manin's conjecture for all nonsplit quartic del Pezzo surfaces of type $\mathbf A_3+\mathbf A_1$ over arbitrary number fields. The counting problem on the split torsor is solved in the framework of o-minimal structures.
We deduce some formulas for the spin invariants of the connected sum of an arbitrary 4-manifold X, b^+ _2(X) > 0 $ with $\overline {CP^2}$ in terms of the spin invariants of $X$ and apply this to prove the Van de Ven conjecture.
We prove a theorem of Tits type for automorphism groups of projective varieties over an algebraically closed field of arbitrary characteristic, which was first conjectured by Keum, Oguiso and Zhang for complex projective varieties.
I compute explicitly the regulator map on $K_4(X)$ for an arbitrary curve $X$ over a number field. Using this and Beilinson's theorem about regulators for modular curves ([B2]) I prove a formula expressing the value of the $L$-function $L(E,s)$ of a modular elliptic curve $E$ over $\Bbb Q$ at $s=3$ by the double Eisenstein-Kronecker series.
In this paper we introduce an elliptic analog of the Bloch-Suslin complex and prove that it (essentially) computes the weight two parts of the groups $K_2(E)$ and $K_1(E)$ for an elliptic curve $E$ over an arbitrary field $k$. Combining this with the results of Bloch and Beilinson we proved Zagier's conjecture on $L(E,2)$ for modular elliptic curves over $\Bbb Q$.
We prove that the structure group of any Albert algebra over an arbitrary field is $R$-trivial. This implies the Tits-Weiss conjecture for Albert algebras and the Kneser-Tits conjecture for isotropic groups of type $\mathrm{E}_{7,1}^{78}, \mathrm{E}_{8,2}^{78}$. As a further corollary, we show that some standard conjectures on the groups of $R$-equivalence classes in algebraic groups and the norm principle are true for strongly inner forms of type $^1\mathrm{E}_6$.
We construct families of hyperelliptic curves over Q of arbitrary genus g with (at least) g integral elements in K_2. We also verify the Beilinson conjectures about K_2 numerically for several curves with g=2, 3, 4 and 5. The paper is essentially self-contained and may serve as an elementary introduction to Beilinson's conjectures for K_2 of curves.
