[논문 리뷰] Characterizing Multigraded Regularity and Virtual Resolutions on Products of Projective Spaces

Juliette Bruce, Lauren Cranton Heller외 1명|arXiv (Cornell University)|2021. 10. 20.

Commutative Algebra and Its Applications인용 수 5

한 줄 요약

이 논문은 다중호그레디에이션 Castelnuovo–Mumford 정규성의 특성화를 프로젝티브 공간의 곱에서 캐시된 절단의 준선형 해상에 기반하여 제시한다. 모듈러 M이 d-정규임과 그 절단 M≥d가 차수 d에서 생성되는 준선형 해상식을 갖는 것은 필요이고 충분하며, 이는 이전 연구에서 제안된 가상 해상식이 이러한 절단의 최소 자유 해상식과 정확히 일치함을 보여주며, 정규성에 대한 코homology를 포함하지 않는 기준을 제공한다.

ABSTRACT

We explore the relationship between multigraded Castelnuovo--Mumford regularity, truncations, Betti numbers, and virtual resolutions on a product of projective spaces $X$. After proving a uniqueness theorem for certain minimal virtual resolutions, we show that the multigraded regularity region of a module $M$ is determined by the minimal graded free resolutions of the truncations $M_{\geq\mathbf d}$ for $\mathbf d\in\operatorname{Pic} X$. Further, by relating the minimal graded free resolutions of $M$ and $M_{\geq\mathbf d}$ we provide a new bound on multigraded regularity of $M$ in terms of its Betti numbers. Using this characterization of regularity and this bound we also compute the multigraded Castelnuovo--Mumford regularity for a wide class of complete intersections in products of projective spaces.

연구 동기 및 목표

• 프로젝티브 공간의 곱에서 다중호그레디에이션 정규성, 절단, Betti 수, 가상 해상식 간의 관계를 명확히 하기.
• Eisenbud–Goto의 정규성과 선형 해상식 간의 등가성 관계를 다중호그레디에이션 설정으로 확장하여, 선형성 대신 준선형성으로 대체하기.
• Berkesch–Erman–Smith의 의미에서 가상 해상식의 유일성 정리를 증명하여, 이들이 이러한 절단의 최소 자유 해상식과 정확히 일치함을 보이기.
• 모듈러의 정규 영역에 속하는 차수 d를 판단하기 위한 계산 가능하고 코homology를 포함하지 않는 기준을 제공하기.
• 새로운 특성화를 사용하여 프로젝티브 공간의 곱에서 광범위한 완전교차의 다중호그레디에이션 정규성을 계산하기.

제안 방법

• 다중호그레디에이션 자유 해상식에 대한 준선형성의 개념을 도입하고 정의하며, 이는 동반 차수 벡터의 양성분 합이 동반 차수에 상대적으로 제한된 조건으로 정의된다.
• ˇCech–Koszul 스펙트럴 시퀀스를 사용하여 M≥d의 Betti 수를 fM(d)의 푸리에–무카이 변환의 코homology와 연결한다. 항등식: dimk TorS_j(M≥d, k)d+a = h|a|−j(Pn, fM(d) ⊗ Ωa_Pn(a)) for |a| ≥ j ≥ 0.
• Beilinson 스펙트럴 시퀀스에서 코homological 소멸성을 활용하여, M의 d-정규성이 M≥d의 해상식의 준선형성을 유도함을 증명한다.
• 역방향을 증명: M≥d가 준선형 해상식을 갖는다면, 그 코어널은 d-정규임을 보이며, 이를 위해 4.2절에서 Hi_B(S)의 명시적 계산을 사용한다.
• Pn에서 전체 강한 예외적 컬렉션의 엔도모르피즘 대수 A에 대한 Bondal의 등가성(Db(Pn)와 D^b(mod−A) 사이)을 적용하여 가상 해상식의 유일성을 증명한다.
• Beilinson의 대각선 해상식과 관련 스펙트럴 시퀀스를 사용하여 가상 해상식의 구조와 Betti 수를 구성하고 분석한다.

실험 결과

연구 질문

• RQ1 프로젝티브 공간의 곱에서 고전적인 정규성과 선형 해상식 간의 등가성은 다중호그레디에이션 설정으로 어떻게 일반화될 수 있는가?
• RQ2 다중호그레디에이션 맥락에서 가상 해상식과 절단 M≥d의 최소 자유 해상식 간의 정확한 관계는 무엇인가?
• RQ3 코homology 계산 없이 Betti 수와 해상식의 구조만으로 다중호그레디에이션 정규성을 특성화할 수 있는가?
• RQ4 d-정규 모듈러의 절단 M≥d가 언제 준선형 해상식을 갖는가?
• RQ5 Berkesch–Erman–Smith의 의미에서 프로젝티브 공간의 곱에서 가상 해상식의 구조와 유일성은 무엇인가?

주요 결과

• H^0_B(M) = 0인 유한 생성 Zr-호그레디에이션 S-모듈러 M은 M≥d가 차수 d에서 생성되는 준선형 해상식을 갖는 것과 필요이고 충분히 일치한다.
• M≥d의 Betti 수는 날것의 페어링의 코homology를 통해 계산 가능하다: dimk TorS_j(M≥d, k)d+a = h|a|−j(Pn, fM(d) ⊗ Ωa_Pn(a)) for |a| ≥ j ≥ 0.
• [BES20, Thm. 2.9]에서 구성된 가상 해상식은 정확히 절단 M≥d의 최소 자유 해상식이며, 이는 최소성과 유일성을 보장한다.
• 차수 d에서 생성되는 준선형 해상식의 코어널은 d-정규이며, 이는 정규 영역에 속하는지 여부를 판단하기 위한 코homology를 포함하지 않는 기준을 제공한다.
• 프로젝티브 공간의 곱에서의 완전교차의 다중호그레디에이션 Castelnuovo–Mumford 정규성은 새로운 특성화를 통해 계산 가능하다.
• Pn에서 전체 강한 예외적 컬렉션의 엔도모르피즘 대수는 유도 등가성을 유도하며, 이는 가상 해상식의 유일성 증명에 기여한다.