[논문 리뷰] Groupes de Cremona, connexité et simplicité

Jérémy Blanc|Archive ouverte UNIGE (University of Geneva)|2009. 03. 13.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 모든 차원 $n$ 에 대해 Cremona 군 $ \mathrm{Cr}_n(k) $ 가 연결되어 있음을 증명하고, Zariski 위상이 부여된 군 $ \mathrm{Cr}_2(k) $ 가 단순함을 보여준다. 변형 기법과 Jonquières 부분군의 구조를 이용하여, 대수적 가족에서 경로 옮김을 통해 자동형사와 유리형 사상의 선형 연결성을 증명함으로써, 높은 차원에서 Cremona 군의 위상적 단순성과 연결성에 관한 오랫동안 남아 있던 질문들을 해결한다.

ABSTRACT

The Cremona group is connected in any dimension and, endowed with its topology, it is simple in dimension 2. ----- Le groupe de Cremona est connexe en toute dimension et, muni de sa topologie, il est simple en dimension 2.

연구 동기 및 목표

• J.-P. Serre 가 2008년에 제기한, $n \geq 3$ 인 경우 $ \mathrm{Cr}_n(k) $ 의 연결성에 관한 질문을 해결하기 위해.
• D. Mumford 가 1974년에 제기한 질문, 즉 $ \mathrm{Cr}_2(k) $ 가 Zariski 위상에서 단순한가에 대한 답을 내기 위해.
• 대수적 가족과 사상 $ \mathrm{Bir}(X) $ 를 이용하여 Cremona 군의 위상적 프레임워크를 구축하기 위해.
• 항등원에 연결 가능한 원소들의 부분군이 $ \mathrm{Aut}(\mathbb{P}^n_k) $ 와 Jonquières 부분군을 포함하는 정규 부분군임을 증명하기 위해.
• 모든 $ \mathrm{Cr}_n(k) $ 내의 유리형 사상이 대수적 가족에서 사상에 의해 항등원과 연결될 수 있음을 보여, 전체 군의 연결성을 암시하기 위해.

제안 방법

• $k$-다양체 $A \to \mathrm{Bir}(X)$ 를 통해 올려진 닫힌 집합을 이용하여 $ \mathrm{Bir}(X) $ 에 Zariski 위상을 정의하기 위해.
• 유리형 분할을 유지하는 $ \mathit{J}_n \subset \mathrm{Cr}_n(k) $ 인 Jonquières 부분군을 사용하여 경로 연결 가닥을 구성하기 위해.
• 변형 보조정리(보조정리 3.3)를 적용하여, 유리형 사상이 $ \mathit{J}_n^0 $ 내의 정규 도함수로 연결 가능함을 보여, 경로 구성 가능성을 확보하기 위해.
• 임의의 원소 $g \in \mathrm{Cr}_n(k)$ 가 항등원으로 연결될 수 있도록, 치환 $\sigma$ 를 이용한 공액을 통해, 한 점을 고정하는 사상의 경우로 환원하기 위해.
• 차원에 대한 귀납법을 사용: $ \mathrm{Cr}_{n-1}(k) $ 가 연결되어 있다고 가정하고, $ \mathit{J}_n $ (즉, $ \mathit{J}_n^0 \simeq \mathrm{PGL}(2,K) $ 와 $ \mathrm{Cr}_{n-1}(k) $ 가 생성하는 군) 이 항등원의 연결 성분에 속함을 보여주기 위해.
• 행렬 성분의 선형 변형을 통해 $ \mathrm{Aut}(\mathbb{P}^n_k) \subset \mathcal{U}_0 $ 이며, $ \mathit{J}_n^0 \subset \mathcal{U}_0 $ 이므로, 전체 군을 생성함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 Zariski 위상이 부여된 경우, 모든 $n \geq 1$ 에 대해 Cremona 군 $ \mathrm{Cr}_n(k) $ 는 연결되어 있는가?
• RQ2 Zariski 위상이 부여된 군 $ \mathrm{Cr}_2(k) $ 는 단순한가?
• RQ3 $\mathbb{P}^n_k$ 의 모든 유리형 자기사상은 $k$-다양체에서의 사상에 의해 항등원과 연결될 수 있는가?
• RQ4 항등원에 연결 가능한 원소들의 부분군은 $ \mathrm{Aut}(\mathbb{P}^n_k) $ 와 Jonquières 부분군을 포함하는 정규 부분군인가?
• RQ5 $ \mathit{J}_n^1 \simeq \mathrm{PSL}(2,K)$ 의 구조를 사용하여 2차원에서의 단순성과 연결성을 증명할 수 있는가?

주요 결과

• $ \mathrm{Cr}_n(k) $ 는 모든 $n$ 에 대해 연결되어 있으며, 이는 2008년 Serre 가 제기한 질문을 해결한다.
• $ \mathrm{Cr}_2(k) $ 는 Zariski 위상이 부여된 경우 단순하다. 이는 1974년 Mumford 가 제기한 질문에 대한 긍정적 답변이다.
• $ \mathcal{U}_0 $ 는 항등원에 연결 가능한 원소들의 부분군으로, $ \mathrm{Cr}_n(k) $ 의 정규 부분군이며, $ \mathrm{Aut}(\mathbb{P}^n_k) $ 와 Jonquières 부분군 $ \mathit{J}_n^0 $ 을 포함한다.
• $ \mathrm{Cr}_n(k) $ 의 모든 원소는 $ \mathcal{U}_0 $ 에 속하므로, 전체 군이 연결되어 있음을 암시한다.
• 보조정리 3.3 에서의 정규 도함수 구성은 임의의 유리형 사상을 Jonquières 유형의 사상으로 환원할 수 있게 해주며, 이는 경로 옮김과 연결성 증명을 가능하게 한다.
• $ \mathit{J}_n^1 \simeq \mathrm{PSL}(2,K)$ 의 단순성은 $ \mathrm{Cr}_2(k) $ 의 단순성을 증명하는 데 핵심적인 요소로 사용된다.