[논문 리뷰] Some properties of the group of regular birational maps

Julie Déserti|arXiv (Cornell University)|2014. 03. 03.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 복소수 사영 공간 $ \mathbb{P}^n_\mathbb{C} $의 자명한 반전과 자동형사상으로 생성되는 군 $ G_n(\mathbb{C}) $를 조사하며, 이 군이 비자명한 유한차원 선형 표현을 가지지 않으며, 완전군이고, 아르티노-지리 토폴로지 하에서 단순군임을 증명한다. 또한, $ \mathrm{Bir}(\mathbb{P}^n_\mathbb{C}) $의 임의의 자동형사상이 비라시onal 코너지와 체 자동형사상에 대해 $ G_n(\mathbb{C}) $ 위에서 자명한 작용을 한다는 것을 보인다.

ABSTRACT

We give some properties of the subgroup $G_n(\mathbb{C})$ of the group of birational self-maps of $\mathbb{P}^n_\mathbb{C}$ generated by the standard involution and the group of automorphisms of $\mathbb{P}^n_\mathbb{C}$. We prove that there is no nontrivial finite-dimensional linear representation of $G_n(\mathbb{C})$. We also establish that $G_n(\mathbb{C})$ is perfect, and that $G_n(\mathbb{C})$ equipped with the Zariski topology is simple. Furthermore if $\varphi$ is an automorphism of $\mathrm{Bir}(\mathbb{P}^n_\mathbb{C})$, then up to birational conjugacy, and up to the action of a field automorphism $\varphi_{\vert G_n(\mathbb{C})}$ is trivial.

연구 동기 및 목표

• 복소수 사영 공간 $ \mathbb{P}^n_\mathbb{C} $의 비라시온 자가사상들의 부분군인 $ G_n(\mathbb{C}) $의 대수적 및 위상적 구조를 분석하기.
• $ G_n(\mathbb{C}) $가 비자명한 유한차원 선형 표현을 갖는지 결정하기.
• 아르티노-지리 토폴로지 하에서 $ G_n(\mathbb{C}) $의 단순성과 완전성 조사하기.
• 전체 비라시온 군 $ \mathrm{Bir}(\mathbb{P}^n_\mathbb{C}) $의 자동형사상을 분류하며, 이들의 $ G_n(\mathbb{C}) $에 대한 제한에 초점 맞추기.

제안 방법

• $ G_n(\mathbb{C}) $의 구조를 분석하기 위해 군론적 기법을 사용하며, 이는 표준 반전과 $ \mathrm{PGL}(n+1,\mathbb{C}) $로 생성된다.
• 표현 이론을 적용하여 $ G_n(\mathbb{C}) $가 비자명한 유한차원 선형 표현을 가지지 않음을 증명한다.
• 자기 공액군이 자신의 교환자부군과 일치함을 보여 $ G_n(\mathbb{C}) $가 완전군임을 증명한다.
• 아르티노-지리 토폴로지의 위상적 분석을 통해 $ G_n(\mathbb{C}) $가 단순군임을 확립한다.
• 비라시온 코너지와 체 자동형사상을 활용하여 $ G_n(\mathbb{C}) $ 위에서 자동형사상의 작용을 분류한다.
• 자동형사상 문제를 비라시온 코너지와 체 자동형사상에 대해 자명함으로 귀결시킨다.

실험 결과

연구 질문

• RQ1 $ G_n(\mathbb{C}) $는 비자명한 유한차원 선형 표현을 갖는가?
• RQ2 $ G_n(\mathbb{C}) $는 완전군인가, 즉 자기 공액군과 일치하는가?
• RQ3 아르티노-지리 토폴로지가 부여된 $ G_n(\mathbb{C}) $는 단순군인가?
• RQ4 비라시온 군 $ \mathrm{Bir}(\mathbb{P}^n_\mathbb{C}) $의 자동형사상은 비라시온 코너지와 체 자동형사상에 대해 $ G_n(\mathbb{C}) $에 어떻게 작용하는가?

주요 결과

• $ G_n(\mathbb{C}) $는 비자명한 유한차원 선형 표현을 갖지 않는다.
• $ G_n(\mathbb{C}) $는 완전군이며, 이는 자기 공액군과 일치함을 의미한다.
• 아르티노-지리 토폴로지가 부여된 $ G_n(\mathbb{C}) $는 단순군이다.
• 임의의 $ \mathrm{Bir}(\mathbb{P}^n_\mathbb{C}) $의 자동형사상 $ \varphi $ 는 비라시온 코너지와 체 자동형사상에 대해 $ G_n(\mathbb{C}) $ 위에서 자명한 작용을 한다.
• $ G_n(\mathbb{C}) $의 구조는 자동형사상 군이 매우 제약을 받고 있다는 의미에서 강성( rigidity )을 갖는다.