Automorphic form

In mathematics, the accepted angle of automorphic anatomy is the addendum to analytic functions, conceivably of several circuitous variables, of the approach of modular forms. It is in agreement of a Lie accumulation G, to generalise the groups SL2(R) or PSL2 (R) of modular forms, and a detached accumulation \Gamma \subset G, to generalise the modular group, or one of its accordance subgroups.

Formulation

The conception requires the accepted angle of agency of automorphy j for Γ, which is a blazon of 1-cocycle in the accent of accumulation cohomology. The ethics of j may be circuitous numbers, or in actuality circuitous aboveboard matrices, agnate to the achievability of vector-valued automorphic forms. The cocycle action imposed on the agency of automorphy is article that can be commonly checked, back j is acquired from a Jacobian matrix, by agency of the alternation rule.

In the accepted setting, then, an automorphic anatomy is a action F on G (with ethics in some anchored finite-dimensional agent amplitude V, in the vector-valued case), accountable to three kinds of conditions:

to transform beneath adaptation by elements \gamma \in \Gamma according to the accustomed automorphy agency j;

to be an eigenfunction of assertive Casimir operators on G; and

to amuse some altitude on advance at infinity.

It is the aboriginal of these that makes F automorphic, that is, amuse an absorbing anatomic blueprint apropos F(g) with F(γg) for \gamma \in \Gamma . In the vector-valued case the blueprint can absorb a finite-dimensional accumulation representation ρ acting on the apparatus to 'twist' them. The Casimir abettor action says that some Laplacians accept F as eigenfunction; this ensures that F has accomplished analytic properties, but whether it is absolutely a complex-analytic action depends on the accurate case. The third action is to handle the case area G / Γ is not bunched but has cusps.

History

Before this actual accepted ambience was proposed (around 1960), there had already been abundant developments of automorphic forms added than modular forms. The case of Γ a Fuchsian accumulation had already accustomed absorption afore 1900 (see below). The Hilbert modular forms (Hilbert-Blumenthal, as one should say) were proposed not continued afterwards that, admitting a abounding approach was continued in coming. The Siegel modular forms, for which G is a symplectic group, arose artlessly from because moduli spaces and theta functions. The post-war absorption in several circuitous variables fabricated it accustomed to accompany the abstraction of automorphic anatomy in the cases area the forms are absolutely complex-analytic. Much assignment was done, in accurate by Ilya Piatetski-Shapiro, in the years about 1960, in creating such a theory. The approach of the Selberg trace formula, as activated by others, showed the ample abyss of the theory. Robert Langlands showed how (in generality, abounding accurate cases actuality known) the Riemann-Roch assumption could be activated to the adding of ambit of automorphic forms; this is a affectionate of column hoc analysis on the authority of the notion. He additionally produced the accepted approach of Eisenstein series, which corresponds to what in ashen approach agreement would be the 'continuous spectrum' for this problem, abrogation the bend anatomy or detached allotment to investigate. From the point of appearance of cardinal theory, the bend forms had been recognised, back Srinivasa Ramanujan, as the affection of the matter.

Automorphic representations

The consecutive angle of automorphic representation has accepted of abundant abstruse amount for ambidextrous with G an algebraic group, advised as an adelic algebraic group. It does not absolutely accommodate the automorphic anatomy abstraction alien above, in that the adele access is a way of ambidextrous with the accomplished ancestors of accordance subgroups at once. Inside an L2 amplitude for a caliber of the adelic anatomy of G, an automorphic representation is a representation that is an absolute tensor artefact of representations of p-adic groups, with specific enveloping algebra[disambiguation needed] representations for the absolute prime(s). One way to accurate the about-face in accent is that the Hecke operators are actuality in aftereffect put on the aforementioned akin as the Casimir operators; which is accustomed from the point of appearance of anatomic analysis, admitting not so acutely for the cardinal theory. It is this abstraction that is basal to the conception of the Langlands philosophy.

Poincaré on psychology of discovery and his work on automorphic functions

Poincaré's aboriginal breadth of absorption in mathematics, dating to the 1880s, was automorphic forms. He alleged them Fuchsian functions, afterwards the mathematician Lazarus Fuchs, because Fuchs was accepted for actuality a acceptable abecedary and had researched on cogwheel equations and the approach of functions. Poincaré absolutely developed the abstraction of these functions as allotment of his doctoral thesis. Beneath Poincaré's definition, an automorphic action is one which is analytic in its area and is invariant beneath a denumerable absolute accumulation of beeline apportioned transformations. Automorphic functions again generalize both algebraic and egg-shaped functions.

Poincaré explains how he apparent Fuchsian functions:

For fifteen canicule I strove to prove that there could not be any functions like those I accept back alleged Fuchsian functions. I was again actual ignorant; every day I built-in myself at my assignment table, backward an hour or two, approved a abundant cardinal of combinations and accomplished no results. One evening, adverse to my custom, I drank atramentous coffee and could not sleep. Ideas rose in crowds; I acquainted them bang until pairs interlocked, so to speak, authoritative a abiding combination. By the abutting morning I had accustomed the actuality of a chic of Fuchsian functions, those which appear from the hypergeometric series; I had alone to address out the results, which took but a few hours.