[논문 리뷰] The eventual shape of Betti tables of powers of ideals

Amir Bagheri, Marc Chardin외 1명|arXiv (Cornell University)|2011. 10. 03.

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

한 줄 요약

이 논문은 Noetherian $ G $-단일화된 대수에서 다중차수 이상의 이상의 Betti 표를 다항식의 거듭제곱이 매우 클 때, 심지어 선형 행동을 보임을 증명한다. 다중차수 Tor 모듈러스와 Rees 대수의 Stanley 분해를 이용하여, $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 의 지지체가 선형 독립인 생성자를 가진 애핀 세미군집의 합집합으로 안정화됨을 증명하며, 이는 다중차수 Betti 수의 점근적 선형성으로 이어진다.

ABSTRACT

Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large.

연구 동기 및 목표

• Noetherian $ G $-단일화된 대수에서 $ G $-동차 이상의 거듭제곱에 대한 다중차수 Betti 수의 점근적 행동을 이해하는 것.
• 이전에 $ \mathbb{Z} $-단일화된 설정에 국한되어 있던 정규성과 심지어도 차수에 대한 알려진 결과를, 토릭 다양체의 divisor class group과 같은 임의의 유한 생성 아벨 군 $ G $ 로 확장하는 것.
• 다항식의 거듭제곱 $ MI_1^{t_1}\cdots I_s^{t_s} $ 의 비영인 $ G $-단일화 Betti 수의 형태가 $ t_i \to \infty $ 가 되면서 점차 선형이 되는 것을 증명하는 것.
• 다른 이상의 생성자 차수의 선형 독립인 튜플로 생성된 애핀 세미군집의 형태로, $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 의 지지체에 대한 구조적 기술을 제공하는 것.

제안 방법

• 다중 Rees 대수 $ \mathcal{R} = \bigoplus_{t_i \geq 0} I_1^{t_1}\cdots I_s^{t_s} $ 를 모델링하여, $ MI_1^{t_1}\cdots I_s^{t_s} $ 가 $ \mathcal{R} $ 위의 단일화 모듈러스로 간주되게 하는 것.
• 등식 $ \operatorname{Tor}^S_i(N_{G \times \{\delta\}}, A) \cong H_i(\mathbb{G}_\bullet \otimes_S A)_{G \times \{\delta\}} $ 를 이용하여 $ S $ 위의 Tor 모듈러스를 $ R = S[T_1,\dots,T_r] $ 위의 자유 해체의 단일화 조각으로 연결하는 것.
• 초기 부분 모듈러스 이론을 적용하여 단항 이상의 경우로 줄여, $ A[T_1,\dots,T_r] $-모듈러스에 대한 Stanley 분해를 사용할 수 있도록 하는 것.
• 다른 이상의 생성자 차수의 선형 독립인 차이를 가진 튜플에 대응하는 각각의 Stanley 성분으로 Rees 대수를 분해하여, $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 의 지지체를 분석하는 것.
• 큰 $ t $ 에 대해, $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 의 지지체가 $ c_1\gamma_{i,1} + \cdots + c_{s_i}\gamma_{i,s_i} + \delta_i $ 의 형태를 가진 유한 개의 집합의 합집합임을 증명하며, 여기서 $ c_j \in \mathbb{N} $, $ \sum c_j = t - t_i $, 그리고 $ \gamma_{i,j+1} - \gamma_{i,j} $ 는 선형 독립이다.
• Rees 모듈러스의 구조와 그 단일화를 이용하여, 다중차수 Betti 수가 이상 생성자 차수에 의해 결정되는 주기적 선형 패턴으로 안정화됨을 보이는 것.

실험 결과

연구 질문

• RQ1 다항식의 거듭제곱 $ MI_1^{t_1}\cdots I_s^{t_s} $ 의 다중차수 Betti 표의 형태가 $ t_i \to \infty $ 가 되면서 예측 가능한 선형 형태로 안정화되는가?
• RQ2 지지체 $ \operatorname{Tor}^S_i(MI_1^{t_1}\cdots I_s^{t_s}, A) $ 는 선형 독립인 이상 생성자 $ G $-차수의 튜플로 생성된 애핀 세미군집의 유한한 합집합으로 기술될 수 있는가?
• RQ3 $ G $-단일화된 설정에서 $ G $ 가 $ \mathbb{Z} $ 가 아닐 때, $ MI_1^{t_1}\cdots I_s^{t_s} $ 의 $ i $-번째 심지어도 차수의 점근적 행동은 어떠한가?
• RQ4 높은 차수에서 Rees 대수의 다중차수 구조가 Tor 모듈러스의 지지체에 어떤 영향을 미치는가?
• RQ5 다중차수 Betti 수 패턴이 선형이 되는 조건는 무엇이며, 이 선형성의 이동과 방향은 무엇에 의해 결정되는가?

주요 결과

• 큰 $ t $ 에 대해, $ \operatorname{Tor}^S_\ell(MI^t, A) $ 의 지지체는 $ \bigcup_{c_1 + \cdots + c_{s_i} = t - t_i} c_1\gamma_{i,1} + \cdots + c_{s_i}\gamma_{i,s_i} + \delta_i $ 의 형태를 가진 유한 개의 집합의 합집합이며, 여기서 $ \gamma_{i,j+1} - \gamma_{i,j} $ 는 선형 독립이다.
• 다중차수 Betti 수는 비영인 차수들이 선형 독립인 생성자를 가진 애핀 세미군집의 합집합을 이루며, 점차 선형 행동을 보임을 나타낸다.
• 모든 이상이 같은 차수에서 생성되는 경우(각 $ I_i $ 가 단일 차수에서 생성됨), 점근적 선형성은 더 명확하며 증명이 단순해지며, $ \operatorname{Tor}^S_i(MI^t, A) $ 의 지지체는 선형 독립인 튜플로 생성된 세미군집의 유한한 애핀 이동의 합집합이 된다.
• $ I = (f_1, f_2, f_3) $ 이며 $ \deg(f_i) = a, b, c $ 이면, $ \operatorname{Tor}_1^S(I^t, A) $ 의 지지체는 $ (5 + E_t) \cup (10 + E_{t-1}) $ 로 주어지며, 여기서 $ E_t = \{2\alpha + 8\beta \mid \alpha + \beta = t, \alpha, \beta \in \mathbb{Z}_+\} $ 이며, 이는 정확한 선형 패턴을 보여준다.
• $ \operatorname{Tor}_1^S(I^t, A) $ 의 지지체는 $ (13 + E_{t-1}) \cup (18 + E_{t-2}) \cup (10 + E_{t-1}) \cup (7 + E_{t-1}) \cup (12 + E_{t-2}) $ 로 분해되며, 이는 애핀 세미군집의 구조를 확인한다.
• 결과는 약간의 조건 하에 성립한다: $ A $ 가 Noetherian 이거나 $ \ell = 0 $ 이며, 이 구조는 기본 링 $ A $ 에 의존하지 않고, 오직 이상 생성자의 차수에 의해서만 결정된다.