Weak Complex Ax conjecture, geometric formulation

Let UU be a domain in Hn\mathbb{H}^n, let UU' be a geodesic subvariety of UU, and put X=expUX'=\exp U'. Let AA be a complex-analytic component of Wπ1(V)W\cap\pi^{-1}(V), where WUW\subseteq U' and VXV\subseteq X' are algebraic subvarieties. Assume that AA is not contained in any proper geodesic subvariety of UU'. Weak Complex Ax conjecture. Then

dimAdimV+dimWdimX.\dim A\leq\dim V+\dim W-\dim X'.

This is presented as a geometric formulation of the complex Ax-Schanuel principle: intersections should not have atypically large dimension unless they lie in a proper geodesic subvariety. The source states that the analogous weak Ax result holds for semi-abelian varieties by Ax's theorem, but does not resolve this modular formulation.

Sources & referencesView supporting material

Primary source

Philipp Habegger and Jonathan Pila, “O-minimality and certain atypical intersections”, arXiv:1409.0771 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.