[논문 리뷰] Bilinear-form invariants of Lefschetz fibrations over the 2-sphere

Takefumi Nosaka|arXiv (Cornell University)|2016. 11. 14.

Algebraic structures and combinatorial models참고 문헌 20인용 수 6

한 줄 요약

이 논문은 군 작용과 모듈러스 위의 $G$-불변 이차형식을 활용하여 2-구면에서의 Lefschetz fibrations에 대한 새로운 이차형식 불변량을 도입한다. 이 방법은 Hopf fibrations로부터 유도된 링크 불변량을 통해 모노드로미 데이터로부터 불변량을 구성하며, 계산 가능한 불변량을 제공하여 4-다양체의 서명을 복원하고, 특히 토판 계수에서의 피어 병합 연산에 대한 비가환성을 탐지한다.

ABSTRACT

We introduce invariants of Hurwitz equivalence classes with respect to arbitrary group $G$. The invariants are constructed from any right $G$-modules $M$ and any $G$-invariant bilinear function on $M$, and are of bilinear forms. For instance, when $G$ is the mapping class group of the closed surface, $\mathcal{M}_g$, we get an invariant of 4-dimensional Lefschetz fibrations over the 2-sphere. Moreover, the construction is applicable for the quantum representations of $\mathcal{M}_g $ derived from Chern-Simons field theory. We compute the associated invariants in some cases, and find infinitely many Lefschetz fibrations which have the same Seiberg-Witten invariant and are homeomorphic but not mutually isomorphic as fibrations.

연구 동기 및 목표

• Lefschetz fibrations의 $S^2$ 위에서의 모노드로미 데이터의 투르비츠 동치류에 대한 새로운 불변량을 개발하기 위해.
• 특히 $\mathcal{M}_g$의 매핑 클래스 군에 대해 $G$-모듈러스와 $G$-불변 이차형식을 사용하여 계산 가능한 불변량을 구성하기 위해.
• 이 불변량을 4차원 Lefschetz fibrations에 적용하고, 서명과 같은 위상 불변량과 연관시키기 위해.
• 이러한 불변량이 피어 병합 연산 하에서 어떻게 행동하는지 조사하며, 특히 토판 계수에서의 불안정성에 초점하기 위해.
• 중심 확장을 통한 $\mathcal{M}_g$의 양자 표현으로 이 틀을 확장하기 위해, 체인-시몬즈 이론을 포함한다.

제안 방법

• 모든 우측 $G$-모듈러스 $M$과 $G$-불변 이차형식 $\psi$로부터, 모노드로미 표현의 핵에 대한 이차형식 $\mathcal{Q}_\psi$를 구성한다.
• Hopf fibrations $S^3 \to S^2$에 의해 유도된 $S^3$ 내의 $(m,m)$-토러스 링크 $T_{m,m}$의 링크 군을 사용하여, 링크 불변량을 투르비츠 동치류로 올리기 위한 방법을 제공한다.
• $G = \mathcal{M}_g$인 경우, $H^1(\Sigma_g; \mathbb{Z})$ 위에서의 표준적인 심플렉틱 표현을 사용하고, $\psi$를 심플렉틱 형식으로 정의하여 $\mathcal{Q}_\psi$를 정의한다.
• 이차형식 $\mathcal{Q}_\psi$는 $M^3$에서 $M^2$로의 분할 사상에 의해 계산되며, 이는 모노드로미 사상의 핵과 동형이다.
• 컴퓨터 보조 계산을 통해 저성도의 Lefschetz fibrations에 대한 불변량을 계산하기 위해 이 방법을 적용한다.
• 중심 확장을 통한 $\mathcal{M}_g$의 양자 표현으로 이 틀을 확장하며, 체인-시몬즈 이론과 호환된다.

실험 결과

연구 질문

• RQ1 Lefschetz fibrations의 $S^2$ 위에서의 투르비츠 동치류의 모노드로미 데이터에 대해 이차형식 불변량을 체계적으로 구성할 수 있는가?
• RQ2 이러한 불변량은 총공간의 서명과 같은 고전적 불변량과 어떻게 관련이 있는가?
• RQ3 이 불변량은 피어 병합 연산 하에서 가환성을 보이며, 그렇지 않다면 이는 그들의 구조에 대해 무엇을 시사하는가?
• RQ4 $\mathbb{Z}/P\mathbb{Z}$ 계수에서 모노드로미의 토판 구조를 탐지할 수 있는가?
• RQ5 이러한 구성은 중심 확장을 포함한 매핑 클래스 군의 양자 표현으로 확장될 수 있는가?

주요 결과

• 모듈러스 $M = H^1(\Sigma_g; \mathbb{Z})$이고 $\psi$가 심플렉틱 형식일 경우, 이차형식 $\mathcal{Q}_\psi$는 단위행렬이며, 그 서명은 총 4-다양체의 서명과 일치한다.
• $\mathcal{Q}_\psi$로부터 유도된 서명 공식은 메이어의 2-코호몰로지 공식보다 단순하고 계산에 효율적인 대안이다.
• $A = \mathbb{Z}/P\mathbb{Z}$인 경우, 불변량 $\mathcal{Q}_\psi$는 위상적이지 않으며, 표 1과 명제 5.3에 의해 피어 병합에서 비가환성을 보인다.
• 불변량은 토판 계수를 통해 Lefschetz fibrations의 비자명한 피어-구조를 탐지하며, 군론적 복잡성을 시사한다.
• 중심 확장을 통한 $\mathcal{M}_g$의 양자 표현과 호환되며, 체인-시몬즈 이론에의 적용을 가능하게 한다.
• 컴퓨터 보조 계산을 통해 $g \leq 9$일 경우 $\mathcal{Q}_\psi$의 계산이 가능하며, 많은 fibrations에 대해 명시적인 서명 계산이 가능하다.