{"id":"c3ff44eb-41b7-47e9-9fbd-8d6726229cdd","arxiv_id":"2501.10113","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two-dimensional homotopy quantum field theories with target pairs (X,Y) are classified by crossed loop Frobenius categories over the relative fundamental groupoid of (X,Y).","lead":"A new kind of homotopy quantum field theory, with maps from manifolds into a space X and base points required to land in a subspace Y, is classified in dimension 2. The classification says such theories are exactly the same as certain algebraic categories built from loops in X and paths connecting points of Y.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Reconstruction on positive-genus surfaces is not proved: the mapping class group of a genus-1 surface is not generated by boundary-parallel Dehn twists plus a reflection, so the missing handle-twist invariance is a load-bearing gap.","rationale":"The reader's verdict of CONDITIONAL is reasonable, and the admissibility/cutting-through-Y issue they emphasize is a genuine deferred proof step. However, I think the more load-bearing and more concrete gap is the asserted generation of the mapping class group in Lemma 6.7. For a genus-1 surface with one boundary component, the mapping class group is generated by Dehn twists about nonseparating curves, not by boundary-parallel Dehn twists plus a reflection. The paper checks invariance only for boundary-parallel twists and reflections on elementary pieces, so the well-definedness of the reconstructed HQFT on positive-genus surfaces is not demonstrated. The trace condition in Definition 5.12 is clearly designed to encode the punctured-torus relation, and Lemma 6.6 shows that a genuine HQFT satisfies it, but the converse step—using the trace condition to prove invariance of the reconstruction—is not carried out. This is suppressible by a direct computation on the once-punctured torus, which would either expose a counterexample or confirm that the axiom is sufficient. I therefore agree with the reader's broad assessment that the proof needs completion, but I identify a different specific weak point than the admissibility assumption. Since the reader already assigned CONDITIONAL and my concern does not move the verdict, I recommend UNCHANGED.","tokens_in":26555,"tokens_out":38522,"duration_ms":401101,"concrete_test":"Take V=Vect, X=S^1, Y={*}, so G=Z, and use the standard crossed loop Frobenius category L=K[Z] with its usual Frobenius structure. Compute the value Z(P) that the Lemma 6.7 reconstruction assigns to the once-punctured torus P with boundary loop αβα^{-1}β^{-1} in two ways: first by cutting P along the α-circle, and second by cutting along the β-circle, exactly as in Lemma 6.6. Using only the axioms of Definition 5.12, check symbolically whether the two resulting morphisms L_{αβα^{-1}β^{-1}} -> I are equal. If they are unequal for this basic example, Theorem 6.1 fails as stated; if they are equal, the missing handle-twist invariance is confirmed at least in the simplest nontrivial case, and the gap becomes a presentation issue rather than a mathematical error.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 6.7 constructs an HQFT from a crossed loop Frobenius category by assigning values to elementary discs, annuli, and pairs of pants, then claims topological invariance because 'the mapping class group is generated by the Dehn twists along boundary parallel circles and the reflection' and checks only those moves. This generation statement is false for surfaces of positive genus. The mapping class group of a genus-1 surface with one boundary component is generated by Dehn twists about a meridian and a longitude, neither of which is boundary-parallel, and no reflection generates the orientation-preserving handle twist. Consequently, the value of the reconstructed Z on a once-punctured torus may depend on the chosen pants decomposition unless the trace condition in Definition 5.12 supplies the missing relation. Lemma 6.6 derives the trace condition from the punctured torus, but Lemma 6.7 never proves the converse direction: that the trace condition forces the two natural decompositions of the torus to yield equal morphisms. Without this verification, the essential surjectivity of the functor F in Theorem 6.1 is not established for surfaces of genus at least one, even if the admissibility and cutting-through-Y issues are resolved as the reader suggests.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a variant of homotopy quantum field theory, called (X,Y)-HQFTs, in which boundary components are pointed and the basepoints are mapped to a specified subspace Y of a homotopy 1-type X. The relative fundamental groupoid G = Π1(X,Y) then replaces the fundamental group in the algebraic description. The author classifies 1-dimensional (X,Y)-HQFTs by dualizable representations of G, and proposes a 2-dimensional classification by crossed loop Frobenius (G,V)-categories. The main result, Theorem 6.1, asserts an equivalence between the category Q2(X,Y,V) of 2D (X,Y)-HQFTs and the category Frob^◦_G(V) of such algebraic structures. The proof extracts the algebraic data from an HQFT by evaluating on elementary surfaces (discs, annuli, and pairs of pants) and then reconstructs a functor from such data by gluing these elementary pieces, following the strategy of Turaev's classification of 2D HQFTs.","tokens_in":26684,"tokens_out":5464,"duration_ms":56497,"significance":"If the main theorem is correct, it gives a substantial generalization of Turaev's classification of 2D homotopy quantum field theories, replacing finite groups by the relative fundamental groupoid and vector spaces by an arbitrary strict symmetric monoidal target category. The paper works out in detail the equivalence between the two presentations of Frobenius (G,V)-categories (via multiplication/comultiplication and via a non-degenerate inner product), which is valuable in itself. The elementary-surface generators are clearly specified, and many gluing checks are written out explicitly, so the paper is largely self-contained in its algebraic parts. The main obstacle is a missing invariance check for positive-genus surfaces in the reconstruction direction, which is load-bearing for the classification theorem.","major_comments":[{"comment":"The proof of topological invariance states that \"the mapping class group is generated by the Dehn twists along boundary parallel circles and the reflection\" and then checks invariance only under these moves. This generation statement is false for surfaces of positive genus: the mapping class group of a genus-one surface with one boundary component is not generated by boundary-parallel Dehn twists and a reflection, and in general a handle twist about a non-boundary-parallel curve is needed. Consequently, the proof does not establish that the reconstructed Z on a once-punctured torus is independent of the chosen pants decomposition. The trace condition in Definition 5.12(LF3) is the only axiom that could force this independence; it is derived from the punctured torus in Lemma 6.6, but Lemma 6.7 never proves the converse direction, namely that (LF3) forces the two natural decompositions of the punctured torus to yield equal morphisms. Without this verification, the essential surjectivity of the functor F in Theorem 6.1 is not established for surfaces of genus at least one. This is a load-bearing gap: the author should either prove handle-twist invariance directly from the axioms of a crossed loop Frobenius (G,V)-category, or replace the generation statement with a correct one and check the additional generators explicitly.","section":"Lemma 6.7 (page 27, final paragraph)"}],"minor_comments":[{"comment":"There are several typos: \"Prelimaries\" in the title of Section 2, \"acounting\" in the abstract, \"disected\" and \"reflexion\" in Lemma 6.7, and \"statisfy\" in Proposition 3.4; these should be corrected.","section":"Throughout"},{"comment":"The partial trace notation Traceβ(f) is used, but the definition does not explicitly state that β is the loop whose dual is being traced; the displayed formula uses ηβ and coevβ−1, and this convention should be stated for clarity.","section":"Definition 5.11"},{"comment":"The line \"Z(C++(α;1x)) =: coevα : I → Lα−1 ⊗ Lα → I\" contains a typo: the codomain of coevα should be Lα−1 ⊗ Lα, and the final arrow \"→ I\" should be removed.","section":"Section 6, near definition of coev"},{"comment":"The notation G0 is used both for the discrete groupoid of loops in Definition 5.12 and for the collection of loops in Section 6; these uses should be unified and distinguished from the notation for the whole groupoid G.","section":"Definition 5.12 and Section 6"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious generalization of Turaev's work and contains many detailed and correct-looking algebraic verifications. The central gap is the missing handle-twist invariance in Lemma 6.7, which directly affects the proof of Theorem 6.1. If the trace condition does not in fact force the punctured-torus decompositions to agree, the classification theorem as stated may be false or may require an additional axiom. I would ask the author to address this point explicitly before further consideration. The manuscript would also benefit from a careful proofreading pass."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real news is that this paper does what it says: it replaces the group in Turaev's crossed Frobenius G-algebras with the relative fundamental groupoid Pi_1(X,Y), and it proves the 1D classification and the algebraic equivalence of the two Frobenius definitions carefully. The notion of crossed loop Frobenius (G,V)-categories is a natural and useful multi-object generalization, and the explicit gluing checks for cylinders, discs, and pairs of pants are convincing. The admissibility condition on (X,Y) is clearly motivated and reasonable. These are real contributions, and the paper is worth engaging with seriously.\n\nThe soft spot is in the proof of Theorem B, specifically Lemma 6.7. The text says that topological invariance follows because the mapping class group is generated by Dehn twists along boundary-parallel circles and a reflection. That is false for surfaces of positive genus. The mapping class group of a once-punctured torus is generated by Dehn twists about a meridian and a longitude, neither of which is boundary-parallel, and no reflection generates the handle twist. So the checks in Lemma 6.7 do not cover the genus-1 case. The trace condition in Definition 5.12 is exactly the relation that would force the two natural pants decompositions of the punctured torus to yield equal morphisms, but the proof never verifies that the reconstructed Z satisfies this relation in the converse direction. Without that verification, essential surjectivity of F is not established for surfaces of genus at least one.\n\nThis is not a minor presentation issue; it is a load-bearing gap in the proof of the main theorem. The gap is likely fixable: one should add an explicit check that the trace condition (or an equivalent handle-slide relation) gives invariance under the missing Dehn twist, and then cite the actual generation result for mapping class groups. But as written, Theorem B is conditional. The reliance on Turaev's book for the splitting system independence is fine if the reference is precise, but the mapping class group generation statement is not a delegation; it is an assertion that happens to be wrong.\n\nThe paper is for specialists in HQFT and TQFT, and for anyone working on groupoid-targeted topological field theories. The algebraic framework is solid enough that the paper deserves a serious referee, even though the main theorem is not yet fully proved. Send it to a good referee, and require them to address the handle-twist invariance before acceptance.","headline":"A genuinely new groupoid-level generalization of Turaev's 2D HQFT classification, but the reconstruction proof has a load-bearing gap around positive-genus mapping class groups.","tokens_in":27315,"tokens_out":2621,"would_cite":true,"duration_ms":27302,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18M15","57R56"],"pacs":[],"model":"deepseek-v4-flash","headline":"For an admissible pair (X,Y), 2-dimensional (X,Y)-HQFTs are classified by crossed loop Frobenius categories over the relative fundamental groupoid Π1(X,Y), extending the group-based classification.","keywords":["homotopy quantum field theory","HQFT","relative fundamental groupoid","crossed loop Frobenius category","Frobenius (G,V)-category","cobordism category","crossed Frobenius algebra","2D TQFT"],"falsifier":"Take X to be the figure-eight space and Y its basepoint, so G=Π1(X,Y) is the free groupoid on two loops; choose V=Vect_K and a finite-dimensional crossed loop Frobenius category, then compute the invariant of the punctured torus by decomposing it in the two ways used in Lemma 6.6 and compare the two partial-trace expressions. Any mismatch would break the reconstruction of a HQFT from the algebraic data, disproving the sufficiency half of Theorem B.","tokens_in":26261,"feed_emoji":"🌀","tokens_out":12177,"duration_ms":115101,"temperature":0.7,"pith_summary":"This paper proves that two-dimensional homotopy quantum field theories with target a space pair (X,Y) are not just described by, but equivalent to, a purely algebraic structure called a crossed loop Frobenius (G,V)-category, where G=Π1(X,Y) is the relative fundamental groupoid and V is the symmetric monoidal target category. HQFTs are functors from a cobordism category of manifolds equipped with maps into X, with basepoints required to land in Y, into V; they generalize TQFTs by remembering homotopical data carried by those maps. The main theorem says that every such HQFT is determined up to isomorphism by objects Lα indexed by loops α in G together with multiplication, unit, comultiplication, counit, and crossing maps satisfying explicit axioms, and conversely every such algebraic datum produces a genuine HQFT. This matters because it reduces a topological classification problem to algebra and because it extends the group-based classification to multi-point targets.","feed_headline":"2D HQFTs are classified by crossed loop Frobenius categories","feed_subtitle":"One algebraic package of objects, products, coproducts and crossings captures every 2D homotopy quantum field theory.","key_machinery":"The load-bearing object is the skeleton of the (X,Y)-cobordism category, whose connected 1-manifolds are circles labelled by loops α:x→x in the relative fundamental groupoid G=Π1(X,Y). The argument shows every (X,Y)-surface is obtained by gluing four types of elementary pieces: closed discs B±(1x), annuli C_{ε,μ}(α;β) whose boundary labels are α and $βα^{{±1}}$$β^{{-1}}$, and two-holed discs D_{ε,μ,ν}(α,β;ρ,δ). The algebraic counterpart is the crossed loop Frobenius (G,V)-category: objects Lα in V for every arrow α of G, multiplication m_{α,β}:Lα⊗Lβ→L_{αβ}, unit j_x:I→L_{1x}, comultiplication Δ_{α,β}:L_{αβ}→Lα⊗Lβ, counit ν_x:L_{1x}→I, and crossings φ^α_β:Lα→L_{$βαβ^{{-1}}$} for loops α and paths β, subject to Frobenius conditions, conjugation-compatibility, a commutativity relation m_{β,α}σ=m_{$βαβ^{{-1}}$,β}(φ^α_β⊗Lβ), and a partial-trace identity encoding the punctured torus. The partial trace Trace_β(f)=η_β(f⊗L_{$β^{{-1}}$})(Lα⊗coev_{$β^{{-1}}$}) is the exact algebraic counterpart of gluing two boundary circles of a surface together.","core_discovery":"The central claim is Theorem B: for a strict symmetric monoidal category V and an admissible pair (X,Y) with X a homotopy 1-type, the category Q2(X,Y,V) of 2-dimensional (X,Y)-HQFTs is equivalent to the category Frob_G^◦(V) of crossed loop Frobenius (G,V)-categories with G=Π1(X,Y). The paper proves the claim in two directions. Evaluating a HQFT on the elementary (X,Y)-surfaces—closed discs, annuli, and two-holed discs—produces objects Lα indexed by loops α in G, operations m,j,Δ,ν, and crossings φ, and functoriality forces these to satisfy the Frobenius and crossed axioms. Conversely, any crossed loop Frobenius category defines values on those elementary surfaces, and the axioms guarantee that the resulting assignment is independent of how a general surface is cut into pieces, so it extends to a symmetric monoidal functor. When V=Vect_K and Y={*}, the result reduces to the existing classification of 2D HQFTs by crossed Frobenius G-algebras.","pith_inferences":["The theorem is proved only for homotopy 1-types, but the shape of the algebraic data suggests that allowing nontrivial π2(X) would force new operations on the Frobenius structure rather than merely more objects; comparing with the known 2-type classifications would test how much of the groupoid language survives.","The crossing operation is defined for all paths but acts only on loops, an asymmetry the paper itself flags; a natural open/closed version with objects for open strings would likely require a crossed analogue of knowledgeable Frobenius algebras.","Because the proof gives an explicit reconstruction from algebra to surfaces, the equivalence can be used as a generator of concrete invariants: in any symmetric monoidal category V, a crossed loop Frobenius category defines numerical or algebraic invariants of 2-manifolds with maps to X.","The equivalence of categories also transfers automorphism groups and deformation questions, so computing the symmetry or deformation theory of 2D (X,Y)-HQFTs is the same algebraic problem for crossed loop Frobenius categories."],"forward_implications":["Every 2D (X,Y)-HQFT is determined up to monoidal natural isomorphism by its underlying crossed loop Frobenius (G,V)-category; two HQFTs are isomorphic exactly when their underlying algebraic structures are.","Conversely, a crossed loop Frobenius category can be promoted to a genuine symmetric monoidal functor on all (X,Y)-cobordisms, so the algebraic axioms are necessary and sufficient.","In the classical case Y={*} and V=Vect_K, the theorem reduces to the established classification of 2D HQFTs by crossed Frobenius G-algebras; for contractible X it reduces to the classification of 2D TQFTs by commutative Frobenius algebras.","Because the source cobordism category is rigid, all natural transformations between HQFTs are isomorphisms, so Q2(X,Y,V) and Frob_G^◦(V) are equivalent as groupoids.","The 2D classification is compatible with the paper's 1D Theorem A: restricting to cylinders and boundary circles gives dualizable objects with L_{α^{-1}} the dual of Lα, matching the classification of 1D theories by dualizable representations of G."],"supporting_citations":[{"why":"Supplies the original classification of 2D HQFTs by crossed Frobenius algebras and the splitting-of-loops proof that this paper adapts to the relative groupoid setting.","marker":"[11]"},{"why":"Introduces HQFTs and gives the group-target classification by crossed Frobenius algebras that Theorem B generalizes to groupoids.","marker":"[10]"},{"why":"Provides the base classification of 2D TQFTs by commutative Frobenius algebras, which the present result recovers when the target pair is contractible.","marker":"[1]"},{"why":"Establishes that (d+1)-dimensional HQFTs depend only on the homotopy (d+1)-type of the target, justifying the standing assumption that X is a homotopy 1-type.","marker":"[8]"}],"fun_headline_variants":["2D HQFTs classified by crossed loop Frobenius categories","Crossed loop Frobenius categories classify 2D HQFTs","2D HQFT classification via crossed loop Frobenius (G,V)-categories","Groupoids generalize groups in 2D HQFT classification"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes every connected component of the target space X contains at least one point of Y; if that fails, circles mapping into a component with no allowed basepoint cannot be cut into the elementary pieces that carry the algebraic operations.","fun_headline_variants_meta":{"raw":{"variants":["2D HQFTs classified by crossed loop Frobenius categories","Crossed loop Frobenius categories classify 2D HQFTs","2D HQFT classification via crossed loop Frobenius (G,V)-categories","Groupoids generalize groups in 2D HQFT classification"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001545,"raw_usage":{"total_tokens":6189,"prompt_tokens":967,"completion_tokens":5222,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":583,"completion_tokens_details":{"reasoning_tokens":5145}},"tokens_in":583,"tokens_out":5222,"duration_ms":35427,"temperature":1.0,"reasoning_tokens":5145,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:24:40.351176+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take X to be the figure-eight space and Y its basepoint, so G=Π1(X,Y) is the free groupoid on two loops; choose V=Vect_K and a finite-dimensional crossed loop Frobenius category, then compute the invariant of the punctured torus by decomposing it in the two ways used in Lemma 6.6 and compare the two partial-trace expressions. Any mismatch would break the reconstruction of a HQFT from the algebraic data, disproving the sufficiency half of Theorem B.","supporting_citations":[{"cited_title":"Turaev, Homotopy Quantum Field Theory, EMS Tracts in Math ematics, 2010","cited_arxiv_id":null,"evidence_quote":"Supplies the original classification of 2D HQFTs by crossed Frobenius algebras and the splitting-of-loops proof that this paper adapts to the relative groupoid setting."},{"cited_title":"Homotopy field theory in dimension 2 and group-algebras","cited_arxiv_id":"math/9910010","evidence_quote":"Introduces HQFTs and gives the group-target classification by crossed Frobenius algebras that Theorem B generalizes to groupoids."},{"cited_title":"Abrams, Two-dimensional topological quantum field theories a nd Frobenius algebras, Journal of Knot Theory and Its Ramifications 5 (5), (1996), 569–587","cited_arxiv_id":null,"evidence_quote":"Provides the base classification of 2D TQFTs by commutative Frobenius algebras, which the present result recovers when the target pair is contractible."},{"cited_title":"Rodrigues, Homotopy Quantum Field Theories and the Homotop y Cobordism Category in Dimension 1 + 1, J","cited_arxiv_id":null,"evidence_quote":"Establishes that (d+1)-dimensional HQFTs depend only on the homotopy (d+1)-type of the target, justifying the standing assumption that X is a homotopy 1-type."}],"review_version":1}