고런스틴 환

틀:위키데이터 속성 추적 가환대수학에서 고런스틴 환(Gorenstein環, 틀:Llang)은 국소적으로 표준 선다발의 단면의 가군층이 자유 가군층인 가환환이다.틀:Rp 즉, 특이점을 가질 수 있지만, 특이점이 비교적으로 "정칙적인" 아핀 스킴에 대응하는 가환환이다.

정의

뇌터 국소환 $(R,𝔪)$에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 뇌터 국소환을 고런스틴 국소환(틀:Llang)이라고 한다.틀:Rp

• $R$의 단사 차원이 유한하다.
• $R$의 단사 차원이 크룰 차원과 같다. (뇌터 국소환의 크룰 차원은 항상 유한하다.)
• ${\mathrm{Ext}}_R^n(R/𝔪,R)\cong \{\begin{array}{cc}0& n\ne \dim R\\ R/𝔪& n=\dim R\end{array}$
• ${\mathrm{Ext}}_R^n(R/𝔪,R)=0$인 $n>\dim R$가 존재한다.
• 다음 두 조건이 성립한다.
  • 모든 $n<\dim R$에 대하여, ${\mathrm{Ext}}_R^n(R/𝔪,R)=0$
  • ${\mathrm{Ext}}_R^{\dim R}(R/𝔪,R)\cong R/𝔪$
• $R$는 코언-매콜리 환이며, ${\mathrm{Ext}}_R^{\dim n}(R/𝔪,R)\cong R/𝔪$

여기서 $\dim R$는 $R$의 크룰 차원이며, ${\mathrm{Ext}}_R^n$는 Ext 함자이다.

뇌터 가환환 $R$에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 뇌터 가환환을 고런스틴 환(틀:Llang)이라고 한다.틀:Rp

• 모든 극대 아이디얼에서의 국소화가 고런스틴 국소환이다.
• 모든 소 아이디얼에서의 국소화가 고런스틴 국소환이다.

마찬가지로, 국소 뇌터 스킴에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 국소 뇌터 스킴을 고런스틴 스킴(틀:Llang)이라고 한다.

• 모든 닫힌 점(극대 아이디얼)에서의 국소 가환환이 고런스틴 국소환이다.
• 모든 점(소 아이디얼)에서의 국소 가환환이 고런스틴 국소환이다.

성질

다음과 같은 포함 관계가 성립한다.

정칙환 ⊊ 완비교차환(틀:Llang) ⊊ 고런스틴 환 ⊊ 코언-매콜리 환

뇌터 국소환 $R$에 대하여, 다음 두 조건이 서로 동치이다.틀:Rp

• $R$가 고런스틴 국소환이다.
• $R$의 (극대 아이디얼에서의) 완비화 $\hat{R}$가 고런스틴 국소환이다.

임의의 체 $K$ 위의 아르틴 가환 결합 대수(즉, $K$-벡터 공간으로서 유한 차원인 것) $R$에 대하여 다음 두 조건이 서로 동치이다.틀:Rp

• 고런스틴 환이다.
• 어떤 $K$-선형 변환 $t:R\to K$에 대하여, 대칭 쌍선형 형식 $⟨x,y⟩=t(xy)$이 비퇴화 쌍선형 형식이다.

크룰 차원이 0인 임의의 뇌터 국소환 $(R,𝔪,\kappa =R/𝔪)$에 대하여, 다음 두 조건이 서로 동치이다.

• $R$는 고런스틴 국소환이다.
• ${\mathrm{hom}}_R(\kappa ,R)$는 $\kappa$-벡터 공간으로서 1차원이다.

세르 쌍대성

다음이 주어졌다고 하자.

• 고런스틴 스킴 $X$
• 체 $K$
• 유한형 사상 $f:X\to \mathrm{Spec}K$

그렇다면, 세르 쌍대성에서, 쌍대화 복합체는 사실 하나만의 가역층으로 주어진다. (이는 쌍대화 복합체에서 등급 $-\dim X$의 성분이다.) 물론, 만약 $f$가 매끄러운 사상이라면, 이 가역층은 $\dim X$차 미분 형식의 가역층인 표준 선다발이다.

역사

대니얼 고런스틴(틀:Llang)의 대수 곡선에 대한 논문을 바탕으로, 알렉산더 그로텐디크가 도입하였다. 고런스틴 자신은 "나는 고런스틴 환의 정의조차 이해하지 못한다"고 말하는 것을 좋아했다고 한다.틀:Rp

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:웹 인용

같이 보기

• 코언-매콜리 환