Source author record

Jiangwei Xue

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG

Catalog footprint

Research overview

15works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The spinor type number formula for totally definite quaternion orders

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 counts the number of isomorphism classes of orders belonging to the same genus as $\mathcal{O}$ (i.e. locally isomorphic to $\mathcal{O}$ at every finite place $\mathfrak{p}$ of $F$ ). The type number formula has been studied by Eichler, Peters, Pizer, Vigneras, Körner and many others. As the genus of $\mathcal{O}$ further divides into spinor genera, one naturally seeks a finer type number formula for the number of isomorphism classes of orders belonging to the same spinor genus of $\mathcal{O}$ . The main goal of this paper is to provide such a refinement for a large class of quaternion $O_F$ -orders $\mathcal{O}$ that includes all Eichler orders. This enables us to prove that $t(\mathcal{O})$ is divisible by the order of a quotient group $\mathrm{WSG}(\mathcal{O})$ of the Gauss genus group $\mathrm{Cl}^+(O_F)/\mathrm{Cl}^+(O_F)^2$ naturally attached to $\mathcal{O}$ . Similarly, we show that the trace of the $\mathfrak{n}$ -Brandt matrix $\mathfrak{B}(\mathcal{O}, \mathfrak{n})$ is divisible by the class number $h(F)$ for any nonzero integral $O_F$ -ideal $\mathfrak{n}$ . In particular, the class number $h(\mathcal{O})=\mathrm{Tr}(\mathfrak{B}(\mathcal{O}, O_F))$ is always divisible by $h(F)$ for such quaternion orders. This generalizes the divisibility result of $h(\mathcal{O})$ proved in a different way by Chia-Fu Yu and the second named author [Indiana Univ. Math. J., Vol. 70, No. 2 (2021)] in the case when $\mathcal{O}$ is a maximal $O_F$ -order in a totally definite quaternion algebra unramified at all the finite places.

preprint2022arXiv

On $\mathbb{F}_p$ -roots of the Hilbert class polynomial modulo $p$

The Hilbert class polynomial $H_{\mathcal{O}}(x)\in \mathbb{Z}[x]$ attached to an order $\mathcal{O}$ in an imaginary quadratic field $K$ is the monic polynomial whose roots are precisely the distinct $j$ -invariants of elliptic curves over $\mathbb{C}$ with complex multiplication by $\mathcal{O}$ . Let $p$ be a prime inert in $K$ and strictly greater than $|\operatorname{disc}(\mathcal{O})|$ . We show that the number of $\mathbb{F}_p$ -roots of $H_\mathcal{O}(x)\!\! \pmod{p}$ is either zero or $|\operatorname{Pic}(\mathcal{O})[2]|$ by exhibiting a free and transitive action of $\operatorname{Pic}(\mathcal{O})[2]$ on the set of $\mathbb{F}_p$ -roots of $H_\mathcal{O}(x)\!\! \pmod p$ whenever it is nonempty. We also provide a concrete criterion for the nonemptiness of the set of $\mathbb{F}_p$ -roots. A similar result was first obtained by Xiao et al.~[Int. J. Number Theory, DOI: 10.1142/S1793042122500555] and generalized much further by Li et al.~[arXiv:2108.00168] (that covers the current result) with a different approach.

preprint2022arXiv

Optimal spinor selectivity for quaternion orders

Let $D$ be a quaternion algebra over a number field $F$ , and $\mathscr{G}$ be an arbitrary genus of $O_F$ -orders of full rank in $D$ . Let $K$ be a quadratic field extension of $F$ that embeds into $D$ , and $B$ be an $O_F$ -order in $K$ that can be optimally embedded into some member of $\mathscr{G}$ . We provide a necessary and sufficient condition for $B$ to be optimally spinor selective for the genus $\mathscr{G}$ , which generalizes previous existing optimal selectivity criterions for Eichler orders as given by Arenas, Arenas-Carmona and Contreras, and by Voight independently. This allows us to obtain a refinement of the classical trace formula for optimal embeddings, which will be called the spinor trace formula. When $\mathscr{G}$ is a genus of Eichler orders, we extend Maclachlan's relative conductor formula for optimal selectivity from Eichler orders of square-free levels to all Eichler orders.

preprint2021arXiv

On superspecial abelian surfaces over finite fields III

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 isomorphism classes of superspecial abelian surfaces over an arbitrary finite field $\mathbb{F}_q$ of even degree over the prime field $\mathbb{F}_p$ . There it was assumed that certain commutative $\mathbb{Z}_p$ -orders satisfy an étale condition that excludes the primes $p=2, 3, 5$ . We treat these remaining primes in the present paper, where the computations are more involved because of the ramifications. This completes the calculation of $\lvert \mathrm{SSp}_2(\mathbb{F}_q)\rvert$ in the even degree case. The odd degree case was previous treated by Tse-Chung Yang and the first two current authors in [On superspecial abelian surfaces over finite fields. Doc. Math., 21:1607--1643, 2016]. Along the proof of our main theorem, we give the classification of lattices over local quaternion Bass orders, which is a new input to our previous works.

preprint2021arXiv

Optimal spinor selectivity for quaternion Bass orders

Let $A$ be a quaternion algebra over a number field $F$ , and $\mathcal{O}$ be an $O_F$ -order of full rank in $A$ . Let $K$ be a quadratic field extension of $F$ that embeds into $A$ , and $B$ be an $O_F$ -order in $K$ . Suppose that $\mathcal{O}$ is a Bass order that is well-behaved at all the dyadic primes of $F$ . We provide a necessary and sufficient condition for $B$ to be optimally spinor selective for the genus of $\mathcal{O}$ . This partially generalizes previous results on optimal (spinor) selectivity by C. Maclachlan [Optimal embeddings in quaternion algebras. J. Number Theory, 128(10):2852-2860, 2008] for Eichler orders of square-free levels, and independently by M. Arenas et al. [On optimal embeddings and trees. J. Number Theory, 193:91-117, 2018] and by J. Voight [Chapter 31, Quaternion algebras, volume 288 of Graduate Texts in Mathematics. Springer-Verlag, 2021] for Eichler orders of arbitrary levels.

preprint2016arXiv

Numerical Invariants of Totally Imaginary Quadratic $\mathbb{Z}[\sqrt{p}]$ -orders

Let $A$ be a real quadratic order of discriminant $p$ or $4p$ with a prime $p$ . In this paper we classify all proper totally imaginary quadratic $A$ -orders $B$ with index $w(B)=[B^\times: A^\times]>1$ . We also calculate numerical invariants of these orders including the class number, the index $w(B)$ and the numbers of local optimal embeddings of these orders into quaternion orders. These numerical invariants are useful for computing the class numbers of totally definite quaternion algebras.

preprint2016arXiv

On superspecial abelian varieties over finite fields

In this paper we establish a new lattice description for superspecial abelian varieties over a finite field $\mathbb {F}_q$ of $q=p^a$ elements. Our description depends on the parity of the exponent $a$ of $q$ . When $q$ is an odd power of the prime $p$ , we give an explicit formula for the number of superspecial abelian surfaces over $\mathbb F_q$ .

preprint2015arXiv

Supersingular abelian surfaces and Eichler class number formula

Let $F$ be a totally real field with ring of integers $O_F$ , and $D$ be a totally definite quaternion algebra over $F$ . A well-known formula established by Eichler and then extended by Körner computes the class number of any $O_F$ -order in $D$ . In this paper we generalize the Eichler class number formula so that it works for arbitrary $\mathbb{Z}$ -orders in $D$ . The motivation is to count the isomorphism classes of supersingular abelian surfaces in a simple isogeny class over a prime finite field $\mathbb{F}_p$ . We give explicit formulas for the number of these isomorphism classes for all primes $p$ .

preprint2014arXiv

Abelian varieties without a prescribed Newton Polygon reduction

In this article we construct for each integer $n\ge 2$ an abelian variety $A$ of dimension $n$ defined over a number field for which there exists a symmetric slope sequence of length $2n$ that does not appear as the slope sequence of $\widetilde A$ for all good reductions $\widetilde A$ of $A$ .

preprint2013arXiv

Endomorphism algebras of factors of certain hypergeometric Jacobians

We classify the endomorphism algebras of factors of the Jacobian of certain hypergeometric curves over a field of characteristic zero. Other than a few exceptional cases, the endomorphism algebras turn out to be either a cyclotomic field $E=\mathbb{Q}(ζ_q)$ , or a quadratic extension of $E$ , or $E\oplus E$ . This result may be viewed as a generalization of the well known results of the classification of endomorphism algebras of elliptic curves over $\mathbb{C}$ .

preprint2013arXiv

Fixed points and homology of superelliptic Jacobians

Let $η: C_{f,N}\to \mathbb{P}^1$ be a cyclic cover of $\mathbb{P}^1$ of degree $N$ which is totally and tamely ramified for all the ramification points. We determine the group of fixed points of the cyclic group $\mathbf{mu}_N\cong \mathbb{Z}/N\mathbb{Z}$ acting on the Jacobian $J_N:=\Jac(C_{f,N})$. For each $\ell$ distinct from the characteristic of the base field, the Tate module $T_\ell J_N$ is shown to be a free module over the ring $\mathbb{Z}_\ell[T]/(\sum_{i=0}^{N-1}T^i)$ . We also calculate the degree of the induced polarization on the new part $J_N^{new}$ of the Jacobian.

preprint2011arXiv

Hodge Groups of certain Superelliptic Jacobians II

Let K be a field of characteristic zero, f(x) be a polynomial with coefficients in K and without multiple roots. We consider the superelliptic curve C_{f,q} defined by y^q=f(x), where q=p^r is a power of a prime p. We determine the Hodge group of the simple factors of the Jacobian of C_{f,q}.

preprint2010arXiv

Centers of Hodge groups of superelliptic jacobians

We give lower bounds for dimensions of the centers of Hodge groups of superelliptic jacobians. In "generic case" this bound is precise. We also discuss dimensions of simple abelian subvarieties of superelliptic jacobians.

preprint2010arXiv

Endomorphism algebras of Jacobians of certain superelliptic curves

Let $p$ be a prime, and $q$ a power of $p$ . Using Galois theory, we show that over a field $K$ of characteristic zero, the endomorphism algebras of the jacobians of certain superelliptic curves $y^q=f(x)$ are products of cyclotomic fields.

preprint2010arXiv

Hodge groups of certain superelliptic jacobians

Suppose that $K$ is a field of characteristic 0, $p$ is an odd prime, $r$ a positive integer, $q=p^r$ a prime power. Suppose that $f(x)$ is a polynomial of degree $n > 4$ with coefficients in $K$ and without multiple roots. Let us consider the superelliptic curve $C: y^q=f(x)$ and its jacobian $J(C)$ . Assuming that $K$ is a subfield of the field of complex numbers, we study the (connected reductive algebraic) Hodge group $Hdg$ of the corresponding complex abelian variety $J(C)$ . In our previous paper (arXiv:0907.1563 [math.AG]) we studied the center of $Hdg. In this paper we study the semisimple part (commutator subgroup) of$ Hdg $. Assuming that$ p $does not divide$ n $and$ n-1 $is not divisible by$ q $, the Galois group of$ f(x) $over$ K $is either the full symmetric group$ S_n $or the alternating group$ A_n $, we prove that the semisimple part of$ Hdg$ is "as large as possible".

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jiangwei Xue

Research overview

Is this your work?

15 publications

The spinor type number formula for totally definite quaternion orders

On $\mathbb{F}_p$ -roots of the Hilbert class polynomial modulo $p$

Optimal spinor selectivity for quaternion orders

On superspecial abelian surfaces over finite fields III

Optimal spinor selectivity for quaternion Bass orders

Numerical Invariants of Totally Imaginary Quadratic $\mathbb{Z}[\sqrt{p}]$ -orders

On superspecial abelian varieties over finite fields

Supersingular abelian surfaces and Eichler class number formula

Abelian varieties without a prescribed Newton Polygon reduction

Endomorphism algebras of factors of certain hypergeometric Jacobians

Fixed points and homology of superelliptic Jacobians

Hodge Groups of certain Superelliptic Jacobians II

Centers of Hodge groups of superelliptic jacobians

Endomorphism algebras of Jacobians of certain superelliptic curves

Hodge groups of certain superelliptic jacobians

See the researcher in context

Building this map preview

Jiangwei Xue

Research overview

Is this your work?

15 publications

The spinor type number formula for totally definite quaternion orders

On Fp\mathbb{F}_pFp​-roots of the Hilbert class polynomial modulo ppp

Optimal spinor selectivity for quaternion orders

On superspecial abelian surfaces over finite fields III

Optimal spinor selectivity for quaternion Bass orders

Numerical Invariants of Totally Imaginary Quadratic Z[p]\mathbb{Z}[\sqrt{p}]Z[p​]-orders

On superspecial abelian varieties over finite fields

Supersingular abelian surfaces and Eichler class number formula

Abelian varieties without a prescribed Newton Polygon reduction

Endomorphism algebras of factors of certain hypergeometric Jacobians

Fixed points and homology of superelliptic Jacobians

Hodge Groups of certain Superelliptic Jacobians II

Centers of Hodge groups of superelliptic jacobians

Endomorphism algebras of Jacobians of certain superelliptic curves

Hodge groups of certain superelliptic jacobians

See the researcher in context

Building this map preview

On $\mathbb{F}_p$ -roots of the Hilbert class polynomial modulo $p$

Numerical Invariants of Totally Imaginary Quadratic $\mathbb{Z}[\sqrt{p}]$ -orders