1101:, because Fuchs was known for being a good teacher and had researched on differential equations and the theory of functions. 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 discrete infinite group of linear fractional transformations. Automorphic functions then generalize both
1296:
1308:
218:
31:
1116:
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
1117:
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
784:
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
1175:
979:. 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
468:
732:
646:
100:
1182:
951:
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 Î a
750:
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
507:
598:
574:
554:
527:
392:
372:
348:
328:
308:
939:; because of their symmetry properties. Therefore, in simpler terms, a general function which analyzes the invariance of a structure with respect to its prime
509:
is an everywhere nonzero holomorphic function. Equivalently, an automorphic form is a function whose divisor is invariant under the action of
1097:'s first discoveries in mathematics, dating to the 1880s, was automorphic forms. He named them Fuchsian functions, after the mathematician
847:
Examples of automorphic forms in an explicit unabstracted state are difficult to obtain, though some have directly analytical properties:
1269:
1250:
258:
233:. In particular, the connections between multiple attempts at definition are unclear; see talk "Definition section is confusing".
136:; in this sense the theory of automorphic forms is an extension of the theory of modular forms. More generally, one can use the
1241:
1000:
940:
1226:
832:. To oversimplify, automorphic forms in this general perspective, are analytic functionals quantifying the invariance of
1066:
1312:
959:(also called Hilbert-Blumenthal forms) were proposed not long after that, though a full theory was long in coming. The
1221:
844:. Allowing a powerful mathematical tool for analyzing the invariant constructs of virtually any numerical structure.
236:
1011:
or discrete part to investigate. From the point of view of number theory, the cusp forms had been recognised, since
1333:
1147:
916:
283:
70:
287:
992:
1029:
The subsequent notion of an "automorphic representation" has proved of great technical value when dealing with
1077:
are here in effect put on the same level as the
Casimir operators; which is natural from the point of view of
404:
1102:
1081:, though not so obviously for the number theory. It is this concept that is basic to the formulation of the
1024:
837:
193:
1038:
980:
833:
228:
1118:
984:
924:
817:
711:
625:
240:
201:
35:
1280:
1216:
79:
1136:
1082:
956:
919:). As mentioned, automorphic functions can be seen as generalizations of modular forms (as therefore
870:
735:
649:
351:
1328:
1078:
1046:
1012:
960:
812:
extensions. In this formulation, automorphic forms are certain finite invariants, mapping from the
689:
280:
141:
133:
1131:
928:
874:
825:
801:
1300:
1265:
1246:
1106:
1094:
904:
893:
881:
851:
841:
829:
813:
476:
197:
189:
103:
74:
55:
43:
988:
968:
908:
777:
773:
663:
1141:
1034:
1004:
995:
could be applied to the calculation of dimensions of automorphic forms; this is a kind of
859:
790:
738:Ï acting on the components to 'twist' them. The Casimir operator condition says that some
674:
17:
1041:. It does not completely include the automorphic form idea introduced above, in that the
1232:
1212:
1074:
1070:
1058:
976:
952:
920:
583:
559:
539:
512:
377:
357:
333:
313:
293:
62:
1322:
1098:
863:
755:
659:
129:
47:
1062:
972:
932:
889:
855:
809:
805:
612:
109:
66:
804:, constructs automorphic forms and their correspondent functions as embeddings of
1255:
1154:
912:
272:
102:
of the topological group. Automorphic forms are a generalization of the idea of
734:. In the vector-valued case the specification can involve a finite-dimensional
1276:
1042:
821:
794:
137:
1295:
1008:
999:
check on the validity of the notion. He also produced the general theory of
936:
759:
739:
1258:, "Automorphic Forms and Representations", 1998, Cambridge University Press
1307:
30:
983:, in the years around 1960, in creating such a theory. The theory of the
1057:, an automorphic representation is a representation that is an infinite
1007:
terms would be the 'continuous spectrum' for this problem, leaving the
885:
121:
911:, which are invariant with respect to a generalized analogue of their
987:, as applied by others, showed the considerable depth of the theory.
144:
at once. From this point of view, an automorphic form over the group
113:
618:, in the vector-valued case), subject to three kinds of conditions:
204:, automorphic forms play an important role in modern number theory.
1121:; I had only to write out the results, which took but a few hours.
991:
showed how (in generality, many particular cases being known) the
897:
29:
800:
A more straightforward but technically advanced definition using
1275:
This article incorporates material from Jules Henri
Poincaré on
903:
As a general principle, automorphic forms can be thought of as
27:
Type of generalization of periodic functions in
Euclidean space
211:
1264:
Stephen
Gelbart (1975), "Automorphic forms on Adele groups",
955:
had already received attention before 1900 (see below). The
1089:
Poincaré on discovery and his work on automorphic functions
1073:(s). One way to express the shift in emphasis is that the
186:) and satisfies certain smoothness and growth conditions.
112:
are holomorphic automorphic forms defined over the groups
192:
first discovered automorphic forms as generalizations of
1112:
Poincaré explains how he discovered
Fuchsian functions:
931:
structure. In the simplest sense, automorphic forms are
1045:
approach is a way of dealing with the whole family of
673:
to satisfy a "moderate growth" asymptotic condition a
140:
approach as a way of dealing with the whole family of
1237:
Spectral
Methods of Automorphic Forms, Second Edition
714:
628:
586:
562:
542:
515:
479:
407:
380:
360:
336:
316:
296:
82:
836:in a most abstract sense, therefore indicating the
726:
640:
592:
568:
548:
521:
501:
462:
386:
366:
342:
322:
302:
106:in Euclidean space to general topological groups.
94:
1245:), American Mathematical Society, Providence, RI
1281:Creative Commons Attribution/Share-Alike License
1114:
765:The formulation requires the general notion of
611:(with values in some fixed finite-dimensional
8:
239:. There might be a discussion about this on
38:is an automorphic form in the complex plane.
1151:, a book by H. Jacquet and Robert Langlands
1053:space for a quotient of the adelic form of
622:to transform under translation by elements
820:. Herein, the analytical structure of its
1176:"Automorphic Forms: A Brief Introduction"
713:
627:
585:
561:
541:
514:
484:
478:
433:
406:
379:
359:
335:
315:
295:
259:Learn how and when to remove this message
81:
824:allows for generalizations with various
463:{\displaystyle f(g\cdot x)=j_{g}(x)f(x)}
1166:
917:irreducible fundamental representation
128:with the discrete subgroup being the
7:
746:as eigenfunction; this ensures that
681:It is the first of these that makes
310:acts on a complex-analytic manifold
971:, arose naturally from considering
374:to the complex numbers. A function
165:, is a complex-valued function on
727:{\displaystyle \gamma \in \Gamma }
721:
688:, that is, satisfy an interesting
641:{\displaystyle \gamma \in \Gamma }
635:
603:An automorphic form is a function
83:
54:is a well-behaved function from a
25:
580:is an automorphic form for which
1306:
1294:
216:
95:{\displaystyle \Gamma \subset G}
1242:Graduate Studies in Mathematics
1003:, which corresponds to what in
178:) that is left invariant under
69:) which is invariant under the
1279:, which is licensed under the
1015:, as the heart of the matter.
869:- Specific generalizations of
828:properties; and the resultant
496:
490:
457:
451:
445:
439:
423:
411:
161:and an algebraic number field
1:
772:for Î, which is a type of 1-
1222:Encyclopedia of Mathematics
1019:Automorphic representations
1350:
1148:Automorphic Forms on GL(2)
1022:
892:which is invariant on its
350:also acts on the space of
157:), for an algebraic group
18:Automorphic representation
854:(which is a prototypical
536:for the automorphic form
288:complex-analytic manifold
1069:representations for the
502:{\displaystyle j_{g}(x)}
398:if the following holds:
1239:, (2002) (Volume 53 in
1025:Cuspidal representation
923:), constructed by some
648:according to the given
1299:Quotations related to
1123:
1061:of representations of
1039:adelic algebraic group
981:Ilya Piatetski-Shapiro
728:
642:
594:
570:
550:
523:
503:
464:
388:
368:
344:
324:
304:
96:
39:
1119:hypergeometric series
985:Selberg trace formula
957:Hilbert modular forms
875:class field-theoretic
871:Dirichlet L-functions
842:fundamental structure
818:Artin reciprocity law
729:
643:
595:
571:
551:
524:
504:
465:
389:
369:
352:holomorphic functions
345:
325:
305:
202:Langlands conjectures
97:
36:Dedekind eta-function
33:
1315:at Wikimedia Commons
1174:Friedberg, Solomon.
1137:Automorphic function
1083:Langlands philosophy
1047:congruence subgroups
993:RiemannâRoch theorem
961:Siegel modular forms
808:to their underlying
767:factor of automorphy
736:group representation
712:
650:factor of automorphy
626:
584:
578:automorphic function
560:
540:
534:factor of automorphy
513:
477:
405:
378:
358:
334:
314:
294:
277:factor of automorphy
229:confusing or unclear
142:congruence subgroups
134:congruence subgroups
80:
1079:functional analysis
1049:at once. Inside an
1013:Srinivasa Ramanujan
935:defined on general
909:abstract structures
776:in the language of
690:functional equation
237:clarify the section
1217:"Automorphic Form"
1132:Automorphic factor
1107:elliptic functions
1067:enveloping algebra
915:(or an abstracted
905:analytic functions
802:class field theory
793:, by means of the
789:is derived from a
724:
638:
590:
566:
546:
519:
499:
460:
384:
364:
340:
320:
300:
290:. Suppose a group
198:elliptic functions
104:periodic functions
92:
40:
1334:Automorphic forms
1313:Automorphic forms
1311:Media related to
1001:Eisenstein series
894:ideal class group
882:harmonic analytic
852:Eisenstein series
830:Langlands program
826:algebro-geometric
814:idele class group
664:Casimir operators
600:is the identity.
593:{\displaystyle j}
569:{\displaystyle j}
549:{\displaystyle f}
522:{\displaystyle G}
387:{\displaystyle f}
367:{\displaystyle X}
343:{\displaystyle G}
323:{\displaystyle X}
303:{\displaystyle G}
269:
268:
261:
75:discrete subgroup
56:topological group
44:harmonic analysis
16:(Redirected from
1341:
1310:
1301:Automorphic form
1298:
1229:
1198:
1197:
1195:
1193:
1187:
1181:. Archived from
1180:
1171:
1065:, with specific
1037:, treated as an
989:Robert Langlands
969:symplectic group
880:- Generally any
860:field extensions
780:. The values of
778:group cohomology
733:
731:
730:
725:
647:
645:
644:
639:
599:
597:
596:
591:
575:
573:
572:
567:
556:is the function
555:
553:
552:
547:
528:
526:
525:
520:
508:
506:
505:
500:
489:
488:
469:
467:
466:
461:
438:
437:
396:automorphic form
393:
391:
390:
385:
373:
371:
370:
365:
349:
347:
346:
341:
329:
327:
326:
321:
309:
307:
306:
301:
275:, the notion of
264:
257:
253:
250:
244:
220:
219:
212:
132:, or one of its
101:
99:
98:
93:
52:automorphic form
21:
1349:
1348:
1344:
1343:
1342:
1340:
1339:
1338:
1319:
1318:
1291:
1261:
1211:
1207:
1202:
1201:
1191:
1189:
1185:
1178:
1173:
1172:
1168:
1163:
1142:Maass cusp form
1128:
1091:
1075:Hecke operators
1035:algebraic group
1027:
1021:
1005:spectral theory
977:theta functions
949:
927:analogue on an
921:elliptic curves
858:) over certain
791:Jacobian matrix
710:
709:
675:height function
624:
623:
582:
581:
558:
557:
538:
537:
511:
510:
480:
475:
474:
429:
403:
402:
376:
375:
356:
355:
332:
331:
312:
311:
292:
291:
265:
254:
248:
245:
234:
221:
217:
210:
177:
156:
78:
77:
63:complex numbers
28:
23:
22:
15:
12:
11:
5:
1347:
1345:
1337:
1336:
1331:
1321:
1320:
1317:
1316:
1304:
1290:
1289:External links
1287:
1286:
1285:
1272:
1260:
1259:
1253:
1233:Henryk Iwaniec
1230:
1208:
1206:
1203:
1200:
1199:
1188:on 6 June 2013
1165:
1164:
1162:
1159:
1158:
1157:
1152:
1144:
1139:
1134:
1127:
1124:
1090:
1087:
1071:infinite prime
1059:tensor product
1020:
1017:
953:Fuchsian group
948:
945:
864:Abelian groups
723:
720:
717:
679:
678:
671:
656:
637:
634:
631:
589:
565:
545:
518:
498:
495:
492:
487:
483:
471:
470:
459:
456:
453:
450:
447:
444:
441:
436:
432:
428:
425:
422:
419:
416:
413:
410:
383:
363:
339:
319:
299:
267:
266:
224:
222:
215:
209:
206:
200:. Through the
173:
152:
91:
88:
85:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1346:
1335:
1332:
1330:
1327:
1326:
1324:
1314:
1309:
1305:
1302:
1297:
1293:
1292:
1288:
1284:
1282:
1278:
1273:
1271:
1270:9780608066042
1267:
1263:
1262:
1257:
1254:
1252:
1251:0-8218-3160-7
1248:
1244:
1243:
1238:
1234:
1231:
1228:
1224:
1223:
1218:
1214:
1213:A. N. Parshin
1210:
1209:
1204:
1184:
1177:
1170:
1167:
1160:
1156:
1153:
1150:
1149:
1145:
1143:
1140:
1138:
1135:
1133:
1130:
1129:
1125:
1122:
1120:
1113:
1110:
1108:
1104:
1103:trigonometric
1100:
1099:Lazarus Fuchs
1096:
1088:
1086:
1084:
1080:
1076:
1072:
1068:
1064:
1063:p-adic groups
1060:
1056:
1052:
1048:
1044:
1040:
1036:
1032:
1026:
1018:
1016:
1014:
1010:
1006:
1002:
998:
994:
990:
986:
982:
978:
974:
973:moduli spaces
970:
966:
962:
958:
954:
946:
944:
942:
938:
934:
933:modular forms
930:
926:
925:zeta function
922:
918:
914:
910:
906:
901:
899:
895:
891:
890:Galois groups
887:
883:
878:
876:
872:
867:
865:
861:
857:
853:
848:
845:
843:
839:
838:'primitivity'
835:
834:number fields
831:
827:
823:
819:
815:
811:
807:
806:Galois groups
803:
798:
796:
792:
788:
783:
779:
775:
771:
768:
763:
761:
757:
753:
749:
745:
741:
737:
718:
715:
707:
703:
699:
695:
691:
687:
684:
676:
672:
669:
665:
661:
660:eigenfunction
657:
654:
651:
632:
629:
621:
620:
619:
617:
614:
610:
606:
601:
587:
579:
563:
543:
535:
530:
516:
493:
485:
481:
454:
448:
442:
434:
430:
426:
420:
417:
414:
408:
401:
400:
399:
397:
394:is termed an
381:
361:
353:
337:
317:
297:
289:
285:
282:
279:arises for a
278:
274:
263:
260:
252:
242:
241:the talk page
238:
232:
230:
225:This section
223:
214:
213:
207:
205:
203:
199:
195:
194:trigonometric
191:
187:
185:
181:
176:
172:
168:
164:
160:
155:
151:
147:
143:
139:
135:
131:
130:modular group
127:
125:
119:
117:
111:
110:Modular forms
107:
105:
89:
86:
76:
72:
68:
64:
60:
57:
53:
49:
48:number theory
45:
37:
32:
19:
1303:at Wikiquote
1274:
1240:
1236:
1220:
1190:. Retrieved
1183:the original
1169:
1146:
1115:
1111:
1092:
1054:
1050:
1030:
1028:
996:
964:
963:, for which
950:
941:'morphology'
902:
884:object as a
879:
868:
856:modular form
849:
846:
810:global field
799:
786:
781:
769:
766:
764:
751:
747:
743:
705:
701:
697:
693:
685:
682:
680:
667:
652:
615:
613:vector space
608:
604:
602:
577:
533:
531:
472:
395:
276:
270:
255:
246:
235:Please help
226:
188:
183:
179:
174:
170:
166:
162:
158:
153:
149:
145:
123:
115:
108:
67:vector space
65:(or complex
58:
51:
41:
1256:Daniel Bump
1192:10 February
1155:Jacobi form
929:automorphic
913:prime ideal
686:automorphic
662:of certain
273:mathematics
1329:Lie groups
1323:Categories
1277:PlanetMath
1205:References
1023:See also:
937:Lie groups
822:L-function
816:under the
795:chain rule
754:/Î is not
740:Laplacians
231:to readers
208:Definition
1227:EMS Press
1215:(2001) ,
1009:cusp form
877:objects.
840:of their
722:Γ
719:∈
716:γ
692:relating
658:to be an
636:Γ
633:∈
630:γ
418:⋅
249:July 2023
87:⊂
84:Γ
1126:See also
1095:Poincaré
997:post hoc
758:but has
330:. Then,
190:Poincaré
1093:One of
947:History
886:functor
774:cocycle
756:compact
700:) with
227:may be
122:PSL(2,
61:to the
1268:
1249:
1043:adelic
850:- The
708:) for
473:where
284:acting
138:adelic
114:SL(2,
71:action
1186:(PDF)
1179:(PDF)
1161:Notes
967:is a
898:idele
888:over
760:cusps
742:have
670:; and
576:. An
354:from
286:on a
281:group
73:of a
50:, an
1266:ISBN
1247:ISBN
1194:2014
1105:and
975:and
896:(or
532:The
196:and
46:and
34:The
1033:an
907:on
900:).
873:as
862:as
666:on
607:on
271:In
120:or
42:In
1325::
1235:,
1225:,
1219:,
1109:.
1085:.
943:.
866:.
797:.
762:.
706:Îłg
529:.
1283:.
1196:.
1055:G
1051:L
1031:G
965:G
787:j
782:j
770:j
752:G
748:F
744:F
704:(
702:F
698:g
696:(
694:F
683:F
677:.
668:G
655:;
653:j
616:V
609:G
605:F
588:j
564:j
544:f
517:G
497:)
494:x
491:(
486:g
482:j
458:)
455:x
452:(
449:f
446:)
443:x
440:(
435:g
431:j
427:=
424:)
421:x
415:g
412:(
409:f
382:f
362:X
338:G
318:X
298:G
262:)
256:(
251:)
247:(
243:.
184:F
182:(
180:G
175:F
171:A
169:(
167:G
163:F
159:G
154:F
150:A
148:(
146:G
126:)
124:R
118:)
116:R
90:G
59:G
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.