[논문 리뷰] Ulrich modules over Cohen-Macaulay local rings with minimal multiplicity

Toshinori Kobayashi, Ryo Takahashi|arXiv (Cornell University)|2017. 11. 02.

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

한 줄 요약

이 논문은 최소 다중성(minimal multiplicity)을 갖는 코hen-맥컬레이 국소환에서의 울리히 모듈러스를 조사하며, 울리히 모듈러스가 최대 코헨-맥컬레이 모듈러스의 첫 번째 싸이지 모듈러스와 일치하는 조건을 규명한다. 최소 다중성 하에서 울리히 모듈러스의 범주가 충분한 프로젝티브 및 인젝티브를 갖는 정확 범주 구조를 지닌다는 것을 증명하며, 이는 각각 $\Omega^d k$와 그 쌍대를 생성자로 갖는다. 또한 이 일치가 성립하기 위한 완전한 동치 조건들을 제시한다.

ABSTRACT

Let R be a Cohen-Macaulay local ring. In this paper we study the structure of Ulrich $R$-modules mainly in the case where R has minimal multiplicity. We explore generation of Ulrich R-modules, and clarify when the Ulrich R-modules are precisely the syzygies of maximal Cohen-Macaulay R-modules. We also investigate the structure of Ulrich R-modules as an exact category.

연구 동기 및 목표

• 최소 다중성을 갖는 코헨-맥컬레이 국소환에서 울리히 모듈러스의 구조와 생성 방식을 이해하기 위해.
• 자기 자신에 대한 자유 모듈러스 합성부가 없는 최대 코헨-맥컬레이 모듈러스의 첫 번째 싸이지 모듈러스와 정확히 일치하는 울리히 모듈러스가 언제인지를 규명하기 위해.
• 울리히 모듈러스의 범주에 대한 정확 범주 구조를 조사하기 위해.
• 최소 다중성 하에서 울리히 모듈러스가 정확히 최대 코헨-맥컬레이 모듈러스의 싸이지 모듈러스임을 보장하는 동치 조건을 수립하기 위해.
• $\Omega^d k$와 그 쌍대가 울리히 모듈러스의 범주를 어떻게 생성하는지 탐구하기 위해.

제안 방법

• 울리히 모듈러스와 싸이지 모듈러스를 연결하기 위해 표준 쌍대 함수자 $(-)^\dagger = \operatorname{Hom}_R(-, \omega)$의 사용.
• 기존 울리히 모듈러스로부터 새로운 울리히 모듈러스를 생성하기 위해 싸이지 함수자 $\Omega$의 적용, 특히 $\Omega(M/x_iM)$를 통한 적용.
• 퀼렌의 정확 구조를 위한 공리계를 사용하여 울리히 모듈러스의 범주 $\mathrm{Ul}(R)$를 정확 범주로 연구.
• 울리히 모듈러스의 짧은 정확 수열의 집합 $\mathcal{S}$에 대해 정확 범주 공리(Ex0–Ex2 op)의 검증.
• 쌍대성과 $\Omega^d k$의 성질을 이용하여 $\mathrm{Ul}(R)$ 내의 프로젝티브 및 인젝티브 대상 식별.
• 최소 다중성 하에서 여러 호모로지적 및 구조적 조건(예: $\operatorname{Tor}_1$, $\operatorname{Ext}^{d+1}$의 영성, 고크린스타인성) 간의 동치성 수립.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $R$-울리히 모듈러스가 자유 모듈러스 합성부가 없는 최대 코헨-맥컬레이 $R$-모듈러스의 첫 번째 싸이지 모듈러스와 정확히 일치하는가?
• RQ2 울리히 모듈러스의 범주가 충분한 프로젝티브 및 인젝티브를 갖는 정확 범주 구조를 지닐 수 있는 조건은 무엇인가?
• RQ3 $\Omega^d k$와 그 쌍대가 울리히 모듈러스의 범주를 생성하는 데 수행하는 역할은 무엇인가?
• RQ4 호모로지 조건인 $\operatorname{Tor}_1(\mathrm{Tr}(\Omega^d k)^\dagger, \omega) = 0$는 $\mathrm{Ul}(R) = \mathrm{\Omega CM}^\times(R)$의 등식과 어떻게 관련이 있는가?
• RQ5 어떤 경우에 링 $R$가 약간 고크린스타인(Almost Gorenstein)이며, 이는 울리히 모듈러스의 구조와 어떻게 관련되는가?

주요 결과

• 만약 $R$가 $k = \mathbb{C}$인 $2$차원 정규 코헨-맥컬레이 국소환이고 최소 다중성을 갖지만 유리수 특이점(rational singularity)이 없는 경우, $R$는 무한히 많은 분해 불가능한 울리히 모듈러스를 갖는다.
• 만약 $R$가 고립된 특이점을 가지며 $\operatorname{Ext}_R^i(M,N) = 0$이 모든 $1 \leq i \leq d-1$에 대해 성립한다면, $M$이나 $N$ 중 하나가 울리히일 경우 $\operatorname{Hom}_R(M,N)$ 역시 울리히이다.
• 파라미터 체계 $\mathbf{x} = x_1, \dots, x_d$가 $\mathfrak{m}^2 = \mathbf{x}\mathfrak{m}$를 만족하고 $M$이 울리히일 경우, 각 $i$에 대해 $\Omega(M/x_iM)$ 역시 울리히이다.
• 울리히 모듈러스의 범주 $\mathrm{Ul}(R)$는 충분한 프로젝티브 및 인젝티브 대상이 존재하는 정확 범주 구조를 지닌다. 여기서 $\operatorname{proj} \mathrm{Ul}(R) = \operatorname{add}(\Omega^d k)$이고 $\operatorname{inj} \mathrm{Ul}(R) = \operatorname{add}((\Omega^d k)^\dagger)$이다.
• 정리 B의 조건 (1)–(6)는 상호 동치이며, (7)은 (1)을 함의한다. $d=1$이고 $k$가 무한할 경우, 여덟 조건 모두 동치이다.
• 만약 $d=2$, $k=\mathbb{C}$, $R$가 완비 정규일 경우, 조건 (1)–(7)은 $R$가 순환 몫 특이점을 갖지 않는 한 상호 동치이다.