[논문 리뷰] Diffeomorphism Groups of Compact 4-manifolds are not always Jordan

Balázs Csikós, László Pyber외 1명|arXiv (Cornell University)|2014. 11. 27.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 33

한 줄 요약

이 논문은 고이스의 추측을 반박하기 위해, 특정한 컴acts 4차원 다양체—구체적으로 토러스 $T^2$ 위의 비자명한 $S^2$-_bundle의 총공간인—의 미분구조군이 조르당 성질을 가지지 않음을 보여줌으로써 반례를 구성한다. 복소선다발의 해석적 구조와 그 자동형군을 이용하여, 임의로 큰 최소 아벨 부분군 지수를 가진 유한부분군을 포함함으로써, 이 미분구조군이 균일한 조르당 상한을 갖지 못함을 증명한다.

ABSTRACT

We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite subgroup $G_n$ for any natural number $n$ such that every abelian subgroup of $G_n$ has index at leat $n$. This gives a counterexample to an old conjecture of Ghys.

연구 동기 및 목표

• 콤��� 스무쓰 다각형의 미분구조군이 항상 조르당 성질을 가진다는 고이스의 추측을 반박하기 위해.
• 조르당 성질을 위반하는 컴팩트 4차원 다각형의 명시적 예를 구성하기 위해.
• 특정한 $S^2$-bundles over $T^2$에 대해, 그 미분구조군이 임의로 큰 지수를 가진 아벨 부분군을 가진 유한부분군을 포함함을 보여주기 위해.
• 특히 멈프의 복소토러스 위의 해석적 선다발 이론을 활용하여, 구체다발의 자동형군을 분석하기 위해.
• 미분구조군이 $Y_n$, 즉 $P(\xi_n \oplus \xi_0)$의 총공간에서, $\mathcal{G}(\xi_n)$와 동형인 부분군을 포함하며, 이는 기저 토러스의 비아벨 구조를 이어받음을 확립하기 위해.

제안 방법

• 2-토러스 $T^2$ 위의 스무스 복소선다발을 그 첫 번째 체른 클래스 $c_1(\xi_n) = n \in \mathbb{Z}$로 분류하여, $\xi_n$을 $\xi_1$의 $n$번째 텐서곱으로 식별한다.
• 관련된 사영선다발 $Y_n = P(\xi_n \oplus \xi_0)$를 구성하며, 그 총공간은 $T^2$ 위의 스무스한 $S^2$-bundle이다.
• $\xi_n$에 해석적 구조를 부여하고, $T^2$에서의 이동에 의한 당김을 보존하는 부분군을 $H(\xi_n)$으로 정의한다.
• $H(\xi_n)$의 원소를 덮는 복소다발의 이sov형 자동형군으로서 $\mathcal{G}(\xi_n)$을 정의하며, 중심확장 $0 \to \mathbb{C}^* \to \mathcal{G}(\xi_n) \to H(\xi_n) \to 0$를 이룬다.
• 멈프의 결과를 활용하여 $H(\xi_n) \cong K \oplus \hat{K}$ (여기서 $K$는 유한 아벨군)임을 보이고, $n > 0$일 때 $|H(\xi_n)| = n^2$임을 증명한다.
• 유한부분군 $G_n \subset \mathcal{G}(\xi_n)$를 구성하여, $\mathbb{Z}_{\sqrt{N}} \times (K \oplus \hat{K})$와 동형이며, $N = |H(\xi_n)| \geq n^2$이 되도록 하여, $G_n$의 모든 아벨 부분군의 지수가 최소 $n$ 이상이 되도록 한다.

실험 결과

연구 질문

• RQ1 조르당 성질을 위반하는 컴팩트 스무쓰 4차원 다각형이 존재하는가?
• RQ2 토러스 $T^2$ 위의 $S^2$-다발의 총공간의 미분구조군이, 임의로 큰 최소 아벨 부분군 지수를 가진 유한부분군을 포함할 수 있는가?
• RQ3 복소토러스 위의 해석적 선다발의 자동형군의 구조는 무엇이며, 이는 관련된 구다발의 미분구조군과 어떻게 관련되는가?
• RQ4 모든 컴팩트 스무쓰 다각형의 미분구조군이 조르당 성질을 가진다는 고이스의 추측은 일반적으로 참인가?
• RQ5 타원곡선 위의 해석적 선다발의 대수기하학은, 미분구조군의 군론적 성질과 어떻게 관련되는가?

주요 결과

• $Y_n$, 즉 $T^2$ 위의 $S^2$-다발 $P(\xi_n \oplus \xi_0)$의 총공간에서, 모든 $n > 0$에 대해 그 미분구조군은 조르당 성질을 가지지 않는다.
• 모든 $n > 0$에 대해, $\mathcal{G}(\xi_n)$는 각 아벨 부분군의 지수가 최소 $n$ 이상인 유한부분군 $G_n$을 포함한다.
• $n > 0$일 때 $H(\xi_n)$의 순서는 $n^2$이며, $\mathcal{G}(\xi_n)$는 $|K| = n$인 $G_n \cong \mathbb{Z}_{n} \times (K \oplus \hat{K})$를 포함하므로 $|G_n| = n^3$이다.
• $G_n$의 임의의 아벨 부분군의 지수는 최소 $n$ 이상이며, 이 상한은 자르힌의 주장에 따라 날카로운 것으로 밝혀졌다. 이는 비라션 자동형군의 맥락에서 제시되었다.
• $Y_n$의 미분구조군은 모든 $m \equiv n \pmod{2}$에 대해 $\mathcal{G}(\xi_m)$와 동형인 부분군을 포함하므로, 이 반례는 자명한 $S^2$-다발과 비자명한 $S^2$-다발 모두에 확장된다.
• 결과적으로 이는 고이스의 추측에 대한 반례를 제공하며, 컴팩트성만으로는 스무쓰 다각형의 미분구조군이 조르당 성질을 보장하지 못함을 보여준다.