[논문 리뷰] Pseudo-quotients of algebraic actions and their application to character varieties

Ángel González-Prieto|arXiv (Cornell University)|2018. 07. 23.

Algebraic Geometry and Number Theory참고 문헌 37인용 수 5

한 줄 요약

이 논문은 기하학적 불변량 이론(GIT) 몫을 일반화하는 토폴로지적으로 유도된 대수적 군 작용의 가짜 몫(pseudo-quotients)을 도입한다. 이는 대수적 구조가 아닌 토폴로지적 구조에 초점을 맞춘다. 이 프레임워크를 활용해 자유군과 표면군에 대해 조르당 유형의 폴라리티 구조를 가진 SL₂(k)-표현 다양체의 가상 클래스를 계산하며, 특성 0인 체에서 그로텐디에크 링 내에서 가상 클래스에 대해 유일성을 보여준다. 주요 결과는 종수, 구멍 수, 콭지류 유형 등의 매개변수에 따라 이러한 표현 다양체의 가상 클래스에 대한 명시적 공식을 도출하는 것이다.

ABSTRACT

In this paper, we propose a weak version of quotient for the algebraic action of a group on a variety, which we shall call a pseudo-quotient. They arise when we focus on the purely topological properties of good GIT quotients regardless of their algebraic properties. The flexibility granted by their topological nature enables an easier identification in geometric constructions than classical GIT quotients. We obtain several results about the interplay between pseudo-quotients and good quotients. Additionally, we show that in characteristic zero pseudo-quotients are unique up to virtual class in the Grothendieck ring of algebraic varieties. As an application, we compute the virtual class of $\mathrm{SL}_{2}(k)$-character varieties for free groups and surface groups as well as their parabolic counterparts with punctures of Jordan type.

연구 동기 및 목표

• 대수적 군 작용에 대해 전통적인 GIT 몫의 유연한 토폴로지적 대체를 개발하기 위해.
• 대수기하학에서 가짜 몫과 양호한 GIT 몫 간의 상호작용을 연구하기 위해.
• 자유군과 표면군에 대해 폴라리티 구조를 가진 SL₂(k)-표현 다양체의 가상 클래스를 계산하기 위해.
• 특성 0인 체에서 그로텐디에크 링 내에서 가상 클래스에 대해 가짜 몫이 유일함을 확립하기 위해.
• 양자 방법의 적용 범위를 넓히기 위해, 산술적 및 기하적 방법이 달성하지 못한 바깥의 표현 다양체에 대해 명시적 가상 클래스 공식을 제공하기 위해.

제안 방법

• 좋은 GIT 몫의 호모토피 유형을 유지하면서 대수적 제약 조건을 완화한 토폴로지적 몫으로서 가짜 몫을 제안한다.
• 가상 클래스를 계산하기 위해 표현 다양체를 기약 가능 및 기약 불가능 집합으로 분할하는 기법을 사용한다.
• 가상 클래스를 그로텐디에크 다양체 링 내에서 계산하기 위해 린스 모나이드 TQFT를 통해 양자 방법을 적용한다.
• 그로텐디에크 링 내에서 잘라내고 붙이기 관계를 활용해 복잡한 분할을 (k*)^s−1 및 초평면의 여집합과 같은 더 단순한 성분들로 분해한다.
• 분할에 대한 안정자 작용(예: PGL₂)을 분석하여 피브레이션과 궤도 유형 분해를 통해 몫의 가상 클래스를 계산한다.
• πs 및 Πs에 대한 재귀 관계를 사용하여 서로 다른 분할 Xυ, X̺, Xir의 기여를 조합함으로써 표현 다양체의 가상 클래스에 대한 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 어떻게 대수적 군 작용에 대해 GIT 몫의 주요 불변량을 유지하면서도 더 약한, 토폴로지적으로 강건한 몫을 정의할 수 있는가?
• RQ2 가상 클래스 측면에서 가짜 몫과 전통적인 양호한 GIT 몫 간의 관계는 무엇인가?
• RQ3 표면군에 대해 폴라리티 구조를 가진 SL₂(k)-표현 다양체의 가상 클래스는 그로텐디에크 링 내에서 계산될 수 있는가?
• RQ4 특성 0에서 가짜 몫이 가상 클래스에 대해 유일한 조건은 무엇인가?
• RQ5 조르당 유형의 폴라리티 구조는 표현 다양체의 가상 클래스에 어떤 영향을 미치는가?

주요 결과

• 자유군에 대해 s개의 구멍이 있는 SL₂(k)-표현 다양체의 가상 클래스는 [Xn,s ⋊ SL₂] = 2n(q−1)s qn−1 + (q³−q)ⁿ⁻¹(q²−1)ˢ이다.
• g ≥1인 종수의 표면군에 대해 s ≥1개의 구멍이 있는 경우, 가상 클래스는 [Xg,s ⋊ SL₂] = (q²−1)²𝘨⁺𝘴⁻² q²𝘨⁻² + (−1)𝘴 2²𝘨 (q−1) q²𝘨⁻² (1−(1−q)𝘴⁻¹) + ½(q−1)²𝘨⁺𝘴⁻² q²𝘨⁻² (2²𝘨 + q−3) + ½(q+1)²𝘨⁺𝘴⁻² q²𝘨⁻² (2²𝘨 + q−1)이다.
• r+개의 조르당 블록, r−개의 음수 조르당 블록, t = −Id 블록을 가진 조르당 유형의 폴라리티 구조에 대해, 가상 클래스는 σ = (−1)ʳ⁻⁺ᵗ에 따라 달라진다. σ = 1이면 비-twist된 경우로 간소화되며, σ = −1이면 기약 표현이 존재하지 않는다.
• twist된 경우(σ = −1)에, 가상 클래스는 [XSL₂(Γg,r+1,Q⁻ᵣ)] = (−1)ʳ⁻¹ 2²𝘨⁻¹ (q+1)²𝘨⁺ʳ⁻² q²𝘨⁻² + (q−1)²𝘨⁺ʳ⁻² q²𝘨⁻² ((q+1)²𝘨⁺ʳ⁻² + 2²𝘨⁻¹ −1)이다.
• 논문은 특성 0에서 가짜 몫이 그로텐디에크 링 내에서 가상 클래스에 대해 유일함을 증명하며, 가상 클래스 계산에 대한 토폴로지적 기반을 제공한다.
• 이 방법은 산술적 및 기하적 방법이 접근하지 못한 경우를 포함해, 임의의 조르당 유형의 폴라리티 구조를 가진 SL₂-표현 다양체의 가상 클래스를 성공적으로 계산한다.