Automorphic form

Automorphic form

In mathematics, the general notion of automorphic form is the extension to analytic functions, perhaps of several complex variables, of the theory of modular forms. It is in terms of a Lie group G, to generalise the groups SL2(R) or PSL2 (R) of modular forms, and a discrete group Gamma in G, to generalise the modular group, or one of its congruence subgroups. The formulation requires the general notion of factor of automorphy j for Gamma , which is a type of 1-cocycle in the language of group cohomology. The values of j may be complex numbers, or in fact complex square matrices, corresponding to the possibility of vector-valued automorphic forms. The cocycle condition imposed on the factor of automorphy is something that can be routinely checked, when j is derived from a Jacobian matrix, by means of the chain rule.

In the general setting, then, an automorphic form is a function F on G (with values in some fixed finite-dimensional vector space V, in the vector-valued case), subject to three kinds of conditions:

#to transform under translation by elements gamma in Gamma according to the given automorphy factor j;
#to be an eigenfunction of certain Casimir operators on G; and
#to satisfy some conditions on growth at infinity.

It is the first of these that makes F "automorphic", that is, satisfy an interesting functional equation relating F(g) with F(gamma g) for gamma in Gamma . In the vector-valued case the specification can involve a finite-dimensional group representation ρ acting on the components to 'twist' them. The Casimir operator condition says that some Laplacians have F as eigenfunction; this ensures that F has excellent analytic properties, but whether it is actually a complex-analytic function depends on the particular case. The third condition is to handle the case where G/ Gamma is not compact but has cusps.

Before this very general setting was proposed (around 1960), there had already been substantial developments of automorphic forms other than modular forms. The case of Gamma a Fuchsian group had already received attention before 1900. The Hilbert modular forms (Hilbert-Blumenthal, as one should say) were proposed not long after that, though a full theory was long in coming. The Siegel modular forms, for which G is a symplectic group, arose naturally from considering moduli spaces and theta functions. The post-war interest in several complex variables made it natural to pursue the idea of automorphic form in the cases where the forms are indeed complex-analytic. Much work was done, in particular by Pyatetskii-Shapiro, in the years around 1960, in creating such a theory. The theory of the Selberg trace formula, as applied by others, showed the considerable depth of the theory. Langlands showed how (in generality, many cases being known) the Riemann-Roch theorem could be applied to the calculation of dimensions of automorphic forms; this is a kind of "post hoc" check on the validity of the notion. He also produced the general theory of Eisenstein series, which corresponds to what in spectral theory terms would be the 'continuous spectrum' for this problem, leaving the cusp form or discrete part to investigate. From the point of view of number theory, the cusp forms had been recognised, since Ramanujan, as the heart of the matter.

The subsequent notion of automorphic representation has proved of great technical value for dealing with G an algebraic group, treated as an adelic algebraic group. It does not completely include the automorphic form idea introduced above, in that the adele approach is a way of dealing with the whole family of congruence subgroups at once. Inside an L^2 space for a quotient of the adelic form of G , an automorphic representation is a representation that is an infinite tensor product of representations of p-adic groups, with specific enveloping algebra representations for the infinite prime(s). One way to express the shift in emphasis is that the Hecke operators are here in effect put on the same level as the Casimir operators; which is natural from the point of view of functional analysis, though not so obviously for the number theory. It is this concept that is basic to the formulation of the Langlands philosophy.

Poincaré on his work on automorphic functions

Poincaré's first area of interest in mathematics, dating to the 1880s, was automorphic forms. He named them Fuchsian functions, after the mathematician Lazarus Fuchs, because Fuchs was known for being a good teacher and had researched differential equations and the theory of functions heavily. (Obviously, the functions did not keep the name Fuchsian). Poincaré actually developed the concept of these functions as part of his doctoral thesis.

Under Poincaré's definition, an automorphic function is one which is analytic in its domain and is invariant under a denumerable infinite group of linear fractional transformations. Automorphic functions generalize both trigonometric and elliptic functions.

Poincaré explains how he discovered Fuchsian functions:

"For fifteen days I strove to prove that there could not be any functions like those I have since called Fuchsian functions. I was then very ignorant; every day I seated myself at my work table, stayed an hour or two, tried a great number of combinations and reached no results. One evening, contrary to my custom, I drank black coffee and could not sleep. Ideas rose in crowds; I felt them collide until pairs interlocked, so to speak, making a stable combination. By the next morning I had established the existence of a class of Fuchsian functions, those which come from the hypergeometric series; I had only to write out the results, which took but a few hours."

Poincaré communicated a lot with Felix Klein, another mathematician working on Fuchsian functions. They were able to discuss and further the theory of automorphic/Fuchsian functions. Apparently, Klein became jealous of Poincaré's high opinion of Fuchs' work and ended their relationship on bad terms.Fact|date=August 2008

ee also

* Automorphic factor
* Factor of automorphy

References


*springer|id=a/a014160|author=A.N. Parshin|title=Automorphic Form
* Henryk Iwaniec, "Spectral Methods of Automorphic Forms, Second Edition", (2002) (Volume 53 in "Graduate Studies in Mathematics"), American Mathematical Society, Providence, RI ISBN 0-8218-3160-7

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Automorphic — in mathematics may apply to*Automorphic numbers *Automorphic forms or the related automorphic representations *Automorphism …   Wikipedia

  • Automorphic number — In mathematics an automorphic number (sometimes referred to as a circular number) is a number whose square ends in the same digits as number itself. For example, 52 = 25, 762 = 5776, and 8906252 = 793212890625, so 5, 76 and 890625 are all… …   Wikipedia

  • Modular form — In mathematics, a modular form is a (complex) analytic function on the upper half plane satisfying a certain kind of functional equation and growth condition. The theory of modular forms therefore belongs to complex analysis but the main… …   Wikipedia

  • Siegel modular form — In mathematics, Siegel modular forms are a major type of automorphic form. These stand in relation to the conventional elliptic modular forms as abelian varieties do in relation to elliptic curves; the complex manifolds constructed as in the… …   Wikipedia

  • Cusp form — In number theory, a branch of mathematics, a cusp form is a particular kind of modular form, distinguished in the case of modular forms for the modular group by the vanishing in the Fourier series expansion (see q expansion) Σanqn of the constant …   Wikipedia

  • Maass wave form — In mathematics, a Maass wave form is a function on the upper half plane that transforms like a modular form but need not be holomorphic. They were first studied by Maass harv|Maass|1949.DefinitionA Maass wave form is defined to be a continuous… …   Wikipedia

  • Factor of automorphy — In mathematics, the notion of factor of automorphy arises for a group acting on a complex analytic manifold. Suppose a group G acts on a complex analytic manifold X. Then, G also acts on the space of holomorphic functions from X to the complex… …   Wikipedia

  • Representation theory — This article is about the theory of representations of algebraic structures by linear transformations and matrices. For the more general notion of representations throughout mathematics, see representation (mathematics). Representation theory is… …   Wikipedia

  • Langlands program — The Langlands program is a web of far reaching and influential conjectures that connect number theory and the representation theory of certain groups. It was proposed by Robert Langlands beginning in 1967. Connection with number theory The… …   Wikipedia

  • Robert Langlands — Robert Phelan Langlands (born October 6, 1936 in New Westminster, British Columbia, Canada) was one of the most influential mathematicians of the 20th century,and remains influential in the 21st.His work in automorphic forms and representation… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”