[論文レビュー] The Cohomology for Wu Characteristics

Oliver Knill|arXiv (Cornell University)|Mar 19, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 6

ひとこと要約

本稿は、有限抽象的単体複体に対して、Wu特性を介して高次相互作用を捉えるために、単体的コホモロジーを一般化する新しいコホモロジー理論——相互作用コホモロジー——を導入する。この理論は、$ k $-番目の Wu 特性 $ \omega_k $ と整合するコホモロジー $ H^p_k(G_1,\dots,G_k) $ を定義し、バーチカル分割に関して不変であることを示し、クーンフェルトの公式を満たし、$ k > 1 $ に対してリーマン固定点定理とホッジ理論を一般化する。これにより、メビウスの帯と円筒のように位相的に類似した空間の代数的区別が可能になる。

ABSTRACT

While Euler characteristic X(G)=sum_x w(x) super counts simplices, Wu characteristics w_k(G) = sum_(x_1,x_2,...,x_k) w(x_1)...w(x_k) super counts simultaneously pairwise interacting k-tuples of simplices in a finite abstract simplicial complex G. More general is the k-intersection number w_k(G_1,...G_k), where x_i in G_i. We define interaction cohomology H^p(G_1,...,G_k) compatible with w_k and invariant under Barycentric subdivison. It allows to distinguish spaces which simplicial cohomology can not: it can identify algebraically the Moebius strip and the cylinder for example. The cohomology satisfies the Kuenneth formula: the Poincare polynomials p_k(t) are ring homomorphisms from the strong ring to the ring of polynomials in t. The Dirac operator D=d+d^* defines the block diagonal Hodge Laplacian L=D^2 which leads to the generalized Hodge correspondence b_p(G)=dim(H^p_k(G)) = dim(ker(L_p)) and Euler-Poincare w_k(G)=sum_p (-1)^p dim(H^p_k(G)) for Wu characteristic. Also, like for traditional simplicial cohomology, isospectral Lax deformation D' = [B(D),D], with B(t)=d(t)-d^*(t)-ib(t), D(t)=d(t)+d(t)^* + b(t) can deform the exterior derivative d. The Brouwer-Lefschetz fixed point theorem generalizes to all Wu characteristics: given an endomorphism T of G, the super trace of its induced map on k'th cohomology defines a Lefschetz number L_k(T). The Brouwer index i_T,k(x_1,...,x_k) = product_j=1^k w(x_j) sign(T|x_j) attached to simplex tuple which is invariant under T leads to the formula L_k(T) = sum_T(x)=x i_T,k(x). For T=Id, the Lefschetz number L_k(Id) is equal to the k'th Wu characteristic w_k(G) of the graph G and the Lefschetz formula reduces to the Euler-Poincare formula for Wu characteristic.

研究の動機と目的

• Wu 特性 $ \omega_k $ と整合するコホモロジー理論を構築し、$ k=1 $ を超えて単体的コホモロジーを拡張すること。
• 単体的コホモロジーが同一の空間、たとえばメビウスの帯と円筒を区別できる代数的不変量を提供すること。
• オイラー＝ポワンカレおよびリーマン固定点公式のような古典的定理を、高次元の Wu 特性へ一般化すること。
• 連続体の類似物が存在しないにもかかわらず、$ k>1 $ に対して楕円型複体とディラック作用素が定義される離散微分積分学の枠組みを確立すること。

提案手法

• $ k $-重積 $ \omega_k(G_1,\dots,G_k) $ を、互いに交わる $ k $-重単体の組の和として定義し、各単体 $ x_i $ の $ \omega(x_i) $ で重みづけを行う。
• 単体的コホモロジーのインシデント行列を一般化する、$ k $-重積複体に作用する外微分 $ d_k $ を構成する。
• ディラック作用素 $ D_k = d_k + d_k^* $ とその平方 $ L_k = D_k^2 $ を定義し、ブロック対角のラプラシアンを導く。
• 一般化されたホッジ定理を証明する：$ \dim(H^p_k(G)) = \dim(\ker(L_k^{(p)})) $ であり、コホモロジーと調和形式を結びつける。
• クーンフェルトの公式を確立する：$ p_k(t) = \sum_p \dim(H^p_k(G)) t^p $ は、強さの環から $ \mathbb{Z}[t] $ への環準同型である。
• コホモロジー構造を維持する等スペクトル的ラクス変形 $ \dot{D} = [B(D), D] $ を導入する。

実験結果

リサーチクエスチョン

• RQ1 Wu 特性が捉える高次相互作用を一般化するコホモロジー理論を構築することは可能か？
• RQ2 このコホモロジーは、単体的コホモロジーと $ f $-ベクトルが同一の空間、たとえばメビウスの帯と円筒を区別できるか？
• RQ3 $ k > 1 $ に対して、リーマン固定点公式は Wu 特性へ拡張可能か？その場合、インデックスはどのように定義されるか？
• RQ4 相互作用コホモロジーはバーチカル分割に関して不変であり、クーンフェルト型の公式を満たすか？
• RQ5 $ k > 1 $ に対して、一般化されたホッジ理論およびスペクトル性質（例：スペクトルのスーパーシンメトリー）を確立できるか？

主な発見

• 相互作用コホモロジー $ H^p_k(G_1,\dots,G_k) $ はバーチカル分割に関して不変であり、その組み合わせ的性質を裏付ける。
• $ k=2 $ の場合、単体的コホモロジーと $ f $-ベクトルが同一であるにもかかわらず、メビウスの帯と円筒を代数的に区別できる。
• コホモロジーはオイラー＝ポワンカレの公式を満たす：$ \omega_k(G_1,\dots,G_k) = \sum_p (-1)^p \dim(H^p_k(G_1,\dots,G_k)) $。
• 自己準同型 $ T $ に対するリーマン数 $ L_k(T) $ は、$ \sum_{T(x)=x} \prod_{j=1}^k \omega(x_j) \cdot \mathrm{sign}(T|x_j) $ で与えられ、古典的公式を一般化する。
• 相互作用ラプラシアン $ L_k $ のスペクトルはスーパーシンメトリーを示す：偶数次形式と奇数次形式のスペクトルの和集合が等しい。
• コホモロジーは有限行列を用いて計算可能である。たとえば、メビウスの帯における相互作用ラプラシアンは可逆であるが、円筒ではそうではない。