Source author record

Yevgeny Zaytman

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 math.GR

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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])$ .

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.

Yevgeny Zaytman

Research overview

Is this your work?

3 publications

Isogeny complexes of superspecial abelian varieties

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

Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings

See the researcher in context

Building this map preview

Yevgeny Zaytman

Research overview

Is this your work?

3 publications

Isogeny complexes of superspecial abelian varieties

On the bounded generation of arithmetic SL2{\rm SL}_2SL2​

Quotient graphs and amalgam presentations for unitary groups over cyclotomic rings

See the researcher in context

Building this map preview

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