Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn invariant of fiberwise Morse functions on surface bundle over $S^1$ by counting graphs
184
0
0.0
(
0
)
Authors
Tadayuki Watanabe
Ask ChatGPT about the research
No Arabic abstract
We apply Lescops construction of $mathbb{Z}$-equivariant perturbative invariant of knots and 3-manifolds to the explicit equivariant propagator of AL-paths given in arXiv:1403.8030. We obtain an invariant $hat{Z}_n$ of certain equivalence classes of fiberwise Morse functions on a 3-manifold fibered over $S^1$, which can be considered as a higher loop analogue of the Lefschetz zeta function and whose construction will be applied to that of finite type invariants of knots in such a 3-manifold. We also give a combinatorial formula for Lescops equivariant invariant $mathscr{Q}$ for 3-manifolds with $H_1=mathbb{Z}$ fibered over $S^1$. Moreover, surgery formulas of $hat{Z}_n$ and $mathscr{Q}$ for alternating sums of surgeries are given. This gives another proof of Lescops surgery formula of $mathscr{Q}$ for special kind of 3-manifolds and surgeries, which is simple in the sense that the formula is obtained easily by counting certain graphs in a 3-manifold.
rate research
Read More
We study finite type invariants of nullhomologous knots in a closed 3-manifold $M$ defined in terms of certain descending filtration ${mathscr{K}_n(M)}_{ngeq 0}$ of the vector space $mathscr{K}(M)$ spanned by isotopy classes of nullhomologous knots in $M$. The filtration ${mathscr{K}_n(M)}_{n geq 0}$ is defined by surgeries on special kinds of claspers in $M$ having one special leaf. More precisely, when $M$ is fibered over $S^1$ and $H_1(M)=mathbb{Z}$, we study how far the natural surgery map from the space of $mathbb{Q}[t^{pm 1}]$-colored Jacobi diagrams on $S^1$ of degree $n$ to the graded quotient $mathscr{K}_n(M)/mathscr{K}_{n+1}(M)$ can be injective for $nleq 2$. To do this, we construct a finite type invariant of nullhomologous knots in $M$ up to degree 2 that is an analogue of the invariant given in our previous paper arXiv:1503.08735, which is based on Lescops construction of $mathbb{Z}$-equivariant perturbative invariant of 3-manifolds.
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukayas Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozanskys space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
For a 3-manifold $M$ with $b_1(M)=1$ fibered over $S^1$ and the fiberwise gradient $xi$ of a fiberwise Morse function on $M$, we introduce the notion of amidakuji-like path (AL-path) on $M$. An AL-path is a piecewise smooth path on $M$ consisting of edges each of which is either a part of a critical locus of $xi$ or a flow line of $-xi$. Counting closed AL-paths with signs gives the Lefschetz zeta function of $M$. The moduli space of AL-paths on $M$ gives explicitly Lescops equivariant propagator, which can be used to define $mathbb{Z}$-equivariant version of Chern--Simons perturbation theory for $M$.
In this paper, we prove that discrete Morse functions on digraphs are flat Witten-Morse functions and Witten complexes of transitive digraphs approach to Morse complexes. We construct a chain complex consisting of the formal linear combinations of paths which are not only critical paths of the transitive closure but also allowed elementary paths of the digraph, and prove that the homology of the new chain complex is isomorphic to the path homology. On the basis of the above results, we give the Morse inequalities on digraphs.
We give a generalization of Fukayas Morse homotopy theoretic approach for 2-loop Chern--Simons perturbation theory to 3-valent graphs with arbitrary number of loops at least 2. We construct a sequence of invariants of integral homology 3-spheres with values in a space of 3-valent graphs (Jacobi diagrams or Feynman diagrams) by counting graphs in an integral homology 3-sphere satisfying certain condition described by a set of ordinary differential equations.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
