Configuration-space integral realization conjecture for long embeddings

Let nn and jj be integers with nj3n-j\ge 3. Let HGCn,jHGC_{n,j} be the hairy graph complex, let HGCn,j{}^*HGC_{n,j} denote its dual, and let DGCn,jDGC_{n,j} be the cochain complex equipped with Yoshioka's modified configuration space integral

I ⁣:DGCn,jAdR(\bEmbc(Rj,Rn)).\overline{I}\colon DGC_{n,j}\longrightarrow A_{dR}\bigl(\bEmb_c(\mathbb{R}^j,\mathbb{R}^n)\bigr).

For integers k,g,lk,g,l, write Hl(HGCn,j(k,g))H_l({}^*HGC_{n,j}(k,g)) for the corresponding homology group, and let \bEmbc(Rj,Rn)\bEmb_c(\mathbb{R}^j,\mathbb{R}^n) denote the space of long embeddings.

Configuration-space integral realization conjecture. There exists a map

c ⁣:Hl(HGCn,j(k,g))π(g1)(j1)+(nj2)k+l(\bEmbc(Rj,Rn))Rc\colon H_l({}^*HGC_{n,j}(k,g))\longrightarrow \pi_{(g-1)(j-1)+(n-j-2)k+l}\bigl(\bEmb_c(\mathbb{R}^j,\mathbb{R}^n)\bigr)\otimes\mathbb{R}

such that, for every pair [H][γ]H(HGCn,j)H(HGCn,j)[H]\otimes[\gamma]\in H^{\bullet}(HGC_{n,j})\otimes H_{\bullet}({}^*HGC_{n,j}), the natural pairing I(H),c(γ)\langle\overline{I}(H),c(\gamma)\rangle coincides with the natural pairing H,γ\langle H,\gamma\rangle.

This conjecture proposes that the modified configuration space integral detects the relevant rational homotopy classes of long embeddings in codimension at least three through the dual hairy graph complex. The preceding results establish the graph-complex description of rational homotopy in codimension greater than two, while the conjecture asserts compatibility of the geometric integral with the corresponding homology-cohomology pairing.

Sources & referencesView supporting material

Primary source

Daiki Irikura, “Infinite-dimensionality of the rational homotopy groups of the space of long embeddings of codimension 2”, arXiv:2606.01903 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.