Showing 1–6 of 6 results for author: Hilado, A

Ford Spheres in the Clifford-Bianchi Setting

Authors: Spencer Backman, Taylor Dupuy, Anton Hilado, Veronika Potter

Abstract: We define Ford Spheres $\mathcal{P}$ in hyperbolic $n$-space associated to Clifford-Bianchi groups $PSL_2(O)$ for $O$ orders in rational Clifford algebras associated to positive definite, integral, primitive quadratic forms. For $\mathcal{H}^2$ and $\mathcal{H}^3$ these spheres correspond to the classical Ford circles and Ford spheres (these are non-maximal subsets of classical Apollonian packings… ▽ More We define Ford Spheres $\mathcal{P}$ in hyperbolic $n$-space associated to Clifford-Bianchi groups $PSL_2(O)$ for $O$ orders in rational Clifford algebras associated to positive definite, integral, primitive quadratic forms. For $\mathcal{H}^2$ and $\mathcal{H}^3$ these spheres correspond to the classical Ford circles and Ford spheres (these are non-maximal subsets of classical Apollonian packings). We prove the Ford spheres are integral, have disjoint interiors, and intersect tangentially when they do intersect. If we assume that $O$ is Clifford-Euclidean then $\mathcal{P}$ is also connected. We also give connections to Dirichlet's Theorem and Farey fractions. In a discussion section, we pose some questions related to existing packings in the literature. △ Less

Submitted 7 November, 2024; v1 submitted 30 September, 2024; originally announced September 2024.

MSC Class: 11H31

The Basic Theory of Clifford-Bianchi Groups for Hyperbolic n-Space

Authors: Taylor Dupuy, Anton Hilado, Colin Ingalls, Adam Logan

Abstract: Let $K$ be a $\mathbb{Q}$-Clifford algebra associated to an $(n-1)$-ary positive definite quadratic form and let $\mathcal{O}$ be a maximal order in $K$. A Clifford-Bianchi group is a group of the form $\operatorname{SL}_2(\mathcal{O})$ with $\mathcal{O}$ as above. The present paper is about the actions of $\operatorname{SL}_2(\mathcal{O})$ acting on hyperbolic space $\mathcal{H}^{n+1}$ via Möbius… ▽ More Let $K$ be a $\mathbb{Q}$-Clifford algebra associated to an $(n-1)$-ary positive definite quadratic form and let $\mathcal{O}$ be a maximal order in $K$. A Clifford-Bianchi group is a group of the form $\operatorname{SL}_2(\mathcal{O})$ with $\mathcal{O}$ as above. The present paper is about the actions of $\operatorname{SL}_2(\mathcal{O})$ acting on hyperbolic space $\mathcal{H}^{n+1}$ via Möbius transformations $x\mapsto (ax+b)(cx+d)^{-1}$. We develop the general theory of orders exhibiting explicit orders in low dimensions of interest. These include, for example, higher-dimensional analogs of the Hurwitz order. We develop the abstract and computational theory for determining their fundamental domains and generators and relations (higher-dimensional Bianchi-Humbert Theory). We make connections to the classical literature on symmetric spaces and arithmetic groups and provide a proof that these groups are $\mathbb{Z}$-points of a $\mathbb{Z}$-group scheme and are arithmetic subgroups of $\operatorname{SO}_{1,n+1}(\mathbb{R})^{\circ}$ with their Möbius action. We report on our findings concerning certain Clifford-Bianchi groups acting on $\mathcal{H}^4$, $\mathcal{H}^5$, and $\mathcal{H}^6$ . △ Less

Submitted 26 July, 2024; originally announced July 2024.

Comments: 139 pages

Fourier Coefficients and Algebraic Cusp Forms on $\mathrm{U}(2,n)$

Authors: Anton Hilado, Finn McGlade, Pan Yan

Abstract: We establish a theory of scalar Fourier coefficients for a class of non-holomorphic, automorphic forms on the quaternionic real Lie group $\mathrm{U}(2,n)$. By studying the theta lifts of holomorphic modular forms from $\mathrm{U}(1,1)$, we apply this theory to obtain examples of non-holomorphic cusp forms on $\mathrm{U}(2,n)$ whose Fourier coefficients are algebraic numbers. We establish a theory of scalar Fourier coefficients for a class of non-holomorphic, automorphic forms on the quaternionic real Lie group $\mathrm{U}(2,n)$. By studying the theta lifts of holomorphic modular forms from $\mathrm{U}(1,1)$, we apply this theory to obtain examples of non-holomorphic cusp forms on $\mathrm{U}(2,n)$ whose Fourier coefficients are algebraic numbers. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 27 pages, comments welcome

MSC Class: 11F30

Irregular loci in the Emerton-Gee stack for GL_2

Authors: Rebecca Bellovin, Neelima Borade, Anton Hilado, Kalyani Kansal, Heejong Lee, Brandon Levin, David Savitt, Hanneke Wiersema

Abstract: Let K/Q_p be unramified. Inside the Emerton-Gee stack X_2, one can consider the locus of two-dimensional mod p representations of the absolute Galois group of K having a crystalline lift with specified Hodge-Tate weights. We study the case where the Hodge-Tate weights are irregular, which is an analogue for Galois representations of the partial weight one condition for Hilbert modular forms. We pr… ▽ More Let K/Q_p be unramified. Inside the Emerton-Gee stack X_2, one can consider the locus of two-dimensional mod p representations of the absolute Galois group of K having a crystalline lift with specified Hodge-Tate weights. We study the case where the Hodge-Tate weights are irregular, which is an analogue for Galois representations of the partial weight one condition for Hilbert modular forms. We prove that if the gap between each pair of weights is bounded by p (the irregular analogue of a Serre weight), then this locus is irreducible. We also establish various inclusion relations between these loci. △ Less

Submitted 24 September, 2023; originally announced September 2023.

Comments: 36 pages

The Statement of Mochizuki's Corollary 3.12: Initial Theta Data

Authors: Taylor Dupuy, Anton Hilado

Abstract: We show that Mochizuki's initial theta data is computable from an elliptic curve defined over $\mathbb{Q}$. We work out the case of initial theta data for the elliptic curve with Cremona label 11a1 in detail. We show that Mochizuki's initial theta data is computable from an elliptic curve defined over $\mathbb{Q}$. We work out the case of initial theta data for the elliptic curve with Cremona label 11a1 in detail. △ Less

Submitted 19 June, 2025; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: The previously titled "The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies" has split into "The Statement of Mochizuki's Corollary 3.12: Initial Theta Data" and "The Statement of Mochizuki's Corollary 3.12: the First Two Indeterminacies". An updated version of the present article will appear in Ramanujan Journal

Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12

Authors: Taylor Dupuy, Anton Hilado

Abstract: In \cite{Dupuy2020a} we gave some explicit formulas for the "indeterminacies" Ind1,Ind2,Ind3 in Mochizuki's Inequality as well as a new presentation of initial theta data. In the present paper we use these explicit formulas, together with our probabilistic formulation of \cite[Corollary 3.12]{IUT3} to derive variants of Szpiro's inequality (in the spirit of \cite{IUT4}). In particular, for an elli… ▽ More In \cite{Dupuy2020a} we gave some explicit formulas for the "indeterminacies" Ind1,Ind2,Ind3 in Mochizuki's Inequality as well as a new presentation of initial theta data. In the present paper we use these explicit formulas, together with our probabilistic formulation of \cite[Corollary 3.12]{IUT3} to derive variants of Szpiro's inequality (in the spirit of \cite{IUT4}). In particular, for an elliptic curve in initial theta data we show how to derive uniform Szpiro (with explicit numerical constants). The inequalities we get will be strictly weaker than \cite[Theorem 1.10]{IUT4} but the proofs are more transparent, modifiable, and user friendly. All of these inequalities are derived from an probabilistic version of \cite[Corollary 3.12]{IUT3} formulated in \cite{Dupuy2020a} based on the notion of random measurable sets. △ Less

Submitted 28 April, 2020; v1 submitted 27 April, 2020; originally announced April 2020.