[论文解读] Asymptotic shifting numbers in triangulated categories

Yuwei Fan, Simion Filip|arXiv (Cornell University)|Aug 14, 2020

Mathematical Dynamics and Fractals参考文献 34被引用 4

一句话总结

本文引入了移位数作为三角范畴中自同构的渐近不变量，用于度量其平移行为，类似于动力系统中庞加莱旋转数。研究证明，在关键例子如椭圆与阿贝尔曲面的导出范畴中，这些不变量构成自同构群上的拟同态，并将其与熵及布里格兰德稳定性条件联系起来。

ABSTRACT

We introduce invariants, called shifting numbers, that measure the asymptotic amount by which an autoequivalence of a triangulated category translates inside the category. The invariants are analogous to Poincare translation numbers that are widely used in dynamical systems. We additionally establish that in some examples the shifting numbers provide a quasimorphism on the group of autoequivalences. Additionally, we relate our shifting numbers to the entropy function introduced by Dimitrov, Haiden, Katzarkov, and Kontsevich.

研究动机与目标

• 定义并研究用于度量三角范畴中自同构平移行为的渐近不变量——移位数。
• 证明这些不变量满足类似于庞加莱平移数的性质，包括共轭不变性与齐次性。
• 在特定几何设定（如椭圆与阿贝尔曲面的导出范畴）中，证明移位数在自同构群上构成拟同态。
• 将移位数与范畴化动力系统中的现有不变量（如熵函数与布里格兰德稳定性条件）联系起来。
• 通过范畴数据（特别是A₂型奎瓦的卡拉比-丘范畴）显式构造PSL₂(ℤ)上的拟同态。

提出的方法

• 将上移位数τ⁺(F)与下移位数τ⁻(F)定义为分裂生成元G与其迭代FⁿG之间Ext-距离函数ε⁺与ε⁻的渐近极限。
• 利用Ext-距离函数ε⁺(E₁,E₂) = max{k ∈ ℤ : Hom(E₁, E₂[−k]) ≠ 0}与ε⁻(E₁,E₂) = min{k ∈ ℤ : Hom(E₁, E₂[−k]) ≠ 0}来度量范畴位移。
• 证明τ⁺(F)与τ⁻(F)与分裂生成元的选择无关，并满足关键性质：平移不变性、共轭不变性与齐次性。
• 通过勒让德对偶性，建立移位数与Dimitrov、Haiden、Katzarkov与Kontsevich引入的熵函数之间的联系。
• 利用Rademacher函数及其齐次化，显式构造PSL₂(ℤ)上的拟同态，并证明其源于范畴自同构。
• 在椭圆与阿贝尔曲面的导出范畴中，证明移位数在自同构群上构成拟同态，其显式表达式由交形式与 braid 群作用给出。

实验结果

研究问题

• RQ1 如何在三角范畴中定义类似于动力系统中庞加莱旋转数的渐近不变量，以度量自同构的平移行为？
• RQ2 在哪些范畴中，移位数τ⁺与τ⁻会在自同构群上构成拟同态？
• RQ3 移位数与Dimitrov、Haiden、Katzarkov与Kontsevich引入的熵函数有何关系？
• RQ4 在椭圆曲线或阿贝尔曲面的导出范畴等几何例子中，移位数能否显式计算？
• RQ5 布里格兰德稳定性条件在将移位数解释为相位或渐近平移数据方面起什么作用？

主要发现

• 上移位数τ⁺(F)与下移位数τ⁻(F)在三角范畴中定义良好、有限，且与分裂生成元的选择无关。
• 当范畴具有Serre自对偶时，移位数τ(F) = ½(τ⁺(F) + τ⁻(F))满足对所有n ∈ ℤ有τ(Fⁿ) = n·τ(F)。
• 在椭圆曲线的导出范畴中，移位数在自同构群上定义了一个拟同态，其显式值由交理论决定。
• 在阿贝尔曲面的导出范畴中，移位数给出一个拟同态，其通过在上同调上的作用进行分解，且与Künneth分解的特殊分量相关。
• 在A₂型奎瓦的卡拉比-丘范畴中，移位数构造在 braid 群上诱导出一个拟同态，通过中心扩张实现，其取值由PSL₂(ℤ)上的齐次化Rademacher函数决定。
• 移位数与熵函数的Legendre变换相关，为范畴动力学提供了对偶视角。