Mixed Hodge formality

Pedro Magalh\~aes

REVIEW 3 major objections 5 minor 119 references

Mixed Hodge formality

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper introduces mixed Hodge formality, a refinement of classical formality, and constructs a sequence of obstruction classes that detect it.

desk verdict 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. read the letter →

arxiv 2607.21176 v1 pith:KFZCO6UW submitted 2026-07-23 math.AT math.AG

Pedro Magalhães This is my paper · ORCID

classification math.ATmath.AG MSC 14C3055P62

keywords mixedHodgeformalityobstructiontheorystructuresoperadiccohomologyrationalhomotopycompactKählermanifoldsinfinityalgebrasDeligne–Beilinson

topics The Hodge Conjecture

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

Referee Report

3 major / 5 minor

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.

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 (3)

[§4.1, Definition 3.36, Theorem 3.39] 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.
[Theorem 4.17, §4.4] 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.
[Proposition 5.11, §5.3] 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.

minor comments (5)

[Definition 5.16] Typo: 'compact K:ahler' should be 'compact Kähler'.
[§4.3] Typo: 'Chevaley-Heilenberg' should be 'Chevalley-Eilenberg'.
[Proposition 2.31] The notation 'morphisms m_S → m_S' is confusing; the two operads should be distinguished, e.g. m_S and m_{S'}.
[Definition 4.11] Typo: 'Absolute Hodge P-cohomlogy' should be 'P-cohomology'.
[References] [CH] is cited without a year; if it is forthcoming/in press, this should be indicated consistently.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the obstruction sequence is constructed from the objects themselves and is compared to external invariants, though geometric applicability rests on an unproved strictness assumption.

full rationale

The central derivation is not circular. The obstructions θ_k in Theorem 4.17 are defined from the minimal P_∞-model (H^*(A), m) obtained by the Mixed Hodge Homotopy Transfer Theorem 3.39; their vanishing is a sufficient criterion for a ho-8-isotopy to the trivial model, and the proof constructs the required isotopies. This is a genuine derivation, not a fitted parameter renamed as a prediction. The comparisons with the Carlson–Clemens–Morgan invariant and with ABC–Massey products are comparisons to independent, externally defined invariants: Corollary 5.7 follows from Proposition 4.21 by identifying both sides with the splitting obstruction of the same short exact sequence (19), and Theorem 5.25 uses independently defined ABC–Massey products. The paper does rely on prior work by the same school (Cirici, Horel, CG14, CH20) and on Saleh, Markl, and Berglund, but these are used as technical tools or external anchors, not as an unverified self-citation chain that forces the main conclusion. The main caveat is a missing-support gap rather than circularity: in §4.1 the text says “In the sequel, we will only encounter strict N-filtered P-mixed Hodge diagrams … we henceforth refer to strict N-filtered P-mixed Hodge diagrams by P-mixed Hodge diagrams.” This redefines “P-mixed Hodge diagram” to mean the strict subclass, while the geometric functor A from [NA87] is cited as landing in the original category of mixed Hodge diagrams. No proof or reference is supplied that A(X) is N-d-strict or N-d-bistrict, so Theorem 3.39 and hence Theorem 4.17 and Corollary 5.7 are conditional for geometric applications. This is a limitation in the chain from algebra to geometry, not an internal circularity of the algebraic derivation.

Assumptions & free parameters 0 free parameters · 6 assumptions · 3 invented entities

No empirical parameters are fitted; the paper's claims rest on a stack of standard and domain assumptions. The most delicate are strictness of geometric mixed Hodge diagrams and the validity of the cited [Sal17] results in the filtered setting.

assumptions (6)

standard math k is a field of characteristic 0; operads are connected, cooperads are conilpotent; all filtrations are exhaustive and Hausdorff.
Standing assumptions in §§2.1 and 2.4; needed for the bar-cobar adjunction and homotopy transfer.
standard math Mixed Hodge structures form an abelian category with Ext^n=0 for n≥2 and Carlson's description of Ext^1.
Used in §3.1 and throughout; needed to know that the obstructions are well-placed in extensions and that only first obstructions may be choice-independent.
domain assumption There exists a functor A: Var_C → MHD as in [NA87] that recovers Deligne's mixed Hodge theory and Sullivan's piecewise-linear forms.
All geometric applications in §5.1 depend on this theorem; the paper does not reprove it.
ad hoc to paper Mixed Hodge diagrams coming from geometry are strict/N-d-strict, so the mixed Hodge homotopy transfer theorem (Thm 3.39) applies.
Asserted in §4.1 without proof; needed to construct minimal P∞-models and the obstruction classes.
domain assumption Saleh's Proposition 3.3(a),(b) from [Sal17] holds in the filtered and bifiltered settings, with the same formulas.
The proof of Theorem 4.17 uses this proposition as its core step to adjust higher components of P∞-structures and morphisms.
domain assumption For compact Kähler manifolds, the Hodge-theoretic contractions of [CH] (Lemma 5.21) satisfy the side conditions and give an A∞-transferred structure.
Needed for the formula for φ3 and for the ABC-Massey comparison in Theorem 5.25.

invented entities (3)

P-mixed Hodge diagrams (P-MHD) independent evidence
purpose: Carry P-algebra structures together with weight and Hodge filtrations, so that formality can be studied without forgetting mixed Hodge structures.
The category is anchored to the known functor A from [NA87] and to classical mixed Hodge complexes; geometric examples and the CCM invariant provide external checks.
Deligne–Beilinson operadic cohomology PH^*,*_{DB} independent evidence
purpose: Target of the formality obstructions; a mixed-Hodge-aware version of operadic cohomology.
It is defined via a cone of inclusions into W^0 Hom_C and is explicitly connected to Beilinson's absolute Hodge cohomology and to Ext^1_{MHS}; the first obstruction recovers the CCM invariant.
Mixed Hodge formality obstruction classes θ_k and ϕ_k independent evidence
purpose: Successive cohomological obstructions whose vanishing implies formality.
The first obstruction is shown to map to the known CCM invariant and the second to ABC-Massey products, giving falsifiable mathematical handles.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Mixed Hodge formality." pith.science (2026). https://pith.science/paper/KFZCO6UW

@misc{pith2026260721176,
  author       = {Pith},
  title        = {Pith review of: Mixed Hodge formality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KFZCO6UW}},
  note         = {Machine review of arXiv:2607.21176}
}

read the original abstract

We introduce the notion of mixed Hodge formality, which refines classical formality and takes into account the mixed Hodge structures present on the cohomology of complex algebraic varieties. We develop an obstruction theory for mixed Hodge formality, witnessing the non-triviality of extensions of mixed Hodge structures. This allows us to understand the non-formality of certain compact K\"ahler manifolds in the mixed Hodge sense.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

119 extracted references · 56 canonical work pages

[1]

, TITLE =

Iwanari, I. , TITLE =. High. Struct. , FJOURNAL =. 2020 , NUMBER =

2020
[2]

and Tomassini, A

Sferruzza, T. and Tomassini, A. , TITLE =. J. Geom. Phys. , FJOURNAL =. 2022 , PAGES =

2022
[3]

, title =

Haugseng, R. , title =. Algebr. Geom. Topol. , issn =. 2025 , language =. doi:10.2140/agt.2025.25.3789 , keywords =

work page doi:10.2140/agt.2025.25.3789 2025
[4]

arXiv preprint arXiv:1910.11550 , year=

Moduli of framed formal curves , author=. arXiv preprint arXiv:1910.11550 , year=

arXiv 1910
[5]

Beilinson, A. A. , TITLE =. Applications of algebraic
[6]

and Guill

Cirici, J. and Guill. Homotopy Theory of Mixed. Tohoku Math. J. , VOLUME =. 2016 , NUMBER =

2016
[7]

and Harris, J

Griffiths, P. and Harris, J. , TITLE =. 1994 , PAGES =

1994
[8]

and Manin, Y

Kontsevich, M. and Manin, Y. , TITLE =. Mirror symmetry,

Show all 119 references

[9]

Drummond-Cole, G. C. , TITLE =. J. Topol. , FJOURNAL =. 2014 , NUMBER =

2014
[10]

and Shadrin, S

Dotsenko, V. and Shadrin, S. and Tamaroff, P. , TITLE =. Communications in Mathematical Physics , YEAR =
[11]

and Sopena-Gilboy, A

Cirici, J. and Sopena-Gilboy, A. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =

2022
[12]

, TITLE =

Jost, J. , TITLE =. 2017 , PAGES =

2017
[13]

, TITLE =

Deligne, P. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1971 , PAGES =

1971
[14]

, TITLE =

Deligne, P. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1974 , PAGES =

1974
[15]

and Horel, G

Cirici, J. and Horel, G. , TITLE =. Ann. Sci. \'. 2020 , NUMBER =

2020
[16]

and Shadrin, S

Dotsenko, V. and Shadrin, S. and Vallette, B. , series=. The twisting procedure , publisher=. , collection=
[17]

, TITLE =

Getzler, E. , TITLE =. The moduli space of curves , SERIES =
[18]

, TITLE =

Getzler, E. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1994 , NUMBER =

1994
[19]

and Griffiths, P

Deligne, P. and Griffiths, P. and Morgan, J. and Sullivan, D. , TITLE =. Invent. Math. , FJOURNAL =. 1975 , NUMBER =

1975
[20]

and Kontsevich, M

Barannikov, S. and Kontsevich, M. , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1998 , NUMBER =

1998
[21]

and Zhou, J

Cao, H.-D. and Zhou, J. , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2000 , NUMBER =

2000
[22]

and Zhou, J

Cao, H.-D. and Zhou, J. , TITLE =. Math. Res. Lett. , FJOURNAL =. 1999 , NUMBER =

1999
[23]

and Shadrin, S

Dotsenko, V. and Shadrin, S. and Vallette, B. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2015 , NUMBER =

2015
[24]

Drummond-Cole, G. C. and Vallette, B. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2013 , NUMBER =

2013
[25]

Drummond-Cole, G. C. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2014 , NUMBER =

2014
[26]

and Markarian, N

Khoroshkin, A. and Markarian, N. and Shadrin, S. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2013 , NUMBER =

2013
[27]

Manin, Y. I. , TITLE =. Asian J. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.4310/AJM.1999.v3.n1.a8 , URL =

1999 doi
[28]

Manin, Y. I. , TITLE =. 1999 , PAGES =. doi:10.1090/coll/047 , URL =

1999 doi
[29]

Merkulov, S. A. , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1998 , NUMBER =. doi:10.1155/S1073792898000439 , URL =

1998 doi
[30]

, TITLE =

Kim, M. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2160458 , URL =

1994 doi
[31]

, TITLE =

Carlson, James A. , TITLE =. Journ\'. 1980 , ISBN =

1980
[32]

, TITLE =

Beke, T. , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1017/S0305004100004722 , URL =

2000 doi
[33]

, TITLE =

Fresse, B. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/proc/13135 , URL =

2016 doi
[34]

Goerss, P. G. and Jardine, J. F. , TITLE =. 2009 , PAGES =. doi:10.1007/978-3-0346-0189-4 , URL =

2009 doi
[35]

, TITLE =

Quillen, D. , TITLE =. Applications of. 1970 , MRCLASS =

1970
[36]

Cohomologie des alg\`ebres commutatives topologiques , JOURNAL =

Andr\'. Cohomologie des alg\`ebres commutatives topologiques , JOURNAL =. 1968 , PAGES =. doi:10.1007/BF02564394 , URL =

1968 doi
[37]

and Vallette, B

Loday, J.-L. and Vallette, B. , TITLE =. 2012 , PAGES =. doi:10.1007/978-3-642-30362-3 , URL =

2012 doi
[38]

Harrison, D. K. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1962 , PAGES =. doi:10.2307/1993575 , URL =

1962 doi
[39]

, TITLE =

Navarro Aznar, V. , TITLE =. Invent. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01389031 , URL =

1987 doi
[40]

Morgan, J. W. , TITLE =. Inst. Hautes \'. 1978 , PAGES =

1978
[41]

, TITLE =

Cirici, J. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0002-9947-2014-06405-2 , URL =

2015 doi
[42]

and Noel, J

Johnson, N. and Noel, J. , TITLE =. Adv. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.aim.2014.07.002 , URL =

2014 doi
[43]

Bousfield, A. K. , TITLE =. Israel J. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF02765886 , URL =

1989 doi
[44]

and Clemens, H

Carlson, J. and Clemens, H. and Morgan, J. , TITLE =. Ann. Sci. \'. 1981 , NUMBER =

1981
[45]

Hain, R. M. , TITLE =. K -Theory , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF00536980 , URL =

1987 doi
[46]

, TITLE =

Hausel, T. , TITLE =. Geometric methods in algebra and number theory , SERIES =. 2005 , ISBN =. doi:10.1007/0-8176-4417-2\_9 , URL =

2005 doi
[47]

, TITLE =

Dupont, C. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2016 , NUMBER =. doi:10.1093/imrn/rnv260 , URL =

2016 doi
[48]

, TITLE =

Sullivan, D. , TITLE =. Inst. Hautes \'. 1977 , PAGES =

1977
[49]

Moduli spaces and formal operads , JOURNAL =

Guill\'. Moduli spaces and formal operads , JOURNAL =. 2005 , NUMBER =. doi:10.1215/S0012-7094-05-12924-6 , URL =

2005 doi
[50]

and Stasheff, J

Halperin, S. and Stasheff, J. , TITLE =. Adv. in Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0001-8708(79)90043-4 , URL =

1979 doi
[51]

, TITLE =

Saleh, B. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.2523 , URL =

2017 doi
[53]

and Vallette, B

Robert-Nicoud, D. and Vallette, B. , Title =. 2020 , HowPublished =

2020
[54]

and Wierstra, F

Robert-Nicoud, D. and Wierstra, F. , Title =. J. Noncommut. Geom. , ISSN =. 2019 , Language =. doi:10.4171/JNCG/351 , Keywords =

2019 doi
[55]

and Wierstra, F

Robert-Nicoud, D. and Wierstra, F. , Title =. Homology Homotopy Appl. , ISSN =. 2018 , Language =. doi:10.4310/HHA.2019.v21.n1.a17 , Keywords =

2018 doi
[56]

, Title =

Hinich, V. , Title =. Int. Math. Res. Not. , ISSN =. 1997 , Language =. doi:10.1155/S1073792897000160 , Keywords =

1997 doi
[57]

, Title =

Hinich, V. , Title =. Doc. Math. , ISSN =. 2015 , Language =

2015
[58]

and Guill

Cirici, J. and Guill. Algebr. Geom. Topol. , ISSN =. 2014 , Language =. doi:10.2140/agt.2014.14.3049 , Keywords =

2014 doi
[59]

Lef. Sur les. 2003 , HowPublished =

2003
[60]

, Title =

Berglund, A. , Title =. Trans. Am. Math. Soc. , ISSN =. 2014 , Language =. doi:10.1090/S0002-9947-2014-05935-7 , Keywords =

2014 doi
[61]

and Horel, G

Cirici, J. and Horel, G. , Title =
[62]

and Tomassini, A

Angella, D. and Tomassini, A. , Title =. J. Geom. Phys. , ISSN =. 2015 , Language =. doi:10.1016/j.geomphys.2015.03.004 , Keywords =

2015 doi
[63]

and Stelzig, J

Placini, G. and Stelzig, J. and Zoller, L. , Title =. 2024 , HowPublished =

2024
[64]

and Stelzig, J

Milivojevi, A. and Stelzig, J. , Title =. Commun. Anal. Geom. , ISSN =. 2024 , Language =. doi:10.4310/CAG.241231035705 , Keywords =

2024 doi
[65]

, Title =

Stelzig, J. , Title =. Adv. Math. , ISSN =. 2025 , Language =. doi:10.1016/j.aim.2024.110038 , Keywords =

2025
[66]

Dupont, J. L. , Title =. Topology , ISSN =. 1976 , Language =. doi:10.1016/0040-9383(76)90038-0 , Keywords =

1976 doi
[67]

Peters, C. A. M. and Steenbrink, J. H. M. , Title =. 2008 , Publisher =. doi:10.1007/978-3-540-77017-6 , Keywords =

2008 doi
[68]

, Title =

Wierstra, F. , Title =. J. Homotopy Relat. Struct. , ISSN =. 2019 , Language =. doi:10.1007/s40062-018-00230-z , Keywords =

2019 doi
[69]

Brotherston, J. A. , Title =. 2024 , HowPublished =

2024
[70]

and Pavlov, D

Gwilliam, O. and Pavlov, D. , Title =. J. Pure Appl. Algebra , ISSN =. 2018 , Language =. doi:10.1016/j.jpaa.2018.01.004 , Keywords =

2018 doi
[71]

, Title =

Vallette, B. , Title =. Ann. Inst. Fourier , ISSN =. 2020 , Language =. doi:10.5802/aif.3322 , Keywords =

2020 doi
[72]

and Shadrin, S

Dotsenko, V. and Shadrin, S. and Vallette, B. , Title =. 2024 , Publisher =. doi:10.1017/9781108963800 , Keywords =

2024 doi
[73]

and Cirici, J

Chataur, D. and Cirici, J. , Title =. Trans. Am. Math. Soc. , ISSN =. 2022 , Language =. doi:10.1090/tran/8569 , Keywords =

2022 doi
[74]

and Roig, A

Cirici, J. and Roig, A. , Title =. Publ. Mat., Barc. , ISSN =. 2019 , Language =. doi:10.5565/PUBLMAT6311904 , Keywords =

2019 doi
[75]

, title =

Getzler, E. , title =. Ann. Math. (2) , issn =. 2009 , language =. doi:10.4007/annals.2009.170.271 , keywords =

2009 doi
[76]

and Poncin, N

Dotsenko, V. and Poncin, N. , title =. Appl. Categ. Struct. , issn =. 2016 , language =. doi:10.1007/s10485-015-9407-x , keywords =

2016 doi
[77]

van der Laan, P. P. I. , title =. 2002 , howpublished =

2002
[78]

and Shadrin, S

Dotsenko, V. and Shadrin, S. and Vallette, B. , title =. Mosc. Math. J. , issn =. 2016 , language =

2016
[79]

, title =

Markl, M. , title =. Proc. Am. Math. Soc. , issn =. 2025 , language =. doi:10.1090/proc/17361 , keywords =

2025 doi
[80]

and Nikolaus, T

Bunke, U. and Nikolaus, T. and Tamme, G. , title =. Adv. Math. , issn =. 2018 , language =. doi:10.1016/j.aim.2018.05.027 , keywords =

2018 doi
[81]

A commutative regulator map into

Wei. A commutative regulator map into. Manuscr. Math. , issn =. 2017 , language =. doi:10.1007/s00229-016-0867-6 , keywords =

2017 doi
[82]

and Terashima, Y

Morishita, M. and Terashima, Y. , title =. Math. Res. Lett. , issn =. 2008 , language =. doi:10.4310/MRL.2008.v15.n1.a9 , keywords =

2008 doi
[83]

and Sati, H

Grady, D. and Sati, H. , title =. J. Homotopy Relat. Struct. , issn =. 2018 , language =. doi:10.1007/s40062-017-0178-y , keywords =

2018 doi
[84]

, title =

Schwarzhaupt, A. , title =. 2002 , publisher =

2002
[85]

and Petersen, D

Stelzig, J. and Petersen, D. , title =
[86]

Clemens, C. H. and Griffiths, P. A. , title =. Ann. Math. (2) , issn =. 1972 , language =. doi:10.2307/1970801 , keywords =

1972 doi
[87]

, title =

Levine, M. , title =. 1998 , publisher =

1998
[88]

and Chern, S

Bott, R. and Chern, S. , title =. Acta Math. , issn =. 1965 , language =. doi:10.1007/BF02391818 , zbMATH =

1965 doi
[89]

, title =

Aeppli, A. , title =. Pac. J. Math. , issn =. 1962 , language =. doi:10.2140/pjm.1962.12.791 , zbMATH =

1962 doi
[90]

Burgos, J. I. , title =. J. Algebr. Geom. , issn =. 1997 , language =

1997
[91]

, title =

Berglund, A. , title =. Homology Homotopy Appl. , issn =. 2015 , language =. doi:10.4310/HHA.2015.v17.n2.a16 , keywords =

2015 doi
[92]

and Vallette, B

Merkulov, S. and Vallette, B. , title =. J. Reine Angew. Math. , issn =. 2009 , language =. doi:10.1515/CRELLE.2009.069 , keywords =

2009 doi
[93]

, title =

Barr, M. , title =. J. Algebra , issn =. 1968 , language =. doi:10.1016/0021-8693(68)90062-8 , zbMATH =

1968 doi
[94]

, title =

Markl, M. , title =. The proceedings of the 25th winter school ``Geometry and physics'', Srn\'. 2006 , publisher =

2006
[95]

, title =

Bloch, S. , title =. 1981 , language =

1981
[96]

Cheng, X. Z. and Getzler, E. , title =. J. Pure Appl. Algebra , issn =. 2008 , language =. doi:10.1016/j.jpaa.2008.04.002 , keywords =

2008 doi
[97]

and Moerdijk, I

Berger, C. and Moerdijk, I. , title =. Comment. Math. Helv. , issn =. 2003 , language =. doi:10.1007/s00014-003-0772-y , keywords =

2003 doi
[98]

, title =

Hinich, V. , title =. Commun. Algebra , issn =. 1997 , language =. doi:10.1080/00927879708826055 , keywords =

1997 doi
[99]

, title =

Robert-Nicoud, D. , title =. Doc. Math. , issn =. 2018 , language =. doi:10.25537/dm.2018v23.189-240 , keywords =

2018 doi
[100]

and Moreno-Fern

Buijs, U. and Moreno-Fern. Mediterr. J. Math. , issn =. 2020 , language =. doi:10.1007/s00009-019-1464-1 , keywords =

2020 doi
[101]

Ward, B. C. , title =. Int. Math. Res. Not. , issn =. 2022 , language =. doi:10.1093/imrn/rnaa346 , keywords =

2022 doi
[102]

, title =

Roca i Lucio, V. , title =. Bull. Soc. Math. Fr. , issn =. 2024 , language =. doi:10.24033/bsmf.2885 , keywords =

2024 doi
[103]

and Jones, J

Getzler, E. and Jones, J. D. S. , title =. 1994 , howpublished =

1994
[104]

Izvestiya: Mathematics , year = 1971, month = jun, volume =

a Torelli Theorem for Algebraic Surfaces of Type K3. Izvestiya: Mathematics , year = 1971, month = jun, volume =. doi:10.1070/IM1971v005n03ABEH001075 , adsurl =

1971 doi
[105]

and Rapoport, M

Burns, D. and Rapoport, M. , title =. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , pages =. 1975 , publisher =. doi:10.24033/asens.1287 , mrnumber =

1975 doi
[106]

, title =

Verbitsky, M. , title =. Duke Math. J. , issn =. 2013 , language =. doi:10.1215/00127094-2382680 , keywords =

2013 doi
[107]

and Halperin, S

Felix, Y. and Halperin, S. and Thomas, J.-C. , title =. 2001 , publisher =

2001
[108]

and Remmert, R

Borel, A. and Remmert, R. , title =. Math. Ann. , issn =. 1962 , language =. doi:10.1007/BF01471087 , url =

1962 doi
[109]

, title =

Borel, A. , title =. Ann. Math. (2) , issn =. 1953 , language =. doi:10.2307/1969728 , zbMATH =

1953 doi
[110]

and Hirzebruch, F

Borel, A. and Hirzebruch, F. , title =. Am. J. Math. , issn =. 1960 , language =. doi:10.2307/2372795 , zbMATH =

1960 doi
[111]

and Stelzig, J

Placini, G. and Stelzig, J. and Zoller, L. , title =. 2025 , howpublished =

2025
[112]

, title =

Eisenbud, D. , title =. 1995 , publisher =

1995
[113]

Beilinson, A. A. , title =. Journal of Soviet Mathematics , issn =. 1985 , doi =

1985
[114]

and Viehweg, E

Esnault, H. and Viehweg, E. , title =. 1988 , language =

1988
[115]

, title =

Brylinski, J.-L. , title =. 1993 , publisher =

1993
[116]

, title =

Gajer, P. , title =. Invent. Math. , issn =. 1997 , language =. doi:10.1007/s002220050118 , keywords =

1997 doi
[117]

Lef. Mixed. Adv. Math. , issn =. 2019 , language =. doi:10.1016/j.aim.2019.04.028 , keywords =

2019 doi
[118]

, title =

Keller, B. , title =. Doc. Math. , issn =. 2005 , language =. doi:10.4171/dm/199 , keywords =

2005 doi
[119]

, title =

Dotsenko, V. , title =. Invent. Math. , issn =. 2022 , language =. doi:10.1007/s00222-021-01081-x , keywords =

2022 doi
[120]

, title =

Salvatore, P. , title =. Int. Math. Res. Not. , issn =. 2020 , language =. doi:10.1093/imrn/rny091 , keywords =

2020 doi

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

, TITLE =

Iwanari, I. , TITLE =. High. Struct. , FJOURNAL =. 2020 , NUMBER =

2020

[2] [2]

and Tomassini, A

Sferruzza, T. and Tomassini, A. , TITLE =. J. Geom. Phys. , FJOURNAL =. 2022 , PAGES =

2022

[3] [3]

, title =

Haugseng, R. , title =. Algebr. Geom. Topol. , issn =. 2025 , language =. doi:10.2140/agt.2025.25.3789 , keywords =

work page doi:10.2140/agt.2025.25.3789 2025

[4] [4]

arXiv preprint arXiv:1910.11550 , year=

Moduli of framed formal curves , author=. arXiv preprint arXiv:1910.11550 , year=

arXiv 1910

[5] [5]

Beilinson, A. A. , TITLE =. Applications of algebraic

[6] [6]

and Guill

Cirici, J. and Guill. Homotopy Theory of Mixed. Tohoku Math. J. , VOLUME =. 2016 , NUMBER =

2016

[7] [7]

and Harris, J

Griffiths, P. and Harris, J. , TITLE =. 1994 , PAGES =

1994

[8] [8]

and Manin, Y

Kontsevich, M. and Manin, Y. , TITLE =. Mirror symmetry,