Monday, 28 November 2011

ag.algebraic geometry - 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,ℂ/ℝ) and SU(3,ℂ/ℝ) 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,ℂ) and SL(n+1,ℂ) have a similar important subgroup isomorphic to ℂ* and (ℂ*)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 Gm.



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 ℝn and quotient out by a discrete rank n lattice Λ, for instance ℝ/ℤ or ℂ/ℤ[i]. A complex torus is defined analogously as ℂn/Λ where Λ is a rank 2n lattice (since ℂ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 ℂn/Λ is usually nearby.




Is the multiplicative group of the field, Gm or ℂ*, 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 ℂn/Λ, 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, ℂn/Λ 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.

No comments:

Post a Comment