[논문 리뷰] Asymptotic shifting numbers in triangulated categories

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

Mathematical Dynamics and Fractals참고 문헌 34인용 수 4

한 줄 요약

이 논문은 동역학에서 Poincaré 회전수와 유사하게 삼각 범주에서 자동동치의 이동 행동을 측정하는 점 渐진 불변량으로 이동 수를 도입한다. 주요 예시인 타원 곡선과 아벨 표면의 호모토피 범주에서 이러한 불변량이 쿼시함수를 이룬다는 것을 증명하고, 엔트로피 및 Bridgeland 안정 구조 조건과의 연결을 제시한다.

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.

연구 동기 및 목표

• 삼각 범주에서 자동동치의 이동을 측정하는 점 渐진 불변량인 이동 수를 정의하고 연구하는 것.
• 이러한 불변량이 Poincaré 이동수와 유사한 성질을 만족함을 보이는 것—즉, 공轭 불변성과 동차성.
• 특정 기하적 설정, 예를 들어 타원 곡선과 아벨 표면의 호모토피 범주에서 자동동치의 군 위에서 이동 수가 쿼시함수를 이룬다는 것을 보이는 것.
• 이동 수가 기하학적 동역학에서의 기존 불변량, 특히 엔트로피 함수와 Bridgeland 안정 구조 조건과 어떻게 연결되는지 밝히는 것.
• 특히 A₂ 퀴버의 칼라비-유 주조 범주에서 카테고리적 자료를 이용해 PSL_2(Z)와 같은 군에 대한 명시적 쿼시함수를 구성하는 것.

제안 방법

• 분할 생성자 G와 그 반복 FⁿG 사이의 Ext-거리 함수 ε⁺, ε⁻의 점 渐진 극한으로 상한 이동 수 τ⁺(F)와 하한 이동 수 τ⁻(F)를 정의한다.
• 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₂(ℤ) 위에 명시적 쿼시함수를 구성하며, 이들이 카테고리적 자동동치로부터 유도됨을 보인다.
• 타원 곡선과 아벨 표면의 호모토피 범주에서 이동 수가 자동동치 군 위에 쿼시함수를 이룬다는 것을 보이며, 교차 형식과 브레인 군 작용에 기반한 명시적 공식을 제시한다.

실험 결과

연구 질문

• RQ1 동역학에서 Poincaré 회전수와 유사하게 삼각 범주에서 자동동치의 이동을 측정하는 점 渐진 불변량을 어떻게 정의할 수 있는가?
• RQ2 어떤 범주에서 이동 수 τ⁺와 τ⁻가 자동동치 군 위에 쿼시함수를 이룰 수 있는가?
• RQ3 Dimitrov, Haiden, Katzarkov, Kontsevich가 도입한 엔트로피 함수와 이동 수는 어떻게 관련되어 있는가?
• RQ4 타원 곡선이나 아벨 표면의 호모토피 범주와 같은 기하적 예에서 이동 수를 명시적으로 계산할 수 있는가?
• RQ5 Bridgeland 안정 구조 조건은 이동 수를 위상 또는 점 渐진 이동 데이터로 어떻게 해석하는 데 기여하는가?

주요 결과

• 상한 이동 수 τ⁺(F)와 하한 이동 수 τ⁻(F)는 삼각 범주에서 잘 정의되며, 유한하고 분할 생성자의 선택과 무관하다.
• F가 자동동치이고 범주가 세레 포터를 갖는다면, τ(F) = ½(τ⁺(F) + τ⁻(F))는 모든 n ∈ ℤ에 대해 τ(Fⁿ) = n·τ(F)를 만족한다.
• 타원 곡선의 호모토피 범주에서 이동 수는 자동동치 군 위에 쿼시함수를 정의하며, 교차 이론에 의해 명시적으로 결정된다.
• 아벨 표면의 호모토피 범주에서는 이동 수가 코homology 위의 작용을 통해 인코딩되며, 쿤트 축합의 특별한 성분과 관련되어 있다.
• A₂ 퀴버의 칼라비-유 주조 범주에서 이동 수 구성은 중심 확장을 통해 브레인 군 위에 쿼시함수를 유도하며, 그 값은 PSL₂(ℤ) 위의 동차화된 Rademacher 함수에 의해 결정된다.
• 이동 수는 엔트로피 함수의 레전드르 변환과 관련되어 있어 카테고리적 동역학에 대한 쌍대적 시각을 제공한다.