[論文レビュー] Incidence algebras of simplicial complexes

Romàn R. Zapatrin|arXiv (Cornell University)|Jan 12, 2000

Advanced Combinatorial Mathematics参考文献 4被引用数 14

ひとこと要約

この論文は、単体複体のインシデント代数が自然に微分計算の構造を備えていることを確立し、単体複体とそのインシデント代数の間の対応が微分モジュライの圏への反変函手であることを示している。一般の有向部分集合とは異なり、単体複体は単体写像を通じて代数準同型を誘導し、それらのインシデント代数にカルタンに類似した微分を備えさせ、離散微分幾何構造を可能にする。

ABSTRACT

With any locally finite partially ordered set $K$ its incidence algebra $Ω(K)$ is associated. We shall consider algebras over fields with characteristic zero. In this case there is a correspondence $K \leftrightarrow Ω(K)$ such that the poset $K$ can be reconstructed from its incidence algebra up to an isomorphism -- due to Stanley theorem. In the meantime, a monotone mapping between two posets in general induces no homomorphism of their incidence algebras. In this paper I show that if the class of posets is confined to simplicial complexes then their incidence algebras acquire the structure of differential moduli and the correspondence $K\leftrightarrowΩ(K)$ is a contravariant functor.

研究の動機と目的

• 単体複体のインシデント代数が微分計算構造を備えているかどうかを調査すること。
• 一般の有向部分集合の間の単調写像が、それらのインシデント代数上で代数準同型を誘導しないという問題を解決すること。
• 単体複体とそのインシデント代数の間の関手的対応を確立し、一般にインシデント代数が有向部分集合の準同型を尊重しないという問題を克服すること。
• 単体複体が離散的時空多様体としての性質を示すことで、時空の離散的近似のための数学的基盤を提供すること。

提案手法

• 論文は、有向部分集合における P ≤ Q に対して、射影子 |P⟩⟨Q| の線形結合としてインシデント代数の要素を表すディラック記法を用いる。
• インシデント代数 Ω(𝒦) は、このような射影子の線形包として定義され、Q = R のときクロネッカーのデルタ δ_QR を用いて乗法が定義される。
• 「フェア・ストーリー」(P₀, ..., Pₙ) という概念が導入され、各 Pᵢ = Pᵢ₋₁ + vᵢ で、異なる頂点 vᵢ を加えることで構成される単体の列として定義され、微分構造の基盤をなす。
• 微分構造は境界作用素 d により定義され、d(P₀, ..., Pₙ) = ∑ᵢ (−1)ⁱ (P₀, ..., P̂ᵢ, ..., Pₙ) であり、インシデント代数がこの作用に対して閉じていることが示される。
• 論文は、単体写像 π: 𝒦′ → 𝒦 がインシデント代数上に微分構造を保存する引き戻し準同型 π* を誘導することを証明し、π* が微分代数準同型であることを示している。
• また、不条理なストーリーによって生成される単体イデアルが π* によって単体イデアルに写されることが示され、微分計算と整合的であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 単体複体のインシデント代数は、滑らかな多様体のそれと類似した微分計算構造を備えているか？
• RQ2 なぜ一般の有向部分集合の準同型とは異なり、単体複体間の単体写像がそのインシデント代数上で代数準同型を誘導するのか？
• RQ3 単体複体のインシデント代数は、滑らかな多様体上の微分形式の代数とどのように関係するか？
• RQ4 単体複体の圏と微分代数の圏との間に関手的対応が存在するか？
• RQ5 「フェア・ストーリー」は、インシデント代数上の微分構造を定義する上で果たす役割は何か？

主な発見

• 単体複体のインシデント代数は、単体の列に定義されたカルタン型微分 d を備えた自然な微分計算構造を有する。
• 単体写像 π: 𝒦′ → 𝒦 は、インシデント代数上に微分構造を保存する引き戻し準同型 π* を誘導し、対応 𝒦 ↦ Ω(𝒦) が反変函手であることを示している。
• 引き戻し π* はフェア・ストーリーをフェア・ストーリーに、不条理なストーリーを不条理なストーリーの和に写し、微分イデアル構造と整合的である。
• インシデント代数 Ω(𝒦) は、微分計算を備えた有限次元半単純可換代数と同型であり、微分モジュライの圏に属する。
• この構成は、単体複体が有限次元の「離散的微分多様体」として振る舞う離散的微分幾何のアナロジーを提供する。
• 結果として、時空を単体複体としてモデル化するための厳密な代数的枠組みが得られ、離散的時空モデルの粗視化と精錬が一貫して可能になる。