Holonomic étale sheaves are constructible

技術要約：ホロノミック・エタール層は構成可能である

問題設定
本論文は、代数多様体上のエタール層における「構成可能性（constructibility）」と「ホロノミシティ（holonomicity）」という概念の関係を取り扱う。複素多様体上の $\mathcal{D}_X$-加群の文脈では、柏原の定理により、ホロノミック加群は構成可能であることが確立されている。代数的設定においては、ベインソンが、すべての「構成可能」なエタール層は、その特異支持（singular support）の既約成分の次元が基礎となるスキームの次元に等しいことを以前に証明しており、これにより構成可能層を「ホロノミック」なものとして特徴付けている（ただし、彼は非構成可能層に対するホロノミシティを明示的に定義してはいなかった）。

ここでの中心的な問題は、その逆である：構成可能性をあらかじめ仮定せずに、エタール層に対するホロノミシティの概念を定義できるか、また、この定義が構成可能性を導くか？著者らは、ホロノミック・エタール層は確かに構成可能であることを示すことを目的としており、これは柏原の定理のエタール版を提供するものである。

手法
著者らは、ベインソンの構成（元々は構成可能性を前提としていた）を拡張し、任意の（非構成的な）エタール層に対する「マイクロサポート（微小支持）」の枠組みを開発する。その手法は以下のステップに従う。

1. 幾何学的基礎（セクション1–3）： 本論文は、余接束 $T^*X$ の閉錐集合に関する必要な幾何学的言語を確立する。そして、余接写像の核に関する、ある射 $h: W \to X$ に関する性質である「$C$-横断性（$C$-transversality）」と、ある対 $(h, f)$ に関する「$C$-非的（$C$-acyclicity）」という2つの主要な性質を定義し、分析する。これらの概念はベインソンの研究から適応されたものであるが、関与する層が構成可能であることを仮定せずに厳密に定義されている。

2. マイクロサポートの定義（セクション4）： 著者らは、任意の（非構成的な）エタール層に対するマイクロサポートの定義を、任意の $C$-非的な射の対 $(h, f)$ に対して、射 $f$ が $h^*F$ に関して局所的に非的であることとして定義する。この定義は、非構成的な層へのマイクロサポートの概念を一般化するものである。主要な補題は、プルバック、押し出し、および区分的三角形などの操作の下でのマイクロサポートの振る舞いを確立している。

3. 特異支持の存在（セクション5）： 著者らは、滑らかなスキーム $X$ 上の任意の層 $F$ に対して、$F$ がマイクロサポートされる一意的な極小閉錐集合 $SSF$（特異支持）が存在することを証明する。

   • この証明は、問題を $X$ が射影空間 $\mathbb{P}^n$ である場合に帰着させることに依拠している。
   • ラドン変換（Radon transform）とルジャンドル変換（Legendre transform）を用いて、射影空間上のマイクロサポートを分析する。具体的には、著者らは包含多様体 $Q \subset \mathbb{P} \times \mathbb{P}^\vee$ の幾何学と、ラドン変換 $R$ およびその逆変換 $R^\vee$ の性質を利用して、層のマイクロサポートとその変換との関係を分析する。
   • このセクションは、特異支持の存在が構成可能性の仮定なしでも成立することを示しており、これは周（Tong Zhou）によって提起された点である。

4. ホロノミシティと構成可能性（セクション6）：

   • 定義： 層 $F$ がホロノミックであるとは、(1) その特異支持 $SSF$が$\dim SSF \leq \dim X$を満たし、(2) すべての幾何的点$x$において茎$F_x$ が構成可能であることを指す。
   • 主要定理： 著者らは、$F$ がホロノミックであれば、$F$ は構成可能であることを証明する。
   • 証明戦略： 証明は $\dim X$ に関する帰納法を用いる。ホロノミック層は、稠密な開集合上で局所定数（ゼロ切断上にマイクロサポートされる）であるという事実を利用する。この開集合の補集合に関連する区分的三角形と帰納的仮定を分析することにより、著者らは、その層が至る所で構成可能であることを示す。議論はまず完全体に対して確立され、次に完全閉包への基底変換を通じて一般の体へと拡張される。

主要な貢献と結果

• ホロノミシティの定義： 本論文は、構成可能性を前件として仮定しない、エタール層に対する厳密なホロノミシティの定義を導入している。
• 特異支持の存在： 任意の層（構成的なものに限らず）に対する特異支持 $SSF$の存在を確立し、$SSF$ の存在のために構成可能性の仮定が必要であるという疑問を解決した。
• 主要定理（定理6.3）： 本論文の中心的な結果は、ベインソンの定理の逆である：ホロノミック・エタール層は構成可能である。
  • 具体的には、$\dim SSF \leq \dim X$ かつすべての茎が構成可能であれば、その層自体は構成可能である。
• 特異スキームへの拡張： ホロノミシティの概念は、滑らかなスキームへの閉埋め込みを通じて特異スキーム上の層へと拡張され、この定義が埋め込みに依存しないことが証明されている。
• 安定性： 本論文は、有限型の射において、ホロノミック層の圏が標準的な操作（直像、逆像、コンパクト台付きの固有直像）の下で安定していることを確認している。

意義
本論文は、自身をホロノミック $\mathcal{D}_X$-加群に関する柏原の定理のエタール版であると主張している。柏原の定理が、ホロノミック $\mathcal{D}$-加群は構成可能な余係数を持つこと（リーマン・ヒルベルト対応の重要な要素）を主張するのと同様に、本研究は、ホロノミック・エタール層は構成可能であることを主張している。

著者らは、この結果が、リジッドな多様体のような文脈において期待される、同様のホロノミシティが定義され得る状況における「不十分な構成可能性の概念」に対する堅牢な代替物を提供すると述べている。本研究はベインソンの基礎的な論文[3]に直接依拠しており、構成可能性の仮定を取り除くために定義を洗練させ、「小さな」特異支持（次元 $\leq \dim X$）を持つという幾何学的条件と、点ごとの構成可能性を組み合わせることで、大域的な構成可能性を保証できることを証明している。