{"id":"3f95ecac-bc1d-42fa-9a53-a20ebfaee7a7","arxiv_id":"2607.21176","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Mixed Hodge formality refines classical formality by requiring quasi-isomorphisms to respect weight and Hodge filtrations, with successive obstructions in a new Deligne–Beilinson operadic cohomology.","lead":"A new notion of formality for complex algebraic varieties is introduced that tracks mixed Hodge structures, not just cohomology rings. It gives cohomological obstructions that recover known invariants and explain why some Kähler manifolds are non-formal in this finer sense.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Strictness of Navarro–Aznar mixed Hodge diagrams is asserted, not proved; without it Theorem 3.39 and the obstruction sequence do not apply to geometric examples.","rationale":"The reader's weakest assumption exactly identifies the strictness of geometric mixed Hodge diagrams as the load-bearing point. I agree: the paper's main theorem is conditional on strictness, and the assertion that all geometric diagrams are strict is unproved. The proof of Proposition 5.11 contains a suspicious degree-counting phrase ('the first multiple of n−1'), but the conclusion can likely be repaired by the observation that H^*(F_k(C^n)) is supported in degrees divisible by 2n−1, so a degree-(1−s) operation lands in a degree not divisible by 2n−1 and hence is zero. The bidegree conventions in Definition 4.11 are confusing, but the paper's use of PH^{k,2−k} is consistent across Theorem 4.17, Proposition 4.21, and the proofs, so I do not treat it as a separate fatal issue. The strictness gap, however, is central: without it, the obstruction theory is not connected to the geometric setting. Since the reader already flagged this and assigned CONDITIONAL, my independent read does not move the verdict.","tokens_in":55689,"tokens_out":15024,"duration_ms":143058,"concrete_test":"Verify the §4.1 strictness assertion for the Navarro–Aznar functor. Concretely, take a singular variety with non-trivial weight filtration (e.g., a nodal cubic curve or a product with a singular factor), construct A_Q(X) as in [NA87, Thm 9.3], and check whether d(W_k A_Q) = W_k A_Q ∩ d(A_Q) for all k. If this d-strictness fails, check whether A(X) is quasi-isomorphic to a strict N-filtered P-mixed Hodge diagram; if no such strictification is supplied, the geometric conclusions of §5.2 and §5.3 are not justified for the full class of varieties claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem (Theorem 4.17) constructs obstructions θ_k only for diagrams satisfying the strictness hypothesis of Definition 3.36: the filtered pieces must be N-d-strict (or d-bistrict for the complex factor), and the cohomology must be regular. The mixed Hodge homotopy transfer theorem (Theorem 3.39), which produces the minimal P_∞-model on which the obstructions are built, is proved only for such strict N-filtered P-mixed Hodge diagrams. In §4.1 the author writes 'we will only encounter strict N-filtered P-mixed Hodge diagrams' and then redefines 'P-mixed Hodge diagram' to mean strict ones. However, no proof or reference is given that the geometric functor A from [NA87] (Theorem 9.3) lands in this strict subcategory. If for some complex algebraic variety (or compact Kähler manifold) A(X) is not N-d-strict, then the mixed Hodge homotopy transfer theorem cannot be applied, so the minimal model H^*(A) and the obstruction classes θ_k are not defined. Consequently Corollary 5.7, which identifies θ_3 with the Carlson–Clemens–Morgan invariant, and the conclusion that the CCM examples are not mixed Hodge formal, would not be established for those varieties. This is a gap in the chain from the algebraic machinery to the geometric applications, not an internal contradiction of the algebra.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the notion of mixed Hodge formality for P-mixed Hodge diagrams with P = Ass, Com, or Lie, refining classical formality by taking into account mixed Hodge structures. The main technical apparatus is a filtered/bifiltered homotopy transfer theorem (Theorem 3.39) and a bar-cobar adjunction for mixed Hodge diagrams (Theorem 3.25). On this basis the author defines Deligne–Beilinson operadic cohomology groups PH^{*,*}_{DB} and constructs successively defined obstruction classes θ_k ∈ PH^{k,2-k}_{DB}(H^*(A)), k ≥ 3, whose vanishing implies mixed Hodge formality (Theorem 4.17). The paper also establishes a relation between the first obstruction and the Carlson–Clemens–Morgan invariant (Corollary 5.7), a duality statement between formality and coformality under Koszul purity conditions (Theorem 5.5), and a formula identifying the second obstruction with ABC-Massey products (Theorem 5.25). Several examples are discussed, including configuration spaces and homogeneous compact Kähler manifolds. The central claims are plausible and the overall architecture is coherent, but the proof as written contains gaps: the strictness hypothesis needed for the homotopy transfer theorem is asserted rather than established for geometric diagrams, and the proof of the main obstruction theorem invokes unfiltered results from [Sal17] without proving the required filtered analogues.","tokens_in":56098,"tokens_out":6924,"duration_ms":69187,"significance":"If the gaps are repaired, this would be a substantial contribution to rational homotopy and Hodge theory. The notion of mixed Hodge formality is a natural refinement of DGMS formality, and the paper gives a credible mechanism — obstructions in Deligne–Beilinson operadic cohomology — for detecting non-formality that classical formality cannot see. The identification with the Carlson–Clemens–Morgan invariant and with ABC-Massey products are concrete, valuable bridges to existing geometric invariants. The paper also provides a useful framework for comparing formality over an operad and its Koszul dual. It is a strength that the main objects are explicitly constructed from the mixed Hodge diagrams themselves and that the paper offers falsifiable geometric predictions, even though several key steps are only sketched.","major_comments":[{"comment":"The strictness hypothesis is load-bearing. In §4.1 the paper states 'we will only encounter strict N-filtered P-mixed Hodge diagrams' and then redefines 'P-mixed Hodge diagram' to mean strict ones, but no proof or reference is given that the geometric functor A from [NA87, Thm 9.3] (or the Kähler functor of §5.4) lands in the strict subcategory. Theorem 3.39 and Lemma 3.37 require N-d-strictness/N-d-bistrictness to produce the contractions on which the minimal P_∞-model and hence the obstructions θ_k are built. Without strictness, Corollary 5.7 and the geometric applications are not justified. This needs either a proof, a precise reference, or an explicit hypothesis on the varieties considered.","section":"§4.1, Definition 3.36, Theorem 3.39"},{"comment":"The proof of the main obstruction theorem invokes [Sal17, Prop 3.3(a),(b)] to assert equations such as (m_k)_n - (m_C)_n = δ(φ_{n-1}) and to produce filtered 8-isotopies after modifying a boundary. However, [Sal17] is a statement about ordinary (unfiltered) P_∞-algebras. The required filtered and bifiltered versions, in which all morphisms preserve the weight and Hodge filtrations, are not proved in the paper. These statements are essential for the induction that constructs the successive obstructions and for the conclusion that vanishing of all θ_k yields formality. The paper should either supply these filtered extensions with full proofs or give a precise reference where they appear.","section":"Theorem 4.17, §4.4"},{"comment":"The degree-counting argument for the configuration spaces F_k(C^n) appears incorrect. The text says: 'For k<2n, the first multiple of n−1 greater or equal to s(2n−1)+1−s is greater than (k−1)(2n−1), the top cohomological degree.' This is false: take n=3, k=4, s=3; then s(2n−1)+1−s = 13, the first multiple of n−1=2 at least 13 is 14, while the top degree (k−1)(2n−1)=15, so 14 < 15. The intended vanishing may be recoverable by a congruence argument — a nonzero morphism H^{⊗s} → H of degree 1−s forces s ≡ 1 mod (2n−1), which is impossible for 2 ≤ s < k when k < 2n — but the proof as written does not establish this. Since Proposition 5.11 is one of the main sources of positive examples, this needs a corrected argument.","section":"Proposition 5.11, §5.3"}],"minor_comments":[{"comment":"Typo: 'compact K:ahler' should be 'compact Kähler'.","section":"Definition 5.16"},{"comment":"Typo: 'Chevaley-Heilenberg' should be 'Chevalley-Eilenberg'.","section":"§4.3"},{"comment":"The notation 'morphisms m_S → m_S' is confusing; the two operads should be distinguished, e.g. m_S and m_{S'}.","section":"Proposition 2.31"},{"comment":"Typo: 'Absolute Hodge P-cohomlogy' should be 'P-cohomology'.","section":"Definition 4.11"},{"comment":"[CH] is cited without a year; if it is forthcoming/in press, this should be indicated consistently.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and the outline is credible, but the gaps are real and central. The strictness of geometric mixed Hodge diagrams is the largest risk: if it cannot be proved or supplied by reference, the geometric conclusions would need to be conditional. The filtered analogue of [Sal17] is a technical but necessary piece. The degree-counting error in Prop 5.11 is local and likely repairable. I would support publication if these points are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Pedro, quick take on arXiv:2607.21176. The idea is good: mixed Hodge formality is a real refinement of classical formality, and the paper gives a coherent way to see why Carlson–Clemens–Morgan's π3 invariant is an obstruction. The link between the first obstruction θ3 and the CCM class, and the ABC–Massey connection, are genuinely new and worth taking seriously. The architecture extends Saleh and Cirici–Horel, as the reader says, but it is not a repackaging—the Deligne–Beilinson operadic cohomology and the obstruction classes are new. What the paper does well: the categorical setup is carefully built; Theorem 3.39 (homotopy transfer for mixed Hodge diagrams) is a substantial piece of infrastructure; Example 4.22 is an explicit, instructive counterexample showing non-descent; the applications section is ambitious and mostly honest about what is proven. Where it is soft. The proof of Theorem 4.17 is a sketch. The reader flags that the filtered extension of Saleh's Prop 3.3 is unstated; I agree. Lemmas 4.15 and 4.16 are plausible but not fully proven, and the convergence of the infinite composition of ho-8-isotopies is waved at. These are fillable gaps, but the theorem is the main result, so it should be proven properly. More seriously, the strictness issue is real. In §4.1 the paper says \"we will only encounter strict N-filtered P-mixed Hodge diagrams\" and then simply redefines \"P-mixed Hodge diagram\" to mean strict. I don't see a proof that Navarro–Aznar's A(X) lands in the strict subcategory. Without that, Theorem 3.39 does not apply to the geometric examples, and Corollary 5.7 is not established for any particular variety. This is not an internal contradiction, but it is a load-bearing gap in the chain from algebra to geometry. The author may have a proof (perhaps via resolution of singularities plus degeneration results), but it has to be written down. The degree-counting in Prop 5.11 also looks off as written. The claim that for k<2n every such morphism is trivial does not follow from the displayed inequality; for s=2 the image could land below the top degree. Either the bound is wrong or there is an extra hypothesis. A referee should check this carefully. Bottom line: a paper with a good new idea and a plausible but unpolished machine. I would send it to a serious referee, with the expectation that the strictness question and the degree count will need real work. If you work in this area, it's worth reading—just don't cite the geometric conclusions as established yet.","headline":"A genuinely new refinement of formality with real applications, but the main theorem is a sketch and the geometric strictness assumption is asserted rather than proved—needs major revision, not desk rejection.","tokens_in":824,"tokens_out":836,"would_cite":true,"duration_ms":35551,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14C30","55P62"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper introduces mixed Hodge formality, a refinement of classical formality, and constructs a sequence of obstruction classes that detect it.","keywords":["mixed Hodge formality","obstruction theory","mixed Hodge structures","operadic cohomology","rational homotopy theory","compact Kähler manifolds","infinity algebras","Deligne–Beilinson cohomology"],"falsifier":"Test the theorem on a complex algebraic variety whose mixed Hodge diagram is known not to be strict: if the obstruction classes can still be defined and yet the variety is not mixed Hodge formal, the sufficiency direction would fail. Alternatively, compute θ₃ for a simply connected compact Kähler manifold with a known non-zero u(π₃); the theorem predicts they coincide, so any disagreement would refute the comparison.","tokens_in":55576,"feed_emoji":"🧮","tokens_out":4667,"duration_ms":45923,"temperature":0.7,"pith_summary":"The paper defines mixed Hodge formality as a version of formality that respects the mixed Hodge structures on cohomology, refining the classical notion that ignores them. Its central claim is that for commutative, associative, or Lie mixed Hodge diagrams, formality is controlled by a sequence of classes in a bigraded Deligne–Beilinson cohomology: if all classes vanish, the diagram is formal. The motivating point is that compact Kähler manifolds are all classically formal, so classical formality cannot see phenomena like the distinct mixed Hodge structures on π₃ observed in examples. The paper shows its first obstruction recovers exactly that π₃ invariant, giving a precise mechanism for why those Kähler manifolds are not mixed Hodge formal. A reader should care because this provides a systematic, computable way to detect whether the mixed Hodge structure on rational homotopy type is genuinely richer than the cohomology alone.","feed_headline":"Mixed Hodge formality gets an obstruction theory","feed_subtitle":"Deligne–Beilinson cohomology classes detect Hodge-level non-formality and recover the invariant on π₃.","key_machinery":"The central device is the mixed Hodge homotopy transfer theorem (Theorem 3.39). It builds, for any strict N-filtered P-mixed Hodge diagram A, a minimal P_∞-model on the cohomology H^*(A) whose higher operations and comparison morphisms carry the weight and Hodge filtrations simultaneously. Formality of A is then equivalent to the existence of a ho-∞-isotopy from this model to the trivial P_∞-structure induced by the cup product. The obstruction classes live in the Deligne–Beilinson operadic cohomology PH^*_{DB}, defined as the cohomology of a cone that simultaneously records morphisms compatible with the weight filtration over k and with the Hodge filtration over C, thereby capturing extensi","core_discovery":"The paper proves that, for each commutative, associative, or Lie mixed Hodge diagram A, there exist successively defined classes θ_k in PH^{k, 2−k}_{DB}(H^*(A)) for k ≥ 3 such that if all these classes are zero, then A is mixed Hodge formal (Theorem 4.17). For a simply connected compact Kähler manifold X, the first obstruction θ₃ maps, under a well-defined comparison map, to the invariant u(π₃) that measures the splitting of the extension 0 → H³(X) → π₃(X) → Ker(µ) → 0 of mixed Hodge structures (Corollary 5.7). This shows that non-vanishing of u(π₃) enforces non-mixed-Hodge formality even though X is classically formal. The paper also establishes that mixed Hodge formality does not descend a","pith_inferences":["If the obstruction sequence is complete, it should correspond to higher-order Hodge-aware analogues of Massey products; computing θ_k explicitly for examples like the Iwasawa manifold would test this correspondence.","The strictness assumption on geometric mixed Hodge diagrams is the main gateway to applications; verifying or refuting strictness for the full functor from complex algebraic varieties to mixed Hodge diagrams would delineate exactly where the theorem applies.","The formality/coformality equivalence under Koszul hypotheses suggests a bridge between the commutative and Lie models of a variety that might be pushed to non-Koszul cases by truncating the weight filtration and inspecting the resulting lower obstructions.","Since mixed Hodge formality fails descent, arithmetic and geometric properties of a variety over Q may diverge: a variety could be mixed Hodge formal over R but not over Q, indicating that the obstruction classes carry arithmetic information."],"forward_implications":["For compact Kähler manifolds, a non-zero invariant u(π₃) in Ext¹_{MHS}(Ker µ, H³(X)) implies the manifold is not mixed Hodge formal, even though it remains classically formal.","A complex algebraic variety with α-pure, Koszul cohomology generated in a fixed degree ≥ 2 is mixed Hodge formal if and only if it is mixed Hodge coformal.","Configuration spaces F_k(C^n) for k < 2n and homogeneous compact Kähler manifolds are mixed Hodge formal.","For associative mixed Hodge diagrams, the second obstruction computes ABC-Massey products, yielding new examples of compact Kähler manifolds that are not mixed Hodge formal.","Mixed Hodge formality over a field extension does not imply mixed Hodge formality over the original field."],"fun_headline_variants":["Hodge obstructions expose non-formality where classical fails","π₃ invariant detects hidden non-formality in Kähler manifolds","Mixed Hodge formality: obstruction theory via Deligne–Beilinson classes","First Hodge class signals non-formality in formal manifolds"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The paper assumes that every mixed Hodge diagram coming from a complex algebraic variety satisfies a strictness condition (N-d-strict/N-d-bistrict) so that the homotopy transfer theorem applies; this is asserted for the geometric functor rather than proved.","fun_headline_variants_meta":{"raw":{"variants":["Hodge obstructions expose non-formality where classical fails","π₃ invariant detects hidden non-formality in Kähler manifolds","Mixed Hodge formality: obstruction theory via Deligne–Beilinson classes","First Hodge class signals non-formality in formal manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1101,"prompt_tokens":631,"completion_tokens":470,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":375,"completion_tokens_details":{"reasoning_tokens":405}},"tokens_in":375,"tokens_out":470,"duration_ms":4953,"temperature":1.0,"reasoning_tokens":405,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T08:14:51.756552+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the theorem on a complex algebraic variety whose mixed Hodge diagram is known not to be strict: if the obstruction classes can still be defined and yet the variety is not mixed Hodge formal, the sufficiency direction would fail. Alternatively, compute θ₃ for a simply connected compact Kähler manifold with a known non-zero u(π₃); the theorem predicts they coincide, so any disagreement would refute the comparison.","supporting_citations":[],"review_version":1}