BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jiangwei Xue

Jiangwei Xue contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NT

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access