In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $pi_k(Bmathrm{Diff}(D^4,partial))otimesmathbb{Q}$ in terms of the dimensions of Kontsevic
hs graph homology, and explain why it can be extended to arbitrary even dimensions $dgeq 4$. We attempted to make the proof accessible to more readers. Thus we do not assume familiarity with configuration space integrals nor knowledge of finite type invariants. Part of this addendum might be joined to the original article when it will be re-submitted to the journal. This is not aimed at giving a correction to the previous version.
In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $Theta$-graphs. As corollaries of this, we obt
ain some new results on codimension 1 embeddings and pseudo-isotopies of 4-manifolds. In the proof of the non-triviality of the diffeomorphisms, we utilize a twisted analogue of Kontsevichs characteristic class for smooth bundles, which is obtained by extending a higher dimensional analogue of March{e}--Lescops equivariant triple intersection in configuration spaces of 3-manifolds to allow Lie algebraic local coefficient system.
This paper studies the rational homotopy groups of the group $mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^infty$-topology. We present a method to prove that there are many `exotic non-trivial elements in $pi_*mathrm{Diff}(S^4)otim
es mathbb{Q}$ parametrized by trivalent graphs. As a corollary of the main result, the 4-dimensional Smale conjecture is disproved. The proof utilizes Kontsevichs characteristic classes for smooth disk bundles and a version of clasper surgery for families. In fact, these are analogues of Chern--Simons perturbation theory in 3-dimension and clasper theory due to Goussarov and Habiro.
Garoufalidis and Levine defined a filtration for 3-manifolds equipped with some degree 1 map ($mathbb{Z}pi$-homology equivalence) to a fixed 3-manifold $N$ and showed that there is a natural surjection from a space of $pi=pi_1N$-decorated graphs to t
he graded quotient of the filtration over $mathbb{Z}[frac{1}{2}]$. In this paper, we show that in the case of $N=T^3$ the surjection of Garoufalidis--Levine is actually an isomorphism over $mathbb{Q}$. For the proof, we construct a perturbative invariant by applying Fukayas Morse homotopy theoretic construction to a local system of the quotient field of $mathbb{Q}pi$. The first invariant is an extension of the Casson invariant to $mathbb{Z}pi$-homology equivalences to the 3-torus. The results of this paper suggest that there is a highly nontrivial equivariant quantum invariants for 3-manifolds with $b_1=3$. We also discuss some generalizations of the perturbative invariant for other target spaces $N$.
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 functio
ns 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.
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 i
n $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.
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.
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$.
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.
We will construct differential forms on the embedding spaces Emb(R^j,R^n) for n-j>=2 using configuration space integral associated with 1-loop graphs, and show that some linear combinations of these forms are closed in some dimensions. There are othe
r dimensions in which we can show the closedness if we replace Emb(R^j,R^n) by fEmb(R^j,R^n), the homotopy fiber of the inclusion Emb(R^j,R^n) -> Imm(R^j,R^n). We also show that the closed forms obtained give rise to nontrivial cohomology classes, evaluating them on some cycles of Emb(R^j,R^n) and fEmb(R^j,R^n). In particular we obtain nontrivial cohomology classes (for example, in H^3(Emb(R^2,R^5))) of higher degrees than those of the first nonvanishing homotopy groups.
