{"id":"3b8fc9b9-7983-46cf-827b-2f83e514f613","arxiv_id":"2607.22084","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Lifting a semisimple cohomological field theory by a Frobenius algebra yields non-semisimple partial CohFTs whose DR hierarchies are bi-Hamiltonian, confirming the BRS21 conjecture in these new cases.","lead":"Mathematicians have built a general machine for 'lifting' a simple kind of integrable system into a more complicated, non-semisimple one, and proved the new systems automatically inherit a second Hamiltonian structure. This confirms a conjectured explicit formula for that structure in a whole new class of cases, a step toward completing the bi-Hamiltonian theory of DR hierarchies.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the reduction of Theorem 4.3 to the published semisimple result [BR25] is sound, with only unexpanded algebraic identities (28), (47), and (58) worth a direct check.","rationale":"The reader's verdict of ACCEPT is well supported. The paper's main theorem is a clean transfer: lift the semisimple bi-Hamiltonian structure and prove the lifted objects match the BRS21 formula for the lifted P-CohFT. The proof does not require the full P-CohFT generalization of the BRS21 conjecture; it establishes the desired statement for the lifted subclass directly. The reader's weakest assumption, Remark 4.2, is therefore not actually load-bearing for Theorem 4.3. The real soft spot is the set of unexpanded algebraic identities underlying Prop. 3.3 and Prop. 4.4. These are essential but are computational in nature and consistent with the known tangent-bundle case. No internal inconsistency, circularity, or unsupported leap was found. The theorem's novelty and correctness risk are as the reader assessed; independent verification of the algebraic identities is advisable but not grounds for changing the verdict.","tokens_in":17503,"tokens_out":41572,"duration_ms":377416,"concrete_test":"Directly verify identity (28) and conjugation (47) for a non-semisimple Frobenius algebra with L=3, e.g. A = C[z]/(z^3) with residue trace, by computing the action of both sides on a finite monomial basis of the jet space up to degree 2 in u and θ. If the identities hold for all i and all monomials tested, the transfer argument in Prop. 3.3 and Prop. 4.4 is confirmed; if any counterexample appears, Theorem 4.3 is invalidated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing flaw in the central argument. The proof of Theorem 4.3 does not actually depend on the unproved extension of the BRS21 conjecture to P-CohFTs flagged in Remark 4.2: it proves the lifted statement directly by transferring the known semisimple CohFT result through Prop. 3.3, Prop. 4.4, and Prop. 4.5. Thus the reader's stated weakest assumption is not what carries the theorem. The genuinely under-verified steps are the computational identities used in Prop. 3.3 and Prop. 4.4: the 'simple computation' (28), the 'explicit conjugation' (47), and their generalization (58). These identities are asserted without full expansion and are load-bearing: if any one of them were wrong, Prop. 3.3 or Prop. 4.4 would fail and Theorem 4.3 would not go through. However, the identities are explicitly local and rational in the Frobenius algebra data, and spot checks (e.g., A = C[z]/z^2, the tangent-bundle case) match the expected Morimoto lift. I therefore regard them as checkable computations rather than a demonstrated gap.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines a lift operation for partial cohomological field theories (P-CohFTs) with respect to a Frobenius algebra A, extending the tangent-bundle lift of Della Vedova–Lorenzoni–Savoldi to Weil/Morimoto lifts. It also defines a compatible lift of local polyvector fields and proves that this lift preserves the Schouten bracket (Prop. 3.3). The main theorem (Thm. 4.3) states that every P-CohFT obtained as such a lift of a homogeneous semisimple CohFT satisfies the BRS21 bi-Hamiltonian conjecture: the explicit bivector Br2 is Poisson and satisfies the recursion (44) with the Hamiltonians of the DR hierarchy. The proof is a reduction: Propositions 4.4 and 4.5 show that the lifted bracket, bivector, and Hamiltonians coincide with the lifts of the original semisimple objects; then the known semisimple theorem of Buryak–Rossi [BR25] is transferred through the Schouten-bracket compatibility. The paper also compares this algebraic lift with Morimoto's complete lift for A = C[z]/(z^{r+1}), establishing that the lift of a hydrodynamic Poisson structure matches the classical complete lift.","tokens_in":17781,"tokens_out":15008,"duration_ms":136092,"significance":"The result is significant: it supplies the first systematic family of genuinely non-semisimple homogeneous P-CohFTs whose DR hierarchies admit the full bi-Hamiltonian structure predicted by BRS21, in a setting where the Dubrovin–Zhang approach is not available. The argument is clean and reduces a potentially hard analytic statement to the published semisimple theorem plus explicit algebraic transfers. The main load-bearing steps, Propositions 3.3, 4.4, and 4.5, are concrete and checkable; the comparison with Morimoto's lift in Section 3.3 is a valuable cross-check. I find the central claim sound and the paper within the scope of a mathematical physics journal.","major_comments":[],"minor_comments":[{"comment":"The expression 'q+q - 1/2 + d/2' is ambiguous: it likely should be 'q + \\bar q - 1/2 + d/2' or similar, with \\bar q defined earlier. Please clarify the notation in the displayed formulas, including the lifted version in (47).","section":"Eq. (43), (47)"},{"comment":"Typo: 'homogenenous semisimple' should be 'homogeneous semisimple'.","section":"Theorem 4.3"},{"comment":"The identities (28) are asserted as a 'simple computation' but are load-bearing and not immediately transparent because the operators J_i include the constant term ∫ f_i, which is essential when acting on constants. Adding a short derivation or an example for A = C[z]/z^2 would improve readability. This is a presentation request, not a correctness concern.","section":"Prop. 3.3, Eq. (28)"},{"comment":"The remark extends the BRS21 conjecture to P-CohFTs and notes the naturality of this extension. Since the proof of Theorem 4.3 does not actually depend on this unproved extension — it transfers the semisimple result through Props. 3.3, 4.4, and 4.5 — the wording could be sharpened to avoid the impression that the theorem relies on the extended conjecture.","section":"Remark 4.2"}],"recommendation":"accept","confidential_remarks":"I found no load-bearing flaw. The proof is a reduction to [BR25] with explicit algebraic checks; the unexpanded identities are checkable and the authors clearly know the surrounding literature. The paper is suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real advance, not just a routine transfer. The lift of P-CohFTs with respect to a Frobenius algebra is new in all genera, and it gives the first systematic non-semisimple examples where the BRS21 explicit second-bracket formula is verified. The proof strategy is the right one: Theorem 4.3 is reduced to the published semisimple theorem [BR25] via Propositions 3.3, 4.4, and 4.5. I checked the logic of that reduction and it holds together. The comparison with Morimoto's complete lift (Cor. 3.6) is a useful bridge, not decoration.\n\nWhere I'd be careful: the load-bearing algebraic identities are asserted rather than shown. Equation (28) in Prop. 3.3, the \"explicit conjugation\" (47), and its generalization (58) in Prop. 4.4 are all computational and all necessary for the transfer. The stress-test note is right that these are the true soft spots. I did not find an error; the identities are local and rational in the Frobenius data, and the tangent-bundle r=1 case checks out. But a referee should ask for expansions or at least a lemma with a proof. That is a terse-computation issue, not a demonstrated gap.\n\nOn circularity: Remark 4.2 extends the BRS21 conjecture to P-CohFTs, and the reader flagged it as the weakest assumption. I'd call that fair but not dangerous. Theorem 4.3 proves the lifted statement directly by transfer, so the unproved extension is not carrying the theorem. The only real reliance on conjecture is interpretational — what the theorem means if the P-CohFT extension required corrections. That is clearly flagged.\n\nCitation pattern looks honest, and the novelty claims are accurate. The dependence on [BR25] is explicit and appropriate. No free parameters, no invented entities.\n\nBottom line: solid paper, clearly worth a serious referee. It will be useful to anyone working on DR hierarchies, Dubrovin-Zhang, or lifts of geometric structures. I'd bring it to a reading group and cite it.","headline":"A genuinely useful transfer argument that confirms the BRS21 second-bracket formula for a new non-semisimple class; the only real caveat is a few load-bearing algebraic identities that are asserted rather than shown.","tokens_in":18320,"tokens_out":1650,"would_cite":true,"duration_ms":16661,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14N35","37K10","53D45","17B63"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that lifting a homogeneous semisimple cohomological field theory with a Frobenius algebra yields a partial CohFT whose DR hierarchy is bi-Hamiltonian, confirming the conjectured second bracket in non-semisimple cases.","keywords":["partial cohomological field theory","Frobenius algebra","lift","bi-Hamiltonian structure","double ramification hierarchy","non-semisimple","local polyvector fields","Schouten bracket"],"falsifier":"Compute the lifted DR hierarchy for the lift of any semisimple homogeneous CohFT with respect to the nilpotent algebra C[z]/(z^2), explicitly write the bivector Br2 from formula (43), and verify [Br2, Br2] = 0 and the recursion (44) for the first few Hamiltonians; a single failure would refute the theorem, while a successful check would confirm it in a concrete non-semisimple case.","tokens_in":17362,"feed_emoji":"🧮","tokens_out":6268,"duration_ms":59710,"temperature":0.7,"pith_summary":"The paper establishes a transfer principle for bi-Hamiltonian structure in the theory of double-ramification hierarchies. It defines a 'lift' operation: given a Frobenius algebra and a partial cohomological field theory (P-CohFT), one can produce a new P-CohFT on the tensor product of the target space with the algebra, together with a matching lift of local polyvector fields that respects the Schouten bracket. The main theorem says that if the original theory is a homogeneous semisimple cohomological field theory, then the lifted P-CohFT satisfies the conjectured explicit formula for the second Poisson bracket, yielding a bi-Hamiltonian hierarchy. Since the lift is typically non-semisimple when the Frobenius algebra is not semisimple, this produces genuinely new non-semisimple examples where the conjecture holds, going beyond what the semisimple methods could reach.","feed_headline":"Lifting semisimple theories yields new bi-Hamiltonian systems","feed_subtitle":"Non-semisimple cases, previously out of reach, now follow from semisimple ones by a Frobenius-algebra lift.","key_machinery":"The lift construction: an algebra with a nondegenerate trace (a Frobenius algebra) is used to replace the target space V by V⊗A, with correlators multiplied by traces of products of A-elements. For local polyvector fields, the lift is implemented by a differential operator J1 that combines the identity embedding of the original fields and derivations J_l along the extra A-directions; Proposition 3.3 shows this lift is a morphism of graded Lie algebras for the Schouten bracket. This bracket-preservation is the load-bearing mechanism that allows the bi-Hamiltonian identities to be carried over from the semisimple case.","core_discovery":"The central claim is Theorem 4.3: for any partial cohomological field theory obtained as a lift of a homogeneous semisimple cohomological field theory with respect to a Frobenius algebra, the explicit bivector Br2 defined in the paper is a Poisson bracket, and together with the standard first bracket Br1 it satisfies the bi-Hamiltonian recursion for all Hamiltonians of the DR hierarchy. The proof works because the lift operation commutes with every ingredient of the DR hierarchy: the two Poisson brackets and the Hamiltonians of the lifted theory are exactly the lifts of the corresponding objects of the original theory, and the lift of a polyvector field preserves the Schouten bracket. Since","pith_inferences":["The same transfer should work for any Hamiltonian structure whose defining formulas are explicit in terms of P-CohFT correlators, not just the conjectured second bracket; the proof only uses formal commutativity of the lift with brackets and Hamiltonians.","Because the lift of a CohFT is a P-CohFT but not a CohFT unless the Frobenius algebra's handle element is the unit, the construction maps semisimple CohFTs into genuinely partial theories, suggesting a systematic source of P-CohFTs whose full CohFT status fails only through the handle axiom.","One could test the method on a concrete semisimple theory, such as the trivial theory of a point, with A=C[z]/(z^2), and write down the first nontrivial lifted Hamiltonians and brackets explicitly as a check and as an explicit non-semisimple bi-Hamiltonian hierarchy.","The geometric coincidence with the classical complete lift to higher-order tangent bundles hints that the lift of the full Dubrovin-Novikov bracket ingredients (metric, connection, etc.) may also match the complete lift, giving a geometric explanation of why the bi-Hamiltonian structure survives."],"forward_implications":["Any homogeneous semisimple CohFT, lifted with respect to an arbitrary Frobenius algebra, gives a P-CohFT whose DR hierarchy is bi-Hamiltonian; this is a new family of non-semisimple examples when the algebra has nilpotent directions.","The lift preserves Poisson and compatibility conditions for arbitrary local polyvector fields, so the same construction can supply second Hamiltonian structures for other integrable hierarchies built from P-CohFTs.","For the algebra C[z]/(z^{r+1}), the algebraically lifted brackets and Hamiltonians coincide with the classical complete lifts of their geometric ingredients, linking the formal theory to the geometry of higher-order tangent bundles.","The proof of the bi-Hamiltonian recursion relies only on formal properties of the lift, so it applies uniformly to all such lifted P-CohFTs without case-by-case verification."],"fun_headline_variants":["Frobenius lift reveals hidden Poisson brackets","Lift semisimple to get bi-Hamiltonian systems","New bi-Hamiltonian structures from Frobenius lifts","Non-semisimple bi-Hamiltonians via simple lifts","Bi-Hamiltonian systems from lifted cohomological theories"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The conjecture that the explicit second-bracket formula, originally stated for full cohomological field theories, extends unchanged to partial cohomological field theories is assumed without proof (Remark 4.2 of the paper); if that extension required correction, the theorem would not deliver a genuine bi-Hamiltonian structure.","fun_headline_variants_meta":{"raw":{"variants":["Frobenius lift reveals hidden Poisson brackets","Lift semisimple to get bi-Hamiltonian systems","New bi-Hamiltonian structures from Frobenius lifts","Non-semisimple bi-Hamiltonians via simple lifts","Bi-Hamiltonian systems from lifted cohomological theories"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00014,"raw_usage":{"total_tokens":953,"prompt_tokens":656,"completion_tokens":297,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":400,"completion_tokens_details":{"reasoning_tokens":217}},"tokens_in":400,"tokens_out":297,"duration_ms":3329,"temperature":1.0,"reasoning_tokens":217,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T05:50:27.455038+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the lifted DR hierarchy for the lift of any semisimple homogeneous CohFT with respect to the nilpotent algebra C[z]/(z^2), explicitly write the bivector Br2 from formula (43), and verify [Br2, Br2] = 0 and the recursion (44) for the first few Hamiltonians; a single failure would refute the theorem, while a successful check would confirm it in a concrete non-semisimple case.","supporting_citations":[],"review_version":1}