Topology of Galois conjugate character varieties

기술 요약: 갈로아 공액 캐릭터 다양체의 위상수학

문제 정의
본 논문은 차수 매개변수 $d$에 따른 캐릭터 다양체 $M_{n,d}$의 위상적 의존성을 조사한다. $C$를 종수 $g \geq 2$인 비특이 사영 곡선이라 하고, $n \geq 2$를 $d$와 서로소인 정수라 하자. 캐릭터 다양체 $M_{n,d}$는 $\pi_1(C)$의 표현 중 행렬식(determinant)이 $\xi_n^d$인 $GL_n(\mathbb{C})$로의 표현들의 베티 모듈라이 공간(Betti moduli space)으로 정의된다. 여기서 $\xi_n$은 원시 $n$제곱근이다.

2005년 하우젤(Hausel)이 제기한 핵심 질문(Question 0.1)은 $d, d'$가 $n$과 서로소일 때 $M_{n,d}$와 $M_{n,d'}$가 위상동형(homeomorphic)인지, 혹은 호모토피 동치(homotopy equivalent)인지에 관한 것이다. 이 다양체들이 갈로아 공액(Galois conjugate) 관계에 있으며 동일한 베티 수와 유리 코호몰로지 환(rational cohomology rings)을 공유한다는 것은 알려져 있으나, $d$와 $d'$를 구분하는 유니타리 로커스(unitary locus)를 보존하는 위상동형의 존재 여부는 미해결 문제로 남아 있다(하더-나라사시마 대응 관계를 통해 $d$와 $d'$를 구분함). 기존의 위상 불변량들, 즉 기본군(fundamental groups)이나 고차 호모토피 군(higher homotopy groups)은 이 공간들을 구별하는 데 실패하였다. 저자들은 적분 코호몰로지 환(integral cohomology ring)이 갈로아 공액 캐릭터 다양체의 호모토피 타입을 구별할 수 있는 더 미세한 불변량을 제공할 수 있는지 확인하고자 한다.

방법론
저자들은 적분 구조, 코호몰로지 환의 자기동형군(automorphism groups), 그리고 타우톨로지컬 관계(tautological relations)를 결합한 프레임워크를 개발하여 위상적 차이를 탐지한다.

1. 코호몰로지 자기동형성과 적분 구조:
   본 논문은 유리 코호몰로지 환 $H^*(M_{n,d}, \mathbb{Q})$가 토러스의 코호몰로지와 텐서 곱된 등급화된 $\mathbb{Q}$-대수 $R_{g,n}$과 동형임을 확립한다(Theorem 0.3, 여기서 $R_{g,n}$은 $d$에 독립적이다). 저자들은 $R_{g,n}$의 등급화된 자기동형군들의 군을 $G_{g,n}$이라 정의한다. 만약 $M_{n,d}$와 $M_{n,d'}$의 적분 코호몰로지 환이 동형이라면, $G_{g,n}$ 내에 서로 다른 차수 $d$와 $d'$에 의해 유도된 적분 격자(integral lattices)를 보존하는 자기동형원이 존재할 것이라고 제안한다.

2. 약하게 대각적인 자기동형원 (Weakly Diagonal Automorphisms):
   핵심적인 구조적 축소는 저차수 코호몰로지 성분($\mathbb{Q}\alpha_3$ 및 $\mathbb{Q}\beta_2$) 내의 특정 선들을 보존하는 $G_{g,n}$의 부분군 $G^{wd}_{g,n}$을 포함하는 것이다. 정리 0.5는 만약 $G^{wd}_{g,n} = G_{g,n}$이라면(즉, 모든 자기동형원이 약하게 대각적이라면), $M_{n,d}$와 $M_{n,d'}$의 적분 코호몰로지 환이 동형일 필요충분조건이 $d \equiv \pm d' \pmod n$인 것임을 명시한다.

3. 타우톨로지컬 관계 (Tautological Relations):
   $G^{wd}_{g,n} = G_{g,n}$ 조건을 검증하기 위해, 저자들은 타우톨로지컬 생성원들($\alpha_i, \beta_i, \psi_{i,j}$) 사이의 관계식의 이데알(ideal of relations)을 분석한다. 이를 위해 다음을 활용한다:

• 최저 차수의 비자명한 관계식이 존재해야 하는 차수를 결정하기 위한 폐쇄 공식(Poincaré polynomials: Hausel–Rodriguez-Villegas, Schiffmann, Mellit).
• 캐릭터 다양체 설정에서 이러한 관계식의 후보를 식별하기 위한 안정적 벡터 번들(stable vector bundles)에 대한 관계식(Earl–Jeffrey–Kirwan).
• 가장 낮은 가능한 코호몰로지 차수 $r_{g,n} = 4g(n-1) - 2n$에서의 "구별된(distinguished)" 타우톨로지컬 관계식 $\Upsilon_{g,n}$.

4. 계산적 검증:
   특정 사례 $(g, n) = (2, 5)$에 대해, 저자들은 다음을 수행하기 위해 명시적인 선형 대수 계산을 수행한다:

• 차수 22에서의 유일한 동차 관계식 $\Upsilon_{2,5}$ 결정 (Theorem 3.16).
• 이 관계식의 안정자(stabilizer) 내에서의 리 대수(Lie algebra)의 차원 계산.
• 전체 자기동형군의 차원이 "약하게 대각적인" 조건을 강제할 만큼 충분히 작음을 검증.

주요 기여 및 결과

• 정리 0.2 (주요 결과): 종수가 $g=2$인 곡량에 대하여, 위상 공간 $M_{5,1}$과 $M_{5,2}$는 호모토피 동치가 아니다. 이는 하우젤의 2005년 질문에 대한 첫 번째 반례를 제공하며, 갈로아 공액 캐릭터 다양체들이 서로 다른 호모토피 타입을 가질 수 있음을 보여준다.
• 정리 0.5: $G_{g,n}$의 자기동형군 구조에 기반하여 적분 코호몰로지 환 사이의 동형 존재 여부에 대한 기준을 확립한다. 구체적으로, 모든 자기동형원이 약하게 대각적이라면, 적분 구조가 차수를 구별한다.
• 정리 0.6: $(g, n) = (2, 5)$인 경우, 자기동형군 $G_{2,5}$가 약하게 대각적인 자기동형군들의 부분군 $G^{wd}_{2,5}$와 일치함을 증명한다. 이는 관계식 $\Upsilon_{2,5}$의 안정자의 리 대수의 차원이 12이며, 이것이 비대각적 자기동형원의 존재를 위해 필요한 차원보다 엄격히 작음을 보임으로써 달성된다.
• 정리 0.7: $g \geq 2, n \geq 3$에 대하여 차수 $r_{g,n}$에서의 유일한 구별된 타우톨로지컬 관계식 $\Upsilon_{g,n} = 0$을 식별한다. $(2, 5)$의 경우, 이 관계식은 명시적으로 계산되었으며(Theorem 3.16), 심플렉틱 불변(symplectic-invariant)임이 입증되었다.
• 명제 1.3: $k > 1$인 고차 호모토피 군 $\pi_k(M_{n,d})$가 $d$에 독립적임을 확인하며, 이는 호모토피 군이 이 공간들을 구별하기에는 불충분함을 강화한다.

의의 및 주장
본 논문은 갈로아 공액 캐릭터 다양체의 위상동형성에 관한 하우젤의 2005년 질문에 대해 부정적인 답변을 내놓는다고 주장한다. 저자들은 적분 코호몰로지 환이 캐릭터 다양체의 차수 $d$에 민감한 최초의 알려진 위상 불변량이며, 유리 코호몰로지나 베티 수에는 숨겨져 있는 위상적 차이를 드러낸다고 주장한다.

이 연구는 갈로아 공액 다양체들이 흔히 동일한 유리 코호몰로지를 공유하지만, 그 적분 구조는 크게 다를 수 있음을 강조한다. 방법론은 체른 등급(Chern grading, 가중치 필트레이션을 분할함), 타우톨로지컬 관계, 그리고 코호몰로지 환의 자기동형군의 경직성(rigidity) 사이의 상호작용에 의존한다. 저자들은 이 접근법이 계산 집약적임을 언급하는데, $(2, 5)$에 대한 증명은 특정 관계식의 안정자를 포함하는 거대한 선형 대수 문제를 푸는 것을 요구했다. 저자들은 더 강력한 계산 자원을 사용하면 다른 $(g, n)$ 쌍에 대해서도 추가적인 반례를 얻을 수 있을 것이라고 시사한다.

본 논문은 모든 $g, n$에 대한 일반적인 분류를 주장하는 것이 아니라, 자기동형군이 타우톨로지컬 관계에 의해 충분히 제약되는 경우에 대한 구조적 프레임워크(Conjecture 0.4)와 구체적인 방법을 제공한다.