[논문 리뷰] On Lyubeznik's invariants and endomorphisms of local cohomology modules

Peter Schenzel|ArXiv.org|2007. 04. 16.

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

한 줄 요약

이 논문은 고르스타인 및 정칙 국소환에서 국소코homology 모듈에 대한 내림사상환 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $을 조사하며, 특정 조건 하에서 $ B $ 가 가환이고 노에터이므로 이를 보여준다. 주요 결과는 $ R \simeq B $ 이다. 이는 최고 리우비츠니크 수 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) = 1 $ 이고, 자연스러운 사상 $ \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 가 영이 아니라는 조건을 만족할 때 성립하며, 특수한 경우에 추측을 확인한다.

ABSTRACT

Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case of $(R,\mathfrak m)$ a regular local ring containing a field $B$ is a Cohen-Macaulay ring. Its properties are related to the highest Lyubeznik number $l = \dim_k \Ext_R^d(k,H^c_I(R)).$ In particular $R \simeq B$ if and only if $l = 1.$ Moreover, we show that the natural homomorphism $\Ext_R^d(k, H^c_I(R)) o k$ is non-zero.

연구 동기 및 목표

• 고르스타인 및 정칙 국소환에서 국소코homology 모듈에 대한 내림사상환 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ 의 구조를 이해하는 것.
• 특히 최고 리우비츠니크 수 $ l $ 과 연관하여 $ B $ 가 $ R $ 과 동형이 되는 조건을 규명하는 것.
• 자연스러운 사상 $ \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 가 영이 아니라는 것을 확인하여, 헬러스 및 저자의 추측을 특정 설정에서 확인하는 것.

제안 방법

• 스펙트럴 시퀀스와 잘라내기 복합체를 사용하여 자연스러운 사상 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 를 분석하며, 이를 에지 호모모르피즘으로 식별한다.
• 후네케-리우비츠니크의 두 번째 소멸 정리를 적용하여 국소코homology 모듈의 소멸 조건을 특성화한다.
• 고르스타인 링에서 캐논칼 모듈의 대칭성과 구조를 활용하여 $ B $ 가 $ R $ 의 모듈-유한 확장임을 연구한다.
• 국소코homology의 메이어-비에토리스 수열을 활용하여 비소수 이상수를 포함한 예시에서 $ B $ 를 계산한다.
• 레인솔드 연산자와 특성에 따라 다른 분석(양의 특성 대 영 특성)을 사용하여 필드 간의 바스 수를 비교한다.
• 완비화와 엄격 헨젤라이제이션을 활용하여 $ V(I_d) $ 의 codimension-1 연결성을 연구하며, 이와 $ R \simeq B $ 의 동형성과 연결한다.

실험 결과

연구 질문

• RQ1 내림사상환 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ 이 언제 $ R $ 과 동형이 되는가?
• RQ2 최고 리우비츠니크 수 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) $ 와 $ B $ 의 구조 사이의 관계는 무엇인가?
• RQ3 헬러스 및 저자의 추측에 따르면 자연스러운 사상 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 는 항상 영이 아니며, 이는 참인가?
• RQ4 $ V(I_d) $ 가 codimension-1에서 연결되어 있을 경우 $ B $ 의 구조에 어떤 영향을 미치는가?
• RQ5 기저 체의 특성에 따라 바스 수 $ \dim_k \operatorname{Ext}^i_R(k, H^c_I(R)) $ 는 어떻게 달라지는가?

주요 결과

• 모든 $ n $-차원 고르스타인 링 $ R $ 에 대해 내림사상환 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ 는 가환적이다. 이는 $ B \simeq \operatorname{Ext}^c_R(H^c_I(R), R) $ 와 동치이다.
• 기본체를 포함하는 완비 정칙 국소환 $ R $ 에서 $ B $ 는 노에터이자 코hen-맥컬레이 $ R $-대수이며, $ \dim_k \operatorname{Ext}^c_R(k, H^c_I(R)) $ 의 랭크를 가진 자유 모듈이다.
• 등형사상 $ R \simeq B $ 는 최고 리우비츠니크 수 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) = 1 $ 이면 성립한다.
• 자연스러운 사상 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 는 영이 아니며, 이는 정칙 국소환에 기본체를 포함하는 경우 추측을 확인한다.
• 반환환 $ B $ 가 국소이면 $ V(I_d) $ 가 codimension-1에서 연결되어 있고, $ R \to B $ 가 동형이면 엄격 헨젤라이제이션 $ R/I_d $ 의 완비화가 codimension-1에서 연결되어 있다.
• 예제 7.2에서 특성 0에서는 리우비츠니크 수 $ \dim_k \operatorname{Ext}^2_R(k, H^2_I(R)) = 1 $ 이지만, 양의 특성에서는 0이 되므로, 필드의 특성에 따라 의존함을 보여준다.