Suppose , with , and put . The identities
show that multiplication by takes one period lattice isomorphically to the other: its basis matrix has determinant . If , the image of is congruent to modulo the target period lattice. Moreover , so is a unit modulo . The image therefore generates the same cyclic subgroup.
Conversely, a holomorphic group isomorphism of complex tori lifts to , with . Indeed its lift fixing zero is additive: its failure to be additive is a continuous lattice-valued function, hence zero. An additive holomorphic map is complex linear. Write
The corresponding integral basis matrix has determinant : complex multiplication preserves the real orientation, and both bases are positively oriented. Solving gives . Preservation of the cyclic subgroup means for some unit modulo . Comparing the two real basis coefficients gives . Thus the matrix lies in the Gamma 0 congruence subgroup, and the classification is
This is the noncompact modular curve classification; no cusp points have been added.

Articles by others on the same topic (0)

There are currently no matching articles.