A non-linear differential equation for the periods of elliptic surfaces
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918231800807424 |
|---|---|
| author | Shepherd-Barron, N. I. |
| author_facet | Shepherd-Barron, N. I. |
| contents | Suppose that $f:X\to C$ is a general Jacobian elliptic surface over the complex numbers. Then the primitive cohomology $H^{1,1}_{prim}(X)$ has, up to a sign, a natural orthonormal basis $(η_i)_{i\in [1, N]}$ given by certain meromorphic $2$-forms $η_i$ of the second kind, one for each ramification point of the classifying morphism $ϕ$ from $C$ to the stack of generalized elliptic curves. (Here $N$ is any one of $h^{1,1}_{prim}(X)$, the number of moduli of $X$ and the degree of the ramification of $ϕ$; these numbers are equal.) A choice of local co-ordinate on the stack of elliptic curves provides, via the branch locus of $ϕ$, an {é}tale local co-ordinate system $(t_i)_{i\in [1, N]}$ on the stack of Jacobian elliptic surfaces.
The main result here is that truncation of the Gauss--Manin connexion yields the system $$\{\partial_i H=(\partial_i η_i\wedgeη_i)H\}_{i\in [1, N]}$$ of non-linear pde satisfied by $H=[η_1,\ldots, η_N]$, where $\partial_i =\partial/\partial t_i$ and the skew tensor $\partial_i η_i\wedgeη_i$ of rank $2$ is the ecliptic of $η_i$ (the plane in which the particle $η_i$ is instantaneously moving with respect to $t_i$). Moreover, after rigidification of the integral cohomology, $H$ can be interpreted as providing a period map for these surfaces with values in the complex orthogonal group $O_N$, and we prove a generic infinitesimal Torelli theorem for this map. For rational elliptic surfaces this can be calculated explicitly. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_04930 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A non-linear differential equation for the periods of elliptic surfaces Shepherd-Barron, N. I. Algebraic Geometry 14C30, 32G20 Suppose that $f:X\to C$ is a general Jacobian elliptic surface over the complex numbers. Then the primitive cohomology $H^{1,1}_{prim}(X)$ has, up to a sign, a natural orthonormal basis $(η_i)_{i\in [1, N]}$ given by certain meromorphic $2$-forms $η_i$ of the second kind, one for each ramification point of the classifying morphism $ϕ$ from $C$ to the stack of generalized elliptic curves. (Here $N$ is any one of $h^{1,1}_{prim}(X)$, the number of moduli of $X$ and the degree of the ramification of $ϕ$; these numbers are equal.) A choice of local co-ordinate on the stack of elliptic curves provides, via the branch locus of $ϕ$, an {é}tale local co-ordinate system $(t_i)_{i\in [1, N]}$ on the stack of Jacobian elliptic surfaces. The main result here is that truncation of the Gauss--Manin connexion yields the system $$\{\partial_i H=(\partial_i η_i\wedgeη_i)H\}_{i\in [1, N]}$$ of non-linear pde satisfied by $H=[η_1,\ldots, η_N]$, where $\partial_i =\partial/\partial t_i$ and the skew tensor $\partial_i η_i\wedgeη_i$ of rank $2$ is the ecliptic of $η_i$ (the plane in which the particle $η_i$ is instantaneously moving with respect to $t_i$). Moreover, after rigidification of the integral cohomology, $H$ can be interpreted as providing a period map for these surfaces with values in the complex orthogonal group $O_N$, and we prove a generic infinitesimal Torelli theorem for this map. For rational elliptic surfaces this can be calculated explicitly. |
| title | A non-linear differential equation for the periods of elliptic surfaces |
| topic | Algebraic Geometry 14C30, 32G20 |
| url | https://arxiv.org/abs/2512.04930 |