[논문 리뷰] Moduli spaces, indecomposable objects and potentials over a finite field

Galyna Dobrovolska, Victor Ginzburg외 1명|arXiv (Cornell University)|2016. 12. 06.

Algebraic structures and combinatorial models참고 문헌 24인용 수 9

한 줄 요약

이 논문은 유한체 선형 범주에서 절대적으로 분해 불가능한 대상에 대한 지수합에 대한 기하학적 공식과, 대상의 매끄러운 모듈리 스택을 갖는 범주에서 모든 대상에 대한 스택 합에 대해 기하학적 공식을 수립한다. 코탄젠트 벡터 장의 기하학과 잠재함수 및 차원 벡터 함자와의 호환성을 활용하여, 퀼레 표현, 쌍곡선 복합체, 국소체에 대한 새로운 캐릭터 합을 제공하며, Hausel, Letellier 및 Rodriguez-Villegas의 결과를 일반화한다.

ABSTRACT

Given a linear category over a finite field such that the moduli space of its objects is a smooth Artin stack (and some additional conditions) we give formulas for an exponential sum over the set of absolutely indecomposable objects and a stacky sum over the set of all objects of the category, respectively, in terms of the geometry of the cotangent bundle on the moduli stack. The first formula was inspired by the work of Hausel, Letellier, and Rodriguez-Villegas. It provides a new approach for counting absolutely indecomposable quiver representations, vector bundles with parabolic structure on a projective curve, and irreducible etale local systems (via a result of Deligne). Our second formula resembles formulas appearing in the theory of Donaldson-Thomas invariants.

연구 동기 및 목표

• 절대적으로 분해 불가능한 대상에 대한 지수합에 대한 기하학적 공식을, 매끄러운 모듈리 스택을 갖는 유한체 선형 범주에서 유도하는 것.
• 이 공식들을 모든 대상에 대한 스택 합으로 확장하여 도널드슨-토머스 불변량과 유사하게 만드는 것.
• 한 개의 기하학적 프레임워크를 통해 퀄레 표현, 쌍곡선 복합체, 에탈레 국소체의 수를 통합적으로 다루는 것.
• 모듈리 스택 위의 코탄젠트 벡터 장 기하학을 통한 새로운 수량 계산 접근법을 제공하는 것.

제안 방법

• 논문은 대상들을 매개변수화하는 매끄러운 아르틴 스택 $\mathfrak{X}(\mathscr{C})$를 갖는 $\boldsymbol{\mathbb{F}_q}$-선형 카루비안 범주 $\mathscr{C}$를 사용한다.
• 잠재함수 $\phi$와 직접합에 대해 가환성을 만족하는 차원 벡터 함자 $F$의 존재를 가정한다.
• 핵심 기법은 $\phi$와 $F_i$를 $\mathfrak{X}(\mathscr{C})$ 위의 정칙 함수와 국소적으로 자유인 층으로 올리고, 가환성 등급을 유지하는 것.
• 주요 공식들은 코탄젠트 벡터 장 $T^*\mathfrak{X}(\mathscr{C})$ 의 기하학을 활용하여 유도되며, 특히 푸리에 변환과 인ertia 스택을 통해 유도된다.
• 이 방법은 곡선 위의 쌍곡선 복합체 및 스무스 대수 위의 유한차원 모듈러스에 적용된다.
• 표현 이론과 양의 도형 사이의 조합기하학적 대응을 수립하기 위해, 분해 불가능한 표현과 토러스 고정점 사이의 이중성과 프로베누스 형식을 사용한다.

실험 결과

연구 질문

• RQ1 유한체 위의 범주에서 절대적으로 분해 불가능한 대상에 대한 지수합은 모듈리 스택의 기하학을 어떻게 기술할 수 있는가?
• RQ2 이러한 범주에서 모든 대상에 대한 스택 합의 기하학적 해석은 무엇이며, 도널드슨-토머스 불변량과의 관계는 어떠한가?
• RQ3 모듈리 스택의 코탄젠트 벡터 장은 주어진 차원 벡터를 갖는 분해 불가능한 대상의 수를 어떻게 캐릭터화하는가?
• RQ4 퀄레 표현, 쌍곡선 복합체, 국소체의 수를 통합적으로 다룰 수 있는 기하학적 프레임워크는 무엇인가?
• RQ5 잠재함수 $\phi$와 그 스택 구조와의 호환성은 이러한 공식 유도에 어떤 역할을 하는가?

주요 결과

• 논문은 모듈리 스택 위의 코탄젠트 벡터 장 기하학을 통해 절대적으로 분해 불가능한 대상에 대한 지수합 $E_{\mathbf{v}}(\mathscr{C}, F, \phi, \psi)$ 에 대한 기하학적 공식을 제공한다.
• 도널드슨-토머스 불변량과 유사한 스택 합 공식을 도출하였으며, 이는 합에 자동형사의 크기의 역수를 포함한다.
• 퀄레 표현의 경우, Hausel, Letellier 및 Rodriguez-Villegas의 절대적으로 분해 불가능한 표현 수를 세는 결과를 복원하고 일반화한다.
• 프로베누스 형식을 통한 모멘트 맵의 영점의 연결 성분과 분해 불가능한 표현 사이의 이중성을 수립하여 표현 이론과 양의 도형을 연결한다.
• 칼로제르모저 퀄레의 경우, '뱀'을 오른쪽 모서리로 굽혀 양의 도형을 형성함으로써, 분해 불가능한 표현과 토러스 고정점 사이의 이중성이 실현된다.
• 결과는 곡선 위의 쌍곡선 복합체와 에탈레 국소체에 적용되며, 후자는 델리뉴의 정리에 의해 회복되어 프레임워크의 광범위한 적용 가능성을 보여준다.