[论文解读] Filtrations and Buildings

Christophe Cornut|arXiv (Cornell University)|Nov 13, 2014

Algebraic structures and combinatorial models参考文献 19被引用 5

一句话总结

本文构建了蒂茨向量丛建筑的方案化版本，并通过塔南卡安形式化统一了局部非阿基米德域上半单代数群的滤子、范数与布吕赫特-蒂茨建筑。它在向量丛建筑中的滤子与仿射建筑中的范数之间建立了典范同构，推导出滤子作用于范数的显式公式，并通过纤维函子与表示上的Γ-滤子，给出了布吕赫特-蒂茨建筑的塔南卡安描述。

ABSTRACT

En hommage à Alexander Grothendieck

研究动机与目标

• 为半单代数群提供向量丛蒂茨建筑的典范、函子性且方案化的构造。
• 厘清纤维函子上的滤子与仿射布吕赫特-蒂茨建筑几何之间的关系。
• 建立一个塔南卡安框架，通过表示上的Γ-滤子统一滤子、范数与建筑。
• 给出向量丛建筑元素（滤子）作用于仿射建筑（范数）的显式、内在公式。
• 将坐标代数 A(G) 上的伴随范数 αadj(x) 与贝克里奇 G-解析空间范数等同，证明其乘法性与精确性。

提出的方法

• 在光滑仿射群及其表示上引入Γ-分次与Γ-滤子，推广至拟相干层与纤维函子。
• 利用塔南卡安形式化，将Γ-滤子的稳定子与纤维函子的结构联系起来，特别通过紧致对象范畴与标量扩张。
• 将向量丛蒂茨建筑 FΓ(G) 构造为参数化纤维函子 ω◦G 上Γ-滤子的方案化对象。
• 将仿射 F(G)-建筑定义为带有墙与紧密结构的度量空间，利用优势序与滤子的相对位置。
• 推导出布鲁赫特-蒂茨建筑中点与滤子 F 之间距离 ⟨−→xy, F⟩ 的显式公式，通过滤子分次上的范数对数表达。
• 建立从布鲁赫特-蒂茨建筑 Be(GK) 到 A(GK) 上子乘法 K-范数空间的 G(K)-等变映射，将 αadj(x) 与贝克里奇范数 ϑ(x) 识别。

实验结果

研究问题

• RQ1 如何为半单代数群以方案化且函子性的方式构造向量丛蒂茨建筑？
• RQ2 纤维函子上的滤子与仿射布吕赫特-蒂茨建筑几何之间的确切关系为何？
• RQ3 能否使向量丛建筑对仿射建筑的作用显式化且典范化，且独立于度量选择？
• RQ4 Moy-Prasad 滤子在李代数上如何与塔南卡安形式化定义的范数相关联？
• RQ5 A(GK) 上的伴随范数 αadj(x) 是否自然地与 G-解析空间上的贝克里奇范数 ϑ(x) 一致？

主要发现

• 滤子 F ∈ FΓ(GK) 对布鲁赫特-蒂茨建筑 Be(GK) 中点 x 的作用由公式 ⟨−→xy, F⟩ = ∑γ γ · log(ΛγF(α(x), τ)/ΛγF(α(y), τ)) 给出，其中 ΛγF 表示滤子分次上的范数。
• 对于满足 |K×| = qZ 的离散赋值，gK 上的 Moy-Prasad 滤子满足 gx,r = {v ∈ gK : αad(x)(v) ≤ q−r}，将李代数滤子与伴随范数联系起来。
• 坐标代数 A(GK) 上的范数 αadj(x) 是乘法的，且等于贝克里奇范数 ϑ(x)，从而在布鲁赫特-蒂茨建筑与 G-解析空间之间建立了典范同构。
• A(GK) 上的正规范数 αreg(x) 是次乘法的，且确定了所有表示上的完整范数 α(x)，表明 αreg 将 Be(GK) 嵌入子乘法范数空间。
• B′(ω◦G, K) 中精确范数的子集 B(ω◦G, K) 预期与 B?(ω◦G, K) 重合，提示了布鲁赫特-蒂茨建筑在范数空间中的典范刻画。
• 该构造可推广至更高高度的赋值环，暗示布吕赫特-蒂茨理论可能可扩展至值群不能嵌入 R 的非阿基米德域。