[논문 리뷰] The Rees Algebra for Certain Monomial Curves

Debasish Mukhopadhyay, Indranath Sengupta|arXiv (Cornell University)|2010. 03. 03.

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

한 줄 요약

이 논문은 4개의 서로소 정수로 이루어진 최소 산술급수로 매개변수화된 모노미얼 곡선에 대한 리스 대수의 정의 방정식을 구그너 기저 기법과 소거 이론을 사용하여 명시적으로 계산한다. 또한 블로우업 스킴 ${\rm Proj}\,R[\wp t]$가 매끄럽지 않음을 증명함으로써, 이 곡선들에 대해 완전체 위에서 프랑시아의 추측을 긍정적으로 확인한다.

ABSTRACT

In this article, we find the equations defining the Rees algebra for certain Monomial Curves explicitly and use them to prove that the blowup scheme is not smooth. This proves a conjecture of Francia in affirmative, which says that a dimension one prime in a regular local ring is a complete intersection if it has a smooth blowup.

연구 동기 및 목표

• 4개의 서로소 정수로 이루어진 최소 산술급수로 정의된 모노미얼 곡선에 대해 리스 대수 $R[\wp t]$의 정의 방정식을 명시적으로 결정하는 것.
• 완전체 위에서 임의의 점에서의 블로우업 스킴 ${\rm Proj}\,R[\wp t]$의 매끄러움을 야코비안 기준을 사용하여 조사하는 것.
• 정칙 국소환에서 차원 1의 소수 이상이 블로우업이 매끄럽다면 완전교차이기임을 보여주는 프랑시아의 추측을 이 클래스의 모노미얼 곡선에 대해 검증하는 것.
• 대칭 대수를 초월한 비자명한 관계가 존재함을 보여줌으로써 리스 대수가 선형 유형이 아님을 입증하는 것.
• 다항식환 내의 모노미얼 이상의 블로우업 대수를 분석하기 위한 구현 가능한 프레임워크를 구그너 기저와 소거 순서를 사용하여 제공하는 것.

제안 방법

• 소거 순서를 사용하여 리스 대수 $R[\wp t]$의 정의 이상 $E = \ker(\varphi)$를 계산하기 위해 소거 정리의 응용을 수행한다. 여기서 $\varphi: R[T_1,T_2,T_3,T_4] \to R[\wp t]$는 $T_i \mapsto X_i t$를 매핑한다.
• 매개변수화 $X_i = T^{m_i}$에서 유도된 생성자들의 심지이와 S다항식을 분석하여 이상 $E$에 대한 구그너 기저를 구성한다.
• 리스 대수 내의 관계를 묘사하기 위해 핵심 다항식 $A(i;b,j)$, $B(i,j)$, $D$, $L(i)$, $Q(b,i)$, 그리고 $\Psi$, $\Phi$-함수를 정의한다.
• 야코비안 기준을 동일한 균일 소수 이상 $\mathfrak{P}_b$ 모듈로에 적용하여 블로우업 스킴의 다양한 점에서의 매끄러움을 테스트한다.
• 이론적 분석을 통해 $\mathfrak{P}_b$ 모듈로에서 야코비안 행렬 $\mathcal{J}_{\mathfrak{P}_b}$의 질량을 분석하여 국소화된 링이 정칙인지 여부를 판단한다.
• 마루-센구프타가 증명한 바와 같이 $\wp$가 완전교차가 아니므로, 이상이 완전교차가 아닐 경우 블로우업이 매끄럽지 않음을 이용하여 블로우업이 매끄럽지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 4개의 서로소 정수로 이루어진 최소 산술급수로 매개변수화된 모노미얼 곡선에 대해 리스 대수 $R[\wp t]$의 명시적 정의 방정식은 무엇인가?
• RQ2 완전체 위에서 블로우업 스킴 ${\rm Proj}\,R[\wp t]$는 매끄럽게 이루어지는가?
• RQ3 블로우업의 비매끄러움은 이상 $\wp$가 완전교차가 아님을 의미하는가?
• RQ4 이러한 모노미얼 곡선의 리스 대수는 소거 이론과 구그너 기저 계산을 통해 기술할 수 있는가?
• RQ5 모노미얼 곡선이 최소 산술급수로 $\mathbb{A}^4$에 정의될 경우, 프랑시아의 추측은 성립하는가?

주요 결과

• 리스 대수 $R[\wp t]$는 다항식 $A(i;b,j)$, $L(i)$, $Q(b,i)$, $D$ 및 관련된 $\Psi$, $\Phi$-함수로 구성된 구그너 기저에 의해 명시적으로 묘사된다.
• 야코비안 기준을 통해 블로우업 스킴 ${\rm Proj}\,R[\wp t]$가 매끄럽지 않음을 입증하였다: $\mathfrak{P}_b$ 모듈로에서 야코비안 행렬의 질량이 각 점에서 국소 링의 차원보다 작다.
• $b=1$일 때 야코비안의 질량은 3이며, $b=2$일 때는 2, $b=3$일 때는 0이다. 이는 세 점 모두에서 특이점이 있음을 시사한다.
• $\mathfrak{P}_b$에서 국소화된 링 $(R_b/E_b)_{\mathfrak{P}_b}$는 정칙이 아니며, 이는 ${\rm Proj}\,R[\wp t]$가 매끄럽지 않음을 증명한다.
• 이상 $\wp$는 완전교차가 아니며, 블로우업도 매끄럽지 않다. 이는 이 클래스의 곡선들에 대해 프랑시아의 추측을 긍정적으로 확인하는 결과이다.
• 리스 대수가 선형 유형이 아니며, $\mathcal{A} = E/E_1 \neq 0$이므로 대칭 대수를 초월한 비자명한 관계가 존재함을 나타낸다.