Source author record

Tadayuki Watanabe

Tadayuki Watanabe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GT math.AT math.DS

Catalog footprint

What is connected

7works

3topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Brunnian links and Kontsevich graph complex I

We construct a natural chain map from the Kontsevich graph complex to the rational singular chain complex of $B\mathrm{Diff}_\partial(D^{2k})$ when the dimension $2k$ is sufficiently large, generalizing Goussarov and Habiro's theories of surgery on 3-valent graphs in 3-manifolds. Our construction can be considered as a topological realization of the Kontsevich graph complex. We also give new constructions of elements in the rational homotopy groups of $B\mathrm{Diff}_\partial(D^{2k})$ which are determined by well-known cycles in the graph complex.

preprint2023arXiv

Families of diffeomorphisms and concordances detected by trivalent graphs

We study families of diffeomorphisms detected by trivalent graphs via the Kontsevich classes. We specify some recent results and constructions of the second named author to show that those non-trivial elements in homotopy groups $π_*(B\mathrm{Diff}_{\partial}(D^d))\otimes \mathbb{Q}$ are lifted to homotopy groups of the moduli space of $h$-cobordisms $π_*(B\mathrm{Diff}_{\sqcup}(D^d\times I))\otimes \mathbb{Q}$. As a geometrical application, we show that those elements in $π_*(B\mathrm{Diff}_{\partial}(D^d))\otimes \mathbb{Q}$ for $d\geq 4$ are also lifted to the rational homotopy groups $π_*(\mathcal{M}^{\mathrm{psc}}_{\partial}(D^d)_{h_0})\otimes \mathbb{Q}$ of the moduli space of positive scalar curvature metrics. Moreover, we show that the same elements come from the homotopy groups $π_*(\mathcal{M}^{\mathrm{psc}}_{\sqcup} (D^d\times I; g_0)_{h_0})\otimes \mathbb{Q}$ of moduli space of concordances of positive scalar curvature metrics on $D^d$ with fixed round metric $h_0$ on the boundary $S^{d-1}$.

preprint2020arXiv

Finite type invariants of nullhomologous knots in 3-manifolds fibered over $S^1$ by counting graphs

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)\}_{n\geq 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 $n\leq 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 Lescop's construction of $\mathbb{Z}$-equivariant perturbative invariant of 3-manifolds.

preprint2015arXiv

An invariant of fiberwise Morse functions on surface bundle over $S^1$ by counting graphs

We apply Lescop's 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 Lescop's 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 Lescop's 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.

preprint2015arXiv

Higher order generalization of Fukaya's Morse homotopy invariant of 3-manifolds I. Invariants of homology 3-spheres

We give a generalization of Fukaya's 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.

preprint2014arXiv

Morse theory and Lescop's equivariant propagator for 3-manifolds with $b_1=1$ fibered over $S^1$

For a 3-manifold $M$ with $b_1(M)=1$ fibered over $S^1$ and the fiberwise gradient $ξ$ 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 $ξ$ or a flow line of $-ξ$. Counting closed AL-paths with signs gives the Lefschetz zeta function of $M$. The "moduli space" of AL-paths on $M$ gives explicitly Lescop's equivariant propagator, which can be used to define $\mathbb{Z}$-equivariant version of Chern--Simons perturbation theory for $M$.

preprint2011arXiv

1-loop graphs and configuration space integral for embedding spaces

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 other 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.