[논문 리뷰] Ulrich ideals and almost Gorenstein rings

Shirô Gotô, Ryo Takahashi외 1명|arXiv (Cornell University)|2015. 07. 16.

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

한 줄 요약

이 논문은 일차원 거의 고페르스타인 국소환에서 울리히 아이디얼에 대해 조사하며, $ I $가 울리히 아이디얼일 경우 유도형 하모닉 복합체 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$의 구조 정리를 수립한다. 일차원 비골리에르스타인 거의 고페르스타인 국소환에서 유일한 비매개변수 울리히 아이디얼은 극대 아이디얼임을 증명하며, 와타나베의 추측을 해결하고, 이러한 링에서 울리히 아이디얼의 최소 생성수는 유일함을 보여준다.

ABSTRACT

The structure of the complex $\operatorname{\mathbf{R}Hom}_R(R/I,R)$ is explored for an Ulrich ideal $I$ in a Cohen-Macaulay local ring $R$. As a consequence, it is proved that in a one-dimensional almost Gorenstein but non-Gorenstein local ring, the only possible Ulrich ideal is the maximal ideal. It is also studied when Ulrich ideals have the same minimal number of generators.

연구 동기 및 목표

• 거의 고페르스타인 국소환, 특히 일차원 링에서 울리히 아이디얼의 구조를 명확히 하기.
• 일차원 비골리에르스타인 거의 고페르스타인 링에서 유일한 울리히 아이디얼은 극대 아이디얼이라는 추측을 해결하기.
• 이러한 링에서 모든 울리히 아이디얼이 같은 최소 생성수를 가질지 조사하기.
• 비-거의 고페르스타인 링에서 서로 다른 생성수를 가진 울리히 아이디얼을 구성하는 방법 제공하기.

제안 방법

• 코hen–맥컬레이 국소환에서 울리히 아이디얼에 대해 유도형 복합체 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$의 구조 정리 유도하기.
• 유도 범주에서의 동형사상 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R) \cong \bigoplus_{i\in\mathbb{Z}}(R/I)^{\oplus u_i}[-i]$ 를 사용하며, $ u_i $ 는 $\nu(I) - d$ 에 따라 명시적으로 결정됨.
• 이 구조를 적용하여 $\nu(I)$ 를 통해 G-차원의 유한성과 바스 수를 특성화하기.
• 다항식환 $ S = A[X_1,\dots,X_\ell] $ 의 아이디얼 $\mathfrak{c}$ 에 modulo한 몫환을 통해 생성수를 다양하게 가지는 울리히 아이디얼을 구성하기. 여기서 $\mathfrak{c}$ 는 $ X_i^2 - a_i $ 과 $ i \neq j $ 인 $ X_iX_j $ 로 생성되며, $ a_i \in \mathfrak{q}^2 $.
• 구성된 아이디얼이 울리히임을 보이기 위해 $ I^2 = QI $ 와 $\ell_{A}(I/Q) = \ell \cdot \ell_{A}(A/\mathfrak{q})$ 를 확인함으로써 $ I $ 가 울리히임을 보장하기.
• 이 구성 방법을 통해 같은 링 $ R $ 내에서 $\nu(I) = d + \ell$ 이고 $\nu(J) = n > d + \ell$ 인 서로 다른 아이디얼 $ I, J $ 를 생성하기.

실험 결과

연구 질문

• RQ1 일차원 비골리에르스타인 거의 고페르스타인 국소환에서 가능한 울리히 아이디얼은 무엇인가?
• RQ2 비골리에르스타인 거의 고페르스타인 국소환에서 모든 울리히 아이디얼은 같은 최소 생성수를 가지는가?
• RQ3 비-거의 고페르스타인 링에서 서로 다른 생성수를 가진 울리히 아이디얼이 존재할 수 있는가?
• RQ4 코hen–맥컬레이 링에서 울리히 아이디얼에 대해 유도형 복합체 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ 는 어떻게 행동하는가?
• RQ5 지정된 다항식환의 몫환으로 구성된 링 $ R $ 에서 아이디얼 $ I $ 가 울리히임을 보장하는 조건은 무엇인가?

주요 결과

• 일차원 비골리에르스타인 거의 고페르스타인 국소환에서, 유일한 비매개변수 울리히 아이디얼은 극대 아이디얼이다.
• 소수 코헨–맥컬레이 유형을 가진 비골리에르스타인 거의 고페르스타인 링에서는 모든 울리히 아이디얼이 같은 최소 생성수를 가진다.
• 만약 $ R $ 가 G-정규적(예: 최소 중복도를 가진 비골리에르스타인 링 또는 비골리에르스타인 거의 고페르스타인 링)이라면, 임의의 울리히 아이디얼 $ I $ 에 대해 $\nu(I) \geq d + 2 $ 이다.
• 유도형 복합체 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ 는 $ R/I $ 의 이동된 복합체들의 직합으로 분해되며, $ u_i $ 는 $\nu(I) - d $ 에 따라 명시적으로 계산된다.
• 비-거의 고페르스타인 링에서는 서로 다른 생성수를 가진 울리히 아이디얼을 구성할 수 있다. 예를 들어, 같은 링 $ R $ 내에서 $\nu(I) = 2 $ 이고 $ \nu(J) = n > 2 $ 인 경우가 존재한다.
• 다음 조건을 만족하는 $ R = S/\mathfrak{c} $ 의 구성 방법을 통해 $\nu(I) = d + \ell$ 인 울리히 아이디얼을 얻을 수 있다: $ S = A[X_1,\dots,X_\ell] $ 이고 $\mathfrak{c} = (X_i^2 - a_i, X_iX_j \text{ for } i \neq j) $ 이며, $ a_i \in \mathfrak{q}^2 $.