Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

could any one give me a hint how to show a complex torus has topological genus one by constructing an explicit homeomorphism to $S^1\times S^1$? Complex Torus: $\mathbb{C}/L$, where $L=\{\mathbb{Z}\omega_1+\mathbb{Z}\omega_2\}$. Thank you.

share|cite|improve this question
What definition of "complex torus" are you using? – Chris Eagle Jul 25 '12 at 8:50
@ChrisEagle, edited – Un Chien Andalou Jul 25 '12 at 9:00
For your definition, this is more or less trivial. Choose coordinate axes on $\mathbb{C}$ parallel to $\omega_1$ and $\omega_2$, and then there is an obvious map $\mathbb{C} / L \to S^1 \times S^1$. – Zhen Lin Jul 25 '12 at 9:02
@Zhen: that can probably be an answer. – Willie Wong Jul 25 '12 at 9:16
well, let $(x_1,y_1)+L=z_1+L$ be a point in $\mathbb{C}/L$, then the map is $(x_1,y_1)+\mathbb{Z}e_1+\mathbb{Z}e_2\mapsto (x_1/||x_1||,e_1)\times(y_1/||y_1||,e_2)$?where $e_1=(1,0),e_2=(0,1)$ – Un Chien Andalou Jul 25 '12 at 9:26
up vote 4 down vote accepted

For convenience, I will identify $S^1$ with the topological group $\mathbb{R} / \mathbb{Z}$. Let $\Lambda$ be the lattice $\mathbb{Z} \omega_1 + \mathbb{Z} \omega_2$. Since $\omega_1$ and $\omega_2$ are not parallel, there exists a choice of (real!) coordinates $(x, y)$ on $\mathbb{C}$ such that $\omega_1 = (1, 0)$ and $\omega_2 = (0, 1)$. It is clear that there is a continuous (indeed, smooth) group homomorphism $\mathbb{C} \to S^1 \times S^1$ given by the formula $$(x, y) \mapsto (x + \mathbb{Z}, y + \mathbb{Z})$$ and $\Lambda$ lies in the kernel of this homomorphism, so it factors as a homomorphism $\mathbb{C} / \Lambda \to S^1 \times S^1$. It is not hard to check that this is bijective. On the other hand, $\mathbb{C} / \Lambda$ is compact and $S^1 \times S^1$ is Hausdorff, so this is not just a continuous bijection but a homeomorphism.

There is a much more exciting answer involving Weierstrass $\wp$-functions, but for that one should take a different definition of "genus one" and/or "complex torus"...

share|cite|improve this answer

From a topological viewpoint $\Bbb C/L$ is indistinguishable from $\Bbb R^2/\Bbb Z^2$. But then it should be clear that $$ \frac{\Bbb R^2}{\Bbb Z^2}\simeq\frac{\Bbb R}{\Bbb Z}\times\frac{\Bbb R}{\Bbb Z} \simeq S^1\times S^1. $$

share|cite|improve this answer
sweet answer... – Un Chien Andalou Jul 25 '12 at 9:49

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.