[논문 리뷰] The lex-plus-power inequality for local cohomology modules

Giulio Caviglia, Enrico Sbarra|arXiv (Cornell University)|2012. 08. 10.

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

한 줄 요약

이 논문은 표준 중등 대수에서 국소 코호몰로지 모듈러스의 힐버트 급수에 대해 렉스-플러스-파워 부등식을 수립한다. 특히, 정규 수열을 포함하는 모든 동차 이상수의 국소 코호몰로지 모듈러스의 힐버트 급수는 해당 렉스-플러스-파워 이상수의 것보다 위로 유계임을 증명한다. 주요 결과는 에반스의 렉스-플러스-파워 추측을 국소 코호몰로지로 확장하며, 아이젠부르크-그린-헤리스 추측의 알려진 경우에서 프로젝티브 차원과 캐스텔누오보-무르포드 정규성은 렉스-플러스-파워 이상수로의 전이 시 감소하지 않음을 시사한다.

ABSTRACT

We prove an inequality between Hilbert functions of local cohomology modules supported in the homogeneous maximal ideal of standard graded algebras over a field, within the framework of embeddings of posets of Hilbert functions. As a main application, we prove an analogue for local cohomology of Evans' Lex-Plus-Power Conjecture for Betti numbers. This results implies some cases of the classical Lex-Plus-Power Conjecture, namely an inequality between extremal Betti numbers. In particular, for the classes of ideals for which the Eisenbud-Green-Harris Conjecture is currently known, the projective dimension and the Castelnuovo-Mumford regularity of a graded ideal do not decrease by passing to the corresponding Lex-Plus-Power ideal.

연구 동기 및 목표

• 표준 중등 대수의 동차 최대 이상수에 지지된 국소 코호몰로지 모듈러스의 힐버트 함수 간의 부등식을 수립하기 위해.
• 원래 바티 수에 대해 제안된 에반스의 렉스-플러스-파워 추측을 국소 코호몰로지 모듈러스의 맥락으로 확장하기 위해.
• 아이젠부르크-그린-헤리스 추측의 알려진 경우에서, 중등 이상수의 프로젝티브 차원과 캐스텔누오보-무르포드 정규성이 렉스-플러스-파워 이상수로의 전이 시 감소하지 않음을 보여주기 위해.
• 포지트로픽 구조를 통한 국소 코호몰로지 모듈러스의 힐버트 함수 임bedding을 위한 프레임워크를 제공하기 위해.
• 극한 바티 수와 그들의 국소 코호몰로지 및 부분 캐스텔누오보-무르포드 정규성에 따른 행동을 특성화하기 위해.

제안 방법

• 저자들은 주어진 이상수의 국소 코호몰로지 모듈러스와 그 렉스-플러스-파워 대응체의 것을 비교하기 위해 힐버트 함수의 포지트로픽 집합의 임베딩 프레임워크를 사용한다.
• 그들은 정리 4.4를 적용하여, 국소 코호몰로지 모듈러스의 힐버트 급수 간의 계수별 부등식을 수립한다: $\operatorname{Hilb}(H^i_{\mathfrak{m}}(A/I)) \leq \operatorname{Hilb}(H^i_{\mathfrak{m}}(A/(L + (X_1^{d_1}, \ldots, X_r^{d_r}))))$ 이며, 이는 정규 수열의 상(image)이 아이젠부르크-그린-헤리스 추측을 만족할 경우에 성립한다.
• 증명은 국소 코호몰로지에 의한 극한 바티 수의 특성화에 기반하며, $(i,j-i)$ 가 $M$의 코너일 경우에 $\beta^{A}_{ij}(M) = \operatorname{Hilb}(H^{n-i}_{\mathfrak{m}_A}(M))_{j-n}$ 인 항등식을 사용한다.
• 저자들은 부분 캐스텔누오보-무르포드 정규성 $\operatorname{reg}_h(M)$ 을 사용한다. 이는 $\sup\{j-i : \beta_{ij}^A(M) \neq 0, i \geq n-h\}$ 으로 정의되며, 바티 테이블 코너와 국소 코호몰로지 지지의 관계를 설정한다.
• 저자들은 일반화된 초기 이상수들이 극한 바티 수를 유지한다는 사실을 활용하여 $R/I$ 와 $S/\epsilon_{\rm{CL}}(I)$ 를 비교한다.
• 핵심 기술 도구는 $\operatorname{reg}_h(R/I)$ 와 $\operatorname{reg}_h(S/\epsilon_{\rm{CL}}(I))$ 의 비교이며, EGH 가정 하에 첫 번째 값이 두 번째 값보다 위로 유계임을 보여준다.

실험 결과

연구 질문

• RQ1 바티 수가 아닌 국소 코호몰로지 모듈러스의 힐버트 급수에 대해 렉스-플러스-파워 부등식이 성립하는가?
• RQ2 국소 코호몰로지에 의해, 중등 이상수의 극한 바티 수가 그 렉스-플러스-파워 대응체의 것보다 위로 유계가 될 수 있는가?
• RQ3 어떤 조건에서 중등 이상수의 프로젝티브 차원 또는 캐스텔누오보-무르포드 정규성이 렉스-플러스-파워 이상수로의 전이 시 감소하지 않는가?
• RQ4 부분 캐스텔누오보-무르포드 정규성은 국소 코호몰로지 모듈러스의 지지와 바티 테이블 코너 사이에 어떤 관계를 가진다?
• RQ5 국소 코호몰로지 모듈러스의 힐버트 급수는 극한 바티 수와 그 바티 다이어그램 내 위치를 특성화하는 데 얼마나 활용될 수 있는가?

주요 결과

• 정규 수열의 상(image)이 아이젠부르크-그린-헤리스 추측을 만족할 경우, 국소 코호몰로지 모듈러스 $H^i_{\mathfrak{m}}(A/I)$ 의 힐버트 급수는 $H^i_{\mathfrak{m}}(A/(L + (X_1^{d_1}, \ldots, X_r^{d_r})))$ 의 것보다 위로 유계이다.
• 극한 바티 수 $\beta^{A}_{ij}(R/I)$ 는 $S/\epsilon_{\rm{CL}}(I)$ 의 것보다 위로 유계이며, 즉 $(i,j-i)$ 가 $S/\epsilon_{\rm{CL}}(I)$ 의 코너일 경우에 $\beta^{A}_{ij}(R/I) \leq \beta^{A}_{ij}(S/\epsilon_{\rm{CL}}(I))$ 이다.
• $R/I$ 의 모든 코너 $(i,j-i)$ 에 대해, $S/\epsilon_{\rm{CL}}(I)$ 의 코너 $(i',j'-i')$ 가 존재하여 $i \leq i'$ 이고 $j-i \leq j'-i'$ 를 만족한다. 이는 바티 영역의 포함 관계를 시사한다.
• 모든 $h$ 에 대해 부분 캐스텔누오보-무르포드 정규성은 $\operatorname{reg}_h(R/I) \leq \operatorname{reg}_h(S/\epsilon_{\rm{CL}}(I))$ 를 만족하며, 이는 바티 수와 코너에 대한 부등식을 암시한다.
• 아이젠부르크-그린-헤리스 추측이 성립하는 모든 경우에서, $R/I$ 의 프로젝티브 차원과 캐스텔누오보-무르포드 정규성은 렉스-플러스-파워 이상수 $S/\epsilon_{\rm{CL}}(I)$ 로의 전이 시 감소하지 않는다.
• 결과적으로, 고전적 렉스-플러스-파워 추측은 아이젠부르크-그린-헤리스 추측이 알려진 바 있는 이상수의 클래스에서 극한 바티 수에 대해 성립함을 확인한다.