arXiv subjects

Guy Fowler

Publications and source records attributed to Guy Fowler.

8 recordsLinked to original sources

arXiv2026

Andr\'{e}'s theorem and weakly bounded height

Let $V \subset \mathbb{A}^2(\mathbb{C})$ be an algebraic curve such that $\mathrm{deg} X \neq \mathrm{deg} Y$, where $X, Y$ denote the coordinate functions on $\mathbb{A}^2(\mathbb{C})$ restricted to $V$. We prove there exists an effectively computable constant $c$, that depends linearly on the height of $V$, such that $\max \{h(x), h(y)\} \leq c$ for every $(x, y) \in V$ with $x$ and $y$ both CM $j$-invariants. This establishes, for such curves, an effective version of the Andr\'{e}--Oort conjecture that has a better dependence on the height of $V$ than previous effective results.

math.NT↗

arXiv2025

Modular Zilber-Pink for geometrically generic varieties

We prove that the modular Zilber--Pink conjecture (in Pink's formulation in terms of unlikely intersections) holds for all subvarieties $V$ of $ \mathrm{Y}(1)^n$ for which no projection to any $\dim V + 2$ coordinates is defined over the algebraic numbers.

math.NT↗

arXiv2025

Distinct differences of singular moduli

Let $E_1, E_2 / \mathbb{C}$ be non-isomorphic elliptic curves with complex multiplication. We prove that the pair $(E_1, E_2)$ is characterised, up to isomorphism, by the difference $j(E_1) - j(E_2)$ of the respective $j$-invariants. In other words, we show that if $x_1, x_2, x_3, x_4$ are singular moduli such that $x_1 - x_2 = x_3 - x_4$, then either $(x_1, x_2) = (x_3, x_4)$ or $(x_1, x_3) = (x_2, x_4)$.

math.NT↗

arXiv2024

Some uniform effective results on Andr\'{e}--Oort for sums of powers in $\mathbb{C}^n$

We prove an Andr\'e--Oort-type result for a family of hypersurfaces in $\mathbb{C}^n$ that is both uniform and effective. Let $K_*$ denote the single exceptional imaginary quadratic field which occurs in the Siegel--Tatuzawa lower bound for the class number. We prove that, for $m, n \in \mathbb{Z}_{>0}$, there exists an effective constant $c(m, n)>0$ with the following property: if pairwise distinct singular moduli $x_1, \ldots, x_n$ with respective discriminants $\Delta_1, \ldots, \Delta_n$ are such that $a_1 x_1^m + \ldots + a_n x_n^m \in \mathbb{Q}$ for some $a_1, \ldots, a_n \in \mathbb{Q} \setminus \{0\}$ and $\# \{ \Delta_i : \mathbb{Q}(\sqrt{\Delta_i}) = K_*\} \leq 1$, then $\max_i \lvert \Delta_i \rvert \leq c(m, n)$. In addition, we prove an unconditional and completely explicit version of this result when $(m, n) = (1, 3)$ and thereby determine all the triples $(x_1, x_2, x_3)$ of singular moduli such that $a_1 x_1 + a_2 x_2 + a_3 x_3 \in \mathbb{Q}$ for some $a_1, a_2, a_3 \in \mathbb{Q} \setminus \{0\}$.

math.NT↗

arXiv2023

Multiplicative relations among differences of singular moduli

Let $n \in \mathbb{Z}_{>0}$. We prove that there exist a finite set $V$ and finitely many algebraic curves $T_1, \ldots, T_k$ with the following property: if $(x_1, \ldots, x_n, y)$ is an $(n+1)$-tuple of pairwise distinct singular moduli such that $\prod_{i=1}^n (x_i - y)^{a_i}=1$ for some $a_1, \ldots, a_n \in \mathbb{Z} \setminus \{0\}$, then $(x_1, \ldots, x_n, y) \in V \cup T_1 \cup \ldots \cup T_k$. Further, the curves $T_1, \ldots, T_k$ may be determined explicitly for a given $n$.

math.NT↗

arXiv2021

Equations in three singular moduli: the equal exponent case

Let $a \in \mathbb{Z}_{>0}$ and $\epsilon_1, \epsilon_2, \epsilon_3 \in \{\pm 1\}$. We classify explicitly all singular moduli $x_1, x_2, x_3$ satisfying either $\epsilon_1 x_1^a + \epsilon_2 x_2^a + \epsilon_3 x_3^a \in \mathbb{Q}$ or $(x_1^{\epsilon_1} x_2^{\epsilon_2} x_3^{\epsilon_3})^{a} \in \mathbb{Q}^{\times}$. In particular, we show that all the solutions in singular moduli $x_1, x_2, x_3$ to the Fermat equations $x_1^a + x_2^a + x_3^a= 0$ and $x_1^a + x_2^a - x_3^a= 0$ satisfy $x_1 x_2 x_3 = 0$. Our proofs use a generalisation of a result of Faye and Riffaut on the fields generated by sums and products of two singular moduli, which we also establish.

math.NT↗

arXiv2020

Multiplicative independence of modular functions

We provide a new, elementary proof of the multiplicative independence of pairwise distinct $\mathrm{GL}_2^+(\mathbb{Q})$-translates of the modular $j$-function, a result due originally to Pila and Tsimerman. We are thereby able to generalise this result to a wider class of modular functions. We show that this class includes a set comprising modular functions which arise naturally as Borcherds lifts of certain weakly holomorphic modular forms. For $f$ a modular function belonging to this class, we deduce, for each $n \geq 1$, the finiteness of $n$-tuples of distinct $f$-special points that are multiplicatively dependent and minimal for this property. This generalises a theorem of Pila and Tsimerman on singular moduli. We then show how these results relate to the Zilber--Pink conjecture for subvarieties of the mixed Shimura variety $Y(1)^n \times \mathbb{G}_{\mathrm{m}}^n$ and prove some special cases of this conjecture.

math.NT↗

arXiv2020

Triples of singular moduli with rational product

We show that all triples $(x_1,x_2,x_3)$ of singular moduli satisfying $x_1 x_2 x_3 \in \mathbb{Q}^{\times}$ are "trivial". That is, either $x_1, x_2, x_3 \in \mathbb{Q}$; some $x_i \in \mathbb{Q}$ and the remaining $x_j, x_k$ are distinct, of degree $2$, and conjugate over $\mathbb{Q}$; or $x_1, x_2, x_3$ are pairwise distinct, of degree $3$, and conjugate over $\mathbb{Q}$. This theorem is best possible and is the natural three dimensional analogue of a result of Bilu, Luca, and Pizarro-Madariaga in two dimensions. It establishes an explicit version of the Andr\'e--Oort conjecture for the family of subvarieties $V_{\alpha} \subset \mathbb{C}^3$ defined by an equation $x_1 x_2 x_3 = \alpha \in \mathbb{Q}$.

math.NT↗