代数幾何学 · 2026-10-22

The recent counterexamples to the Eisenbud-Schreyer-Weyman Ulrich problem (2003) and to Hochster's small Cohen-Macaulay conjecture (1973): a survey, with a generalization to arbitrary dimension

Chern数によるsmall Cohen–Macaulay加群の障害と任意次元への拡張

Cristian Anghel

cristian-anghel-1sfzbgt chern-classes vector-bundles-sheaves stability singularities positivity Singularities 特異点・特異性 Positivity 正値性 Vector bundles and sheaves ベクトル束・層 Stability of bundles and sheaves 束・層の安定性 Chern classes and Chern numbers Chern類・Chern数 Chern class Chern classes Chern number Chern numbers

arXiv Abstract

In September 2026 four preprints and an AI-generated manuscript moved one numerical obstruction from projective geometry to local algebra. For a smooth complex projective surface $Y$ with an ample, globally generated divisor $H$ such that $H^2<\sigma(Y)$, the signature, one obtains in turn: no Ulrich bundles when $H$ is very ample (Anghel, arXiv:2609.02718; extended to every dimension by Lopez, arXiv:2609.06678), answering negatively the Eisenbud-Schreyer-Weyman question of 2003 for sheaves supported on the whole variety; no arithmetically Cohen-Macaulay bundles, i.e. section rings without graded maximal Cohen-Macaulay modules in characteristic zero (Anghel, arXiv:2609.15589); and complete local domains without small Cohen-Macaulay modules, counterexamples to Hochster's 1973 conjecture, if $K_Y\equiv4H$ (Chen, arXiv:2609.24142, proposed) or $\sigma>2H^2$ (OpenAI, released 6 October). We recall the definitions and main statements, and add two things. First, through a finite projection to $\mathbb P^2$ and an identity already present in the OpenAI manuscript, the three obstructions become one variance identity; for surfaces this explains the factor $2$ between the graded bound $\sigma\le H^2$ and the local $\sigma\le2H^2$. Second, we generalize the argument of the OpenAI manuscript to every dimension $m\ge2$, with complete proofs: if $X$ is a smooth complex projective variety of dimension $m$ and $H$ an ample, globally generated divisor, a small Cohen-Macaulay module over the completed section ring of $(X,H)$ forces $(K_X^2-2c_2(X))\cdot H^{m-2}\le(m+4)H^m$. Consequently the completed section rings of all Hesse pairs, including the ball quotient of the first preprint, have no small Cohen-Macaulay module, and products of Hesse surfaces with projective spaces give complete local domains with an isolated singularity, of every dimension $\ge3$, without small Cohen-Macaulay modules.

日本語要約

本稿は、偏極曲面上のUlrich束の障害が、aCM束と次数付きMCM加群、さらに完備局所環上のsmall Cohen–Macaulay加群の障害へ発展した経緯を整理する。有限射による直像の分散恒等式を通じて各障害を比較し、曲面で次数と符号数を比べる際の係数の違いを説明する。加えて、滑らかな複素射影m次元多様体と豊富かつ大域生成な因子Hについて、small Cohen–Macaulay加群の存在から (K²−2c₂)・Hの(m−2)乗が(m+4)Hのm乗以下になることを示す。この任意次元への拡張から、各次元三以上に孤立特異点をもつ完備正規局所整域の反例を得る。

In September 2026 four preprints and an AI-generated manuscript moved one numerical obstruction from projective geometry to local algebra. For a smooth complex projective surface $Y$ with an ample, globally generated divisor $H$ such that $H^2<\sigma(Y)$, the signature, one obtains in turn: no Ulrich bundles when $H$ is very ample (Anghel, arXiv:2609.02718; extended to every dimension by Lopez, arXiv:2609.06678), answering negatively the Eisenbud-Schreyer-Weyman question of 2003 for sheaves supported on the whole variety; no arithmetically Cohen-Macaulay bundles, i.e. section rings without graded maximal Cohen-Macaulay modules in characteristic zero (Anghel, arXiv:2609.15589); and complete local domains without small Cohen-Macaulay modules, counterexamples to Hochster's 1973 conjecture, if $K_Y\equiv4H$ (Chen, arXiv:2609.24142, proposed) or $\sigma>2H^2$ (OpenAI, released 6 October). We recall the definitions and main statements, and add two things. First, through a finite projection to $\mathbb P^2$ and an identity already present in the OpenAI manuscript, the three obstructions become one variance identity; for surfaces this explains the factor $2$ between the graded bound $\sigma\le H^2$ and the local $\sigma\le2H^2$. Second, we generalize the argument of the OpenAI manuscript to every dimension $m\ge2$, with complete proofs: if $X$ is a smooth complex projective variety of dimension $m$ and $H$ an ample, globally generated divisor, a small Cohen-Macaulay module over the completed section ring of $(X,H)$ forces $(K_X^2-2c_2(X))\cdot H^{m-2}\le(m+4)H^m$. Consequently the completed section rings of all Hesse pairs, including the ball quotient of the first preprint, have no small Cohen-Macaulay module, and products of Hesse surfaces with projective spaces give complete local domains with an isolated singularity, of every dimension $\ge3$, without small Cohen-Macaulay modules.

Ulrich束、aCM束、完備局所環上のsmall Cohen–Macaulay加群の非存在を、射影多様体の次数とChern数の比較から整理する。複素射影的な滑らかなm次元多様体と豊富かつ大域生成な因子について、完備切断環上のsmall Cohen–Macaulay加群の存在に必要な不等式を任意次元で示し、その違反から孤立特異点をもつ反例を得る。

arXiv
2610.30027v1
初回投稿日
2026-10-21
原論文のライセンス
Creative Commons Attribution 4.0 International (CC BY 4.0)
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

Ulrich束が存在しないこと、aCM束が存在しないこと、切断環の完備化上にsmall Cohen–Macaulay加群が存在しないことは、同じ主張ではない。本稿はこの三段階を区別し、曲面の次数と符号数という数値的障害が、どの追加の議論を経て局所代数へ移るのかを整理する。

単なる文献紹介に加え、有限射による直像の分散を用いて各障害を一つの計算にまとめる。曲面では、次数付きの問題と完備局所環の問題で必要な数値条件に二倍の差が生じることが、この見方で説明される。

さらに本稿自身の拡張として、任意次元におけるChern類の不等式を与える。その不等式を破る射影多様体を用い、次元三以上のそれぞれに孤立特異点をもつ完備正規局所整域でsmall Cohen–Macaulay加群を許さない例を得る。以下は著者がAbstractとIntroductionで述べる結果の紹介であり、参照先の証明を独立に検証したものではない。

背景と問題設定

滑らかな複素射影曲面 $Y$ と偏極 $H$ に対し、切断環を

$$ R(Y,H)=\bigoplus_{t\geq0}H^0(Y,\mathcal O_Y(tH)) $$

とし、その頂点での完備化を $\widehat R$ と書く。Introductionが区別する三つの存在問題は、Ulrich束、aCM束すなわち次数付きMCM加群、$\widehat R$ 上のsmall Cohen–Macaulay加群である。存在はこの順に含意されるので、最初の段階の非存在だけから最後の段階の非存在を結論してはならない。

比較の基礎となる曲面の次数と符号数は

$$ d=H^2,\qquad \sigma(Y)=K_Y^2-8\chi(\mathcal O_Y) =\frac{K_Y^2-2c_2(Y)}{3} $$

である。既存のUlrich・aCM障害は $H^2<\sigma(Y)$ を用いるのに対し、Introductionが紹介する局所的な障害の一つは $2H^2<\sigma(Y)$ を用いる。前者のUlrich問題には非常に豊富という仮定があり、aCMと局所的な条件では豊富かつ大域生成が使われる。$K_Y\equiv4H$ を追加する別の局所的議論は、Introduction自身が「proposed」と区別している。

主結果

任意次元での局所的なChern類障害（Theorem 10.3のIntroductionでの記述）

滑らかな複素射影多様体 $X$ の次元を $m\geq2$ とし、$H$ を豊富かつ大域生成な因子とする。完備切断環 $\widehat{R(X,H)}$ がsmall Cohen–Macaulay加群をもつなら、

$$ \bigl(K_X^2-2c_2(X)\bigr)\cdot H^{m-2}\leq(m+4)H^m $$

が必要である。したがって厳密な逆向き不等式が非存在判定になる。$m=2$ では $\sigma(Y)\leq2H^2$ に戻る。IntroductionはUlrich・aCM束の側の係数 $m+1$ と対比しており、異なる存在問題を同じ閾値で扱っていない。

孤立特異点をもつ各次元の例（Corollaries 10.9, 10.10）

Introductionでは概略として次のように述べられている。適切なHesse曲面と射影空間の積 $X=Y_n\times\mathbb P^{m-2}$ に上の判定を適用すると、任意の次元三以上で、孤立特異点をもつ完備正規局所整域でsmall Cohen–Macaulay加群をもたない例が得られる。切断環はもとの射影多様体より一次元高い。この記述だけから積上の偏極の詳細を補ってはいない。

曲面の既存族についても、Hesse対 $n\geq3$、dual Hesse対 $n\geq6$、complete-quadrangle対 $n\geq7$ の完備切断環に非存在が従うことがCorollary 9.3として紹介される。標数零という設定は本質的であり、正標数に同じ反例をそのまま移す主張ではない。

証明の見取り図

Introductionが説明する共通の計算は、$f^*\mathcal O_{\mathbb P^2}(1)=\mathcal O_Y(H)$ を満たす有限射 $f:Y\to\mathbb P^2$ を介した直像の分散恒等式である。半安定な商をもつフィルトレーションとBogomolov不等式が、Chern類の情報を数値的な制限へ変換する。

三つの問題で変わるのは、直像が自明か、直和分解するか、例外平面の外で自明な層の制限として現れるか、という幾何学的情報である。局所問題の任意次元への拡張はSection 10に置かれるが、本記事はIntroductionに示された不等式と構成の役割だけを述べ、その後の証明計算を再構成しない。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Abstract p. 1；Section 1, pp. 2–4
  • Introduction中で言及された主要結果: Introductionに述べられたTheorem 10.3、Corollaries 9.3, 10.9, 10.10、Proposition 9.1
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2610.30027v1
  • 確認したライセンス: Creative Commons Attribution 4.0 International (CC BY 4.0)
  • source_scope: Abstract and Introduction