[논문 리뷰] On the behavior of Castelnuovo-Mumford regularity with respect to some functors

Marc Chardin|ArXiv.org|2007. 06. 19.

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

한 줄 요약

이 논문은 토르, 프로베니우스, 이상수의 거듭제곱과 같은 핵심 대수적 함자들에 대한 캐스텔누오보-무르포드 정규성의 행동을 조사하며, 입력 정규성과 기하학적 불변량에 따라 날카로운 경계를 제공한다. 특이점의 차원 ≤1인 프로젝티브 스킴에서 코hen-맥컬레이 서스키매드의 교차에 대해 새로운 정규성 경계를 수립하며, 이는 이전 결과를 일반화하고 이상수의 거듭제곱 및 카허르 미분형식에의 응용을 이끌어낸다.

ABSTRACT

We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous results on these issues by several authors. As an application we provide results on the regularity of an intersection of subschemes of a projective scheme, under appropriate geometric hypotheses. Results on the rigidity of multiple Tor modules and on the characterization of their vanishing are given, motivated by geometric applications.

연구 동기 및 목표

• 토르, 프로베니우스, 이상수의 곱/거듭제곱과 같은 고전적 함자들에 대한 기존의 캐스텔누오보-무르포드 정규성 경계를 확장하고 정밀화하는 것.
• 코헨-맥컬레이 조건과 차원 제약 조건 하에서 프로젝티브 스킴 내의 서스키매드 교차의 정규성에 대해 기하학적 추정치를 제공하는 것.
• 정규환에서의 다중 토르 모듈러스의 강성 및 소멸 조건을 규명하여 기하학적 응용을 동반하는 것.
• 특이점의 차원 제약 조건 하에서 양의 특성에서의 프로베니우스 작용에 의한 정규성 증가에 대한 캣만의 추측을 다루는 것.
• 동차 이상수로 정의된 프로젝티브 스킴에 대해 카허르 미분형식 모듈러스의 정규성을 경계하는 것.

제안 방법

• 모든 모듈러스 중 하나를 제외한 나머지 모듈러스가 유한한 프로젝티브 차원을 가지는 조건 하에서, 아이젠슈타인-휴네케-울리히의 토르 정규성 경계를 노에테리안 국소환 위의 표준 등급 대수로 일반화한다.
• 스펙트럴 시퀀스 기법과 국소 코hom로 토르 모듈러스의 정규성을 분석하며, 베티 수의 차수에 대한 경계를 사용한다.
• 최소 자유 해체의 구조와 야코비안 행렬을 이용하여 카허르 미분형식 모듈러스의 정규성에 대한 경계를 유도한다.
• 특이점의 차원과 모듈러스의 지지부를 조건화하여 프로베니우스 반복에 따른 정규성 증가를 통제한다.
• 모듈러스의 수에 대한 귀납법과 재귀 부등식을 사용하여 이상수 거듭제곱의 정규성을 경계한다.
• 적절한 교차와 코드미너션 조건을 적용하여 모듈러스의 정규성과 그 인자들의 정규성의 합을 연결한다.

실험 결과

연구 질문

• RQ1 입력 모듈러스가 유한한 프로젝티브 차원을 가질 때, 토르 함자에 의한 캐스텔누오보-무르포드 정규성은 어떻게 행동하는가?
• RQ2 특이점의 차원 ≤1인 프로젝티브 스킴에서 코헨-맥컬레이 서스키매드의 교차에 대해 정규성의 날카로운 상한은 무엇인가?
• RQ3 원래 모듈러스와 특이점의 지지부를 고려할 때, 정규환에서의 프로베니우스 거듭제곱 모듈러스의 정규성은 어떻게 경계될 수 있는가?
• RQ4 정규환에서의 다중 토르 모듈러스의 강성 또는 소멸을 보장하는 조건은 무엇인가?
• RQ5 정의 이상수와 그의 베티 수에 따라 카허르 미분형식 모듈러스의 정규성은 어떻게 경계될 수 있는가?

주요 결과

• 특이점의 차원 ≤1인 프로젝티브 스킴에서 코헨-맥컬레이 서스키매드의 적절한 교차 Z에 대해, 교차의 정규성은 다음과 같은 식을 만족한다: reg(Z) ≤ ∑ᵢ max{reg(Zᵢ), reg(S)−1} + ⌊(dim S −1)/2⌋(reg(S)−1), 특히 reg(S) ≤ 1이면 reg(Z) ≤ ∑ᵢ reg(Zᵢ)로 등호가 성립한다.
• 노에테리안 국소환 위의 표준 등급 대수 S에서, 한 모듈러스가 유한한 프로젝티브 차원을 가지며 모든 양의 토르 모듈러스의 지지부 차원이 ≤1이면, Torᵢ(M,N)의 정규성은 다음을 만족한다: maxᵢ{reg(Torᵢ(M,N)) − i} = reg(M) + reg(N) − reg(S).
• 양의 특성 p에서 표준 등급 대수 S 위의 등급 모듈러스 M의 프로베니우스 거듭제곱 Fᵉ(M)의 정규성은 다음을 만족한다: reg(Fᵉ(M)) ≤ reg(S) + pᵉ(reg(M) + ⌊dim S/2⌋(reg(S)−1) + dim S), 조건은 dim(Sing(S) ∩ Supp(M)) ≤ 1이다.
• 다항식환의 이상수 I에 대해 dim(R/I) ≤ 2이면, Iʲ의 정규성은 j=2일 때 reg(Iʲ) ≤ max{2reg(I), reg(Iˢᵃᵗ) + 2b₀ − 2}를 만족하고, j ≥ 2일 때는 reg(Iʲ) ≤ max{3reg(I) + (j−3)b₀, reg(Iˢᵃᵗ) + jb₀ − 2}를 만족한다.
• 동차 이상수 I로 정의된 프로젝티브 표면 B에 대해 카허르 미분형식 모듈러스 Ω_B의 정규성은 일반적으로 균형잡힌 조건 하에서 다음을 만족한다: a₃(Ω_B) ≤ a₃ + 1, a₂(Ω_B) ≤ max{a₂ + 1, a₃ + b₀}, a₁(Ω_B) ≤ max{a₁ + 1, a₂ + b₀, a₃ + b₁}.
• I/I²의 국소 코호몰로지 모듈러스의 소멸은 Ω_B의 정규성에 대한 경계를 이끌어낸다: H¹ₘ(I/I²)는 degrees > max{a₁ + b₀, a₂ + b₁, a₃ + b₂, a₃ + d₁ + d₂}에서 소멸하고, H²ₘ(I/I²)는 degrees > max{a₂ + b₀, a₃ + b₁}에서 소멸한다.