[논문 리뷰] Resolutions of p-Modular TQFT's and Representations of Symmetric Groups

Thomas Kerler|arXiv (Cornell University)|2001. 09. 30.

Geometric and Algebraic Topology참고 문헌 21인용 수 3

한 줄 요약

이 논문은 특성 0의 스펙트 모듈을 이용하여 대칭군의 $p$-모듈라 표현의 새로운 해법을 제시하며, $p$-감소된 스펙트 모듈의 순서열을 통해 $p$-모듈라 단순 모듈 $\mathcal{D}^\tau_p$를 코어널로 실현하는 정확한 복합체를 제공한다. 핵심 기여는 $\tau_i$가 이동된 양의 다이어그램인 $\varphi_p^\tau = \sum_{i\geq 0} (-1)^i \chi_p^{\tau_i}$ 형태의 특성 전개이며, 이는 $\mathbb{Z}^2$의 텐서 곱에 대한 이중 $\mathfrak{sl}_2$-작용을 통해 구성된 사상들로 인해, 모듈라 표현 이론과 일반 표현 이론 사이에 새로운 이중성 관계를 제공한다.

ABSTRACT

We construct families of TQFT's over the finite field Z/pZ starting from an integral TQFT obtained by Frohman and Nicas. These TQFT's are likely to describe the constant order contributions of the cyclotomic integer expansions of the Reshetikhin Turaev Ohtsuki theories. Their modular structure is intimately related to the p-modular representation theory of the symmetric groups S_n. We construct resolutions of simple p-modular TQFT's and S_n-modules over Z/pZ using powers of Lefschetz operators. These yield expansions of the irreducible p-modular S_n-characters in terms of the ordianry ones as well as expressions for the Alexander Polynomial of a 3-manifold evaluated at a p-th root of unity in terms of traces in the irreducible modular TQFT's over covering cobordisms. Together with identifications with the constant orders of quantum TQFT's this results, e.g., in non-trivial criteria for a group to be a 3-manifold group.

연구 동기 및 목표

• 대칭군의 $p$-모듈라 단순 표현 $\mathcal{D}^\tau_p$를 일반적인 $p$-감소 스펙트 모듈 $\mathcal{S}^{\tau_i}_p$로 표현하는 해법을 구축하는 것.
• 기존의 일반 표현에서 모듈라 표현으로의 축소를 반전시키는 특성 전개 $\varphi_p^\tau = \sum_{i\geq 0} (-1)^i \chi_p^{\tau_i}$를 확립하는 것.
• 대칭군의 표현 이론과 $\mathbb{F}_p$ 위의 위상적 양자장 이론(TQFT) 간의 연결 고리를 형성하는 것, 특히 텐서 곱에 대한 $\mathfrak{sl}_2$-작용을 통해.
• Johnson-Morita 확장을 사용하여 심플렉틱군과 매핑 클래스군으로 이 해법의 구조를 일반화하는 것, $\mathfrak{sp}_{2g}$-모듈을 통해.

제안 방법

• $S_n$-등변 사상의 정확한 수열을 구성: $\cdots \to \mathcal{S}^{\tau_2}_p \to \mathcal{S}^{\tau_1}_p \to \mathcal{S}^{\tau_0}_p \to \mathcal{D}^\tau_p \to 0$, 여기서 $\tau_i$는 $a-b \leq p-2$ 조건을 만족하는 이동된 양의 다이어그램이다.
• $({\mathbb{Z}}^2)^{\otimes n}$에 대한 이중 $\mathfrak{sl}_2$-작용을 통해 복합체의 사상들을 실현하며, 이는 순열 모듈 $M^\tau$를 포함한다.
• Kleshchev와 Sheth의 이중 행 스펙트 모듈의 모듈라 구조에 관한 결과를 활용하여 제5장에서 복합체의 정확성을 증명한다.
• Lefschetz 분해 기법과 스펙트 모듈 이론을 적용하여 $\mathbb{F}_p$-감소된 $\mathcal{S}^\tau_p$와 그 단순 몫 $\mathcal{D}^\tau_p$를 분석한다.
• 심플렉틱군 $\mathrm{Sp}(2g,\mathbb{Z})$로의 확장을 위해 $\mathfrak{sp}_{2g}$의 작용을 $\bigwedge^k H$에 분석하며, 여기서 $H = H_1(\Sigma_g,\mathbb{Z})$이다.
• 반대칭 사상 $E^k \oplus E^{k+3}$ 및 $E^{p-k} \oplus E^{p-k-3}$을 통해 $\mathbb{F}_p$-모듈 $\mathcal{U}_p^{(j)}(\Sigma_g)$에 대한 해법을 구성하지만, 이 사상들은 $\mathbf{Q}_g$-등변이 아니다.

실험 결과

연구 질문

• RQ1 대칭군 $S_n$의 $p$-모듈라 단순 표현 $\mathcal{D}^\tau_p$는 일반적인 $p$-감소 스펙트 모듈 $\mathcal{S}^{\tau_i}_p$로 표현될 수 있는가?
• RQ2 기존의 일반 표현에서 모듈라 표현으로의 축소 $\chi^\tau \mapsto \chi_p^\tau$의 역으로 작용하는 특성 수준의 역전이 존재하는가, 즉 $\varphi_p^\tau = \sum (-1)^i \chi_p^{\tau_i}$가 성립하는가?
• RQ3 $({\mathbb{Z}}^2)^{\otimes n}$에 대한 $\mathfrak{sl}_2$-작용이 $\mathcal{D}^\tau_p$의 해법에서 사상들을 어떻게 실현하는가?
• RQ4 Johnson-Morita 확장을 통해 $\mathrm{Sp}(2g,\mathbb{Z})$와 같은 고차원 리 군으로 해법의 구조를 일반화할 수 있는가?
• RQ5 해결 수열의 구성된 사상들이 확장 수열을 뒤집었음에도 불구하고 $\mathbf{Q}_g$-등변이 되지 않는 이유는 무엇인가?

주요 결과

• $p \geq 3$ 이고 두 행의 양의 다이어그램 $\tau = [a,b]$이며 $0 \leq a-b \leq p-2$일 경우, $\cdots \to \mathcal{S}^{\tau_2}_p \to \mathcal{S}^{\tau_1}_p \to \mathcal{S}^{\tau_0}_p \to \mathcal{D}^\tau_p \to 0$ 해법은 정확하다.
• 특성 전개 $\varphi_p^\tau = \sum_{i\geq 0} (-1)^i \chi_p^{\tau_i}$가 성립하며, 여기서 $\tau_i$는 이동된 다이어그램 $\tau_{2i} = [a+ip, b-ip]$ 및 $\tau_{2i-1} = [b+ip-1, a-ip+1]$이다.
• 해법의 사상들은 $({\mathbb{Z}}^2)^{\otimes n}$에 대한 이중 $\mathfrak{sl}_2$-작용에서 유도되며, 이는 $S_n$-모듈 구조를 유지하고 잘 정의된 복합체를 제공한다.
• $g \geq 0$, $p \geq 5$, $0 < k < p-3$일 경우, $\mathbb{F}_p$-모듈 $\mathcal{U}_p^{(j)}(\Sigma_g)$에 대해 유사한 정확한 수열이 존재하며, 반대칭 사상 $E^k \oplus E^{k+3}$ 및 $E^{p-k} \oplus E^{p-k-3}$이 사용된다.
• 해법 $\mathcal{U}_p^{(j)}(\Sigma_g)$는 매번 두 번째 확장을 뒤집었음에도 불구하고 $\mathbf{Q}_g$-등변이 아니며, Johnson-Morita 호모모피즘에 대해 불변 구조가 아니기 때문이다.
• 결과는 $p=5$일 때 3-다양체에 대한 Lescop 불변량과 Reshetikhin-Turaev 불변량 사이의 잠재적 관계를 TQFT 프레임워크를 통해 시사한다.