Showing 1–21 of 21 results for author: Daw, C

Unlikely intersections in Shimura varieties and beyond: a survey

Authors: Christopher Daw

Abstract: The aim of this note is to provide a concise introduction to so-called problems of unlikely intersections for (pure) Shimura varieties and to review the current state-of-the-art. In the process, we will touch upon more general settings and some of the results in those contexts. The aim of this note is to provide a concise introduction to so-called problems of unlikely intersections for (pure) Shimura varieties and to review the current state-of-the-art. In the process, we will touch upon more general settings and some of the results in those contexts. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Comments: 30 pages; comments welcome

MSC Class: 11G18; 14G35

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

A note on unlikely intersections in Shimura varieties

Authors: Vahagn Aslanyan, Christopher Daw

Abstract: We discuss the relationships between the André-Oort, André-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely intersections in Shimura varieties. We discuss the relationships between the André-Oort, André-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely intersections in Shimura varieties. △ Less

Submitted 11 March, 2024; v1 submitted 16 September, 2022; originally announced September 2022.

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

Fine-Grained Classroom Activity Detection from Audio with Neural Networks

Authors: Eric Slyman, Chris Daw, Morgan Skrabut, Ana Usenko, Brian Hutchinson

Abstract: Instructors are increasingly incorporating student-centered learning techniques in their classrooms to improve learning outcomes. In addition to lecture, these class sessions involve forms of individual and group work, and greater rates of student-instructor interaction. Quantifying classroom activity is a key element of accelerating the evaluation and refinement of innovative teaching practices,… ▽ More Instructors are increasingly incorporating student-centered learning techniques in their classrooms to improve learning outcomes. In addition to lecture, these class sessions involve forms of individual and group work, and greater rates of student-instructor interaction. Quantifying classroom activity is a key element of accelerating the evaluation and refinement of innovative teaching practices, but manual annotation does not scale. In this manuscript, we present advances to the young application area of automatic classroom activity detection from audio. Using a university classroom corpus with nine activity labels (e.g., "lecture," "group work," "student question"), we propose and evaluate deep fully connected, convolutional, and recurrent neural network architectures, comparing the performance of mel-filterbank, OpenSmile, and self-supervised acoustic features. We compare 9-way classification performance with 5-way and 4-way simplifications of the task and assess two types of generalization: (1) new class sessions from previously seen instructors, and (2) previously unseen instructors. We obtain strong results on the new fine-grained task and state-of-the-art on the 4-way task: our best model obtains frame-level error rates of 6.2%, 7.7% and 28.0% when generalizing to unseen instructors for the 4-way, 5-way, and 9-way classification tasks, respectively (relative reductions of 35.4%, 48.3% and 21.6% over a strong baseline). When estimating the aggregate time spent on classroom activities, our average root mean squared error is 1.64 minutes per class session, a 54.9% relative reduction over the baseline. △ Less

Submitted 9 November, 2021; v1 submitted 29 July, 2021; originally announced July 2021.

Proposal-based Few-shot Sound Event Detection for Speech and Environmental Sounds with Perceivers

Authors: Piper Wolters, Logan Sizemore, Chris Daw, Brian Hutchinson, Lauren Phillips

Abstract: Many applications involve detecting and localizing specific sound events within long, untrimmed documents, including keyword spotting, medical observation, and bioacoustic monitoring for conservation. Deep learning techniques often set the state-of-the-art for these tasks. However, for some types of events, there is insufficient labeled data to train such models. In this paper, we propose a region… ▽ More Many applications involve detecting and localizing specific sound events within long, untrimmed documents, including keyword spotting, medical observation, and bioacoustic monitoring for conservation. Deep learning techniques often set the state-of-the-art for these tasks. However, for some types of events, there is insufficient labeled data to train such models. In this paper, we propose a region proposal-based approach to few-shot sound event detection utilizing the Perceiver architecture. Motivated by a lack of suitable benchmark datasets, we generate two new few-shot sound event localization datasets: "Vox-CASE," using clips of celebrity speech as the sound event, and "ESC-CASE," using environmental sound events. Our highest performing proposed few-shot approaches achieve 0.483 and 0.418 F1-score, respectively, with 5-shot 5-way tasks on these two datasets. These represent relative improvements of 72.5% and 11.2% over strong proposal-free few-shot sound event detection baselines. △ Less

Submitted 23 December, 2023; v1 submitted 28 July, 2021; originally announced July 2021.

Comments: Updated results based on additional experimentation and moved dataset generation prose to stand-alone section

Modular curves and their pseudo-analytic cover

Authors: Boris Zilber, Chris Daw

Abstract: We find a natural $L_{ω_1,ω}$-axiomatisation $Σ$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $Σ$ has a unique model in every uncountable cardinal. The proof relies heavily on the theory of complex multiplication and the work on Langland's conjecture on the conjugation of Shimura varieties. We also use the earlier work… ▽ More We find a natural $L_{ω_1,ω}$-axiomatisation $Σ$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $Σ$ has a unique model in every uncountable cardinal. The proof relies heavily on the theory of complex multiplication and the work on Langland's conjecture on the conjugation of Shimura varieties. We also use the earlier work on a related problem by C.Daw and A.Harris. The essential difference between the setting of this work and that of the current paper is that the former was in the language which named the CM-points of the modular curves while our results here are over $\mathbb{Q}.$ △ Less

Submitted 27 November, 2022; v1 submitted 23 July, 2021; originally announced July 2021.

MSC Class: 03C45; 11G18

Canonical models of modular curves and the Galois action on CM-points

Authors: Boris Zilber, Chris Daw

Abstract: We use the theory of canonical models of Shimura varieties to describe the projective limit of the curves Y(N), all N, and its automorphism group. In particular we prove that the Galois group of Q(CM) over Q is an extension of a certain abelian group by a 2-element group, where Q(CM) stands for the the extension of Q by all the CM-points on all the curves Y(N). We use the theory of canonical models of Shimura varieties to describe the projective limit of the curves Y(N), all N, and its automorphism group. In particular we prove that the Galois group of Q(CM) over Q is an extension of a certain abelian group by a 2-element group, where Q(CM) stands for the the extension of Q by all the CM-points on all the curves Y(N). △ Less

Submitted 27 November, 2022; v1 submitted 11 June, 2021; originally announced June 2021.

MSC Class: 11G18; 03C45

Effective computations for weakly optimal subvarieties

Authors: Gal Binyamini, Christopher Daw

Abstract: Ren and the second author established that the weakly optimal subvarieties (e.g. maximal weakly special subvarieties) of a subvariety $V$ of a Shimura variety arise in finitely many families. In this article, we refine this theorem by (1) constructing a finite collection of algebraic families whose fibers are precisely the weakly optimal subvarieties of $V$; (2) obtaining effective degree bounds o… ▽ More Ren and the second author established that the weakly optimal subvarieties (e.g. maximal weakly special subvarieties) of a subvariety $V$ of a Shimura variety arise in finitely many families. In this article, we refine this theorem by (1) constructing a finite collection of algebraic families whose fibers are precisely the weakly optimal subvarieties of $V$; (2) obtaining effective degree bounds on the weakly optimal locus and its individual members; (3) describing an effective procedure to determine the weakly optimal locus. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 33 pages

Tuning the optical bandgap in hybrid layered perovskites through variation of alkyl chain length

Authors: Jasmina A. Sichert, Annick Hemmerling, Carlos Cardenas Daw, Alexander S. Urban, Jochen Feldmann

Abstract: Recently, layered hybrid perovskites have been attracting huge interest due to a wide range of possible chemical compositions and the resulting tunability of the materials properties. In this study, we investigate the effect of the chain length of the organic ligands on the optical properties of stacks of two dimensional perovskite layers consisting of alkylammonium lead iodide (CnH2n+1NH3)2PbI4 w… ▽ More Recently, layered hybrid perovskites have been attracting huge interest due to a wide range of possible chemical compositions and the resulting tunability of the materials properties. In this study, we investigate the effect of the chain length of the organic ligands on the optical properties of stacks of two dimensional perovskite layers consisting of alkylammonium lead iodide (CnH2n+1NH3)2PbI4 with n=4-18. Photoluminescence and absorption spectroscopy reveal a blueshift with increasing chain length n including a jump of 110 meV between the n=10 and n=12 ligands due to a change in octahedral tilting. Using Xray diffraction (XRD) we determine the crystal structure and find the octahedral tilting to be the main cause of this blueshift. However, for very short chain lengths additional effects further reduce the transition energy. Results of effective mass approximation model calculations show good agreement between the expected reduction of transition energy and measured photoluminescence emission wavelength for these samples. This highlights how octahedral tilting plays a major role in determining the optical bandgap and suggests that miniband formation plays only a minor role in this material. △ Less

Submitted 27 October, 2020; originally announced October 2020.

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

The space of homogeneous probability measures on $\overline{Γ\backslash X}^S_{\rm max}$ is compact

Authors: Christopher Daw, Alexander Gorodnik, Emmanuel Ullmo, Jialun Li

Abstract: In this paper we prove that the space of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space is compact. As an application, we explain some consequences for the distribution of weakly special subvarieties of Shimura varieties. In this paper we prove that the space of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space is compact. As an application, we explain some consequences for the distribution of weakly special subvarieties of Shimura varieties. △ Less

Submitted 12 May, 2021; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: 27 pages; appendix by Jialun Li. arXiv admin note: text overlap with arXiv:1809.10090

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

Effective estimates for the degrees of maximal special subvarieties

Authors: Christopher Daw, Ariyan Javanpeykar, Lars Kühne

Abstract: Let $Z$ be an algebraic subvariety of a Shimura variety. We extend results of the first author to prove an effective upper bound for the degree of a non-facteur maximal special subvariety of $Z$. Let $Z$ be an algebraic subvariety of a Shimura variety. We extend results of the first author to prove an effective upper bound for the degree of a non-facteur maximal special subvariety of $Z$. △ Less

Submitted 17 September, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 27 pages

MSC Class: 11G18; 14G35

Journal ref: Sel. Math. New Ser. 26, 2 (2020)

Convergence of measures on compactifications of locally symmetric spaces

Authors: Christopher Daw, Alexander Gorodnik, Emmanuel Ullmo

Abstract: We conjecture that the set of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space $S=Γ\backslash G/K$ is compact. More precisely, given a sequence of homogeneous probability measures on $S$, we expect that any weak limit is homogeneous with support contained in precisely one of the boundary components (including $S$ itself). We introduce… ▽ More We conjecture that the set of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space $S=Γ\backslash G/K$ is compact. More precisely, given a sequence of homogeneous probability measures on $S$, we expect that any weak limit is homogeneous with support contained in precisely one of the boundary components (including $S$ itself). We introduce several tools to study this conjecture and we prove it in a number of cases, including when $G={\rm SL}_3(\mathbb{R})$ and $Γ={\rm SL}_3(\mathbb{Z})$. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Comments: 45 pages

Journal ref: Math. Z. 297, 1293-1328 (2021)

Conjugation of semisimple subgroups over real number fields of bounded degree

Authors: Mikhail Borovoi, Christopher Daw, Jinbo Ren

Abstract: Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field extension of $k$ of degree bounded independently of the subgroups. Moreover, if $k$ is a real number field, we show that any two connected semisimple $k$-subgroups of… ▽ More Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field extension of $k$ of degree bounded independently of the subgroups. Moreover, if $k$ is a real number field, we show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over the field of real numbers $\mathbb{R}$ are actually conjugate over a finite real extension of $k$ of degree bounded independently of the subgroups. △ Less

Submitted 11 December, 2018; v1 submitted 16 February, 2018; originally announced February 2018.

Comments: 13 pages; to appear in Proc. Amer. Math. Soc

MSC Class: 11E72; 20G30

Applications of the hyperbolic Ax-Schanuel conjecture

Authors: Christopher Daw, Jinbo Ren

Abstract: In 2014, Pila and Tsimerman gave a proof of the Ax-Schanuel conjecture for the $j$-function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimura variety. We refer to this generalization as the hyperbolic Ax-Schanuel conjecture. In this article, we show that the hyperbolic Ax-Schanuel conjecture can be used to reduce the Zilber-Pink conjecture for Shimura varie… ▽ More In 2014, Pila and Tsimerman gave a proof of the Ax-Schanuel conjecture for the $j$-function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimura variety. We refer to this generalization as the hyperbolic Ax-Schanuel conjecture. In this article, we show that the hyperbolic Ax-Schanuel conjecture can be used to reduce the Zilber-Pink conjecture for Shimura varieties to a problem of point counting. We further show that this point counting problem can be tackled in a number of cases using the Pila-Wilkie counting theorem and several arithmetic conjectures. Our methods are inspired by previous applications of the Pila-Zannier method and, in particular, the recent proof by Habegger and Pila of the Zilber-Pink conjecture for curves in abelian varieties. △ Less

Submitted 11 October, 2018; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 46 pages; published in Compositio Mathematica; minor revision

MSC Class: 11G18; 14G35

Journal ref: Compositio Math. 154 (2018) 1843-1888

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

The André-Oort conjecture via o-minimality

Authors: Christopher Daw

Abstract: The purpose of this article is to explain the Pila-Zannier strategy for proving the André-Oort conjecture. First, however, we will provide a brief introduction to the theory of Shimura varieties. The purpose of this article is to explain the Pila-Zannier strategy for proving the André-Oort conjecture. First, however, we will provide a brief introduction to the theory of Shimura varieties. △ Less

Submitted 10 December, 2014; originally announced December 2014.

Comments: Preprint, to appear in the forthcoming LMS Lecture Note series, O-Minimality and Diophantine Geometry, published by Cambridge Univeristy Press. Originating from a short LMS-EPSRC course held at the Univeristy of Manchester

MSC Class: 11G18; 14G35; 03C64

Categoricity of modular and Shimura curves

Authors: Christopher Daw, Adam Harris

Abstract: We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{ω_1, ω}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with H… ▽ More We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{ω_1, ω}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this $\mathcal{L}_{ω_1, ω}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety. △ Less

Submitted 14 September, 2015; v1 submitted 17 April, 2013; originally announced April 2013.

MSC Class: 03C35; 11G18; 03C10; 11G05