Pith. sign in

REVIEW 4 major objections 4 minor 35 references

A sequence of cohomology classes, the gauge triviality sequence, determines when two algebraic structures are homotopy equivalent.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-04 15:49 UTC pith:GBIK5GBC

load-bearing objection 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. the 4 major comments →

arxiv 2509.17895 v2 pith:GBIK5GBC submitted 2025-09-22 math.AT math.AGmath.QA

Obstruction sequences to homotopy equivalences

Coline Emprin This is my paper
classification math.AT math.AGmath.QA MSC 18D5018G5517B6016W2513D10
keywords homotopy equivalencesobstructionsformalityalgebras over properadsgauge equivalencesMaurer-Cartan elementsA-infinity minimal modelsKaledin classes
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

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.

Core claim

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

What carries the argument

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.

Load-bearing premise

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.

What would settle it

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.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • 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.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

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).

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 (4)
  1. [§2.4, Theorem 2.11 and Theorems 2.24–2.29] 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.
  2. [§1.5, Theorem 1.22] 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.
  3. [§2.5, Proposition 2.33] 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.
  4. [§3, Theorem 3.3] 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.
minor comments (4)
  1. [§1.5, Remarks 1.20 and 1.23] Remarks 1.20 and 1.23 are identical. One of them should be removed or replaced with a genuinely different comment.
  2. [Throughout] 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.
  3. [§2.7, Colored setting] 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.
  4. [Notation, Definition 2.5] 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.

Circularity Check

0 steps flagged

No significant circularity: Section 1 is self-contained; Section 2 reduces to an external unpublished bridge (CV25), a verification risk rather than a circular step.

full rationale

The paper's central Section 1 obstruction theory (Construction 1.7, Theorems 1.11, 1.13, 1.17, 1.19) is proved from scratch from the Baker–Campbell–Hausdorff gauge action, with standard references [DSV23] for background. Section 2's translation of these gauge results into statements about ΩC-algebra homotopy equivalences is an application of Theorem 2.11, which is cited to the unpublished preprint [CV25] by Campos–Vallette; this is a load-bearing external dependency and a correctness/verification gap, but not a circular reduction, since Theorem 2.11 is not an input of the paper redefined as its output. Proposition 2.21 and Corollary 2.22, which provide the ∞-isotopy reformulation, are proved in the text. The self-citations to [Emp24] (e.g., Lemma 3.22) are used for computational sub-steps in the Kaledin-class interlude (Prop. 2.33, 2.43) and are not the source of the main homotopy-equivalence characterization; moreover they concern prior work by the same author rather than the conclusion being derived. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' own work. Consequently, no step in the claimed derivation is equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The central claims rest on several substantial external theorems, the most fragile being [CV25] (in preparation). No free parameters or invented entities are introduced; the paper is pure existence and equivalence theory.

axioms (5)
  • domain assumption Existence of transferred structures (homotopy transfer theorem) for cooperads/properads over various rings
    Cited to [Ber14], [LV12], [GRiL23], [HLV20]; used to define phi^t and psi^t in Theorems 2.24 and 3.3.
  • domain assumption Isomorphism between the gauge group of g_A and the group of infinity-isotopies Gamma_A
    [CV25, Theorem 2.24], listed as in preparation; bridges Section 1 to Section 2 and is used in Theorems 2.24, 2.25, 2.27, 2.29.
  • domain assumption Equivalence between homotopy equivalence and gauge homotopy equivalence under stated conditions
    Proposition 2.18, cited to [HLV24] and [GRiL23] and proved for non-symmetric operads; limits the scope of the abstract's claim.
  • domain assumption Zhou's cyclic lemma
    [Zho19, Lemma 4.2] is used in the proof of Theorem 3.3 to show the cyclic condition for the structures phi^1 and phi^2; the paper asserts, without verification, that the construction keeps the lemma applicable.
  • domain assumption Berglund's Lie model for fibrations
    [Ber15, Theorem 1.5] is cited in the introduction as the route to view fibrations as Maurer-Cartan elements, but the proof of Theorem 1.22 as printed is a copy of the proof of Theorem 1.19 and does not invoke it.

pith-pipeline@v1.3.0-alltime-deepseek · 32265 in / 18497 out tokens · 140772 ms · 2026-08-04T15:49:15.417545+00:00 · methodology

0 comments
read the original abstract

We develop an obstruction theory for the existence of gauge equivalences in complete differential graded Lie algebras. Specifically, this theory provides a characterization of homotopy equivalences between differential graded algebras governed by operads or properads, potentially colored in a groupoid. We apply this framework to establish new homotopy equivalence results in both algebraic topology and algebraic geometry, with a particular focus on the study of minimal models for highly connected varieties.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 23 linked inside Pith

  1. [1]

    Amann and V

    M. Amann and V. Kapovitch. On fibrations with formal elliptic fibers. Advances in Mathematics , 231(3-4):2048--2068, 2012. arXiv : https://arxiv.org/abs/1112.3556 1112.3556

    Pith/arXiv arXiv 2048

  2. [2]

    Berglund

    A. Berglund. Homological perturbation theory for algebras over operads. Algebraic & G eometric T opology , 14(5):2511--2548, 2014. arXiv : https://arxiv.org/abs/0909.3485v2 0909.3485v2

    Pith/arXiv arXiv 2014

  3. [3]

    Berglund

    A. Berglund. Rational homotopy theory of mapping spaces via L ie theory for L_ -algebras. Homology H omotopy A ppl. , 17(2):343--369, 2015. arXiv : https://arxiv.org/abs/1110.6145 arXiv:1110.6145

    Pith/arXiv arXiv 2015

  4. [4]

    Biswas, M

    I. Biswas, M. Fern\'andez, V. Muñoz, and A. Tralle. On formality of S asakian manifolds. Journal of T opology , 9(1):161--180, 1997. DOI : https://doi.org/10.1112/jtopol/jtv044 10.1112/jtopol/jtv044 . arXiv : https://arxiv.org/abs/1402.6861 1402.6861

    Pith/arXiv arXiv 1997

  5. [5]

    Crowley and J

    D. Crowley and J. Nordstr\"om. The rational homotopy type of (n-1) -connected manifolds of dimension up to 5n-1 . Journal of T opology , 13(2):539--575, 2020. arXiv : https://arxiv.org/abs/1505.04184 1505.04184

    Pith/arXiv arXiv 2020

  6. [6]

    Campos, D

    R. Campos, D. Petersen, D. Robert-Nicoud, and F. Wierstra. Lie, associative and commutative quasi-isomorphism. to appear in Acta , 2019. arXiv : https://arxiv.org/abs/1904.03585 1904.03585

    Pith/arXiv arXiv 2019

  7. [7]

    Campos and B

    R. Campos and B. Vallette. Integration theory of Lie-graph algebras . in preparation , 2025

    2025

  8. [8]

    Deligne, P

    P. Deligne, P. Griffiths, J. Morgan, and D. Sullivan. Real homotopy theory of K \"ahler manifolds. Invent. Math. , 29(3):245--274, 1975. DOI : https://doi.org/10.1007/BF01389853 10.1007/BF01389853

    doi:10.1007/bf01389853 1975

  9. [9]

    Dotsenko, S

    V. Dotsenko, S. Shadrin, and B. Vallette. Maurer-- C artan M ethods in D eformation T heory: T he T wisting P rocedure . London Mathematical Society. C ambridge U niversity P ress, 2023. arXiv : https://arxiv.org/pdf/2212.11323 2212.11323

    Pith/arXiv arXiv 2023

  10. [10]

    Dehling and B

    M. Dehling and B. Vallette. Symmetric homotopy theory for operads. Algebraic & G eometric T opology , 21(4):1595--1660, 2021. arXiv : https://arxiv.org/abs/1503.02701v1 1503.02701v1

    Pith/arXiv arXiv 2021

  11. [11]

    C. Emprin. Kaledin classes and formality criteria. arXiv : https://arxiv.org/abs/2404.17529 2404.17529 preprint , 2024

    Pith/arXiv arXiv 2024

  12. [12]

    Emprin and A

    C. Emprin and A. Takeda. Properadic coformality of spheres. arXiv : https://arxiv.org/abs/2503.04297 2503.04297 preprint , 2025

    Pith/arXiv arXiv 2025

  13. [13]

    Esnault and O

    H. Esnault and O. Wittenberg. On the cycle class map for zero-cycles over local fields. With an appendix by Spencer Bloch . Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 49(2):483--520, 2016. arXiv : https://arxiv.org/abs/1305.1182 1305.1182 preprint

    Pith/arXiv arXiv 2016

  14. [14]

    F \'e lix, S

    Y. F \'e lix, S. Halperin, and J-C Thomas. Rational homotopy theory . volume 205 of Graduate Texts in Mathematics. Springer-Verlag, 2001. DOI : https://doi.org/10.1007/978-1-4613-0105-9 10.1007/978-1-4613-0105-9

    doi:10.1007/978-1-4613-0105-9 2001

  15. [15]

    Fiorenza and H

    D. Fiorenza and H. V. L \^e . Unital C_ -algebras and the real homotopy type of (r-1) -connected compact manifolds of dimension (r-1)+2 . 2023. arXiv : https://arxiv.org/abs/2310.19506 2310.19506

    Pith/arXiv arXiv 2023

  16. [16]

    Fadell and L

    E. Fadell and L. Neuwirth. Configuration spaces. Math. S candinavica , 10:111--118, 1962

    1962

  17. [17]

    Galvez-Carrillo, A

    I. Galvez-Carrillo, A. Tonks, and B. Vallette. Homotopy B atalin-- V ilkovisky algebras. Journal of Noncommutative Geometry , 6(3):539--602, 2012. DOI : https://doi.org/10.4171/JNCG/99 10.4171/JNCG/99 . arXiv : https://arxiv.org/abs/0907.2246 0907.2246

    Pith/arXiv arXiv 2012

  18. [18]

    Le Grignou and V

    B. Le Grignou and V. Roca i Lucio. Homotopical operadic calculus in positive characteristic. arXiv : https://arxiv.org/abs/2310.13095 arXiv:2310.13095 preprint , 2023

    Pith/arXiv arXiv 2023

  19. [19]

    Haya Enriquez

    R. Haya Enriquez. Théorie de l'homotopie rationnelle appliquée aux espaces de configuration. Master thesis, Université catholique de Louvain , 2022. Can be found at http://hdl.handle.net/2078.1/thesis:35200 http://hdl.handle.net/2078.1/thesis:35200

    2022

  20. [20]

    Hoffbeck, J

    E. Hoffbeck, J. Leray, and B. Vallette. Properadic H omotopical C alculus. International Mathematics Research Notices , 2021(5):3866--3926, 05 2020. arXiv : https://arxiv.org/abs/1910.05027v2 1910.05027v2

    Pith/arXiv arXiv 2021

  21. [21]

    Hoffbeck, J

    E. Hoffbeck, J. Leray, and B. Vallette. Simplicial properadic homotopy. in preparation , 2024

    2024

  22. [22]

    Halperin and J

    S. Halperin and J. Stasheff. Obstructions to homotopy equivalences. Advances in mathematics , 32(3):233--279, 1979. DOI : https://doi.org/10.1016/0001-8708(79)90043-4 10.1016/0001-8708(79)90043-4

    doi:10.1016/0001-8708(79)90043-4 1979

  23. [23]

    Kontsevich, A

    M. Kontsevich, A. Takeda, and Y. Vlassopoulos. Pre- Ca labi- Y au algebras and topological quantum field theories. arXiv e-print , 2021. arXiv : https://arxiv.org/abs/2112.14667 2112.14667 ,

    Pith/arXiv arXiv 2021

  24. [24]

    Loday and B

    J.-L. Loday and B. Vallette. Algebraic operads , volume 346 of Grundlehren der Mathematischen Wissenschaften . Springer, 2012. DOI : https://doi.org/10.1007/978-3-642-30362-3 10.1007/978-3-642-30362-3

    doi:10.1007/978-3-642-30362-3 2012

  25. [25]

    Michael A. Mandell. Cochains and homotopy type. Publ. Math. Inst. Hautes \' E tudes Sci. , (103):213--246, 2006

    2006

  26. [26]

    T. Miller. On the formality of (k-1) -connected compact manifolds of dimension less than or equal to 4k-2 . Illinois J. Math. , 23(2):253--258, 1979. DOI : https://doi.org/10.1215/IJM/1256048237 10.1215/IJM/1256048237

    arXiv 1979

  27. [27]

    Merkulov and B

    S. Merkulov and B. Vallette. Deformation theory of representations of prop(erad)s I . J. reine angew. Math. (Crelles Journal) , 634:51--106, 2009. arXiv : https://arxiv.org/abs/0707.0889 0707.0889

    Pith/arXiv arXiv 2009

  28. [28]

    Roca i Lucio

    V. Roca i Lucio. Curved operadic calculus. Bulletin de la Société Mathématique de France , 152(1):45--147, 2022. arXiv : https://arxiv.org/abs/2201.07155 2201.07155

    Pith/arXiv arXiv 2022

  29. [29]

    Robert-Nicoud and B

    D. Robert-Nicoud and B. Vallette. Higher lie theory. arXiv preprint , 2020. arXiv : https://arxiv.org/abs/2010.10485 2010.10485

    Pith/arXiv arXiv 2020

  30. [30]

    B. Saleh. Noncommutative formality implies commutative and L ie formality. Algebraic & Geometric Topology , 17(4):2523--2542, 2017. arXiv : https://arxiv.org/abs/1609.02540v2 1609.02540v2

    Pith/arXiv arXiv 2017

  31. [31]

    Théorie des topos et cohomologie \'etale des sch\'emas

    SGA 4 . Théorie des topos et cohomologie \'etale des sch\'emas. T ome 3. S éminaire de G éométrie A lgébrique du B ois- M arie, dirigé par M . A rtin, A . G rothendieck, J .- L . V erdier, 1963-1964. LSLN Springer-Verlag , (269, 270, 305). DOI : https://doi.org/10.1007/BFb0070714 10.1007/BFb0070714

    doi:10.1007/bfb0070714 1963

  32. [32]

    Vallette

    B. Vallette. A K oszul duality for props. Transactions of the American Mathematical Society , 359(10):4865--4943, 2007. arXiv : https://arxiv.org/abs/math/0411542v3 math/0411542v3

    Pith/arXiv arXiv 2007

  33. [33]

    B. Ward. Massey P roducts for G raph H omology. IMRN , 2022(11):8086--8161, 01 2021. DOI : https://doi.org/ 10.1093/imrn/rnaa346 10.1093/imrn/rnaa346 . arXiv : https://arxiv.org/abs/1903.12055v3 1903.12055v3

    Pith/arXiv arXiv 2022

  34. [34]

    J. Zhou. On the construction of minimal model for some A_ -algebras. PhD thesis , 2019. https://escholarship.org/uc/item/7v313232 https://escholarship.org/uc/item/7v313232

    2019

  35. [35]

    J. Zhou. A_ -minimal model on differential graded algebras. arXiv preprint , 2022. arXiv : https://arxiv.org/abs/1904.10143v4 arXiv:1904.10143v4

    Pith/arXiv arXiv 2022