-
Local and local-to-global Principles for zero-cycles on geometrically Kummer $K3$ surfaces
Authors:
Evangelia Gazaki,
Jonathan Love
Abstract:
Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree…
▽ More
Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree $0$ on $X$ is the direct sum of a divisible group and a finite group. This proves a conjecture of Raskind and Spiess and of Colliot-Thélène and it is the first instance for $K3$ surfaces when this conjecture is proved in full. This class of $K3$'s includes, among others, the diagonal quartic surfaces. In the case of good ordinary reduction we describe many cases when the finite summand of $A_0(X)$ can be completely determined.
Using these results, we explore a local-to-global conjecture of Colliot-Thélene, Sansuc, Kato and Saito which, roughly speaking, predicts that the Brauer-Manin obstruction is the only obstruction to Weak Approximation for zero-cycles. We give examples of Kummer surfaces over a number field $F$ where the ramified places of good ordinary reduction contribute nontrivially to the Brauer set for zero-cycles of degree $0$ and we describe cases when an unconditional local-to-global principle can be proved, giving the first unconditional evidence for this conjecture in the case of $K3$ surfaces.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Hyperelliptic curves map** to abelian varieties and applications to Beilinson's conjecture for zero-cycles
Authors:
Evangelia Gazaki,
Jonathan R. Love
Abstract:
Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise non-isomorphic hyperelliptic curves map** birationally into $A$. For infinitely many integers $g\geq 2$, this collection has infinitely many curves of genus $g$,…
▽ More
Let $A$ be an abelian surface over an algebraically closed field $\overline{k}$ with an embedding $\overline{k}\hookrightarrow\mathbb{C}$. When $A$ is isogenous to a product of elliptic curves, we describe a large collection of pairwise non-isomorphic hyperelliptic curves map** birationally into $A$. For infinitely many integers $g\geq 2$, this collection has infinitely many curves of genus $g$, and no two curves in the collection have the same image under any isogeny from $A$. Using these hyperelliptic curves, we find many rational equivalences in the Chow group of zero-cycles $\text{CH}_0(A)$. We use these results to give some progress towards Beilinson's conjecture for zero-cycles, which predicts that for a smooth projective variety $X$ over $\overline{Q}$ the kernel of the Albanese map of $X$ is zero.
△ Less
Submitted 3 November, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Filtrations of the Chow group of zero-cycles on abelian varieties and behavior under isogeny
Authors:
Evangelia Gazaki
Abstract:
For an abelian variety $A$ over a field $k$ the author defined in \cite{Gazaki2015} a Bloch-Beilinson type filtration $\{F^r(A)\}_{r\geq 0}$ of the Chow group of zero-cycles, $\text{CH}_0(A)$, with successive quotients related to a Somekawa $K$-group. In this article we show that this filtration behaves well with respect to isogeny, and in particular if $n:A\to A$ is the multiplication by $n$ map…
▽ More
For an abelian variety $A$ over a field $k$ the author defined in \cite{Gazaki2015} a Bloch-Beilinson type filtration $\{F^r(A)\}_{r\geq 0}$ of the Chow group of zero-cycles, $\text{CH}_0(A)$, with successive quotients related to a Somekawa $K$-group. In this article we show that this filtration behaves well with respect to isogeny, and in particular if $n:A\to A$ is the multiplication by $n$ map on $A$, then its push-forward $n_\star$ is given on the quotient $F^r/F^{r+1}$ by multiplication by $n^r$. In the special case when $A=E_1\times\cdots\times E_d$ is a product of elliptic curves, we show that this filtration agrees with a filtration defined by Raskind and Spiess and with the Pontryagin filtration previously considered by Beauville and Bloch. We also obtain some results in the more general case when $A$ is isogenous to a product of elliptic curves. When $k$ is a finite extension of $\mathbb{Q}_p$, using Jacobians of curves isogenous to products of elliptic curves, we give new evidence for a conjecture of Raskind and Spiess and Colliot-Thélène, which predicts that the kernel of the Albanese map is the direct sum of a divisible group and a finite group.
△ Less
Submitted 28 May, 2024; v1 submitted 25 October, 2022;
originally announced October 2022.
-
Torsion phenomena for zero-cycles on a product of curves over a number field
Authors:
Evangelia Gazaki,
Jonathan Love
Abstract:
For a smooth projective variety $X$ over a number field $k$ a conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map of $X$ is a torsion group. In this article we consider a product $X=C_1\times\cdots\times C_d$ of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true for $X$. Additionally, we produce many new exa…
▽ More
For a smooth projective variety $X$ over a number field $k$ a conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map of $X$ is a torsion group. In this article we consider a product $X=C_1\times\cdots\times C_d$ of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true for $X$. Additionally, we produce many new examples of non-isogenous elliptic curves $E_1, E_2$ with positive rank over $\mathbb{Q}$ for which the image of the natural map $E_1(\mathbb{Q})\otimes E_2(\mathbb{Q})\xrightarrow{\varepsilon} \text{CH}_0(E_1\times E_2)$ is finite, including the first known examples of rank greater than $1$. Combining the two results, we obtain infinitely many nontrivial products $X=C_1\times\cdots\times C_d$ for which the analogous map $\varepsilon$ has finite image.
△ Less
Submitted 2 August, 2023; v1 submitted 12 April, 2022;
originally announced April 2022.
-
Abelian geometric fundamental groups for curves over a $p$-adic field
Authors:
Evangelia Gazaki,
Toshiro Hiranouchi
Abstract:
For a curve $X$ over a $p$-adic field $k$, using the class field theory of $X$ due to S. Bloch and S. Saito we study the abelian geometric fundamental group $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ of $X$. In particular, it is investigated a subgroup of $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ which classifies the geometric and abelian coverings of $X$ which allow possible ramification over the special…
▽ More
For a curve $X$ over a $p$-adic field $k$, using the class field theory of $X$ due to S. Bloch and S. Saito we study the abelian geometric fundamental group $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ of $X$. In particular, it is investigated a subgroup of $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ which classifies the geometric and abelian coverings of $X$ which allow possible ramification over the special fiber of the model of $X$. Under the assumptions that $X$ has a $k$-rational point, $X$ has good reduction and its Jacobian variety has good ordinary reduction, we give some upper and lower bounds of this subgroup of $π_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Weak Approximation for $0$-cycles on a product of elliptic curves
Authors:
Evangelia Gazaki,
Angelos Koutsianas
Abstract:
In the 1980's Colliot-Thélène, Sansuc, Kato and S. Saito proposed conjectures related to local-to-global principles for $0$-cycles on arbitrary smooth projective varieties over a number field. We give some evidence for these conjectures for a product $X=E_1\times E_2$ of two elliptic curves. In the special case when $X=E\times E$ is the self-product of an elliptic curve $E$ over $\mathbb{Q}$ with…
▽ More
In the 1980's Colliot-Thélène, Sansuc, Kato and S. Saito proposed conjectures related to local-to-global principles for $0$-cycles on arbitrary smooth projective varieties over a number field. We give some evidence for these conjectures for a product $X=E_1\times E_2$ of two elliptic curves. In the special case when $X=E\times E$ is the self-product of an elliptic curve $E$ over $\mathbb{Q}$ with potential complex multiplication, we show that the places of good ordinary reduction are often involved in a Brauer-Manin obstruction for $0$-cycles over a finite base change. We give many examples when these $0$-cycles can be lifted to global ones.
△ Less
Submitted 3 January, 2023; v1 submitted 30 December, 2021;
originally announced December 2021.
-
Divisibility Results for zero-cycles
Authors:
Evangelia Gazaki,
Toshiro Hiranouchi
Abstract:
Let $X$ be a product of smooth projective curves over a finite unramified extension $k$ of $\mathbb{Q}_p$. Suppose that the Albanese variety of $X$ has good reduction and that $X$ has a $k$-rational point. We propose the following conjecture. The kernel of the Albanese map $CH_0(X)^0\rightarrow\text{Alb}_X(k)$ is $p$-divisible. When $p$ is an odd prime, we prove this conjecture for a large family…
▽ More
Let $X$ be a product of smooth projective curves over a finite unramified extension $k$ of $\mathbb{Q}_p$. Suppose that the Albanese variety of $X$ has good reduction and that $X$ has a $k$-rational point. We propose the following conjecture. The kernel of the Albanese map $CH_0(X)^0\rightarrow\text{Alb}_X(k)$ is $p$-divisible. When $p$ is an odd prime, we prove this conjecture for a large family of products of elliptic curves and certain principal homogeneous spaces of abelian varieties. Using this, we provide some evidence for a local-to-global conjecture for zero-cycles of Colliot-Thélène and Sansuc (\cite{Colliot-Thelene/Sansuc1981}), and Kato and Saito (\cite{Kato/Saito1986}).
△ Less
Submitted 8 April, 2021; v1 submitted 10 April, 2020;
originally announced April 2020.
-
A Tate duality theorem for local Galois symbols II; The semi-abelian case
Authors:
Evangelia Gazaki
Abstract:
This paper is a continuation to \cite{Gazaki2017}. For every integer $n\geq 1$, we consider the generalized Galois symbol $K(k;G_1,G_2)/n\xrightarrow{s_n} H^2(k,G_1[n]\otimes G_2[n])$, where $k$ is a finite extension of $\mathbb{Q}_p$, $G_1,G_2$ are semi-abelian varieties over $k$ and $K(k;G_1,G_2)$ is the Somekawa K-group attached to $G_1, G_2$. Under some mild assumptions, we describe the exact…
▽ More
This paper is a continuation to \cite{Gazaki2017}. For every integer $n\geq 1$, we consider the generalized Galois symbol $K(k;G_1,G_2)/n\xrightarrow{s_n} H^2(k,G_1[n]\otimes G_2[n])$, where $k$ is a finite extension of $\mathbb{Q}_p$, $G_1,G_2$ are semi-abelian varieties over $k$ and $K(k;G_1,G_2)$ is the Somekawa K-group attached to $G_1, G_2$. Under some mild assumptions, we describe the exact annihilator of the image of $s_n$ under the Tate duality perfect pairing, $H^2(k,G_1[n]\otimes G_2[n])\times H^0(k,Hom(G_1[n]\otimes G_2[n],μ_n))\rightarrow\mathbb{Z}/n$. An important special case is when both $G_1, G_2$ are abelian varieties with split semistable reduction. In this case we prove a finiteness result, which gives an application to zero-cycles on abelian varieties and products of curves.
△ Less
Submitted 11 May, 2019; v1 submitted 16 August, 2018;
originally announced August 2018.
-
Some results about zero-cycles on abelian and semi-abelian varieties
Authors:
Evangelia Gazaki
Abstract:
In this short note we extend some results obtained in \cite{Gazaki2015}. First, we prove that for an abelian variety $A$ with good ordinary reduction over a finite extension of $\mathbb{Q}_p$ with $p$ an odd prime, the Albanese kernel of $A$ is the direct sum of its maximal divisible subgroup and a torsion group. Second, for a semi-abelian variety $G$ over a perfect field $k$, we construct a decre…
▽ More
In this short note we extend some results obtained in \cite{Gazaki2015}. First, we prove that for an abelian variety $A$ with good ordinary reduction over a finite extension of $\mathbb{Q}_p$ with $p$ an odd prime, the Albanese kernel of $A$ is the direct sum of its maximal divisible subgroup and a torsion group. Second, for a semi-abelian variety $G$ over a perfect field $k$, we construct a decreasing integral filtration $\{F^r\}_{r\geq 0}$ of Suslin's singular homology group, $H_0^{sing}(G)$, such that the successive quotients are isomorphic to a certain Somekawa K-group.
△ Less
Submitted 16 November, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
Zero-cycles on a product of elliptic curves over a $p$-adic field
Authors:
Evangelia Gazaki,
Isabel Leal
Abstract:
We consider a product $X=E_1\times\cdots\times E_d$ of elliptic curves over a finite extension $K$ of $\mathbb{Q}_p$ with a combination of good or split multiplicative reduction. We assume that at most one of the elliptic curves has supersingular reduction. Under these assumptions, we prove that the Albanese kernel of $X$ is the direct sum of a finite group and a divisible group, extending work of…
▽ More
We consider a product $X=E_1\times\cdots\times E_d$ of elliptic curves over a finite extension $K$ of $\mathbb{Q}_p$ with a combination of good or split multiplicative reduction. We assume that at most one of the elliptic curves has supersingular reduction. Under these assumptions, we prove that the Albanese kernel of $X$ is the direct sum of a finite group and a divisible group, extending work of Raskind and Spiess to cases that include supersingular phenomena. Our method involves studying the kernel of the cycle map $CH_0(X)/p^n\rightarrow H^{2d}_{\text{ét}}(X, μ_{p^n}^{\otimes d})$. We give specific criteria that guarantee this map is injective for every $n\geq 1$. When all curves have good ordinary reduction, we show that it suffices to extend to a specific finite extension $L$ of $K$ for these criteria to be satisfied. This extends previous work of Yamazaki and Hiranouchi.
△ Less
Submitted 26 March, 2021; v1 submitted 11 February, 2018;
originally announced February 2018.
-
A finer Tate duality theorem for local Galois symbols
Authors:
Evangelia Gazaki
Abstract:
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $A$, $B$ be abelian varieties over $K$ of good reduction. For any integer $m\geq 1$, we consider the Galois symbol $K(K;A,B)/m\rightarrow H^2(K,A[m]\otimes B[m])$, where $K(K;A,B)$ is the Somekawa $K$-group attached to $A,B$. This map is a generalization of the Galois symbol $K_2^M(K)/m\rightarrow H^2(K,μ_m^{\otimes 2})$ of the Bloch-Kato conjec…
▽ More
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $A$, $B$ be abelian varieties over $K$ of good reduction. For any integer $m\geq 1$, we consider the Galois symbol $K(K;A,B)/m\rightarrow H^2(K,A[m]\otimes B[m])$, where $K(K;A,B)$ is the Somekawa $K$-group attached to $A,B$. This map is a generalization of the Galois symbol $K_2^M(K)/m\rightarrow H^2(K,μ_m^{\otimes 2})$ of the Bloch-Kato conjecture, where $K_2^M(K)$ is the Milnor $K$-group of $K$. In this paper we give a geometric description of the image of this generalized Galois symbol by looking at the Tate duality pairing $H^{2}(K,A[m]\otimes B[m])\times\mathrm{Hom}_{G_{K}}(A[m],B^{\star}[m])\rightarrow\mathbb{Z}/m,$ where $B^\star$ is the dual abelian variety of $B$. Under this perfect pairing we compute the exact annihilator of the image of the Galois symbol in terms of an object of integral $p$-adic Hodge theory.
△ Less
Submitted 3 May, 2018; v1 submitted 20 March, 2017;
originally announced March 2017.
-
The local symbol complex of a Reciprocity Functor
Authors:
Evangelia Gazaki
Abstract:
For a reciprocity functor $\mathcal{M}$ we consider the local symbol complex $\mathcal{M}\otimes^{M}\mathbb{G}_{m}(η_{C})\to\oplus_{P\in C}\mathcal{M}(k)\to\mathcal{M}(k)$, where $C$ is a smooth complete curve over an algebraically closed field $k$ with generic point $η_{C}$ and $\otimes^{M}$ is the product of Mackey functors. We prove that if $\mathcal{M}$ satisfies certain conditions, then the h…
▽ More
For a reciprocity functor $\mathcal{M}$ we consider the local symbol complex $\mathcal{M}\otimes^{M}\mathbb{G}_{m}(η_{C})\to\oplus_{P\in C}\mathcal{M}(k)\to\mathcal{M}(k)$, where $C$ is a smooth complete curve over an algebraically closed field $k$ with generic point $η_{C}$ and $\otimes^{M}$ is the product of Mackey functors. We prove that if $\mathcal{M}$ satisfies certain conditions, then the homology of the above complex is isomorphic to the $K$-group of reciprocity functors $T(\mathcal{M},\underline{CH}_{0}(C)^{0})(Spec k)$.
△ Less
Submitted 12 August, 2015; v1 submitted 30 April, 2015;
originally announced April 2015.
-
On a Filtration of CH_{0} for an Abelian Variety A
Authors:
Evangelia Gazaki
Abstract:
Let $A$ be an abelian variety defined over a field $k$. In this paper we define a filtration $F^{r}$ of the group $CH_{0}(A)$ and prove an isomorphism $\frac{K(k;A,...,A)}{\Sym}\otimes\mathbb{Z}[\frac{1}{r!}]\simeq F^{r}/F^{r+1}\otimes\mathbb{Z}[\frac{1}{r!}]$, where $K(k;A,...,A)$ is the Somekawa K-group attached to $r$-copies of the abelian variety $A$.\\ In the special case when $k$ is a finite…
▽ More
Let $A$ be an abelian variety defined over a field $k$. In this paper we define a filtration $F^{r}$ of the group $CH_{0}(A)$ and prove an isomorphism $\frac{K(k;A,...,A)}{\Sym}\otimes\mathbb{Z}[\frac{1}{r!}]\simeq F^{r}/F^{r+1}\otimes\mathbb{Z}[\frac{1}{r!}]$, where $K(k;A,...,A)$ is the Somekawa K-group attached to $r$-copies of the abelian variety $A$.\\ In the special case when $k$ is a finite extension of $\mathbb{Q}_{p}$ and $A$ has split multiplicative reduction, we compute the kernel of the map $CH_{0}(A)\otimes\Z[\frac{1}{2}]\rightarrow \rm{Hom}(Br(A),\Q/\Z)\otimes\Z[\frac{1}{2}]$, induced by the pairing $CH_{0}(A)\times Br(A)\rightarrow\mathbb{Q}/\Z$.
△ Less
Submitted 28 April, 2015; v1 submitted 27 May, 2013;
originally announced May 2013.
