A Fundamental Region in the Upper Half-Plane for the Elliptic Modular J-Invariant

An Introduction to Riemann Surfaces and Algebraic Curves: Complex 1-Tori and Elliptic Curves by Dr. T.E. Venkata Balaji, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://www.nptel.iitm.ac.in/syllabus/111106044/

Goals: * To show that there exists a complex torus with j-invariant any prescribed complex number; in other words, to show that the j-invariant is surjective as a map onto the complex numbers

* To use the functional equations satisfied by the weight two modular form as well as the mapping properties of that form, as studied in the previous unit of lectures, to find a suitable region in the upper half-plane where the mapping properties of the full modular form given by the j-invariant can be clearly studied

Keywords: Upper half-plane, quotient by the unimodular group, orbits of the unimodular group, invariants for complex tori, complex torus associated to a lattice (or) grid in the plane, doubly-periodic meromorphic function (or) elliptic function associated to a lattice, Weierstrass phe-function associated to a lattice, ordinary differential equation satisfied by the Weierstrass phe-function, automorphic function (or) automorphic form, weight two modular function (or) weight two modular form, full modular function (or) full modular form, period two modular form, congruence-mod-2 normal subgroup of the unimodular group, projective special linear group with mod-2 coefficients, finite group, kernel of a group homomorphism, zeros of the derivative of the Weierstrass phe-function, pole of order two (or) double pole with residue zero, universal cover, neighborhood of infinity, lower half-plane, rational function, kernel of a group homomorphism, functional equations satisfied by the weight two modular form, j-invariant of a complex torus (or) j-invariant of an algebraic elliptic curve, Fundamental theorem of Algebra, complex field is algebraically closed, fundamental region for the full modular form, fundamental region for the unimodular group