[论文解读] Directed homological and cohomological operations

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

Topological and Geometric Data Analysis被引用 0

一句话总结

该论文基于持久化模框架发展了定向同调的持久化模块方法，提出了与定向同调运算互为对偶的两种定向共同调运算，并将其应用于一类前立方集以及一般定向空间。

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.