[논문 리뷰] Bia{\l}ynicki-Birula decomposition for reductive groups

Joachim Jelisiejew, Łukasz Sienkiewicz|arXiv (Cornell University)|2018. 05. 29.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 3

한 줄 요약

이 논문은 매끄러운 다양체 위의 $\mathbb{G}_m$-작용에서부터 유한형 스킴 및 대수적 공간 위의 임의의 선형적으로 재수성된 군 $\mathbf{G}$-작용으로 고전적 Białynicki-Birula 분해를 일반화한다. compactified monoid $\overline{\mathbf{G}}$를 사용하는 함수적 구성법을 도입하여 $\mathbf{G}$--equivariant인 사상의 확장을 매개변수화하고, 이가 국소적으로 유한형 스킴으로서 표현 가능하다는 것을 증명하며, Hilbert 스킴 내의 Gröbner 셀의 교차가 아핀 공간과 동형임을 보인다.

ABSTRACT

We generalize the Bia{\\l}ynicki-Birula decomposition from actions of $G_m$ on smooth varieties to actions of linearly reductive group ${\\bf G}$ on finite type schemes and algebraic spaces. We also provide a relative version and briefly discuss the case of algebraic stacks. We define the Bia{\\l}ynicki-Birula decomposition functorially: for a fixed ${\\bf G}$-scheme $X$ and a monoid $\\overline{\\bf G}$ which partially compactifies ${\\bf G}$, the BB decomposition parameterizes ${\\bf G}$-schemes over $X$ for which the ${\\bf G}$-action extends to the $\\overline{\\bf G}$-action. The freedom of choice of $\\overline{\\bf G}$ makes the theory richer than the $G_m$-case.

연구 동기 및 목표

• 유한형 스킴 및 대수적 공간 위의 임의의 선형적으로 재수성된 군 $\mathbf{G}$-작용으로 고전적 Białynicki-Birula 분해를 $\mathbb{G}_m$-작용으로부터 일반화하기.
• $\mathbf{G}$의 부분 compactification $\overline{\mathbf{G}}$를 사용하여 분해의 함수적 프레임워크를 제공하여, $\mathbb{G}_m$-경우에서 $\mathbb{A}^1$이 수행하는 역할을 일반화하기.
• 적당한 조건(예: $\overline{\mathbf{G}}$ 내에 0 원소 존재) 하에, Białynicki-Birula 함수 $\mathcal{D}_{X,\overline{\mathbf{G}}}$가 국소적으로 유한형 스킴으로서 표현 가능하다는 것을 확립하기.
• 다른 단항식 순서에 의해 유도된 두 $\mathbb{G}_m$-작용을 사용하여 Hilbert 스킴 내의 Gröbner 셀의 교차를 분석하고, 이들이 아핀 공간과 동형임을 보여주기.

제안 방법

• 스킴 $X$ 위의 $\mathbf{G}$-작용을 고려할 때, 함수 $\mathcal{D}_{X,\overline{\mathbf{G}}}(S)$를 $\overline{\mathbf{G}} \times S \to X$인 $\mathbf{G}$-equivariant 사상의 집합으로 정의한다. 여기서 $\mathbf{G}$는 $\overline{\mathbf{G}}$에 좌측 곱셈으로 작용하고, $S$에는 자명하게 작용한다.
• $\overline{\mathbf{G}}$ 내의 0 원소 존재와 정규성 조건을 이용하여 연결된 0을 가진 모노이드로 감소시키며, 표현 가능성 보장.
• 형식적이고 미세한 성질을 이용하여 함수 $\mathcal{D}_{X,\overline{\mathbf{G}}}$가 국소적으로 유한형 스킴으로서 표현 가능하다는 것을 증명.
• Hilbert 스킴 $\mathcal{H} = \mathrm{Hilb}_d(\mathbb{A}^2)$에 이론을 적용하고, 서로 다른 단항식 순서에 의해 유도된 두 $\mathbb{G}_m$-작용을 사용.
• 동일한 단항식 아이디얼에 대응하는 두 Białynicki-Birula 셀 $Z_1$과 $Z_2$의 쌍대곱 $Z_1 \times_{\mathcal{H}} Z_2$가 $\mathbb{A}^2 \setminus \{0\}$에서 $\mathbb{A}^2$로의 $\mathbf{G}$-equivariant 사상의 연장에 의해 아핀 공간과 동형임을 보임.
• $\mathcal{H}$의 미세성과 $\mathbf{G}$-equivariant한 올림을 이용하여 $\mathbb{A}^2 \setminus \{0\}$ 위의 가속도가 유일하게 $\mathbb{A}^2$로 연장됨을 증명하고, 이로써 쌍대곱과 $\mathbb{A}^2$-compactified 분해 내의 셀 사이의 표준적 동형을 확립함.

실험 결과

연구 질문

• RQ1 고전적 $\mathbb{G}_m$-작용에 대한 Białynicki-Birula 분해는 임의의 선형적으로 재수성된 군 $\mathbf{G}$가 유한형 스킴 및 대수적 공간에 작용할 때 일반화될 수 있는가?
• RQ2 Białynicki-Birula 분해의 함수적 묘사에서 $\mathbb{G}_m$에서 $\mathbf{G}$로 일반화할 경우, $\mathbb{A}^1$의 역할을 대체할 올바른 대체물은 무엇인가?
• RQ3 Białynicki-Birula 함수 $\mathcal{D}_{X,\overline{\mathbf{G}}}$가 국소적으로 유한형 스킴으로서 표현 가능해지는 조건은 무엇인가?
• RQ4 동일한 초기 아이디얼을 가진 서로 다른 단항식 순서에 대응하는 Hilbert 스킴 $\mathbb{A}^2$ 위의 점들의 Hilbert 스킴 내에서 두 Białynicki-Birula 셀의 교차의 기하적 구조는 무엇인가?
• RQ5 동일한 초기 아이디얼을 가진 유한 개의 Gröbner 셀의 교차는 아핀 공간과 동형인가?

주요 결과

• 모든 유한형 $\mathbf{G}$-스킴 $X$에 대해, $\mathbf{G}$가 연결이고 $\overline{\mathbf{G}}$가 0 원소를 가진다면, 함수 $\mathcal{D}_{X,\overline{\mathbf{G}}}$는 국소적으로 유한형 스킴으로서 표현 가능하다.
• 완전체에 대해, 모든 정규 모노이드 $\overline{\mathbf{G}}$가 0 원소를 가진다면, 이는 연결된 0 원소를 가진 모노이드 $\overline{\mathbf{N}}$과 동치이므로, 연결성과 0 원소 존재 조건은 제한적이지 않다.
• Hilbert 스킴 $\mathcal{H} = \mathrm{Hilb}_d(\mathbb{A}^2)$ 내에서 동일한 단항식 아이디얼에 대응하는 두 Białynicki-Birula 셀 $Z_1$과 $Z_2$의 교차 $Z_1 \times_{\mathcal{H}} Z_2$는 아핀 공간과 동형이다.
• 이 교차의 차원은 $\dim_k \mathrm{Hom}(M, S/M)_{\geq 0, \geq 0}$이며, 이는 단항식 아이디얼 $[M]$에서의 탄성 공간의 비음수 부분의 차원이다.
• 이와 같은 결과는 동일한 초기 아이디얼을 가진 임의의 수의 셀 교차로까지 확장되며, 이 모든 교차는 아핀 공간과 동형이다.
• 쌍대곱 $Z_1 \times_{\mathcal{H}} Z_2$와 $\mathbb{A}^2$-compactified 분해 내의 셀 사이의 표준적 동형은 $\mathbb{A}^2 \setminus \{0\}$에서 $\mathbb{A}^2$로의 $\mathbb{G}_m \times \mathbb{G}_m$-equivariant 사상의 유일한 연장에 기인한다.