[論文レビュー] Directed homological and cohomological operations

Éric Goubault|arXiv (Cornell University)|Mar 12, 2026

Topological and Geometric Data Analysis被引用数 0

ひとこと要約

この論文は、持続性モジュールベースの枠組みを用いて directed cohomology を定義し、directed homology の双対となる二つの directed cohomological operations を導入し、それを precubical 集合のクラスと一般の directed spaces の両方に適用します。

ABSTRACT

In this short note, we present a persistence module approach to directed cohomology, dual to the directed homology introduced by the author in a previous article. We lay out the first properties of directed cohomology and in particular of cohomological operations, partially linked to some homological operations. We treat here both the case of a specific class of precubical sets and of general directed spaces.

研究の動機と目的

• Motivate and formalize directed cohomology as a dual construction to directed homology.
• Define coboundary maps and directed cohomology bimodules over the path algebra.
• Construct two directed cohomological operations on a class of precubical sets: a dual of a concatenation-based homology operation and a cup-product-based operation.
• Extend the construction to general directed spaces and relate to trace-space cohomology.
• Provide computations that illustrate the new operations on directed cohomology bimodules.

提案手法

• Define coboundary maps by dualizing the directed boundary construction from prior work, yielding R[X]^{op}-bimodule cochains.
• Introduce directed cohomology bimodules HM^{i}[X] as kernels and images of coboundaries, with HM^{i+1}[X] capturing trace-space cohomology.
• Establish an i+j-1 cohomological cup-product smille on HM^{i}[X]_{ ext{α}}^{eta} × HM^{j}[X]_{ ext{α}}^{eta} via trace-space cup-products.
• Define a dual tensor operation boxtimes on cochains that induces a cohomological operation ∘? (curvearrowright) on HM^{*}[X], mirroring the homological conc-prod.
• For a class of precubical sets with proper non-looping length covering, construct two cohomological operations: curvearrowright and smille, and discuss their extension to general directed spaces.

実験結果

リサーチクエスチョン

• RQ1 What are the first properties of directed cohomology and its relation to directed homology?
• RQ2 How can one define coboundary maps and cohomology bimodules for directed spaces in a way dual to known directed homology?
• RQ3 What directed cohomological operations arise from concatenation of directed paths and from cup products on trace spaces, and how do they interact?
• RQ4 Can these operations be defined for a particular class of precubical sets and extended to general directed spaces, with computable examples?
• RQ5 How do the new cohomological operations manifest in computations on directed cohomology bimodules and trace spaces?

主な発見

• Directed cohomology bimodules HM^{i}[X] over the path algebra are well-defined via coboundary maps, and HM^{n}[X]^{b}_{a} corresponds to the (n-1)th cohomology of trace spaces Tr(|X|)^{b}_{a}.
• A local cup-product on directed cohomology is induced by the cup-product in the trace spaces, endowing HM^{i}[X]_{ ext{α}}^{eta} with a cup-product smille of degree shift by -1.
• A dual cohomological operation boxtimes induces a curv earrowright operation on HM^{i}[X]_{ ext{α}}^{eta} × HM^{j}[X]_{eta}^{ ext{γ}} → HM^{i+j-1}[X]_{ ext{α}}^{ ext{γ}}, mirroring the homology conc-product.
• For precubical sets with proper non-looping length coverings, the cohomological operations curvearrowright and smille are well-defined and compatible with concatenation and trace-space cohomology, and they extend to general directed spaces via the trace-space framework.
• Computations illustrate that directed cohomology captures generators corresponding to chains of obstacles and traces, and the cup-product and concatenation-based operations generate higher-degree cohomology classes in concrete examples.