Superspecial abelian varieties over finite prime fields

Chia-Fu Yu

DOI: https://doi.org/10.48550/arXiv.1004.0120

2010-04-13

Abstract:In this paper we determine the number of isomorphism classes of superspecial abelian varieties $A$ over the prime field $\Fp$ such that the relative Frobenius morphism $\pi_A$ satisfying $\pi_A^2=-p$.

Number Theory

What problem does this paper attempt to address?

On Supersingular Abelian Varieties of Dimension Two over Finite Fields

Chaoping Xing

DOI: https://doi.org/10.1006/ffta.1996.0024

IF: 1.655

1996-01-01

Finite Fields and Their Applications

Abstract:In this paper we study the characteristic polynomials and the rational point group structure of supersingular varieties of dimension two over finite fields. Meanwhile, we also list allL-functions of supersingular curves of genus two over F"2and determine the group structure of their divisor class groups over all finite algebraic extension of F"2.
Group structures of elementary supersingular abelian varieties over finite fields

Hui Zhu

DOI: https://doi.org/10.48550/arXiv.math/9808144

1998-08-31

Abstract:Let A be a supersingular abelian variety over a finite field k. We give an approximate description of the structure of the group A(k) of rational points of A over k in terms of the characteristic polynomial f of the Frobenius endomorphism of A relative to k. If f=g^e for a monic irreducible polynomial g and a positive integer e, we show that there is a group homomorphism A(k) --> (Z/g(1)Z)^e whose kernel and cokernel are elementary abelian 2-groups. In particular, this map is an isomorphism if the characteristic of k is 2 or A is simple of dimension greater than 2; in the last case one has e=1 or 2, and A(k) is isomorphic to (Z/g(1)Z)^e.

Number Theory
Abelian varieties that split modulo all but finitely many primes

Enric Florit

2024-04-12

Abstract:Let $A$ be a simple abelian variety over a number field $k$ such that $\operatorname{End}(A)$ is noncommutative. We show that $A$ splits modulo all but finitely many primes of $k$. We prove this by considering the subalgebras of $\operatorname{End}(A_{\mathfrak p})\otimes\mathbb{Q}$ which have prime Schur index. Our main tools are Tate's characterization of endomorphism algebras of abelian varieties over finite fields, and a Theorem of Chia-Fu Yu on embeddings of simple algebras.

Number Theory,Algebraic Geometry
Categories of abelian varieties over finite fields I. Abelian varieties over $\mathbb{F}_p$

Tommaso Giorgio Centeleghe,Jakob Stix

DOI: https://doi.org/10.48550/arXiv.1501.02446

2015-01-11

Abstract:We assign functorially a $\mathbb{Z}$-lattice with semisimple Frobenius action to each abelian variety over $\mathbb{F}_p$. This establishes an equivalence of categories that describes abelian varieties over $\mathbb{F}_p$ avoiding $\sqrt{p}$ as an eigenvalue of Frobenius in terms of simple commutative algebra. The result extends the isomorphism classification of Waterhouse and Deligne's equivalence for ordinary abelian varieties.

Number Theory,Algebraic Geometry
On the Frobenius fields of abelian varieties over number fields

Ashay A. Burungale,Haruzo Hida,Shilin Lai

2024-06-23

Abstract:Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$ has connected monodromy groups, we show that the set of places $v$ such that $F(A,v)$ is isomorphic to a fixed number field has upper Dirichlet density zero. Assuming the GRH, we give a power saving upper bound for the number of such places.

Number Theory
On the existence of superspecial nonhyperelliptic curves of genus $4$

Momonari Kudo

DOI: https://doi.org/10.1080/00927872.2019.1609013

2019-06-23

Abstract:A curve over a perfect field $K$ of characteristic $p > 0$ is said to be superspecial if its Jacobian is isomorphic to a product of supersingular elliptic curves over the algebraic closure $\overline{K}$. In recent years, isomorphism classes of superspecial nonhyperelliptic curves of genus $4$ over finite fields in small characteristic have been enumerated. In particular, the non-existence of superspecial curves of genus $4$ in characteristic $p = 7$ was proved. In this note, we give an elementary proof of the existence of superspecial nonhyperelliptic curves of genus $4$ for infinitely many primes $p$. Specifically, we prove that the variety $C_p : x^3+y^3+w^3= 2 y w + z^2 = 0$ in the projective $3$-space with $p > 2$ is a superspecial curve of genus $4$ if and only if $p \equiv 2 \pmod{3}$. Our computational results show that $C_p$ with $p \equiv 2 \pmod 3$ are maximal curves over $\mathbb{F}_{p^2}$ for all $3 \leq p \leq 269$.

Algebraic Geometry,Number Theory
A note on the universal supersingular quotients of $U(2,1)$

Peng Xu

2024-02-15

Abstract:Let $G$ be the unramified unitary group $U(2, 1)(E/F)$ defined over a non-archimedean local field $F$ of residue characteristic $p\neq 2$. In this note, we prove the universal supersingular quotients of $G$ are not irreducible in general.

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

Cédric Dion,Jishnu Ray

2024-07-04

Abstract:Let $p$ be a fixed odd prime and let $K$ be an imaginary quadratic field in which $p$ splits. Let $A$ be an abelian variety defined over $K$ with supersingular reduction at both primes above $p$ in $K$. Under certain assumptions, we give a growth estimate for the Mordell--Weil rank of $A$ over finite extensions inside the $\mathbb{Z}_p^2$-extension of $K$. In the last section, written by Chris Williams, he includes some speculative remarks on the $p$-adic $L$-functions for $\mathrm{GSp}(4)$ corresponding to the multi-signed Selmer groups constructed in this paper.

Number Theory,Representation Theory
Abelian varieties over finite fields with commutative endomorphism algebra: theory and algorithms

Jonas Bergström,Valentijn Karemaker,Stefano Marseglia

2024-09-30

Abstract:We give a categorical description of all abelian varieties with commutative endomorphism ring over a finite field with $q=p^a$ elements in a fixed isogeny class in terms of pairs consisting of a fractional $\mathbb Z[\pi,q/\pi]$-ideal and a fractional $W\otimes_{\mathbb Z_p} \mathbb Z_p[\pi,q/\pi]$-ideal, with $\pi$ the Frobenius endomorphism and $W$ the ring of integers in an unramified extension of $\mathbb Q_p$ of degree $a$. The latter ideal should be compatible at $p$ with the former and stable under the action of a semilinear Frobenius (and Verschiebung) operator; it will be the Dieudonné module of the corresponding abelian variety. Using this categorical description we create effective algorithms to compute isomorphism classes of these objects and we produce many new examples exhibiting exotic patterns.

Number Theory,Algebraic Geometry
Distribution of supersingular primes for abelian surfaces

Tian Wang

2024-04-21

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.

Number Theory
Abelian surfaces with supersingular good reduction and non semisimple Tate module

Maja Volkov

DOI: https://doi.org/10.1142/S1793042110003228

2023-01-13

Abstract:We show the existence of abelian surfaces $A$ over $\mathbb{Q}_p$ having good reduction with supersingular special fibre whose associated $p$-adic Galois module $V_p(A)$ is not semisimple.

Number Theory
Simultaneous supersingular reductions of Hecke orbits

Xiaoyu Zhang

2024-03-29

Abstract:Fix a finite set of primes $\mathcal{S}$, for an abelian variety $A_0$ over $\overline{\mathbb{Q}}$ (with extra structures) which has supersingular good reductions at all $\ell\in\mathcal{S}$, we consider the simultaneous reduction modulo $\ell\in\mathcal{S}$ of several copies of $p$-adic/prime-to-$N$ Hecke orbits of $A_0$. We show that this simultaneous reduction map is always surjective under certain rationality condition on the copies of the Hecke orbits.

Number Theory
Polarized superspecial simple abelian surfaces with real Weil numbers

Jiangwei Xue,Chia-Fu Yu

2024-08-12

Abstract:Let $q$ be an odd power of a prime $p\in \mathbb{N}$, and $\mathrm{PPSP}(\sqrt{q})$ be the finite set of isomorphism classes of principally polarized superspecial abelian surfaces in the simple isogeny class over $\mathbb{F}_q$ corresponding to the real Weil $q$-numbers $\pm \sqrt{q}$. We produce explicit formulas for $\mathrm{PPSP}(\sqrt{q})$ of the following kinds: (i) the class number formula, i.e.~the cardinality of $\mathrm{PPSP}(\sqrt{q})$; (ii) the type number formula, i.e. the number of endomorphism rings up to isomorphism of the underlying abelian surfaces of $\mathrm{PPSP}(\sqrt{q})$. Similar formulas are obtained for other collections of polarized superspecial members of this isogeny class grouped together according to their polarization modules. We observe several surprising identities involving the arithmetic genus of certain Hilbert modular surface on one side and the class number or type number of $(P, P_+)$-polarized superspecial abelian surfaces in this isogeny class on the other side.

Number Theory
Superspecial genus-$4$ double covers of elliptic curves

Takumi Ogasawara,Ryo Ohashi,Kosuke Sakata,Shushi Harashita

2024-10-03

Abstract:In this paper we study genus-$4$ curves obtained as double covers of elliptic curves. Firstly we shall give explicit defining equations of such curves with explicit criterion for whether it is nonsingular, and show the irreducibility of the long polynomial determining whether the genus-4 curve is nonsingular or not, in any characteristic $\ne 2,3$. Secondly, as an application, we enumerate superspecial genus-$4$ double covers of elliptic curves in small characteristic.

Algebraic Geometry
Classification of irreducible representations of affine group superschemes and the division superalgebras of their endomorphisms

Takuma Hayashi

2024-06-20

Abstract:In this paper, we classify irreducible representations of affine group superschemes over fields $F$ of characteristic not two in terms of those over a separable closure $F^{\mathrm{sep}}$ and their Galois twists. We also compute the division superalgebras of their endomorphisms mainly when they are central. Finally, we give numerical conclusions for quasi-reductive algebraic supergroups under certain conditions, based on Shibata's Borel--Weil theory for split quasi-reductive algebraic supergroups.

Representation Theory
Endomorphism Rings of Supersingular Elliptic Curves over F P

Songsong Li,Yi Ouyang,Zheng Xu

DOI: https://doi.org/10.1016/j.ffa.2019.101619

IF: 1.655

2019-01-01

Finite Fields and Their Applications

Abstract:Let p>3 be a fixed prime. For a supersingular elliptic curve E over Fp, a result of Ibukiyama tells us that End(E) is a maximal order O(q) (resp. O′(q)) in End(E)⊗Q indexed by a (non-unique) prime q satisfying q≡3mod8 and the quadratic residue (pq)=−1 if 1+π2∉End(E) (resp. 1+π2∈End(E)), where π=((x,y)↦(xp,yp) is the absolute Frobenius. Let qj denote the minimal q for E whose j-invariant j(E)=j and M(p) denote the maximum of qj for all supersingular j∈Fp. Firstly, we determine the neighborhood of the vertex [E] with j∉{0,1728} in the supersingular ℓ-isogeny graph if 1+π2∉End(E) and p>qjℓ2 or 1+π2∈End(E) and p>4qjℓ2: there are either ℓ−1 or ℓ+1 neighbors of [E], each of which connects to [E] by one edge and at most two of which are defined over Fp. We also give examples to illustrate that our bounds are tight. Next, under GRH, we obtain explicit upper and lower bounds for M(p), which were not studied in the literature as far as we know. To make the bounds useful, we estimate the number of supersingular elliptic curves with qjp except p=11 or 23 and M(p)
A note on certain superspecial and maximal curves of genus $5$

Momonari Kudo

DOI: https://doi.org/10.1080/00927872.2019.1609013

2019-06-23

Abstract:In this note, we characterize certain maximal superspecial curves of genus $5$ over finite fields. Specifically, we prove that the desingularization $T_p$ of $x y z^3 + x^5 + y^5 = 0$ is a maximal superspecial trigonal curve of genus $5$ if and only if $p \equiv -1 \pmod{15}$ or $p \equiv 11 \pmod{15}$. Moreover, we give families of maximal curves of more general type, which include $T_p$.

Algebraic Geometry,Number Theory
Non-commutative Iwasawa theory of abelian varieties over global function fields

Li-Tong Deng,Yukako Kezuka,Yong-Xiong Li,Meng Fai Lim

2024-06-01

Abstract:Let $A$ be an abelian variety defined over a global function field $F$. We investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ for any prime number $p$ distinct from the characteristic of $F$, over $p$-adic Lie extensions $F_\infty$ of $F$ which contain the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$. In particular, we prove that the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ is a torsion $\mathbb{Z}_p[[\mathrm{Gal}(F^\mathrm{cyc}/F)]]$-module with trivial $\mu$-invariant, and we establish the $\mathfrak{M}_H(G)$-conjecture of Coates-Fukaya-Kato-Sujatha-Venjakob for $A/F_\infty$. In view of the validity of the $\mathfrak{M}_H(G)$-conjecture, it therefore makes sense to speak of the characteristic element (in the sense of Coates et al.) attached to the Pontryagin dual of $\mathrm{Sel}(A/F_\infty)$. We relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Combining this with the deep results of Tate, Milne and Kato-Trihan, we show that the order of vanishing of the characteristic elements is equal to the order of vanishing of the $L$-function of $A/F$ at $s=1$ under appropriate assumptions. Finally, we relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$. This is a natural analogue of Zerbes' result in the number field context and generalises previous results of Sechi and Valentino in the function field context.

Number Theory
Counting Abelian Varieties over Finite Fields Via Frobenius Densities

Jeffrey D. Achter,S. Ali Altug,Luis Garcia,Julia Gordon,Wen -Wei Li,Thomas Rued

DOI: https://doi.org/10.2140/ant.2023.17.1239

2023-01-01

Algebra & Number Theory

Abstract:Let $[X,\lambda]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce a factor $\nu_v([X,\lambda])$ for each place $v$ of $\mathbb Q$, and show that the product of these factors essentially computes the size of the isogeny class of $[X,\lambda]$. The derivation of this mass formula depends on a formula of Kottwitz and on analysis of measures on the group of symplectic similitudes, and in particular does not rely on a calculation of class numbers.
Supersingular Brauer Classes in positive characteristic

Domenico Valloni

2024-12-03

Abstract:In this article, we define supersingular Brauer classes in positive characteristic and study their role in the Brauer-Manin obstruction. We relate this notion to the Brauer group of supersingular K3 surfaces and use our results to study the Brauer-Manin set cut out by the $p$-torsion Brauer group.

Number Theory,Algebraic Geometry

Superspecial abelian varieties over finite prime fields

On Supersingular Abelian Varieties of Dimension Two over Finite Fields

Group structures of elementary supersingular abelian varieties over finite fields

Abelian varieties that split modulo all but finitely many primes

Categories of abelian varieties over finite fields I. Abelian varieties over $\mathbb{F}_p$

On the Frobenius fields of abelian varieties over number fields

On the existence of superspecial nonhyperelliptic curves of genus $4$

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

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

Abelian varieties over finite fields with commutative endomorphism algebra: theory and algorithms

Distribution of supersingular primes for abelian surfaces

Abelian surfaces with supersingular good reduction and non semisimple Tate module

Simultaneous supersingular reductions of Hecke orbits

Polarized superspecial simple abelian surfaces with real Weil numbers

Superspecial genus-$4$ double covers of elliptic curves

Classification of irreducible representations of affine group superschemes and the division superalgebras of their endomorphisms

Endomorphism Rings of Supersingular Elliptic Curves over F P

A note on certain superspecial and maximal curves of genus $5$

Non-commutative Iwasawa theory of abelian varieties over global function fields

Counting Abelian Varieties over Finite Fields Via Frobenius Densities

Supersingular Brauer Classes in positive characteristic