An addition formula for the e-functions (Q1263613)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An addition formula for the e-functions
scientific article

    Statements

    An addition formula for the e-functions (English)
    0 references
    0 references
    1989
    0 references
    Here is a slightly edited version of the author's introduction: Let \(y^ 2=4x^ 3-g_ 2x-g_ 3\) be the Weierstrass normal form for the elliptic curve with periods 1 and t then \[ y^ 2=4(x-e_ 1)(x-e_ 2)(x-e_ 3), \] where \(e_ 1\), \(e_ 2\), \(e_ 3\) can be regarded as functions of t satisfying: \(e_ 1\), \(e_ 2\), \(e_ 3\) are analytic in the upper half plane, \(e_ 1+e_ 2+e_ 3=0\), \(e_ 1((1+i)/2)=e_ 2(1+i)=e_ 3(i)=0\), \(e_ j((at+b)/(ct+d))=(ct+d)^ 2e_ j(t)\), where \(\left[ \begin{matrix} a&b \\ c&d \end{matrix} \right]\) is a \(2\times 2\) unimodular matrix of level 2. Following the classical notation, define \(\Phi(t)=(e_ 1(t)-e_ 3(t))/(e_ 2(t)-e_ 3(t))\). Our first observation is that there is a constant a such that \[ ((\Phi-2)/\Phi(\Phi-1))d\Phi/dt= ae_ 2,\quad ((\Phi+1)/\Phi(\Phi-1))d\Phi/dt= ae_ 3,\quad ((1-2\Phi)/\Phi(\Phi- 1))d\Phi/dt= ae_ 1. \] Our main theorem can now be stated. Theorem. Let \(A=(-1,2)\), \(B=(-1,-1)\) and let \(a_ j\), \(b_ j\) be 2r arbitrary points in the upper half plane. Then, \[ \sum \int^{b_ j}_{a_ j}(e_ 1(t),e_ 2(t))dt=(2\pi i/a)(mA+nB) \] for suitable integers m and n if and only if \(H(0)=H(1)=1\) where \(H(t)=\prod (t-\Phi(b_ j))/(t-\Phi(a_ j)).\) As might be expected, this formula is a special case of a more general relation that can be made explicit in this and several other less familiar cases. One of the characteristics of any addition formula is that it sets up an isomorphism between some sort of algebraic set and an analytic group. In our case the isomorphism is as follows: (i) the algebraic set is the complex projective plane with three non-coaxial lines removed and (ii) the analytic group is the group of complex 2- vectors modulo the subgroup of integer linear combinations of the vectors \((2\pi i/a)A\) and \((2\pi i/a)B\).
    0 references
    addition formula for Weierstrass e-functions
    0 references
    elliptic functions
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers