Related papers: A Modular Andre-Oort Statement with Derivatives

We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…

The modularity of an elliptic curve $E/\mathbb Q$ can be expressed either as an analytic statement that the $L$-function is the Mellin transform of a modular form, or as a geometric statement that $E$ is a quotient of a modular curve…

We prove a portion of a conjecture of B. Conrad, F. Diamond, and R. Taylor, yielding some new cases of the Fontaine-Mazur conjectures, specifically, the modularity of certain potentially Barsotti-Tate Galois representations. The proof…

In this paper we prove, assuming the Generalized Riemann Hypothesis, the Andr?e-Oort conjecture on the Zariski closure of sets of special points in a Shimura variety. In the case of sets of special points satisfying an additional…

We prove a version of the Extra-zero conjecture formulated by the first named author for p-adic L-functions associated to Rankin-Selberg convolutions of modular forms of the same weight. The novelty of this result is to provide strong…

This expository paper gives an account of the Pila-Wilkie counting theorem and some of its extensions and generalizations. We use semialgebraic cell decomposition to simplify part of the original proof. We also include complete treatments…

We show that the Drinfeld modular forms with $A$-expansion that have been constructed by the author are precisely the hyperderivatives of the subfamily of single-cuspidal Drinfeld modular forms with $A$-expansions that remain modular after…

The purpose of this short note is to present a simplified proof of Serre's modularity conjecture using the strong modularity lifting results currently available. This second version includes extra details on definitions and proofs than the…

This is a collection of variants of Schanuel's conjecture and the known dependencies between them. It was originally written in 2007, and made available for a time on my webpage. I have been asked by a few people to make it available again…

We investigate the analogue of the Andr\'e--Pink--Zannier conjecture in characteristic $p$. Precisely, we prove it for ordinary function field-valued points with big monodromy, in Shimura varieties of Hodge type. We also prove an algebraic…

We consider some diophantine problems suggested by the analogy between multiplicative groups and powers of the modular curve in problems of "unlikely intersections." We prove a special case of the Zilber-Pink conjecture for curves.

In a private communication, K. Ono conjectured that any mock theta function of weight 1/2 or 3/2 can be congruent modulo a prime $p$ to a weakly holomorphic modular form for just a few values of $p$. In this paper we describe when such a…

Inspired by the idea of blurring the exponential function, we define blurred variants of the $j$-function and its derivatives, where blurring is given by the action of a subgroup of $\rm{GL}_2(\mathbb{C})$. For a dense subgroup (in the…

I give a model-theoretic setting for the modular $j$ function and its derivatives. These structures, here called $j$-fields, provide an adequate setting for interpreting the Ax-Schanuel theorem for $j$ (Pila-Tsimerman 2015). Following the…

In this article, we establish an additive decomposition of the discrete zeta function (for $s \in \mathbb{N}^*$, $s > 1$), more precisely of the function $4(\zeta(s)-1)$, as a series whose general term is of the form $1/x_n(s) + 1/y_n(s) +…

We give two distinct proofs of the Gross-Zagier formula in terms of sums of automorphic Green's functions realized as regularized theta lifts, including one involving arithmetic Hirzebruch-Zagier divisors on the Hilbert modular surface…

Schanuel Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function. In particular it implies the Lindemann-Weierstrass Theorem. In my Ph.D. I showed that Schanuel Conjecture has a…

Let p be a polynomial in one complex variable. Smale's mean value conjecture estimates |p'(z)| in terms of the gradient of a chord from (z, p(z)) to some stationary point on the graph of $p$. The conjecture does not immediately generalise…

One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…

In this short note we present an elementary proof of the Ax-Lindemann-Weierstrass theorem for abelian and semi-abelian varieties. The proof uses ideas of Pila, Ullmo, Yafaev, Zannier and is based on basic properties of sets definable in…