Introduction |
|
xv | |
|
The modular group and elliptic function theory |
|
|
1 | (70) |
|
|
2 | (2) |
|
|
4 | (1) |
|
|
5 | (4) |
|
|
5 | (3) |
|
The situation of interest |
|
|
8 | (1) |
|
|
9 | (28) |
|
|
9 | (5) |
|
The algebraic curve associated to a torus |
|
|
14 | (9) |
|
|
23 | (5) |
|
|
28 | (3) |
|
|
31 | (1) |
|
The plumbing construction |
|
|
31 | (2) |
|
Teichmuller and moduli spaces for tori |
|
|
33 | (1) |
|
Fiber spaces - the Teichmuller curve |
|
|
33 | (4) |
|
Hyperbolic version of elliptic function theory |
|
|
37 | (12) |
|
|
38 | (3) |
|
Symmetries of once punctured tori |
|
|
41 | (2) |
|
|
43 | (2) |
|
Geometric interpretations |
|
|
45 | (2) |
|
The period of a punctured torus |
|
|
47 | (1) |
|
The function of degree two on the once punctured torus |
|
|
48 | (1) |
|
The quasi-Fuchsian representation |
|
|
48 | (1) |
|
Subgroups of the modular group |
|
|
49 | (19) |
|
|
49 | (1) |
|
Poincare metric on simply connected domains |
|
|
50 | (2) |
|
|
52 | (2) |
|
The principal congruence subgroups Γ(k) |
|
|
54 | (8) |
|
Adjoining translations: The subgroups G(k) |
|
|
62 | (1) |
|
The Hecke subgroups Γo(k) |
|
|
63 | (2) |
|
|
65 | (1) |
|
A two parameter family of groups |
|
|
66 | (2) |
|
A geometric test for primality |
|
|
68 | (3) |
|
Theta functions with characteristics |
|
|
71 | (76) |
|
Theta functions and theta constants |
|
|
72 | (17) |
|
Definitions and basic properties |
|
|
72 | (9) |
|
The transformation formula |
|
|
81 | (6) |
|
More transformation formulae |
|
|
87 | (2) |
|
|
89 | (17) |
|
Classes of characteristics |
|
|
89 | (4) |
|
Integral classes of characteristics |
|
|
93 | (1) |
|
Rational classes of characteristics |
|
|
93 | (4) |
|
Invariant classes for Γ(k) |
|
|
97 | (1) |
|
Punctures on H2/Γ(k) and the classes Xo(k) |
|
|
98 | (2) |
|
|
100 | (5) |
|
|
105 | (1) |
|
|
105 | (1) |
|
Punctures and characteristics |
|
|
106 | (1) |
|
|
106 | (1) |
|
|
106 | (1) |
|
|
107 | (10) |
|
Invariant classes for G(k) |
|
|
107 | (3) |
|
|
110 | (2) |
|
|
112 | (1) |
|
Invariant classes for Γo(k) |
|
|
113 | (3) |
|
|
116 | (1) |
|
Elliptic function theory revisited |
|
|
117 | (9) |
|
Function theory on a torus |
|
|
117 | (8) |
|
Projective embeddings of the family of tori |
|
|
125 | (1) |
|
Conformal mappings of rectangles and Picard's theorem |
|
|
126 | (3) |
|
|
127 | (1) |
|
Hyperbolicity and Picard's theorem |
|
|
128 | (1) |
|
Spaces of N-th order θ-functions |
|
|
129 | (9) |
|
The Jacobi triple product identity |
|
|
138 | (9) |
|
The triple product identity |
|
|
138 | (5) |
|
The quintuple product identity |
|
|
143 | (4) |
|
Function theory for the modular group Γ and its subgroups |
|
|
147 | (118) |
|
Automorphic forms and functions |
|
|
148 | (17) |
|
|
148 | (3) |
|
|
151 | (1) |
|
|
152 | (2) |
|
Projections to the surface |
|
|
154 | (3) |
|
|
157 | (2) |
|
|
159 | (2) |
|
|
161 | (1) |
|
Weierstrass points for subspaces of A(H2, G,e) |
|
|
162 | (3) |
|
Automorphic forms constructed from theta constants |
|
|
165 | (18) |
|
The order of automorphic forms at cusps - Fourier series expansions at i ∞ |
|
|
165 | (7) |
|
Automorphic forms for Γ(k) |
|
|
172 | (4) |
|
Meromorphic automorphic functions for Γ(k) |
|
|
176 | (1) |
|
Evaluation of automorphic functions at cusps |
|
|
177 | (1) |
|
Automorphic forms and functions for G(k) |
|
|
178 | (1) |
|
Automorphic forms and functions for Γo(k) |
|
|
178 | (1) |
|
The structure of Å∞ q=0 Aq (H2, Γ) and Å∞ q=0 Aq+ (H2, Γ) |
|
|
179 | (4) |
|
Some special cases (k' = 1) |
|
|
183 | (30) |
|
|
183 | (2) |
|
|
185 | (5) |
|
|
190 | (8) |
|
|
198 | (3) |
|
|
201 | (3) |
|
|
204 | (9) |
|
Primitive invariant automorphic forms |
|
|
213 | (12) |
|
An index 4 subgroup of Γ(k) for even k |
|
|
213 | (2) |
|
A Hilbert space of modified theta constants |
|
|
215 | (3) |
|
Projective representation of Aut H2/Γ(k) |
|
|
218 | (5) |
|
More Hilbert spaces of modified theta constants |
|
|
223 | (2) |
|
Orders of automorphic forms at cusps |
|
|
225 | (3) |
|
|
225 | (2) |
|
|
227 | (1) |
|
The field of meromorphic functions on H2/Γ(k) |
|
|
228 | (7) |
|
Functions of small degree |
|
|
228 | (2) |
|
|
230 | (1) |
|
Generators for the function field K(Γ(k)) |
|
|
231 | (4) |
|
Projective representations |
|
|
235 | (4) |
|
Some special cases (k' = k) |
|
|
239 | (14) |
|
|
239 | (3) |
|
|
242 | (3) |
|
The function field for H2/Γ(7) |
|
|
245 | (1) |
|
The projective embedding of H2/Γ(7) |
|
|
246 | (2) |
|
|
248 | (1) |
|
|
249 | (1) |
|
|
250 | (3) |
|
The function field of H2/Γ(k) over H2/Γ |
|
|
253 | (1) |
|
Equations that are satisfied by the embedding |
|
|
253 | (7) |
|
|
253 | (1) |
|
|
254 | (1) |
|
|
255 | (1) |
|
|
256 | (4) |
|
Some special cases (restricted characteristics) |
|
|
260 | (5) |
|
Characteristics with m' = k |
|
|
260 | (1) |
|
Characteristics with m = k |
|
|
260 | (3) |
|
|
263 | (2) |
|
Theta constant identities |
|
|
265 | (60) |
|
|
268 | (6) |
|
The septuple product identity |
|
|
268 | (4) |
|
|
272 | (2) |
|
Uniformization considerations |
|
|
274 | (17) |
|
Elliptic functions as quotients of N-th order theta functions |
|
|
274 | (1) |
|
The Jacobi quartic and derivative formula revisited |
|
|
274 | (2) |
|
More identities - revisited |
|
|
276 | (1) |
|
More identities - new results |
|
|
277 | (2) |
|
More first order applications |
|
|
279 | (5) |
|
|
284 | (7) |
|
Identities which arise from modular forms |
|
|
291 | (6) |
|
Multiplicative meromorphic forms |
|
|
292 | (2) |
|
|
294 | (3) |
|
Some special results for the primes 5 and 7 |
|
|
297 | (1) |
|
|
297 | (2) |
|
Identities among infinite products |
|
|
299 | (2) |
|
Identities via logarithmic differentiation |
|
|
301 | (7) |
|
Averaging automorphic forms |
|
|
308 | (4) |
|
|
312 | (13) |
|
Partition theory: Ramanujan congruences |
|
|
325 | (114) |
|
|
331 | (2) |
|
|
333 | (12) |
|
Γ(p, q)-invariant functions |
|
|
333 | (9) |
|
Calculation of divisor of η(N.) |
|
|
342 | (2) |
|
|
344 | (1) |
|
Generalities on constructions of Γo(k)-invariant functions |
|
|
345 | (2) |
|
|
345 | (1) |
|
|
346 | (1) |
|
Constructions of (group) Γo(k)-invariant functions |
|
|
347 | (22) |
|
|
347 | (2) |
|
Averaging Γ(kn, k)-invariant functions |
|
|
349 | (12) |
|
Bases for K(Γo(k))0 and K(Γo(k))∞ |
|
|
361 | (2) |
|
|
363 | (6) |
|
|
369 | (6) |
|
Production of constant functions |
|
|
375 | (13) |
|
The Frobenius automorphism |
|
|
375 | (3) |
|
|
378 | (2) |
|
|
380 | (3) |
|
Functions Fk,n,N for negative N |
|
|
383 | (3) |
|
Functions Fk,-N of small degree |
|
|
386 | (2) |
|
|
388 | (4) |
|
Automorphisms of K(Γo(k)) |
|
|
388 | (3) |
|
|
391 | (1) |
|
|
392 | (7) |
|
|
393 | (2) |
|
|
395 | (1) |
|
|
396 | (2) |
|
|
398 | (1) |
|
|
399 | (1) |
|
The ideal of partition identities |
|
|
399 | (6) |
|
Examples: Calculations for small k |
|
|
405 | (19) |
|
|
405 | (3) |
|
|
408 | (3) |
|
|
411 | (2) |
|
|
413 | (1) |
|
|
414 | (4) |
|
|
418 | (1) |
|
|
419 | (4) |
|
|
423 | (1) |
|
The higher level Ramanujan congruences |
|
|
424 | (6) |
|
The level two and three congruences for small primes |
|
|
424 | (2) |
|
The level n congruences for the prime 2 |
|
|
426 | (2) |
|
The level n congruences for the prime 5 |
|
|
428 | (2) |
|
The level two congruences for the prime 11 |
|
|
430 | (1) |
|
Taylor series expansions for infinite products |
|
|
430 | (9) |
|
Identities related to partition functions |
|
|
439 | (24) |
|
Some more identities related to covering maps |
|
|
439 | (8) |
|
|
440 | (1) |
|
|
440 | (2) |
|
|
442 | (1) |
|
|
443 | (1) |
|
|
444 | (3) |
|
The j-function and generalizations of the discriminant Δ |
|
|
447 | (6) |
|
Congruences for the Laurent coefficients of the j-function |
|
|
453 | (10) |
|
|
457 | (1) |
|
Completion of the proof of Theorem 3.6 for k = 5 |
|
|
458 | (1) |
|
Proof of Theorem 3.6 for k = 11, n = 1 |
|
|
459 | (2) |
|
A further analysis of the k = 2 case |
|
|
461 | (2) |
|
Combinatorial and number theoretic applications |
|
|
463 | (48) |
|
Generalities on partitions |
|
|
464 | (16) |
|
Euler series and some old identities |
|
|
467 | (5) |
|
Partitions and sums of divisors |
|
|
472 | (1) |
|
|
473 | (7) |
|
Identities among partitions |
|
|
480 | (2) |
|
|
481 | (1) |
|
|
481 | (1) |
|
|
482 | (1) |
|
Partitions, divisors, and sums of triangular numbers |
|
|
482 | (22) |
|
|
486 | (3) |
|
|
489 | (4) |
|
Weighted sums of triangular numbers |
|
|
493 | (2) |
|
Counting points on conic sections |
|
|
495 | (4) |
|
Continued fractions and partitions |
|
|
499 | (5) |
|
Return to theta functions |
|
|
504 | (7) |
Bibliography |
|
511 | (2) |
Bibliographical Notes |
|
513 | (14) |
Index |
|
527 | |