The fundamental weighted category of a weighted space: From directed to weighted algebraic topology

DOI10.4310/HHA.2007.V9.N1.A10MaRDI QIDQ865282zbMATH OpenFDO

Authors Marco Grandis

Publication date 14 February 2007

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0604506, http://intlpress.com/hha/v9/n1/

zbMATH Keywords

directed algebraic topologyfundamental categorygeneralized metric spacehomotopy theoryirrational rotation \(C^*\)-algebranormed category

Mathematics Subject Classification ID

(K)-theory and operator algebras (including cyclic theory) (46L80) Metric spaces, metrizability (54E35) Homotopy theory (55P99)

Abstract: We want to investigate 'spaces' where paths have a 'weight', or 'cost', expressing length, duration, price, energy, etc. The weight function is not assumed to be invariant up to path-reversion. Thus, 'weighted algebraic topology' can be developed as an enriched version of directed algebraic topology, where illicit paths are penalised with an infinite cost, and the licit ones are measured. Its algebraic counterpart will be 'weighted algebraic structures', equipped with a sort of directed seminorm. In the fundamental weighted category of a generalised metric space, introduced here, each homotopy class of paths has a weight (or seminorm), which is subadditive with respect to composition. We also study a more general setting, spaces with weighted paths, which has finer quotients and strong links with noncommutative geometry. Weighted homology of weighted cubical sets has already been developed in a previous work, with similar results.

Review text

Directed algebraic topology studies spaces equipped with directed continuous paths modelling execution paths of concurrent systems. The direction models time direction. In such setting, the cost for going from a given state to another one has two possible values: \(0\) in the direction of time, and \(\infty\) in the opposite direction. The present author wants to propose an enrichment of this subject, called weighted algebraic topology. In this setting, the cost for going from a given state to another one has a value belonging to the interval \([0,\infty]\). Lawvere's generalized metric spaces endowed with a possibly non-symmetric distance taking values in \([0,\infty]\) are a basic setting where weighted algebraic topology can be developed. In this setting, Grandis generalizes some of his results about \(d\)-spaces. In particular, he obtains a Van Kampen theorem for fundamental weighted categories and also introduces the more general setting of spaces with weighted paths, which has finer quotients and strong links with noncommutative geometry.

Recommendations

• Directed algebraic topology, categories and higher categories
• Categories, norms and weights
• Homology of weighted path complexes and directed hypergraphs
• Invariants of directed spaces
• scientific article; zbMATH DE number 2051884

Cited in

(5)

• Directed algebraic topology, categories and higher categories
• Mapping cone sequences and a generalized notion of cone length
• Directed homotopy in non-positively curved spaces
• Homology of weighted path complexes and directed hypergraphs
• Categories, norms and weights

This page was built for publication: The fundamental weighted category of a weighted space: From directed to weighted algebraic topology

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