Related papers: Supersingular abelian surfaces and Eichler class n…

In this paper we determine the number of endomorphism rings of superspecial abelian surfaces over a field $\mathbb{F}_q$ of odd degree over $\mathbb{F}_p$ in the isogeny class corresponding to the Weil $q$-number $\pm\sqrt{q}$. This extends…

Extending the results of [Asian J. Math. 2019], in [Doc. Math. \textbf{21}, 2016] we calculated explicitly the number of isomorphism classes of superspecial abelian surfaces over an arbitrary finite field of \textit{odd} degree over the…

In his pioneering work [Crelle's Journal, 1955], Eichler established the theory of trace formulas for Brandt matrices of quaternion orders. From it he derived a class number formula for Eichler orders in a totally definite quaternion…

Let $D$ be a totally definite quaternion algebra over a totally real number field $F$, and $\mathcal{O}$ be an $O_F$-order (of full rank) in $D$. The type number $t(\mathcal{O})$ is an important arithmetic invariant of $\mathcal{O}$ that…

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$…

Let $F$ be a number field, and $D$ be a quaternion $F$-algebra. We show that the class number of any residually unramified $O_F$-order (e.g. an Eichler order) in $D$ is divisible by the class number of $F$.

This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over…

We study abelian varieties $A$ with multiplication by a totally indefinite quaternion algebra over a totally real number field and give a criterion for the existence of principal polarizations on them in pure arithmetic terms. Moreover, we…

We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes…

In the paper [On superspecial abelian surfaces over finite fields II. J. Math. Soc. Japan, 72(1):303--331, 2020], Tse-Chung Yang and the first two current authors computed explicitly the number $\lvert \mathrm{SSp}_2(\mathbb{F}_q)\rvert$ of…

Let $A$ be an abelian variety over a finite field $k$. The $k$-isogeny class of $A$ is uniquely determined by the Weil polynomial $f_A$. We assume that $f_A$ is separable. For a given prime number $\ell\neq\mathrm{char}\, k$ we give a…

Let $A=E \times E_{ss}$ be a principally polarized almost ordinary split abelian surface over a finite field $\mathbb{F}_{q}$. We give asymptotic upper and lower bounds on the number of principally polarized abelian surfaces over…

Let $A$ be an abelian surface over a finite field $k$. The $k$-isogeny class of $A$ is uniquely determined by a Weil polynomial $f_A$ of degree 4. We give a classification of the groups of $k$-rational points on varieties from this class in…

In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degree and nontrivial class group. Using the algorithm over…

We present a new algorithm for computing the endomorphism ring of an ordinary abelian surface over a finite field which is subexponential and generalizes an algorithm of Bisson and Sutherland for elliptic curves. The correctness of this…

We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the run time of these algorithms and consider several related…

Let F be a real quadratic field, and let R be an order in F. Suppose given a polarized abelian surface (A,\lambda) defined over a number field k with a symmetric action of R defined over k. This paper considers varying A within the…

A conjecture of Coleman implies that only finitely many quaternion algebras over the rational numbers can be the endomorphism $\mathbf{Q}$-algebras of abelian surfaces over the complex numbers which can be defined over $\mathbf{Q}$. One may…

We prove an integral version of the classical Albert-Brauer-Hasse-Noether theorem regarding quaternion algebras over number fields. Let $\mathfrak A$ be a quaternion algebra over a number field $K$ and assume that $\mathfrak A$ satisfies…

For an abelian totally real number field $F$ and an odd prime number $p$ which splits totally in $F$, we present a functorial approach to special "$p$-units" previously built by D. Solomon using "wild" Euler systems. This allows us to prove…