## Seminar on Geometric Complex Analysis

Seminar information archive ～10/09｜Next seminar｜Future seminars 10/10～

Date, time & place | Monday 10:30 - 12:00 128Room #128 (Graduate School of Math. Sci. Bldg.) |
---|---|

Organizer(s) | Kengo Hirachi, Shigeharu Takayama |

### 2022/01/24

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

Analytic Ax-Schanuel Theorem for semi-abelian varieties and Nevanlinna theory (Japanese)

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB

**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 ]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.

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB