[논문 리뷰] The cotangent space at a monomial ideal of the Hilbert scheme of points of an affine space

Mark E. Huibregtse|ArXiv.org|2005. 06. 28.

Commutative Algebra and Its Applications참고 문헌 7인용 수 3

한 줄 요약

이 논문은 아핀 공간에서 $ n $개의 점의 하이버트 스킴 상의 모노미얼 아이디얼의 매끄러움에 대한 조합론적 기준을 제시한다. 이는 표준 화살표의 집합을 통해 코탄제ント 공간을 분석함으로써 이루어지며, $ rn $개의 코탄제ント 벡터의 표준 집합을 구성하고, 이들이 기저를 이룬다는 것(즉, 점이 비특이적임)이 성립하는 것은 오직 그 모노미얼 아이디얼의 생성자와 지수에 대해 특정 기하 조건을 만족할 때에만 성립한다. 이는 2개 및 3개의 변수에서 매끄러움을 완전히 특성화한다.

ABSTRACT

Let k be an algebraically closed field. We study the cotangent space of a point t corresponding to a monomial ideal I of k[x_1, ..., x_r] in the Hilbert scheme of n points of affine r-space (so the k-dimension of k[x_1, ..., x_r]/I = colength of I = n). Since t lies in the closure of the locus corresponding to subschemes supported at n distinct points of A^r_k, one knows that the k-dimension of the cotangent space is always >= r*n, and that t is nonsingular if and only if the dimension equals r*n. We construct an explicit linearly independent set S of cotangent vectors of size r*n, and then explore conditions on I under which S either is or is not a basis of the cotangent space. In particular, we give a condition on I sufficient for S to be a basis (equivalently, for t to be nonsingular) that holds for every monomial ideal in the case of r = 2 variables, and that characterizes such ideals when r = 3. We also give an easily-checked condition on I sufficient for S not to be a basis.

연구 동기 및 목표

• 아핀 공간 $ \bbA^r $에서 $ n $개의 점의 하이버트 스킴 상의 모노미얼 아이디얼이 비특이적일 조건을 그 코탄제gent 공간의 차원 분석을 통해 규명한다.
• 코탄제gent 공간의 선형 독립인 $ rn $개의 코탄제gent 벡터 집합 $ \fS $를 명시적으로 구성하고, 이들이 전체 코탄제gent 공간을 생성하는지 여부를 결정한다.
• 화살표 이동과 표준 화살표 구조에 기반한 조합론적 기준을 제시하여 $ \fS $가 기저가 되는지 여부를 판단함으로써 매끄러움을 특성화한다.
• 2차원에서의 매끄러움 특성화를 3차원으로 확장하고, $ r>3 $일 때 나타나는 장애 요소를 규명한다.

제안 방법

• 모노미얼 아이디얼 $ I $에서의 코탄제gent 공간은, 아핀 열린 부분집합 $ U_\beta $에서 해당 점의 국소환의 최대 아이디얼 $ M $에 대해 $ M/M^2 $로 식별된다.
• 함수 $ c^{\mathbf{d}}_{\mathbf{j}} $는 모노미얼 $ \mathbf{x}^{\mathbf{d}} \in I $를 $ \mathsf{k} $-기저 $ \beta $에 대해 줄였을 때의 계수로 정의되며, 이는 $ U_\beta $의 좌표환 $ R $를 생성한다.
• 모듈로 $ M^2 $에서의 $ c^{\mathbf{d}}_{\mathbf{j}} $의 동치관계는 모노미얼 지수의 격자에서 화살표의 이동을 통해 기술되며, 이때 머리 부분은 $ \beta $ 내부에 유지되고 꼬리는 $ \beta $ 외부에 유지된다.
• 최소 표준 화살표의 집합 $ \fS $를 구성하며, 이는 $ rn $개의 원소를 포함한다. 이 집합의 최대성은 어떤 화살표도 $ x_i $-차수 0 초면을 통해 $ \beta $ 외부로 이동시킬 수 있는지 여부에 의해 결정된다.
• 핵심 기준은 $ \fS $가 코탄제gent 공간의 기저일 조건은 오직 그 집합에 속한 어떤 화살표도 $ x_i $-차수 0 초면을 통해 $ \beta $ 외부로 머리가 나가도록 이동시킬 수 없고, 두 화살표가 서로 이동 동치가 아닐 때에만 성립한다.
• 증명은 이동 불변성과 격자 기하학을 이용하여, 임의의 표준 화살표가 $ \fS $에 속한 화살표와 $ \sim $-동치임을 보이고, 이로써 완전성 확보.

실험 결과

연구 질문

• RQ1 아핀 공간 $ \bbA^r $에서 $ n $개의 점의 하이버트 스킴 상의 모노미얼 아이디얼의 코탄제gent 공간 차원이 정확히 $ rn $이 되는 조건은 무엇인가?
• RQ2 모노미얼 아이디얼에 대한 어떤 조합론적 조건이 표준 집합 $ \fS $의 $ rn $개의 코탄제gent 벡터가 기저를 이룬다는 것을 보장하는가?
• RQ3 기본 집합 $ \beta $의 구조(즉, $ I $의 여집합)는 해당 점이 하이버트 스킴 상에서 비특이적임을 결정하는 데 어떤 영향을 미치는가?
• RQ4 2차원과 3차원에서의 매끄러움 기준을 고차원으로 확장할 수 있으며, 이 경우 나타나는 장애 요소는 무엇인가?
• RQ5 비표준 화살표와 그 이동 행동은 코탄제gent 공간의 차원을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 표준 집합 $ \fS $는 코탄제gent 공간 $ M/M^2 $에서 선형 독립이며, 그 차원이 정확히 $ rn $이 되는 것은 오직 $ \fS $에 속한 어떤 화살표도 $ x_i $-차수 0 초면을 통해 $ \beta $ 외부로 머리가 나가도록 이동시킬 수 없을 때에만 성립한다.
• 2차원의 경우, $ \fS $에 속한 화살표가 $ x_i $-차수 0 초면을 통해 $ \beta $ 외부로 머리가 나가도록 이동시킬 수 없을 조건은 매끄러움에 대해 필수적이고 충분한 조건이다.
• 3차원의 경우에도 동일한 조건이 매끄러움을 특성화한다: $ \fS $가 $ M/M^2 $의 기저가 되는 것은 오직 $ \fS $에 속한 어떤 화살표도 $ x_i $-차수 0 초면을 통해 $ \beta $ 외부로 머리가 나가도록 이동시킬 수 없을 때에만 성립한다.
• 표준 기저가 아닐 수 있는 강성 있는 비표준 화살표가 아이디얼의 구조에 존재할 경우, 이는 $ \dim_k(M/M^2) > rn $임을 암시하므로, $ \fS $가 기저가 되지 않는다는 것을 쉽게 확인할 수 있는 충분조건이 된다.
• 논문은 $ \bbk[x_1,x_2,x_3,x_4] $에서 두 개의 상자로 이루어진 집합이지만 복합 상자가 아닌 매끄러운 기저 집합 $ \beta $를 구성하여, 3차원에서의 특성화가 고차원으로 확장되지 않음을 보여준다.
• 증명은 임의의 표준 화살표가 $ \fS $에 속한 화살표와 $ \sim $-동치임을 보이며, 따라서 $ \fS $가 코탄제gent 공간을 생성하는 것은 오직 $ M^2 $에 대한 최대 질량을 가지는 경우에만 성립한다.