[논문 리뷰] VANISHING IDEALS OVER RATIONAL PARAMETERIZATIONS

Azucena Tochimani, Rafael H. Villarreal|arXiv (Cornell University)|2015. 02. 19.

Commutative Algebra and Its Applications참고 문헌 30인용 수 4

한 줄 요약

이 논문은 암시적 기하학 이론과 그로버 기저를 사용하여 사영 공간과 아핀 공간에서 유리 매개변수화에 대한 소멸 이상 I(X)와 I(X�)를 계산하는 공식을 개발한다. 주요 기여는 유한체 위에서 소멸 이상에 대한 명시적 대수적 불변량을 제공하며, 리드-멀러 유형 부호 및 사영 폐쇄에의 적용을 포함한다.

ABSTRACT

Let K be a field and let X (resp. X � ) be a subset of a projective space P s 1 (resp. affine spaceA s ), over the field K, parameterized by rational functions. Let I(X) (resp. I(X � )) be the vanishing ideal of X (resp. X � ). Some of the main contributions of this paper are in determining formulas for I(X) (resp. I(X � )) to compute their algebraic invariants using elimination theory and Grobner bases. The formulas for vanishing ideals over finite fields that we give in this paper were discovered by making experiments with Macaulay2, we are specially interested in this case because of its relation to algebraic coding theory. Then we use our results to study: the degree and structure of vanishing ideals, the projective closure of X � , and the basic parameters of affine and projective Reed-Muller-type c We recover some results for vanishing ideals over monomial parameterizations.

연구 동기 및 목표

• 사영 공간과 아핀 공간에서 유리 매개변수화에 대한 소멸 이상 I(X)와 I(X�)를 명시적으로 유도하는 것.
• 소거 이론과 그로버 기저를 사용하여 이러한 이상의 대수적 불변량—예를 들어 차수와 구조—를 계산하는 것.
• 아핀 매개변수화 곡선 X�의 사영 폐쇄를 연구하여 기하학적 및 대수적 이해를 향상시키는 것.
• 유한체에 적용되며, 특히 리드-멀러 유형 부호에 응용되는 대수적 부호 이론의 맥락에서의 결과를 적용하는 것.
• 더 넓은 유리 매개변수화 프레임워크 내에서 단항식 매개변수화에 대한 기존 결과를 재구성하고 일반화하는 것.

제안 방법

• 유리 매개변수화에서 매개변수를 소거하여 I(X)와 I(X�)의 정의 방정식을 유도하기 위해 소거 이론을 활용한다.
• 유한체 위에서 그로버 기저를 사용하여 소멸 이상의 구조를 체계적으로 계산하고 분석한다.
• 매클레이2(Macaulay2)에서의 계산 실험을 통해 유한체 위에서 소멸 이상에 대한 공식을 발견하고 검증한다.
• I(X�)의 정의 방정식을 동차화하여 아핀 매개변수화 곡선 X�의 사영 폐쇄를 분석한다.
• 유도된 공식을 적용하여 소멸 이상의 차수와 차원과 같은 핵심 불변량을 계산한다.
• 단항식 매개변수화에 대한 기존 결과를 유리 매개변수화 프레임워크 내에서 특수 케이스로 재구성한다.

실험 결과

연구 질문

• RQ1 어떻게 암시적 기하학 도구를 사용하여 유리 매개변수화에 대한 소멸 이상 I(X)와 I(X�)를 명시적으로 계산할 수 있는가?
• RQ2 이 설정에서 소멸 이상의 대수적 불변량—예를 들어 차수와 차원—은 무엇인가?
• RQ3 아핀 매개변수화 곡선 X�의 사영 폐쇄는 그 정의 이상 I(X�)와 어떻게 관련이 있는가?
• RQ4 이 결과들은 리드-멀러 유형 부호의 구성과 분석에 어떤 영향을 미치는가?
• RQ5 기존의 단항식 매개변수화 결과들은 유리 매개변수화 프레임워크 내에서 재구성되고 일반화될 수 있는가?

주요 결과

• 논문은 소거 이론과 그로버 기저를 사용하여 사영 공간에서 유리 매개변수화의 소멸 이상 I(X)를 계산하는 명시적 공식을 제공한다.
• 유사한 공식을 아핀 유리 매개변수화의 소멸 이상 I(X�)에 대해 유도하여 그 대수적 불변량을 계산할 수 있도록 한다.
• 저자들은 유한체 위에서 소멸 이상의 차수와 구조적 성질을 계산하였으며, 이는 부호 이론적 응용에 매우 중요하다.
• X�의 사영 폐쇄는 이상 I(X�)의 동차화를 통해 특징지어지며, 아핀 기하학과 사영 기하학을 연결한다.
• 기존의 단항식 매개변수화 결과들이 이 결과들에 의해 재구성되고 일반화되며, 일관성과 더 넓은 적용 가능성을 보여준다.
• 매클레이2에서의 계산 실험은 특히 유한체에 대한 공식 발견을 이끌었으며, 실험적 접근이 암시적 기하학에서의 역할을 부각시킨다.