[논문 리뷰] Local Cohomology of bigraded Rees algebras, Bhattacharya Coefficients and Joint Reductions

Clare D’Cruz, Shreedevi K. Masuti|arXiv (Cornell University)|2014. 05. 07.

Commutative Algebra and Its Applications참고 문헌 9인용 수 3

한 줄 요약

이 논문은 차원 2인 코hen-맥컬레이 국소환에서 $\mathfrak{m}$-primary 이상에 대응하는 이중중량 Rees 대수의 국소 코hom로지 모듈러스의 유한성을 조사한다. Bhattacharya 계수와 Hilbert 계수를 사용하여 $H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)$의 순서부분이 유한 길이를 가지는 것과 동치 조건을 확립하며, $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(0,0)}$가 유한 길이를 가지는 것은 $e_{(1,0)} = e_1(I)$ 및 $e_{(0,1)} = e_1(J)$일 때이고 뿐일 때임을 증명한다.

ABSTRACT

Let $(R,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $2$, $I$ and $J$ $\mathfrak{m}-$primary ideals in $R$ and $(a,b)$ a joint reduction of $(I,J)$. In this paper we consider the problem whether $[H^2_{(at_1,bt_2)}(\mathcal R^\prime)]_{(r,s)}$ has finite length as an $R-$module, where $\mathcal R^\prime$ denotes the bigraded extended Rees algebra of $I$ and $J$. We give an example to show that the answer is negative in general. For all $r,s \geq 0, $ we give equivalent conditions for $[H^2_{(at_1,bt_2)}(\mathcal R^\prime)]_{(r,s)}$ to have finite length in terms of the first Bhattacharya coefficients $e_{(1,0)}$ and $e_{(0,1)}$ and the first Hilbert coefficient $e_1(I)$ and $e_1(J)$. Here $(a,b)$ is a joint reduction of $(I,J)$ satisfying superficial conditions. As a consequence we prove that $[H^2_{(at_1,bt_2)}(\mathcal R^\prime)]_{(0,0)}$ has finite length if and only if $e_{(1,0)}= e_1(I)$ and $e_{(0,1)}=e_1(J)$. We give necessary and sufficient conditions for vanishing of $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$ in terms of Bhattacharya coefficients and Hilbert coefficients.

연구 동기 및 목표

• 모듈러스 $R$ 상에서의 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 순서부분이 유한 길이를 가지는지 판단하는 것.
• 공동 감소($\text{joint reductions}$) $(a,b)$가 이러한 코호몰로지 부분의 유한성을 통제하는 데 미치는 역할을 분석하는 것.
• $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 유한성과 첫 번째 Bhattacharya 계수 $e_{(1,0)}$, $e_{(0,1)}$ 및 첫 번째 Hilbert 계수 $e_1(I)$, $e_1(J)$ 간의 관계를 규명하는 것.
• 이러한 계수들에 기반한 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 소멸 조건을 필요 및 충분 조건으로 제공하는 것.

제안 방법

• 이중중량 확장 Rees 대수 $\mathcal{R}^\prime$를 사용하여 다중중량 설정에서 국소 코호몰로지를 연구하는 것.
• $\mathcal{R}^\prime$ 내의 이상 $(at_1, bt_2)$에 국소 코호몰로지 이론을 적용하고, 두 번째 코호몰로지 모듈러스에 집중하는 것.
• Rees 대수의 구조를 이용하여 $r,s \geq 0$인 경우의 순서부분 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$를 분석하는 것.
• 유한성의 특성화를 위해 Bhattacharya 계수 $e_{(1,0)}$, $e_{(0,1)}$ 및 Hilbert 계수 $e_1(I)$, $e_1(J)$를 불변량으로 활용하는 것.
• 표면 조건을 만족하는 공동 감소 $(a,b)$를 사용하여 국소 코호몰로지 모듈러스의 분석을 단순화하는 것.
• 유한성 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$와 Bhattacharya 계수 및 Hilbert 계수에 대한 특정 등식 간의 동치성을 확립하는 것.

실험 결과

연구 질문

• RQ1 $r,s \geq 0$일 때 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$가 $R$-모듈러스로서 유한 길이를 가지는 조건은 무엇인가요?
• RQ2 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(0,0)}$가 유한 길이를 가지는 조건는 무엇이며, 이는 Hilbert 계수와 Bhattacharya 계수와 어떻게 관련이 있나요?
• RQ3 첫 번째 Bhattacharya 계수 $e_{(1,0)}$, $e_{(0,1)}$와 첫 번째 Hilbert 계수 $e_1(I)$, $e_1(J)$ 사이의 정확한 관계는 국소 코호몰로지 부분의 유한성 결정에 어떻게 기여합니까?
• RQ4 Bhattacharya 계수 $e_{(1,0)}$, $e_{(0,1)}$, $e_1(I)$, $e_1(J)$에 기반한 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 소멸에 필요한 및 충분한 조건은 무엇입니까?
• RQ5 모든 공동 감소 $(a,b)$에 대해 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 유한성이 보장되는가, 아니면 추가 제약 조건이 필요한가요?

주요 결과

• $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(0,0)}$가 유한 길이를 가지는 것은 $e_{(1,0)} = e_1(I)$ 및 $e_{(0,1)} = e_1(J)$이면서 뿐일 때이다.
• 모든 $r,s \geq 0$에 대해 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 유한성은 $(a,b)$가 표면 조건을 만족하는 공동 감소일 때 $e_{(1,0)}$, $e_{(0,1)}$, $e_1(I)$, $e_1(J)$에 관한 조건과 동치이다.
• 공동 감소에 대해서도 일반적으로 $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$가 유한 길이를 가지지 않는 예가 구성되었다.
• $[H^2_{(at_1,bt_2)}(\mathcal{R}^\prime)]_{(r,s)}$의 소멸은 Bhattacharya 계수와 Hilbert 계수 간의 특정 관계에 의해 특징지어진다.
• 이러한 결과는 이상 $I$와 $J$의 대수적 불변량과 그 이중중량 Rees 대수의 코호몰로지 행동 사이의 정확한 연결 고리를 확립한다.
• 논문은 기존의 공동 감소 이론과 Hilbert 함수 이론을 확장하여, 전통적인 불변량에 기반한 국소 코호몰로지 부분의 유한성과 소멸 조건을 완전히 특성화하였다.