[논문 리뷰] Generators for the mapping class group of a nonorientable surface

Susumu Hirose|arXiv (Cornell University)|2016. 02. 24.

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

한 줄 요약

이 논문은 비유도적 표면의 매핑 클래스 군이 $g \geq 4$ 일 때 최소 $g$ 개의 디한 트위스트와 하나의 $Y$-홈오먼피즘으로 생성되어야 하며, 이는 셰피에투스키의 생성 집합이 최소임을 증명한다. 증명은 $\mathbb{Z}_2$ 계수를 가진 호몰로지에 대한 작용과 군 작용에 관하여 불변인 $\mathbb{Z}_4$-이차형식을 사용하여, 더 작은 디한 트위스트와 $Y$-홈오먼피즘의 집합으로는 전체 군을 생성할 수 없음을 보여준다.

ABSTRACT

We show that Szepietowski's system of generators for the mapping class group of a non-orientable surface is a minimal generating set by Dehn twists and $Y$-homemorphisms.

연구 동기 및 목표

• 비유도적 표면의 매핑 클래스 군 $\mathcal{M}(N_g)$ 에 대한 셰피에투스키의 생성 집합의 최소성을 확립하기 위해, $g \geq 4$ 이다.
• 매핑 클래스 군 $\mathcal{M}(N_g)$ 를 생성하기 위해 필요한 최소한의 디한 트위스트와 $Y$-홈오먼피즘의 수를 결정하기 위해.
• 모든 $g \geq 4$ 에 대해 셰피에투스키의 생성자들 중 적절한 부분집합이 충분하지 않음을 보여주기 위해.
• 매핑 클래스 군의 $H_1(N_g; \mathbb{Z}_2)$ 에 대한 작용과 $\mathbb{Z}_4$-이차형식을 사용하여 더 작은 생성 집합을 배제하기 위해.
• 유도적 표면에 대한 허프리즈의 최소성 결과를 비유도적 경우로 확장하기 위해.

제안 방법

• $H_1(N_g; \mathbb{Z}_2)$ 에서 $\mathbb{Z}_4$-이차형식을 정의하여, 다음 조건을 만족시킨다: $q(x+y) = q(x) + q(y) + 2\times(x,y)$.
• 1차 스티펠-블랙웰 클래스 $w_1$ 을 사용하여 호몰로지에서 한쪽면 곡선과 양쪽면 곡선을 구분한다.
• 이완가능한 $A$-원환곡선을 두쪽면 곡선으로 정의하며, 그 여부가 연결되고 비유도적임을 만족한다.
• 좌표 변경 원리를 적용하여 동형인 여부가 동일한 여부를 가진 곡선들을 매핑 클래스 군 원소를 통해 연결한다.
• 디한 트위스트가 호몰로지에 다음과 같이 작용함을 보인다: $x \mapsto x + (x,[c])\cdot[c]$, 그리고 $Y$-홈오먼피즘은 자명하게 작용한다.
• $g-1$ 개의 디한 트위스트와 $Y$-홈오먼피즘에 의해 불변인 $\mathbb{Z}_4$-이차형식을 구성하지만, 전체 군에 의해는 불변이 아니며, 이는 $n < g$ 일 때 모순을 유도한다.

실험 결과

연구 질문

• RQ1 비유도적 표면의 매핑 클래스 군 $\mathcal{M}(N_g)$ 를 생성하기 위해 필요한 최소한의 디한 트위스트와 $Y$-홈오먼피즘의 수는 무엇인가? $g \geq 4$ 에 대해.
• RQ2 셰피에투스키가 제안한 $\mathcal{M}(N_g)$ 의 생성 집합은 더 이상 줄일 수 있는가?
• RQ3 디한 트위스트 $g$ 개 미만과 하나의 $Y$-홈오먼피즘으로 생성되는 부분군과 전체 매핑 클래스 군을 구별하는 호몰로지 불변량이 존재하는가?
• RQ4 매핑 클래스 군의 $H_1(N_g; \mathbb{Z}_2)$ 에 대한 작용이 어떤 $\mathbb{Z}_4$-이차형식도 보존하는가?
• RQ5 $\mathcal{M}(N_g)$ 는 왜 디한 트위스트만으로 생성되지 않으며, $Y$-홈오먼피즘은 어떻게 이를 보완하는가?

주요 결과

• 비유도적 표면의 매핑 클래스 군 $\mathcal{M}(N_g)$ 는 $g \geq 4$ 일 때 최소 $g$ 개의 디한 트위스트와 하나의 $Y$-홈오먼피즘으로 생성되어야 한다.
• 모든 생성 집합은 적어도 하나의 $Y$-홈오먼피즘을 포함해야 하며, 이는 군이 디한 트위스트만으로 생성되지 않기 때문이다.
• 시스템 $\{t_{a_i} \mid i=1,\dots,g-1\}, t_{b_2}, Y_{m_{g-1},a_{g-1}}$ 는 최소이다: 어떤 진부분집합도 $\mathcal{M}(N_g)$ 를 생성하지 못한다.
• $g=3$ 일 때, 최소 생성 집합은 두 개의 디한 트위스트와 하나의 $Y$-홈오먼피즘으로 이루어지며, 더 작은 집합은 충분하지 않다.
• $g-1$ 개의 디한 트위스트와 $Y$-홈오먼피즘에 의해 불변인 $\mathbb{Z}_4$-이차형식이 존재하지만, 전체 군에 의해는 불변이 아니며, 이는 최소성의 증명에 핵심이 된다.
• $\mathcal{M}(N_g)$ 가 $H_1(N_g; \mathbb{Z}_2)$ 에 작용할 때 어떤 $\mathbb{Z}_4$-이차형식도 보존하지 않으며, 이는 최소성 증명에서의 모순을 이끌어내는 데 핵심적인 역할을 한다.