Directed path spaces via discrete vector fields

DOI10.1007/S00200-018-0360-4MaRDI QIDQ669618zbMATH OpenOpenAlexFDO

Authors Krzysztof Ziemiański

Publication date 15 March 2019

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1708.02055

zbMATH Keywords

configuration spacedirected path spacediscrete vector fieldpermutahedronprecubical set

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to general topology (54-04) Abstract complexes in algebraic topology (55U05) Software, source code, etc. for problems pertaining to manifolds and cell complexes (57-04) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: Let $K$ be an arbitrary semi-cubical set that can be embedded in a standard cube. Using Discrete Morse Theory, we construct a CW-complex that is homotopy equivalent to the space $vecP(K{)}_v^w$ of directed paths between two given vertices $v,w$ of $K$. In many cases, this construction is minimal: the cells of the constructed CW-complex are in 1--1 correspondence with the generators of the homology of $vecP(K{)}_v^w$.

Review text

Let $K$ be a precubical set that can be embedded in a standard cube. Using Discrete Morse Theory, the author constructs a CW-complex that is homotopy equivalent to the space of directed paths $\vec{P}(K)_v^w$ between two given vertices $v$ and $w$ of $K$. In many cases, this construction is minimal in the following sense: the cells of the CW-complex are in bijective correspondence with the generators of the homology of $\vec{P}(K)_v^w$.

Recommendations

• Existence of global strong solution for the compressible Navier–Stokes equations with degenerate viscosity coefficients in 1D
• Existence and Uniqueness of Global Strong Solutions for One-Dimensional Compressible Navier–Stokes Equations
• Well-posedness in critical spaces for the system of compressible Navier-Stokes in larger spaces
• Strong solutions of the Navier-Stokes equations for isentropic compressible fluids
• Existence of weak solutions for compressible Navier-Stokes equations with entropy transport

Cites work

• A user's guide to discrete Morse theory
• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
• Homology of spaces of directed paths on Euclidean cubical complexes
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• Lectures on Polytopes
• Morse theory for cell complexes
• On execution spaces of PV-programs
• Posets, regular CW complexes and Bruhat order
• Spaces of directed paths on pre-cubical sets
• The homology of ``\(k\)-equal manifolds and related partition lattices

Cited in

(6)

• A class of vector fields on path spaces
• Spaces of directed paths on pre-cubical sets II
• A cubical model for path spaces in d-simplicial complexes
• Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
• Sculptures in concurrency
• Spaces of directed paths on pre-cubical sets

This page was built for publication: Directed path spaces via discrete vector fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q669618)