Math Research(p-adic geometry and BSD conjecture)
Plan for study and research
第一阶段
-
分析主线:数学分析
-
baby rudin:只看前九章
-
基本分析讲义:复习概念
-
重点:一致收敛,极限交换,隐函数定理
-
-
^拓扑流形主线:
- 点集拓扑:GTM 202前四章
- 微分流形:Loring W. Tu《An Introduction to Manifolds》
- 重点:切空间、微分形式、Stokes 定理,de Rham 上同调
-
代数主线:
- ^线性代数:Hoffman & Kunze《Linear Algebra》
- 抽象代数:李文威《代数学方法》
第二阶段
- 分析主线:^实分析(Folland) + 复分析(Ahlfors)
- 代数主线:交换代数
-
Atiyah(精读并做完所有习题)
-
Matsumura《Commutative Ring Theory》
-
- p-adic Numbers:Fernando Q. Gouvêa《p-adic Numbers: An Introduction》
第三阶段
- 黎曼曲面:Rick Miranda 《Algebraic Curves and Riemann Surfaces》
- ^代数拓扑:Hatcher《代数拓扑》前三章
- 同调代数:
-
Weibel《同调代数导论》
-
导出范畴与三角范畴:
- Gelfand & Manin 《Methods of Homological Algebra》
- 案头字典: Kashiwara & Schapira 《Categories and Sheaves》前六章
-
同调交换代数与局部上同调
- Iyengar, Leuschke, et al. 《Twenty-Four Hours of Local Cohomology》<全书按讲座(Hours)编排,极度推荐前 15 讲>
-
第四阶段
- 代数几何:
- Shafarevich:Basic Algebraic Geometry 1 前三章
- Hartshorne(GTM52)
- 精读Ch1-4,跳过Ch5
- Liu Qing 《Algebraic Geometry and Arithmetic Curves》
- 略读Ch 1 - Ch 7,重点精读Ch 8 - Ch 10
- 代数数论与类域论:
- Neukirch
- J.-P. Serre《Local Fields》
- J.-P. Serre《Linear Representations of Finite Groups》
- Cassels & Fröhlich
- Tate’s thesis:Ramakrishnan & Valenza, Fourier Analysis on Number Fields (GTM 186)
第五阶段
-
$L$ 函数、模形式与自守形式:
- ^L函数:大幅略读,只需记住公理化框架即可
- Harold Davenport《Multiplicative Number Theory》
- 目标:彻底掌握泊松求和公式(Poisson Summation Formula),广义 Gauss 和
- 章节:Ch6-9,Ch14
- *Iwaniec & Kowalski《Analytic Number Theory》
- 目标:Gamma 因子与整体架构,建立对更一般的整体 $L$ 函数(Global $L$-functions)的宏观认知
- Chapter 5:复习 Gamma 函数的极点分布和 Stirling 公式
- Chapter 14.1 - 14.2:熟悉现代文献中对于整体 $L$ 函数的标准化定义,不需要深究证明,只需记住公理化框架
- Harold Davenport《Multiplicative Number Theory》
- 模形式:Diamond & Shurman《A First Course in Modular Forms》
- Adéle语言与自守表示:(Jacquet-Langlands 对应)
- Goldfeld & Hundley《Automorphic Representations and L-Functions for the General Linear Group》(第一卷)
- Ch 1-4,6,8,11
- Bump《Automorphic Forms and Representations》 (Ch3-4)
- Ch 3.1 - 3.4,Ch 4.4
- *Cogdell 的《Lectures on L-functions…》:关于 $GL_n$ 和 $L$-函数的繁杂分析
- Goldfeld & Hundley《Automorphic Representations and L-Functions for the General Linear Group》(第一卷)
- ^L函数:大幅略读,只需记住公理化框架即可
-
椭圆曲线:Silverman
-
《The Arithmetic of Elliptic Curves》
-
《Advanced Topic of Arithmetic of Elliptic Curves》
- 重点关注 CM,Tate Curve,Néron 模型,Height Functions章节
-
拓展-计算算术几何:J.E. Cremona《Algorithms for Modular Elliptic Curves》
- 在学习 Silverman 的椭圆曲线 时,同步学习使用 SageMath 或 Magma 进行实操计算
- 建议加上 Pari/GP
-
-
代数群与伽罗瓦表示:
-
李代数与代数群:
-
^Humphreys《Introduction to Lie Algebras and Representation Theory》
- 直接阅读前三章(尤其是第 III 部分的 Root Systems),不要沉迷于后面的表示论计算
-
Milne《Algebraic Groups》
-
-
伽罗瓦表示与形变理论:
-
Galois Representations:
- J.-P. Serre《Galois Cohomology》
- Fontaine & Ouyang《Theory of p-adic Galois Representations》
- 案头字典:Neukirch, Schmidt, Wingberg《Cohomology of Number Fields》
-
Galois形变理论(Deformation Theory):
- Gouvêa《Deformations of Galois Representations》
-
模性提升定理:
- Darmon, Diamond, Taylor (DDT), “Fermat’s Last Theorem”,第一章
- Toby Gee: Modularity Lifting Theorems - Notes for Arizona Winter School (AWS 2013)
- 补充:Cornell, Silverman, Stevens《Modular Forms and Fermat’s Last Theorem》
-
-
高阶几何语言:
- Etale Cohomology:Milne《Lecture on Etale Cohomology》
- *广义拓扑与代数栈:Martin Olsson《Algebraic Spaces and Stacks》前几章
- Abelian Varieties:Milne《Abelian Varieties》
- *Shimura Varieties:Milne《Introduction to Shimura Varieties》
-
-
*代数 K 理论
- 入门:Milnor《Introduction to Algebraic K-Theory》
- 案头字典:Weibel《The K-book: An Introduction to Algebraic K-theory》
- 重点阅读前三章($K_0, K_1, K_2$)和介绍 Quillen K-理论基本性质的章节
第六阶段:BSD猜想
-
岩泽理论与Euler Systems
- 岩泽理论
- L. Washington《Introduction to Cyclotomic Fields》
- Greenberg 讲义:《Introduction to Iwasawa Theory for Elliptic Curves》
- Gross-Zagier 公式 和 Kolyvagin 欧拉系统:
- 核心:Darmon《Rational Points on Modular Elliptic Curves》
- Gross-Zagier 原始论文《Heegner points and derivatives of $L$-series》
- 补充阅读:
- Karl Rubin:Euler Systems (Annals of Mathematics Studies, 147)
- Gross 的综述文章《Kolyvagin’s work on modular elliptic curves》
- Kato’s Euler Systems
- 先读 A. J. Scholl 的文章 :Kato’s Euler systems and p-adic L-functions
- Kato关于 Euler 系统的论文:Kato, K. (2004). p-adic Hodge theory and values of zeta functions of modular forms. (Astérisque).
- 岩泽理论
-
特征簇
- p-进模形式与 Hida 理论
- 几何模形式:p-adic properties of modular schemes and modular forms
- Hida 理论:Haruzo Hida《Elementary Theory of L-values and $\mu$-adic Forms》
- Eigencurve
- 核心文献:Coleman & Mazur “The Eigencurve”
- p-进模形式与 Hida 理论
-
岩泽主猜想 (Iwasawa Main Conjectures):
- Skinner, C., & Urban, E. (2014). The Iwasawa main conjectures for GL2. (Inventiones mathematicae)
-
BSD 猜想综述
- wiles ICM:BSD简述
- wiles BSD2018:https://www.youtube.com/watch?v=1WYlP-B9nPI
-
补充:Bertolini-Darmon 的一系列论文
- 核心:反气旋岩泽主猜想 (Anticyclotomic Iwasawa Main Conjecture)
- “Iwasawa’s Main Conjecture for Elliptic Curves over Anticyclotomic $\mathbb{Z}_p$-extensions” (Annals of Mathematics, 2005).
- $p$-adic Gross-Zagier 公式
- “Heegner points on Mumford-Tate curves” (Inventiones mathematicae, 1997).
- “The p-adic L-functions of modular elliptic curves” (2014 综述 或相关早期论文).
- Stark-Heegner 点 (Darmon Points)
- 核心:反气旋岩泽主猜想 (Anticyclotomic Iwasawa Main Conjecture)
-
补充:$p$-adic Langlands
- Euler Systems 和 岩泽主猜想,现在很多前沿工作(例如 Skinner-Urban 的工作,或者基于高维簇的 Euler Systems)都深度依赖于 Galois 形变空间与 Hecke 代数的同构
- 核心:Matthew Emerton,Toby Gee,Eugen Hellmann 综述讲义:“An introduction to the categorical p-adic Langlands program”
- 讲座视频:https://www.youtube.com/watch?v=kxktJUAZDHI
-
补充:(Hot Topics around BSD)
- Bipartite Euler Systems / Kolyvagin Systems:这是 Mazur 和 Rubin 后来对 Euler System 的代数化公理化,极大地简化了 Kato 时代的繁杂。建议阅读 Barry Mazur 和 Karl Rubin 的相关文章。
- 高维情况的 Euler Systems:如 Loeffler-Zerbes 等人利用 $p$-adic 几何在更高维群上构造 Euler Systems,证明了各种新的 BSD 情况,这是近十年的显学。
- BSD 的 $p$-adic 版本:即 $p$-adic BSD 猜想(Mazur-Tate-Teitelbaum 猜想),它与例外零点(Exceptional Zeros)和 $\mathcal{L}$-不变量有关。这是当前 $p$-adic 几何和数论交汇的最前沿
第七阶段:p-adic几何
- 非阿基米德解析几何基础
- 刚性几何:快速熟悉经典例子
- 大纲:Conrad《Several approaches to non-archimedean geometry》
- Bosch《Lectures on Formal and Rigid Geometry》
- 补充阅读/案头字典:Peter Schneider《Nonarchimedean Functional Analysis》
- Adic Spaces:Torsten Wedhorn《Adic Spaces》
- 刚性几何:快速熟悉经典例子
- p-adic Hodge:
- 快速建立经典直觉:
- C. Peters & J. Steenbrink《Mixed Hodge Structures》前两章
- A. Huber & S. Müller-Stach《Periods and Nori Motives》前三章
- 补充阅读:P. Deligne “Théorie de Hodge II” (Publications Mathématiques de l’IHÉS, 1971)<Sections 1 & 2>
- Brinon-Conrad 讲义《CMI Summer School Notes on $p$-adic Hodge Theory》
- 快速建立经典直觉:
- *$\infty$-范畴与高阶代数:Markus Land 《Introduction to Infinity-Categories》
- Perfectoid Spaces:(Scholze)
- Bhatt 的讲义
- Lecture notes for a class on perfectoid spaces(密歇根大学研究生课程讲义,讲基础拓扑建立过程)
- The Hodge-Tate decomposition via perfectoid spaces(亚利桑那冬校讲义,展示如何使用Perfectoid Spaces)
- Scholze & Weinstein《Berkeley Lectures on p-adic Geometry》
- Scholze原始论文
- Bhatt 的讲义
- Fargues-Fontaine 曲线
- 入门综述:Fargues “Geometrization of the local Langlands correspondence: an overview”
- 终极专著:Fargues & Fontaine《Courbes et fibrés vectoriels en théorie de Hodge p-adique》
- Prismatic Cohomology/Diamonds
- 基础工具:导出代数与 δ-环
- Derived Commutative Algebra:Bhargav Bhatt 的讲义《Notes on derived algebraic geometry》
- δ-环 (δ-rings) 与 Witt 向量:Joyal 的经典论文 《δ-anneaux et vecteurs de Witt》
- *动机补充:q-形变与 de Rham 上同调
- Scholze 的论文:Canonical q-de Rham Cohomology
- 核心过渡桥梁:BMS 三部曲
- BMS1: Integral p-adic Hodge Theory
- 首次利用完美空间的局部性质,在不需要“好复叠”假设的情况下,硬核地构建了整系数的 $p$-进 Hodge 理论。这是理论的破局点
- BMS2: Topological Hochschild Homology and Integral p-adic Hodge Theory
- 将算术几何与代数拓扑深度融合,发现 BMS1 中的核心复形可以通过拓扑循环同调 (TC) 和拓扑 Hochschild 同调 (THH) 极其自然地计算出来
- BS: Prisms and Prismatic Cohomology
- 前置讲义(极度推荐): 直接读原始论文极易迷失。强烈建议先读 Bhatt 在哥伦比亚大学的讲义,或者 ARGOS 讨论班(Bonn 大学)关于 Prismatic Cohomology 的讲义
- 经过前两篇论文在拓扑和几何上的艰难摸索,他们最终发现可以抛弃复杂的代数拓扑,直接回到最纯粹的交换代数。通过引入带有 Frobenius 提升的 $\delta$-环,他们给出了“棱柱 (Prism)”极其精简的公理化定义,从而完美统一了所有的 $p$-进上同调理论
- BMS1: Integral p-adic Hodge Theory
- 基础工具:导出代数与 δ-环
第八阶段:未来拓展
- Perfectoid Spaces,Condensed Mathematics ,Prismatic Cohomology/Diamonds
- 详见“从Perfectoid到Condensed & Prismatic”
- Arakelov 几何与算术 GGP 猜想
- 详见“Arakelov几何学习计划”
- Motivic Cohomology,Beilinson 猜想(Regulators)
- 详见“Motivic Cohomology,Beilinson 猜想(Regulators)”
- 局部朗兰兹对应(未定稿)
- Langlands综述:
- “An Elementary Introduction to the Langlands Program”
- 《An Introduction to the Langlands Program》
- 详见“局部朗兰兹对应”
- Langlands综述:
- 其他:详见“学习路线补充”
学习建议
- 黑盒化能力:重点关注定理的使用场景,适用条件,结论,输入/输出
- 阅读论文:
- 核心能力是读懂前沿论文,建议提前引入原始文献阅读
- 阅读论文时重点关注作者是如何利用不同工具解决问题,以及==尝试自行解决论文里的某个引理或小节。==
- 艰深的工具可以黑盒化,不要陷入细节
- ArXiv 预印本,讨论班讲义(Lecture Notes),学术会议视频
- 跟踪 arXiv 上的 math.NT (数论) 和 math.AG (代数几何)
- 寻找 Bhargav Bhatt, Peter Scholze, Laurent Fargues, Matthew Emerton, David Hansen 等人的最新讲义和录像
- 暑期学校与讨论班讲义:学者的个人主页,Arizona Winter School (AWS) 的讲义和视频, MSRI/SLMath 或 IAS 的暑期学校录像
- The Stacks Project
- 重视计算实验
Last modified on 2026-03-09