[논문 리뷰] Representations of Galois Groups on the Homology of Surfaces

Thomas Koberda, Aaron Michael Silberstein|ArXiv.org|2009. 05. 18.

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

한 줄 요약

이 논문은 리만 곡면의 유한 갈루아 쌍대 덮개에서 첫 번째 호모로지에 대한 갈루아 군의 표현을 분류하며, 분지 없는 경우와 분지가 있는 경우를 구분한다. 분지 없는 경우에 대해 힐베르트 1-form의 기하적 실현을 함수로서 G-터소르 위에 제공하고, 분지 있는 경우에 대해 분기 자료를 통해 호모로지 표현을 완전히 분류하여 매핑 클래스 군 표현과 허위아노소프 다이내믹스에 대한 새로운 도구를 제공한다.

ABSTRACT

Let $p:Σ' oΣ$ be a finite Galois cover, possibly branched, with Galois group $G$. We are interested in the structure of the cohomology of $Σ'$ as a module over $G$. We treat the cases of branched and unbranched covers separately. In the case of branched covers, we give a complete classification of possible module structures of $H_1(Σ',\bC)$. In the unbranched case, we algebro-geometrically realize the representation of $G$ on holomorphic 1-forms on $Σ'$ as functions on unions of $G$-torsors. We also explicitly realize these representations for certain branched covers of hyperelliptic curves. We give some applications to the study of pseudo-Anosov homeomorphisms of surfaces and representation theory of the mapping class group.

연구 동기 및 목표

• 유한 갈루아 덮개에 대한 리만 곡면에서 첫 번째 호모로지 $ H_1(\Sigma', \mathbf{C}) $ 에 대한 갈루아 군 작용의 구조를 분류하는 것.
• 분지 없는 경우에 갈루아 군의 힐베르트 1-form 표현에 대한 기하적,代수기하학적 실현을 제공하는 것.
• 분지 있는 경우에 $ G $-모듈러 구조를 분기 자료를 사용하여 완전히 특성화하는 것.
• 이 이론을 매핑 클래스 군의 유한 지수 부분군의 표현과 허위아노소프 매핑 클래스 연구에 적용하는 것.
• 분지 있는 덮개에서 $ H^{1,0} $ 과 $ H^{0,1} $ 에 대한 표현이 동형일 때를 조사하고, 약간의 분기 조건 하에서 정규 표현의 기하적 실현 가능성을 탐구하는 것.

제안 방법

• 기하학적 셀레비리-바일 이론을 사용하여 덮개의 힐베르트 1-form 공간을 기저 곡면 위의 유한 개의 점들에 대한 $ G $-터소르의 합집합 위의 함수와 연결한다.
• 아티야- bott 고정점 공식과 호지 이론을 적용하여 분지 없는 경우에 고전적 셀레비리-바일 정리를 정밀화한다.
• 분기 다발 위에서의 $ G $-표현을 순열 표현으로 분류하여, 자유군에서 $ G $ 로의 전성 사상 중 생성자의 순환 이미지를 갖는 경우에서 유래됨을 보인다.
• 분지 있는 경우의 호모로지 표현을 분지점 위의 섬유에서의 순열 표현들의 직합으로 나누어진 구멍 뚜렷한 덮개의 호모로지의 몫으로 구성한다.
• 리만-로흐 정리와 클리포드 정리를 사용하여 덮개에서의 힐베르트 미분형식 공간을 분석하며, 특히 분기 다발과의 관계를 다룬다.
• 초타원곡선의 자기동형군의 구조를 활용하여, 특정 갈루아 덮개 하에서 초타원곡선의 역상이 존재하지 않는 반례를 구성한다.

실험 결과

연구 질문

• RQ1 갈루아 군이 $ H^1(Σ', \mathbb{R}) $ 에 작용하는 표현이 정규 표현과 동형일 때는 언제이며, 이를 어떻게 기하학적으로 실현할 수 있는가?
• RQ2 분지 있는 갈루아 덮개에서 $ H_1(Σ', \mathbb{Z}) $ 의 정확한 $ G $-모듈러 구조는 무엇이며, 분기 다발과 어떻게 관련되는가?
• RQ3 분지 있는 경우에 $ G $ 가 $ H^{1,0}(Σ') $ 과 $ H^{0,1}(Σ') $ 에 작용하는 표현이 동형일 조건은 무엇인가?
• RQ4 갈루아 군의 랭크가 $ \geq 6 $ 인 덮개에서 셀레비리-바일 공식을 분기점에서 국소화할 수 있는가? 이는 기하적 실현 가능성에 어떤 영향을 미치는가?
• RQ5 허위아노소프 매핑 클래스의 불안정하고 안정된 리만 난류가 모든 유한 덮개에서 비방향성을 유지할 조건은 무엇이며, 이는 호모로지에서의 스펙트럴 반경과 어떻게 관련되는가?

주요 결과

• 분지 없는 경우, 다음의 $ G $--equivariant 동형사상이 자연스럽게 존재한다: $ H^{1,0}(Σ') / \pi^* \mathbb{R} \omega \cong \mathrm{Funct}(\bigcup_{i=1}^{g-1} \pi^{-1}(p_i), \mathbb{R}) $, 이는 힐베르트 1-form을 $ G $-터소르 위의 함수로 실현한다.
• 분지 있는 덮개에서 $ H_1(Σ', \mathbb{Z}) \cong H_1(\Sigma' \setminus p^{-1}(B), \mathbb{Z}) / (V / \mathbf{1}) $ 를 만족하며, 여기서 $ V $ 는 분지점 위의 섬유에서의 순열 표현들의 합집합이다.
• 군 $ G $ 의 순열 표현 $ \rho $ 가 위상적으로 실현 가능하다(즉, 분기 표현으로서 실현 가능하다)는 것은, 자유군 $ F $ 에서 $ G $ 로의 전성 사상 중에서 생성자의 순환 이미지를 갖는 경우에 한하여 성립한다.
• 랭크 $ \geq 6 $ 인 아벨 갈루아 군의 경우, 덮개로의 역상이 초타원곡선가 되는 복소 구조는 존재하지 않으며, 이는 셀레비리-바일 공식의 국소화에 대한 제한을 보여준다.
• 허위아노소프 매핑 클래스 $ \psi $ 가 호모로지에서의 스펙트럴 반경이 항상 그 확대율 $ K $ 보다 작을 때, 불안정하고 안정된 리만 난류가 모든 유한 덮개에서 비방향성을 유지하는 것과 동치이다.
• 적절한 복소 구조 조건 하에서 분기 다발에서 사라지는 힐베르트 미분형식의 공간 $ h^0(K - B) $ 는 $ \rho_R^{g-1} \oplus \mathbf{1} $ 과 동형이며, 이에 대한 기하적 실현이 확립되어 있다.