[논문 리뷰] Unobstructedness and dimension of families of Gorenstein algebras

Jan O. Kleppe|ArXiv.org|2007. 03. 05.

Commutative Algebra and Its Applications인용 수 6

한 줄 요약

이 논문은 다항식환의 고렌스타인 몫을 일반화된 변형 이론으로 개발하며, 이를 산술적으로 코hen-맥컬레이 스킴 위의 최대 코hen-맥컬레이 층의 정규 단면의 열화 위치로 구성한다. 층의 행렬식이 캐논리컬 층의 타원형으로서의 변형임을 보장하는 조건 하에, 고렌스타인 대수의 최대 가닥에 대한 비차단성과 명시적 차원 공식을 증명한다. 특히 ℙ⁵에서의 산술적으로 고렌스타인 곡선과 고르지 않은 고렌스타인 스킴의 고르지 않은 고렌스타인 스킴에 대해 적용된다.

ABSTRACT

The goal of this paper is to develop tools to study maximal families of Gorenstein quotients A of a polynomial ring R. We prove a very general Theorem on deformations of the homogeneous coordinate ring of a scheme Proj(A) which is defined as the degeneracy locus of a regular section of the dual of some sheaf M^~ of rank r supported on say an arithmetically Cohen-Macaulay subscheme Proj(B) of Proj(R). Under certain conditions (notably; M maximally Cohen-Macaulay and the top exterior power of M^~ a twist of the canonical sheaf), then A is Gorenstein, and under additional assumptions, we show the unobstructedness of A and we give an explicit formula the dimension of any maximal family of Gorenstein quotients of R with fixed Hilbert function obtained by a regular section as above. The theorem also applies to Artinian quotients A. The case where M itself is a twist of the canonical module (r=1) was studied in a previous paper, while this paper concentrates on other low rank cases, notably r=2 and 3. In these cases regular sections of the first Koszul homology module and of normal sheaves to licci schemes (of say codimension 2) lead to Gorenstein quotients (of e.g. codimension 4) whose parameter spaces we examine. Our main applications are for Gorenstein quotients of codimension 4 of R since our assumptions are almost always satisfied in this case. Special attention are paid to arithmetically Gorenstein curves in P^5.

연구 동기 및 목표

• 다항식환의 고렌스타인 몫의 최대 가닥을 연구하기 위한 도구를 개발하는 것, 특히 고르지 않은 고렌스타인 스킴의 고르지 않은 고렌스타인 스킴에 대해.
• 고렌스타인 몫이 변형 이론에서 비차단성을 가지는 조건을 설정하는 것.
• 고정된 힐베르트 함수를 가진 고렌스타인 몫의 최대 가닥에 대한 명시적 차원 공식을 제공하는 것.
• 이전의 랭크 1 층 결과를 더 높은 랭크의 경우로 일반화하는 것, 특히 r=2 및 r=3의 경우에 대해.
• 고렌스타인 스킴의 매개변수 공간을 고려하는 것, 특히 ℙ⁵에서의 산술적으로 고렌스타인 곡선과 아르틴이 고렌스타인 대수를 포함한다.

제안 방법

• 산술적으로 코헨-맥컬레이 스킴 Y=Proj(B) 위의 최대 코헨-맥컬레이 층 M의 쌍대의 정규 단면을 통한 고렌스타인 몫 A를 열화 위치로 구성한다.
• M의 최상위 외적의 행렬식이 B의 캐논리컬 층의 타원형으로서 동형임을 보장하는 조건을 부과한다. 즉, ∧ʳM ≅ K_B(t).
• 코homological 소실 조건 H²(B,A,A)=0를 기하학적 가정으로 대체하는 일반화된 변형 정리(정리 22)를 적용한다. 이는 층 M과 그 코즐로 호모로지에 대한 기하학적 가정이다.
• 정규 단면 σ에 의해 유도되는 코즐로 분해를 사용하여 A를 정의하는 정확한 수열을 유도한다. 예를 들어, 0 → K_B(t-2s) → M(-s) → B → A → 0.
• 국소 코hom로지와 깊이 추론을 사용하여 장애군의 소실을 검증한다. 특히 1≤i≤r−1에 대해 H¹_* (U, M_{i+1})=0.
• 고렌스타인 대칭성과 Ext 모듈의 성질을 활용하여 비차단성과 모듈리 공간의 차원을 증명한다.

실험 결과

연구 질문

• RQ1 정규 단면을 통해 유도된 고렌스타인 몫 A가 변형 공간에서 비차단성이 되는 조건은 무엇인가?
• RQ2 고정된 힐베르트 함수 H를 가진 다항식환 R의 고렌스타인 몫 A가 M*의 정규 단면의 열화 위치로 유도될 경우, 그 최대 가닥의 차원은 무엇인가?
• RQ3 랭크 r=2 또는 r=3인 층 M을 가진 고렌스타인 대수의 변형 성질은 랭크 r=1의 경우와 비교해 어떻게 변화하는가?
• RQ4 비차단성과 차원 결과는 아르틴이 고렌스타인 대수로까지 얼마나 일반화될 수 있는가?
• RQ5 이러한 구성 하에서 ℙ⁵에서의 산술적으로 고렌스타인 곡선의 매개변수 공간은 힐베르트 스킴과 포스트레이션 힐베르트 스킴과 어떻게 관련되는가?

주요 결과

• 논문은 M이 랭크 r인 B-모듈로서 ∧ʳM ≅ K_B(t)를 만족할 경우, M*의 정규 단면이 고렌스타인 몫 A를 정의함을 증명한다.
• H¹_*(U, M_{i+1})=0 조건이 만족될 경우, A의 비차단성이 확립된다. 여기서 U는 Y의 큰 열린 부분집합이다.
• r=2 및 r=3의 경우, 이 구성은 R에서의 고르지 않은 고렌스타인 몫을 유도하며, 특히 ℙ⁵에서의 산술적으로 고렌스타인 곡선에 대해 중요하다.
• 고정된 힐베르트 함수 H를 가진 이러한 고렌스타인 몫의 최대 가닥의 차원은 층 M과 그 타원형의 오일러 지표를 포함하는 공식으로 주어진다.
• 이전의 랭크 1 층 연구를 일반화하며, 변형 이론 도구의 적용 범위를 더 높은 랭크의 경우로 확장한다.
• 고르지 않은 고렌스타인 스킴의 매개변수 공간 GradAlg^H(R), PGor(H), 그리고 힐베르트 스킴의 열린 부분공간 사이의 동형이 스킴 이론적(또는 무한소/위상적)임을 보여주며, 이는 차원과 매끄러움 비교를 가능하게 한다.