內容簡介
Felix Klein著名的 Erlangen 綱領使得群作用理論成為數學的核心部分。在此綱領的精神下,Felix Klein開始一個偉大的計劃,就是撰寫一係列著作將數學各領域包括數論、幾何、復分析、離散子群等統一起來。他的一本著作是《二十麵體和十五次方程的解》於1884年齣版,4年後翻譯成英文版,它將三個看似不同的領域——二十麵體的對稱性、十五次方程的解和超幾何函數的微分方程緊密地聯係起來。之後Felix Klein和Robert Fricke閤作撰寫瞭四捲著作,包括橢圓模函數兩捲本和自守函數兩捲本。弗裏剋、剋萊因著季理真主編迪普雷譯的《自守函數理論講義(第1捲)(英文版)(精)》是對一本著作的推廣,內容包含Poincare 和Klein 在自守形式的高度原創性的工作,它們奠定瞭Lie群的離散子群、代數群的算術子群及自守形式的現代理論的基礎,對數學的發展起著巨大的推動作用。
內頁插圖
目錄
Preface
0 Introduction. Developments concerning projective determinations of measure
0.1 The projective determinations of measure in the plane and their division into kinds
0.2 The motions belonging to a determination of measure and symmetric transformations of the plane into itself. The variable ζ in the parabolic case
0.3 Setting up all collineations of the conic section zlz3 - z2 =0 into itself. Behavior of the associated ζ
0.4 The group of the "motion and symmetric transformations" for the hyperbolic and elliptic planes
0.5 General definition of the C-values for the points of the projective plane.
0.6 The C-values in the hyperbolic plane. The ζ-halfplane and the ζ-halfplane
0.7 The hyperbolic determination of measure in the ζ-halfplane and on the ζ-halfsphere
0.8 Remarks on surfaces of constant negative curvature
0.9 Illustrations of the motions of the projective plane into itself by figures.
0.10 The elliptic plane and the ζ-plane resp. ζ-sphere
0.11 Transferring the elliptic determination onto the ζ-plane and ζ-sphere
0.12 The hyperbolic determination of measure in space and the associated "motions"
0.13 Connection of the circle-relations with hyperbolic geometry. The rotation subgroups in hyperbolic space
0.14 Mapping of the hyperbolic space onto the ζ-halfplane
0.15 Concluding remarks to the introduction
Part I Foundations for the theory of the discontinuous groups of linear
substitutions of one variable
1 The discontinuity of groups with illustrations by simple examples
1.1 Distinction between continuous and discontinuous substitution groups
1.2 Distinction of properly and improperly discontinuous substitution groups
1.3 Recapitulation and completion regarding the discontinuity domains of cyclic groups
1.4 The groups of the regular solids and the regular divisions of the elliptic plane
1.5 The division of the ζ-halfplane and the hyperbolic plane belonging to the modular group
1.6 Introduction and extension of the Picard group with complex substitution coefficients
1.7 The tetrahedral division of the ζ-halfsphere belonging to the Picard group
1.8 The discontinuity domain and the generation of the Picard group
1.9 Remarks on subgroups of the Picard group. Historical material
The groups without infinitesimal substitutions and their normal discontinuity domains
2.1 The concept of infinitesimal substitutions
2.2 The proper discontinuity of the groups without infinitesimal substitutions
2.3 Introduction of the concept of the polygon-and the polyhedron-groups
2.4 Introduction of the normal discontinuity domains of the projective plane for rotation groups
2.5 The vertices and edges of the normal polygons for principal circle groups. First part: the corners in the interior of the ellipse
2.6 The vertices and edges of the normal polygons for principal circle groups. Second part: the vertices on and outside the ellipse
2.7 The normal polyhedra in the hyperbolic space and their formation in the interior of the sphere
2.8 The normal polyhedra on and outside the sphere
2.9 The behavior of the polygon groups on the surface of the sphere. First part: General
2.10 Continuation: Special consideration of the groups with boundary curves
2.11 The normal discontinuity domains for the groups consisting of substitutions of the first and second kinds
2.12 Carrying over the normal discontinuity domains onto the ζ-plane and into the (-space. Historical material
3 Further approaches to the geometrical theory of the properly discontinuous groups
3.1 The allowed alteration of the discontinuity domains, in particular for principal circle groups
3.2 Continuation: Allowed alteration of the discontinuity domains for polyhedral groups as well as non-principal circle polygon groups
Part II The geometrical theory of the polygon groups of ζ-substitutions
Part III Arithmetic methods of definition of properly discontinuous groups of ζ-substitutions
Commentaries
Index
自守函數理論講義 第一捲:現代數學的基石與深度探索 ISBN: (留空或假設一個) 作者: (留空或假設一位權威數學傢) 齣版年份: (留空或假設一個) --- 圖書導言:通往代數幾何與數論的橋梁 《自守函數理論講義(第一捲)》並非一本僅僅停留在古典函數論錶麵的著作。它是一部深刻而嚴謹的學術專著,旨在為讀者構建起理解自守函數這一核心數學對象的堅實理論框架。本書的敘事綫索清晰,邏輯層層遞進,它將傳統的橢圓函數論和模形式理論提升至現代數學的抽象高度,尤其側重於其與代數幾何、錶示論以及現代數論之間錯綜復雜的關係。 本書的目標讀者群體是具有紮實復分析基礎、熟悉代數拓撲初步概念的研究生、博士後研究人員以及希望深入瞭解算術幾何前沿的數學傢。它要求讀者不僅能夠掌握繁復的計算技巧,更要具備抽象思維能力,能夠在新穎的幾何結構和代數框架中定位自守函數的本質。 --- 第一部分:基礎結構的重塑與剛性框架的建立 本捲的開篇,並未急於引入復雜的自守群作用,而是首先對必要的預備知識進行瞭一次現代化的梳理和提煉。 第一章:黎曼麯麵與 Fuchsian 群的規範化 本章從黎曼麯麵的構造和分類齣發,引入瞭雙麯幾何(特彆是龐加萊圓盤模型)在理解自守函數空間中的核心作用。重點在於對 Fuchsian 群(即作用在單位圓盤上的離散等距變換群)進行係統的分類和結構分析。讀者將學習如何利用不動點理論和基本域(Fundamental Domain)的概念,將抽象的群作用具體化為幾何上的操作。這裏詳述瞭對非緊群結構進行緊化處理(如通過引入尖點,Cusps)的必要性,為後續模形式的定義打下基礎。對黎曼-費德魯夫(Riemann-Roch)定理在麯麵上的推廣和應用進行瞭詳盡的討論,強調瞭其在確定函數空間維度上的決定性作用。 第二章:模形式的古典定義與伸展 本章正式引入模形式的定義,但視角遠超初級的“具有特定變換性質的全純函數”。這裏采用模空間(Moduli Space)的觀點來定義自守性。我們將探討 $ ext{SL}(2, mathbb{Z})$ 作用下的模形式,詳細分析 $Gamma(N)$ 子群的結構,並深入研究 $ ext{SL}(2, mathbb{R})$ 作用下的函數(如狄利剋雷級數或自守形式的前身)。著重闡述瞭周期函數(如 $wp$ 函數)如何通過微分方程和積分變換與自守形式關聯起來,並引入瞭微分算子(如 Laplace-Beltrami 算子在雙麯平麵上的推廣)的特徵值理論,預示著與數論的聯係。 --- 第二部分:拓撲與代數的交匯點 隨著對基本結構的掌握,本書的後半部分開始聚焦於自守性背後的深刻代數和拓撲根源。 第三章:皮卡德-萊夫謝茨理論與局部環 本章是連接幾何與代數的關鍵。作者引入瞭皮卡德-萊夫謝茨(Picard-Lefschetz)理論的框架,用於分析模空間中奇點的局部形貌。特彆是對於模麯綫 $X(N)$ 上的局部結構,需要理解其如何由群的共軛類決定。本章將自守函數的局部性質與局部環(Local Rings)的完備化聯係起來,討論瞭代數簇上的局部性質如何通過代數方法(如 Hensel 引理的推廣)被精確描述。這為理解數論中的局部場和阿代爾(Adeles)結構提供瞭幾何直覺。 第四章:自守錶示與恒等錶示 這是全書最具有現代氣息的一章。我們將自守形式提升到錶示論的視角,這是 Langlands 綱領的基石。本章詳細介紹瞭 $ ext{GL}(2)$ 上的自守錶示(Automorphic Representations)的概念,特彆是與 $ ext{GL}(2)$ 關係密切的數論對象,如狄利剋雷級數(Dirichlet Series)的歐拉乘積展開如何與群錶示的局部因子聯係起來。盡管本書是第一捲,側重於經典部分,但本章提供瞭清晰的路綫圖,展示瞭經典模形式如何被視為 $ ext{GL}(2)$ 在實數域 $mathbb{R}$ 上的特定自守錶示的“全純截麵”。對恒等錶示(Principal Representation)的引入,清晰地解釋瞭如何將雙麯空間上的積分算子轉化為群作用下的不變量。 第五章:L-函數與自守形式的算術簽名 本章聚焦於自守函數理論中最具應用價值的部分:L-函數的構造與性質。我們將對黎曼 $zeta$ 函數進行一般化,構造齣由自守形式自動導齣的 L-函數(如 Hecke L-函數)。重點在於 Hecke 本徵函數(Hecke Eigenfunctions)的性質,它們是同時被所有 Hecke 算子作用保持的自守形式,其 L-函數具有歐拉乘積展開的優雅結構。本捲會詳細論證自守形式與特定算術對象(如橢圓麯綫的 $L$-函數)之間的明確關係,但關於榖山-誌村猜想的詳細證明(如Wiles的工作)將留待後續捲冊,本捲主要確立基礎,使讀者理解 L-函數的“自守性”來源。 --- 總結與展望 《自守函數理論講義(第一捲)》緻力於提供一個全麵、嚴格且現代化的自守函數理論的入門。它不是簡單地復述模函數公式,而是通過引入 Fuchsian 群、雙麯幾何和局部環理論,為讀者展示瞭自守性這一概念如何滲透並統一瞭復分析、拓撲學和代數幾何的不同領域。本書的嚴謹性確保瞭讀者能夠為後續更深入的算術幾何和 Langlands 理論學習打下無可撼動的理論基礎。它是一部需要反復研讀的經典參考書,其價值在於對數學結構本質的深刻揭示。