Andrzej Weber, Krzysztof Ziemiański
We prove that the loop space of the directed suspension of a directed space is homotopy equivalent to the James construction. In particular, it does not depend on the directed structure of a given directed space.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we introduce a subcategory $\widetilde{Sh}_*$ of Sh$_*$ and obtain some results in this subcategory. First we show that there is a natural bijection $Sh (Σ(X, x), (Y,y))\cong Sh((X,x),Sh((I, \dot{I}),(Y,y)))$, for every $(Y,y)\in \widetilde{Sh}_*$ and $(X,x)\in Sh_*$. By this fact, we prove that for any pointed topological space $(X,x)$ in $\widetilde{Sh}_*$, $\checkπ_n^{top}(X,x)\cong \checkπ_{n-k}^{top}(Sh((S^k, *),(X,x)), e_x)$, for all $1\leq k \leq n-1$.
In the directed setting, the spaces of directed paths between fixed initial and terminal points are the defining feature for distinguishing different directed spaces. The simplest case is when the space of directed paths is homotopy equivalent to that of a single path; we call this the trivial space of directed paths. Directed spaces that are topologically trivial may have non-trivial spaces of directed paths, which means that information is lost when the direction of these topological spaces is ignored. We define a notion of directed collapsibility in the setting of a directed Euclidean cubic…
For a 1-connected spectrum E, we study the moduli space of suspension spectra which come equipped with a weak equivalence to E. We construct a spectral sequence converging to the homotopy of the moduli space in positive degrees. In the metastable range, we get a complete homotopical classification of the path components of the moduli space. Our main tool is Goodwillie's calculus of homotopy functors.
The spaces of directed paths on the geometric realizations of pre-cubical sets, called also $\square$--sets, can be interpreted as the spaces of possible executions of Higher Dimensional Automata, which are models for concurrent computations. In this paper we construct, for a sufficiently good pre-cubical set $K$, a CW-complex $W(K)_v^w$ that is homotopy equivalent to the space of directed paths between given vertices $v$, $w$ of $K$. This construction is functorial with respect to $K$, and minimal among all functorial constructions. Furthermore, explicit formulas for incidence numbers of the …
While standard persistent homology has been successful in extracting information from metric datasets, its applicability to more general data, e.g. directed networks, is hindered by its natural insensitivity to asymmetry. We study a construction of homology of digraphs due to Grigor'yan, Lin, Muranov and Yau, and extend this construction to the persistent framework. The result, which we call persistent path homology, can provide information about the digraph structure of a directed network at varying resolutions. Moreover, this method encodes a rich level of detail about the asymmetric structu…
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 $\vec{P}(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 $\vec{P}(K)_v^w$.
The main goal of this paper is to prove that the space of directed loops on the final precubical set is homotopy equivalent to the "total" configuration space of points on the plane; by "total" we mean that any finite number of points in a configuration is allowed. We also provide several applications: we define new invariants of precubical sets, prove that directed path spaces on any precubical complex have the homotopy types of CW-complexes and construct certain presentations of configuration spaces of points on the plane as nerves of categories.
We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no direct analog of the fundamental group. However, they do assemble into a category, called the fundamental category. We define models of the fundamental category, such as the fundamental bipartite graph, and minimal extremal models which are shown to generalize the fundamental group. In addition, we prove van Kampen theorems for subcategories, retracts, and m…
For a given pre-cubical set ($\square$--set) $K$ with two distinguished vertices $\bO$, $\bI$, we prove that the space $\vP(K)_\bO^\bI$ of d-paths on the geometric realization of $K$ with source $\bO$ and target $\bI$ is homotopy equivalent to its subspace $\vP^t(K)_\bO^\bI$ of tame d-paths. When $K$ is the underlying $\square$--set of a Higher Dimensional Automaton $A$, tame d-paths on $K$ represent step executions of $A$. Then, we define the cube chain category of $K$ and prove that its nerve is weakly homotopy equivalent to $\vP(K)_\bO^\bI$.
Szczarba's twisted shuffle and equivariant path homology of directed graphs
本文研究了标记设定下路径同调的等变性质，通过扭曲洗牌定义了链同构，并应用于有向图的Borel构造。
Strictifying and taming directed paths in Higher Dimensional Automata
本文证明在高维自动机中，限制为具有良好属性（如同步）的调度不会改变有向路径空间的拓扑性质，并利用神经引理给出了更简单的证明。
Mayer Path Homology
本文引入Mayer路径同调，通过在路径复形上引入N- nilpotent微分，构建新的定向路径复形同调理论，揭示了更敏感的定向网络模因结构。
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…
We describe various path homology theories constructed for a directed hypergraph. We introduce the category of directed hypergraphs and the notion of a homotopy in this category. Also, we investigate the functoriality and the homotopy invariance of the introduced path homology groups. We provide examples of computation of these homology groups.
We introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the introduced notions.
For a path-connected space X, a well-known theorem of Segal, May and Milgram asserts that the configuration space of finite points in R^n with labels in X is weakly homotopy equivalent to the n-th loop-suspension of X. In this paper, we introduce a space I_n(X) of intervals suitably topologized in R^n with labels in a space X and show that it is weakly homotopy equivalent to n-th loop-suspension of X without the assumption on path-connectivity.
The fundamental group and the magnitude-path spectral sequence of a directed graph
本文通过Hurewicz定理和Seifert-van Kampen定理，研究有向图的r-基本群与量级-路径谱序列之间的关联，揭示其捕捉基本群无法捕捉的性质。
The homotopy types of directed path and trace spaces
构造饱和有向空间，使两点间迹空间同胚于正方形而有向路径空间有非平凡基本群，证明典范商映射非弱同伦等价，结论对正则路径亦成立。
A notion of homotopy for directed graphs and their flag complexes
本文为有向图及其旗复形引入同伦等价关系，证明其诱导同调同构，并据此建立过滤有向图持续同调的稳定性定理，同时指出与路径同调的差异。
The path-missing and path-free complexes of a directed graph
研究有向图中两个单纯复形：路径自由复形及其Alexander对偶路径缺失复形，利用离散Morse理论证明它们要么可缩，要么同伦等价于球面。
Higher Dimensional Automata (HDA) are higher dimensional relatives to transition systems in concurrency theory taking into account to which degree various actions commute. Mathematically, they take the form of labelled cubical complexes. It is important to know, and challenging from a geometric/topological perspective, whether the space of directed paths (executions in the model) between two vertices (states) is connected; more generally, to estimate higher connectedness of these path spaces. This paper presents an approach for such an estimation for particularly simple HDA modelling the acces…
Directed paths and Moore flows
本文引入了预立方集的 tame 实现作为乘点 d-空间，扩展了先前工作到非规则设置。关联的莫尔流诱导了一个从预立方集到莫尔流的函子，与在 h 模型结构中自然弱等价的保极限函子相一致。
First Betti number of the path homology of random directed graphs
本研究针对随机有向图，通过组合条件刻画路径同调第一Betti数为零的稀疏与稠密区域，结合已有方法确定其为正的条件，并给出边界梯度及概率界限，同时类比应用于有向旗复形。
Comparing cubical and globular directed paths
本文构造了一个不依赖于余纤维替代选择的新实现函子，将预立方集映射为流，并证明其执行路径空间与几何实现中的非恒定 d-路径空间同伦等价。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。