[논문 리뷰] Rational transformations of algebraic curves and elimination theory

Alexander Shapiro, Victor Vinnikov|ArXiv.org|2005. 07. 12.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 7

한 줄 요약

이 논문은 평면에 있는 대수적 곡선에 대한 유리 변환으로 고전적 제거 이론을 확장하며, 일반화된 베주 행렬과 행렬식 표현을 도입한다. 이는 평면 대수적 곡선에 대한 유리 사상 아래에서 그 상을 계산하는 명시적 방법을 제공하고, 이러한 곡선 위에서 두 변수 다항식의 공통 영점의 수를 불변량 이론과 곡선에 특화된 바르미에드 유사 벡터를 이용한 구조적 선형대수학을 통해 결정한다.

ABSTRACT

Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical elimination theory and create elimination theory along an algebraic curve using the notion of determinantal representation of algebraic curve. This new theory allows to describe explicitly an image of a plane algebraic curve under rational transformation and to determine the number of common zeroes of two polynomials in two variables on a plane algebraic curve.

연구 동기 및 목표

• 기존에 한정되어 있던 일변수 또는 평면의 유리 곡선에 국한된 고전적 제거 이론을 이변수 다항식과 평면의 대수적 곡선으로 일반화하는 것.
• 유리 변환 아래에서 평면 대수적 곡선의 상을 행렬식 표현을 통해 명시적으로 묘사하는 것.
• 주어진 대수적 곡선 위에서 두 이변수 다항식의 공통 영점(중복도 포함)의 수를 결정하는 것.
• 이 일반화된 제거 이론을 위한 프레임워크를 개발하는 것 — 이는 일반화된 베주 행렬과 곡선에 맞춘 바르미에드 유사 벡터를 기반으로 한다.

제안 방법

• 저자들은 헤르미트 행렬을 통한 기약 평면 대수적 곡선의 행렬식 표현을 사용하여 곡선을 det(D₀ + x₁D₁ + x₂D₂)의 영점 집합으로 정의한다.
• 고정된 벡터를 곡선 상의 각 점에서 행렬의 선형펜슬의 핵에 대해 사용하여 곡선에 특화된 바르미에드 유사 벡터의 일반화를 도입한다.
• 이러한 벡터의 부분공간 위에서 일반화된 베주 행렬을 정의하며, 고려 중인 다항식의 공통 영점에 대응하는 벡터들과 수직인 부분공간을 고려한다.
• 일반화된 베주 행렬을 공통 기저점에서의 바르미에드 유사 벡터들과 수직인 주된 부분공간으로 제한함으로써, 이론이 유리 변환에 대해 불변성을 확보한다.
• 유리 사상 아래 곡선의 상은 제한된 일반화된 베주 행렬을 포함하는 새로운 행렬식 표현을 통해 계산된다.
• 이 이론은 유리 사상의 복합에 적용되어, 동일한 기초 대수적 구조를 기반으로 하는 두 가지 서로 다른 복합 사상의 상을 계산하는 방법이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 일변수에 국한된 고전적 제거 이론은 어떻게 이변수 다항식과 평면 대수적 곡선으로 일반화될 수 있는가?
• RQ2 유리 변환 아래에서 평면 대수적 곡선의 상은 어떻게 명시적인 대수적 표현으로 기술할 수 있는가?
• RQ3 주어진 대수적 곡선 위에서 두 이변수 다항식의 공통 영점의 수(중복도 포함)는 어떻게 계산할 수 있는가?
• RQ4 행렬식 표현과 일반화된 베주 행렬은 이러한 계산을 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 유리 사상의 복합에 따른 상을 계산하는 서로 다른 구성 방법은 이 프레임워크 하에서 동치인가?

주요 결과

• 유리 변환 아래에서 평면 대수적 곡선의 상은 제한된 일반화된 베주 행렬을 포함하는 행렬식 표현으로 주어진다: det(x₀B̄(p₁,p₂) + x₁B̄(p₂,p₀) + x₂B̄(p₀,p₁)).
• 곡선 위에서 두 이변수 다항식의 공통 영점의 수는 곡선과 관련된 벡터 공간 위에서 제한된 일반화된 베주 행렬의 질량과 구조를 통해 계산할 수 있다.
• 동일한 곡선의 동치 행렬식 표현에 대해 이 구성은 불변성을 보이며, 상의 기술에서 일관성을 보장한다.
• 유리 사상의 복합에 대해, 두 가지 서로 다른 방식으로 복합 사상의 상을 계산하면 동일한 행렬식 표현을 얻는다.
• 이 프레임워크는 고차원 및 d개의 연산자 튜플로 자연스럽게 일반화되며, 핵심 아이디어는 기하학적으로 그대로 유지된다.