數學上所謂的自守式(英語:Automorphic form),是一類特別的複變數函數,並在某個離散變換群下滿足由自守因子描述之變換規律。模形式與馬斯形式是其特例。由自守式可定義自守表示,嚴格言之,自守表示並非尋常意義下的群表示,而是整體赫克代數上的模。
龐加萊在1880年代曾研究過自守式,他稱之為富克斯函數。郎蘭茲綱領探討自守表示與數論的深入聯繫。
古典定義
設
為作用於複區域
的離散群。取定自守因子
及權
。相應的權
自守式是
上滿足下述函數方程的全純函數
。
自守因子
當
固定時是
上的全純函數,並且是
上的 1-閉上鏈。
定義中的複值函數
可推廣成取值為矩陣的函數;權
的限制亦可放鬆,例如半整數
。
群上的定義
自守式另有群表示理論的詮釋,並牽涉數論,但無法完全涵攝古典定義。為簡單起見,以下設
,其中心可等同於
。
考慮大域體
(例如
),由此定義
的阿代爾點
,賦予相應的拓撲結構,並取定標準的緊子群
。
固定一擬特徵
。以
為中心特徵的自守式定為
上滿足下列條件的複值函數
:
光滑:若
為函數域,這代表
是局部常數函數。否則意謂存在一組
的開覆蓋
,對每個
,
,而
無窮可微。
- 對任何
及任何
,總有
。
右
-有限:函數
張成有限維向量空間。
- 承上,設
為泛包絡代數
之中心,則
為
-有限。
- 緩增性:固定適當的高度函數
(取法不影響定義),存在常數
及
使得
。
註記. 若
是
的阿基米德賦值,條件二中張出的空間在李代數
的作用
下不變。條件三蘊含自守式對阿基米德賦值是解析函數。
若對所有
皆有
![{\displaystyle \int _{M_{r,s}(F)\backslash M_{r,s}(\mathbb {A} _{F})}f{\begin{pmatrix}I_{r}&X\\0&I_{s}\end{pmatrix}}\,dX=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20e5d68379f9df0c1189aba183111839e010ff32)
則稱
為尖點形式。
自守表示
定義
為中心特徵為
的自守式集,子空間
則為尖點形式集。
這兩個空間是有限阿代爾群
的表示;對阿基米德賦值則帶有
-模結構。此套結構可以概括為整體赫克代數
的表示。注意:它們並非
的表示!
一個自守表示是
-模
之子商,
稱作該自守表示的中心擬特徵。尖點自守表示是
之子空間。
參考文獻
- A.N. Parshin, Automorphic Form, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- 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
- Daniel Bump, Automorphic Forms and Representations, (1998), Cambridge Studies in Advanced Mathematics 55. ISBN 0-521-65818-7 .
- 本條目含有來自PlanetMath《Henri Poincaré》的內容,版權遵守共享創意協議:署名-相同方式共享協議。