arXiv subjects
Publications and source records attributed to Bruno Klingler.
In this note, we prove the Zilber--Pink conjecture for subvarieties of mixed Shimura varieties, which are not defined over~$\overline{\mathbb Q}$ in a strong sense. We prove similar results for general variations of mixed Hodge structure of geometric origin, assuming furthermore that they are absolute.
We study when the Picard group of smooth surfaces of degree $d\geq 5$ in $\mathbb{P}^3$ acquires extra classes. In particular we show that the so called exceptional components of the Noether-Lefschetz locus are not Zariski dense. This answers a 1991 question of C. Voisin. We also obtain similar results for the Noether-Lefschetz locus for suitable $(Y,L)$, where $Y$ is a smooth projective threefold and $L$ a very ample line bundle. Both results are applications of the Zilber-Pink viewpoint recently developed by the authors for arbitrary (polarized, integral) variations of Hodge structures.
Given a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$ over a complex smooth quasi-projective base $S$, a classical result of Cattani, Deligne and Kaplan says that its Hodge locus (i.e. the locus where exceptional Hodge tensors appear) is a countable union of irreducible algebraic subvarieties of $S$, called the special subvarieties for $\mathbb{V}$. Our main result in this paper is that, if the level of $\mathbb{V}$ is at least $3$, this Hodge locus is in fact a finite union of such special subvarieties (hence is algebraic), at least if we restrict ourselves to the Hodge locus factorwise of positive period dimension. For instance the Hodge locus of positive period dimension of the universal family of degree $d$ smooth hypersurfaces in $\mathbf{P}^{n+1}_\mathbb{C}$, $n\geq 3, d\geq 5$ and $(n,d)\neq (4,5)$, is algebraic. On the other hand we prove that in level $1$ or $2$, the Hodge locus is analytically dense in $S^{an}$ as soon as it contains one typical special subvariety. These results follow from a complete elucidation of the distribution in $S$ of the special subvarieties in terms of typical/atypical intersections, with the exception of the atypical special subvarieties of zero period dimension.
We prove in this paper the Ax-Schanuel conjecture for all admissible variations of mixed Hodge structures.
Using our recent results on the algebraicity of the Hodge locus for variations of Hodge structures of level at least $3$, we improve the results of Lawrence-Venkatesh in direction of the refined Bombieri-Lang conjecture.
We study the transcendence of periods of abelian differentials, both at the arithmetic and functional level, from the point of view of the natural bi-algebraic structure on strata of abelian differentials. We characterise geometrically the arithmetic points, study their distribution, and prove that in many cases the bi-algebraic curves are the linear ones.
The Hodge theory of complex algebraic varieties is at heart a transcendental comparison of two algebraic structures. We survey the recent advances bounding this transcendence, mainly due to the introduction of o- minimal geometry as a natural framework for Hodge theory.
Given a variation of Hodge structures on a quasi-projective base $S$, whose generic Mumford-Tate group is non-product, we prove that the (countable) union of positive components of the Hodge locus is either an algebraic subvariety of $S$, or is Zariski-dense in $S$.
A polarizable variation of Hodge structure over a smooth complex quasi projective variety $S$ is said to be defined over a number field $L$ if $S$ and the algebraic connection associated to the variation are both defined over $L$. Conjecturally any special subvariety (also called "an irreducible component of the Hodge locus) for such variations is defined over $\overline{\mathbb{Q}}$, and its Galois conjugates are also special subvarieties. We prove this conjecture for special subvarieties satisfying a simple monodromy condition. As a corollary we reduce the conjecture that special subvarieties for variation of Hodge structures defined over a number field are defined over $\overline{\mathbb{Q}}$ to the case of special points.
In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Hodge structures. $2)$ We prove that the period map associated to any pure polarized variation of integral Hodge structures $\mathbb{V}$ on a smooth complex quasi-projective variety $S$ is definable with respect to an o-minimal structure on the relevant Hodge variety induced by the above semi-algebraic structure. $3)$ As a corollary of $2)$ and of Peterzil-Starchenko's o-minimal Chow theorem we recover that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$, a result originally due to Cattani-Deligne-Kaplan. Our approach simplifies the proof of Cattani-Deligne-Kaplan, as it does not use the full power of the difficult multivariable $SL_2$-orbit theorem of Cattani-Kaplan-Schmid.
We equip integral graded-polarized mixed period spaces with a natural $\mathbb{R}_{alg}$-definable analytic structure, and prove that any period map associated to an admissible variation of integral graded-polarized mixed Hodge structures is definable in $\mathbb{R}_{an,exp}$ with respect to this structure. As a consequence we reprove that the zero loci of admissible normal functions are algebraic.
In this note we show that any lattice in a simple p-adic Lie group is not the fundamental group of a compact Kahler manifold, as well as some variants of this result.
We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are topologically tame. As an easy corollary of these results and of Peterzil-Starchenko's o-minimal GAGA theorem we obtain that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$ (a result originally due to Cattani-Deligne-Kaplan).
The hyperbolic Ax-Lindemann-Weierstrass conjecture is a functional algebraic independence statement for the uniformizing map of an arithmetic variety. In this paper we provide a proof of this conjecture, generalizing previous work of Pila-Tsimerman and Peterzil-Starchenko.
We present a conjecture on the geometry of the Hodge locus of a (graded polarizable, admissible) variation of mixed Hodge structure over a complex smooth quasi-projective base, generalizing to this context the Zilber-Pink Conjecture for mixed Shimura varieties (in particular the André-Oort conjecture).
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 assumption, we prove the conjecture without assuming the GRH.
Esnault asked whether every smooth complex projective variety with infinite fundamental group has a nonzero symmetric differential (a section of a symmetric power of the cotangent bundle). In a sense, this would mean that every variety with infinite fundamental group has some nonpositive curvature. We show that the answer to Esnault's question is positive when the fundamental group has a finite-dimensional representation over some field with infinite image. This applies to all known varieties with infinite fundamental group. Along the way, we produce many symmetric differentials on the base of a variation of Hodge structures. One interest of these results is that symmetric differentials give information in the direction of Kobayashi hyperbolicity. For example, they limit how many rational curves the variety can contain.
Carlson and Toledo conjectured that any infinite fundamental group $Γ$ of a compact Kähler manifold satisfies $H^2(Γ,\R)\not =0$. We assume that $Γ$ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ($\C$-VHS) on the Kähler manifold. We prove the conjecture under some assumption on the $\C$-VHS. We also study some related geometric/topological properties of period domains associated to such $\C$-VHS.