[논문 리뷰] Foxby equivalence, local duality and Gorenstein homological dimensions

Fatemeh Mohammadi Aghjeh Mashhad, Kamran Divaani-Aazar|arXiv (Cornell University)|2010. 06. 30.

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

한 줄 요약

이 논문은 교환자 대칭성과 국소 대칭성을 일반화된 국소 코hom로 모듈러스를 통해 결합하는 이중성 프레임워크를 수립한다. 국소 환에서 정규화된 이중화 복합체를 가진 호모로지적으로 유계인 복합체 $X$와 $Y$에 대해, $\mathfrak{m}$-절단 $\mathbf{R}\operatorname{Hom}_R(X,Y)$ 는 $\mathbf{R}\operatorname{Hom}_R(Y, D \otimes_R^L X)$ 의 매트리스 쌍대와 동형이며, 이는 고전적 국소 대칭성을 고파르틴 호모로지 설정으로 확장하고, 이 맥락에서 그로텐디크의 비영성 정리를 증명한다.

ABSTRACT

Let $(R,\fm)$ be a local ring and $(-)^{\vee}$ denote the Matlis duality functor. We investigate the relationship between Foxby equivalence and local duality through generalized local cohomology modules. Assume that $R$ possesses a normalized dualizing complex $D$ and $X$ and $Y$ are two homologically bounded complexes of $R$-modules with finitely generated homology modules. We present several duality results for $\fm$-section complex ${\bf R}Γ_{\fm}({\bf R}\Hom_R(X,Y))$. In particular, if G-dimension of $X$ and injective dimension of $Y$ are finite, then we show that $${\bf R}Γ_{\fm}({\bf R}\Hom_R(X,Y))\simeq ({\bf R}\Hom_R(Y,D\otimes_ R^{\bf L}X))^{\vee}.$$ We deduce several applications of these duality results. In particular, we establish Grothendieck's non-vanishing Theorem in the context of generalized local cohomology modules.

연구 동기 및 목표

• 일반화된 국소 코호몰로지 모듈러스를 통해 포크비 등가성과 국소 대칭성을 통합하기.
• 유한 G-차원 또는 고파르틴 임베딩 차원을 가진 복합체로 고전적 국소 대칭 정리의 확장을 이루기.
• 일반화된 국소 코호몰로지의 맥락에서 그로텐디크의 비영성 정리를 확장하기.
• 고파르틴 호모로지 조건 하에서 코호몰로지 차원과 소거 아이디얼의 행동을 조사하기.

제안 방법

• 매트리스 쌍대 함수자 $(-)^\vee = \operatorname{Hom}_R(-, E(R/\mathfrak{m}))$ 를 사용하여 유도된 Hom 복합체를 연결하기.
• 정규화된 이중화 복합체 $D$ 를 사용한 유도된 텐서 곱 $D \otimes_R^L X$ 적용하기.
• 유한 G-차원 또는 임베딩 차원 조건 하에서 이중성 동형: $\mathbf{R}\Gamma_{\mathfrak{m}}(\mathbf{R}\operatorname{Hom}_R(X,Y)) \simeq (\mathbf{R}\operatorname{Hom}_R(Y, D \otimes_R^L X))^\vee$ 수립하기.
• 충실하게 평탄한 기저 변경을 통해 완비화된 경우로 감소시키기, 이는 호모로지 불변량을 유지한다.
• 그로텐디크의 비영성 정리와 아우살란더 범주성의 성질을 활용하여 코호몰로지 경계 유도하기.
• 표준 모듈러를 텐서 곱함으로써 유한 프로젝티브/임베딩 차원 모듈러의 부분범주와 그 쌍대 사이의 동치를 활용하기.

실험 결과

연구 질문

• RQ1 포크비 등가성과 국소 대칭성은 유도 범주 프레임워크에서 어떻게 상호작용하는가?
• RQ2 유한 G-차원 또는 고파르틴 임베딩 차원을 가진 복합체로 고전적 국소 대칭 정리가 확장될 수 있는가?
• RQ3 복합체 $X$ 가 유한 G-차수를 가지며 $N$ 이 유한 임베딩 차수를 가질 때, 코호몰로지 차원 $\operatorname{cd}_{\mathfrak{m}}(X,N)$ 는 어떻게 되는가?
• RQ4 언제 $\operatorname{cd}_{\mathfrak{m}}(X,N) = \dim R - \ell_R(\operatorname{Ann}_R N, X)$ 가 성립하는가?
• RQ5 고파르틴 설정에서 일반화된 국소 코호몰로지 모듈러스에 대해 그로텐디크의 비영성 정리가 성립하는가?

주요 결과

• 복합체 $X$ 가 유한 G-차수를 가지며 $Y$ 가 유한 임베딩 차수를 가질 때, 이중성 동형 $\mathbf{R}\Gamma_{\mathfrak{m}}(\mathbf{R}\operatorname{Hom}_R(X,Y)) \simeq (\mathbf{R}\operatorname{Hom}_R(Y, D \otimes_R^L X))^\vee$ 가 성립한다.
• 복합체 $X$ 가 유한 프로젝티브 차수 또는 유한 G-차수를 가지며 $N$ 이 유한 프로젝티브 차수를 가질 경우, 코호몰로지 차원 $\operatorname{cd}_{\mathfrak{m}}(X,N)$ 는 $\dim R - \ell_R(\operatorname{Ann}_R N, X) \leq \operatorname{cd}_{\mathfrak{m}}(X,N) \leq \dim R - \ell_R(\operatorname{Ann}_R N, X)$ 를 만족한다.
• 복합체 $N$ 이 유한 임베딩 차수 또는 유한 고파르틴 임베딩 차수를 가지며 $X$ 가 유한 프로젝티브 또는 임베딩 차수를 가질 경우, $\operatorname{cd}_{\mathfrak{m}}(X,N) = \dim R - \ell_R(\operatorname{Ann}_R N, X)$ 가 성립한다.
• 다양한 고파르틴 호모로지 유한성 조건 하에서, $\dim_R N \leq \dim_R \mathbf{R}\operatorname{Hom}_R(M,N) \leq -\inf \mathbf{R}\operatorname{Hom}_R(M,N) + \dim_R(M \otimes_R N)$ 가 성립한다.
• 그로텐디크의 비영성 정리가 일반화된다: $\operatorname{cd}_{\mathfrak{m}}(M,N) = \dim_R \mathbf{R}\operatorname{Hom}_R(M,N)$ 는 지정된 유한성 가정 하에서 성립한다.
• 코호몰로지 차원과 소거 필터링은 완비화 하에 유지되며, 이는 정규화된 이중화 복합체가 존재하는 완비화된 경우로 감소시키는 데 유리하다.