[논문 리뷰] Hilbert functions of Gorenstein algebras associated to a pencil of forms

Anthony Iarrobino|ArXiv.org|2004. 12. 18.

Commutative Algebra and Its Applications참고 문헌 22인용 수 9

한 줄 요약

이 논문은 이중환의 형식의 평면을 통해, 유형 2 수준 대수의 일반적인 아르틴 Gorenstein 몫의 힐버트 함수에 대한 하한을 설정한다. 매클롤레이 쌍대성과 역계산계를 이용하여, 일반적인 Gorenstein 몫의 힐버트 함수가 생성 형식의 힐버트 함수에 의해 제약을 받음을 보이며, 임베딩 차원이 임의일 때 이러한 수준 대수에 대해 가능한 힐버트 함수에 대한 새로운 수치적 제약 조건을 제시한다.

ABSTRACT

Let R be a polynomial ring in r variables and D a dual ring upon which R acts as partial differential operators (classical apolarity). For a type two graded level Artinian algebras A=R/I, of socle degree j we consider the family of Artinian Gorenstein [AG] quotients of A having the same socle degree. By Macaulay duality, A corresponds to a unique 2-dimensional vector space W(A)= of degree-j homogeneous elements (forms) in D, and each such AG quotient of A corresponds to an element $F_λ=F+λG$ in W(A), up to non-zero constant multiple. Our main result is a lower bound for the Hilbert function of the generic AG quotient of A in terms of the Hilbert functions of A and the AG quotients of R determined by F and by G. This result restricts the possible sequences H that may occur as the Hilbert function for a type two level algebra A. This result may also be viewed as obtaining an optimal lower bound on the dimensions of the spaces of degree-u partial derivatives of $F+λG$ for a generic lambda in terms of the corresponding dimensions for the forms F and G.

연구 동기 및 목표

• 유형 2 수준 아르틴 대수의 힐버트 함수에 대한 수치적 제약 조건을 규명하는 것.
• 이중환의 형식에서 유래한 아르틴 Gorenstein 몫의 힐버트 함수를 분석하는 것.
• Gorenstein 수열에 대한 기존 결과를 더 일반적인 유형 2 수준 대수의 설정으로 확장하는 것.
• 매클롤레이 쌍대성을 통해 수준 대수의 힐버트 함수와 그 Gorenstein 몫의 힐버트 함수 간의 관계를 명확히 하는 것.
• 특히 r=3 및 t=2일 때, 낮은 임베딩 차원에서 힐버트 함수의 구조에 대한 열린 질문을 해결하는 것.

제안 방법

• 매클롤레이 쌍대성을 사용하여, 유형 2 수준 대수 A를 이중환 D_j의 형식의 2차원 부분공간 W_A에 연관짓는다.
• 각 아르틴 Gorenstein 몫 A_λ를 R / Ann(F_λ)로 표현하며, 여기서 F_λ = F + λG는 W_A 내의 형식의 평행선을 따라 변한다.
• 역계산계와 R의 D에 대한 미분 연산자에 의한 작용을 이용하여, 고리의 해석을 분석한다.
• 이deals의 결합을 통해 정의된 H_F +_h H_G의 합을 사용하여 일반적인 Gorenstein 몫의 힐버트 함수를 제약한다.
• 부등식 H(A_λ_gen) ≥ H(A) - H_F - H_G + H_F +_h H_G를 적용하여 하한을 유도한다.
• 유리수 정규 곡선의 포화 성질과 일반성 추론을 이용하여, 예시에서 힐버트 함수 행동을 검증한다.

실험 결과

연구 질문

• RQ1 유형 2 수준 대수의 Gorenstein 몫에 기반하여, 그 힐버트 함수에 어떤 수치적 제약 조건을 둘 수 있는가?
• RQ2 유형 2 수준 대수의 일반적인 Gorenstein 몫의 힐버트 함수는 그 생성 형식의 힐버트 함수로 하한을 제약할 수 있는가?
• RQ3 압축된 유형 2 수준 대수의 일반적인 Gorenstein 몫은 반드시 압축되어 있는가?
• RQ4 형식의 평행선 내의 생성 형식 F와 G의 힐버트 함수는 수준 대수 A의 힐버트 함수에 어떤 제약을 둔다?
• RQ5 형식 평행선에서의 비일반적 행동은 관련 수준 대수의 힐버트 함수에 어떤 영향을 미치는가?

주요 결과

• 일반적인 Gorenstein 몫 A_λ_gen의 힐버트 함수는 H(A_λ_gen) ≥ H(A) - H_F - H_G + H_F +_h H_G를 만족하며, 이는 생성 형식의 힐버트 함수에 기반한 하한을 제공한다.
• r=3 및 socle degree j=4일 때, H(A)=(1,3,6,6,2)인 압축된 수준 대수 A는 H(A_λ_gen)=(1,3,5,3,1)인 일반적인 Gorenstein 몫을 가질 수 있으며, 이는 압축 수열 (1,3,6,3,1)이 아니므로 일반적인 Gorenstein 몫이 반드시 압축되어 있지 않음을 보여준다.
• K[x,y,z] 위에서 유형 2 수준 대수의 힐버트 함수로 (1,3,…,8,4,2)는 불가능하다. 이는 H_F +_h H_G를 포함하는 유도된 부등식을 위반하기 때문이다.
• D_4 내의 F와 G의 예시는 H(A)가 최대(압축됨)일지라도 일반적인 Gorenstein 몫이 압축되어 있지 않을 수 있음을 보여주며, 이는 r=2인 고차원에서의 추측을 반박한다.
• 일부 경우에서 이 하한은 날카로운데, 이는 부등식이 예측한 최소값을 H(A_λ_gen)이 도달하는 예시들로 보여진다.
• p > j일 때, 분할된 거듭제곱환을 D 대신 사용하고, 미분 연산자가 계약 작용으로 대체됨으로써 결과는 양의 특성 p로도 확장된다.