{"id":"5b14506a-5bca-4bb9-907d-8dfe896afecd","arxiv_id":"2506.12977","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":1.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A beginner-oriented survey of the Lurie-Pridham equivalence between formal moduli problems and differential graded Lie algebras in characteristic zero.","lead":"This paper is an expository set of notes on formal moduli problems and differential graded Lie algebras, following Lurie's DAG X. The author states it contains no original research, so its value is as a concise entry point for non-experts in derived algebraic geometry.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definitions of formal moduli problems are never connected: Def. 1.2.4 and Def. 2.1.6 may name different Moduli_k, so coPGI is not proved for the stated category.","rationale":"The paper is explicitly expository, and the underlying mathematical statement is the well-known Lurie–Pridham equivalence; no internal inconsistency forces the theorem itself to be false. However, the exposition has a genuine soft spot: the central equivalence is stated with a symbol, Moduli_k, whose referent is not pinned down. Two different definitions of formal moduli problem appear, for a general deformation context and for commutative E∞-algebras, and the proof of coPGI passes between them without establishing that they agree. This is more specific than the reader's general concern about black-box theorems, though it is closely related: one needs to know that the black-box theorems are about the same category as the statement. The reader's conditional verdict remains appropriate, and the requested revision should include an explicit bridge between §1.2.4 and §2.1.6, or a precise pointer to the version of Lurie/Pridham that matches the definition used in Theorem 4.2.4.","tokens_in":21253,"tokens_out":12185,"duration_ms":134991,"concrete_test":"Take Γ = (CAlg_aug_k, {E = Σ^∞k}). Prove or find in the cited sources the explicit statement that the elementary morphisms of §1.2.1 are exactly the square-zero extensions R' → R with π0R' → π0R surjective, and that the class of small morphisms they generate coincides with the maps appearing in Definition 2.1.6. Then check that the condition X(∗) ≃ ∗ and the pullback axiom in Definition 1.2.4 are equivalent to the two conditions in Definition 2.1.6 for this deformation context. If the equivalence holds, the ambiguity is resolved; if not, specify precisely which definition Moduli_k in Theorem 4.2.4 denotes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, Theorem 4.2.4, asserts an equivalence Ψ : Liek → Modulik. But the paper never explicitly defines Modulik in Theorem 4.2.4. Earlier, Definition 1.2.4 defines formal moduli problems for an arbitrary deformation context (Γ, {Eα}), using small morphisms generated by fibers of maps to Ω^∞−nEα. Definition 2.1.6 defines formal moduli problems over C on CAlg^sm_C using a pullback condition for square-zero extensions with surjective π0 maps. The proof of Theorem 4.2.4 combines Theorem 1.4.6, which applies to Definition 1.2.4, with Theorem 4.2.3, while Theorem 3.2.1 concerns 'Moduli' with the Definition 2.1.6 flavor. For the argument to work, these two notions of formal moduli problem must coincide for Γ = (CAlg_aug_k, {Σ^∞k}), i.e. the small morphisms of §1.2.1–1.2.3 must be exactly the square-zero extensions used in §2.1.6, and the contractible-value and pullback axioms must match. The paper asserts this implicitly but never proves it or cites a theorem that states it. If the two definitions disagree, Theorem 4.2.4 may be an equivalence with one Moduli_k while Definition 2.1.6 describes another; the central claim would then not be established in the form it is stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is an expository survey, explicitly not claiming original results, of the Lurie--Pridham equivalence between differential graded Lie algebras and formal moduli problems over a field of characteristic zero. It introduces deformation contexts and formal moduli problems, reviews the tangent complex and deformation theories, gives the definition of formal moduli problems for commutative algebras, surveys differential graded Lie algebras and their Chevalley--Eilenberg (co)homology, and concludes with the central theorem (Theorem 4.2.4, coPGI): an equivalence of infinity-categories Psi : Lie_k -> Moduli_k. The main technical theorems are quoted from Lurie's DAG X and Pridham's work, and the paper provides background appendices on model categories and infinity-categorical miscellany. Because the paper is an exposition, its correctness depends on whether the definitions it uses are stated accurately and sufficiently connected to the quoted theorems.","tokens_in":21608,"tokens_out":8615,"duration_ms":101954,"significance":"If the exposition were accurate, it would fill a useful niche: a concise, readable introduction to a technically demanding subject, with the main equivalence correctly attributed to Lurie and Pridham. The paper is honest about its expository nature, and it includes useful details such as the model structure on dg Lie algebras, the universal enveloping algebra, and the Chevalley--Eilenberg complexes. However, several load-bearing definitions are currently inaccurate or insufficiently connected, most importantly the mismatch between the two notions of formal moduli problem used in Definition 1.2.4 and Definition 2.1.6, and the nonstandard definition of excisive functors in Definition 1.3.3. These issues prevent the proof of Theorem 4.2.4, as written, from establishing the stated equivalence for the stated category Moduli_k.","major_comments":[{"comment":"Theorem 4.2.4 asserts an equivalence Psi : Lie_k -> Moduli_k, where Moduli_k is presumably the category of Definition 2.1.6, but the proof invokes Theorem 1.4.6, whose input category Moduli_Gamma is defined in Definition 1.2.4 for an arbitrary deformation context. The paper never proves, or cites a theorem proving, that for the deformation context (CAlg^aug_k, {Sigma^infinity k}), the small morphisms of Definition 1.2.3 coincide with the square-zero extensions used in Definition 2.1.6, nor that the two pullback axioms are equivalent. Without this identification, the essential-image argument in the proof of Theorem 4.2.4 does not establish the theorem as stated; the theorem could hold for one notion of Moduli_k and not the other. This identification should be stated and proved or explicitly quoted from a precise source.","section":"§2.1.6 and §4.2.4"},{"comment":"Condition 2 of Definition 2.1.6 is not a well-formed mathematical statement. The text says that a pullback diagram 'admits a unique factorization S ... for any object S in S and maps S -> X(R0), S -> X(R1)', which does not assert the required condition that the induced map X(R) -> X(R0) x_{X(R01)} X(R1) is an equivalence. It also conflates square-zero extensions with arbitrary surjections by writing 'i.e. surjections pi_* R_i -> pi_* R_01'. Since this is the central definition of the paper's main object of study, it must be rewritten precisely: one should specify which maps are required to be square-zero extensions, and state the pullback condition as an equivalence of the appropriate mapping space.","section":"§2.1.6"},{"comment":"Definition 1.3.3 defines an excisive functor as one sending pushout diagrams to pushout diagrams. The standard definition used in the theory of spectrum objects, and the one needed for Stab(D) to consist of spectrum objects, is that an excisive functor sends pushout squares to pullback squares (and a reduced excisive functor also sends the initial object to a terminal object). With the definition as printed, the composition in Corollary 1.4.4.2 need not define a spectrum object, and the tangent complex construction in Definition 1.3.5 inherits the error. This should be corrected and aligned with the cited source (Higher Algebra).","section":"§1.3.3"},{"comment":"Theorem 4.2.4 is stated as the coPGI equivalence, but the proof relies on Theorem 3.2.1, whose statement concerns a category 'Moduli' in Fun(CAlg^sm_C, S), and on Theorem 4.2.3. The notation Modulik is introduced in Theorem 4.1.1 but is never explicitly defined there. Moreover, the statement of Theorem 3.2.1 gives a localization universal property for theta, but the proof of Theorem 4.2.4 does not explain how this universal property, together with Theorem 4.2.3, yields the fully faithful embedding and essential image claim for the specific category Modulik. The relation among the categories called Moduli in Theorems 3.2.1, 4.1.1, and 4.2.4 should be made explicit, and the proof of Theorem 4.2.4 should be expanded to a degree that a reader can verify the equivalence is with the same definition used in the statement.","section":"§3.1.7 and §4.1.1"}],"minor_comments":[{"comment":"The graded Jacobi identity has a sign typo: the third term should carry (-1)^{q ell}, not (1)^{q ell}.","section":"§3.1.1"},{"comment":"Construction 1.3.4 appears to contain a typo: 'For any map f : K' -> K' ' should presumably be 'K' -> K' with K and K' different objects, and the direction of the homotopy group map should be checked.","section":"§1.3.4"},{"comment":"The proof of Lemma 3.1.7 cites '[73]' for the Poincare-Birkhoff-Witt theorem, but the reference list contains no item 73; only 19 references are listed.","section":"§3.1.7"},{"comment":"The proof of Proposition 3.1.6 ends with 'It follows (see T.A.2.6.13)', which appears to be an internal reference without a target; it should be a precise citation to Higher Algebra or another source.","section":"§3.1.7"},{"comment":"Reference 9 is listed as Higher Algebra but the URL points to the Higher Topos Theory PDF, and reference 10 for Spectral Algebraic Geometry points to a different text; these URLs should be corrected.","section":"References"},{"comment":"In Definition 1.4.5, 'textbfSpc' is a LaTeX error, and the final sentence about viewing Spc as a subcategory of excisive functors is unclear and should be rephrased.","section":"§1.4.5"},{"comment":"The notation CAlg^sm_C is used without an explicit definition of 'small E-infinity algebra' in Section 2; the relation to Definition 1.2.3 should be stated even if the full identification is relegated to a remark.","section":"§2.1.6"}],"recommendation":"major_revision","confidential_remarks":"The paper is an exposition with no original mathematical results, so its suitability depends entirely on whether the journal publishes expository surveys. The central theorem is a known result of Lurie and Pridham, and the author is transparent about this. However, the current version contains several definitional errors and missing connections that a reader cannot repair without going back to the primary sources. These are fixable in a revision, but they are load-bearing: the stated main theorem is not proved as stated. I would not recommend acceptance in the current form, but I would be willing to look at a revised version that addresses the definitional gaps and proofreading issues."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is an expository survey of the Lurie–Pridham equivalence between dg Lie algebras and formal moduli problems. It says so itself, so judge it as notes, not research. The skeletal structure is right: deformation contexts, tangent complex, weak deformation theories, the model structure on DGLA, Chevalley–Eilenberg complexes, Koszul duality, and the Maurer–Cartan construction of Ψ. If you already know where things sit, the paper is a plausible roadmap.\n\nThe soft spot that matters most is definitional. Definition 1.2.4 defines a formal moduli problem relative to a deformation context, with small morphisms generated by fibers of maps to Ω^{∞−n}Eα. Definition 2.1.6 defines the category Moduli_k on CAlg^sm_k using square-zero extensions with surjective π0 conditions. Theorem 4.2.4 claims an equivalence Ψ: Liek → Modulik, but its proof invokes Lurie's theorem 1.4.6, which applies to the first definition, and the Koszul-duality deformation theory of §4.2.3, which is stated for the second. The paper never shows these two categories coincide, or cites a theorem that does. The underlying claim is true, and I suspect the identification is standard, but the reader is left to supply a load-bearing bridge. That needs to be made explicit.\n\nThere are also mechanical problems: the pullback diagram in Definition 1.2.1 is garbled, the graded Jacobi identity has a sign error in the (1)^{qℓ} term, the PBW reference [73] is missing, T.A.2.6.13 is a broken internal reference, and several bibliography URLs point to the wrong documents. None of these are fatal to the mathematics, but they are exactly the kind of thing that makes an expository paper unreliable.\n\nWhat the paper does well: it names the main theorems correctly, gives a usable sketch of the model structure on Liedg_k, and carefully sets up the Chevalley–Eilenberg functor and the Koszul duality functor D. The author's habit of crediting Lurie and Pridham rather than claiming novelty is refreshing.\n\nWho is this for? A graduate student who already has some ∞-category background and wants a map of DAG X before reading the source. It is not a reference to cite for the theorems. I would like to see it cleaned up and published in an expository venue; as a research preprint it adds no new result. My recommendation: don't desk-reject on grounds of triviality, but send it to a referee only if you are willing to demand a revision that fixes the definitional bridge and the typographical errors. In its current state, I would not use it as a course handout.","headline":"Honest, useful sketch of the Lurie–Pridham equivalence, but as-is it has a load-bearing definitional gap and enough typos that I would not hand it to a student.","tokens_in":22062,"tokens_out":4049,"would_cite":false,"duration_ms":44877,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D15","17B55","18N60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Over a characteristic-zero field, formal moduli problems are equivalent to differential graded Lie algebras, and the paper lays out this correspondence for non-experts.","keywords":["formal moduli problems","differential graded Lie algebras","deformation theory","derived algebraic geometry","Koszul duality","Maurer-Cartan equation","∞-categories","Chevalley-Eilenberg cohomology"],"falsifier":"Inspect the simplest nontrivial example: take $\\mathfrak{g}_* = k$ concentrated in degree 0 with zero bracket, and compute the Maurer-Cartan space $\\Psi(\\mathfrak{g}_*)(k \\oplus k[n])$; the equivalence predicts this space has the homotopy type of $\\mathrm{Map}_{\\mathrm{Lie}_k}(D(k \\oplus k[n]), k)$, and a mismatch in any homotopy group for any $n$ would disprove the theorem.","tokens_in":21080,"feed_emoji":"⚙️","tokens_out":8552,"duration_ms":92083,"temperature":0.7,"pith_summary":"This paper is an expository set of notes, not original research, whose goal is to make the central correspondence of derived deformation theory accessible: over a field of characteristic zero, formal moduli problems — functors on small commutative algebras that classify deformations — are equivalent, as ∞-categories, to differential graded Lie algebras. The author states the aim of being welcoming and insightful for the non-expert. The paper develops the dictionary: a dg Lie algebra $\\mathfrak{g}_*$ controls a formal moduli problem through the Maurer-Cartan equation $dx = [x,x]$, and the Chevalley-Eilenberg cochain complex provides the bridge. A sympathetic reader would take the paper to establish the coPGI theorem by assembling the machinery of deformation theories, Koszul duality, and model categories, while delegating the two heaviest structural inputs to the cited sources.","feed_headline":"Every formal moduli problem comes from a dg Lie algebra","feed_subtitle":"A concise walkthrough of the theorem that dg Lie algebras control all formal deformations, via the Maurer-Cartan equation.","key_machinery":"The load-bearing object is the Koszul duality functor $D : (\\mathrm{CAlg}^{\\mathrm{aug}}_k)^{\\mathrm{op}} \\to \\mathrm{Lie}_k$, defined as the right adjoint of the cohomological Chevalley-Eilenberg functor $C^* : \\mathfrak{g}_* \\mapsto C^*(\\mathfrak{g}_*)$. It carries the deformation-theoretic content: checking the axioms of a weak deformation theory reduces to a proposition about cofibrant dg Lie algebras freely generated by finite-dimensional graded spaces in negative degrees, and the extra sifted-colimit condition is verified through the free-Lie and forgetful adjunction. The equivalence itself is implemented by the Maurer-Cartan functor $MC(R, \\mathfrak{g}_*) = \\mathrm{Map}_{\\mathrm{Lie}_k}(D(R), \\mathfrak{g}_*)$, whose objects are solutions of $dx = [x,x]$ in $\\mathfrak{m}_R \\otimes \\mathfrak{g}_*$.","core_discovery":"The central claim is Theorem 4.2.4 (coPGI): for a field $k$ of characteristic zero, inverting quasi-isomorphisms in the model category of differential graded Lie algebras yields an ∞-category $\\mathrm{Lie}_k$, and there is an equivalence of ∞-categories $\\Psi : \\mathrm{Lie}_k \\to \\mathrm{Moduli}_k$ with the ∞-category of formal moduli problems over $k$. Concretely, a dg Lie algebra $\\mathfrak{g}_*$ is sent to the functor $R \\mapsto \\mathrm{Map}_{\\mathrm{Lie}_k}(D(R), \\mathfrak{g}_*)$, where $D$ is the Koszul duality functor; this mapping space is the space of Maurer-Cartan elements in $\\mathfrak{m}_R \\otimes \\mathfrak{g}_*$. The proof shows that $D$ satisfies the axioms of a deformation theory, so the general reconstruction theorem (Theorem 1.4.6) applies and forces $\\Psi$ to be fully faithful with essential image exactly the formal moduli problems.","pith_inferences":["A direct corollary the author leaves implicit: any formal moduli problem whose classical truncation is a scheme's formal neighborhood should be governed by the derived infinitesimal automorphism Lie algebra of that object, so the whole formal neighborhood is recovered from one Lie algebra.","A testable extension is to run the dictionary on the deformation problem of a smooth proper scheme from the paper's example: the predicted dg Lie algebra should have Chevalley-Eilenberg cohomology matching $H^*(Z;T_Z)$, with $\\mathrm{H}^2$ governing extension to second order.","The characteristic-zero hypothesis is the fragile input; because symmetric powers behave well and divided powers do not, one would expect positive-characteristic formal moduli problems to require divided-power Lie algebras or another enhancement, a direction this paper does not explore."],"forward_implications":["Every formal moduli problem over a characteristic-zero field is presented up to equivalence by a dg Lie algebra, so deformation problems can be studied as Lie-algebra cohomology.","The deformation functor of a dg Lie algebra $\\mathfrak{g}_*$ is explicitly the Maurer-Cartan space $MC(\\mathfrak{m}_R \\otimes \\mathfrak{g}_*)$, making the equation $dx=[x,x]$ the operative deformation equation.","The first-order tangent space at a point is recovered from $\\mathrm{H}^0$ of the tangent complex, and obstruction classes for extending deformations live in $\\mathrm{H}^2$; the Lie bracket governs all higher-order structure.","The Koszul duality functor $D$ is a deformation theory, so the Yoneda embedding from $\\mathrm{Lie}_k$ lands fully faithfully in formal moduli problems; no information is lost in passing from Lie algebras to their formal moduli.","In the paper's motivating example of deformations of a smooth proper scheme, the dictionary identifies automorphism groups of first-order deformations with $\\mathrm{H}^0(Z;T_Z)$, isomorphism classes with $\\mathrm{H}^1(Z;T_Z)$, and obstructions with $\\mathrm{H}^2(Z;T_Z)$."],"supporting_citations":[{"why":"Supplies the general reconstruction theorem that deformation theories give equivalences with formal moduli problems, the Koszul duality framework, and the key lemma on cofibrant dg Lie algebras; the proof of coPGI rests on it.","marker":"[7]"},{"why":"Provides the theorem that dg Lie algebras, with quasi-isomorphisms inverted, embed into formal moduli problems via the Chevalley-Eilenberg functor; this is the other pillar of the equivalence.","marker":"[15]"},{"why":"Supplies the ∞-categorical foundations, including stabilization, the ∞-category of spaces, and perfection of classes of morphisms, used to formulate deformation contexts and prove the model-structure results.","marker":"[8]"},{"why":"Gives the higher-algebra results used in Proposition 3.1.6 to endow the category of dg Lie algebras with its left proper combinatorial model structure.","marker":"[9]"}],"fun_headline_variants":["dg Lie algebras encode every formal moduli problem","Every formal moduli problem is a dg Lie algebra in disguise","Formal moduli problems, decoded by dg Lie algebras","The dg Lie algebra dictionary for formal moduli","Lurie's theorem: dg Lie algebras capture all moduli"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's proof of the equivalence inherits two heavyweight theorems from the cited sources as black boxes; if either theorem is mis-stated or the higher-categorical framework it assumes differs from the original, the claimed equivalence is not established by this exposition.","fun_headline_variants_meta":{"raw":{"variants":["dg Lie algebras encode every formal moduli problem","Every formal moduli problem is a dg Lie algebra in disguise","Formal moduli problems, decoded by dg Lie algebras","The dg Lie algebra dictionary for formal moduli","Lurie's theorem: dg Lie algebras capture all moduli"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000495,"raw_usage":{"total_tokens":2376,"prompt_tokens":843,"completion_tokens":1533,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":1449}},"tokens_in":459,"tokens_out":1533,"duration_ms":13465,"temperature":1.0,"reasoning_tokens":1449,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:37:27.778194+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Inspect the simplest nontrivial example: take $\\mathfrak{g}_* = k$ concentrated in degree 0 with zero bracket, and compute the Maurer-Cartan space $\\Psi(\\mathfrak{g}_*)(k \\oplus k[n])$; the equivalence predicts this space has the homotopy type of $\\mathrm{Map}_{\\mathrm{Lie}_k}(D(k \\oplus k[n]), k)$, and a mismatch in any homotopy group for any $n$ would disprove the theorem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the general reconstruction theorem that deformation theories give equivalences with formal moduli problems, the Koszul duality framework, and the key lemma on cofibrant dg Lie algebras; the proof of coPGI rests on it."},{"cited_title":"The first two of these properties are nice and friendly, and can be exposited without too much extra machinery","cited_arxiv_id":null,"evidence_quote":"Provides the theorem that dg Lie algebras, with quasi-isomorphisms inverted, embed into formal moduli problems via the Chevalley-Eilenberg functor; this is the other pillar of the equivalence."},{"cited_title":"The unit map D′(D(A)) is an eqiuivalence in Γ","cited_arxiv_id":null,"evidence_quote":"Supplies the ∞-categorical foundations, including stabilization, the ∞-category of spaces, and perfection of classes of morphisms, used to formulate deformation contexts and prove the model-structure results."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the higher-algebra results used in Proposition 3.1.6 to endow the category of dg Lie algebras with its left proper combinatorial model structure."}],"review_version":1}