Everipedia Logo
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.
Atkin–Lehner theory

Atkin–Lehner theory

In mathematics, Atkin–Lehner theory is part of the theory of modular forms, in which the concept of newform is defined in such a way that the theory of Hecke operators can be extended to higher level. A newform is a cusp form 'new' at a given level N, where the levels are the nested congruence subgroups:

of the modular group, with N ordered by divisibility. That is, if M divides N, Γ0(N) is a subgroup of Γ0(M). The oldforms for Γ0(N) are those modular forms f(τ) of level N of the form g(d τ) for modular forms g of level M with M a proper divisor of N, where d divides N/M. The newforms are defined as a vector subspace of the modular forms of level N, complementary to the space spanned by the oldforms, i.e. the orthogonal space with respect to the Petersson inner product.

The Hecke operators, which act on the space of all cusp forms, preserve the subspace of newforms and are self-adjoint and commuting operators (with respect to the Petersson inner product) when restricted to this subspace. Therefore, the algebra of operators on newforms they generate is a finite-dimensional C*-algebra that is commutative; and by the spectral theory of such operators, there exists a basis for the space of newforms consisting of eigenforms for the full Hecke algebra.

Atkin–Lehner involutions

Consider a Hall divisor e of N, which means that not only does e divide N, but also e and N/e are relatively prime (often denoted e||N). If N has s distinct prime divisors, there are 2s Hall divisors of N; for example, if N = 360 = 23⋅32⋅51, the 8 Hall divisors of N are 1, 23, 32, 51, 23⋅32, 23⋅51, 32⋅51, and 23⋅32⋅51.

For each Hall divisor e of N, choose an integral matrix W**e of the form

with det W**e = e. These matrices have the following properties:

  • The elements W**e normalize Γ0(N): that is, if A is in Γ0(N), then WeAW−1e is in Γ0(N).

  • The matrix W2e, which has determinant e2, can be written as eA where A is in Γ0(N). We will be interested in operators on cusp forms coming from the action of W**e on Γ0(N) by conjugation, under which both the scalar e and the matrix A act trivially. Therefore the equality W2e = eA implies that the action of W**e squares to the identity; for this reason, the resulting operator is called an Atkin–Lehner involution.

  • If e and f are both Hall divisors of N, then We and Wf commute modulo Γ0(N). Moreover, if we define g to be the Hall divisor g = ef/(e,f)2, their product is equal to Wg modulo Γ0(N).

  • If we had chosen a different matrix We instead of W**e, it turns out that W**eWe modulo Γ0(N), so W**e and We would determine the same Atkin–Lehner involution.

We can summarize these properties as follows. Consider the subgroup of GL(2,Q) generated by Γ0(N) together with the matrices W**e; let Γ0(N)+ denote its quotient by positive scalar matrices. Then Γ0(N) is a normal subgroup of Γ0(N)+ of index 2s (where s is the number of distinct prime factors of N); the quotient group is isomorphic to (Z/2Z)s and acts on the cusp forms via the Atkin–Lehner involutions.

References

[1]
Citation Link//doi.org/10.1007%2FBF0135970110.1007/BF01359701
Sep 26, 2019, 4:13 AM
[2]
Citation Link//www.worldcat.org/issn/0025-58310025-5831
Sep 26, 2019, 4:13 AM
[3]
Citation Link//www.ams.org/mathscinet-getitem?mr=02681230268123
Sep 26, 2019, 4:13 AM
[4]
Citation Linkmathscinet.ams.org2722318
Sep 26, 2019, 4:13 AM
[5]
Citation Linkdoi.org10.1007/BF01359701
Sep 26, 2019, 4:13 AM
[6]
Citation Linkwww.worldcat.org0025-5831
Sep 26, 2019, 4:13 AM
[7]
Citation Linkwww.ams.org0268123
Sep 26, 2019, 4:13 AM
[8]
Citation Linkmathscinet.ams.org2722318
Sep 26, 2019, 4:13 AM
[9]
Citation Linken.wikipedia.orgThe original version of this page is from Wikipedia, you can edit the page right here on Everipedia.Text is available under the Creative Commons Attribution-ShareAlike License.Additional terms may apply.See everipedia.org/everipedia-termsfor further details.Images/media credited individually (click the icon for details).
Sep 26, 2019, 4:13 AM