Vortrag von Prof. Dr. Guy Casale
Sprecher eingeladen von: Prof. Dr. Rémi Abgrall
Datum: 12.12.23 Zeit: 13.15 - 14.45 Raum: Y27H25
Ax-Schanuel theorems are statements about the Zariski closure of a formal (non-constant) curve lying on a leaf of a foliation of a complex algebraic variety. Here are two instances of this family of theorems:
Theorem (Ax): For $t in (C[[s]]-C)^n$, if $trdeg C(t_1,..., t_n, exp(t_1),..., exp(t_n))/C < 1+n$ then a $Z$-linear combination of $t_i$'s is constant.
Theorem (Pila-Tsimerman): For $t in (C[[s]]-C)^n$, if $trdeg C(t_1,...,t_n, j(t_1),..., j(t_n), ..., j''(t_n))/C < 1+3n$ then there exist $k\leq l-1$ and $h$ in $PGL_2^+(Q)$ such that $t_k = h(t_l)$.
The natural extension of these theorems to developing maps of a rational $(G, G/H)$-structure on a algebraic variety splits in two different parts: 1/ prove that $j(t_k)$ is algebraic over $C(j(t_l))$; 2/ prove the existence of $h$. I will explain how the first part can be obtained from a general result on principal connexions using elementary differential Galois theory and how the second part is obtained in the special case of product of projective structures on curves using model theory of differentially closed fields.