[논문 리뷰] Bialynicki-Birula schemes in higher dimensional Hilbert schemes of points and monic functors

Laurent Evain, Mathias Lederer|arXiv (Cornell University)|2012. 09. 10.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 아핀 d차원 공간 위의 Hilbert 스킴에서 Bialynicki-Birula 계층이 관련된 함수자(functor)의 표류성(representability)을 증명하여 자연스러운 스킴 구조—즉, Bialynicki-Birula 스킴—를 부여함으로써, 이 계층에 자연스러운 스킴적 구조가 존재함을 확립한다. 또한, 토르스 작용이 i번째 좌표에서 비양수의 가중치를 가질 경우, 이 스킴이 i번째 Hilbert-Chow 사상의 영점 위의 섹션에 스킴적으로 포함됨을 보인다. 핵심 기여는 초기 아이디얼이 고정된 아이디얼을 파라미터화하는 단항 함수자(monic functor)의 표류성을 증명한 것으로, 기존의 Gröbner 기저 이론이 실패하는 음수 가중치가 존재하는 경우에도 함수자적 방법을 확장하는 데 있다.

ABSTRACT

The Bialynicki-Birula strata on the Hilbert scheme $H^n(\mathbb{A}^d)$ are smooth in dimension $d=2$. We prove that there is a schematic structure in higher dimensions, the Bialynicki-Birula scheme, which is natural in the sense that it represents a functor. Let $ ho_i:H^n(\mathbb{A}^d) ightarrow { m Sym}^n(\mathbb{A}^1)$ be the Hilbert-Chow morphism of the ${i}^{th}$ coordinate. We prove that a Bialynicki-Birula scheme associated with an action of a torus $T$ is schematically included in the fiber $ ho_i^{-1}(0)$ if the ${i}^{th}$ weight of $T$ is non-positive. We prove that the monic functors parametrizing families of ideals with a prescribed initial ideal are representable.

연구 동기 및 목표

• d > 2인 아핀 d차원 공간 위의 점들에 대한 Hilbert 스킴에서 Bialynicki-Birula 계층에 자연스러운 스킴적 구조를 정의하는 것.
• 토르스 작용 하에서 고정된 초기 아이디얼을 가진 아이디얼의 가 families 를 파라미터화하는 함수자의 표류성을 확립하는 것.
• 토르스 작용의 i번째 가중치가 비양수일 경우, Bialynicki-Birula 스킴이 Hilbert-Chow 사상의 i번째 섹션 ρ−1_i(0)에 스킴적으로 포함됨을 보이는 것.
• 고전적 Gröbner 기저 방법이 실패하는 음수 가중치가 존재하는 경우에도 함수적이고 계산 가능한 도구를 확장하는 것.

제안 방법

• 토르스 작용 하에서 고정된 단항 아이디얼 부분 스킴로 수렴하는 부분 스킴의 가 families 를 파라미터화하는 Bialynicki-Birula 함수자를 도입한다.
• 토르스 작용에 의해 유도된 가중치 순서를 정렬하는 전체 순서를 갖는, 고정된 초기 아이디얼을 가진 아이디얼을 파라미터화하는 단항 함수자(monic functor)를 정의한다.
• 특히 음수 가중치가 존재하는 경우에도 Gröbner 기저 기법과는 다른 새로운 접근을 통해 단항 함수자의 표류성을 증명한다.
• 가중치 함수를 기반으로 한 부호가 있는 순서 구성법을 사용하여 토르스 작용과 호환되는 전체 순서를 정의하고, 아이디얼의 수렴성을 분석한다.
• Iversen의 선형화된 행렬식 구성법을 적용하여 Hilbert-Chow 사상과 곱셈 연산자 행렬 간의 관계를 규명한다.
• ξi ≤ 0일 경우 xi에 의한 곱셈 연산자에 대해 엄격하게 하삼각행렬 표현을 사용하여 특정 행렬식의 영성(zeroness)을 증명함으로써, ρ−1_i(0)에 대한 스킴적 포함성을 유도한다.

실험 결과

연구 질문

• RQ1 d > 2인 Ad 위의 점들에 대한 Hilbert 스킴에서 Bialynicki-Birula 계층은 함수자 표류성을 갖는 자연스러운 스킴적 구조를 지닐 수 있는가?
• RQ2 가중치 순서에 음수 가중치가 포함되어도, 고정된 초기 아이디얼을 가진 아이디얼의 함수자는 표류 가능한가?
• RQ3 토르스 작용의 i번째 가중치가 비양수일 경우, 해당 토르스 작용에 대응하는 Bialynicki-Birula 스킴은 i번째 Hilbert-Chow 사상의 섹션 ρ−1_i(0)에 스킴적으로 포함되는가?
• RQ4 고차원에서 Bialynicki-Birula 계층의 스킴적 성질은 Hilbert-Chow 사상과 어떻게 관련되는가?
• RQ5 음수 가중치가 존재하는 상황에서 Gröbner 기저 이론에 의존하지 않고도 단항 함수자의 표류성을 확립할 수 있는가?

주요 결과

• Bialynicki-Birula 함수자는 Hilbert 스킴 Hn(Ad)의 국소적으로 닫힌 부분 스킴에 의해 표류되며, 이는 계층에 자연스러운 스킴적 구조를 제공한다.
• 고정된 초기 아이디얼 I∆를 가진 아이디얼을 파라미터화하는 단항 함수자는 가중치 순서에 음수 가중치가 포함되어 있어도 표류 가능하다.
• 토르스 작용의 i번째 가중치가 비양수일 경우, Bialynicki-Birula 스킴은 Hilbert-Chow 사상의 섹션 ρ−1_i(0)에 스킴적으로 포함된다.
• xi가 대칭 멱에 속하는 다항식을 나눌 경우, xi에 의한 곱셈 행렬의 행렬식이 영이 되며, 이는 영점 위의 섹션에 대한 스킴적 포함성을 암시한다.
• 증명 과정에서 xi에 의한 곱셈 연산자가 엄격하게 하삼각행렬로 표현되는 기저를 구성함으로써, xi가 입력 다항식 중 하나를 나누면 행렬식이 영이 됨을 보장한다.
• 결과적으로, Hn(A3)에서 일부 Bialynicki-Birula 계층이 기약성의 성질을 갖지 않음을 보여주며, Hilbert 스킴의 서로 다른 기약 성분들 내에서 구성된 성분들을 통해 이를 확인한다.