{"id":"e0e4441d-f985-4eb8-b758-42b35d3a136a","arxiv_id":"2506.23880","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Transport of a formal power series connection gives holonomy 2- and 3-functors from path 2- and 3-groupoids to cobar-complex categories, including a Gray functor for configuration spaces in n at least 4.","lead":"This paper develops higher-dimensional holonomy functors by transporting formal power series connections, obtaining maps from path groupoids at levels 2 and 3 into algebraic categories built from cobar complexes. It applies the level-3 construction to configuration spaces of m points in R^n for n at least 4, a setting relevant to higher braid invariants.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Degree convention in §3.2 is off by one: transport over a 2-path lands in Ω^{k+1}(C), not Ω^1(C), so Hol2/Hol3 miss their target categories as defined.","rationale":"Lemma 4.4's rank bound is actually defensible: the laminated condition ensures that, for each (r,s), one of the three columns (∂r or ∂s) lies in the span of the diagonal t-columns, so rank d eH ≤ k+1. Thus the reader's weakest assumption is not the main weakness. The grading problem is more fundamental and affects all three theorems. Under the literal definition in §3.2, even the 1-holonomy of a 1-form connection would land in Ω^1 rather than Ω^0, contradicting §4.1. The paper's own conventions in §5.2 suggest the intended pairing is a p-form with [γ] of degree p−1 (i.e., deg ω_i = deg c_i + 1). With that shift, all contributing terms over an n-path have degree n−1, matching the target categories. Because the error is likely a typo rather than a conceptual impasse, CONDITIONAL acceptance is appropriate: the author should correct the degree convention and re-verify Theorems 2, 3, and Corollary 4. This is an internal inconsistency, not a disagreement with consensus.","tokens_in":17636,"tokens_out":33900,"duration_ms":341504,"concrete_test":"Take a 2-form component: let θ be a 2-form and c ∈ Ω^2(C) with deg(θ)=deg(c)=2, per §3.2. For a 2-path g, the length-1 term in ⟨Tω,g⟩ is ⟨∫θ,g⟩·c; ∫θ is a 1-form on the 1-dimensional s-interval, so this is generically nonzero and lies in Ω^2(C). Recompute the degree of ⟨Tω,g⟩ using §2.6 and §3.3 for an arbitrary connection: the coefficient degree is Σdeg(ω_i) = k+n−1. If this equals Ω^{n+?} instead of Ω^{n−1}, the target categories in §§4.3,4.7 must be regraded. A minimal check: verify whether the paper's condition should be deg(ω_i)=deg(c_i)+1 by testing that the KKV holonomy 3-functor's 2-morphism values then land in Ω^1(C).","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The most load-bearing concern is a grading mismatch, not Lemma 4.4. Section 3.2 defines a formal power series connection with deg(ω_i)=deg(c_i), where c_i ∈ Ω(C). For an n-path, integration over the plot U of dimension n−1 selects terms with deg(ω_{i1})+...+deg(ω_{ik})−k = n−1 (Section 2.6). Under the stated condition, the coefficient c_{i1}...c_{ik} has degree Σdeg(ω_{ij}) = k+n−1. So for a 2-path (n=2), the value ⟨Tω,g⟩ lies in Ω^{k+1}(C); with 2-form components (as in the KKV connection, §5.1) the k=1 term gives Ω^2(C). But C2(C) and C3(C) are defined in §§4.3,4.7 with 2-morphisms in Ω^1(C) and 3-morphisms in Ω^2(C). Hence Hol2(g) and Hol3(g) are not elements of the claimed Hom-sets, so Theorems 2, 3, and Corollary 4 fail as written. The repair is a degree shift in the connection condition: deg(ω_i)=deg(c_i)+1. Section 5.2's description of 2-morphisms as 'diagrams of degree 2' is consistent with the shifted convention, indicating an off-by-one typo that must be corrected.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Chen–Kohno style framework in which the transport of a formal power series connection with values in the cobar complex of a coaugmented dg coalgebra C produces higher holonomy functors. The main results are Theorem 2, asserting a 2-functor Hol^2_ω : P2(M) → C2(C), and Theorem 3, asserting a Gray 3-functor Hol^3_ω : P3(M) → C3(C), where C2(C) and C3(C) are defined from the completed cobar complex. These are applied in Corollary 4 to the Komendarczyk–Koytcheff–Volić connection on Conf(m,R^n), n ≥ 4, yielding a Gray functor from the path 3-groupoid of that configuration space to C3(\\bar D(m)^*). The paper is clearly organized and follows constructions of Chen, Kohno, and Faria Martins–Picken, but the main theorems as stated are affected by a systematic off-by-one degree issue, and several load-bearing verifications are only sketched.","tokens_in":18009,"tokens_out":22684,"duration_ms":230496,"significance":"If the construction is made correct, the paper would provide a uniform, explicit way to promote parallel transport to higher holonomy functors, and it would give a concrete Gray functor for configuration spaces of points in R^n for n ≥ 4, connecting diagram coalgebras to higher path groupoids. This is a natural and potentially useful step beyond Kohno's higher holonomy maps. The paper is honest about its debts to Chen and Kohno, and the intended application to the KKV connection is concrete. However, the central theorems currently rely on an incorrect degree convention and on unproved rank/dimension assertions, so the significance cannot be fully assessed until those gaps are repaired.","major_comments":[{"comment":"There is an off-by-one grading error in the definition of a formal power series connection. In §3.2, the condition is deg(ω_i)=deg(c_i) with c_i ∈ Ω(C). In the transport formula of §3.3, the coefficient c_{i1}⋯c_{ik} is a product in Ω(C), so its degree is Σ_j deg(c_{i_j}). A 2-path is a 1-dimensional plot of the pointed path space, so §2.6 selects terms with Σ_j deg(ω_{i_j}) − k = 1. Under the stated equality, the surviving coefficient has degree Σ_j deg(c_{i_j}) = Σ_j deg(ω_{i_j}) = k+1, not 1. Therefore Hol2([g]) does not lie in Ω^1(C)/dΩ(Ω^1⊗Ω^1), the prescribed 2-morphism set of C2(C), and Theorem 2 fails as stated. The analogous computation for a 3-path (a 2-dimensional plot) gives degree k+2 rather than 2, so Hol3 does not land in the 3-morphism set of C3(C), making Theorem 3 and Corollary 4 incorrect as written. The manuscript is internally inconsistent: Lemma 4.4 uses the condition deg(ω_1)+⋯+deg(ω_k)=k+2, which is the correct condition for integration over a 3-path only under the shifted convention deg(ω_i)=deg(c_i)+1; and §5.2's description of 2-morphisms as 'diagrams of degree 2' matches [Γ^*] of degree 1 under that shift. The definition in §3.2 should be corrected to deg(ω_i)=deg(c_i)+1 throughout, and the twisted cochain condition and all subsequent lemmas should be rechecked with this convention.","section":"§3.2, §4.4, §4.8"},{"comment":"Lemma 4.4 is load-bearing for the well-definedness of Hol3 on laminated 2-tracks, but its key assertion is not proved. The lemma claims that for a laminated rank-2 homotopy H, the induced map \\tilde H: Δ_k × [0,1]^2 → M^k has rank at most k+1, so that the pullback of any form of total degree k+2 vanishes. This is stated in a single sentence with no derivation or citation. The rank bound is not immediate from the rank-2 condition: the tangent space of \\tilde H at a point is spanned by the r-, s-, and t_i-derivatives, and one must show that the lamination conditions impose enough relations to reduce the dimension from k+2 to k+1. Without a proof, the independence of the integral from the choice of laminated representative is unverified. The same issue appears in Lemma 4.7, where the assertion that ⟨Tω,W⟩ ∈ Ω^{1,2}(C) for a rank-3 homotopy W is made without a dimension-count argument. Please supply complete proofs or precise references.","section":"§4.5, Lemma 4.4; §4.6, Lemma 4.7"},{"comment":"The definitions of the target categories C2(C) and C3(C) are not fully verified, although the main theorems assert functors into them. For C3(C), the displayed structure does not include all operations of a Gray 3-category: the operation called 'vertical composition of 3-morphisms' in §4.7 is actually a horizontal composition along 2-morphisms, with source M·P and target N·Q, while the usual vertical composition of 3-morphisms with identical source and target 2-morphisms is only the 'upward composition'. No interchange laws or coherence data are stated, and both occurrences of 'straightforward verification' are left to the reader. Since Theorems 2 and 3 assert functors into these structures, the target categories must be fully defined and the coherence verified, or a precise reference that establishes this exact construction must be supplied.","section":"§4.3, §4.7"}],"minor_comments":[{"comment":"The last equality of the proof writes '⟨∫ω1...ωk, g⟩ + ⟨∫ω1...ωk, g⟩'; the second summand should be h.","section":"§4.2, Lemma 4.2 proof"},{"comment":"Several displayed formulas have missing commas or arguments, e.g. '⟨Tωh1(1,−)⟩' should be '⟨Tω,h1(1,−)⟩' and '⟨TωJ(0,1,−)⟩' should be '⟨Tω,J(0,1,−)⟩'.","section":"§4.5 and §4.6, Lemmas 4.6 and 4.10"},{"comment":"The text says 'the association Hol2ω is compatible' when it should say 'Hol3ω'.","section":"§4.8, paragraph before Theorem 3"},{"comment":"The remark would be more informative if it included an explicit example where rank-2 homotopy changes the iterated integral, since it is used to motivate the laminated condition.","section":"§4.2, remark after Lemma 4.1"},{"comment":"The phrase 'since \\bar D(m)^* is 1-connected' should be defined or accompanied by a reference, as 1-connectedness for a dg coalgebra is not standard terminology in this paper.","section":"§5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper has a plausible central idea and a concrete application, but the off-by-one grading error affects the main theorems as stated. The error appears repairable by a degree shift, but the missing proof of Lemma 4.4 and the incomplete definition/verification of the Gray 3-category are substantive and must be addressed. I would not recommend acceptance in the current form, but a carefully revised version could be suitable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper has a real idea—using laminated rank-2 homotopies to repair Kohno's integration, and applying it to build a Gray 3-functor for configuration spaces with the KKV connection—but as it stands there's an off-by-one grading error in the definition of a formal power series connection that makes the main theorems not type-check. I think it's a fixable typo, but it's load-bearing.\n\nWhat's actually new: the observation that rank-2 homotopy is too coarse and laminated homotopy is the right equivalence for exact integration over 2-tracks; the negative remark after Lemma 4.1 is credible. The construction of the target categories C2(C) and C3(C) is standard cobar material, and the application to the KKV connection for n≥4 is new. The paper is clearly written and follows Kohno's program faithfully.\n\nThe soft spot: Section 3.2 sets deg(ω_i)=deg(c_i) with c_i in the cobar complex Ω(C). For a 2-path, integration over the plot U=[0,1] selects terms with Σdeg(ω_i)-k=1. So the coefficient c_i1...c_ik has degree k+1, not 1. Thus ⟨Tω,g⟩ lands in Ω^{k+1}(C), not Ω^1(C). Similarly for 3-tracks: the target 3-morphisms live in Ω^2, but the transport gives degree k+2. So Hol2 and Hol3 as defined in Theorems 2 and 3 don't take values in the claimed hom-sets. The fix is to correct the connection condition to deg(ω_i)=deg(c_i)+1, which is consistent with Section 5.2's description of 2-morphisms as diagrams of degree 2. This looks like an off-by-one typo, not a conceptual flaw, but it must be corrected before the results are usable.\n\nOther soft spots: Lemma 4.4's rank bound for laminated homotopies is asserted without proof; the categorical coherence of C2(C) and C3(C) is left as 'straightforward verification'; the remark after Lemma 4.1 gives no counterexample. These are secondary to the grading issue.\n\nBottom line: the core construction is plausible and the application is worthwhile. I'd send this to a serious referee, but the author needs to fix the grading and provide the missing derivations. I wouldn't cite it in its current form.","headline":"Genuinely useful extension of Kohno's higher holonomy program, but an off-by-one grading error in the connection condition makes Theorems 2 and 3 not type-check; fixable, and worth refereeing.","tokens_in":18483,"tokens_out":12752,"would_cite":false,"duration_ms":121135,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N10","55P35","55R80","58A10"],"pacs":[],"model":"deepseek-v4-flash","headline":"A formal power series connection on a smooth manifold determines higher holonomy functors from the path 2-groupoid and the path 3-groupoid into categories built from the completed cobar complex, and the Komendarczyk-Koytcheff-Volic…","keywords":["higher holonomy functors","formal power series connections","iterated integrals","path 2-groupoid","path 3-groupoid","Gray 3-category","cobar complex","configuration spaces"],"falsifier":"Find one laminated rank-2 homotopy $H$ in a manifold and forms $\\omega_1,\\dots,\\omega_k$ of total degree $k+2$ such that the integral over $\\Delta_k\\times[0,1]^2$ of $\\widetilde H^*(\\omega_1\\times\\cdots\\times\\omega_k)$ is nonzero; Lemma 4.4 says this integral is always zero. A nonzero value would immediately show that $\\langle T_\\omega,h\\rangle$ depends on the representative 2-path and that the holonomy 3-functor is not well defined.","tokens_in":17401,"feed_emoji":"🧭","tokens_out":10948,"duration_ms":113302,"temperature":0.7,"pith_summary":"This paper tries to show that the same formal power series transport that produces ordinary parallel transport along curves can be read one and two dimensions higher. For any formal power series connection $\\omega$ on a smooth manifold, it constructs a holonomy 2-functor from the path 2-groupoid and a holonomy 3-functor from the path 3-groupoid into algebraic target categories built from the completed cobar complex of a differential graded coalgebra. The point of doing this is that Chen's iterated integrals, long used to compute loop-space homology, now become a source of higher categorical invariants of the manifold. As an application, the known Komendarczyk-Koytcheff-Volic connection on the configuration space of $m$ points in $\\mathbb{R}^n$, for $n\\ge 4$, is shown to produce a Gray functor out of the path 3-groupoid of that configuration space. If the proof is right, higher holonomy is not a special feature of particular connections but a general property of formal power series connections.","feed_headline":"Formal connections yield holonomy functors through dimension 3","feed_subtitle":"Path homotopies up to dimension 3 become algebraic data via iterated-integral transport.","key_machinery":"The central object is the transport $T_\\omega$ of a formal power series connection, which lives in the completed tensor product of Chen's bar complex of iterated integrals with the completed cobar complex $\\widehat{\\Omega}(C)$ and is defined as the sum of all iterated integrals of the connection's form components times the corresponding products of cobar components. The identity doing the work is the twisted cochain condition $d_\\Omega\\omega+d\\omega=\\varepsilon(\\omega)\\wedge\\omega$, which, combined with Stokes' theorem, converts the boundary of a homotopy into the cobar differential of the integral over the homotopy. That conversion is what makes the holonomy values independent of representatives and compatible with the various compositions. The domain groupoids $P_2(M)$ and $P_3(M)$ are the path 2-groupoid and the fundamental Gray 3-groupoid, whose rank conditions on homotopies are chosen so that the integrated forms land in the degrees where the target categories are defined.","core_discovery":"The paper's central claim is Theorem A: for a formal power series connection $\\omega$ on a smooth manifold $M$ with values in the completed cobar complex $\\widehat{\\Omega}(C)$ of a coaugmented differential graded coalgebra $C$, the transport $T_\\omega$ integrates over paths, 2-paths, and good 3-paths to define functors $\\mathrm{Hol}^2_\\omega\\colon P_2(M)\\to C_2(C)$ and $\\mathrm{Hol}^3_\\omega\\colon P_3(M)\\to C_3(C)$. The 2-functor lands in a quotient by $d_\\Omega(\\widehat{\\Omega}^1(C)\\otimes\\widehat{\\Omega}^1(C))$, while the 3-functor uses laminated rank-2 homotopies for its 2-morphism assignment and lands in a quotient by $d_\\Omega\\widehat{\\Omega}^{1,2}(C)$ for its 3-morphisms. In the configuration-space application, the target simplifies because $\\bar D(m)^*$ is 1-connected, so the 2-morphisms of $C_3(\\bar D(m)^*)$ are linear combinations of degree-2 diagrams with additive compositions.","pith_inferences":["If Lemma 4.4 is sound, the laminated rank-2 homotopy relation rather than the weaker rank-2 relation is the correct thin-homotopy notion for this transport, and one could test this by searching for natural rank-2 homotopic 2-paths that are not laminated and whose transports differ.","The same construction pattern suggests that any flat formal connection valued in a complete differential graded algebra, not only a cobar complex, would induce analogous higher holonomy functors with the target category read off from degrees 0, 1, and 2 of that algebra.","The configuration-space Gray functor gives an explicit diagrammatic invariant of 3-dimensional homotopies of point configurations, which is a natural place to look for invariants of braided surfaces in $\\mathbb{R}^4$; the author's introduction gestures at this motivation without developing it."],"forward_implications":["The holonomy 2-functor assigns to every rank-2 homotopy class of 2-paths an element of $\\widehat{\\Omega}^1(C)/d_\\Omega(\\widehat{\\Omega}^1(C)\\otimes\\widehat{\\Omega}^1(C))$, with vertical composition given by addition and horizontal composition by mixed product formulas.","The holonomy 3-functor assigns to every rank-3 homotopy class of good 3-paths an element of $\\widehat{\\Omega}^2(C)/d_\\Omega\\widehat{\\Omega}^{1,2}(C)$, and it is a Gray functor compatible with upward, vertical, and horizontal whiskered compositions.","For $n\\ge 4$, the transport of the Komendarczyk-Koytcheff-Volic connection defines a Gray functor $\\mathrm{Hol}^3_\\omega\\colon P_3(\\mathrm{Conf}(m,\\mathbb{R}^n))\\to C_3(\\bar D(m)^*)$, giving a diagrammatic higher holonomy for configuration spaces.","The ordinary holonomy functor on $P_1(M)$ is recovered as the 1-dimensional case, so the higher functors extend rather than replace classical parallel transport.","The paper conjectures that holonomy $k$-functors exist for all $k\\ge 4$, conditional on a precise definition of the path $k$-groupoid."],"supporting_citations":[{"why":"Supplies the definition of iterated integrals and the composition formulas (Propositions 2.1.1 and 2.1.2) that make horizontal and whiskered transport multiplicative.","marker":"[Che73]"},{"why":"Establishes Chen's theorem identifying loop-space homology with the cobar complex via integration of the transport, the template for integrating a formal connection against paths and homotopies.","marker":"[Che77]"},{"why":"Introduces higher holonomy of formal homology connections and gives the differential formula for iterated integrals used in Section 2.4.","marker":"[Koh16]"},{"why":"The immediate predecessor whose Proposition 3.4 the paper refines, and the source of the transport-based construction of higher holonomy functors.","marker":"[Koh22]"},{"why":"Provides the fundamental Gray 3-groupoid $P_3(M)$, the laminated rank-2 homotopy condition, and the proof that $P_3(M)$ is a Gray 3-groupoid; this is the domain of the main functors.","marker":"[FMP11]"},{"why":"Defines the formal power series connection on $\\mathrm{Conf}(m,\\mathbb{R}^n)$ that the paper applies in its corollary.","marker":"[KKV24]"},{"why":"Provides the Kontsevich diagram differential graded algebra and the formality integration map $I$ used to build the connection's coefficients.","marker":"[L V14]"}],"fun_headline_variants":["Higher holonomy from formal power series connections","Path groupoids get holonomy functors through dimension 3","Formal connections give holonomy on paths, 2-paths, and 3-paths","Iterated-integral transport yields holonomy up to 3-paths","From paths to 3-paths: holonomy via formal connections"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper asserts without proof that a laminated homotopy is so thin that evaluating it at $k$ points never fills more than a $(k+1)$-dimensional region, which is what forces all relevant iterated integrals to vanish; if that assertion fails for even one homotopy, the holonomy 3-functor would depend on choices of representatives and would not exist as stated.","fun_headline_variants_meta":{"raw":{"variants":["Higher holonomy from formal power series connections","Path groupoids get holonomy functors through dimension 3","Formal connections give holonomy on paths, 2-paths, and 3-paths","Iterated-integral transport yields holonomy up to 3-paths","From paths to 3-paths: holonomy via formal connections"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000263,"raw_usage":{"total_tokens":1562,"prompt_tokens":869,"completion_tokens":693,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":485,"completion_tokens_details":{"reasoning_tokens":601}},"tokens_in":485,"tokens_out":693,"duration_ms":6395,"temperature":1.0,"reasoning_tokens":601,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:31:20.196395+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find one laminated rank-2 homotopy $H$ in a manifold and forms $\\omega_1,\\dots,\\omega_k$ of total degree $k+2$ such that the integral over $\\Delta_k\\times[0,1]^2$ of $\\widetilde H^*(\\omega_1\\times\\cdots\\times\\omega_k)$ is nonzero; Lemma 4.4 says this integral is always zero. A nonzero value would immediately show that $\\langle T_\\omega,h\\rangle$ depends on the representative 2-path and that the holonomy 3-functor is not well defined.","supporting_citations":[],"review_version":1}