[论文解读] On Harder-Narasimhan filtrations and their compatibility with tensor products

Christophe Cornut|arXiv (Cornell University)|Mar 23, 2017

Algebraic Geometry and Number Theory参考文献 17被引用 11

一句话总结

本文在模格与拟-Tannakian范畴中建立了一个关于Harder-Narasimhan（HN）过滤的凸几何框架，证明了通过基于CAT(0)度量几何与Busemann标量积的数值准则，HN-过滤与张量积相容。关键贡献在于提出一个通用准则，确保张量范畴上的HN-过滤为⊗-函子，并在三种情形中得到验证：带过滤的向量空间、赋范向量空间以及赋范ϕ-模。

ABSTRACT

We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these filtrations with tensor products. We finally verify our criterion in three cases, one of which is new.

研究动机与目标

• 通过模格与度量几何，为Harder-Narasimhan过滤提供范畴论与几何学基础。
• 在拟-Tannakian范畴中，建立HN-过滤与张量积相容性的数值准则。
• 在三个关键情形中验证该准则：带过滤的向量空间、赋范向量空间以及赋范ϕ-模。
• 证明在这些情形中，HN-过滤函子为⊗-函子，推广已知结果并统一了原本零散的证明。
• 探讨在例子中斜率为零的半稳定对象子范畴的Tannaka对偶。

提出的方法

• 引入有限长度模格X上R-过滤的空间，其上赋予由秩函数导出的度量d。
• 证明(F(X), d)是一个完备的CAT(0)度量空间，其拓扑与测地线与秩函数的选择无关。
• 通过一个次数函数在F(X)上赋予一个凹函数，其唯一极小值点即为HN-过滤。
• 通过从格理论框架推导出范畴论的HN形式化，将此格理论形式化应用于范畴。
• 利用CAT(0)空间上的Busemann标量积，发展一个用于HN-过滤与⊗-积相容性的数值准则。
• 通过代数闭域上的基变换，结合规范范数与伽罗瓦作用的性质，在三种情形中验证该准则。

实验结果

研究问题

• RQ1 能否通过模格上的凸几何，内在地刻画Harder-Narasimhan过滤？
• RQ2 在何种条件下，张量范畴上的HN-过滤是⊗-函子？
• RQ3 在赋范ϕ-模范畴中，HN-过滤是否与张量积相容？
• RQ4 在赋范ϕ-模范畴中，斜率为零的半稳定对象全子范畴的Tannaka对偶是什么？
• RQ5 能否通过度量几何，在不同范畴中统一建立HN-过滤与张量积相容性的证明？

主要发现

• 在有限长度模格X上赋予秩函数的R-过滤空间，构成一个与秩函数选择无关的完备CAT(0)度量空间。
• HN-过滤被刻画为由次数函数导出的凹函数在R-过滤空间上的唯一极小值点。
• 在带过滤的向量空间范畴中，HN-过滤与张量积相容，通过新方法重新获得了已知结果。
• 在局部域上赋范向量空间范畴中，HN-过滤是⊗-函子，这是新结果，适用于shtuka的同构类范畴。
• 在赋范ϕ-模范畴中，HN-过滤是⊗-函子，推广了文献[17]中的结果，并确立了与张量积的相容性。
• 对任意有限域上的半单代数群G，从Rep(G)到Normϕ_K的每个忠实精确⊗-函子都是良性的，即其HN-过滤与张量积相容。