置顶zzllrr小乐公众号,追踪《小乐数学科普》系列报道,参与数学 vs AI投票!

近期的阿贝尔奖主题系列讲座中,维斯瓦娃・尼济奥(Wiesława Nizioł)梳理p 进霍奇理论的发展脉络,并全程阐明格尔德・法尔廷斯的思想在该领域起到的核心支撑作用。

打开网易新闻 查看精彩图片

图源:Abel Prize

AI vs Math 投票火热进行中

(点击 zzllrr小乐 公众号任一近期文章参与投票)

Your Vote Matters! We Value Your Value!

作者:维斯瓦娃・尼济奥(Wiesława Nizioł,法国国家科学研究中心、索邦大学)

阿贝尔奖官方YouTube频道 2026-6-19

译者:zzllrr小乐(数学科普公众号)2026-7-4

求喜欢

讲座简介
本文属于2026 Abel奖系列讲座,另请参阅系列文章(细节由易到难):

当基域取 p 进域而非复数域时,要如何建立代数簇的平展上同调(étale cohomology)与其微分形式之间的关联?

本场讲座中,维斯瓦娃・尼济奥将梳理p 进霍奇理论这一解答上述问题的学科发展脉络,并全程阐明格尔德・法尔廷斯的思想在该领域起到的核心支撑作用。

她首先对比实数 / 复数体系与 p 进体系的本质差异,依次展开讲解经典霍奇理论、周期的概念(2πi 在 p 进框架下的类比对象)、由几何对象自然生成的伽罗瓦表示,以及方丹(Fontaine)构造的各类周期环。

她会逐一阐释霍奇–泰特(Hodge–Tate)比较定理、德拉姆(de Rham)比较定理、晶体比较定理与半稳定比较定理,并说明法尔廷斯的几乎纯净性定理、几乎平展扩张理论如何为核心计算提供可行工具;

舒尔茨(Scholze)后续借助完备态空间(perfectoid spaces,又译完美空间)与倾斜(tilting)理论,重新诠释、拓展了这套思想。

讲座最后,介绍该理论在数论、交换代数以及混合特征代数几何中的各类应用。

主讲人简介

打开网易新闻 查看精彩图片

维斯瓦娃・尼济奥(Wiesława Nizioł)现任法国国家科学研究中心(CNRS)研究主任,任职于索邦大学。她博士就读于普林斯顿大学,导师为格尔德・法尔廷斯;曾先后任职于芝加哥大学、明尼苏达大学、犹他大学;2006年ICM国际数学家大会特邀报告人,2021年入选欧洲科学院院士。

打开网易新闻 查看精彩图片

引言

今天我的核心内容,为各位讲解p 进霍奇理论,也叫p 进代数簇的霍奇理论。该学科深受格尔德・法尔廷斯奠基性工作的深刻影响,同时是现代算术几何、数论的核心基础分支。我们先从基础的 p 进体系入手:本文研究的代数簇,定义在 p 进数域之上。

p 进世界:p 进数与非阿基米德范数

先从有理数 ℚ 说起。有理数上存在我们熟知的阿基米德范数,还存在一族 p 进范数。

奥斯特洛夫斯基(Ostrowski)定理指出:

有理数上所有非平凡范数,仅有这两类。

非阿基米德范数不满足常规三角不等式,取而代之的是更强的超度量不等式。

打开网易新闻 查看精彩图片

对有理数按不同范数做完备化:沿阿基米德范数完备,得到实数 ℝ;沿任意 p 进范数完备,得到 p 进数 ℚₚ。这是从分析角度定义 p 进数的标准方式。

对定义在有理数上的代数簇,我们可以执行一套相似的完备化操作,称为局部化(localization)。对高维代数簇做完备局部化后,可以得到实流形版本的簇,或是定义在 ℚₚ 上的 p 进簇。在算术几何中,通过局部化手段研究整体算术性质,已是通用标准方法。

实数域与 p 进数域是两套性质完全对立的体系:

素数 p 在 p 进范数下取值很小,但在普通绝对值范数下数值很大;

实数域是连通拓扑空间,全体 p 进数构成全不连通空间。两者存在鲜明的二元对立。

另一方面,我们常以复分析中的几何对象为参照,寻找它们在 p 进世界的对应概念,这正是本次讲座主题:经典霍奇理论核心概念的 p 进类比

打开网易新闻 查看精彩图片

上面是分析视角的 p 进数定义,我们也能纯代数刻画:

p 进整数 ℤₚ 是 ℚₚ 中范数 ≤ 1 的全部元素,可写成有限环的反向极限;

全体 p 进有理数 ℚₚ,只需将 p 取逆即可得到。

这套代数刻画对算术几何研究者十分友好:我们既能用泛函分析工具研究有理点代数簇,也可以完全依靠代数方法开展研究。

接下来引入伽罗瓦群。

将多项式规则加进来,得到 ℚₚ 的代数闭包Q̅ₚ,这是无限次域扩张。这时伽罗瓦群变成一个无限的投射有限群(profinite group)

代数闭包Q̅ₚ本身不完备,因此我们对它完备化,得到完备域 ℂₚ。

ℂₚ 的连续自同构群,与原来的伽罗瓦群完全等同。

下面介绍泰特(Tate)1967年前后提出的核心猜想思路:

从抽象域论性质来看,ℂₚ 与复数域 ℂ 作为域是同构的。但若我们想要复刻复霍奇理论,就必须找到周期的 p 进类比。复分析中最典型的周期是 2πi。泰特当年提出关键问题:

2πi 在 p 进体系中的对应元素是什么?能否在 ℂₚ 中找到该元素?

答案是否定的,下面给出证明思路。

周期以及 2πi 的 p 进类比

打开网易新闻 查看精彩图片

先看朴素尝试:

设想 p 进版 2πi 满足下述等式:对任意正整数 n,它可写作 pⁿ log (ζₚⁿ),其中 ζₚⁿ 是 pⁿ 次单位根。此处对数函数定义在以 1 为球心、半径 1 的开单位球内部B(1,1),且是群同态。但代入计算会发现,该对数在所有单位根上取值恒为 0,这套思路无法成立。

我们换更严谨的论证视角:

假设存在元素 x ∈ ℂₚ 模仿 2πi 的行为,它必须满足伽罗瓦群作用下固定变换规则。伽罗瓦群中任意元 σ 作用在单位根上,诱导分圆特征(Cyclotomic character) χᶜʸᶜ(σ);若 x 是 2πi 的类比元,则 σ・x = χᶜʸᶜ(σ)・x。我们可以严格证明:ℂₚ 中不存在满足该变换法则的非零元素,因此不存在 p 进版本的 2πi。

以上是 p 进数基础铺垫,接下来回顾经典霍奇理论核心工具,我们需要为其构造 p 进对应版本。

经典霍奇理论:

贝蒂(Betti)上同调与德拉姆(de Rham)上同调

打开网易新闻 查看精彩图片

首先介绍周期态射。从整体几何对象切入:取定义在有理数上的光滑射影代数簇,考察其全体复点,视作实微分流形。

德拉姆定理给出配对关系:由 n 维闭链生成的奇异同调,与光滑微分形式定义的德拉姆上同调,通过积分实现非退化配对。

设流形维数为 d,德拉姆上同调最高次数为 2d;奇异上同调奇异同调的对偶,我们先取有理系数,方便后续对比 p 进情形。

格罗滕迪克指出:既然簇是代数对象,这套光滑德拉姆上同调完全可以用代数德拉姆上同调计算 —— 直接取基域上的代数微分形式,再做扎里斯基超上同调(Zariski hypercohomology)。

核心观点:复数域包含所有代数簇的全部周期。

打开网易新闻 查看精彩图片

举两个经典周期实例:

  1. 1) 穿孔仿射线 ¹ \ {0},沿单位圆周积分 dz/z,积分结果就是 2πi;

  2. 2) 椭圆积分,表达式含欧拉 Γ 函数,它是椭圆曲线 y² = x³ − x 的周期。

我们希望在p进霍奇理论中也找到周期。

霍奇分解与 p 进理论核心目标

复霍奇理论最重要结论之一是霍奇分解:贝蒂上同调复化后,可分解为若干霍奇群的直和。我们的核心目标,就是在 p 进框架内复刻这套分解。

打开网易新闻 查看精彩图片

p进霍奇理论

打开网易新闻 查看精彩图片

现在考察定义在 ℚₚ 上的代数簇。复数场景中微分形式与闭链的配对,给出贝蒂同调到德拉姆上同调的态射。

切换至 p 进场景,第一个核心难点:贝蒂上同调是拓扑定义,我们需要它纯代数的替代对象。

将系数从有理数扩张、做局部化;

根据阿廷(Artin)理论,奇异同调的代数对应是平展上同调Hⁿₑₜ(X,ℚₚ),这套上同调完全由代数定义,完美替代拓扑贝蒂上同调。

局部成立 K(π,1) 引理:平展上同调等价于代数簇基本群的群上同调。此处代数基本群是经典拓扑基本群的投射有限完备化,阶是有限的,与德拉姆上同调相等。

由于代数簇定义在 ℚ 或 ℚₚ 上,伽罗瓦群作用于系数域Q̅ₚ,该作用诱导伽罗瓦群在全体平展上同调空间上的线性作用,给出有限维伽罗瓦表示。

前面的报告也曾提及:这类伽罗瓦表示能够反映代数簇有理点的大量算术信息。

我这里有两个例子:

源自几何的伽罗瓦表示

打开网易新闻 查看精彩图片

两类典型由几何上同调生成的伽罗瓦表示:

  1. 1)泰特扭转(Tate twist):

  2. 取全体 pⁿ 次单位根构成无限塔,伽罗瓦群通过分圆特征作用,取特征整数次幂作用在上同调;射影空间二次上同调的对偶是标准例子。你可能会注意到,单位根本质是乘法群 ₘ 的 pⁿ 挠点(torsion points)。

  3. 2)椭圆曲线泰特模(Tate module):

  4. 椭圆曲线全部 pⁿ 挠点构成模,伽罗瓦群作用给出二维线性表示,等价于椭圆曲线平展一次上同调 H¹ₑₜ(E,ℚₚ) 的对偶。

以上两类熟知的表示,全部由同调 / 上同调的几何构造生成。

p 进霍奇理论的核心研究问题

打开网易新闻 查看精彩图片

之所以称为几何 p 进霍奇理论,是因为该分支专门研究几何来源的伽罗瓦表示;领域内还有纯粹抽象伽罗瓦表示理论,二者分开讨论。

理论两大核心目标:

  1. 1)构造周期环 B,要求它包含所有 ℚₚ 上代数簇的全部周期;

  2. 2)建立取值于该周期环、连接平展上同调与德拉姆上同调的非退化配对,且该配对是同构。

这仅是基础要求,第二层更关键目标:借助这套同构,实现两类上同调互相还原;特别地,能够从德拉姆侧微分几何信息,复原带有伽罗瓦作用的平展上同调。

周期环:寻找满足条件的环 B

前文泰特的结论已经说明:仅依靠 ℂₚ 无法充当环 B,因为它不包含 2πi 的 p 进类比元。

最朴素的补救思路:直接向 ℂₚ 添加模仿 2πi 的元素,构造环 A,写成不同 n 次扭转 ℂₚ 的直和;环配备伽罗瓦作用,新增元素在伽罗瓦群下按分圆特征变换。但该构造存在本质缺陷,仅能作为初步尝试。

打开网易新闻 查看精彩图片

1988 年前后法尔廷斯证明里程碑式定理:对定义在 ℚₚ 有限扩域上的代数簇,存在伽罗瓦等变周期同构,将经周期环扭转后的平展上同调,映射到分级形式的霍奇上同调(全体霍奇分量直和)。

霍奇–泰特分解

取该分级同构的 0 级分量,得到霍奇–泰特分解

平展上同调复化后,与分级霍奇上同调伽罗瓦等变同构。

注意:平展上同调必须用 ℂₚ 扭转,所有霍奇分量也带有分圆特征扭转。

该结论并未完全达成最初目标,但对整个学科发展起到决定性作用。

它是复霍奇分解的 p 进对应,核心优势是所有态射均与伽罗瓦群作用交换。

定理结论:

几何伽罗瓦表示经 ℂₚ 扭转后大幅简化,分解为若干泰特扭转的直和,各扭转重数由代数簇的霍奇数决定。该结论拥有极强数论应用,大量深刻数论定理可借助它证明。

站在几何研究者视角,仅 “霍奇型表示” 这一条件看似很弱,却能推出极强算术推论,直观上难以解释,但实践中效果显著;核心原因是我们可通过形变理论,将复杂问题约化为简单情形。

补充说明:

法尔廷斯霍奇–泰特比较定理的论文,是他 p 进霍奇理论系列第一篇通用奠基文章,包含整套理论全部基础工具。当时混合特征域不存在奇点消解,法尔廷斯创造性利用曲线模空间绕开该障碍,后续启发扬提出改变态理论。

但该定理存在短板:仅给出平展上同调与分级德拉姆上同调的配对,未能建立完整德拉姆上同调的对应关系。

方丹(Fontaine)周期环 Bdʀ

打开网易新闻 查看精彩图片

学界下一步改进思路:优化霍奇–泰特周期环,构造带滤过(filtration)结构的环,滤过由 2πi 类比元的幂生成,分级分量恰好对应霍奇–泰特分量。这正是方丹(Fontaine)的工作。

方丹构造带滤过环 B⁺dʀ,内部包含元素 t,学界称其为方丹的 p 进 2πi;分圆伽罗瓦群作用在 t 上恰好由分圆特征给出。该环自带自然滤过,分级分量即为泰特扭转;但环上自然态射不满足等变性,也无良好拓扑性质,结构十分复杂。

科尔梅兹(Colmez)给出补充观察:

ℂₚ 本身是Q̅ₚ 的 p 进完备化;而B⁺dʀ同样可通过对Q̅ₚ 迭代求导完备化得到,仍可归为一类完备化构造。

法尔廷斯后续定理指出:向B⁺dʀ中加入 1/t 后得到的环 Bdʀ,包含所有 ℚₚ 代数簇的全部周期。

下面陈述最通用版本德拉姆比较定理(完整一般情形并非法尔廷斯证明,但如今已被证实成立):

打开网易新闻 查看精彩图片

将系数扩张到大周期环 Bdʀ后,德拉姆上同调与平展上同调之间存在伽罗瓦等变同构,同时兼容两侧滤过结构。至此我们完成第一层目标。

光滑真簇情形下,德拉姆滤过直接由微分形式次数定义;一般代数簇则需要借助其他处理过程定义滤过。

对该同构两侧取伽罗瓦不动点,可从平展上同调复原原本的有理德拉姆上同调。换言之,Bdʀ 上由 t 的幂生成的平凡滤过,完全还原几何侧复杂的德拉姆滤过,性质十分奇妙。

但我们仍未完成第二层核心目标:仅依靠该同构,无法从德拉姆侧信息完整复原平展上同调的伽罗瓦作用。原因是德拉姆侧仅有滤过结构,信息不足以复原右侧复杂伽罗瓦表示,因此需要构造更精细的周期环。

打开网易新闻 查看精彩图片

我在研究生期间,方丹(Fontaine)陆续定义两代更精细的初代周期环:

  1. Bc(晶体周期环)

  2. 对应具备良好约化的代数簇,配备弗罗贝尼乌斯(Frobenius) 算子;

  3. Bₛₜ(半稳定周期环)

  4. 对应半稳定约化代数簇,额外带有单值化算子,刻画约化奇点带来的几何信息。

引用马克・基辛(Mark Kisin)在数学会刊中对方丹的评价:曾有人问方丹,如何构思出这些周期环?他回答:“我当时一直在做维特(Witt)双向量的繁复计算,这些环完全是从计算过程中自然诞生的。”

基辛继续评述:方丹创造这套性质近乎魔幻的周期环体系,其周期理论丰富程度远超复分析类比所能预判的上限。这套理论并非格罗滕迪克式纯粹动机(motives)抽象猜想,而是从海量繁复代数计算中,逐步提炼出深刻猜想与严谨定理。

p 进理论如同修士编织挂毯,只能一根丝线拆解、逐步观察,才能窥见织物底层完整构造,这句话精准概括方丹的研究路径。

方丹最初的研究动机是 p 可除群,由此诞生一系列近似构造;部分构造被淘汰,Bcᵣ、Bₛₜ、Bdʀ 三套环留存至今。

事后回望我们可以看清:所有初代周期环,本质都是几何点的上同调:

  • Bcᵣ⁺ 可理解为晶体上同调,近似于 Q̅ₚ / p 有理化后的同调;

  • Bdʀ⁺ 是同一环经霍奇完备化后的导出上同调。

这套几何直观十分实用,能够串联几何中各类核公式。

晶体周期环与半稳定周期环(Bcᵣ、Bₛₜ)

打开网易新闻 查看精彩图片

周期环体系建立后,方丹提出半稳定比较定理,建立平展上同调与德拉姆型上同调的对应;此处德拉姆上同调携带三套隐藏算术结构:弗罗贝尼乌斯、单值化算子、基域伽罗瓦群剩余作用,早期文献称其为上同调的隐藏几何结构。

  1. 1. 弗罗贝尼乌斯:来源于模 p 约化,是特征 p 域标准自同态,作用在约化后的上同调;

  2. 2. 单值化算子:直观来源是代数簇存在潜在半稳定模型,尽管全局不存在该模型,但同调层面可观测对应算子;

  3. 3. 剩余伽罗瓦作用:记录我们必须扩域才能实现半稳定约化这一事实。

该定理结论:

ℚₚ上所有代数簇的 p进周期,全部包含于经Q̅ₚ扩张后的 Bₛₜ 中。

该定理强度足以复原完整伽罗瓦表示:取上同调关于 N(单值化)、φ(弗罗贝尼乌斯)、F⁰(滤过 0 分量)的特征空间,即可复原完整平展伽罗瓦表示。

简言之:想要理解这类几何伽罗瓦表示,只需研究兵頭治–加藤(Hyodo-Kato)上同调与德拉姆上同调;

德拉姆上同调相对简单,兵頭治–加藤上同调难度更高,难点在于理解单值化、弗罗贝尼乌斯算子,二者紧密关联代数簇整体整模型结构。

滤过结构对应两类几何:原纤维(原始代数簇)几何、模 p 约化几何;定理核心是刻画两层几何之间的相互作用。

半稳定比较定理的证明历经多年,多位学者完成关键贡献,其中法尔廷斯与舒尔茨(Scholze)的工作最为核心:

  • 法尔廷斯发展几乎平展扩张理论,率先证明良好约化簇的晶体比较定理;

  • 舒尔茨拓展该框架,证明几乎纯净性定理,大幅拓宽理论适用范围,将法尔廷斯开创的几何分析推进到极致。

法尔廷斯几乎纯净性定理

打开网易新闻 查看精彩图片

我们需要建立基本群同调与微分形式的关联,二者分属两套完全不同的体系。泰特最早建立伽罗瓦群与微分形式的联系,本证明是该思路的巨大推广。

常规复分析会用到指数列,但 p 进体系不存在;我们改用其 p 进类比,在pro-平展位置拓扑(pro-étale site topology)上研究结构层 O 的层上同调,再引入各类周期层(period sheaves,周期环的层版本)。

我们不直接计算 ℚₚ 的同调,改为计算周期层上同调,再通过指数列过渡到结构层pro-平展上同调。

直观上结构层上同调极难计算,但几乎纯净性定理可极大简化运算。

打开网易新闻 查看精彩图片

研究目标是结构层的pro-平展上同调,本质是代数簇万有覆叠(universal cover)上函数环的基本群群上同调;上标 + 代表不取 p 的逆,仅取环中整元素。

假设代数簇光滑,局部可类比多圆周乘积;取 pⁿ 次根坐标得到简单覆叠,覆叠变换群为 ℤₚᵈ。

法尔廷斯几乎纯净定理结论:

复杂基本群、复杂坐标环对应的群上同调,与简单覆叠、简单坐标环对应的群上同调几乎同构。

几乎同构” 定义:二者差值仅能被所有 p¹/ⁿ 零化,因此我们必须在几乎数学框架内运算。

该定理巨大优势:将求解结构层复杂同调,简化为简单交换群 ℤₚᵈ 的群上同调,坐标环复杂度同步降低。

一维情形核心计算示例

打开网易新闻 查看精彩图片

一维仅需计算 ℤₚ 在添加pⁿ次单位根坐标环上的群上同调,伽罗瓦群作用在单项式上的行为完全清晰,整套复形是标准科斯祖尔复形(Koszul complex)。

n=0 时,0 次上同调 H⁰ 给出底簇原本的函数;一次上同调 H¹ 仅包含微分形式;高次上同调重复出现函数副本。由添加单位根生成的单项式在高阶全部消去,仅一次上同调留存受控挠元。

补充:

该证明并未直观展示微分形式的来源,仅证明存在等价于微分空间的群;结合各类 p 进版本庞加莱引理可完善论证,次数 1 的分次分量就是如今广泛使用的法尔廷斯扩张。

核心思路总结:

几乎纯净定理允许我们用简单基本群替换复杂几何基本群,系数环同步简化;再结合拉扎德(Lazard)定理,群上同调等价于对应李代数的李代数上同调,而李代数上同调天然对应微分形式,这是当下标准理解路径。

阿贝尔 p 进霍奇理论与非阿贝尔拓展

以上是阿贝尔版本 p 进霍奇理论;从法尔廷斯 1986 年早期工作开始,领域同步存在非阿贝尔分支,分为两大研究方向:

打开网易新闻 查看精彩图片

  1. 1. 上同调系数范畴:

  2. 拓扑侧局部系统对应 X 上平坦滤过向量丛;舒尔茨近期工作证明,对应范畴就是原始定义下的德拉姆局部系统。

  3. 目前仍存在大量开放问题:刻画适配各类约化类型(良好、半稳定、晶体)的局部系统子范畴。

  4. 2. 霍奇上同调对应的希格斯丛:

  5. 能否建立希格斯丛(Higgs bundle)与 p 进上同调系数、局部系统的一一对应?

该方向起源于法尔廷斯 2005 年工作,他在pro-平展侧定义广义表示;

近年多位学者证明广义表示与希格斯丛一一对应,但各类子系统的完整对应关系仍有待刻画。

倾斜理论与完备态空间

打开网易新闻 查看精彩图片

法尔廷斯整套理论最重要遗产之一:“几乎数学”。

泰特早期零维几乎平展扩张理论,由法尔廷斯拓展至高维相对情形,系统论述收录于加贝尔–拉梅罗(Gabber-Ramero)专著。

舒尔茨对几乎理论做出颠覆性推广,创立完备态几何(perfectoid geometry):

体系化研究 p 幂次根塔覆叠,建立完备态空间拓扑与几何通用框架,也是解读法尔廷斯理论的天然语言。舒尔茨证明适用范围极广的几乎纯净定理,直接支撑刚性解析几何内全套论证。

完备态空间自带倾斜函子,实现特征 0 域与特征 p 域互换

打开网易新闻 查看精彩图片

典型实例:

取 ℂₚ 上仿射线,不断取 p 次幂根得到无限塔,极限对象记作 X;对该极限完备态对象做倾斜,得到特征 p 域上仿射线的无限塔,基域是 ℂₚ 在 p 幂映射下的极限域(特征 p 完全域)。特征 0 完备态对象,倾斜后得到拓扑完全相同的特征 p 完备态对象,两套无限覆叠塔通过倾斜函子同构。

通俗解释:

特征 p 几何,可通过无限覆叠,等价刻画特征 0 混合特征几何。这是证明数论猜想的标准工具,例如借助倾斜将单值化权猜想约化至特征 p 情形完成证明。

法尔廷斯 p 进霍奇理论整体应用

打开网易新闻 查看精彩图片

  1. (1)数论:

  2. 理论诞生之初就具备大量数论应用:

  3. 模性提升定理 (MLT,例如涉及费马大定理FLT);

  4. 方丹–马祖尔(Fontaine-Mazur)猜想:若全局伽罗瓦表示满足几何表示的局部约束,则它一定来源于代数簇几何;

  5. p进 朗兰兹纲领,细化贝林森(Beilinson) L 函数特殊值猜想,精确给出有理修正因子。

(2)交换代数:

近年突破性应用,解决混合特征域下同调猜想,证明直和猜想。

(3)混合特征代数几何方向:

消灭定理( vanishing theorem) 、极小模型纲领(MMP)。

该领域核心口号:特征 p 与混合特征域不存在奇点消解,几乎纯净定理完全替代奇点消解(resolution of singularity)的作用。

打开网易新闻 查看精彩图片

Q&A 问答环节

问1:

能否再多介绍交换代数,同调定理方面的应用?

答:

核心逻辑前文已说明,几乎纯净定理弥补混合特征域缺少奇点消解的短板。早年研究混合特征几何总会遭遇同一个障碍 —— 无法消解奇点;几乎理论给出绕开障碍的工具:取无穷多层覆叠塔后,部分态射变为平坦态射,这套技术正是几乎直和猜想证明的核心工具。

问2:

您前面对比了特征 p 几何与特征 0 几何,是否代表 p 进霍奇理论在纯特征 p 域存在对应版本?

答:

简短回答:不存在。

所有比较定理都建立在混合特征框架。特征 p 域不存在 p 进平展上同调(Betti上同调类似物)这套优良类比;特征 p 域上同调行为更接近凝聚层上同调(coherent cohomology),无法复刻 p 进平展上同调与德拉姆上同调的完美配对,因此不存在平行版本的霍奇比较理论。

以上译文仅供参考,请以原文为准。

参考资料

https://www.youtube.com/watch?v=a76BABvrhso

小乐数学科普近期文章

小乐数学科普历年合集

版权声明:本文首发于微信公众号“zzllrr小乐”的专栏《小乐数学科普》。欢迎个人转发。如需转载,请在“zzllrr小乐”公众号后台回复“转载”,还可通过公众号菜单、发送邮件到zzllrr@gmail.com与我们取得联系。相关图文音视频内容默认遵守CC BY-NC 4.0知识共享协议,未获作者和译者授权,禁止用于营销宣传和商业目的。如有勘误,请反馈给zzllrr小乐公众号第一时间更正,其他平台非首发或无法多次同步,未必会及时更正同一错误,望予以谅解。

·开放 · 友好 · 多元 · 普适 · 守拙·

打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

让数学

更加

易学易练

易教易研

易赏易玩

易见易得

易传易及

欢迎评论、点赞、在看、在听

收藏、分享、转载、投稿

查看原始文章出处

点击底部一起捐

助力腾讯公益

点击zzllrr小乐

公众号主页

右上角

置顶★加星

数学科普不迷路!