Showing 1–16 of 16 results for author: Orr, M

Extension of relative rigid homomorphisms from the formal multiplicative group

Authors: Martin Orr

Abstract: A theorem of Lütkebohmert states that a rigid group homomorphism from the formal multiplicative group to a smooth commutative rigid group $G$, with relatively compact image, can be extended to a homomorphism from the rigid multiplicative group to $G$. In this paper, we prove a relative version of this theorem over a geometrically reduced quasi-compact quasi-separated rigid space. The relative theo… ▽ More A theorem of Lütkebohmert states that a rigid group homomorphism from the formal multiplicative group to a smooth commutative rigid group $G$, with relatively compact image, can be extended to a homomorphism from the rigid multiplicative group to $G$. In this paper, we prove a relative version of this theorem over a geometrically reduced quasi-compact quasi-separated rigid space. The relative theorem is proved under an additional hypothesis that some open relative subgroup of $G$ has good reduction. This theorem is useful for studying rigid uniformisation of abelian or semiabelian varieties in a relative setting. △ Less

Submitted 2 October, 2024; v1 submitted 26 July, 2023; originally announced July 2023.

Comments: 21 pages, weakened hypothesis of main theorem

MSC Class: 14G22; 14L15

The large Galois orbits conjecture under multiplicative degeneration

Authors: Christopher Daw, Martin Orr

Abstract: We establish the PEL type large Galois orbits conjecture for Hodge generic curves in $\mathcal{A}_g$ possessing multiplicative degeneration. Combined with our earlier works, this concludes the proof of the Zilber-Pink conjecture in $\mathcal{A}_2$ for such curves. We also deduce several new cases of Zilber-Pink in $\mathcal{A}_g$ for $g\geq 3$. Our proof uses André's G-functions method, using form… ▽ More We establish the PEL type large Galois orbits conjecture for Hodge generic curves in $\mathcal{A}_g$ possessing multiplicative degeneration. Combined with our earlier works, this concludes the proof of the Zilber-Pink conjecture in $\mathcal{A}_2$ for such curves. We also deduce several new cases of Zilber-Pink in $\mathcal{A}_g$ for $g\geq 3$. Our proof uses André's G-functions method, using formal and rigid uniformisation of semiabelian schemes to interpret the $p$-adic evaluations of the period G-functions. △ Less

Submitted 15 May, 2025; v1 submitted 23 June, 2023; originally announced June 2023.

Comments: 71 pages; corrected proofs of Lemmas 3.3 and 5.7, various other minor corrections and amendments

MSC Class: 11G18; 11G50; 14G35; 14G22

Zilber-Pink in a product of modular curves assuming multiplicative degeneration

Authors: Christopher Daw, Martin Orr

Abstract: We prove the Zilber--Pink conjecture for curves in $Y(1)^n$ whose Zariski closure in $(\mathbb{P}^1)^n$ passes through the point $(\infty, \ldots, \infty)$, going beyond the asymmetry condition of Habegger and Pila. Our proof is based on a height bound following André's G-functions method. The principal novelty is that we exploit relations between evaluations of G-functions at unboundedly many non… ▽ More We prove the Zilber--Pink conjecture for curves in $Y(1)^n$ whose Zariski closure in $(\mathbb{P}^1)^n$ passes through the point $(\infty, \ldots, \infty)$, going beyond the asymmetry condition of Habegger and Pila. Our proof is based on a height bound following André's G-functions method. The principal novelty is that we exploit relations between evaluations of G-functions at unboundedly many non-archimedean places. △ Less

Submitted 3 March, 2025; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: 42 pages, corrected a few typos, CC BY licence applied in accordance with UKRI open access policy

MSC Class: 11G18; 11G50; 14G35

Lattices with skew-Hermitian forms over division algebras and unlikely intersections

Authors: Christopher Daw, Martin Orr

Abstract: This paper has two objectives. First, we study lattices with skew-Hermitian forms over division algebras with positive involutions. For division algebras of Albert types I and II, we show that such a lattice contains an "orthogonal" basis for a sublattice of effectively bounded index. Second, we apply this result to obtain new results in the field of unlikely intersections. More specifically, we p… ▽ More This paper has two objectives. First, we study lattices with skew-Hermitian forms over division algebras with positive involutions. For division algebras of Albert types I and II, we show that such a lattice contains an "orthogonal" basis for a sublattice of effectively bounded index. Second, we apply this result to obtain new results in the field of unlikely intersections. More specifically, we prove the Zilber-Pink conjecture for the intersection of curves with special subvarieties of simple PEL type I and II under a large Galois orbits conjecture. We also prove this Galois orbits conjecture for certain cases of type II. △ Less

Submitted 15 May, 2023; v1 submitted 25 November, 2021; originally announced November 2021.

Comments: 63 pages, corrections to typos and other minor errors

MSC Class: 11E39; 11G18

Journal ref: Journal de l'École Polytechnique - Mathématiques 10, p. 1097-1156, 2023

Invariant Brauer group of an abelian variety

Authors: Martin Orr, Alexei N. Skorobogatov, Domenico Valloni, Yuri G. Zarhin

Abstract: We study a new object that can be attached to an abelian variety or a complex torus: the invariant Brauer group, as recently defined by Yang Cao. Over the field of complex numbers this is an elementary abelian 2-group with an explicit upper bound on the rank. We exhibit many cases in which the invariant Brauer group is zero, and construct complex abelian varieties in every dimension starting with… ▽ More We study a new object that can be attached to an abelian variety or a complex torus: the invariant Brauer group, as recently defined by Yang Cao. Over the field of complex numbers this is an elementary abelian 2-group with an explicit upper bound on the rank. We exhibit many cases in which the invariant Brauer group is zero, and construct complex abelian varieties in every dimension starting with 2, both simple and non-simple, with invariant Brauer group of order 2. We also address the situation in finite characteristic and over non-closed fields. △ Less

Submitted 29 May, 2021; v1 submitted 10 July, 2020; originally announced July 2020.

Comments: 32 pages, to appear in Israel J. Math

MSC Class: 14F22; 11G10

Quantitative reduction theory and unlikely intersections

Authors: Christopher Daw, Martin Orr

Abstract: We prove quantitative versions of Borel and Harish-Chandra's theorems on reduction theory for arithmetic groups. Firstly, we obtain polynomial bounds on the lengths of reduced integral vectors in any rational representation of a reductive group. Secondly, we obtain polynomial bounds in the construction of fundamental sets for arithmetic subgroups of reductive groups, as the latter vary in a real c… ▽ More We prove quantitative versions of Borel and Harish-Chandra's theorems on reduction theory for arithmetic groups. Firstly, we obtain polynomial bounds on the lengths of reduced integral vectors in any rational representation of a reductive group. Secondly, we obtain polynomial bounds in the construction of fundamental sets for arithmetic subgroups of reductive groups, as the latter vary in a real conjugacy class of subgroups of a fixed reductive group. Our results allow us to apply the Pila--Zannier strategy to the Zilber--Pink conjecture for the moduli space of principally polarised abelian surfaces. Building on our previous paper, we prove this conjecture under a Galois orbits hypothesis. Finally, we establish the Galois orbits hypothesis for points corresponding to abelian surfaces with quaternionic multiplication, under certain geometric conditions. △ Less

Submitted 6 October, 2021; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 44 pages, small corrections and link to online publication in IMRN

MSC Class: 11F06; 11G18

Journal ref: International Mathematics Research Notices, 2022 (20), p. 16138-16195

Unlikely intersections with $E$ $\times$ CM curves in $\mathcal{A}_2$

Authors: Christopher Daw, Martin Orr

Abstract: The Zilber-Pink conjecture predicts that an algebraic curve in $\mathcal{A}_2$ has only finitely many intersections with the special curves, unless it is contained in a proper special subvariety. Under a large Galois orbits hypothesis, we prove the finiteness of the intersection with the special curves parametrising abelian surfaces isogenous to the product of two elliptic curves, at least one of… ▽ More The Zilber-Pink conjecture predicts that an algebraic curve in $\mathcal{A}_2$ has only finitely many intersections with the special curves, unless it is contained in a proper special subvariety. Under a large Galois orbits hypothesis, we prove the finiteness of the intersection with the special curves parametrising abelian surfaces isogenous to the product of two elliptic curves, at least one of which has complex multiplication. Furthermore, we show that this large Galois orbits hypothesis holds for curves satisfying a condition on their intersection with the boundary of the Baily-Borel compactification of $\mathcal{A}_2$. More generally, we show that a Hodge generic curve in an arbitrary Shimura variety has only finitely many intersection points with the generic points of a Hecke-facteur family, again under a large Galois orbits hypothesis. △ Less

Submitted 28 May, 2021; v1 submitted 27 February, 2019; originally announced February 2019.

Comments: 40 pages; minor correction to proof of Lemma 2.3

MSC Class: 11G15; 11G18; 14G35

Journal ref: Annali della Scuola Normale di Pisa - Classe di Scienze 22 (4), p. 1705-1745, 2021

Galois conjugates of special points and special subvarieties in Shimura varieties

Authors: Martin Orr

Abstract: Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih's… ▽ More Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih's construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne. △ Less

Submitted 19 August, 2019; v1 submitted 17 December, 2018; originally announced December 2018.

Comments: 16 pages

Journal ref: Journal of the Institute of Mathematics of Jussieu 20 (3), p. 1075-1089, 2021

On uniformity conjectures for abelian varieties and K3 surfaces

Authors: Martin Orr, Alexei N. Skorobogatov, Yuri G. Zarhin

Abstract: We discuss logical links among uniformity conjectures concerning K3 surfaces and abelian varieties of bounded dimension defined over number fields of bounded degree. The conjectures concern the endomorphism algebra of an abelian variety, the Neron-Severi lattice of a K3 surface, and the Galois invariant subgroup of the geometric Brauer group. We discuss logical links among uniformity conjectures concerning K3 surfaces and abelian varieties of bounded dimension defined over number fields of bounded degree. The conjectures concern the endomorphism algebra of an abelian variety, the Neron-Severi lattice of a K3 surface, and the Galois invariant subgroup of the geometric Brauer group. △ Less

Submitted 22 November, 2019; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: 38 pages. Minor fixes

Journal ref: American Journal of Mathematics 143 (6), p. 1665-1702, 2021

Unlikely intersections with Hecke translates of a special subvariety

Authors: Martin Orr

Abstract: We prove some cases of the Zilber-Pink conjecture on unlikely intersections in Shimura varieties. Firstly, we prove that the Zilber-Pink conjecture holds for intersections between a curve and the union of the Hecke translates of a fixed special subvariety, conditional on arithmetic conjectures. Secondly, we prove the conjecture unconditionally for intersections between a curve and the union of Hec… ▽ More We prove some cases of the Zilber-Pink conjecture on unlikely intersections in Shimura varieties. Firstly, we prove that the Zilber-Pink conjecture holds for intersections between a curve and the union of the Hecke translates of a fixed special subvariety, conditional on arithmetic conjectures. Secondly, we prove the conjecture unconditionally for intersections between a curve and the union of Hecke correspondences on the moduli space of principally polarised abelian varieties, subject to some technical hypotheses. This generalises results of Habegger and Pila on the Zilber-Pink conjecture for products of modular curves. The conditional proof uses the Pila-Zannier method, relying on a point-counting theorem of Habegger and Pila and a functional transcendence result of Gao. The unconditional results are deduced from this using a variety of arithmetic ingredients: the Masser-Wüstholz isogeny theorem, comparison between Faltings and Weil heights, a super-approximation theorem of Salehi Golsefidy, and a result on expansion and gonality due to Ellenberg, Hall and Kowalski. △ Less

Submitted 12 July, 2018; v1 submitted 11 October, 2017; originally announced October 2017.

Comments: 29 pages, minor revisions

MSC Class: 11G18; 14G35

Journal ref: Journal of the European Mathematical Society 23 (1), p. 1-28, 2021

Finiteness theorems for K3 surfaces and abelian varieties of CM type

Authors: Martin Orr, Alexei N. Skorobogatov

Abstract: We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational numbers. As an application we confirm finiteness conjectures of Shafarevich and Coleman in the CM case. In addition we prove the uniform boundedness of the Galoi… ▽ More We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational numbers. As an application we confirm finiteness conjectures of Shafarevich and Coleman in the CM case. In addition we prove the uniform boundedness of the Galois invariant subgroup of the geometric Brauer group for forms of a smooth projective variety satisfying the integral Mumford--Tate conjecture. When applied to K3 surfaces, this affirms a conjecture of Várilly-Alvarado in the CM case. △ Less

Submitted 17 November, 2017; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: 25 pages, to appear in Compositio Math

MSC Class: 11G15; 14J28; 14F22

Journal ref: Compositio Math. 154 (2018) 1571-1592

Height bounds and the Siegel property

Authors: Martin Orr

Abstract: Let $\mathbf{G}$ be a reductive group defined over $\mathbb{Q}$ and let $\mathfrak{S}$ be a Siegel set in $\mathbf{G}(\mathbb{R})$. The Siegel property tells us that there are only finitely many $γ\in \mathbf{G}(\mathbb{Q})$ of bounded determinant and denominator for which the translate $γ.\mathfrak{S}$ intersects $\mathfrak{S}$. We prove a bound for the height of these $γ$ which is polynomial wit… ▽ More Let $\mathbf{G}$ be a reductive group defined over $\mathbb{Q}$ and let $\mathfrak{S}$ be a Siegel set in $\mathbf{G}(\mathbb{R})$. The Siegel property tells us that there are only finitely many $γ\in \mathbf{G}(\mathbb{Q})$ of bounded determinant and denominator for which the translate $γ.\mathfrak{S}$ intersects $\mathfrak{S}$. We prove a bound for the height of these $γ$ which is polynomial with respect to the determinant and denominator. The bound generalises a result of Habegger and Pila dealing with the case of $\mathbf{GL}_2$, and has applications to the Zilber--Pink conjecture on unlikely intersections in Shimura varieties. In addition we prove that if $\mathbf{H}$ is a subgroup of $\mathbf{G}$, then every Siegel set for $\mathbf{H}$ is contained in a finite union of $\mathbf{G}(\mathbb{Q})$-translates of a Siegel set for $\mathbf{G}$). △ Less

Submitted 19 July, 2023; v1 submitted 5 September, 2016; originally announced September 2016.

Comments: 25 pages, corrected proof of Theorem 4.1

MSC Class: 11F06; 11G18

Journal ref: Alg. Number Th. 12 (2018) 455-478

On compatibility between isogenies and polarisations of abelian varieties

Authors: Martin Orr

Abstract: We discuss the notion of polarised isogenies of abelian varieties, that is, isogenies which are compatible with given principal polarisations. This is motivated by problems of unlikely intersections in Shimura varieties. Our aim is to show that certain questions about polarised isogenies can be reduced to questions about unpolarised isogenies or vice versa. Our main theorem concerns abelian vari… ▽ More We discuss the notion of polarised isogenies of abelian varieties, that is, isogenies which are compatible with given principal polarisations. This is motivated by problems of unlikely intersections in Shimura varieties. Our aim is to show that certain questions about polarised isogenies can be reduced to questions about unpolarised isogenies or vice versa. Our main theorem concerns abelian varieties B which are isogenous to a fixed abelian variety A. It establishes the existence of a polarised isogeny A to B whose degree is polynomially bounded in n, if there exist both an unpolarised isogeny A to B of degree n and a polarised isogeny A to B of unknown degree. As a further result, we prove that given any two principally polarised abelian varieties related by an unpolarised isogeny, there exists a polarised isogeny between their fourth powers. The proofs of both theorems involve calculations in the endomorphism algebras of the abelian varieties, using the Albert classification of these endomorphism algebras and the classification of Hermitian forms over division algebras. △ Less

Submitted 18 March, 2016; v1 submitted 12 June, 2015; originally announced June 2015.

MSC Class: 11E39; 14K02

Journal ref: Int. J. Number Theory, 13, 673-704 (2017)

Heights of pre-special points of Shimura varieties

Authors: Christopher Daw, Martin Orr

Abstract: Let s be a special point on a Shimura variety, and x a pre-image of s in a fixed fundamental set of the associated Hermitian symmetric domain. We prove that the height of x is polynomially bounded with respect to the discriminant of the centre of the endomorphism ring of the corresponding Z-Hodge structure. Our bound is the final step needed to complete a proof of the Andre-Oort conjecture under t… ▽ More Let s be a special point on a Shimura variety, and x a pre-image of s in a fixed fundamental set of the associated Hermitian symmetric domain. We prove that the height of x is polynomially bounded with respect to the discriminant of the centre of the endomorphism ring of the corresponding Z-Hodge structure. Our bound is the final step needed to complete a proof of the Andre-Oort conjecture under the conjectural lower bounds for the sizes of Galois orbits of special points, using a strategy of Pila and Zannier. △ Less

Submitted 12 July, 2017; v1 submitted 3 February, 2015; originally announced February 2015.

Comments: 60 pages; added details of correction to Lemma 2.15

MSC Class: 11G18

Journal ref: Mathematische Annalen, 2016, volume 365 (3), 1305-1357

Families of abelian varieties with many isogenous fibres

Authors: Martin Orr

Abstract: Let Z be a subvariety of the moduli space of principally polarised abelian varieties of dimension g over the complex numbers. Suppose that Z contains a Zariski dense set of points which correspond to abelian varieties from a single isogeny class. A generalisation of a conjecture of André and Pink predicts that Z is a weakly special subvariety. We prove this when dim Z = 1 using the Pila--Zannier m… ▽ More Let Z be a subvariety of the moduli space of principally polarised abelian varieties of dimension g over the complex numbers. Suppose that Z contains a Zariski dense set of points which correspond to abelian varieties from a single isogeny class. A generalisation of a conjecture of André and Pink predicts that Z is a weakly special subvariety. We prove this when dim Z = 1 using the Pila--Zannier method and the Masser--Wüstholz isogeny theorem. This generalises results of Edixhoven and Yafaev when the Hecke orbit consists of CM points and of Pink when it consists of Galois generic points. △ Less

Submitted 13 September, 2016; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: Gap in Lemma 3.3 found and corrected by Gabriel Dill

MSC Class: 11G18; 14K02

Journal ref: Journal für die reine und angewandte Mathematik, 2015, Issue 705, 211-231

Lower bounds for ranks of Mumford-Tate groups

Authors: Martin Orr

Abstract: Let A be a complex abelian variety and G its Mumford--Tate group. Supposing that the simple abelian subvarieties of A are pairwise non-isogenous, we find a lower bound for the rank of G, which is a little less than log_2 dim A. If we suppose that End A is commutative, then we show that rk G >= log_2 dim A + 2, and this latter bound is sharp. We also obtain the same results for the rank of the l-ad… ▽ More Let A be a complex abelian variety and G its Mumford--Tate group. Supposing that the simple abelian subvarieties of A are pairwise non-isogenous, we find a lower bound for the rank of G, which is a little less than log_2 dim A. If we suppose that End A is commutative, then we show that rk G >= log_2 dim A + 2, and this latter bound is sharp. We also obtain the same results for the rank of the l-adic monodromy group of an abelian variety defined over a number field. ----- Soit A une variété abélienne complexe et G son groupe de Mumford--Tate. En supposant que les sous variétés abéliennes simples de A sont deux à deux non-isogènes, on trouve une minoration du rang rk G de G, légèrement inférieure à log_2 dim A. Si on suppose que End A est commutatif, alors on montre que rk G >= log_2 dim A + 2, et cette borne-ci est optimale. On obtient les mêmes resultats pour le rang du groupe de monodromie l-adique d'une variété abélienne définie sur un corps de nombres. △ Less

Submitted 20 June, 2013; v1 submitted 31 October, 2011; originally announced October 2011.

Journal ref: Bulletin de la SMF 143, fascicule 2 (2015), 229-246