[논문 리뷰] On the upper semi-continuity of HSL numbers

Serena Murru|arXiv (Cornell University)|2013. 02. 05.

Commutative Algebra and Its Applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 소수 특성 $ p $ 를 가진 아핀 코hen-Macaulay 대수의 스펙트럼에서 HSL 수—로컬 코hom로지 모듈의 니르포텐트 부분모듈을 영으로 만드는 프로베누스 사상의 최소 반복 지수 $ e $ 로 정의됨—의 상반연속성을 확립한다. 핵심 결과는 모든 $ e > 0 $ 에 대해 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ 가 자리스키 열린집합이라는 것이다. 이는 HSL 수가 상반연속적임을 의미한다. 이 결과는 코hen-Macaulay 링에서 매개수 이상의 프로베누스 닫힘에 대한 전역 테스트 지수를 이끌어낸다.

ABSTRACT

Let $B$ be an affine Cohen-Macaulay algebra over a field of characteristic $p$. For every prime ideal $\mathfrak{p}\subset B$, let $ ext{H}_\mathfrak{p}$ denote $H^{\dim B_\mathfrak{p}}_{\mathfrak{p} B_\mathfrak{p}}\left( \widehat{B_\mathfrak{p}} ight)$. Each such $ ext{H}_\mathfrak{p}$ is an Artinian module endowed with a natural Frobenius map $Θ$ and if $ ext{Nil}( ext{H}_\mathfrak{p})$ denotes the set of all elements in $ ext{H}_\mathfrak{p}$ killed by some power of $Θ$ then a theorem by Hartshorne-Speiser and Lyubeznik shows that there exists an $e\geq 0$ such that $Θ^e ext{Nil}( ext{H}_\mathfrak{p})=0$. The smallest such $e$ is the HSL-number of $ ext{H}_\mathfrak{p}$ which we denote $ ext{HSL}( ext{H}_\mathfrak{p})$. The main theorem in this paper shows that for all $e&gt;0$, the sets $\{ \mathfrak{p}\in ext{Spec} (B) \,|\, ext{HSL}( ext{H}_\mathfrak{p}) &lt; e \}$ are Zariski open, hence HSL is upper semi-continuous. An application of this result gives a global test exponent for the calculation of Frobenius closures of parameter ideals in Cohen-Macaulay rings.

연구 동기 및 목표

• 소수 특성 $ p $ 에서 아핀 코hen-Macaulay 대수의 스펙트럼에서, 로컬 코호몰로지 모듈의 프로베누스 작용의 니르포텐트성에 대한 측도인 HSL 수의 상반연속성을 확립하는 것.
• 모든 $ e > 0 $ 에 대해 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ 가 자리스키 열린집합임을 보여, HSL 함수의 상반연속성을 증명하는 것.
• 이 상반연속성 결과를 활용하여, 코hen-Macaulay 링에서 매개수 이상의 프로베누스 닫힘에 대한 전역 테스트 지수를 도출하는 것.
• 프로베누스 사상이 로컬 코호몰로지 모듈과 그 니르포텐트 부분모듈에 작용하는 방식을 통해 HSL 수를 계산하는 구성적 프레임워크를 제공하는 것.

제안 방법

• 프로베누스 사상 $ \Theta $ 가 아르틴 모듈 $ H_{\mathfrak{p}} = \operatorname{H}^{\dim B_{\mathfrak{p}}}_{\mathfrak{p}B_{\mathfrak{p}}}(\widehat{B_{\mathfrak{p}}}) $ 에 자연스럽게 작용함을 고려하여, $ \operatorname{HSL}(H_{\mathfrak{p}}) $ 를 $ \Theta^e(\operatorname{Nil}(H_{\mathfrak{p}})) = 0 $ 이 되는 최소의 $ e $ 로 정의한다.
• 완전 정규 국소 레지얼에서, $ \{ m \in H_{\mathfrak{p}} \mid \Theta^i(m) = 0 \} $ 의 오름차순 체인이 정지함을 이용하여 $ \operatorname{HSL}(H_{\mathfrak{p}}) < \infty $ 임을 보장한다.
• 다항식 링에서 국소화와 완비화와 가환하는 연산자 $ I_e(-) $ 를 구성하고, 니르포텐트 원소의 지지의 제어를 가능하게 한다.
• $ \mathcal{B}_e = \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) \leq e \} $ 를 정의하고, $ \mathcal{B}_e^c $ 가 닫혀 있음을 증명함으로써 $ \mathcal{B}_e $ 가 열린집합임을 보인다.
• 모듈 $ \operatorname{H}^d_{\mathfrak{m}}(S) $ 의 직접극한 표현의 구조를 이용하여, 원소의 니르포텐트성과 아이디얼의 프로베누스 거듭제곱에의 속함을 연결한다.
• 상반연속성 결과를 적용하여, 국소 코hen-Macaulay 링에서 매개수 이상의 프로베누스 닫힘에 대한 $ \operatorname{H}^d_{\mathfrak{m}}(S) $ 의 HSL 수가 전역 테스트 지수로 기능함을 보인다.

실험 결과

연구 질문

• RQ1 코hen-Macaulay 대수의 스펙트럼에서, 양의 특성에서 로컬 코호몰로지 모듈의 HSL 수는 상반연속적인가?
• RQ2 HSL 수의 상반연속성은 코hen-Macaulay 링에서 매개수 이상의 프로베누스 닫힘에 대한 균일한 테스트 지수를 도출하는 데 사용될 수 있는가?
• RQ3 로컬 코호몰로지 모듈에서 프로베누스 사상의 니르포텐트 지수는 아이디얼의 프로베누스 닫힘과 어떻게 관련이 있는가?
• RQ4 아핀 대수 위에서 로컬 코호몰로지 모듈의 니르포텐트 원소 지지의 구조는 프로베누스 작용 하에 어떻게 되는가?
• RQ5 특정 예제에서 앙annihiator와 Fitting 아이디얼과 같은 대수적 불변량을 통해 HSL 수를 효과적으로 계산할 수 있는가?

주요 결과

• HSL 수 $ \operatorname{HSL}(H_{\mathfrak{p}}) $ 는 상반연속적이다: 모든 $ e > 0 $ 에 대해 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ 는 자리스키 열린집합이다.
• 국소 코hen-Macaulay 링 $ S $ 에 대해 $ \operatorname{H}^d_{\mathfrak{m}}(S) $ 의 HSL 수는 매개수 이상 $ J $ 에 대해 $ (J^F)^{[p^{\bar{e}}]} \subseteq J^{[p^{\bar{e}}]} $ 를 만족하는 최소의 $ \bar{e} $ 와 같으며, 이는 전역 테스트 지수로 기능한다.
• 비골레르스타인 코hen-Macaulay 도메인 $ S = R/I $ 의 예시에서 HSL 수는 최대 2이다: $ V(x_1,x_2,x_3) $ 에서는 2, $ V(x_1,x_2,x_3) $ 외부에서는 1, 나머진 0이다.
• 주어진 조건 하에서 모든 로컬 코호몰로지 모듈 $ H_{\mathfrak{p}} $ 에 대해 HSL 수는 유한하다. 이는 프로베누스 사상 하에서 니르포텐트 필터링의 정지성 때문이다.
• 모듈 $ \Omega_e $ 의 Fitting 아이디얼과 앙니히레이터를 이용한 $ \mathcal{B}_e $ 의 구성은 HSL 수의 지지의 효과적 계산을 가능하게 한다.
• 이 결과는 다항식환의 모든 몫에 대해, 모든 극대 아이디얼 $ \mathfrak{m} $ 에 대해 $ \operatorname{HSL}(\operatorname{H}^{\dim S}_{\mathfrak{m}}(S)) $ 에 대한 균일한 상계 $ \epsilon $ 가 존재함을 시사하며, 이는 국소 매개수 이상의 아이디얼 $ J $ 에 대해 $ (J^F)^{[p^\epsilon]} = J^{[p^\epsilon]} $ 를 이끌어낸다.