[논문 리뷰] Motivic theory of representation varieties via Topological Quantum Field Theories

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

Algebraic Geometry and Number Theory참고 문헌 45인용 수 9

한 줄 요약

이 논문은 임의의 종수와 임의의 수의 마킹된 점을 가진 닫힘 양방향 표면에서, 조르당형 호로니가 있는 $\mathrm{SL}_2(\mathbb{C})$-표현 다양체의 모티빅 클래스를 계산하기 위해 새로운 림프 모나이드 위상 양자장 이론(TQFT) 프레임워크를 제안한다. 물리적 영감을 받은 TQFT 구성 방식을 일반화함으로써, 이 방법은 델리뉴-호지 다항식을 명시적으로 계산할 수 있게 하여, 종수 $g=1,2,3$ 및 다양한 편평한 구조에 대해 이전 결과를 복원하고 확장하는 닫힌 형식의 공식을 도출한다.

ABSTRACT

In this paper, we use lax monoidal TQFTs as an effective computational method for motivic classes of representation varieties. In particular, we perform the calculation for parabolic $\mathrm{SL}_2(\mathbb{C})$-representation varieties over a closed orientable surface of arbitrary genus and any number of marked points with holonomies of Jordan type. This technique is based on a building method of lax monoidal TQFTs of physical inspiration that generalizes the construction of González-Prieto, Logares and Muñoz.

연구 동기 및 목표

• 닫힘 양방향 표면에서 임의의 종수와 마킹된 점을 가진 편평한 $\mathrm{SL}_2(\mathbb{C})$-표현 다양체의 모티빅 클래스를 체계적으로 계산할 수 있는 방법을 개발한다.
• 기존의 분할 및 산술 방법의 한계를 극복하기 위해, 이전의 구성 방식을 일반화한 카테고리적, TQFT 기반 접근법을 도입한다.
• 특히 비표준 또는 조르당형 공轭류를 가진 경우를 포함하여, 이러한 다양체의 델리뉴-호지 다항식을 닫힌 형식으로 계산한다.
• 종수 $g=1,2,3$ 및 하나 또는 두 개의 마킹된 점을 가진 경우에 대해 이전의 $\mathrm{SL}_2(\mathbb{C})$-특성 다양체 결과들을 통합하고 확장한다.
• 기호 계산을 통해 다른 군들과 편평한 구조로의 일반화가 가능한 프레임워크를 제공한다.

제안 방법

• 논문은 고 González-Prieto, Logares, Muñoz의 이전 작업을 일반화한 물리적 영감을 받은 구축 방법으로, 림프 모나이드 TQFT $Z_G$를 구성한다.
• TQFT는 표면과 마킹된 점에 대해 무게 공간 $\mathscr{W}_0$ 위의 선형 사상들을 할당하며, 이는 표현 다양체의 모티빅 클래스를 코딩한다.
• 핵심 구성 요소로는 생성자와 포함/투영을 나타내는 행렬 $\mathscr{Z}^{gm}(L)$, $\mathscr{Z}^{gm}(L_{[J_+]}$, $\mathscr{Z}^{gm}(T)$, $\mathscr{Z}^{gm}(D)$가 포함된다.
• 표현 다양체의 가상 클래스는 $[\mathfrak{X}_{\mathrm{SL}_2(\mathbb{C})}(\Sigma_g,Q)] = \frac{1}{(q^3 - q)^{g+r}} \mathscr{Z}^{gm}(D^\dagger) \circ PB^r A^g \circ P \mathscr{Z}^{gm}(D)(\star)$ 로 계산되며, 여기서 $A$ 및 $B$ 는 공轭에 의해 유도된 대각 행렬이다.
• $\sigma = -1$ 인 경우, 한 마킹된 점에서 $-\mathrm{Id}$ 호로니를 고려하기 위해 추가적인 $\mathscr{Z}^{gm}(L_{-\mathrm{Id}})$ 항이 포함되며, 이는 공식을 수정한다.
• 기호 계산 소프트웨어를 사용하여 행렬 $P$, $A$, $B$ 를 계산함으로써, 모티빅 클래스의 명시적 평가가 가능해진다.

실험 결과

연구 질문

• RQ1 임의의 종수와 임의의 수의 마킹된 점을 가진 조르당형 호로니가 있는 편평한 $\mathrm{SL}_2(\mathbb{C})$-표현 다양체의 모티빅 클래스는 어떻게 계산할 수 있는가?
• RQ2 TQFT 기반 방법이 기존의 분할 또는 산술 기법을 넘어서, 델리뉴-호지 다항식을 통합적이고 일반화 가능한 프레임워크로 계산할 수 있는가?
• RQ3 호로니가 비표준적일 경우, 예를 들어 $[J_+]$ 또는 $[-\mathrm{Id}]$ 일 때, 모티빅 클래스의 정확한 구조는 어떠한가?
• RQ4 기존의 종수 $g=1,2,3$ 및 하나 또는 두 개의 마킹된 점에 대한 계산 결과와 비교하여 어떻게 확장되는가?
• RQ5 TQFT 프레임워크는 $r=0$ 으로 설정함으로써 비편평한 경우를 복원할 수 있는가? 특히 일부 연산자가 가역적이지 않은 점을 고려하여도 가능한가?

주요 결과

• 논문은 종수 $g$ 인 표면에서 $r$ 개의 마킹된 점과 $[J_+]$ 호로니를 가진 $\mathrm{SL}_2(\mathbb{C})$-표현 다양체의 모티빅 클래스에 대한 닫힌 형식의 공식을 유도한다: $[\mathfrak{X}_{\mathrm{SL}_2(\mathbb{C})}(\Sigma_g,Q)] = \frac{1}{(q^3 - q)^{g+r}} \mathscr{Z}^{gm}(D^\dagger) PB^r A^g P \mathscr{Z}^{gm}(D)(\star)$.
• 한 마킹된 점에서 $[-\mathrm{Id}]$ 호로니가 있는 경우, 추가적인 $\mathscr{Z}^{gm}(L_{-\mathrm{Id}})$ 항이 포함되어 공식이 $[\mathfrak{X}_{\mathrm{SL}_2(\mathbb{C})}(\Sigma_g,Q)] = \frac{1}{(q^3 - q)^{g+r+1}} \mathscr{Z}^{gm}(D^\dagger) \mathscr{Z}^{gm}(L_{-\mathrm{Id}}) PB^r A^g P \mathscr{Z}^{gm}(D)(\star)$ 로 수정된다.
• 이 방법은 알려진 결과를 복원한다: $g=1,2$ 이고 마킹된 점이 $[J_\pm]$ 인 경우, [31]과 일치한다; 임의의 $g$ 와 $r=0$ 또는 $1$ 인 경우, [35, Proposition 11]과 일치한다; $g=1$ 이고 마킹된 점이 두 개이며 $[J_\pm]$ 인 경우, [30, Section 3]과 일치한다.
• 비편평한 경우($r=0$)는 $\sigma=1$ 공식에서 $r=0$ 으로 설정함으로써 복원되며, $r=0$ 인 경우 $A$ 가 가역적이지 않기 때문에 보정 항 $q(q^2 - 1)^{2g-1}$ 이 추가된다.
• 만약 $q = uv$ 로 해석하면, 유도된 다항식은 표현 다양체의 델리뉴-호지 다항식이 되며, 이는 이전 결과를 임의의 $r$ 과 $g$ 로 일반화한다.
• 이 프레임워크는 표준적인 산술적 또는 기하적 방법이 다루지 못하는 비표준 공轭류인 $[J_+]$ 및 $[-\mathrm{Id}]$ 를 다룰 수 있을 정도로 강력하다.