Skip to main content
2 of 2
LaTeXified the answer
Johannes Hahn
  • 9.7k
  • 2
  • 33
  • 66

Complex torus, C^n/Λ versus (C*)^n

I'm having trouble distinguishing the various sorts of tori.

One definition of torus is the algebraic torus. Groups like $SU(2,\mathbb{C})$ and $SU(3,\mathbb{C})$ have important subgroups that are topologically a circle and a torus, and I guess those were some of the most important Lie groups so the name torus stuck. Groups like $SL(2,\mathbb{C})$ and $SL(n+1,\mathbb{C})$ have a similar important subgroup isomorphic to $\mathbb{C}^\ast$ and $(\mathbb{C}^\ast)^n$, so the name torus gets applied to them too. In general, one calls the multiplicative group of an arbitrary field a torus in many situations, sometimes denoting the entire lot of them as $\mathbb{G}_m$.

Another definition of a topological torus is a direct product of circles. A standard way to construct various flat geometries on a torus is to take $\mathbb{R}^n$ and quotient out by a discrete rank $n$ lattice $\Lambda$, for instance $\mathbb{R}/\mathbb{Z}$ or $\mathbb{C}/\mathbb{Z}[i]$. A complex torus is defined analogously as $\mathbb{C}^n/\Lambda$ where $\Lambda$ is a rank $2n$ lattice (since $\mathbb{C}^n$ has real rank $2n$).

One reads in various places that every abelian variety is a complex torus, but not every complex torus is an abelian variety. The notation $\mathbb{C}^n/\Lambda$ is usually nearby.

Is the multiplicative group of the field, $\mathbb{G}_m$ or $\mathbb{C}^\ast$, an abelian variety?

In other words, is an algebraic torus over the complexes a complex torus?

Is an abelian variety isomorphic as a group to $\mathbb{C}^n/\Lambda$, or just topologically?

My dim memory of elliptic curves was that they were finitely generated abelian groups, but since they are uncountable that doesn't make any sense. Presumably I am thinking of their rational points. However, $\mathbb{C}^n/\Lambda$ is always an abelian group, so I don't see what the fuss is about deciding when it is an abelian variety. It seems likely to me the group operations are different.

Jack Schmidt
  • 10.7k
  • 1
  • 44
  • 60