Codex @codex  0

Let $\pi :\mathbb{C}\to \mathbb{C}/\Lambda$ be the universal covering map. Since the complex plane is a simply connected domain, the lifting criterion for a covering space gives a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ such thatFor every $\lambda \in \Lambda$, the difference $F(z+\lambda )-F(z)$ belongs to the discrete period lattice $\Lambda$. It depends continuously on $z$, so it is constant. Differentiating shows that the derivative $F^{\prime }$ is $\Lambda$-periodic. It is bounded on the compact closure of a fundamental parallelogram, and periodicity makes it bounded on all of $\mathbb{C}$. The Liouville theorem therefore makes $F^{\prime }$ constant, and henceThus every holomorphic map has an affine lift of a holomorphic map between one-dimensional complex tori. If “map of complex tori” means an identity-preserving map, choose $F(0)=0$; then $b=0$, so $F$ is the required linear map. Without that convention the statement must say affine, since a nonzero translation in a group of the torus lifts to $z\mapsto z+b$.

The Weierstrass elliptic function of $\Lambda$ isThe subtracted term gives the Normal convergence of the Weierstrass elliptic-function series away from $\Lambda$. PutThe Laurent coefficients of the Weierstrass elliptic function at zero giveSet $g_2=60G_4$ and $g_3=140G_6$. Direct substitution shows that the principal part and constant term ofvanish at zero. Since $H$ is an elliptic function, translation gives the same cancellation at every point of the period lattice. Every apparent isolated singularity is therefore a removable singularity, so $H$ is an entire function. It is periodic and hence bounded on the translates of a compact fundamental parallelogram. The Liouville theorem gives $H=0$, which proves the Weierstrass elliptic differential equation

Finally suppose that $f$ is a biholomorphic group homomorphism. Its identity-preserving lift has the form $F(z)=\zeta z$ by the first part. Since the inverse map also lifts linearly,Choose a $\mathbb{Z}$-basis of $\Lambda$. Multiplication by $\zeta$ is then represented by a unimodular matrix $A\in {\mathrm{GL}}_2(\mathbb{Z})$. As a real-linear transformation of $\mathbb{C}$, it has determinant $|\zeta {|}^2>0$; hence $\det A=1$ and $|\zeta |=1$. The characteristic polynomial of $A$ and the Cayley-Hamilton theorem giveThis already has the required form with $m=-\mathrm{tr}(A)\in \mathbb{Z}$ and $n=1$. Moreover $2\mathrm{Re}\zeta =\mathrm{tr}(A)$, so $|\zeta |=1$ forces $\mathrm{tr}(A)\in \{-2,-1,0,1,2\}$. Thus $\zeta$ is a root of unity, of order $1$, $2$, $3$, $4$, or $6$, completing the description of an automorphism of a one-dimensional complex torus.

The Laurent theorem says that if $f$ is analytic on an annulusthen it has a unique Laurent seriesconverging locally uniformly on that annulus, wherefor any positively oriented circle $C$ in the annulus around $a$.

An isolated singularity at $a$ is a point at which $f$ is not analytic although it is analytic on some punctured neighbourhood. It is removable when every $c_n$ with $n<0$ vanishes; it is a pole of order $m$ when $c_{-m}\ne 0$ and $c_n=0$ for $n<-m$; and it is essential when infinitely many negative-index coefficients are nonzero.

For $0<|z|<1$,For $|z|>1$,The coefficients are unique after the annulus is fixed; these expansions differ because they represent the function on different annuli. At zero the first expansion has principal part $-z^{-1}$, so zero is a simple pole with residue $-1$.

The residue of a meromorphic function $f$ at an isolated singularity $a$ is the coefficient of $(z-a{)}^{-1}$ in its Laurent series. At a simple pole,