{"id":"fc3f9137-9436-4cf0-8682-9b39c8884b4f","arxiv_id":"2509.17895","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Gauge-theoretic obstruction sequences characterize homotopy equivalences between algebras over properads and colored operads, with applications to minimal models over general fields and in etale cohomology.","lead":"This paper develops an obstruction theory that detects when two algebraic structures are homotopy equivalent, using gauge actions in complete differential graded Lie algebras. It extends earlier formality criteria to properads, colored operads, and coefficient rings beyond characteristic zero, and proves new minimal-model results for highly connected manifolds and varieties.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central characterization in Theorems 2.24–2.29 is entirely delegated to unpublished Theorem 2.11 ([CV25]); if the exp/log isomorphism fails or doesn't extend to properadic/colored g_A, the paper's main claim collapses.","rationale":"The reader's weakest_assumption correctly identifies Theorem 2.11 as the main load-bearing bridge. Every one of the principal theorems (2.24, 2.25, 2.27, 2.29) is proved only by reducing to Section 1 via this theorem. The fact that [CV25] is unpublished and not publicly verifiable is a genuine correctness risk, not merely an inconvenience. My stress-test confirms that this is the single most consequential point: without Theorem 2.11, the paper's central claim—that gauge equivalence degree detects homotopy equivalence of ΩC-algebra structures—has no proof. The other issues the reader flagged (the duplicated proof of Theorem 1.22 and the unverified use of Zhou's cyclic lemma in Theorem 3.3) are real but secondary: they affect applications and specific proofs, whereas Theorem 2.11 underpins the entire framework. I considered whether the concern could be dismissed because Theorem 2.11 is likely true given the authors' expertise, but the instructions require assessing the argument as presented, and an unpublished citation with no proof sketch is not an independent check. I therefore agree with the reader's conditional verdict: the paper is promising and likely correct in spirit, but it cannot be fully accepted until the cited bridge is made available or proved. My recommendation is UNCHANGED because the reader already reached this conclusion; I do not see grounds for a stronger or weaker verdict.","tokens_in":32727,"tokens_out":6712,"duration_ms":69571,"concrete_test":"Independently prove the following for a reduced conilpotent dg coproperad C over a Q-algebra: the map exp: (g_A^0, BCH) → Γ_A defined by exp(λ) = 1 + Σ_{n≥1} λ^{⊚n}/n! is a bijection and satisfies exp(λ)·φ = λ·φ for every λ ∈ g_A^0 and φ ∈ MC(g_A), where · is the gauge action on one side and the ∞-isotopy action of Proposition 2.15 on the other. A minimal computational check is to take C = Ass^¡ (so ΩC = A∞), A = H^*(S^2) with a nontrivial A∞ product, compute both groups for low-dimensional A, and verify that the exp/log series converge and that the orbit of a nontrivial MC element under (g_A)^0 equals its orbit under Γ_A. If the map is not surjective or the action compatibility fails, Theorem 2.24 requires a different bridge and the main claim is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central theorem (Theorem 2.24) and its refinements (Theorems 2.25, 2.27, 2.29) all have proofs of the form 'Thanks to Theorem 2.11, this result is a direct application of Theorem 1.11...'. Theorem 2.11 asserts an isomorphism between the gauge group of the convolution Lie algebra g_A and the group of ∞-isotopies Γ_A, via graph exponential/logarithm maps, but it is cited only to the unpublished preprint [CV25] ('in preparation'). No proof or sketch is provided in the manuscript. Unless that isomorphism is established for the full generality of reduced conilpotent dg coproperads (including the properadic and colored cases used in the applications), the obstruction theory of Section 1 cannot be translated into statements about gauge homotopy equivalences of ΩC-algebras. Moreover, the proofs require not just an abstract group isomorphism but compatibility with the actions: the gauge action of a degree-0 element λ must correspond under exp to the action f·φ of the ∞-isotopy f = exp(λ) defined in Proposition 2.15. This compatibility is not stated or proved. The dependence is amplified by Proposition 2.33, which invokes the proof of Theorem 2.11 to assert that a truncated logarithm is well defined over rings where only (n−1)! is invertible; this goes beyond the Q-algebra hypothesis of the cited theorem and is not independently justified. Thus the main bridge of the paper is unverified and load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an obstruction theory for gauge equivalences between Maurer–Cartan elements in complete dg Lie algebras. For two such elements φ, ψ it constructs a sequence of cohomology classes in the successive quotients of the twisted Lie algebra g^ψ, and defines a gauge equivalence degree that, under bounded, weight-graded, or faithfully flat descent hypotheses, is shown to detect actual gauge equivalence (Theorems 1.11, 1.13, 1.17, 1.19). The second part aims to apply this theory to homotopy equivalences between algebras over properads and colored operads, using the identification of ∞-isotopies with the gauge group via graph exponential/logarithm maps (Theorem 2.11, cited to the unpublished preprint [CV25]). This yields the stated characterizations Theorems 2.24–2.29. The final section applies the machinery to obtain A∞-minimal models for highly connected manifolds and étale cohomology of smooth varieties (Theorems 3.5, 3.6).","tokens_in":33025,"tokens_out":5339,"duration_ms":45978,"significance":"If the main bridge result (Theorem 2.11) is correct in the required generality, the paper would provide a unified and potentially powerful obstruction-theoretic framework for homotopy equivalences of ΩC-algebras, extending earlier formality criteria and giving new applications in étale cohomology. The core Section 1 material is mostly self-contained and carefully argued; the weight-graded and descent statements are useful in their own right. However, the advertised main theorems rest on an unpublished result, and one of the stated applications (Theorem 1.22) is not proved. The positive characteristic claims in Section 2.5 also depend on a compatibility statement that is not independently justified.","major_comments":[{"comment":"The central bridge of the paper is Theorem 2.11, quoted from the unpublished preprint [CV25, Theorem 2.24]. Every proof in Section 2.4 is of the form “Thanks to Theorem 2.11, this is a direct application of Theorem 1.11/1.13/1.17/1.19.” The theorem asserts an isomorphism exp: (g_A)^0 → Γ_A, but the manuscript does not state or prove the required compatibility with the gauge action: under this isomorphism, the gauge action of λ ∈ g_A^0 must correspond to the action f·φ of the ∞-isotopy f = exp(λ) defined in Proposition 2.15. That compatibility is exactly what is needed to pass from gauge equivalence to homotopy equivalence. Since [CV25] is listed as “in preparation” with no public version, the main characterization is not independently checkable. A complete proof of Theorem 2.11, or at least a full statement including the action compatibility, should be included in the manuscript.","section":"§2.4, Theorem 2.11 and Theorems 2.24–2.29"},{"comment":"The proof of Theorem 1.22 is verbatim identical to the proof of Theorem 1.19. It proves a descent statement for Maurer–Cartan elements in a complete dg Lie algebra, but it never introduces the fibration ξ, its fiber F^Q, the relevant dg Lie algebra from [Ber15, Theorem 1.5], or the correspondence between fiberwise triviality and gauge triviality. Consequently the theorem about fibrations is not proved. Either the missing argument must be supplied, or the statement should be removed or made explicitly conditional on the cited model.","section":"§1.5, Theorem 1.22"},{"comment":"The proof of the implication (2)⇒(1) invokes “the proof of Theorem 2.11” to assert that a truncated logarithm is well defined over a ring where only (n−1)! is invertible. This goes beyond the Q-algebra hypothesis of Theorem 2.11, and no independent proof is given. The statement that the graph exponential is surjective and that the logarithm is constructed inductively using divisions by k! for k ≤ n is precisely the kind of compatibility claim that Theorem 2.11 would need to supply. Since Proposition 2.33 is the mechanism for extending formality obstructions to positive characteristic, this is a load-bearing gap.","section":"§2.5, Proposition 2.33"},{"comment":"In the proof of Theorem 3.3, after constructing the twisted structure ϕ^2 = f·φ^1, the text asserts that [Zho19, Lemma 4.2] can be applied to the model (H(A), ϕ^2) because the construction “makes it appear precisely as a structure obtained through the induction process of [Zho22, Theorem 2.14].” This is not a proof; it leaves the verification of the cyclic-condition invariance under the twisting by f = 1−λ unchecked. Since Theorem 3.3 is the basis for the main applications (Theorems 3.5 and 3.6), this step needs to be justified in detail.","section":"§3, Theorem 3.3"}],"minor_comments":[{"comment":"Remarks 1.20 and 1.23 are identical. One of them should be removed or replaced with a genuinely different comment.","section":"§1.5, Remarks 1.20 and 1.23"},{"comment":"There are several typographical issues: “conipotent” for “conilpotent”, “Propostion” for “Proposition”, “th-truncated” for “n-th truncated”, “none zero” for “non-zero”, and “a sequence a Maurer–Cartan element” in the proof of Theorem 1.19. These should be corrected.","section":"Throughout"},{"comment":"The extension to the groupoid-colored setting is stated as “direct” but no proof is given that the central theorems (2.24–2.29) survive, given that Theorem 2.11 is only quoted for the uncolored case. A sentence explaining how the cited result extends, or a precise reference, would be helpful.","section":"§2.7, Colored setting"},{"comment":"The notation g_A is used both for the convolution Lie-algebra and for the larger Lie-admissible algebra. This can be confusing; suggest distinguishing the two or explicitly stating they coincide when the Lie-admissible product is skew-symmetrized.","section":"Notation, Definition 2.5"}],"recommendation":"major_revision","confidential_remarks":"The dependence on the unpublished preprint [CV25] is extensive and structural: the main theorems of Section 2 are conditional on a result that is not available to the reader. Even if the author is confident in [CV25], the present manuscript should be revised to include the statement and proof of Theorem 2.11 (or to make the dependence explicit and conditional). Additionally, the duplicate proof of Theorem 1.22 and the unsupported step in Theorem 3.3 suggest that the manuscript is not yet ready for publication in its current form. The Section 1 machinery is promising, and a revision that addresses these points would be of interest."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: Section 1 is the real content—a clean, self-contained obstruction theory for gauge equivalence between arbitrary Maurer–Cartan elements in complete dg Lie algebras. The gauge equivalence degree, the bounded and weight-graded refinements, and the descent argument are new and worked with care. That part is solid and citable on its own.\n\nWhat is new beyond Section 1: the translation to homotopy equivalences of ΩC-algebras over properads/colored operads, the extension of Kaledin classes to arbitrary ground rings, and the minimal-model applications. These are good ideas and the author is upfront that much is a generalization of existing frameworks.\n\nThe soft spots are real but localized. First, the bridge: Theorem 2.11, the exp/log isomorphism between the gauge group of g_A and the ∞-isotopy group, is quoted from the unpublished [CV25]. Every theorem in Section 2.4 is a direct application of it. The stress-test note is correct that you also need compatibility between the gauge action and the ∞-isotopy action, not just an abstract group isomorphism, and that compatibility is not stated or proven. Proposition 2.33 then leans on the proof of Theorem 2.11 to justify truncated logarithms over rings where only (n−1)! is invertible—beyond the supplied hypotheses. That is a lot of unverified weight. Second, the proof of Theorem 1.22 is a verbatim copy of the proof of Theorem 1.19; it re-proves equivalence descent and not the fibration statement. Third, in Theorem 3.3, the moment where Zhou's cyclic lemma is reapplied to the modified structure is waved through—'one can actually apply'—and that is the step making the second obstruction vanish.\n\nI do not think the central machinery is wrong. The Section 1 proofs are formal and reproducible from the text, and the author's computations in the Zhou-style section show real command. But as a standalone paper, the main characterization is not independently checkable until [CV25] appears or the author supplies the proof. The abstract also overstates: the headline results are about gauge homotopy equivalence, with genuine homotopy equivalence only under extra boundedness or weight-grading hypotheses.\n\nWho gets value: people working on formality, MC obstruction theory, and A∞-minimal models over general rings or in étale cohomology. It deserves a serious referee, despite my skeptical read on the bridge. I would send it to referee and ask specifically about the [CV25] dependency and the duplicated proof.","headline":"Genuinely useful gauge obstruction theory in Section 1, but the main applications hinge on an unpublished bridge theorem and one proof is a literal duplicate; worth refereeing with major revisions.","tokens_in":33556,"tokens_out":3985,"would_cite":false,"duration_ms":38823,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18D50","18G55","17B60","16W25","13D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"A sequence of cohomology classes, the gauge triviality sequence, determines when two algebraic structures are homotopy equivalent.","keywords":["homotopy equivalences","obstructions","formality","algebras over properads","gauge equivalences","Maurer-Cartan elements","A-infinity minimal models","Kaledin classes"],"falsifier":"Find a complete dg Lie algebra and a Maurer–Cartan element whose gauge triviality sequence is an infinite sequence of vanishing classes but where the elements are not gauge equivalent despite the algebra being bounded in degree −1; or, more directly, construct an explicit ∞-isotopy that is not in the image of the graph exponential map, contradicting Theorem 2.11.","tokens_in":32533,"feed_emoji":"🧩","tokens_out":7880,"duration_ms":156271,"temperature":0.7,"pith_summary":"This paper develops an obstruction theory for gauge equivalences in complete differential graded Lie algebras and uses it to characterize when two algebraic structures over a properad or colored operad are homotopy equivalent. The central tool is the gauge triviality sequence, a nested family of cohomology classes attached to a Maurer–Cartan element; the paper proves that the index at which the sequence stops equals the gauge equivalence degree, which is infinite exactly when the structures are homotopy equivalent at every finite stage. Under boundedness or weight-grading assumptions, this upgrades to an actual gauge homotopy equivalence. The same framework yields truncated classes that detect gauge formality over any commutative ring, and the paper applies it to prove new minimal-model results for highly connected manifolds and algebraic varieties, including étale cohomology over separably closed fields. The bridge from gauge equivalences to infinity-isotopies, however, is quoted from unpublished work in preparation.","feed_headline":"Cohomology classes detect homotopy equivalence of algebras","feed_subtitle":"New minimal models for highly connected manifolds and varieties from the same obstruction theory.","key_machinery":"The gauge triviality sequence: given a Maurer–Cartan element ϕ in a complete dg Lie algebra, one recursively chooses gauges to move ϕ into deeper filtration levels; the homology classes ϑ_k = [π_{k+1}(ϕ_k)] in H^{-1}(h/F^{k+1}h) form a sequence whose common length n is the gauge equivalence degree. The convolution dg Lie algebra g_A = Hom_S(C, End_A) encodes ΩC-algebra structures on A as Maurer–Cartan elements, and the graph exponential/logarithm isomorphism between its gauge group and the group of ∞-isotopies (self-equivalences that are the identity on the underlying complex) is what turns gauge equivalence statements into homotopy equivalence statements for algebras.","core_discovery":"The paper's central claim is Theorem 2.24: for two ΩC-algebra structures admitting transferred structures, their gauge equivalence degree is infinite if and only if they are gauge k-homotopy equivalent for all k≥1. In the bounded and weight-graded cases (Theorems 2.25 and 2.27) this is equivalent to the existence of an actual gauge homotopy equivalence. The proof reduces homotopy equivalences to gauge equivalences of Maurer–Cartan elements in the convolution complete dg Lie algebra, using the graph exponential isomorphism between its gauge group and the group of ∞-isotopies. In the formality setting, the same obstruction classes match the truncations of the Kaledin class, yielding a characte","pith_inferences":["If Theorem 2.11 (the graph exponential bridge) fails, the characterizations in Theorems 2.24–2.29 would need to be rebuilt around a different comparison between gauge groups and ∞-isotopies; the present paper offers no independent proof of that bridge.","The dimension bound n < (ℓ+1)k+2 appears to be a general threshold: the same obstruction-theoretic argument suggests that similar minimal-model statements may hold for other cohomology theories (for instance, l-adic cohomology) as long as the relevant small integers are invertible.","The gauge triviality degree for formality over arbitrary rings may offer a computable invariant for non-formal algebras over finite fields, where classical rational obstruction theory is unavailable.","A direct computation of the first nontrivial obstruction classes for known examples (e.g., A∞-structures on spheres or on products of spheres) would yield concrete evidence for the theory and could be compared with existing coformality results."],"forward_implications":["If two ΩC-algebra structures have gauge equivalence degree n ∈ N, they are gauge (n−1)-homotopy equivalent but not gauge n-homotopy equivalent; the nontrivial class ϑ_n is the obstruction.","In bounded dg Lie algebras, gauge equivalence degree ∞ is equivalent to genuine gauge equivalence, giving a finite check for homotopy equivalence.","For δ-weight-graded algebras, the infinite composite of gauges converges, so again ∞ implies a genuine gauge homotopy equivalence.","Gauge equivalence satisfies faithfully flat descent: if two structures become gauge equivalent after a faithfully flat scalar extension, they were already gauge equivalent (under a finite-presentation hypothesis).","For highly connected manifolds and varieties, the singular or étale cochain algebra has an A∞-minimal model whose arity p components vanish for p ≥ ℓ, whenever ℓ and ℓ+1 are units in the coefficient field."],"fun_headline_variants":["Obstruction theory pinpoints homotopy equivalences","Infinite gauge equivalence degree means homotopy equivalent","New minimal models from obstruction sequences","Kaledin class truncations detect homotopy equivalence","Gauge equivalences characterize homotopy equivalences"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The central bridge—Theorem 2.11, quoted from a preprint in preparation—asserts that the gauge group of the convolution dg Lie algebra is isomorphic to the group of ∞-isotopies via graph exponential and logarithm maps; if that assertion is false or does not extend to the properadic and colored settings, the paper's characterization of homotopy equivalence collapses.","fun_headline_variants_meta":{"raw":{"variants":["Obstruction theory pinpoints homotopy equivalences","Infinite gauge equivalence degree means homotopy equivalent","New minimal models from obstruction sequences","Kaledin class truncations detect homotopy equivalence","Gauge equivalences characterize homotopy equivalences"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000471,"raw_usage":{"total_tokens":2102,"prompt_tokens":591,"completion_tokens":1511,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":335,"completion_tokens_details":{"reasoning_tokens":1437}},"tokens_in":335,"tokens_out":1511,"duration_ms":11880,"temperature":1.0,"reasoning_tokens":1437,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T15:49:15.417545+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a complete dg Lie algebra and a Maurer–Cartan element whose gauge triviality sequence is an infinite sequence of vanishing classes but where the elements are not gauge equivalent despite the algebra being bounded in degree −1; or, more directly, construct an explicit ∞-isotopy that is not in the image of the graph exponential map, contradicting Theorem 2.11.","supporting_citations":[],"review_version":1}