Pith. sign in

REVIEW 6 minor 11 references

Deformation theory for a morphism in the derived category with fixed lift of the codomain

T0 review · 0 major / 6 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read An Ext^1 obstruction class, defined for any morphism with a fixed lift of its target, completely controls whether that morphism lifts to a flat nilpotent deformation.

desk verdict A solid, honest extension of Lowen's deformation theory to morphisms with fixed target lifts; the main application is a repackaged known result, and the apparent induction gap flagged in the stress-test does not hold up. read the letter →

arxiv 2511.10312 v1 pith:WSTSM4FR submitted 2025-11-13 math.AG math.CT

Pieter Belmans , Wendy Lowen , Shinnosuke Okawa , Andrea T. Ricolfi This is my paper · ORCID
classification math.AGmath.CT MSC 14D1514F0818G80
keywords deformationtheoryderivedcategoriesobstructionclassflatnilpotentdeformationsabeliansemiorthogonaldecompositionsperfectcomplexestorsor
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 develops a deformation–obstruction calculus for morphisms between complexes, in the setting of derived categories of flat nilpotent deformations of abelian categories. It shows that, once a lift of the codomain is fixed, the question of whether a given morphism lifts is answered by the vanishing of a single cohomology class in Ext^1. When a mild vanishing hypothesis holds, the isomorphism classes of lifts form a torsor under the corresponding Ext^0 group, meaning lifts are either unique or form a principal homogeneous space. This generalizes earlier object-level deformation theory to the morphism level, and provides a new proof that semiorthogonal decompositions deform uniquely in smooth proper families. The result matters because morphisms between complexes are the basic building blocks of derived geometry, and such a clean criterion makes deformation-theoretic arguments in that setting tractable.

What carries the argument

The key machinery is the normalization of a morphism of complexes via the coderived model structure: up to homotopy, the morphism becomes a degreewise monomorphism J ↪ I, and the square-zero condition on the thickening forces the quadratic term in the deformed differential to vanish. This allows the obstruction to be read off as the (2,1)-component of the conjugated differential, a cocycle in Hom^+ (Hom(b,I),I); its cohomology class is the obstruction. The identification of this complex with RHom_{R0}(F0, b⊗^L H0) transfers the result to the derived category.

What would settle it

Take a specific square-zero extension of a scheme (e.g., the double of the affine line), choose a morphism between two perfect complexes whose Ext^1 obstruction class is nonzero, and verify that no lift exists. Or, more sharply, find a case where the obstruction class vanishes but Ext^{-1} is nonzero and show that the set of lifts is not transitive under the Ext^0-action, contradicting the torsor claim.

Watch

Extended reading notes

Core claim

The central discovery is that the liftability of a morphism s:F→G, with a fixed lift of G, is governed by a single obstruction class o(s) living in H^1(RHom(RHom(b,F0),H0)) — in the geometric case, Ext^1_{X0}(F0, b⊗^L H0). This class is constructed by embedding the morphism as a degreewise monomorphism, lifting the embedding, and measuring the failure of the lifted map to be a subcomplex via a cocycle in a subcomplex of homomorphisms. Its vanishing is necessary and sufficient for the existence of a lift. Once the obstruction vanishes, and if the corresponding Ext^{-1} vanishes, the set of isomorphism classes of lifts is a torsor under Ext^0. This provides a uniform deformation–obstruction pi

Load-bearing premise

The whole obstruction calculus rests on the assumption that the ring extension is 'small', meaning the square of the defining ideal is zero; this is what kills the quadratic term and makes the obstruction a plain cohomology class. If the thickening is not square-zero, the proposed class may not exist or may not control liftability.

Editorial extensions

If this is right

  • If the obstruction class vanishes, a lift exists, and when Ext^{-1} vanishes, all lifts are determined up to isomorphism by an Ext^0-torsor.
  • The morphism-level theory subsumes the object-level theory: taking the target to be zero recovers the known obstruction theory for lifting objects.
  • The geometric version (Corollary B) applies to perfect complexes on flat families of schemes, giving a clean criterion for lifting morphisms between perfect complexes along the pullback functor.
  • As a corollary, semiorthogonal decompositions of categories of perfect complexes deform uniquely in smooth proper families, recovering and reproving a key ingredient in the construction of moduli spaces of semiorthogonal decompositions.
  • The framework is flexible enough to obtain further applications whenever one studies morphisms in derived categories over Artinian or complete local bases.

Reading between the lines

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

  • The same obstruction–torsor pattern likely extends to higher-order thickenings if one tracks the quadratic and higher terms; the square-zero case treated here is the first rung of a general 'derived' deformation theory with higher obstructions.
  • The theorem suggests that the space of lifts of a morphism is, in the unobstructed case, a gerbe (or at least a principal bundle) under the derived Hom group, and that the Ext^{-1} condition is the shadow of a full derived structure that the paper does not develop.
  • One could test the calculus on concrete examples of morphisms between perfect complexes over, say, a double point, to see whether the Ext^1 class reproduces the classical obstruction to lifting a morphism of vector bundles; this would provide a transparent check of the formalism.
  • The algebraization step in the application suggests a general principle: formal liftability of a morphism, combined with a Grothendieck-existence-type comparison for Hom-spaces, gives actual liftability over complete local bases.
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.

Referee Report

0 major / 6 minor

Summary. The paper develops a deformation-obstruction calculus for lifting morphisms of complexes when a lift of the codomain is fixed, in the setting of flat nilpotent deformations of abelian categories. The main results are Theorem A (homotopy category of injectives) and its dual Theorem 2.10, with Corollary B for perfect complexes on schemes. For a morphism s: F -> G with a fixed lift of G, an obstruction class in H^1 of an appropriate RHom space is constructed; its vanishing is equivalent to the existence of a lift of s, and under an Ext^{-1}=0 hypothesis the lifts form a torsor under the corresponding H^0 group. As an application, the paper proves Theorem C, giving an alternative proof of the uniqueness of deformations of semiorthogonal decompositions in smooth proper families.

Significance. If correct, this is a significant contribution: it extends Lowen's object-level deformation theory [7] to the morphism level with a fixed codomain lift, in a natural and useful form. The obstruction and torsor descriptions are explicit and the passage from an abstract model-categorical setting to perfect complexes on schemes is carefully executed. The application to semiorthogonal decompositions is already known from [1], but the proof via the new calculus is elegant and demonstrates the framework's reach. The paper is honest about imported technical inputs and leaves some variations to the reader. No circularity or parameter fitting is present.

minor comments (6)
  1. [§2, Eq. (2.20)] Proposition 2.9's second isomorphism has the Hom arguments swapped: based on the proof's μ_j (which sends t^j to a map Hom_{R0}(b, J0^i) -> K0^{i+j}), the correct statement should be Hom^•_+(Hom_{R0}(b, I0^•), I0^•) ≃ Hom^•(Hom_{R0}(b, J0^•), K0^•). The printed version (Hom(b,K) -> J) contradicts the obstruction class in Theorem A and should be corrected.
  2. [§3, Eqs. (3.7)-(3.8)] The tensor product subscripts are inconsistent: (3.7) should involve derived tensor products over the upper ring R~ (e.g., b⊗^L_{R~} E, R⊗^L_{R~} E), and (3.8) should read b⊗^L_{R~} E ≃ b⊗^L_{R~} (R⊗^L_{R~} E). Please clarify the notation.
  3. [§4, Eq. (4.13)] The notation '(R↠R↠R0) = (R_{n+1} ↠ R_n ↠ R0 = k)' reuses R for both the upper and middle rings. Use a tilde on the upper ring to match (1.1).
  4. [§4, induction step] The m-adic triples (R_{n+1}->R_n->k) do satisfy hypothesis (1.1): with a = m/m^{n+2} and b = m^{n+1}/m^{n+2}, we have a·b = m^{n+2}/m^{n+2} = 0. Thus the inductive application of Corollary B is within the stated hypotheses.
  5. [§2, Proposition 2.8] The final paragraph of the proof is very terse: the claimed equivalence between coboundaries in Hom^•_+ and coboundaries in Hom^•(I,I) is not obvious and should be expanded or replaced by a direct argument that the action is free and transitive.
  6. [Throughout] Some notation switches between R and R~ (e.g., in (1.1), (3.7), (3.8)) should be harmonized for readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the morphism-level obstruction calculus is genuinely derived from the stated data, and the cited prior work is used as independent support rather than as a self-referential substitute for the proof.

full rationale

The paper's central claim is a new deformation-obstruction theorem for a morphism with a fixed lift of the codomain. The obstruction class is constructed from the actual deformation data, not fitted: in Definition 2.6 it is defined as ̲d_s in H^1(Hom_+(Hom_R(b,I^),I^)), and Proposition 2.7 proves equivalence between vanishing of this class and existence of a lift. The torsor statement in Proposition 2.8 is likewise proved from the cocycle equation (2.9)/(2.14), not postulated. Proposition 2.9 gives the identification with the stated Ext/RHom groups by explicit isomorphisms of complexes. There is no parameter fitting, no 'prediction' that is an input by construction, and no renaming of a known result as a new one. The paper does rely on Lowen [7] and Lowen--Van den Bergh [8,9] for the object-level deformation theory and for comparison results, but those are prior published results with assumptions that do not include the theorem being proved here; this is legitimate use of independent support rather than circularity. The application to semiorthogonal decompositions cites the companion paper [1] for the dictionary between SODs and decomposition triangles and for auxiliary lemmas, but the uniqueness argument in Section 4 is carried out through Corollary B and formal/algebraization arguments, not by assuming the desired uniqueness. A possible hypothesis concern about the m-adic induction in Theorem C is resolved by the notation: in (4.13) one takes R~=R_{n+1}, R=R_n, R0=k, so b = ker(R_{n+1}→R_n) = m^{n+1}/m^{n+2}, giving ab=0 and b^2=0 as required by (1.1). Thus no circular step is exhibited, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

The central claim rests on an extended tower of prior results: Lowen object-level deformation theory, abelian-category deformations, model-category technicals, perfect-complex algebraization, and formal geometry. No new constants, parameters, or entities are introduced; the new input is the morphism-level obstruction class, expressed in terms of existing derived Hom and Ext groups.

assumptions (10)
  • domain assumption Ring sequence (1.1): R -> Rbar -> R0 with a = ker(R -> R0), b = ker(Rbar -> R0), small extension condition ab = 0, hence b^2 = 0.
    The entire nilpotent deformation theory is set up only for such small extensions; Section 2 normalization after (2.4) uses ker(Hom_R(R,-))^2 = 0.
  • domain assumption Flatness of abelian categories and flat nilpotent deformations in the sense of [9, Def 3.2 and §5].
    Flatness is needed to transfer injective/projective objects and to compare restriction functors; invoked in Lemma 2.2 and throughout Sections 2-3.
  • domain assumption C0 is Grothendieck or co-Grothendieck (after Ind/Pro-completion), giving enough injectives or projectives.
    The proofs in Section 2 and Theorem 2.10 operate in K(Inj) or K(Proj) of such categories; the scheme example uses Pro-completion of Qcoh.
  • standard math Coderived model structure on Ch(C) from [10, §7]: all objects cofibrant, fibrant objects are graded-injective complexes.
    Used in Lemma 2.1 to factor the morphism as a degreewise monomorphism after homotopy.
  • standard math Object-level deformation theory and lifting theorems of Lowen: [7, Thm 5.7, Prop 4.3, Prop 5.5, Thm 6.11, Thm 6.12].
    These provide unique lifts of injective objects and object-level obstruction theory on which Section 2 builds; quoted by number.
  • standard math Deformation theory of abelian categories by Lowen-Van den Bergh [8,9], including [9, Prop 3.4] and duality [9, Prop 8.7(3)].
    Provides the framework of flat abelian deformations and justifies dualizing Theorem A to Theorem 2.10.
  • standard math Comparison property (L) from [7, Def 6.1] and the Pro-completion comparison [7, §6.3], dualized in Propositions 3.3-3.5.
    Bridges the deformation theory in homotopy categories of Pro-completions to derived categories of schemes and perfect complexes.
  • standard math Characterization of perfect complexes as pseudo-coherent complexes of finite Tor-dimension (Stacks Tags 08CG, 08CB, 08CQ, 08CD), with 2-out-of-3 for pseudo-coherence.
    Used in Proposition 3.5 to show that a complex whose restriction is perfect is itself perfect.
  • standard math Derived Nakayama lemma [1, Lemma 2.2] and the correspondence between semiorthogonal decompositions and decomposition triangles [1, Thm 5.7], with uniqueness of decomposition isomorphisms [1, Lemma 5.5].
    Used in Section 4 to translate the deformation problem for SODs into lifting of a distinguished triangle of the diagonal.
  • standard math Algebraization of perfect complexes over a complete noetherian local ring ([6, Prop 3.6.1]) and the comparison theorem in formal geometry ([3, Thm 8.2.2, Rem 8.2.3(a)]).
    Used in the final algebraization step of Theorem C to pass from compatible formal lifts to a lift over Spec R and to identify Hom groups via inverse limits.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Deformation theory for a morphism in the derived category with fixed lift of the codomain." pith.science (2026). https://pith.science/paper/WSTSM4FR

@misc{pith2026251110312,
  author       = {Pith},
  title        = {Pith review of: Deformation theory for a morphism in the derived category with fixed lift of the codomain},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WSTSM4FR}},
  note         = {Machine review of arXiv:2511.10312}
}
read the original abstract

We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that semiorthogonal decompositions deform uniquely in smooth proper families of schemes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 1 linked inside Pith

  1. [7]

    Algebra33 (2005), no

    Wendy Lowen,Obstruction theory for objects in abelian and derived categories, Comm. Algebra33 (2005), no. 9, 3195–3223. MR 2175388

    2005

  2. [9]

    ,Deformation theory of abelian categories, Trans. Amer. Math. Soc.358(2006), no. 12, 5441–5483. MR 2238922

    2006

  3. [6]

    Algebraic Geom.15(2006), no

    Max Lieblich,Moduli of complexes on a proper morphism, J. Algebraic Geom.15(2006), no. 1, 175–206. MR 2177199

    2006

  4. [1]

    Ricolfi,Moduli spaces of semiorthogonal decom- positions in families, 2025, arXiv:2002.03303v3

    Pieter Belmans, Shinnosuke Okawa, and Andrea T. Ricolfi,Moduli spaces of semiorthogonal decom- positions in families, 2025, arXiv:2002.03303v3

    arXiv 2025

  5. [2]

    MR 2665168

    Daniel Huybrechts and Manfred Lehn,The geometry of moduli spaces of sheaves, second ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2010. MR 2665168

    2010

  6. [3]

    Surveys Monogr., vol

    Luc Illusie,Grothendieck’s existence theorem in formal geometry, Fundamental algebraic geometry, Math. Surveys Monogr., vol. 123, Amer. Math. Soc., Providence, RI, 2005, With a letter (in French) of Jean-Pierre Serre, pp. 179–233. MR 2223409

    2005

  7. [4]

    Alexander Kuznetsov,Semiorthogonal decompositions in algebraic geometry, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 635–660. MR 3728631

    2014

  8. [5]

    ,Semiorthogonal decompositions in families, ICM—International Congress of Mathemati- cians. Vol. 2. Plenary lectures, EMS Press, Berlin, 2023, pp. 1154–1200. MR 4680279

    2023

Show all 11 references
  1. [8]

    Math.198(2005), no

    Wendy Lowen and Michel Van den Bergh,Hochschild cohomology of abelian categories and ringed spaces, Adv. Math.198(2005), no. 1, 172–221. MR 2183254

    2005

  2. [10]

    Z.308(2024), no

    Leonid Positselski and Jan Št’ovíček,Coderived and contraderived categories of locally presentable abelian DG-categories, Math. Z.308(2024), no. 1, Paper No. 14, 70. MR 4781731

    2024

  3. [11]

    The Stacks Project authors,The Stacks project,https://stacks.math.columbia.edu, 2025. Pieter Belmans,p.belmans@uu.nl Mathematical Institute, Utrecht University, Budapestlaan 6, 3584 CD Utrecht, The Nether- lands Wendy Lowen,wendy.lowen@uantwerpen.be Department of Mathematics, ...

    2025

Pith tools

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