[논문 리뷰] Injections of the complex of separating curves into the Torelli complex

Yoshikata Kida|arXiv (Cornell University)|2009. 11. 19.

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

한 줄 요약

이 논문은 오랜지 수가 $ g \geq 1 $ 이고 올러 수 $ |\chi(S)| \geq 4 $ 인 컴acts orientable 표면 중 유한 개를 제외한 모든 표면에 대해, 분리 곡선 복합체에서 토렐리 복합체로의 초입사 사상이 확장된 매핑 클래스 군 원소에 의해 유도됨을 증명한다. 그 결과, 존슨 커널의 유한 지수 부분군에서 토렐리 군으로의 임베딩이 확장된 매핑 클래스 군 원소에 의한 코너지션으로 표현됨을 보이며, 이는 강력한 대수적 군형성 결과를 제공한다.

ABSTRACT

We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson kernel into the Torelli group for such a surface is induced by an element of the extended mapping class group.

연구 동기 및 목표

• 유한 지수 부분군에서 존슨 커널로의 임베딩에 대한 대수적 군형성을 확립하는 것.
• 분리 곡선 복합체에서 토렐리 복합체로의 초입사 사상이 확장된 매핑 클래스 군 원소에 의해 유도됨을 보이는 것.
• 곡선 복합체의 맥락에서 매핑 클래스 군의 알려진 군형성 결과를 존슨 커널과 토렐리 군으로 확장하는 것.
• 분리 곡선과 바운딩 페어의 기하학을 통해 토렐리 군과 그 부분군의 구조를 규명하는 것.

제안 방법

• 분리 곡선 복합체 $ \mathcal{C}_s(S) $ 와 토렐리 복합체 $ \mathcal{T}(S) $ 사이의 초입사 사상 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $ 를 분석한다.
• 복합체 $ \mathcal{C}_s(S) $ 가 $ \mathcal{T}(S) $ 의 부분복합체이자, 확장된 매핑 클래스 군 $ \mathrm{Mod}^*(S) $ 가 둘 다에 자연스럽게 작용함을 이용한다.
• 논문 [15] 의 결과를 활용하여, $ \mathcal{C}_s(S) $ 에서의 초입사 사상이 군 원소에 의해 유도됨을 보인다.
• 아벨 몫을 가지는 정규부분군의 사슬 $ \mathcal{K}(S) = N_0 < \cdots < N_{p-1} = \mathcal{I}(S) $ 을 이용해 토렐리 군의 구조를 분석한다.
• 유한 지수 부분군 간의 임베딩을 분석하기 위해 상대 공명기와 추상 공명기를 사용한다.
• 확장된 매핑 클래스 군 원소의 코너지션 작용을 적용하여, 임의의 이러한 임베딩이 코너지션으로 표현됨을 보인다.

실험 결과

연구 질문

• RQ1 분리 곡선 복합체에서 토렐리 복합체로의 초입사 사상이 확장된 매핑 클래스 군 원소에 의해 유도되는 조건은 무엇인가?
• RQ2 유한 지수 부분군에서 존슨 커널로의 모든 임베딩이 확장된 매핑 클래스 군 원소에 의한 코너지션으로 표현될 수 있는가?
• RQ3 토렐리 군과 존슨 커널의 어떤 구조적 성질이 이러한 군형성 결과를 가능하게 하는가?
• RQ4 토렐리 군 내 정규부분군의 사슬이 자동형사상과 임베딩의 행동에 미치는 영향은 무엇인가?
• RQ5 올러 수와 위상수학적 성질이 이러한 군형성 정리의 타당성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 오랜지 수 $ g \geq 1 $ 이고 $ |\chi(S)| \geq 4 $ 인 컴팩트 올림형 표면 중 유한 개를 제외한 모든 표면에 대해, 임의의 초입사 사상 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $ 는 $ \phi(\mathcal{C}_s(S)) \subset \mathcal{C}_s(S) $ 를 만족한다.
• 임의의 초입사 사상 $ \phi: \mathcal{C}_s(S) \to \mathcal{T}(S) $ 는 어떤 $ \gamma \in \mathrm{Mod}^*(S) $ 에 의해 유도되며, 모든 정점 $ a \in \mathcal{C}_s(S) $ 에 대해 $ \phi(a) = \gamma a $ 를 만족한다.
• 유한 지수 부분군 $ \Gamma $ 가 존슨 커널 $ \mathcal{K}(S) $ 의 부분군인 경우, 임의의 임베딩 $ f: \Gamma \to \mathcal{I}(S) $ 는 어떤 $ \gamma_0 \in \mathrm{Mod}^*(S) $ 에 의한 코너지션으로 표현된다.
• 확장된 매핑 클래스 군 $ \mathrm{Mod}^*(S) $ 내에서 존슨 커널 $ \mathcal{K}(S) $ 의 상대 공명기는 유한 지수 부분군에 대해 코너지션 작용을 하며, 이러한 임베딩은 이 작용에 의해 완전히 결정된다.
• 오랜지 수 $ g \geq 3, p \leq 1 $ 이거나 $ g = 1, p \geq 4 $ 인 표면에 대해, 유한 지수 부분군 $ \Gamma \subset \mathrm{Mod}^*(S) $ 에 대해 임의의 내형사상 $ f: \Gamma \to \Gamma $ 가 $ [\mathcal{K}(S) : \Gamma \cap \mathcal{K}(S)] < \infty $, $ [\Gamma : \Gamma \cap \mathcal{I}(S)] < \infty $ 조건을 만족할 경우, 어떤 $ \gamma \in \mathrm{Mod}^*(S) $ 가 존재하여 $ \gamma \Gamma \gamma^{-1} = \Gamma $ 를 만족한다.
• 토렐리 군 $ \mathcal{I}(S) $ 는 아벨 몫을 가지는 유한 정규사슬을 가지며, 이 구조는 확장된 매핑 클래스 군 원소에 의한 코너지션으로도 유지되며, 이는 군형성의 증명에 기여한다.