[논문 리뷰] Directed homological and cohomological operations

Éric Goubault|arXiv (Cornell University)|2026. 03. 12.

Topological and Geometric Data Analysis인용 수 0

한 줄 요약

본 논문은 persistence-module-based 프레임워크를 이용한 directed cohomology를 제시하고, directed homology 연산에 이중으로 대응하는 두 가지 directed cohomological operations를 도입하며, 이를 precubical 집합의 한 클래스와 일반 directed 공간에 적용한다.

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