Two graph homologies and the space of long embeddings

Leo Yoshioka
2023-10-17
Abstract:Graph homologies are powerful tools to compute the rational homotopy group of the space of long embeddings. Two graph homologies have been invented from two approaches to study the space of long embeddings: the hairy graph homology from embedding calculus, and BCR graph homology from configuration space integral. In this paper, we construct a monomorphism from the top hairy graph homology to the top BCR graph homology, though the latter graph homology is quite modified. This map and its left inverse are analogs of PBW isomorphism between the space of open Jacobi diagrams and the space of Jacobi diagrams on the unit circle, in the theory of Vassiliev knot invariants.
Geometric Topology,Algebraic Topology
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to compare and correlate two graph homologies in the research of the space of long embeddings. Specifically, the paper focuses on how to establish a monomorphism from hairy graph homology to BCR graph homology in the highest (non - degenerate) part, and an isomorphism from the space of BCR chord diagrams to BCR graph homology. ### Background - **Long Embedding**: An embedding from \(\mathbb{R}^j\) to \(\mathbb{R}^n\), which is standardly defined outside some disk of \(\mathbb{R}^j\). - **Space \(K_{n,j}\)**: The space of long embeddings \(Emb(\mathbb{R}^j, \mathbb{R}^n)\). - **Homotopy Fiber**: The homotopy fiber of the forgetful map \(K_{n,j}\to Imm(\mathbb{R}^j, \mathbb{R}^n)\), where \(Imm(\mathbb{R}^j, \mathbb{R}^n)\) is the space of long immersions. ### Research Methods 1. **Hairy Graph Homology**: - It is introduced through embedding calculus and is used to calculate the rational homotopy groups \(\pi_*(K_{n,j})\otimes\mathbb{Q}\) of the space of long embeddings. - It is applicable to the case where \(n - j\geq3\). 2. **BCR Graph Homology**: - It is introduced through configuration space integral and is used to construct geometric (co - )chains of \(K_{n,j}\). - It is applicable to the case where \(n - j = 2\). ### Main Results - **Theorem 0.1**: There exists a monomorphism \(\chi^*\) from the highest part \(B\) of hairy graph homology to the highest part \(A_{BCR}\) of BCR graph homology. - **Theorem 0.2**: There exists an isomorphism \(\iota^*\) from the space of BCR chord diagrams \(A_c^{BCR}\) to BCR graph homology \(A_{BCR}\). ### Significance - **Monomorphism \(\chi^*\)**: It establishes a connection between the two graph homology theories and helps to understand the complementarity of different methods in the research of the space of long embeddings. - **Isomorphism \(\iota^*\)**: It further strengthens this connection and provides an explicit conversion method from one graph homology theory to another. ### Future Work - The methods proposed in the paper can be used to construct new non - trivial (co - )chains, thereby further exploring the topological properties of the space of long embeddings. - The author plans to deal with the correction terms introduced due to the modification of graph homology in future work. Through these results, the paper provides a new perspective and tool for the topological research of the space of long embeddings.