[論文レビュー] Simplicial Differential Calculus, Divided Differences, and Construction of Weil Functors

Wolfgang Bertram|arXiv (Cornell University)|Sep 13, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 8

ひとこと要約

本稿では、位相的ベクトル空間または位相的環上の加群への写像へと差分を一般化する、新規の単体的微分積分学の枠組みを導入する。これは立方体的微分積分学における評価点の数を指数的（立方体的）から線形に減少させる。主な貢献は、正の特性でも有効である、切断された多項式環へのスカラー拡張を用いたWeil関手の新規構成法であり、階数 $k$ のWeil代数に対応する。これにより、階数因子を含まない自然なジャンクションバンドルおよび微分幾何学の定式化が可能になる。

ABSTRACT

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus has the advantage that the number of evaluation points growths linearly with the degree, and not exponentially as in the classical, "cubic" approach. In particular, it is better adapted to the case of positive characteristic, where it permits to define Weil functors corresponding to scalar extension from K to truncated polynomial rings K[X]/(X^{k+1}).

研究の動機と目的

• テイラー展開における階数因子 $1/k!$ を回避する微分積分学の枠組みを構築すること、特に正の特性において有効であること。
• 曲線から位相的ベクトル空間または位相的環上の加群への写像へと差分を一般化すること。
• 単体的手法を用いて、$\mathbb{K}[X]/(X^{k+1})$ の形の環へのスカラー拡張によりWeil関手を構成すること。
• 任意の特性（特に正の特性を含む）で一様に成立する、合成則およびジャンクションバンドル理論のバージョンを確立すること。
• 古典的立方体的微分積分学の代替として単体的枠組みを提供し、変数の数を $2^k$ から $k+1$ に削減すること。

提案手法

• 一般化された差分は、$k+1$ 個の評価点（空間変数 $v_0, \dots, v_k$ とスカラー係数 $s_0, \dots, s_k$ を含む）を用いた公式により定義され、次数 $k$ に対して変数の数が線形に増加する。
• 第 $k$ 階単体的微分は、スカラー係数 $\mathbf{s}$ がゼロに近づくときのこれらの一般化された差分の極限として定義され、その極限が存在し連続であることが条件となる。
• この構成は、ベース環 $\mathbb{K}$ から切断された多項式環 $\mathbb{K}[X]/(X^{k+1})$ へのスカラー拡張を用いる。これは階数 $k$ のWeil代数に対応する。
• ジャンクション関手 $\mathrm{SJ}^{(\mathbf{s})}$ は多様体上の関手として定義され、ファイバーが $V^{2^k - 1}$ に同型であり、ファイバーが $V^r$（$r = 2^k - 1$ または $r = k$）である局所的に自明なバンドルであることが示された。
• この理論は合成則を満たし、$\mathcal{C}^{[\infty]}$-圏においてジャンクションバンドル $\mathrm{SJ}^k M$ が多項式バンドルであることが証明され、正の特性における微分幾何学と整合性を持つ。
• 偏導関数の使用を避け、代わりに $k+1$ 個の点での評価に基づく対称的かつ内因的な構成に依存することで、一般のベース環および正の特性に対応可能になる。

実験結果

リサーチクエスチョン

• RQ1 単体的アプローチを用いることで、テイラー展開における $1/k!$ 要素を回避できる微分積分学が構築可能か？
• RQ2 一般化された差分の構成が、任意の特性における多様体間写像に対して一貫した合成則を満たすか？
• RQ3 特に $\mathbb{K}[X]/(X^{k+1})$ の形の環に対して、単体的手法を用いてWeil関手を体系的に構成可能か？
• RQ4 単体的ジャンクション関手 $\mathrm{SJ}^{(\mathbf{s})}$ は局所的に自明であり、多様体上のアトラスの選択に依存しないか？
• RQ5 単体的枠組みが、古典的手法が失敗する正の特性へと自然かつ内因的にジャンクションバンドルを定式化できるか？

主な発見

• 立方体的アプローチにおける評価点の数を $2^k$ から単体的アプローチでは $k+1$ に削減することで、指数的増加から線形増加に変化する。
• 一般化された差分の公式により、階数 $k$ の微分が階数因子を含まない極限として定義され、正規化なしにテイラー展開と直接的な関係を確立できる。
• $\mathbb{K}[X]/(X^{k+1})$ へのスカラー拡張によるWeil関手の構成は、階数因子が消えるために古典的テイラー展開が失敗する正の特性でも有効である。
• ジャンクションバンドル $\mathrm{SJ}^k M$ は $M$ 上の多項式バンドルであり、ファイバーが $V^{2^k - 1}$ に同型であることが示された。バンドル構造は使用したアトラスとは独立である。
• 単体的ジャンクション関手 $\mathrm{SJ}^{(\mathbf{s})}$ は合成則を満たし、バンドル $FM \to M$ は典型的なファイバー $V^r$（$r = 2^k - 1$ または $r = k$）を持つ局所的に自明なバンドルである。
• この理論は、高次の接バンドルの切断に依存しない自然かつ内因的なジャンクションバンドルの定式化を提供し、一般のベース環および正の特性に対応可能である。