[논문 리뷰] Intersections of curves on surfaces and their applications to mapping class groups

Nariya Kawazumi, Yusuke Kuno|arXiv (Cornell University)|2011. 12. 16.

Geometric and Algebraic Topology참고 문헌 17인용 수 13

한 줄 요약

이 논문은 표면 위의 경로의 자기교차를 측정하는 새로운 Q-선형 사상 μ를 도입하며, 이는 매핑 클래스 군 연구의 핵심 도구로 확립된다. μ가 매핑 클래스 군 작용과 호환됨을 활용하여 일반화된 드ーン 투습의 실현 가능성 기준을 도출하고, 존슨 호모모르피즘의 상에 대한 기하적 제약 조건을 밝혀내며, 모리타 추적을 이 제약 조건의 최저차항으로 복원한다.

ABSTRACT

We introduce an operation that measures the self intersections of paths on a surface. As applications, we give a criterion of the realizability of a generalized Dehn twist, and derive a geometric constraint on the image of the Johnson homomorphism.

연구 동기 및 목표

• 표면 위 경로의 교차를 통해 매핑 클래스 군을 연구하기 위한 새로운 대수적 도구인 자기교차 사상 μ를 개발하는 것.
• μ가 경로 호모토피류 공간 위에서 Qˆπ′(S)-양면체 구조를 이룬다는 것을 확립하여 골드먼-투라에프 리 대배지와 연결하는 것.
• μ를 활용하여 두 핵심 문제를 해결하는 것: 일반화된 드ーン 투습의 실현 가능성과 존슨 호모모르피즘 상에 대한 기하적 제약 조건.
• μ로부터 유도된 기하적 제약 조건의 최저차항으로서 모리타 추적이 자연스럽게 유도됨을 보이는 것.
• 투라에프 코브라켓과 골드먼 브라켓을 완비 대수로 확장하여 완비 골드먼-투라에프 리 대배지를 구성하는 것.

제안 방법

• 지역적 교차 수를 사용하여 경로의 자기교차를 측정하는 Q-선형 사상 μ: QΠS(∗0, ∗1) → QΠS(∗0, ∗1) ⊗ Qˆπ′(S)를 정의한다.
• 구성에 의해 μ가 매핑 클래스 군 작용과 호환됨을 증명하여 미분구조에 대한 불변성을 확보한다.
• μ의 구조를 이용하여 QΠS(∗0, ∗1)가 구조 사상 σ와 μ에 의해 Qˆπ′(S)-양면체임을 보인다.
• μ와 투라에프 코브라켓을 완비 대수로 확장하여 cQˆπ(S) 위에 완비 골드먼-투라에프 리 대배지를 정의한다.
• 미분구조에 대한 행동을 분석함으로써 μ를 존슨 호모모르피즘에 적용하여 그 상에 대한 기하적 제약 조건을 이끌어낸다.
• 마스위요-투라에프의 호모토피 교차 형식의 텐서 표현을 사용하여 투라에프 코브라켓의 호모지적 몫을 계산하고, 모리타 추적을 최저차항으로 식별한다.

실험 결과

연구 질문

• RQ1 자기교차 사상 μ를 사용하여 일반화된 드ーン 투습이 표면의 미분구조에 의해 실현되는지 여부를 판단할 수 있는가?
• RQ2 μ는 존슨 호모모르피즘의 상에 어떤 기하적 제약 조건을 부과하는가?
• RQ3 μ는 투라에프 코브라켓과 완비 골드먼-투라에프 리 대배지와 어떻게 관련되어 있는가?
• RQ4 μ를 통해 유도된 기하적 제약 조건의 최저차항으로서 모리타 추적을 복원할 수 있는가?
• RQ5 완비된 QΠS(∗0, ∗1)의 구조는 완비 골드먼 리 대배지 위의 모듈로 어떻게 되어 있는가?

주요 결과

• μ 사상은 일반화된 드ーン 투습의 실현 가능성에 대한 기준을 제공한다: 일반화된 드ーン 투습은 해당 경로에 대해 μ가 영이면 미분구조에 의해 실현된다.
• 존슨 호모모르피즘의 상은 μ에 의해 제약을 받는다: 구체적으로, 투라에프 코브라켓의 로렌츠 전개의 최저차항은 상 위에서 영이어야 한다.
• 모리타 추적은 존슨 상에 대한 기하적 제약 조건의 최저차항으로 복원되며, 이는 토렐리 군의 구조에서 모리타 추적이 중심적인 역할을 한다는 것을 확인한다.
• 완비된 공간 cQΠS(∗0, ∗1)는 완비된 cQˆπ(S)-양면체이며, 이는 대수적 구조를 형식적 완비로 확장함을 의미한다.
• 투라에프 코브라켓은 cQˆπ(S) 위에 완비 코브라켓으로 확장되며, μ는 이 확장을 복원함으로써 완비 골드먼-투라에프 리 대배지의 일관성을 확인한다.
• 모든 x ∈ π1(S)에 대해, μθ(0)(x)의 상수항은 −1/2(1 ⊗x)이며, 곱 X1⋯Xm에 대해서는 −1/2(1 ⊗N(X1⋯Xm))이다. 이는 최저차항 μ-작용에 대한 명시적 공식을 제공한다.