Monodromy of double elliptic logarithms

Francesco Tropeano

2023-05-15

Abstract:We determine the relative monodromy group of abelian logarithms with respect to periods in the cases of fibered products of elliptic schemes. This gives rise to a result stronger than a theorem due to Y. André and implies in particular the algebraic independence of the logarithm of any non-torsion section and the periods. We then conjecture an analogous result for the general case of an abelian scheme of arbitrary relative dimension. This generalizes a theorem of Corvaja and Zannier which determines the said group in the case of a single elliptic scheme.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to study the monodromy problem of double elliptic logarithms in fiber - product elliptic schemes (i.e., abelian schemes of relative dimension 2). Specifically, the author aims to determine the relative monodromy group of the abelian logarithm with respect to the period in these structures. This involves analyzing the minimal unramified coverings such that the abelian logarithm and the period become well - defined on such coverings.

### Background and Motivation

1. **Abelian Schemes and Their Period Functions**
- The period functions, abelian logarithms, and Betti numbers of an abelian scheme \( A\to B \) and a section \( \sigma: B\to A \) thereon can be globally defined on the universal covering of \( B \), but are usually not well - defined on \( B \).
- The author is interested in studying the minimal unramified coverings that make the abelian logarithm and the period well - defined on the fiber - product elliptic scheme.

2. **Previous Work**
- Corvaja and Zannier studied the monodromy problem of non - isomorphic elliptic schemes \( E\to B \), and proved that for a non - torsion (rational) section \( \sigma: B\to E \), the covering \( B_{\sigma}\to B^{*} \) has an infinite degree and its Galois group is isomorphic to \( \mathbb{Z}^{2} \).

3. **Generalization Goals**
- The goal of this paper is to generalize the above results to all fiber - products of two non - isomorphic elliptic schemes, that is, abelian schemes of relative dimension 2.

### Main Results

1. **Theorem 4.6**
- Let \( \sigma_{1}: B\to E_{1} \) and \( \sigma_{2}: B\to E_{2} \) be rational sections of two elliptic schemes, at least one of which is non - torsion. Suppose there is an isogeny \( \phi: E_{1}\to E_{2} \). Consider the abelian scheme \( \pi: A := E_{1}\times_{B}E_{2}\to B \) and its (non - torsion) section \( \sigma = (\sigma_{1},\sigma_{2}) \). Then the following cases hold:
- If \( \phi\circ\sigma_{1} \) and \( \sigma_{2} \) are linearly dependent over \( \mathbb{Z} \), then the covering \( B_{\sigma}\to B^{*} \) has an infinite degree and its Galois group is isomorphic to \( \mathbb{Z}^{2} \).
- If \( \phi\circ\sigma_{1} \) and \( \sigma_{2} \) are linearly independent over \( \mathbb{Z} \), then the covering \( B_{\sigma}\to B^{*} \) has an infinite degree and its Galois group is isomorphic to \( \mathbb{Z}^{4} \).

2. **Theorem 4.11**
- Let \( \sigma_{i}: B\to E_{i} \) (\( i = 1,2 \)) be rational sections of given elliptic schemes, and assume that not all of them are torsion sections. Consider the abelian scheme \( \pi: A := E_{1}\times_{B}E_{2}\to B \) and its (non - torsion) section \( \sigma = (\sigma_{1},\sigma_{2}) \). Then the following cases hold:
- If \( \sigma_{1} \) or \( \sigma_{2} \) is a torsion section, then the covering \( B_{\sigma}\to B^{*} \) has an infinite degree and its Galois group is isomorphic to \( \{0\} \) or \( \mathbb{Z}^{2} \).
- If \( \sigma_{1} \) and \( \sigma_{2} \) are both non - torsion sections, then the covering \( B_{\sigma}\to B^{*} \) has an infinite degree and its Galois group is isomorphic to \( \mathbb{Z}^{4} \).