[논문 리뷰] Cohomologically full rings

Hailong Dao, Alessandro De Stefani외 1명|arXiv (Cornell University)|2018. 06. 01.

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

한 줄 요약

이 논문은 코homologically full 링—코hen-Macaulay, F-pure, 그리고 Du Bois 특이점의 일반화인 새로운 종류의 교환적 노에테르 링—을 도입한다. 저자들은 이러한 링이 강력한 코homological 성질을 만족함을 증명하며, 국소 코hom로지에서 Ext 모듈로로 가는 자연스러운 사상의 상사상성과 같은 성질을 보인다. 또한 특성 0의 체 위의 표준적 등급 다항식 대수에서, 코homological fullness는 국소 코호몰로지 모듈로의 0차 부분이 전체 모듈로를 생성한다는 것과 동치임을 증명한다.

ABSTRACT

Inspired by a question raised by Eisenbud-Mustaţă-Stillman regarding the injectivity of maps from ${ m Ext}$ modules to local cohomology modules and the work by the third author with Pham, we introduce a class of rings which we call cohomologically full rings. This class of rings include many well-known singularities: Cohen-Macaulay rings, Stanley-Reisner rings, F-pure rings in positive characteristics, Du Bois singularities in characteristics $0$. We prove many basic properties of cohomologically full rings, including their behavior under flat base change. We show that ideals defining these rings satisfy many desirable properties, in particular they have small cohomological and projective dimension. When $R$ is a standard graded algebra over a field of characteristic $0$, we show under certain conditions that being cohomologically full is equivalent to the intermediate local cohomology modules being generated in degree $0$. Furthermore, we obtain Kodaira-type vanishing and strong bounds on the regularity of cohomologically full graded algebras.

연구 동기 및 목표

• 강력한 코homological 성질을 만족하는 새로운 링의 클래스—cohomologically full 링—을 정의하고 연구하기.
• Eisenbud-Mustaţă-Stillman가 제기한 Ext에서 국소 코호몰로지로의 사상의 단사성 문제를 해결하기.
• F-pure, Du Bois, 그리고 Cohen-Macaulay 특이점에 관한 기존 결과들을 통합하고 일반화하는 공통 프레임워크를 수립하기.
• 등급 다항식 코homologically full 대수의 정규성과 소멸 정리에 대한 경계를 설정하기.
• 코homological fullness를 약한 정상성 추측과 양의 특성 환원에서의 프로베누스 작용과 연결하기.

제안 방법

• 모든 전사 사상 $ T woheadrightarrow R $ 에 대해 $ T_{\text{red}} = R_{\text{red}} $ 를 만족할 때, 국소 코호몰로지에서 Ext 모듈로로 가는 자연스러운 사상 $ H^i_{\frak{n}}(T) \to H^i_{\frak{m}}(R) $ 의 상사상성에 의해 cohomologically full 링을 정의한다.
• 국소 dualit 및 dualit 이론의 등급 버전을 사용하여 cohomological fullness가 국소 코호몰로지 모듈로의 0차 부분이 전체 모듈로를 생성하는 것과 관련이 있음을 밝힌다.
• 등급 다항식의 이상적의 정규성을 유계화하기 위해 양의 특성 환원 기법을 적용한다.
• 평탄한 기저 변경, 붙이기, 양의 특성 환원에 대한 행동을 이용하여 낮은 차원의 링을 분류한다.
• 프로베누스 작용 이론과 반연속성 이론을 활용하여 국소 코호몰로지의 0차 차수에서의 프로베누스 작용의 상사상성 분석을 수행한다.
• Liftable 국소 코호몰로지 및 square-free 초기 이상에 관한 Kollár-Kovács 및 Conca-Vabaro의 결과를 활용하여 프레임워크를 뒷받침한다.

실험 결과

연구 질문

• RQ1 다항식 링 $ S $ 에서 자연스러운 사상 $ \operatorname{Ext}^i_S(S/I, S) \to H^i_I(S) $ 가 언제 단사적일까?
• RQ2 국소 코호몰로지 모듈로의 0차 부분이 전체 모듈로를 생성하기 위한 조건은 무엇인가?
• RQ3 코homological fullness는 양의 특성 환원에서의 약한 정상성 추측과 어떻게 관련이 있는가?
• RQ4 등급 링의 경우, 코homological fullness는 국소 코호몰로지 모듈로의 구조에 의해 어떻게 특징지어질 수 있는가?
• RQ5 코homological fullness는 등급 대수의 정규성과 소멸 정리에 어떤 영향을 미치는가?

주요 결과

• Cohomologically full 링은 코hen-Macaulay, F-pure, 그리고 Du Bois 특이점을 포함하며, 양의 특성에서 F-full 링과 일치한다.
• 특성 0의 체 위의 표준적 등급 $ k $-대수 $ R $ 에 대해, $ R_P $ 가 모든 $ P \neq \frak{m} $ 에 대해 Du Bois 이면, $ R $ 이 $ i $-cohomologically full 일 필요충분조건은 $ H^i_{\frak{m}}(R)_0 $ 이 $ H^i_{\frak{m}}(R) $ 을 생성하는 것이다.
• 다항식 링 $ S $ 의 동차 이상적 $ I $ 에 대해, $ S/I $ 가 cohomologically full 이면, $ I $ 의 정규성은 생성자의 수와 그 최대 차수의 곱으로 위에서 유계화된다.
• 구멍이 난 스펙트럼에서 코hen-Macaulay인 코homologically full 등급 대수는 코다이라 유형의 소멸 정리를 만족한다.
• 코homologically full 링에서 리우베즈니크 수는 국소 코호몰로지 모듈로의 0차 부분으로 복원 가능하다.
• 추측 5.5는 $ \kappa $ 의 조밀한 집합에 대해 $ H^i_{\frak{m}_\kappa}(R_\kappa)_0 $ 에서의 프로베누스 작용의 상사상성을 주장하며, 이는 Mustaţă-Srinivas의 약한 정상성 추측과 동치이다.