[논문 리뷰] The almost Gorenstein Rees algebras over two-dimensional regular local rings

Shirô Gotô, Naoyuki Matsuoka외 2명|arXiv (Cornell University)|2015. 06. 22.

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

한 줄 요약

이 논문은 두 차원의 정칙 국소환 $(R,\mathfrak{m})$에서 무한 잔여체를 가진 $\mathfrak{m}$-primary이며 정수적으로 닫힌 이상 $I$의 Rees 대수 $\rho(I) = \bigoplus_{n\geq 0} I^n$가 거의 고페르스타인 그룹화된 링임을 증명한다. 이 결과는 베르마의 공동 감소 이론에 기반하며, 기존에 알려진 거의 고페르스타인 Rees 대수의 범위를 확장하여, 고페르스타인 Rees 대수가 드문 데도 불구하고 두 차원에서는 거의 고페르스타인 Rees 대수가 흔히 존재함을 보여준다.

ABSTRACT

Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$.

연구 동기 및 목표

• 두 차원 정칙 국소환에서 이상의 Rees 대수가 언제 거의 고페르스타인일지를 결정하는 것.
• 고페르스타인 예외를 초월하여 알려진 거의 고페르스타인 그룹화된 링의 범위를 확장하는 것.
• 낮은 차원의 정칙 링에서 거의 고페르스타인 Rees 대수가 얼마나 퍼져 있는지 조사하는 것.
• 공동 감소와 힐베르트-버르흐 행렬이 거의 고페르스타인 구조를 특징짓는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 두 차원 정칙 국소환에서 $\mathfrak{m}$-primary 이상에 대해 공동 감소 수가 0인 공동 감소의 존재에 관한 베르마의 결과를 활용한다.
• 짧은 정확열 $0 \to R \to \mathrm{K}_R(-a) \to C \to 0$ 을 통한 거의 고페르스타인 그룹화된 링의 정의를 적용한다. 여기서 $\mu_R(C) = e^{0}_{\mathfrak{M}}(C)$이다.
• 힐베르트-버르흐 이론을 사용하여 Rees 대수 $\mathcal{R}(I)$의 표현을 기술하고 그 캐논리컬 모듈 $\mathrm{K}_{\mathcal{R}}$를 계산한다.
• 정수 계수의 거듭제곱 반복환 위에서 Rees 대수의 정의 행렬의 구조를 분석하여 $a$-정수와 모듈 조건을 결정한다.
• 국소화와 기저 변경을 통해 문제를 차원 5인 정칙 국소환으로 줄이며, [6, 정리 7.8]을 적용하여 거의 고페르스타인 구조가 제거됨을 보인다.
• 정리 [6, 정리 7.8]의 기준을 적용하여, 차원 ≥5인 정칙 국소환 위에서 정의 행렬이 첫 번째 행에 정규 매개변수 체계를 갖는 행렬과 동치가 아니면, 그 국소환은 거의 고페르스타인일 수 없다.

실험 결과

연구 질문

• RQ1 두 차원 정칙 국소환에서 $\mathfrak{m}$-primary 이상의 Rees 대수가 언제 거의 고페르스타인일까?
• RQ2 공동 감소 이론은 Rees 대수의 거의 고페르스타인 성질을 확립하는 데 사용될 수 있는가?
• RQ3 높은 차원의 링에서 Rees 대수의 거의 고페르스타인 성질에 구조적 장애가 존재하는가?
• RQ4 Rees 대수의 힐베르트-버르흐 행렬은 거의 고페르스타인 조건과 어떻게 관련이 있는가?
• RQ5 두 차원 정칙 국소환에서 소클 이상 $Q:\mathfrak{m}$의 Rees 대수는 거의 고페르스타인 성질을 보존하는가?

주요 결과

• 무한 잔여체를 가진 두 차원 정칙 국소환에서 $\mathfrak{m}$-primary 정수적으로 닫힌 이상 $I$에 대해 Rees 대수 $\mathcal{R}(I)$는 거의 고페르스타인이다.
• 모든 $\ell > 0$에 대해 Rees 대수 $\mathcal{R}(\mathfrak{m}^\ell)$는 거의 고페르스타인이다. 이는 최대 이상의 거듭제곱으로의 결과 확장이다.
• 이상 $Q = (x^m, y^n)$의 Rees 대수는 $n = 2$일 때에만 거의 고페르스타인이다. 이는 단항식의 경우에 엄격한 제약을 보여준다.
• 만일 $Q$의 생성자가 $\mathfrak{m}^3$에 속해 있다면 $\mathcal{R}_{\mathfrak{M}}$은 거의 고페르스타인일 수 없다. 이는 강력한 장애를 시사한다.
• 소클 이상 $Q:\mathfrak{m}$의 Rees 대수는 두 차원에서도 반드시 거의 고페르스타인일 필요는 없다. 반례를 통해 이를 보여준다.
• 차원 5인 정칙 국소환 위에서 Rees 대수의 정의 행렬은 첫 번째 행에 정규 매개변수 체계를 갖는 행렬로 변환될 수 없다. 이는 [6, 정리 7.8]에 의해 거의 고페르스타인 구조가 아님을 의미한다.