[논문 리뷰] Finite subgroups of diffeomorphism groups

Vladimir L. Popov|arXiv (Cornell University)|2013. 10. 24.

Mathematical Dynamics and Fractals참고 문헌 6인용 수 12

한 줄 요약

이 논문은 모든 $ n \geq 4 $에 대해, 단순연결되고 비콤팩트인 $ n $차원의 매끄러운 다발에서 그 미분동형사상군이 모든 유한형성된 군의 자유롭게 작용하는 동형 복사본을 포함함을 증명한다—이는 이러한 미분동형사상군이 비조르당임을 시사한다. 또한 콤팩트 다발의 미분동형사상군 내의 유한 단순부군에 대한 유한성 정리를 증명하여, 그 크기가 다발의 불변량에 의해 유계임을 보인다.

ABSTRACT

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite simple subgroups of diffeomorphism groups of compact smooth topological manifolds.

연구 동기 및 목표

• 매끄러운 위상다양체의 미분동형사상군 내부의 유한부군의 구조를 조사하며, 비콤팩트와 콤팩트 경우를 대조한다.
• 다양체의 미분동형사상군이 조르당일 수 있는지, 즉 모든 유한부군이 유한 리스트에서 유도된 아벨군의 확장인지 여부를 규명한다.
• 콤팩트 매끄러운 다발의 미분동형사상군 내의 유한 단순부군에 대한 유한성 결과를 확립한다.
• 모든 유한형성된 군을 이산적이고 자유롭게 작용하는 변환군으로 포함하는 비콤팩트 다발의 구체적 예를 제시한다.
• 다양체의 불변량인 $ e_M $, 즉 $ \mathrm{Diff}(M) $의 유한부군 내에서의 기본 아벨부군의 최대 랭크를 기반으로 유한 단순부군의 매개변수(예: 랭크, 순서)를 유계로 제한한다.

제안 방법

• 모든 유한형성된 군을 포함하는 유한형성된 보편군 $ \widetilde{G} $로의 임bedding을 위해 히그먼의 임베딩 정리를 활용하며, 이는 콤팩트하고 매끄럽고 방향성이 있는 4차원 다발의 기본군으로 실현된다.
• 이러한 4차원 다발의 보편피복을 통해 단순연결되고 비콤팩트인 다발 $ C_n $를 구성하며, 그 미분동형사상군은 기본군을 이산적이고 자유롭게 작용하는 부분군으로 포함한다.
• 조르당 군의 정의를 적용한다: 군이 조르당이 되기 위해서는 모든 유한부군이 어떤 상수 $ d_G $ 이내의 지수를 가지는 정규아벨부군을 가져야 한다.
• 콤팩트 다발의 경우, $ \mathrm{Diff}(M) $의 유한부군 내에서 기본 아벨부군의 최대 랭크 $ e_M $ 를 분석하여, 유한 단순부군의 크기를 유계로 제한한다.
• 각 유한 단순군의 가족(예: $ \mathrm{Alt}_n $, $ {}^2B_2(2^{2n+1}) $, 고전적 및 예외적 체발리형 군)에 대해 기본 아벨부군의 순서를 계산하고, 그 랭크를 $ e_M $ 와 동일시하여 군 매개변수의 상한을 유도한다.
• 기존의 군론적 결과(예: [Vd01], [W09], [Ba79])를 활용하여 각 유한 단순군 유형 내에서 최대 기본 아벨부군을 식별하고, $ e_M $ 와 관련된 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 비콤팩트 매끄러운 다발의 미분동형사상군이 모든 유한형성된 군의 동형 사본을 포함할 수 있는가?
• RQ2 미분동형사상군이 비조르당이 되는 비콤팩트 다발은 존재하는가?
• RQ3 콤팩트 매끄러운 다발에 대해, 그 미분동형사상군의 유한 단순부군의 순서에 대해 통일된 상한이 존재하는가?
• RQ4 유한 단순부군의 매개변수(예: 랭크, 순서)는 다발 $ M $ 의 기하학적 불변량과 어떻게 관련되는가?
• RQ5 기본 아벨부군의 최대 랭크 $ e_M $ 가 주어졌을 때, $ \mathrm{Diff}(M) $ 내의 최대 유한 단순부군의 크기는 얼마인가?

주요 결과

• 모든 $ n \geq 4 $에 대해, 단순연결되고 비콤팩트이며 매끄럽고 방향성이 있는 $ n $-다양체 $ C_n $ 가 존재하여 $ \mathrm{Diff}(C_n) $ 가 모든 유한형성된 군의 자유롭게 작용하는 동형 복사본을 포함한다.
• 그 결과로, 모든 $ n \geq 4 $에 대해 $ \mathrm{Diff}(C_n) $ 는 비조르당임을 알 수 있다. 왜냐하면 임의로 큰 유한 단순군(예: 큰 $ n $ 에 대한 $ \mathrm{Alt}_n $)을 포함하고 있기 때문이며, 이는 조르당 성질과 모순된다.
• 모든 콤팩트 매끄러운 다발 $ M $ 에 대해, $ \mathrm{Diff}(M) $ 의 유한부군 내에서 기본 아벨부군의 최대 랭크 $ e_M $ 는 $ \mathrm{Diff}(M) $ 의 모든 유한 단순부군의 매개변수를 유계로 제한한다.
• $ \mathrm{Alt}_n $ 에 대해, 순서 $ 3^{\lfloor n/3 \rfloor} $ 의 기본 아벨부군이 존재하므로 $ n \leq 3e_M + 2 $ 의 상한이 도출된다.
• 고전군인 $ \mathrm{PSL}_n(p^a) $ 에 대해, 순서 $ p^{a s(n-s)} $ 의 기본 아벨부군의 랭크를 분석함으로써 $ a[n/2](n - [n/2]) \leq e_M $ 의 상한이 유도된다.
• 예외군인 $ E_8(p^a) $ 에 대해, 순서 $ p^{36a} $ 의 기본 아벨부군이 존재하므로 $ a \leq e_M / 36 $ 의 상한이 도출된다.