Searcharxiv⌕ Search

arXiv subjects

Fumiaki Suzuki

Publications and source records attributed to Fumiaki Suzuki.

15 recordsLinked to original sources

Vanishing of degree $3$ unramified cohomology over finite fields

Let $k$ be a finite field of characteristic $p\neq 3$, let $E/k$ be the Fermat cubic curve, and let $\ell\neq p$ be a prime. If $p\equiv1\pmod3$, assume moreover that $\ell>3$. Then $H^3_{\mathrm{nr}}(k(E^3)/k,\mathbb{Q}_\ell/\mathbb{Z}_\ell(2))=0$ and the cycle map \[CH^2(E^3)_{\mathbb{Z}_\ell}\longrightarrow H^4(E^3,\mathbb{Z}_\ell(2))\] is surjective. In particular, $H^3_{\mathrm{nr}}(\overline{k}(E^3)/\overline{k},\mathbb{Q}_\ell/\mathbb{Z}_\ell(2))=0$. Assuming the Tate conjecture for surfaces over finite fields, we prove an analogous surjectivity result, for all but finitely many primes $\ell\neq p$, for the integral cycle maps for $1$-cycles on every smooth projective variety of dimension $d$ over a finite field of characteristic different from $2$ which admits a smooth projective lift to the ring of Witt vectors. We apply our results to a conjecture of Colliot-Thélène on the local--global principle for zero-cycles over global function fields. To further illustrate these results, we exhibit examples showing that vanishing of degree-$3$ unramified cohomology over the algebraic closure of the ground field does not imply vanishing over any finite subextension, not even for Fano varieties.

math.AG↗

Motivic classes of Fano schemes of lines on intersections of two quadrics

Let $X\subset\mathbb P^N$ be a smooth complete intersection of two quadrics. We find formulas in the Grothendieck ring of varieties for the class of $X$ and for the class of its Fano scheme of lines, thereby proving the first two cases of a conjecture of Belmans et al. We also find a formula for the class of the relative Fano schemes of linear subspaces (of any dimension) in the fibers of quadric fibrations over curves, under a simple degeneration assumption. As consequences, we compute the rational Chow motive of the relative Fano scheme, and we provide evidence for a conjecture of Shah on a residual category in a semiorthogonal decomposition of the relative Fano scheme of lines.

math.AG↗

Arithmetic and birational properties of linear spaces on intersections of two quadrics

We study rationality questions for Fano schemes of linear spaces on smooth complete intersections of two quadrics, especially over non-closed fields. Our approach is to study hyperbolic reductions of the pencil of quadrics associated to $X$. We prove that the Fano schemes $F_r(X)$ of $r$-planes are birational to symmetric powers of hyperbolic reductions, generalizing results of Reid and Colliot-Thélène--Sansuc--Swinnerton-Dyer, and we give several applications to rationality properties of $F_r(X)$. For instance, we show that if $X$ contains an $(r+1)$-plane over a field $k$, then $F_r(X)$ is rational over $k$. When $X$ has odd dimension, we show a partial converse for rationality of the Fano schemes of second maximal linear spaces, generalizing results of Hassett--Tschinkel and Benoist--Wittenberg. When $X$ has even dimension, the analogous result does not hold, and we further investigate this situation over the real numbers. In particular, we prove a rationality criterion for the Fano schemes of second maximal linear spaces on these even-dimensional complete intersections over $\mathbb R$; this may be viewed as extending work of Hassett--Kollár--Tschinkel.

math.AG↗

On direct summands of products of Jacobians over arbitrary fields

We show that a principally polarized abelian variety over a field $k$ is, as an abelian variety, a direct summand of a product of Jacobians of curves which contain a $k$-point if and only if the polarization and the minimal class are both algebraic over $k$. This extends results of Beckmann--de Gaay Fortman and Voisin over the complex numbers to arbitrary fields, and refines an obstruction to the direct summand property over $\mathbb{Q}$ due to Petrov--Skorobogatov. We also give applications to the integral Tate conjecture for divisors and for $1$-cycles on abelian varieties over finitely generated fields; our results also address a $p$-adic version of the integral Tate conjecture over finite fields of characteristic $p$, for the first time beyond the case of divisors.

math.AG↗

Non-algebraic geometrically trivial cohomology classes over finite fields

We give the first examples of smooth projective varieties $X$ over a finite field $\mathbb{F}$ admitting a non-algebraic torsion $\ell$-adic cohomology class of degree $4$ which vanishes over $\overline{\mathbb{F}}$. We use them to show that two versions of the integral Tate conjecture over $\mathbb{F}$ are not equivalent to one another and that a fundamental exact sequence of Colliot-Thélène and Kahn does not necessarily split. Some of our examples have dimension $4$, and are the first known examples of fourfolds with non-vanishing $H^{3}_{\text{nr}}(X,\mathbb{Q}_{2}/\mathbb{Z}_{2}(2))$.

math.AG↗

Two coniveau filtrations and algebraic equivalence over finite fields

We extend the basic theory of the coniveau and strong coniveau filtrations to the $\ell$-adic setting. By adapting the examples of Benoist--Ottem to the $\ell$-adic context, we show that the two filtrations differ over any algebraically closed field of characteristic not $2$. When the base field $\mathbb{F}$ is finite, we show that the equality of the two filtrations over the algebraic closure $\overline{\mathbb{F}}$ has some consequences for algebraic equivalence for codimension-$2$ cycles over $\mathbb{F}$. As an application, we prove that the third unramified cohomology group $H^{3}_{\text{nr}}(X,\mathbb{Q}_{\ell}/\mathbb{Z}_{\ell})$ vanishes for a large class of rationally chain connected threefolds $X$ over $\mathbb{F}$, confirming a conjecture of Colliot-Thélène and Kahn.

math.AG↗

An $\mathcal{O}$-acyclic variety of even index

We give the first examples of $\mathcal{O}$-acyclic smooth projective geometrically connected varieties over the function field of a complex curve, whose index is not equal to one. More precisely, we construct a family of Enriques surfaces over $\mathbb{P}^{1}$ such that any multi-section has even degree over the base $\mathbb{P}^{1}$ and show moreover that we can find such a family defined over $\mathbb{Q}$. This answers affirmatively a question of Colliot-Thélène and Voisin. Furthermore, our construction provides counterexamples to: the failure of the Hasse principle accounted for by the reciprocity obstruction; the integral Hodge conjecture; and universality of Abel-Jacobi maps.

math.AG↗

Non-injectivity of the cycle class map in continuous $\ell$-adic cohomology

Jannsen asked whether the rational cycle class map in continuous $\ell$-adic cohomology is injective, in every codimension for all smooth projective varieties over a field of finite type over the prime field. As recently pointed out by Schreieder, the integral version of Jannsen's question is also of interest. We exhibit several examples showing that the answer to the integral version is negative in general. Our examples also have consequences for the coniveau filtration on Chow groups and the transcendental Abel-Jacobi map constructed by Schreieder.

math.AG↗

Factorization of the Abel-Jacobi maps

As an application of the theory of Lawson homology and morphic cohomology, Walker proved that the Abel-Jacobi map factors through another regular homomorphism. In this note, we give a direct proof of the theorem.

math.AG↗

Higher-dimensional Calabi-Yau varieties with dense sets of rational points

We construct higher-dimensional Calabi-Yau varieties defined over a given number field with Zariski dense sets of rational points. We give two elementary constructions in arbitrary dimensions as well as another construction in dimension three which involves certain Calabi-Yau threefolds containing an Enriques surface. The constructions also show that potential density holds for (sufficiently) general members of the families.

math.AG↗

A pencil of Enriques surfaces with non-algebraic integral Hodge classes

We prove that there exists a pencil of Enriques surfaces defined over $\mathbb{Q}$ with non-algebraic integral Hodge classes of non-torsion type. This gives the first example of a threefold with the trivial Chow group of zero-cycles on which the integral Hodge conjecture fails. As an application, we construct a fourfold which gives the negative answer to a classical question of Murre on the universality of the Abel-Jacobi maps in codimension three.

math.AG↗

A remark on a $3$-fold constructed by Colliot-Thélène and Voisin

A classical question asks whether the Abel-Jacobi map is universal among all regular homomorphisms. In this paper, we prove that we can construct a $4$-fold which gives the negative answer in codimension $3$ if the generalized Bloch conjecture holds for a $3$-fold constructed by Colliot-Thélène and Voisin in the context of the study of the defect of the integral Hodge conjecture in degree $4$.

math.AG↗

On birational superrigidity and conditional birational superrigidity of certain Fano hypersurfaces

We prove birational superrigidity of every hypersurface of degree N in P^N with singular locus of dimension s, under the assumption that N is at least 2s+8 and it has only quadratic singularities of rank at least N-s. Combined with the results of I. A. Chel'tsov and T. de Fernex, this completes the list of birationally superrigid singular hypersurfaces with only ordinary double points except in dimension 4 and 6. Further we impose an additional condition on the base locus of a birational map to a Mori fiber space. Then we prove conditional birational superrigidity of certain smooth Fano hypersurfaces of index larger or equal to 2, and birational superrigidity of smooth Fano complete intersections of index 1 in weak form.

math.AG↗

Birational rigidity of complete intersections

We prove that every smooth complete intersection X defined by s hypersurfaces of degree d_1, ... , d_s in a projective space of dimension d_1 + ... + d_s is birationally superrigid if 5s +1 is at most 2(d_1 + ... + d_s + 1)/sqrt{d_1...d_s}. In particular, X is non-rational and Bir(X)=Aut(X). We also prove birational superrigidity of singular complete intersections with similar numerical condition. These extend the results proved by Tommaso de Fernex.

math.AG↗