Related papers: Ax-Schanuel for Shimura varieties

We give a simple and uniform proof of a conjecture of Haines-Richarz characterizing the smooth locus of Schubert varieties in twisted affine Grassmannians. Our method is elementary and avoids any representation theoretic techniques, instead…

We prove in this paper a classicality result for overconvergent modular forms on PEL Shimura varieties of type (A) or (C), without any ramification hypothesis. We use an analytic continuation method, which generalizes previous results in…

We prove a selection theorem for paraconvex-valued mappings defined on {\tau}-PF normal spaces. The method developed to prove this result is used to provide a general approach to such selection theorems.

We show, using the trace formula, that any Newton stratum of a Shimura variety of PEL-type of types (A) and (C) is non-empty at the primes of good reduction. Furthermore we prove conditionally the non-emptiness for Shimura data associated…

We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety…

Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C violates the Hasse principle, i.e., has points everywhere…

Given a bundle gerbe on a compact smooth manifold or, more generally, on a compact \'etale Lie groupoid $M$, we show that the corresponding category of gerbe modules, if it is non-trivial, is equivalent to the category of finitely generated…

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…

Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition "with many constants".

We show the existence of two new Shimura subvarieties of $\mathcal{A}_2, \mathcal{A}_3$ generically contained in the Torelli locus. They provide the first examples of Shimura subvarieties obtained by means of Jacobians carrying non-trivial…

Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and…

We present a general and comprehensive overview of recent developments in the theory of integral models of Shimura varieties of Hodge type. The paper covers the following topics: construction of integral models, their possible moduli…

We study the ring of sections A(X) of a complete symmetric variety X, that is of the wonderful completion of G/H where G is an adjoint semi-simple group and H is the fixed subgroup for an involutorial automorphism of G. We find generators…

We prove a certain transcendence property of the unipotent Albanese map of a smooth variety, conditional on the Ax-Schanuel conjecture for variations of mixed Hodge structure. We show that this property allows the Chabauty-Kim method to be…

We give an explicit form of Gross-Zagier formula on Shimura Curves and an explicit form of Waldspurger formula.

We formulate and prove the Siegel-Weil formula for loop groups.

Following work by Ullmo and Yafaev, we propose and prove an analogue of the Bloch-Ochiai theorem in the context of mixed Shimura varieties. We follow the strategy and use results of previous articles by Ullmo and Yafaev and the author plus…

We prove the Green conjecture for generic curves of odd genus. That is we prove the vanishing $K_{k,1}(X,K_X)=0$ for $X$ generic of genus $2k+1$. The curves we consider are smooth curves $X$ on a K3 surface whose Picard group has rank 2.…

In this short note, we prove a result about the non-generic part of the cohomology of certain compact unitary Shimura varieties for good $p$, partially extending a result of Boyer in the case of Harris--Taylor unitary Shimura varieties. Our…

By implementing jet differential techniques in non-archimedean geometry, we obtain a big Picard type extension theorem, which generalizes a previous result of Cherry and Ru. As applications, we establish two hyperbolicity-related results.…