[논문 리뷰] Multigraded regularity: syzygies and fat points

Jessica Sidman, Adam Van Tuyl|arXiv (Cornell University)|2004. 05. 13.

Commutative Algebra and Its Applications참고 문헌 20인용 수 42

한 줄 요약

이 논문은 다중호모지어스 정규성의 두 정의—심보기 기반과 국소코homology 기반—사이의 연결 고리를 확립한다. 이는 프로젝티브 공간의 곱에서의 피치점 스킴의 좌표환에 대해 적용된다. 해석적으로, 피치점 스킴의 해석 정규성 벡터는 그 투영의 캐스텔누오보-무미드 정규성의 튜플과 일치하며, 이 벡터는 국소코homology 기반 정규성 집합의 부분집합을 생성한다. 특히 산술적으로 코hen-맥컬레이 조건이 성립할 경우 등식이 성립함을 보여준다.

ABSTRACT

The Castelnuovo-Mumford regularity of a graded ring is an important invariant in computational commutative algebra, and there is increasing interest in multigraded generalizations. We study connections between two recent definitions of multigraded regularity with a view towards a better understanding of the multigraded Hilbert function of fat point schemes in P^{n_1} x ... x P^{n_k}.

연구 동기 및 목표

• 최근에 제안된 두 다중호모지어스 정규성 정의—심보기 차수 기반과 국소코homology 소멸 기반—사이의 비교 및 관계 규명.
• 다중호모지어스 스킴 $\mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_k}$ 에서의 피치점 스킴의 다중호모지어스 힐베르트 함수 이해를 위한 이러한 정규성 개념 활용.
• 피치점 스킴의 다중호모지어스 힐베르트 함수의 성장에 대한 정량적 상한 설정.
• 심보기 기반 정규성 벡터와 국소코homology 기반 정규성 집합이 일치하는 조건 규명.

제안 방법

• 유한 생성된 $\mathbb{Z}^k$-호모지어스 모듈 $M$ 의 다중호모지어스 심보기 모듈의 생성자 차수를 기반으로 $\underline{r}(M) \in \mathbb{N}^k$ 의 해석 정규성 벡터 정의.
• 국소코homology 기반 다중호모지어스 정규성 $\operatorname{reg}_B(M)$ 를 정의하여, 모든 $i$ 와 $\mathbf{p}$ 에 대해 $H_B^i(M)_\mathbf{p} = 0$ 이 되는 차수의 집합으로 정의.
• $\underline{r}(R/I_Z) = (r_1, \ldots, r_k)$ 를 증명하며, 여기서 $r_i = \operatorname{reg}(\pi_i(Z))$ 이고 $\pi_i(Z) \subseteq \mathbb{P}^{n_i}$ 는 투영임. 이는 해석 정규성과 단변수 정규성 간의 연결을 제공.
• $\underline{r}(R/I_Z) + \mathbb{N}^k \subseteq \operatorname{reg}_B(R/I_Z)$ 를 보이며, 심보기 기반 정규성에서 이전의 상한을 향상시킴.
• 짧은 완전열에서 모듈의 정규성 집합 간 포함관계를 유도하기 위해 국소코homology의 장점 정확한 수열의 수정된 형태 적용.
• 다중호모지어스 해석의 구조와 거의 정규수열의 개념을 활용하여, $M$ 이 차수 $\mathbf{0}$ 에서 생성될 경우 $\underline{r}(M)$ 계산.

실험 결과

연구 질문

• RQ1 다중프로젝티브 공간에서의 피치점 스킴 맥락에서 심보기 기반과 국소코homology 기반 다중호모지어스 정규성 정의는 어떻게 관련되어 있는가?
• RQ2 피치점 스킴 $Z$ 에 대해 해석 정규성 벡터 $\underline{r}(R/I_Z)$ 와 국소코homology 기반 정규성 집합 $\operatorname{reg}_B(R/I_Z)$ 사이의 정확한 관계는 무엇인가?
• RQ3 해석 정규성 벡터를 사용하여 피치점 스킴의 다중호모지어스 힐베르트 함수를 상한으로 제시할 수 있으며, 그 성장 행동은 어떻게 되는가?
• RQ4 $\underline{r}(R/I_Z) + \mathbb{N}^k = \operatorname{reg}_B(R/I_Z)$ 가 성립하는 조건은 무엇인가?
• RQ5 스킴 $Z$ 의 좌표환의 정규성은 각각의 $\mathbb{P}^{n_i}$ 요소로의 투영의 정규성과 어떻게 관련되어 있는가?

주요 결과

• 피치점 스킴 $Z \subseteq \mathbb{P}^{n_1} \times \cdots \mathbb{P}^{n_k}$ 의 좌표환의 해석 정규성 벡터는 $\underline{r}(R/I_Z) = (\operatorname{reg}(\pi_1(Z)), \ldots, \operatorname{reg}(\pi_k(Z)))$ 로 주어지며, 여기서 $\pi_i(Z)$ 는 $Z$ 를 $\mathbb{P}^{n_i}$ 로의 투영이다.
• $\underline{r}(R/I_Z) + \mathbb{N}^k$ 는 국소코homology 기반 정규성 집합 $\operatorname{reg}_B(R/I_Z)$ 의 부분집합이며, 이는 심보기 기반 정규성에서의 이전 상한을 향상시킨다.
• 만일 $Z$ 가 산술적으로 코hen-맥컬레이일 경우 등식이 성립한다: $\underline{r}(R/I_Z) + \mathbb{N}^k = \operatorname{reg}_B(R/I_Z)$ 로서, 이는 이 경우 해석 정규성 벡터가 정규성 집합을 완전히 결정함을 보여준다.
• $\mathbb{P}^1 \times \mathbb{P}^1$ 에서의 피치점 스킴의 다중호모지어스 힐베르트 함수 $\mathcal{H}_Z(i,j)$ 는 결국 일정한 값으로 수렴하며, 이 값은 $Z$ 의 차수와 같다. 이 값은 $i+j \geq \max\{m-1, 2m_1 - 2\}$ 인 모든 $(i,j)$ 에서 도달된다. 여기서 $m_1$ 은 최대 중복도이다.
• $Z \subseteq \mathbb{P}^1 \times \mathbb{P}^1$ 에서 $s$ 개의 점이 중복도 $m_1 \geq \cdots \geq m_s$ 를 가질 경우, 힐베르트 함수는 $H_Z(\ell) \leq \sum_{i=1}^s \binom{m_i+1}{2} \ell + \text{낮은 차수 항}$ 을 만족하며, 안정 영역에서는 등식이 성립한다.
• 증명은 $\mathcal{H}_Z(i,j)$ 가 $i+j = \ell$ 이고 $i,j \geq m_1 - 1$ 인 모든 $(i,j)$ 에서 안정 영역의 최종 성장값과 일치함을 보여주며, 이는 힐베르트 함수가 안정 영역에서 균일하게 수렴함을 확인한다.