Calculating the lattice of the tori of a non-singular projective cubic curve

128 Views Asked by At

If $C$ is the curve in $\mathbb{C}\mathbb{P}^{2}$ defined by the zero set of the polynomial $P^{\lambda}(x,y,z) = y^{2}z - x(x-z)(x-\lambda z)$, for $\lambda$ not $0$ or $1$. Then we know that $C$ is homeomorphic to a torus. Tori are homeomorphic to $\mathbb{C} / \Lambda $ for $\Lambda$ a lattice in $\mathbb{C}$. My question is given a specific value of $\lambda$, how would one approach calculating the lattice $\Lambda$?


Edit - $\textbf{Motivating example:}$

My motivation for asking this question came from question 5 on this past exam paper: https://www.dropbox.com/s/hfet5ki0nv3bm0d/2011.pdf?dl=0

In part a) we're asked to calculate a projective map $\sigma$ of $\mathbb{C}\mathbb{P}^{2}$ that sends the curve $C^{\lambda}$ (defined by the zero set of the polynomial $P^{\lambda}$), to the curve $C^{1 / \lambda}$ whilst fixing the point $[0,1,0]$.

Then we specialise to the case $\lambda = -1$ and you are then asked to show that $\sigma$ has order 4. Then we're told that holomorphic maps from $\mathbb{C} / \Lambda $ to $\mathbb{C} / \Lambda $ are of the form $ z \mapsto az + b$ for some $a,b \in \mathbb{C}$ and $a \cdot \Lambda \subseteq \Lambda$, and also that for every $\lambda \neq 0,1$ we have that, for some lattice $\Lambda$, $C^{\lambda} \cong \mathbb{C} / \Lambda$. Then we're asked to calculate the lattice $\Lambda_{-1}$ such that $C^{-1} \cong \mathbb{C} / \Lambda_{-1}$.


Others have shown me that I can use the Modular Lambda function to calculate $\Lambda$ for any $\lambda$, but I don't think this is what I'm meant to do, since we haven't been introduced to this function before. Would I be able to get some hints on how to tackle this? This is what I've done so far:


$\textbf{Progress:}$

If we let $\sigma$ be defined by the matrix $M(\lambda)$ where

$$ M(\lambda) = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 / \sqrt{\lambda} & 0 \\ 0 & 0 & \lambda \end{bmatrix} $$

Then I think $\sigma$ maps $C^{\lambda}$ to $C^{1/\lambda}$ and fixes $[0,1,0]$. Then it is easy to show when $\lambda = -1$ that $M(\lambda)^{k}$ is not a scalar multiple of the identity, unless $k$ is a multiple of 4. Hence $\sigma$ has order 4.

Then suppose $\psi : \mathbb{C} / {\Lambda}_{-1} \rightarrow C^{-1}$ is an isomorphism. Then $\sigma' = \psi^{-1} \circ \sigma \circ \psi $ is a holomorphic map from $\mathbb{C} / {\Lambda}_{-1}$ to $\mathbb{C} / {\Lambda}_{-1}$, and so there exists $a, b \in \mathbb{C}$ with $a \cdot \Lambda_{-1} \subseteq \Lambda_{-1}$ such that $\sigma'(z) = az + b$. Then $\sigma'$ has order 4, and since $\sigma'^{4}(z) = a^4z + b(a^3 + a^2 + a + 1)$, we see that the map $z \mapsto a^4z + b(a^3 + a^2 + a + 1)$ must be the identity on $ \mathbb{C} / {\Lambda}_{-1}$.

Then $a^4z + b(a^3 + a^2 + a + 1) - z = (a^3 + a^2 + a + 1)((a-1)z + b) \in \Lambda_{-1}$ for every $z \in \mathbb{C}$.

But then I do not know how to proceed from here.


From wolfram alpha, I can see that the lattice must be $\Lambda_{-1} = \left< {1, \tau} \right>_{\mathbb{Z}}$ where $\tau = \frac{log(\operatorname{q}(-1))}{\pi \cdot i} = 1 + i $, where $\operatorname{q}$ is the "Elliptic Nome" function. But I have no idea where this comes from.

1

There are 1 best solutions below

2
On

The Wikipedia article Modular lambda function has a lot of information but you need only a few bits of it. For exmaple, in the context of Legendre and Jacobi elliptic functions, $\, m = \lambda(\tau) \,$ is called the parameter and $\, q = e^{\pi i \tau} \,$ is called the nome. Thus, in the Wolfram language, the code for $\,\tau\,$ is $\texttt{tau = Log[ EllipticNomeQ[ lambda ]] / (Pi I)} $ and the lattice $\,\Lambda\,$ is generated by $\,[1,\tau].\,$ For example, if $\,\lambda = 0.9,\,$ then $\,\tau = i\;0.6254...\,.$