[논문 리뷰] The equations defining the graph of a certain rational map

Youngsu Kim, Vivek Mukundan|arXiv (Cornell University)|2018. 04. 05.

Commutative Algebra and Its Applications인용 수 1

한 줄 요약

이 논문은 동차 다항식이 같은 차수를 가질 때 유도되는 유리 사상 $φ: \mathbb{P}^{n-1}_{\mathbf{k}} \to \mathbb{P}^n_{\mathbf{k}}$의 그래프의 정의 방정식을 계산하기 위한 새로운 방법을 개발한다. 이는 버크스타움과 아이젠버그의 완전 아이디얼 이론을 기반으로 하며, 국소 생성 조건을 만족하는 높이 2의 완전 아이디얼에 대한 리스 대수의 일반적 구성법을 제공함으로써 비유리성에 대한 효과적인 기준을 제시한다.

ABSTRACT

Consider the rational map $\phi: \mathbb{P}^{n-1}_{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} \mathbb{P}^{n}_{\mathbf k}$ defined by homogeneous polynomials $f_0,\dots,f_n$ of the same degree $d$ in a polynomial ring $R={\mathbf k}[x_1,\dots,x_n]$. Suppose the ideal $I=(f_0,\dots,f_n)$ is a height two perfect ideal satisfying $\mu(I_p)\leq\dim R_p$ for $p\in \operatorname{Spec} (R) \setminus V(x_1,\dots, x_n)$. We study the equations defining the graph of $\phi$ whose coordinate ring is the Rees algebra $R[It]$. We provide new methods to construct these equations using work of Buchsbaum and Eisenbud. Furthermore, for certain classes of ideals, we show that our construction is general. These classes of examples are interesting, in that, there are no known methods to compute the defining ideal of the Rees algebra of such ideals. These new methods also give rise to effective criteria to check that $\phi$ is birational onto its image.

연구 동기 및 목표

• 동차 다항식이 같은 차수로 주어진 유리 사상 $φ$의 그래프를 정의하는 방정식을 구성하기.
• 일부 높이 2의 완전 아이디얼의 리스 대수의 정의 아이디얼에 대해 알려진 계산 방법이 부족한 문제를 다루기.
• φ가 그 이미지 위로 비유리적인지 판단하기 위한 효과적인 기준을 제공하기.
• 버크스타움과 아이젠버그의 행렬 분해 이론과 완전 아이디얼 이론을 활용해 기존 기법을 일반화하기.

제안 방법

• 높이 2의 완전 아이디얼에 대해 버크스타움과 아이젠버그의 행렬 분해 이론을 활용하기.
• φ의 그래프의 좌표환으로서 리스 대수 $R[It]$의 구조를 이용해 정의 방정식 유도하기.
• 모든 $p \in \operatorname{Spec}(R) \setminus V(x_1,\dots,x_n)$에 대해 $\mu(I_p) \leq \dim R_p$ 조건을 적용하여 국소 생성을 보장하고 방정식의 복잡도를 통제하기.
• 완전성 조건을 활용해 $I$를 $R$ 위의 모듈로 보는 분해를 통해 씨지지 기법을 통해 정의 방정식 구축하기.
• 리스 대수의 군집적 구조를 이용해 정의 아이디얼의 동차 성분 식별하기.
• 이전에 계산 방법이 알려져 있지 않았던 광범위한 아이디얼 클래스에 적용 가능한 일반적 프레임워크 수립하기.

실험 결과

연구 질문

• RQ1 국소 생성 조건 $\mu(I_p) \leq \dim R_p$를 만족하는 높이 2의 완전 아이디얼에 대해, 리스 대수 $R[It]$의 정의 아이디얼을 효과적으로 계산할 수 있는 방법은 무엇인가?
• RQ2 그래프의 방정식으로부터 어떤 유리 사상 $φ$의 구조적 성질를 도출할 수 있는가?
• RQ3 제안된 구성이 리스 대수 계산에 대해 일반적이고 효과적인 방법을 제공하는 아이디얼의 어떤 범주에 속하는가?
• RQ4 이 구성법을 사용해 이러한 유리 사상에 대한 효과적인 비유리성 기준을 도출할 수 있는가?
• RQ5 버크스타움-아이젠버그 이론의 활용이 이 맥락에서 정의 방정식 계산을 어떻게 향상시키는가?

주요 결과

• 논문은 모든 비최대 소 아이디얼에서 $\mu(I_p) \leq \dim R_p$ 조건을 만족하는 높이 2의 완전 아이디얼에 대해 리스 대수 $R[It]$의 정의 방정식을 일반적으로 구성한다.
• 이 구성은 효과적이며, 이전에 계산 방법이 알려져 있지 않았던 광범위한 아이디얼 클래스에 적용 가능하다.
• 이 방법은 유리 사상 $φ$가 그 이미지 위로 비유리적인지 테스트할 수 있는 명시적 기준을 도출한다.
• 정의 방정식은 씨지지와 행렬 분해를 활용해, 아이디얼 $I$의 완전성 조건을 이용해 유도된다.
• 이 프레임워크는 기존 결과를 일반화하고 이전에 다룰 수 없었던 경우에도 계산 범위를 확장한다.
• 이 접근법은 알고리즘적으로 실현 가능하며, 아이디얼 $I$의 호모로지적 구조에 기반한다.