[논문 리뷰] Almost Gorenstein rings

Shirô Gotô, Naoyuki Matsuoka외 1명|arXiv (Cornell University)|2011. 06. 07.

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

한 줄 요약

이 논문은 분석적으로 분기된 1차원 코hen-맥컬레이 국소환에 대한 약간의 고렌스타인 링 개념을 일반화하여, 바루치와 프로베르그의 원래 이론을 확장하는 통합 정의를 제공한다. 주요 기여는 첫 번째 힐베르트 계수 $\mathrm{e}_1(I) \leq \mathrm{r}(R)$ 를 만족하는 극한 이상의 이상 $I$ 를 기반으로 한 새로운 정의를 통해, $\mathfrak{m} : \mathfrak{m}$ 이 고렌스타인인지 여부의 문제를 완전히 해결하고, 이상화가 약간의 고렌스타인 성질을 유지함을 증명하는 것이다.

ABSTRACT

The notion of almost Gorenstein ring given by Barucci and Fr{ö}berg \cite{BF} in the case where the local rings are analytically unramified is generalized, so that it works well also in the case where the rings are analytically ramified. As a sequel, the problem of when the endomorphism algebra $\m : \m$ of $\m$ is a Gorenstein ring is solved in full generality, where $\m$ denotes the maximal ideal in a given Cohen-Macaulay local ring of dimension one. Characterizations of almost Gorenstein rings are given in connection with the principle of idealization. Examples are explored.

연구 동기 및 목표

• 분석적으로 분기된 경우를 포함하여 약간의 고렌스타인 링 이론을 분석적으로 분리되지 않은 경우를 초월해 확장하기.
• 바루치와 프로베르그의 $\mathfrak{m} : \mathfrak{m}$ 이 고렌스타인인지 여부를 증명하는 데에서 발생하는 격차를 해결하기.
• 극한 이상 $I$ 의 첫 번째 힐베르트 계수 $\mathrm{e}_1(I)$ 를 사용하여 약간의 고렌스타인 링을 통합적으로 특성화하기.
• 3개의 생성자를 가진 수치적 반군 링과 이상화로 얻어진 링에서 약간의 고렌스타인 성질을 탐구하기.
• 이상화 $R \ltimes \mathfrak{m}$ 이 약간의 고렌스타인인지 되는 조건을 설정하고, 비고렌스타인 약간의 고렌스타인 링의 새로운 예를 구성하기.

제안 방법

• 극한 이상 $I$ 에 대해 $\mathrm{e}_1(I) \leq \mathrm{r}(R)$ 를 만족하는 새로운 약간의 고렌스타인 링 정의를 도입하여, 분석적으로 분기된 경우에도 유효하도록 한다.
• 힐베르트 계수에 대한 노스코트-리스 부등식을 적용하여 $\mathfrak{m}$-primary 이상에 대한 $\mathrm{e}_1(I)$ 의 행동을 분석한다.
• 고렌스타인 성질을 연구하기 위해 중심적인 대상으로서 $\mathfrak{m} : \mathfrak{m} = \mathrm{Hom}_R(\mathfrak{m}, \mathfrak{m})$ 의 내부환을 사용한다.
• 이상화(트ivial 확장) 이론을 적용하여 기존의 링으로부터 새로운 약간의 고렌스타인 링의 예를 구성한다.
• 극한 모듈 $\mathrm{K}_R$ 과 그 쌍대 $\mathfrak{m}^\vee = \mathrm{Hom}_R(\mathfrak{m}, \mathrm{K}_R)$ 를 사용하여 $\mathfrak{m} : \mathfrak{m}$ 과 분수 이상 $K$ 에 대해 $S = R[K]$ 를 연결한다.
• 등가 조건 $R \ltimes \mathfrak{m}$ 이 약간의 고렌스타인 $\Leftrightarrow$ $R$ 이 약간의 고렌스타인 (정리 6.5) 을 사용하여, 비고렌스타인 약간의 고렌스타인 링의 무한한 가닥을 생성한다.

실험 결과

연구 질문

• RQ1 1차원 코헨-맥컬레이 국소환 $R$ 에 대해 내부환 $\mathfrak{m} : \mathfrak{m}$ 이 고렌스타인 링이 되는 경우는 언제인가요?
• RQ2 약간의 고렌스타인 링 개념은 분석적으로 분기된 링을 포함하도록 어떻게 일반화할 수 있는가요?
• RQ3 이상화 $R \ltimes \mathfrak{m}$ 이 약간의 고렌스타인인지 되는 조건은 무엇인가요?
• RQ4 분수 이상 $K \cong \mathrm{K}_R$ 에 대해 $S = R[K]$ 이면, $R \ltimes S$ 가 약간의 고렌스타인인지 되는 조건은 무엇인가요?
• RQ5 $v(R \ltimes S) = e(R \ltimes S)$ 가 성립하는 조건은 언제이며, 이는 $R \ltimes S$ 의 고렌스타인 성질에 어떤 함의를 갖는가요?

주요 결과

• 극한 이상 $I$ 에 대해 $\mathrm{e}_1(I) \leq \mathrm{r}(R)$ 조건을 요구하는 새로운 약간의 고렌스타인 링 정의는 분석적으로 분리되지 않은 경우에 바루치와 프로베르그의 원래 정의와 동치이다.
• $\mathfrak{m} : \mathfrak{m}$ 이 고렌스타인인지 여부의 문제는 완전한 일반성으로 해결되었다: $\mathfrak{m} : \mathfrak{m}$ 이 고렌스타인일 필요충분조건은 $R$ 이 약간의 고렌스타인이고 $v(R) = e(R)$ 인 것이다.
• 이상화 $R \ltimes \mathfrak{m}$ 이 약간의 고렌스타인일 필요충분조건은 $R$ 이 약간의 고렌스타인일 때이다 (정리 6.5).
• 무한한 잔여체를 가진 비고렌스타인 약간의 고렌스타인 링 $R$ 에 대해 $R \ltimes S$ 는 고렌스타인이 아니지만, $S = \mathfrak{m} : \mathfrak{m}$ 이면 $v(R \ltimes S) = 2v(R)$ 이다.
• 반복된 이상화를 통해 무한히 많은 비고렌스타인 약간의 고렌스타인 링을 구성할 수 있다: $R_n = (R_{n-1})_1$ 이며 $R_1 = R \ltimes \mathfrak{m}^\vee$, 그리고 $v(R_n) = 2^n v(R)$.
• $k[[X,Y]]/(Y^2) \ltimes (X,Y)/(Y^2)$ 는 이상화를 통해 구성된 비고렌스타인 약간의 고렌스타인 링의 예이다.