[논문 리뷰] The resolution of the universal ring for finite length modules of projective dimension two

Andrew R. Kustin|ArXiv.org|2006. 07. 25.

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

한 줄 요약

이 논문은 다항식 환 $\mathcal{P}$ 위에서 코시큘로스 복합체의 매핑 콘을 사용하여, 유한 길이의 프로젝티브 차원 2인 모듈러에 대한 보편 환 $\mathcal{R}$ 의 좌표에 의존하지 않고 특성에 영향을 받지 않는 해석을 구축한다. 주요 결과는 $e,g \geq 5$ 일 때 $\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 가 자유 아벨 군이 아니라는 점을 보여주며, 이는 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 의 군형 Betti 수가 필드 $\mathcal{K}$ 의 특성에 따라 달라진다는 것을 의미한다.

ABSTRACT

Hochster established the existence of a commutative noetherian ring $\Cal R$ and a universal resolution $\Bbb U$ of the form $0 o \Cal R^{e} o \Cal R^{f} o \Cal R^{g} o 0$ such that for any commutative noetherian ring $S$ and any resolution $\Bbb V$ equal to $0 o S^{e} o S^{f} o S^{g} o 0$, there exists a unique ring homomorphism $\Cal R o S$ with $\Bbb V=\Bbb U\otimes_{\Cal R} S$. In the present paper we assume that $f=e+g$ and we find a resolution $\Bbb F$ of $\Cal R$ by free $\Cal P$-modules, where $\Cal P$ is a polynomial ring over the ring of integers. The resolution $\Bbb F$ is not minimal; but it is straightforward, coordinate free, and independent of characteristic. Furthermore, one can use $\Bbb F$ to calculate $\operatorname{Tor}^{\Cal P}_{\bullet}(\Cal R, \Bbb Z)$. If $e$ and $g$ both at least 5, then $\operatorname{Tor}^{\Cal P}_{\bullet}(\Cal R, \Bbb Z)$ is not a free abelian group; and therefore, the graded betti numbers in the minimal resolution of $\pmb K\otimes_{\Bbb Z} \Cal R$ by free $\pmb K\otimes_{\Bbb Z} \Cal P$-modules depend on the characteristic of the field $\pmb K$. We record the modules in the minimal $\pmb K\otimes_{\Bbb Z} \Cal P$ resolution of $\pmb K\otimes_{\Bbb Z} \Cal R$ in terms of the modules which appear when one resolves divisors over the determinantal ring defined by the $2 imes 2$ minors of an $e imes g$ matrix.

연구 동기 및 목표

• 유한 길이의 프로젝티브 차원 2인 모듈러에 대한 보편 환 $\mathcal{R}$ 의 좌표에 의존하지 않고 특성에 영향을 받지 않는 해석을 제공하는 것.
• 다항식 환 $\mathcal{P}$ 위에서 $\mathcal{R}$ 의 해석 $\mathbb{F}$ 를 확립하여 $\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 의 계산을 가능하게 하는 것.
• 유한 길이의 프로젝티브 차원 2인 모듈러에 대한 보편 환 $\mathcal{R}$ 의 최소 해석에서의 군형 Betti 수가 필드 $\mathcal{K}$ 의 특성에 따라 달라지는지 보여주는 것, 특히 $e$ 와 $g$ 가 모두 5 이상일 때.
• 보편 환 $\mathcal{R}$ 의 최소 해석을 $e \times g$ 행렬의 $2 \times 2$ 주식식의 행렬식 환에서 유도된 약수의 해석에서 유래하는 모듈러의 형태로 기술하는 것.

제안 방법

• 해석 $\mathbb{F}$ 는 $E \otimes G^*$, $F^*$, $G^*$ 의 스푸르 함수와 외적의 곱으로 구성된 복합체 사이의 사상의 매핑 콘으로 구성된다.
• 이 구축은 사상 $X \circ V: E \to G$ 와 관련된 코시큘로스 복합체를 사용하며, 이는 사상 $E \otimes G^* \to \mathcal{P}$ 를 유도한다.
• 해석은 삼중체 $(a,c,d)$ 로 색인화된 $G^*$ 의 대칭적 거듭제곱, $F^*$ 의 외적의 곱, $E$ 의 나누어진 거듭제곱의 텐서곱으로 구성된다.
• 해석은 유한하지만 특성에 영향을 받지 않으며, 기초 환의 특성과 무관하게 간단하다.
• 해석의 구조는 $\operatorname{Tor}$-모듈러를 계산하는 데 사용되는 복합체 $\mathbb{M}(p,q)$ 의 호모로지 분석을 통해 분석된다.
• 최소 해석은 기저 교체를 통해 $\mathcal{P}$-해석으로부터 유도되며, 스푸르 모듈러와 그의 변형으로 표현된다.

실험 결과

연구 질문

• RQ1 유한 길이의 프로젝티브 차원 2인 모듈러에 대한 보편 환 $\mathcal{R}$ 의 해석은 특성에 영향을 받지 않고 좌표에 의존하지 않는 구축이 가능한가?
• RQ2 $\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 의 구조는 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 의 Betti 수와 어떻게 관련이 있는가?
• RQ3 최소 해석에서의 군형 Betti 수는 필드 $\mathcal{K}$ 의 특성에 따라 어떻게 달라지는가?
• RQ4 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 의 최소 해석은 $e \times g$ 행렬의 $2 \times 2$ 주식식의 행렬식 환에서 유도된 약수의 해석에서 유래하는 모듈러로 기술할 수 있는가?
• RQ5 부크스바움-아이젠버그 다중계수와 인수분해 정리의 역할은 보편 환 $\mathcal{R}$ 의 정의에 어떤 영향을 미치는가?

주요 결과

• 기초 환의 특성과 무관하게, $\mathcal{P}$ 위에서 $\mathcal{R}$ 의 해석 $\mathbb{F}$ 는 유한하지 않으며 좌표에 의존하지 않는다.
• 해석 $\mathbb{F}$ 는 코시큘로스 복합체와 스푸르 함수를 포함하는 복합체 사이의 사상의 매핑 콘으로 구성된다.
• $e$ 와 $g$ 가 모두 5 이상일 때, $\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 는 자유 아벨 군이 아니며, 이는 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 의 Betti 수가 필드 $\mathcal{K}$ 의 특성에 따라 달라진다는 것을 시사한다.
• $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 의 최소 해석은 스푸르 모듈러 $T(\alpha,\beta,\gamma)$ 로 표현되며, 이는 조합론적 자료에 의해 결정되는 특정 랭크와 변형을 가진다.
• $e=3$, $g=4$ 일 때, 해석은 $\mathcal{P}'[-3,-8]^{210}$ 과 $\mathcal{P}'[-6,-8]^{420}$ 과 같은 합성항을 포함하며, 이는 힐베르트 함수만으로 예측할 수 없다.
• $\operatorname{Tor}^\mathfrak{P}_{3,5}(M_0,\boldsymbol{K})$ 의 차원은 $e,g \geq 5$ 일 때 필드 $\boldsymbol{K}$ 의 특성에 따라 달라지며, 이는 Betti 수의 특성 의존성을 확인한다.