[논문 리뷰] Local Cohomology at Monomial Ideals

Mircea Mustaţă|ArXiv.org|2000. 01. 26.

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

한 줄 요약

이 논문은 단항 이상의 국소 호몰로지 모듈러스에 대한 조합적 기술을 단순 복합체와 앨리오크산 쌍대 이상의 베티 수를 사용하여 제시한다. 다중등급 성분이 Ext와 국소 호몰로지의 동치로 단순 복합체 호몰로지 군과 이sov를 보여주며, 쌍대 이상의 베티 수에 따라 인덱싱된 자연스러운 필터를 제공함으로써, 관련 소수의 명시적 계산과 특성화를 가능하게 한다.

ABSTRACT

For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner theory. As a first application we give an isomorphism Tor_i(B', k)_p\iso Ext^{|p|-i}(R/B,R)_{-p} for all p in {0,1}^n, where B' is the Alexander dual ideal of B. We deduce a canonical filtration of Ext^i(R/B,R) with succesive quotients of the form R/(X_{j_1},...,X_{j_i}) suitably shifted, the multiplicities being computed from the Betti numbers of B'. As a final application, we give a topological description for the associated primes of Ext^i(R/B,R).

연구 동기 및 목표

• 다항식환에서의 단항 이상 B에 대해 국소 호몰로지 모듈러스 H^i_B(R)의 조합적 기술을 제공하는 것.
• 제곱자유 단항 이상 B에 대해 앨리오크산 쌍대 B^∨의 베티 수를 사용하여 Ext^i_R(R/B, R)에 대한 필터를 수립하는 것.
• B^∨에 관련된 단순 복합체의 위상적 조건을 통해 R/B의 호몰로지 관련 소수를 특성화하는 것.
• 단순 복합체 호몰로지의 사용을 통해 Ext 및 국소 호몰로지의 다중등급 성분에 대한 명시적 공식을 유도하는 것.
• Hochster와 Eisenbud의 결과를 확장하여 Ext^i_R(R/B, R)의 구조를 B^∨의 베티 수와 연결하는 것.

제안 방법

• B의 루트의 프로베누스 거듭제곱 B_0^{[d]}를 사용하여 국소 호몰로지의 정의에 관련된 극한을 안정화하는 것.
• H^i_B(R)의 차수 α 성분을 B와 α의 부호에 따라 달라지는 복합체의 감소된 단순 호몰로지로 기술하는 것.
• R/ B에 대한 Ext^i_R(R/B, R)에 자연스러운 필터를 구성하며, 그 차수들은 R/P_α(α)와 B^∨의 베티 수 β_{l−i,α}(B^∨)의 텐서곱과 동치인 것.
• Hochster의 공식을 적용하여 Tor^R_{|α|−i}(B^∨, k)_α와 다중등급 Ext 성분 Ext^i_R(R/B, R)_{−α}를 연결하는 것.
• R-모듈러스의 구조를 유도된 호몰로지 사상으로 모델링하기 위해 단순 복합체 포함 사상의 사용.
• 단순 복합체 호몰로지의 제약 사상의 핵을 통해 관련 소수의 위상적 특성화.

실험 결과

연구 질문

• RQ1 단항 이상 B에 대해 H^i_B(R)의 다중등급 성분을 어떻게 조합적으로 기술할 수 있는가?
• RQ2 B가 제곱자유 단항 이상일 때, Ext^i_R(R/B, R)의 R-모듈러스로서의 구조는 어떠한가?
• RQ3 어떤 소수 이상 P_α가 Ext^i_R(R/B, R)의 관련 소수로 나타나며, 그 최소성은 어떤 조건에 의해 결정되는가?
• RQ4 앨리오크산 쌍대 B^∨의 베티 수는 Ext^i_R(R/B, R)의 구조를 어떻게 제어하는가?
• RQ5 Ext^i_R(R/B, R)의 관련 소수는 B^∨에서 유도된 복합체의 단순 호몰로지에 순수하게 기반하여 특성화될 수 있는가?

주요 결과

• Ext^i_R(R/B_0^{[d]}, R) → H^i_B(R)의 자연스러운 사상은 모든 j에 대해 α_j ≥ −d 를 만족하는 다중차수 α를 가진 원소들의 부분모듈러스로의 동치사상이다.
• 제곱자유 단항 이상 B에 대해, 0 = M_0 ⊂ ⋯ ⊂ M_n = Ext^i_R(R/B, R)인 자연스러운 필터가 존재하며, M_l / M_{l−1} ≅ ⨁_{|α|=l} (R/P_α(α))^{β_{l−i,α}(B^∨)}이다.
• 모든 α ∈ {0,1}^n에 대해 다중등급 성분 Ext^i_R(R/B, R)_{−α}는 Tor^R_{|α|−i}(B^∨, k)_α와 동치이다.
• Ext^i_R(R/B, R)의 관련 소수는 {P_α | β_{|α|−i,α}(B^∨) ≠ 0}에 포함되며, P_α가 Ass(Ext^i_R(R/B, R))에 속해 있는 것은 ∩_{j∈F} Ker(H^{i−2}(Δ_F; k) → H^{i−2}(Δ_{F∖j}; k))가 비자명할 때이다.
• 소수 P_α가 Ass(Ext^i_R(R/B, R))에서 최소일 때, β_{|α|−i,α}(B^∨) ≠ 0 이고, 모든 α′ < α, α′ ≠ α에 대해 β_{|α′|−i,α′}(B^∨) = 0 이다.
• 이 결과는 B와 B^∨의 베티 수 사이의 쌍대성 관계를 확장하며, Bayer, Charalambous, Popescu(1998)의 부등식을 복구하고 강화하며, Eagon–Reiner 및 Terai의 결과를 일반화한다.