[논문 리뷰] Equations of Almost Complete Intersections

Jooyoun Hong, Aron Simis외 1명|ArXiv.org|2009. 06. 08.

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

한 줄 요약

이 논문은 다항식환에서 거의 완전교집합에 대한 리스 대수의 정의 방정식을 결정하기 위한 체계적인 방법을 개발한다. 이 방법은 네 가지 핵심 힐베르트 함수와 싸지지적 기법을 사용하며, 제거 차수와 비라티오널성 조건에 대한 명시적 공식을 수립한다. 또한 리스 대수가 차수 1, 2 및 제거 차수에서 생성됨을 증명하고, 주요 경우에 대해 결과형 방정식을 명시적으로 도출한다.

ABSTRACT

In this paper we examine the role of four Hilbert functions in the determination of the defining relations of the Rees algebra of almost complete intersections of finite colength. Because three of the corresponding modules are Artinian, some of these relationships are very effective, opening up tracks to the determination of the equations and also to processes of going from homologically defined sets of equations to higher degrees ones assembled by resultants.

연구 동기 및 목표

• 다항식환에서 거의 완전교집합의 리스 대수의 구조를 이해하고, 특히 비라티오널 사상과 제거 이론의 맥락에서 분석한다.
• 이deal과 그 싸지지의 관련 네 가지 힐베르트 함수를 통해 리스 대수의 정의 이상을 식별한다.
• 제거 차수와 관련된 유리 사상이 비라티오널이 되는 조건을 규명한다.
• 싸지지 원리와 결과물을 활용한 효과적인 계산 방법을 개발하여 고차수에서의 방정식을 유도한다.
• 최대 코드미니멈을 초월하여 하위최대 높이 아이디얼을 포함하는 이론을 확장하며, 특히 크레모나 변환의 맥락에서 고려한다.

제안 방법

• 리스 대수의 구조와 그 정의 이상 $L$을 분석하기 위해 네 가지 힐베르트 함수를 사용하며, 주로 모듈 $L_i$와 그 최소 생성원에 중점을 둔다.
• 이deal 생성자들의 선형 및 이차 싸지지로부터 이중도수 $(1,2)$의 방정식을 생성하기 위해 싸지지 원리를 적용한다.
• 제거 차수 $\mathrm{edeg}(I)$는 $L_i \not\subseteq \mathfrak{m}S$를 만족하는 가장 작은 차수 $i$로 정의되며, 이는 제거 방정식의 차수를 결정한다.
• 결과물과 행렬 구성(예: $\det \mathbf{B}$)을 활용하여 제거 방정식 $\mathbf{p}$를 생성하며, 이는 $L_{\mathrm{edeg}(I)}$를 생성한다.
• 표준 원리가 실패할 경우를 대비해 두 단계의 싸지지 과정을 도입하여, $L_2 / S_1 L_1$ 내의 동치류 대표원과 고차 싸지지 모듈을 활용해 제거 방정식을 구성한다.
• 이론을 구체적인 예제에 적용하여 이차 생성자들을 사용하고 $\nu(L_1)$, $\nu(L_2)$, $\nu(L_i)$를 계산하여 $L$의 구조와 제거 방정식의 차수를 규명한다.

실험 결과

연구 질문

• RQ1 거의 완전교집합의 정의 이상 $L$의 구조는 무엇이며, 특히 그 응집성 성분 $L_i$ 측면에서 어떻게 기술할 수 있는가?
• RQ2 힐베르트 함수와 싸지지 자료를 사용하여 제거 차수 $\mathrm{edeg}(I)$를 어떻게 계산할 수 있는가?
• RQ3 유리 사상이 비라티오널이 되는 조건은 무엇이며, 이를 대수적으로 어떻게 탐지할 수 있는가?
• RQ4 표준 싸지지 원리가 제거 방정식을 생성하지 못할 경우가 언제 발생하며, 고차 싸지지 단계를 통해 이를 복구할 수 있는가?
• RQ5 거의 완전교집합의 맥락에서 결과물과 행렬 행렬식을 사용하여 제거 방정식에 대한 명시적 공식을 도출할 수 있는가?

주요 결과

• 거의 완전교집합 $I = (J, a)$에서 $J = (a_1, \dots, a_d)$가 차수 $n$의 형식의 정규열일 경우, 리스 대수 $R[It]$는 차수 1, 2 및 $\mathrm{edeg}(I)$에서 생성되며, $L = (L_1, L_2, L_{\mathrm{edeg}(I)})$이다.
• 예제 5.5에서 $\mathrm{edeg}(I) = 9$, $\nu(L_1) = 15$, $\nu(L_2) = 4$, $L_9 = k\mathbf{p}$이며 $\deg(\mathbf{p}) = 8$이므로 사상은 비라티오널이다.
• 예제 5.6에서 $\mathrm{edeg}(I) = 4$, $\nu(L_1) = 15$, $\nu(L_2) = 4$, $L_4 = k\mathbf{p}$이며 $\deg(\mathbf{p}) = 4$이므로 사상은 비라티오널이 아니다.
• 예제 5.7에서 $\mathrm{edeg}(I) = 8$, $\nu(L_1) = 9$, $\nu(L_2) = 1$, $\nu(L_3) = 2$, $L_8 = k\mathbf{p}$이며 $\deg(\mathbf{p}) = 8$이므로 두 단계의 싸지지 구성으로 비라티오널성이 확인된다.
• 제거 방정식 $\mathbf{p}$는 싸지지 자료로부터 구성된 행렬 $\mathbf{B}$의 행렬식 $\det \mathbf{B}$로 구성되며, $\deg(\mathbf{p}) = \mathrm{edeg}(I)$이다.
• 만약 $I_1(\varphi) = \mathfrak{m}$ (1-균형)일 경우, 표준 싸지지 원리가 실패하며, $L_3 / S_1 L_2$와 궁극적으로 $\mathbf{p}$를 구성하기 위해 고차 싸지지 단계가 필요하다.