Abstract:Let $A/K$ be an absolutely simple abelian surface defined over a number field $K$. We give unconditional upper bounds for the number of prime ideals $\mathfrak{p}$ of $K$ with norm up to $x$ such that $A$ has supersingular reduction at $\mathfrak{p}$ when $A$ has a trivial endomorphism ring, real multiplication, and quaternion multiplication, respectively. Particularly, in the real multiplication case and when $K=\mathbb{Q}$, the bound is related to an upper bound for the distribution of Frobenius traces of $A$. Also in the real multiplication case, we provide unconditional upper bounds for a variant of the problem, which concerns the number of prime ideals for which the reduction of $A$ at the prime has a particular Newton datum and is not simple.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is the distribution problem of supersingular primes of abelian surfaces under specific conditions. Specifically, the goal of the paper is to give an unconditional upper bound on the number of prime ideals $\mathfrak{p}$ with supersingular reduction when the abelian surface $A/K$ is under different types of endomorphism rings. ### Specific problem description of the paper 1. **Research objects**: - Absolutely simple abelian surface $A/K$, where $K$ is a number field. - The norm of the prime ideal $\mathfrak{p}$ is no more than $x$, and $A$ has supersingular reduction at $\mathfrak{p}$. 2. **Main objectives**: - Give an unconditional upper bound on the number $\pi_{A,ss}(x)$ of prime ideals $\mathfrak{p}$ with supersingular reduction. - In particular, give specific upper bounds in the cases of real multiplication and quaternion multiplication respectively. ### Key results of the paper - **Theorem 1**: For the absolutely simple abelian surface $A/K$, when $D = \mathbb{Q}$, \[ \pi_{A,ss}(x) \ll \frac{x (\log \log x)^{3/2}}{(\log x)^{3/2}} \] - When $\text{End}_K(A)=\text{End}_{\overline{K}}(A)$ and $A$ has real multiplication, \[ \pi_{A,ss}(x) \ll \frac{x (\log \log x)^2}{(\log x)^2} \] - When $\text{End}_K(A)=\text{End}_{\overline{K}}(A)$ and $A$ has quaternion multiplication, \[ \pi_{A,ss}(x) \ll \frac{x (\log \log x)^2}{(\log x)^2} \] ### Methods and tools of the paper - **Sieve theory**: Used to deal with the counting problem of prime ideals. - **Effective Chebotarev Density Theorem**: Used to estimate the distribution of the traces of certain Galois representations. - **Subgroups and conjugacy classes of matrix groups**: In particular, the properties of $GL_2(\mathbb{F}_\ell)$ and $GSp_4(\mathbb{F}_\ell)$. Through these methods, the author is able to provide precise upper bounds for the distribution of supersingular primes for different types of abelian surfaces, thus promoting the research progress in this field.

Distribution of supersingular primes for abelian surfaces

Almost ordinary Abelian surfaces over global function fields with application to integral points

Abelian surfaces over finite fields with prescribed groups

On the Mordell-Weil Ranks of supersingular abelian varieties over $\mathbb{Z}_p^2$-extensions

Boundedness of the p-primary torsion of the Brauer groups of K3 surfaces

Sato–Tate Type Distributions for Matrix Points on Elliptic Curves and Some K3 Surfaces

Simultaneous supersingular reductions of Hecke orbits

Sato-Tate Type Distributions for Matrix Points on Elliptic Curves and Some $K3$ Surfaces

Abelian surfaces over $\mathbb{F}_{q}(t)$ with large Tate-Shafarevich groups

Polarized superspecial simple abelian surfaces with real Weil numbers

Abelian surfaces with supersingular good reduction and non semisimple Tate module

The asymptotic distribution of Elkies primes for reductions of abelian varieties is Gaussian

Endomorphism Rings of Supersingular Elliptic Curves and Quadratic Forms

Evolution of a Plasma Waveguide Created during Relativistic-Ponderomotive Self-Channeling of an Inte

A formulation for p-adic versions of the Birch and Swinnerton-Dyer conjectures in the supersingular case

Endomorphism Rings of Supersingular Elliptic Curves over F P

Quantitative upper bounds related to an isogeny criterion for elliptic curves

Boundedness of the p-primary torsion of the Brauer group of products of varieties

A note on the universal supersingular quotients of $U(2,1)$

Superspecial abelian varieties over finite prime fields

Curve counting on abelian surfaces and threefolds