Seminar on Geometric Complex Analysis

Seminar information archive ~03/29Next seminarFuture seminars 03/30~

Date, time & place Monday 10:30 - 12:00 128Room #128 (Graduate School of Math. Sci. Bldg.)
Organizer(s) Kengo Hirachi, Shigeharu Takayama


10:30-12:00   Room #128 (Graduate School of Math. Sci. Bldg.)
Junjiro Noguchi (The University of Tokyo)
Analytic Ax-Schanuel Theorem for semi-abelian varieties and Nevanlinna theory (Japanese)
[ Abstract ]
The present study is motivated by $\textit{Schanuel Conjecture}$, which in particular implies the algebraic independence of $e$ and $\pi$. Our aim is to explore, as a transcendental functional analogue of Schanuel Conjecture, the value distribution theory (Nevanlinna theory) of the entire curve $\widehat{\mathrm{ex}}_A f:=(\exp_Af,f):\mathbf{C} \to A \times \mathrm{Lie}(A)$ associated with an entire curve $f: \mathbf{C} \to \mathrm{Lie}(A)$, where $\exp_A:\mathrm{Lie}(A)\to A$ is an exponential map of a semi-abelian variety $A$.

We firstly give a Nevanlinna theoretic proof to the $\textit{analytic Ax-Schanuel Theorem}$ for semi-abelian varieties, which was proved by J. Ax 1972 in the case of formal power series $\mathbf{C}[[t]]$ (Ax-Schanuel Theorem). We assume some non-degeneracy condition for $f$ such that in the case of $A=(\mathbf{C}^*)^n$ and $\mathrm{Lie}((\mathbf{C}^*)^n)=\mathbf{C}^n$, the elements of the vector-valued function $f(z)-f(0)$ are $\mathbf{Q}$-linearly independent. Then by the method of Nevanlinna theory (the Log Bloch-Ochiai Theorem), we prove that $\mathrm{tr.deg}_\mathbf{C}\, \widehat{\mathrm{ex}}_A f \geq n+ 1.$

Secondly, we prove a $\textit{Second Main Theorem}$ for $\widehat{\mathrm{ex}}_A f$ and an algebraic divisor $D$ on $A \times \mathrm{Lie}(A)$ with compactifications $\bar D \subset \bar A \times \overline{\mathrm{Lie}(A)}$ such that
T_{\widehat{\mathrm{ex}}_Af}(r, L({\bar D})) \leq N_1 (r,
(\widehat{\mathrm{ex}}_A f)^* D)+
\varepsilon T_{\exp_Af}(r)+O(\log r) ~~ ||_\varepsilon.
We will also deal with the intersections of $\widehat{\mathrm{ex}}_Af$ with higher codimensional algebraic cycles of $A \times \mathrm{Lie}(A)$ as well as the case of higher jets.
[ Reference URL ]