[논문 리뷰] Equivariant birational types and Burnside volume

Andrew Kresch, Yuri Tschinkel|arXiv (Cornell University)|2020. 07. 24.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 11

한 줄 요약

이 논문은 유한군의 작용을 일반화하기 위해 새로운 구성인 등변 버나이드 군을 사용하여 등변 비유사 불변량을 도입한다. 콘체비치의 비유사 기호를 등변으로 일반화한다. 등변 비유사 타입에 대한 전문화 맵을 수립하여, 만약 두 개의 매끄럽고 사영적인 $G$-다양체가 이산 평가환수 위에서 $G$-등변 비유사일 경우, 그 특수 섬유 역시 $G$-등변 비유사임을 증명한다. 이는 고전적 전문화 기법을 등변 설정으로 확장한다.

ABSTRACT

We introduce equivariant Burnside groups, new invariants in equivariant birational geometry, generalizing birational symbols groups for actions of finite abelian groups, due to Kontsevich, Pestun, and the second author, and study their properties. We establish a specialization map for the equivariant birational type of a smooth algebraic variety with an action of a finite group.

연구 동기 및 목표

• 유한군의 작용을 받는代수다양체에 대한 $G$-등변 비유사 기하학의 새로운 불변량을 개발하기 위해.
• 등변 버나이드 군을 통해 콘체비치의 비유사 기호를 비자명한 군 작용으로 일반화하기 위해.
• 등변 비유사 타입에 대한 전문화 맵을 수립하여 고전적 전문화 기법을 등변 설정으로 확장하기 위해.
• 아벨 군에 대해 ${\mathcal{B}}_n(G,k)$와 같은 기존 불변량과의 비교를 위해.
• 이산 평가환수 위에서 일반 섬유의 $G$-등변 비유사성은 특수 섬유의 $G$-등변 비유사성을 유도함을 증명하기 위해.

제안 방법

• 등변 버나이드 군 $\operatorname{Burn}_n(G)$를 $H$가 아벨 안정자 부분군일 때의 기호 $ (H, N_G(H)/H \curvearrowright K, \beta) $의 $\mathbb{Z}$-스팬의 몫으로 정의한다.
• Bergh와 Bergh-Rydh의 분할 정렬 알고리즘을 사용하여 $[X/G]$를 아벨 안정자를 갖는 스택으로 해체한다.
• 완전한 이산 평가환수 $\mathfrak{o}$의 잔여체 $k$와 통일자 $\pi$에 대해 등변 버나이드 부피 맵 $ \rho^G_\pi: \operatorname{Burn}_{n,K}(G) \to \operatorname{Burn}_{n,k}(G) $를 구성한다.
• $G$-등변 설정에서 약한 분해를 적용하여 작용의 다양한 스트라타 간의 비유사 타입을 연결한다.
• $\operatorname{Burn}_n(G)$에서 오비폴드 버나이드 군 $\overline{\operatorname{Burn}}_n$으로의 준동형을 수립하고, $[X \curvearrowleft G]$를 $[X/G]$의 동치류로 보낸다.
• 아벨 군 $G$에 대해 $\operatorname{Burn}_n^G(G) \to \mathcal{B}_n(G,k)$가 전사임을 보이고, $[X \curvearrowleft G]$가 $\beta_k(X)$로 보낸다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 $G$-다양체의 비유사 타입을 캡처하는 $G$-등변 비유사 기하학에서 새로운 불변량을 구성할 수 있는가?
• RQ2 이산 평가환수 위에서 일반 섬유의 전문화가 $G$-등변 비유사성을 유지하는가?
• RQ3 새로운 등변 버나이드 군은 아벨 군에 대해 기존의 불변량 $\mathcal{B}_n(G,k)$와 어떻게 관련이 있는가?
• RQ4 등변 버나이드 부피 맵을 사용하여 함수체와 그 특수 섬유 간의 비유사 타입을 연결할 수 있는가?
• RQ5 등변 안정자를 갖는 $G$-작용의 각 궤도 유형에 대해 $\operatorname{Burn}_n(G)$에 속하는 기호를 정규화된 방식으로 할당할 수 있는가?

주요 결과

• 등변 버나이드 군 $\operatorname{Burn}_n(G)$는 안정자 유형, 정규화자 작용, 정규화자 표현을 포함하는 기호의 몫으로 정의되며, $G$-등변 비유사 사상에 대해 불변성을 보장하는 관계를 포함한다.
• 전문화 맵 $\rho^G_\pi$가 구성되었고, 이는 DVR 위의 가족의 섬유들 사이에서 $G$-등변 비유사 타입을 유지하는 준동형을 유도한다.
• 보조정리 6.8은 두 매끄럽고 사영적인 $G$-다양체가 DVR의 일반 섬유에서 $G$-등변 비유사일 경우, 그 특수 섬유 역시 $G$-등변 비유사임을 증명한다.
• 아벨 군 $G$에 대해 $\operatorname{Burn}_n^G(G) \to \mathcal{B}_n(G,k)$는 전사이며, $[X \curvearrowleft G]$는 $\beta_k(X)$로 보낸다. 이는 [16]에서 정의된 불변량이다.
• 등변 버나이드 부피의 구성은 [17]의 전문화 맵에 대한 등변 해석을 제공하며, 비자명한 군 작용 설정으로 이를 확장한다.
• $\operatorname{Burn}_n(G)$는 오비폴드 버나이드 군 $\overline{\operatorname{Burn}}_n$으로 전사로 보낸다. 이는 $[X \curvearrowleft G]$를 몫 스택 $[X/G]$의 동치류로 보낸다.