Mathematics – Algebraic Topology
Scientific paper
2011-04-10
Mathematics
Algebraic Topology
17 pages
Scientific paper
Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as stochastic processes, automata, combinatorial group theory, $C^*$-algebras, etc. We put a Quillen model structure on the category of directed graphs, for which the weak equivalences are those graph morphisms which induce bijections on the set of walks. We determine the resulting homotopy category. We also introduce a "finite-level" homotopy category which respects the natural topology on the set of walks. To each graph we associate a basal graph, well defined up to isomorphism. We show that the basal graph is a homotopy invariant for our model structure, and that it is a finer invariant than the zeta series of a finite graph. We also show that, for finite walkable graphs, if $B$ is basal and separated then the walk spaces for $X$ and $B$ are topologically conjugate if and only if $X$ and $B$ are homotopically equivalent for our model structure.
Bisson Terrence
Tsemo Aristide
No associations
LandOfFree
Symbolic dynamics and the category of graphs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Symbolic dynamics and the category of graphs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic dynamics and the category of graphs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-57912