[논문 리뷰] $F$-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic $p>0$

Phạm Hùng Quý, Kazuma Shimomoto|arXiv (Cornell University)|2016. 01. 11.

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

한 줄 요약

이 논문은 양의 특성의 노에터 링에서 F-입사성과 매개수 이상의 프로베누스 닫힘 사이의 기초적인 연결 고리를 설정한다. 모든 매개수 이상이 프로베누스 닫혀 있을 경우에 그 링은 F-입사적이며, F-입사적이지만 코hen-맥컬레이가 아니며 F-순수하지 않은, 매개수 이상이 프로베누스 닫혀 있지 않은 국소 링의 첫 번째 명시적 예를 구성함으로써, 페더의 정리의 역이 성립하는지에 대한 오랫동안 남아있던 질문을 해결하고, '매개수 F-닫힘' 링이라는 새로운 클래스를 도입한다.

ABSTRACT

The main aim of this article is to study the relation between $F$-injective singularity and the Frobenius closure of parameter ideals in Noetherian rings of positive characteristic. The paper consists of the following themes, including many other topics. We prove that if every parameter ideal of a Noetherian local ring of prime characteristic $p>0$ is Frobenius closed, then it is $F$-injective. We prove a necessary and sufficient condition for the injectivity of the Frobenius action on $H^i_{\fm}(R)$ for all $i \le f_{\fm}(R)$, where $f_{\fm}(R)$ is the finiteness dimension of $R$. As applications, we prove the following results. (a) If the ring is $F$-injective, then every ideal generated by a filter regular sequence, whose length is equal to the finiteness dimension of the ring, is Frobenius closed. It is a generalization of a recent result of Ma and which is stated for generalized Cohen-Macaulay local rings. (b) Let $(R,\fm,k)$ be a generalized Cohen-Macaulay ring of characteristic $p>0$. If the Frobenius action is injective on the local cohomology $H_{\fm}^i(R)$ for all $i < \dim R$, then $R$ is Buchsbaum. This gives an answer to a question of Takagi. We consider the problem when the union of two $F$-injective closed subschemes of a Noetherian $\mathbb{F}_p$-scheme is $F$-injective. Using this idea, we construct an $F$-injective local ring $R$ such that $R$ has a parameter ideal that is not Frobenius closed. This result adds a new member to the family of $F$-singularities. We give the first ideal-theoretic characterization of $F$-injectivity in terms the Frobenius closure and the limit closure. We also give an answer to the question about when the Frobenius action on the top local cohomology is injective.

연구 동기 및 목표

• 양의 특성에서 F-입사성이 모든 매개수 이상이 프로베누스 닫혀 있는 것과 동치인지 여부를 밝혀내는 것 — 오랫동안 열려 있던 양의 특성에서의 교환대수학의 문제.
• 일반화된 코hen-맥컬레이 링과 부흐스바움 링에서의 프로베누스 닫힘에 관한 기존 결과를 더 넓은 링의 범주로 확장하는 것.
• F-입사성이 모든 매개수 이상의 프로베누스 닫힘을 암시하지 않는다는 반례를 구성함으로써 F-특이성의 이해를 정교화하는 것.
• 프로베누스 닫힘과 극한 닫힘을 이용한 이상 이론적 특성으로 F-입사성을 특성화함으로써 새로운 대수적 기준을 제공하는 것.

제안 방법

• 모든 매개수 이상이 프로베누스 닫혀 있을 경우, 모든 국소 코hom로지 모듈 $ H^i_m(R) $ 에서 프로베누스 작용이 단사적이며, 이는 F-입사성을 암시함을 증명한다.
• 유한성 차원 $ f_m(R) $ 를 사용하여 $ i \leq f_m(R) $ 에 대해 $ H^i_m(R) $ 에서 프로베누스 작용의 단사성을 특성화함으로써 코hom로지적 성질과 이상 이론적 성질 사이의 연결 고리를 맺는다.
• 노에터 $ \mathbb{F}_p $-스킴에서 두 개의 F-입사 닫힌 부분 스킴을 붙임으로써 F-입사 국소 링을 구성함으로써, 결과적으로 비등차원적이고 F-순수하지 않은 링이 되도록 보장한다.
• 필터 정규 수열 이론과 극한 닫힘 이론을 적용하여 이상의 프로베누스 닫힘과 F-입사성 사이의 관계를 분석하며, 특히 최상위 국소 코hom로지 모듈의 맥락에서 다룬다.
• 비균질 성분 $ U_R(0) $ 와 매개수 이상의 교차를 통해 구성된 반례의 구조를 분석한다.
• 일반화된 코hen-맥컬레이 링과 부흐스바움 링의 결과를 활용하여 마의 작업을 확장하고, $ H^i_m(R) $ 에서 프로베누스 작용이 단사적일 경우 $ i < \dim R $ 이면 링이 부흐스바움임을 증명한다.

실험 결과

연구 질문

• RQ1 국소 링이 F-입사적일 필요와 충분조건이 모든 매개수 이상이 프로베누스 닫혀 있는가?
• RQ2 모든 $ i \leq f_m(R) $ 에 대해 국소 코호몰로지 모듈 $ H^i_m(R) $ 에서 프로베누스 작용이 단사적일 조건은 무엇인가?
• RQ3 F-입사 링이 프로베누스 닫혀 있지 않은 매개수 이상을 가질 수 있는가?
• RQ4 프로베누스 닫힘과 극한 닫힘에 기반한 이상 이론적 특성으로 F-입사성을 어떻게 기술할 수 있는가?
• RQ5 모든 $ i < \dim R $ 에 대해 $ H^i_m(R) $ 에서 프로베누스 작용이 단사적일 경우 링이 부흐스바움인지 여부는?

주요 결과

• 논문은 양의 특성 $ p > 0 $ 의 노에터 국소 링에서 모든 매개수 이상이 프로베누스 닫혀 있을 경우 그 링이 F-입사적임을 증명함으로써, 추측된 동치성의 한 방향을 확인한다.
• 저자는 특성 $ p > 0 $ 의 F-유한성, 비코헨-맥컬레이성, F-순수하지 않으며 매개수 이상이 프로베누스 닫혀 있지 않은 F-입사 국소 링의 명시적 예를 구성함으로써, 주요 정리의 역이 성립하지 않음을 보여준다.
• F-입사성과 $ H^i_m(R) $ 에서의 프로베누스 작용이 모든 $ i < \dim R $ 에 대해 단사적일 경우 링이 부흐스바움임을 보이며, 타카기의 질문에 대한 긍정적인 답변을 제시한다.
• 논문은 F-입사성의 첫 번째 이상 이론적 특성화를 제공한다: 링이 F-입사적일 필요와 충분조건은 유한성 차원과 같은 길이의 필터 정규 수열로 생성된 모든 이상의 프로베누스 닫힘이 그 이상 자체와 일치하는 것이다.
• 최상위 국소 코호몰로지 모듈 $ H^d_m(R) $ 에서 프로베누스 작용이 단사적일 필요와 충분조건은 $ H^d_m(R) $ 에서의 영 이상의 극한 닫힘이 영임을 보여주며, 이는 코호몰로지 기준을 제공한다.
• 정리 6.5에서 구성된 예는 매개수 F-닫힘 링의 클래스(모든 매개수 이상이 프로베누스 닫혀 있는 링)가 F-입사 링의 클래스에 엄격히 포함되어 있음을 보여주며, 새로운 종류의 F-특이성을 설정한다.