[논문 리뷰] Flat bundles and commutator lengths

R. İnanç Baykur|arXiv (Cornell University)|2012. 06. 15.

Geometric and Algebraic Topology참고 문헌 5인용 수 4

한 줄 요약

이 논문은 만성수준 $ g \geq 2 $인 표면의 경계에 평행한 곡선을 따라 하는 데인 트위스트의 $ n $ 제곱의 교환자 길이에 대한 초등적인 증명을 제공한다. 이는 $ \lfloor (|n|+3)/2 \rfloor $임을 보여주며, 푸시 사상과 밀너-우드 부등식을 이용하여, 평행이 아닌 단면을 가지는 평탄한 표면 병원을 가진 무한한 수의 서로 동치가 아닌 4차원 다양체의 무한한 가닥을 구성한다. 이는 베스트비나, 창, 수토의 결과를 일반화하며, 모리타의 비상승 정리에 대한 새로운 증명을 제공한다.

ABSTRACT

The purpose of this article is two-fold: We first give a more elementary proof of a recent theorem of Korkmaz, Monden, and the author, which states that the commutator length of the n-th power of a Dehn twist along a boundary parallel curve on a surface with boundary S of genus g at least two is the floor of (|n|+3)/2 in the mapping class group of S. The alternative proof we provide goes through push maps and Morita's use of Milnor-Wood inequalities, in particular it does not appeal to gauge theory. In turn, we produce infinite families of pairwise non-homotopic 4-manifolds admitting genus g surface bundles over genus h surfaces with distinguished sections which are flat but admit no flat connections for which the sections are flat, for every fixed pairs of integers g and h at least two. The latter result generalizes a theorem of Bestvina, Church, and Souto, and allows us to obtain a simple proof of Morita's non-lifting theorem (for an infinite family of non-conjugate subgroups) in the case of marked surfaces.

연구 동기 및 목표

• 경계에 평행한 데인 트위스트 $ t_\delta^n $의 교환자 길이에 대한 더 초등적인 증명을 제공하여 게이지 이론을 피하는 것.
• 평탄한 표면 병원을 가진 4차원 다각형의 무한한 가닥을 구성하여, 이는 서로 동치가 아니며, 특정 단면을 보존하는 평탄한 접속이 존재하지 않는 것.
• 아티야-코다이라 병원에 대한 베스트비나, 창, 수토의 결과를 비해선형적이고 심플렉틱한 4차원 다각형으로 일반화하여 동일한 기하학적 장벽을 갖는 것.
• 게이지 이론을 사용하지 않고, 표면에 표시된 부분군에 대한 모리타의 비상승 정리에 대한 새로운 증명을 제공하는 것.

제안 방법

• 게이지 이론적 방법을 대체하기 위해, 표면 병원의 오일러 클래스 분석을 위해 푸시 사상과 밀너-우드 부등식을 사용하는 것.
• 일반화된 랜턴 항등식을 통한 모노드로미 계승 인수분해를 통한, 원하는 매핑 클래스 군 원소의 실현.
• 자기교차수를 통한 평탄한 접속의 차단: 단면이 평행할 수 없으며, 그 자기교차수가 0이 아니고 4로 나누어지지 않을 경우, Proposition 3을 적용.
• 호모로지 계산($ H_1(X_m) = \mathbb{Z}^{2h+2g-3} \oplus \mathbb{Z}_m $)을 통해 4차원 다각형이 호모토피적으로 서로 다름을 구분.
• 단면 합과 피브어 합 연산을 통해 초기 병원을 안정화하여, 서로 동치가 아닌 총공간의 무한한 가닥을 구성.
• 자기교차수가 0인 단면과 비자기교차수가 0이 아닌 단면이 동시에 존재함을 활용하여, 상승 불가능한 모노드로미 표현을 도출하는 것.

실험 결과

연구 질문

• RQ1 경계에 평행한 데인 트위스트 $ t_\delta $가 있는 만성수준 $ g \geq 2 $인 표면에서 $ \operatorname{Map}(\Sigma) $에서 $ t_\delta^n $의 교환자 길이는 얼마인가?
• RQ2 평탄한 표면 병원을 가지지만 주어진 단면을 평행하게 만드는 평탄한 접속이 존재하지 않는 4차원 다각형의 무한한 가닥을 구성할 수 있는가?
• RQ3 게이지 이론을 사용하지 않고, 표면의 위상적 구성으로 모리타의 비상승 정리를 재증명할 수 있는가?
• RQ4 평행이 불가능한 단면을 가진 이러한 평탄한 병원은 반드시 복소 구조를 가질까?
• RQ5 단면의 자기교차수는 표면 병원에서 평탄한 접속의 존재를 어떻게 차단하는가?

주요 결과

• 매핑 클래스 군 $ \operatorname{Map}(\Sigma) $에서 $ t_\delta^n $의 교환자 길이는 $ \lfloor (|n|+3)/2 \rfloor $이며, 이는 $ g \geq 2 $인 매핑 클래스 군에서 처음으로 비영의 안정 교환자 길이를 정확히 계산한 것이다.
• 모든 $ g,h \geq 2 $이면서 $ g=2 $일 경우 $ h \geq 4 $이면, 평탄한 접속이 존재하는 평탄한 표면 병원을 가진, 서로 동치가 아닌 4차원 다각형 $ X_m $과 $ Y_m $의 무한한 가닥이 존재한다. 그러나 특별히 지정된 단면을 평행하게 만드는 평탄한 접속은 존재하지 않는다.
• $ X_m $과 $ Y_m $는 심플렉틱하나, 어느 방향으로도 복소 구조를 가지지 않으며, 이는 평탄성의 장벽에 대해 해석 기하학적 조건이 필수적이지 않음을 보여준다.
• $ X_m $의 단면 $ S $의 자기교차수는 $ 2h-2 $, $ Y_m $의 경우 $ 2h-4 $이며, Proposition 3에 따라 이는 $ S $가 평행이 되는 평탄한 접속의 존재를 차단한다.
• $ r $개의 표시점이 있는 $ \mu_{f_m}: \pi_1(\Sigma_h) \to \operatorname{Map}(\Sigma) $의 모노드로미 표현은 $ \operatorname{Diff}^+(\Sigma) $로 올라가지 못하며, 이는 $ g,h \geq 2 $인 경우 무한히 많은 서로 동치가 아닌 부분군을 제공한다.
• $ H_1(X_m) = \mathbb{Z}^{2h+2g-3} \oplus \mathbb{Z}_m $ 및 $ H_1(Y_m) = \mathbb{Z}^{2h+1} \oplus \mathbb{Z}_m $의 호모로지 군은 서로 다른 $ m $에 대해 $ X_m $과 $ Y_m $가 서로 동치가 아니라는 것을 보장한다.