[논문 리뷰] Equations of Rees algebras of ideals in two variables

Jeff. Madsen|arXiv (Cornell University)|2015. 11. 12.

Commutative Algebra and Its Applications참고 문헌 26인용 수 6

한 줄 요약

이 논문은 두 변수 다항식환에서 높이가 2인 아이디얼의 리스 대수의 정의 방정식의 최소 생성자를 계산하는 알고리즘을 제시한다. 특히, syzygy 행렬의 두 번째로 큰 열 차수인 e 이상의 x-차수를 가진 것들에 초점을 맞춘다. 이러한 생성자들의 이중차수에 대한 단순한 공식을 제공하며, 거의 완전교차의 경우에서 e−1 이상의 차수에 대해 생성자를 완전히 규명한다.

ABSTRACT

Let I be an ideal of height two in R=k[x_0,x_1] generated by forms of the same degree, and let K be the ideal of defining equations of the Rees algebra of I. Suppose that the second largest column degree in the syzygy matrix of I is e. We give an algorithm for computing the minimal generators of K whose degree is at least e, as well as a simple formula for the bidegrees of these generators. In the case where I is an almost complete intersection, we give a generating set for each graded piece K_(i,*) with i>=e-1.

연구 동기 및 목표

• k[x₀,x₁]에서 단일 차수로 생성되는 높이가 2인 동차 아이디얼의 리스 대수의 정의 방정식 아이디얼의 최소 생성자를 규명하는 것.
• 이전의 거의 선형적으로 표현된 아이디얼에 대한 결과를 일반적인 두 변수에서의 높이가 2인 아이디얼로 확장하는 것.
• syzygy 행렬의 두 번째로 큰 열 차수인 e 이상의 x-차수를 가진 생성자를 체계적으로 계산하는 방법을 제공하는 것.
• 이де알이 거의 완전교차일 경우, i ≥ e−1일 때 각 그레디에이션 조각 K_{i,*}에 대한 완전한 생성집합을 제공하는 것.
• 이전의 접근법, 특히 실베스터 형식과 유계정규 스크롤 구성 방식을 하나의 재귀적 프레임워크로 통합하고 일반화하는 것.

제안 방법

• 이데알 I의 syzygy 행렬 φ를 사용하여 두 번째로 큰 열 차수인 e를 식별하며, 이는 생성자들의 x-차수에 대한 임계값으로 기능한다.
• 하위아이디얼의 리스 대수 위에서 모듈 이론적 프레임워크를 사용하여 x-차수 ≥ e인 K의 최소 생성자의 추상적 형태를 구성한다.
• 하위대수에서 관계를 끌어올리고 차수를 추적하는 바탕으로, 제3.3절에서 제시된 재귀적 알고리즘을 통해 이러한 생성자를 명시적으로 계산한다.
• 모든 열이 선형 항을 가지며 하나의 열을 제외한 거의 선형적으로 표현된 경우에 이 방법을 적용하여, 쿠스틴, 폴리니, 울리히(2022)의 결과를 재확인하고 재증명한다.
• Cortadellas와 D’Andrea(2010)의 실베스터 형식 방법과의 일치를 보여주어, 동일한 조건 하에서 알고리즘이 그들의 방법으로 축소됨을 입증한다.
• 제3.2절에서 유도된 이중차수 공식을 사용하여 생성자들의 다중차수를 특성화함으로써, 효율적인 계산과 분류를 가능하게 한다.

실험 결과

연구 질문

• RQ1 k[x₀,x₁]에서 단일 차수로 생성되는 높이가 2인 아이디얼에 대해, 특히 고차수 x-차수를 가진 경우, 리스 대수의 정의 방정식의 구조는 어떻게 되는가?
• RQ2 특히 x-차수 ≥ e인 경우에 대해, 이러한 아이디얼의 리스 대수의 정의 아이디얼 K의 최소 생성자를 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ3 이de알이 거의 완전교차일 경우, i ≥ e−1일 때 K_{i,*}에 대한 생성집합을 완전히 결정할 수 있는가?
• RQ4 제안된 방법을 통해 계산된 새로운 생성자들이 이전의 구성, 예를 들어 실베스터 형식이나 유계정규 스크롤 몫을 얼마나 포괄하거나 일반화하는가?
• RQ5 d₁, d₂, σ₁, σ₂와 같은 수치적 불변량이 리스 대수에서 최소 생성자의 수와 이중차수를 어떻게 결정하는가?

주요 결과

• 논문은 syzygy 행렬의 두 번째로 큰 열 차수인 e 이상의 x-차수를 가진 정의 아이디얼 K의 모든 최소 생성자를 계산하는 완전한 알고리즘을 제공한다.
• 이러한 생성자들에 대한 단순한 이중차수 공식을 도출하여, 전체 그뢰브너 기저 축소 없이도 다중차수를 직접 계산할 수 있도록 한다.
• 거의 완전교차 아이디얼의 경우, i ≥ e−1일 때 각 그레디에이션 조각 K_{i,*}에 대한 완전한 생성집합을 제공함으로써, 이전 연구에서 열려 있던 핵심 케이스를 해결한다.
• 이 방법은 쿠스틴, 폴리니, 울리히(2022)의 거의 선형적으로 표현된 아이디얼에 대한 정리 3.6을 재확인하고 재증명함으로써 이전 결과와의 일관성을 보여준다.
• syzygy 행렬이 일반화된 영을 가질 경우, 알고리즘이 Cortadellas와 D’Andrea(2010)의 실베스터 형식 방법으로 축소됨을 확인하여 그 일반성과 타당성을 입증한다.
• 반례를 제시함으로써, 고정된 x-차수 내의 최소 생성자 수가 d₁, d₂, σ₁, σ₂만으로는 결정될 수 없으며, syzygy 행렬의 구조가 수치적 자료를 초월해 중요하다는 것을 보여준다.