Source author record

Bruce W. Jordan

Bruce W. Jordan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.AG math.GR

Catalog footprint

What is connected

5works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Isogeny complexes of superspecial abelian varieties

We consider the structures formed by isogenies of abelian varieties with polarizations that are not necessarily principal, specifically with the $[\ell]$-polarizations we have previously defined. Our primary interest is in superspecial abelian varieties, where the isogenies are related to quaternionic hermitian forms. We first consider isogeny graphs. We show that these $[\ell]$-isogeny graphs are a generalized Brandt graph and construct them entirely in terms of definite quaternion algebras. We prove that they are connected and give examples to show that the regular graphs obtained are sometimes Ramanujan and sometimes not. Isogenies of $[\ell]$-polarized abelian varieties can be closed under composition, with the consequence that such isogenies naturally form semi-simplicial complexes as introduced by Eilenberg and Zilber in 1950 (later also called $Δ$-complexes) -- the higher-dimensional analogues of multigraphs. We show that these isogeny complexes can be constructed from the arithmetic of hermitian forms over definite quaternion algebras and that they are quotients of the Bruhat-Tits building of the symplectic group by the action of a quaternionic unitary group. Working with quaternions these isogeny graphs and complexes are amenable to machine computation and we include many examples, concluding with a detailed examination of the $[2]$-isogeny complexes of superspecial abelian surfaces in characteristic $7$.

preprint2021arXiv

On the bounded generation of arithmetic ${\rm SL}_2$

Let $K$ be a number field and ${\mathcal O}$ be the ring of $S$-integers in $K$. Morgan, Rapinchuck, and Sury have proved that if the group of units ${\mathcal O}^{\times}$ is infinite, then every matrix in ${\rm SL}_2({\mathcal O})$ is a product of at most $9$ elementary matrices. We prove that under the additional hypothesis that $K$ has at least one real embedding or $S$ contains a finite place we can get a product of at most $8$ elementary matrices. If we assume a suitable Generalized Riemann Hypothesis, then every matrix in ${\rm SL}_2({\mathcal O})$ is the product of at most $5$ elementary matrices if $K$ has at least one real embedding, the product of at most $6$ elementary matrices if $S$ contains a finite place, and the product of at most $7$ elementary matrices in general.

preprint2020arXiv

Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings

Suppose $4|n$, $n\geq 8$, $F=F_n=\mathbb{Q}(ζ_n+\barζ_n)$, and there is one prime $\mathfrak{p}=\mathfrak{p}_n$ above $2$ in $F_n$. We study amalgam presentations for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ and $\operatorname{PSU_{2}}(\mathbb{Z}[ζ_n, 1/2])$ with the Clifford-cyclotomic group in quantum computing as a subgroup. These amalgams arise from an action of these groups on the Bruhat-Tits tree $Δ=Δ_{\mathfrak{p}}$ for $\operatorname{SL_{2}}(F_\mathfrak{p})$ constructed via the Hamilton quaternions. We explicitly compute the finite quotient graphs and the resulting amalgams for $8\leq n\leq 48$, $n\neq 44$, as well as for $\operatorname{PU_{2}}(\mathbb{Z}[ζ_{60}, 1/2])$.

preprint2019arXiv

The analytic class number formula for $1$-dimensional affine schemes

We derive an analytic class number formula valid for an order in a product of $S$-integers in global fields, or equivalently for reduced finite-type affine schemes of pure dimension $1$ over $\mathbb{Z}$.

preprint2016arXiv

Unique factorization of principally polarized abelian varieties

Shimura proved that each principally polarized abelian variety over $\mathbf{C}$ admits a unique factorization into irreducible principally polarized abelian varieties. We give an exposition of his result, and generalize to an arbitrary ground field $k$. If $k$ is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over $k$ giving rise to the polarization.