[논문 리뷰] A note on the growth of regularity with respect to Frobenius

Wenliang Zhang|arXiv (Cornell University)|2015. 11. 30.

Advanced Topics in Algebra참고 문헌 2인용 수 5

한 줄 요약

이 논문은 정수계수의 양의 특성에서 다항식환 $ R = k[x_1,\dots,x_n]/I $ 과 동차 이상수 $ J $ 에 대해, 국소코homology 모듈 $ H^s_{\frak m}(R/J^{[p^e]}) $ 의 정규성(regularity)이 $ p^e $ 에 대해 최대 선형적으로 증가함을 증명한다. 주요 결과는 $ s \geq \dim(Npd(R/J)) - 1 $ 일 때, $ \operatorname{reg}(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $ 를 만족하는 상수 $ C $ 가 존재하며, 이는 $ e $ 에 대해 독립적임을 보여주며, Frobenius 거듭제곱과 날카로운 닫힘 이론과 관련된 성장 문제를 해결한다.

ABSTRACT

Let $R=k[x_1,\dots,x_n]/I$ be a standard graded $k$-algebra where $k$ is a field of prime characteristic and let $J$ be a homogeneous ideal in $R$. Denote $(x_1,\dots,x_n)$ by $\mathfrak{m}$. We prove that there is a constant $C$ (independent of $e$) such that the regularity of $H^s_{\mathfrak{m}}(R/J^{[p^e]})$ is bounded above by $Cp^e$ for all $e\geq 1$ and all integers $s$ such that $s+1$ is at least the dimension of the locus where $R/J$ doesn't have finite projective dimension.

연구 동기 및 목표

• 양의 특성에서의 다항식환에 대해 Frobenius 거듭제곱에 의한 Castelnuovo-Mumford 정규성의 선형 성장에 대한 추측을 해결하기 위해.
• 모듈 $ H^s_{\frak m}(R/J^{[p^e]}) $ 의 차수에 대한 균일한 상界를 $ e $ 가 증가함에 따라 확립하기 위해.
• 이 모듈의 정규성이 $ p^e $ 에 대해 최대 선형적으로 증가함을 보여주기 위해, 이때 상수는 $ e $ 에 따라 달라지지 않도록 하기 위해.
• 이 정규성 상계를 $ F $-점프 계수의 이산성과 날카로운 닫힘 성질과 연결하기 위해.
• 비유한 프로젝티브 차원을 가진 국소에서 제어 가능한 영역에 대해 알려진 정규성 성장 결과를 일반화하기 위해.

제안 방법

• 모듈 $ R/J^{[p^e]} $ 의 군집적 구조를 분석하기 위해 Frobenius 역상 $ F^e_*R $ 를 사용하며, $ \deg(F^e_*r) = \frac{1}{p^e}\deg(r) $ 를 만족한다.
• 프스키네-스피로 약성 렘마를 적용하여, $ M $ 이 유한 프로젝티브 차원을 가질 경우 $ \operatorname{Tor}_i^R(F^e_*R, M) = 0 $ 이 되는 $ i \geq 1 $ 을 보인다.
• Čech 복합체와 $ M $ 의 자유 해체로부터 이중복합체를 구성하며, 항목 $ \mathcal{F}_i \otimes_R \mathcal{C}_j \otimes_R F^e_*R $ 를 사용한다.
• 이중복합체의 스펙트럴 시퀀스를 분석하여, $ H^s_{\frak m}(M \otimes_R F^e_*R) $ 가 전체 복합체 호모로지의 부분몫군임을 보인다.
• 항목 $ \operatorname{Tor} $-모듈의 차수에 대한 차수 제약 조건을 $ a(H^j_{\frak m}(F^e_*R)) = \frac{1}{p^e}a(H^j_{\frak m}(R)) $ 를 통해 차수의 성장을 통제한다.
• 등식 $ R/J \otimes_R F^e_*R \cong F^e_*R/J^{[p^e]} $ 를 적용하여, $ F^e_*R $-모듈에서의 상한을 $ R/J^{[p^e]} $ 모듈로 이전한다.

실험 결과

연구 질문

• RQ1 모든 $ e \geq 1 $ 에 대해 $ H^s_{\frak m}(R/J^{[p^e]}) $ 의 정규성이 $ p^e $ 에 대해 선형적으로 증가하는가?
• RQ2 모든 $ e $ 에 대해 독립적인 상수 $ C $ 가 존재하여 $ \operatorname{reg}(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $ 를 만족하는가?
• RQ3 비유한 프로젝티브 차원의 위치 $ Npd(R/J) $ 는 정규성이 선형적으로 증가하는 범위인 $ s $ 의 범위를 결정하는 데 어떤 역할을 하는가?
• RQ4 국소코homology 모듈의 Frobenius 작용은 그 최상위 성분의 차수에 어떤 영향을 미치는가?
• RQ5 이 정규성 상계는 양의 특성 다항식환에서 $ F $-점프 계수의 이산성을 암시하는가?

주요 결과

• 모든 $ e \geq 1 $ 과 $ s \geq \dim(Npd(M)) - 1 $ 에 대해, $ C $ 가 $ e $ 에 따라 달라지지 않는 상수일 때, $ a(H^s_{\frak m}(M \otimes_R F^e_*R)) \leq C $ 를 만족하는 상수가 존재한다.
• $ s \geq \dim(Npd(R/J)) - 1 $ 일 때, $ H^s_{\frak m}(R/J^{[p^e]}) $ 의 정규성이 $ p^e $ 에 대해 최대 선형적으로 증가하며, 특히 $ a(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $ 를 만족한다.
• 이 상한은 모든 $ e \geq 1 $ 에 대해 균일하게 유지되며, 상수 $ C $ 는 $ e $ 에 따라 달라지지 않고 $ R $ 과 $ J $ 에만 의존한다.
• 결과적으로 $ \operatorname{reg}(S/(I + J^{[p^e]})) \leq Cp^e $ 를 모든 $ e \geq 1 $ 에 대해 만족함을 보여주며, 카츠만의 질문에 대한 긍정적 해답을 뒷받침한다.
• 상한은 $ s \geq \dim(R/J) - 1 $ 로까지 확장되며, $ \dim(Npd(R/J)) \leq \dim(R/J) $ 이기 때문이다.
• 증명은 이중복합체의 스펙트럴 시퀀스 분석과 프스키네-스피로 약성 렘마를 통한 차수 통제에 기반한다.