-
Homology of graph burnings
Authors:
Yuri Muranov,
Anna Muranova
Abstract:
In this paper we study graph burnings using methods of algebraic topology. We prove that the time function of a burning is a graph map to a path graph. Afterwards, we define a category whose objects are graph burnings and morphisms are graph maps which commute with the time functions of the burnings. In this category we study relations between burnings of different graphs and, in particular, betwe…
▽ More
In this paper we study graph burnings using methods of algebraic topology. We prove that the time function of a burning is a graph map to a path graph. Afterwards, we define a category whose objects are graph burnings and morphisms are graph maps which commute with the time functions of the burnings. In this category we study relations between burnings of different graphs and, in particular, between burnings of a graph and its subgraphs. For every graph, we define a simplicial complex, arising from the set of all the burnings, which we call a configuration space of the burnings. Further, simplicial structure of the configuration space gives burning homology of the graph. We describe properties of the configuration space and the burning homology theory. In particular, we prove that the one-dimensional skeleton of the configuration space of a graph $G$ coincides with the complement graph of $G$. The results are illustrated with numerous examples.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
On Cubical Sets of Quivers and Digraphs
Authors:
Rolando Jimenez,
Vladimir Vershinin,
Yuri Muranov
Abstract:
The singular cubical homology theory for the category of quivers or digraphs can be
constructed similarly to the classical singular homology theory for topological spaces.
The case of digraphs and quivers differs from the topological case due to the possibility of using a large
number of non-isomorphic line digraphs that correspond to the unit interval in
algebraic topology. In this paper…
▽ More
The singular cubical homology theory for the category of quivers or digraphs can be
constructed similarly to the classical singular homology theory for topological spaces.
The case of digraphs and quivers differs from the topological case due to the possibility of using a large
number of non-isomorphic line digraphs that correspond to the unit interval in
algebraic topology. In this paper we introduce several different notions of quiver realizations of a cubical set and we describe relations between them. We also define various singular cubical homology theories on quivers and digraphs. Moreover, using quiver realizations of cubical sets we define a collection of path homology theories on the category of cubical sets and we describe their properties.
△ Less
Submitted 1 October, 2023;
originally announced October 2023.
-
Homology of weighted path complexes and directed hypergraphs
Authors:
Y. Muranov,
A. Szczepkowska,
V. Vershinin
Abstract:
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.
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.
△ Less
Submitted 16 April, 2022;
originally announced April 2022.
-
Path homology of directed hypergraphs
Authors:
Yuri Muranov,
Anna Szczepkowska,
Vladimir Vershinin
Abstract:
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 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.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Homotopy theory for digraphs
Authors:
Alexander Grigor'yan,
Yong Lin,
Yuri Muranov,
Shing-Tung Yau
Abstract:
We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy invariance of homologies of digraphs and the relation between the fundamental group of the digraph and its first homology group.
The category of (undirected) grap…
▽ More
We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy invariance of homologies of digraphs and the relation between the fundamental group of the digraph and its first homology group.
The category of (undirected) graphs can be identified by a natural way with a full subcategory of digraphs. Thus we obtain also consistent homology and homotopy theories for graphs. Note that the homotopy theory for graphs coincides with the one constructed in the paper of Babson et.
△ Less
Submitted 1 July, 2014;
originally announced July 2014.
-
Browder-Livesay filtrations and the example of Cappell and Shaneson
Authors:
Friedrich Hegenbarth,
Yuri V. Muranov,
Dušan Repovš
Abstract:
Let $M^3$ be a 3-dimensional manifold with fundamental group $π_1(M)$ which contains a quaternion subgroup $Q$ of order 8. In 1979 Cappell and Shaneson constructed a nontrivial normal map $
f\colon M^3\times T^2\to M^3\times S^2$ which cannot be detected by simply connected surgery obstructions along submanifolds of codimension 0, 1, or 2, but it can be detected by the codimension 3 Kervaire-Arf i…
▽ More
Let $M^3$ be a 3-dimensional manifold with fundamental group $π_1(M)$ which contains a quaternion subgroup $Q$ of order 8. In 1979 Cappell and Shaneson constructed a nontrivial normal map $
f\colon M^3\times T^2\to M^3\times S^2$ which cannot be detected by simply connected surgery obstructions along submanifolds of codimension 0, 1, or 2, but it can be detected by the codimension 3 Kervaire-Arf invariant.
The proof of non-triviality of $σ(f)\in L_5(π_1(M))$ is based on consideration of a Browder-Livesay filtration of a manifold $X$ with $π_1(X)\cong π_1(M)$. For a Browder-Livesay pair $Y^{n-1}\subset X^n$, the restriction of a normal map to the submanifold $Y$ is given by a partial multivalued map $Γ\colon L_n(π_1(X))\to L_{n-1}(π_1(Y))$, and the Browder-Livesay filtration provides an iteration $Γ^n$. This map is a basic step in the definition of the iterated Browder-Livesay invariants which give obstructions to realization of surgery obstructions by normal maps of closed manifolds.
In the present paper we prove that $Γ^3(σ(f))=0$ for any Browder-Livesay filtration of a manifold $X^{4k+1}$ with $π_1(X)\cong Q$.
We compute splitting obstruction groups for various inclusions $ρ\to Q$ of index 2, describe natural maps in the braids of exact sequences, and make more precise several results about surgery obstruction groups of the group $Q$.
△ Less
Submitted 28 April, 2013;
originally announced April 2013.
-
Homologies of path complexes and digraphs
Authors:
Alexander Grigor'yan,
Yong Lin,
Yuri Muranov,
Shing-Tung Yau
Abstract:
In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.
In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.
△ Less
Submitted 11 May, 2013; v1 submitted 11 July, 2012;
originally announced July 2012.
-
On structure sets of manifold pairs
Authors:
Matija Cencelj,
Yurij V. Muranov,
Dušan Repovš
Abstract:
In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact manifold with boundary and the case of a closed manifold pair. This approach also gives a possibility to construct the obstruction groups for natural maps of var…
▽ More
In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact manifold with boundary and the case of a closed manifold pair. This approach also gives a possibility to construct the obstruction groups for natural maps of various structure sets and to investigate their properties.
△ Less
Submitted 10 August, 2009;
originally announced August 2009.
-
Surgery in codimension 3 and the Browder--Livesay invariants
Authors:
Friedrich Hegenbarth,
Yurij V. Muranov,
Dušan Repovš
Abstract:
The inertia subgroup $I_n(π)$ of a surgery obstruction group $L_n(π)$ is generated by elements which act trivially on the set of homotopy triangulations $\Cal S(X)$ for some closed topological manifold $X^{n-1}$ with $π_1(X)=π$. This group is a subgroup of the group $C_n(π)$ which consists of the elements which can be realized by normal maps of closed manifolds. In all known cases these groups c…
▽ More
The inertia subgroup $I_n(π)$ of a surgery obstruction group $L_n(π)$ is generated by elements which act trivially on the set of homotopy triangulations $\Cal S(X)$ for some closed topological manifold $X^{n-1}$ with $π_1(X)=π$. This group is a subgroup of the group $C_n(π)$ which consists of the elements which can be realized by normal maps of closed manifolds. In all known cases these groups coincide and the computation of them is one of the basic problems of surgery theory. The computation of the group $C_n(π)$ is equivalent to the computation the image of the assembly map $A:H_{n}(Bπ, \bold L_{\bullet})\to L_{n}(π)$. Every Browder-Livesay filtration of the manifold $X$ provides a collection of Browder-Livesay invariants which are the forbidden invariants in the closed manifold surgery problem. In the present paper we describe all possible forbidden invariants which can give a Browder-Livesay filtration for computing the inertia subgroup. Our approach is a natural generalization of the approach of Hambleton and Kharshiladze. More precisely, we prove that a Browder-Livesay filtration of a given manifold can give the following forbidden invariants for an element $x\in L_n(π_1(X))$ to belong to the subgroup $I_n(π)$: the nontrivial Browder-Livesay invariants in codimensions 0, 1, 2 and a nontrivial class of obstructions of a restriction of a normal map to a submanifold in codimension 3.
△ Less
Submitted 21 September, 2008;
originally announced September 2008.
-
On $π- π$ theorem for manifold pairs with boundaries
Authors:
M. Cencelj,
Yu. V. Muranov,
D. Repovš
Abstract:
Surgery obstruction of a normal map to a simple Poincare pair $(X,Y)$ lies in the relative surgery obstruction group $L_*(π_1(Y)\toπ_1(X))$. A well known result of Wall, the so called $π$-$π$ theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincare pair with $π_1(X)\congπ_1(Y)$ is normally bordant to a simple homotopy equivalence of pairs. In order…
▽ More
Surgery obstruction of a normal map to a simple Poincare pair $(X,Y)$ lies in the relative surgery obstruction group $L_*(π_1(Y)\toπ_1(X))$. A well known result of Wall, the so called $π$-$π$ theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincare pair with $π_1(X)\congπ_1(Y)$ is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced surgery obstruction group for manifold pairs $LP_*$ and splitting obstruction groups $LS_*$. In the present paper we formulate and prove for manifold pairs with boundaries the results which are similar to the $π$-$π$ theorem. We give direct geometric proofs, which are based on the original statements of Wall's results and apply obtained results to investigate surgery on filtered manifolds.
△ Less
Submitted 29 May, 2007;
originally announced May 2007.
-
Splitting along a submanifold pair
Authors:
R. Jimenez,
Yu. V. Muranov,
D. Repovš
Abstract:
The paper introduces a group $LSP$ of obstructions for splitting a homotopy equivalence along a pair of submanifolds. We develop exact sequences relating the $LSP$-groups with various surgery obstruction groups for manifold triple and structure sets arising from triples of manifolds. The natural map from the surgery obstruction group of the ambient manifold to the $LSP$-group provides an invaria…
▽ More
The paper introduces a group $LSP$ of obstructions for splitting a homotopy equivalence along a pair of submanifolds. We develop exact sequences relating the $LSP$-groups with various surgery obstruction groups for manifold triple and structure sets arising from triples of manifolds. The natural map from the surgery obstruction group of the ambient manifold to the $LSP$-group provides an invariant when elements of the Wall group are not realized by normal maps of closed manifolds. Some $LSP$-groups are computed precisely.
△ Less
Submitted 29 August, 2006;
originally announced August 2006.
-
Surgery spectral sequence and stratified manifolds
Authors:
R. Jimenez,
Yu. V. Muranov,
D. Repovš
Abstract:
Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction…
▽ More
Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction of the spectral sequence is an infinite filtration of spectra in which only the first two, as is well-known, have clear geometric sense. The first one is a spectrum $\Bbb L(π_1(X))$ for surgery obstruction groups of a manifold $X$ and the second $\Bbb LP_*(F)$ is a spectrum for surgery on a Browder-Livesay manifold pair $Y\subset X$. The geometric sense of the third term of filtration was explained by Muranov, Repovš, and Spaggiari in 2002. In the present paper we give a geometric interpretation of all spectra of filtration in construction of Hambleton and Kharshiladze. We introduce groups of obstructions to surgery on a system of embeddedd manifolds and prove that spectra which realize these groups coincide with spectra in the filtration of Hambleton and Kharshiladze. We describe algebraic and geometric properties of introduced obstruction groups and their relations to the classical surgery theory. We prove isomorphism between introduced groups and Browder-Quinn $L$-groups of stratified manifolds. We give an application of our results to closed manifold surgery problem and iterated Browder-Livesay invariant.
△ Less
Submitted 29 August, 2006;
originally announced August 2006.
-
On the splitting problem for manifold pairs with boundaries
Authors:
M. Cencelj,
Yu. V. Muranov,
D. Repovš
Abstract:
The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the…
▽ More
The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the boundary. In the relative case the surgery on the manifold with boundary is considered without fixing maps on the boundary. Consider a normal map to a manifold pair $(Y, \partial Y)\subset (X, \partial X)$ with boundary which is a simple homotopy equivalence on the boundary $\partial X$. This map defines a mixed structure on the manifold with the boundary in the sense of Wall. We introduce and study groups of obstructions to splitting of such mixed structures along submanifold with boundary $(Y, \partial Y)$. We describe relations of these groups to classical surgery and splitting obstruction groups. We also consider several geometric examples.
△ Less
Submitted 29 August, 2006;
originally announced August 2006.