Related papers: A two dimensional arithmetic Andr\'e-Oort problem

We prove that a Shimura curve in the Siegel modular variety is not generically contained in the open Torelli locus as long as the rank of unitary part in its canonical Higgs bundle satisfies a numerical upper bound. As an application we…

We introduce a ``hybrid'' conjecture which is a common generalisation of the Andr\'e-Oort conjecture and the Andr\'e-Pink-Zannier conjecture and we prove that it is a consequence of the Zilber-Pink conjecture. We also show that our hybrid…

We introduce a natural framework for dealing with Mourre theory in an abstract two-Hilbert spaces setting. In particular a Mourre estimate for a pair of self-adjoint operators (H,A) is deduced from a similar estimate for a pair of…

Main Theorem: Spaces of r-branch point 3-cycle covers, degree n or Galois of degree n!/2 have one (resp. two) component(s) if r=n-1 (resp. r\ge n). Improves Fried-Serre on deciding when sphere covers with odd-order branching lift to…

We classify ``arithmetic convection equations'' on modular curves, and describe their space of solutions. Certain of these solutions involve the Fourier expansions of the Eisenstein modular forms of weight 4 and 6, while others involve the…

This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over…

Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant…

The relative proportionality principle of Hirzebruch and H\"ofer was discovered in the case of compactified ball quotient surfaces X when studying curves C in X. It can be expressed as an inequality which attains equality precisely when C…

Let p be an odd prime. Suppose that E is a modular elliptic curve/Q with good ordinary reduction at p. Let Q_{oo} denote the cyclotomic Z_p-extension of Q. It is conjectured that Sel_E(Q_{oo}) is a cotorsion Lambda-module and that its…

We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E…

In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for…

We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion ($\mathsf{ATR}_0$) from the point of view of computability-theoretic reducibilities, in particular Weihrauch…

We consider a certain convolution semigroup $\Theta$ of probability distributions on the group $\mathbb{R}\times \mathbb{Z}(2)$, where $\mathbb{R}$ is the group of real numbers and $\mathbb{Z}(2)$ is the additive group of the integers…

We give a proof of the Andr\'e-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the Colmez conjecture yields lower bounds…

We show that every component of the locus of smooth supersingular curves of genus $4$ in characteristic $p>2$ has a trivial generic automorphism group. As a result, we prove Oort's conjecture about automorphism groups of supersingular…

In this paper we study the Oort conjecture on Shimura subvarieties contained generically in the Torelli locus in the Siegel modular variety $\mathcal{A}_g$. Using the poly-stability of Higgs bundles on curves and the slope inequality of…

Let M_2 be the moduli space that classifies genus 2 curves. If a curve C is defined over a field k, the corresponding moduli point P=[C] is defined over k. Mestre solved the converse problem for curves with Aut(C) isomorphic to C_2. Given a…

Let p > 2 be prime. We state and prove (under mild hypotheses on the residual representation) a geometric refinement of the Breuil-M\'ezard conjecture for 2-dimensional mod p representations of the absolute Galois group of Qp. We also state…

We define variants of PEL type of the Shimura varieties that appear in the context of the Arithmetic Gan-Gross-Prasad conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral…

It is conjectured that there exist finitely many isomorphism classes of simple endomorphism algebras of abelian varieties of GL_2-type over \Q of bounded dimension. We explore this conjecture when particularized to quaternion endomorphism…