[논문 리뷰] Automorphisms of character varieties

Julien Marché, Christopher-Lloyd Simon|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 고리수 g ≥ 3인 닫힘 양방향 표면에 대해, SL₂(ℂ)-표현 다양체의 자기동형군이 매핑 클래스군과 H¹(Σ, ℤ/2ℤ)의 반직곱과 동형임을 증명하며, 표현 다양체로의 강성 결과를 확장한다. 증명은 표현 대수 위의 값매김 이론을 사용하며, 측도가 부여된 리만 곡선을 단순 값매김으로 특성화하고, 단순 곡선에 관련된 좌표환의 차원 이론을 통해 아이반프의 정리를 적용한다.

ABSTRACT

We show that the algebraic automorphism group of the SL(2,C) character variety of a closed orientable surface with negative Euler characteristic is a finite extension of its mapping class group. Along the way, we provide a simple characterization of the valuations on the character algebra coming from measured laminations.

연구 동기 및 목표

• 닫힘 표면 Σ의 고리수 g ≥ 3에 대해 SL₂(ℂ)-표현 다양체 X(Σ)의 전체 자기동형군을 규명하는 것.
• 티히뮐러 이론과 곡선 복합체 기하학에서의 강성 결과들과 유사한 강성 결과를 확립하여, 매핑 클래스군이 유한 확장까지 전체 자기동형군을 생성함을 보이는 것.
• 표현 대수 위의 값매김을 이용한 측도가 부여된 리만 곡선의 새로운 대수적 특성화를 제공하는 것.
• 이 특성화를 통해 표현 다양체의 자기동형군이 곡선 복합체의 구조를 유지함을 보이고, 아이반프의 정리를 적용할 수 있음을 보이는 것.

제안 방법

• 표현 대수 C[X(Σ)] 위의 값매김 공간 V를 정의하고, 점별 수렴 위상을 부여한다.
• 다중곡선 기저에서 f = ∑ mΓ tΓ 라 할 때, v(f) = max{v(tΓ) | mΓ ≠ 0} 를 만족하는 값매김을 '단순 값매김'으로 정의한다.
• 교차 쌍선형형식을 통해 측도가 부여된 리만 곡선 λ가 단순 값매김을 유도함을 보인다: vλ(tα) = i(λ, α).
• 모건-오탈-스코라 정리를 사용하여 모든 값매김이 측도가 부여된 리만 곡선 값매김에 의해 지배됨을 보인다.
• 마수르의 비유일적 측도가 부여된 리만 곡선에 관한 정리를 적용하여 Aut(X(Σ))가 측도가 부여된 리만 곡선의 공간을 유지함을 보인다.
• 단순 값매김 vγ에 관련된 좌표환 O⁺γ = C[X(Σ)] ∩ Ov의 분석을 수행하고, 그 크룰 차원을 사용하여, i(γ, δ) = 0일 때와 딱 그때 dim(O⁺γ ∩ O⁺δ) = dim X(Σ) − 2 임을 검증한다.

실험 결과

연구 질문

• RQ1 고리수 g ≥ 3인 닫힘 표면 Σ에 대해 SL₂(ℂ)-표현 다양체 X(Σ)의 전체 자기동형군은 무엇인가?
• RQ2 측도가 부여된 리만 곡선 ML(Σ)은 표현 대수 C[X(Σ)] 위의 값매김 공간 내에서 대수적으로 특성화될 수 있는가?
• RQ3 표현 다양체 X(Σ)의 자기동형군은 단순 곡선에 의해 유도된 곡선 복합체의 구조를 유지하는가?
• RQ4 트레이스 함수 tγ와 그에 관련된 값매김 환 O⁺γ는 교차 수와 같은 기하학적 자료를 어떻게 캐릭터라이즈하는가?
• RQ5 표현 다양체 X(Σ)의 자기동형군은 매핑 클래스군과 H¹(Σ, ℤ/2ℤ)를 통한 중심 확장으로부터 얼마나 많이 유도되는가?

주요 결과

• 고리수 g ≥ 3인 표면에 대해 X(Σ)의 자기동형군은 H¹(Σ, ℤ/2ℤ) ⋊ Mod(Σ)와 동형이며, 표현 다양체에 대한 강성 결과를 증명한다.
• 측도가 부여된 리만 곡선 ML(Σ)은 공간 V 내의 단순 값매김의 정확한 집합이며, 이는 이 기하적 대상에 대한 새로운 대수적 특성화를 제공한다.
• 자기동형군 Aut(X(Σ))는 지배 정리와 마수르의 측도 이론적 결과를 통해 측도가 부여된 리만 곡선의 공간을 유지함을 보였다.
• 좌표환 O⁺γ ∩ O⁺δ의 차원은 정확히 dim X(Σ) − 2 이며, 이는 곡선 γ와 δ가 서로 이격되어 있을 때와 딱 그때 성립한다.
• 단순 곡선에 관련된 이산 값매김의 집합을 유지하는 모든 자기동형군은 매핑 클래스 또는 중심 변환으로 작용하며, 중심 작용은 H¹(Σ, ℤ/2ℤ)를 통해 인식된다.
• 전체 자기동형군은 매핑 클래스군과 중심 작용에 의해 생성되며, Mod′(Σ)로의 사상의 핵은 정확히 중심 H¹(Σ, ℤ/2ℤ) 작용이다.