[논문 리뷰] Regularity, singularities and $h$-vector of graded algebras

Hailong Dao, Linquan Ma외 1명|arXiv (Cornell University)|2019. 01. 04.

Commutative Algebra and Its Applications참고 문헌 23인용 수 6

한 줄 요약

이 논문은 체 위의 표준 중첩 대수에서, 대수가 Serre 조건 $(S_r)$를 만족하고 미약한 특이성을 가진다면(특성 0에서는 Du Bois, 양의 특성에서는 $F$-pure), $h$-벡터가 $i = 0,\dots,r$에 대해 $h_i \geq 0$임을 증명한다. 핵심 기여는 Ext 모듈의 정규성에 대한 날카운 경계를 확립하여 이러한 특이성에 대해 Kodaira 유형의 소멸 정리들을 도출하고, 다중도 경계에서 등호가 성립할 경우 대수가 Cohen-Macaulay임을 증명하는 데 있다.

ABSTRACT

Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that if $R$ satisfies Serre's condition $(S_r)$ and have reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0,\dots, h_r\geq 0$. Furthermore the multiplicity of $R$ is at least $h_0+h_1+\dots+h_{r-1}$. We also prove that equality in many cases forces $R$ to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain Ext modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others.

연구 동기 및 목표

• 표준 중첩 대수 $R$의 $\mathrm{Spec\;}R$ 또는 $\mathrm{Proj\;}R$의 특이성이 $h$-벡터에 어떤 영향을 미치는지 이해하기.
• Serre 조건 $(S_r)$ 하에서 $h$-벡터 항목 $h_0, \dots, h_r$가 비음성인 조건을 규명하기.
• Cohen-Macaulay성과 $h$-벡터의 비음성에 관한 고전 결과를 미약한 특이성을 가진 대수로 확장하기.
• Murai-Terai의 작업을 일반화하여, 정규성 경계를 통한 $\operatorname{Ext}$ 모듈에 대한 Kodaira 유형의 소멸 정리 수립하기.
• 다중도 경계와 초기 $h_i$의 소멸이 $R$가 Cohen-Macaulay임을 강제하는 조건을 증명하며, Bertram-Ein-Lazarsfeld의 결과를 확장하기.

제안 방법

• 결함 모듈과 관련된 $\operatorname{Ext}$ 모듈의 정규성 조건인 $(MT_r)$ 조건을 도입하고 분석하기.
• 스펙트럴 시퀀스 추론과 Serre 대칭을 사용하여 특이 다양체 위의 코호몰로지에 대한 경계 설정하기.
• 낮은 코드리미너에서 Du Bois 또는 $F$-pure 조건 하에 $H_{\mathfrak{m}}^j(R)_{<0}$의 소멸을 $j \leq d-k$ 조건에서 증명하기.
• 정리 3.2와 3.3을 적용하여 이중화 복합체를 분해하고 지지 차원을 통한 코호몰로지 제어하기.
• 지지 차원 $\leq k-1$인 짧은 정규 수열 $0 \to h^{-(d-1)}(\underline{\omega}_X^\bullet) \to h^{-(d-1)}(\omega_X^\bullet) \to C \to 0$을 사용하여 소멸을 증명하기.
• $h$-벡터 정의 $H_R(t) = \frac{h_0 + \cdots + h_s t^s}{(1-t)^d}$를 활용하여 코호몰로지 경계를 $h$-벡터의 비음성으로 변환하기.

실험 결과

연구 질문

• RQ1 특이성과 깊이에 어떤 조건이 성립할 경우, 표준 중첩 대수의 $h$-벡터가 $i = 0,\dots,r$에 대해 $h_i \geq 0$를 만족하는가?
• RQ2 Cohen-Macaulay 경우를 초월하여, Du Bois 또는 $F$-pure 특이성을 가진 대수로 $h$-벡터의 degree $r$까지의 비음성 성질을 일반화할 수 있는가?
• RQ3 $(S_r)$ 조건과 미약한 특이성 하에서 $R$의 다중도 $e(R)$가 $h_0 + \cdots + h_{r-1}$ 이상임을 보장하는가?
• RQ4 $h_i = 0$ for $i \leq r$ 또는 정규성 $< r$일 때, 언제 $R$가 Cohen-Macaulay가 되는가?
• RQ5 전역적인 Du Bois 또는 $F$-pure 특이성 조건을 국소적 또는 코드리미너 단위 조건으로 약화시켜도 $h_i \geq 0$ 성질이 유지되는가?

주요 결과

• 대수가 $(S_r)$를 만족하고 특성 0에서는 Du Bois, 양의 특성에서는 $F$-pure이면, 모든 $i = 0,\dots,r$에 대해 $h_i \geq 0$이다.
• 대수 $R$의 다중도는 $h_0 + h_1 + \cdots + h_{r-1}$ 이상이며, 등호가 성립할 경우 $R$는 Cohen-Macaulay이다.
• 대수 $R$의 Castelnuovo-Mumford 정규성이 $r$ 미만이거나 어떤 $i \leq r$에 대해 $h_i = 0$이면, $R$는 Cohen-Macaulay이다.
• $h_r + h_{r+1} + \cdots + h_s \geq 0$이 성립하며, 이는 다중도 경계와 동치이다.
• 다중도 $e + l \geq d_1 + \cdots + d_e$를 만족하고 MJ-로그 캐논리컬 특이성을 가진 대수는, 균일하고 동차적일 경우 $R$는 Cohen-Macaulay이다.
• 이 결과는 Murai-Terai의 단순 복합체에 대한 정리의 일반화이며, Bertram-Ein-Lazarsfeld의 Cohen-Macaulay 기준을 미약한 특이성으로 확장한다.