pith. sign in

arxiv: 2605.22418 · v1 · pith:J2ILA7LHnew · submitted 2026-05-21 · 🧮 math.AT

The inflation functor in pluripotential homological algebra

Pedro Magalh\~aes , Anna Sopena-Gilboy This is my paper

Pith reviewed 2026-05-22 01:50 UTC · model grok-4.3

classification 🧮 math.AT
keywords inflation functorpluripotential weak equivalencesQuillen adjunctionBott-Chern cohomologyAeppli cohomologybicomplexescochain complexesKoszul duality
0
0 comments X

The pith

An inflation functor from cochain complexes to bicomplexes sends quasi-isomorphisms to pluripotential weak equivalences and forms a Quillen adjunction.

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

The paper defines an inflation functor taking cochain complexes to bicomplexes. This functor sends quasi-isomorphisms to the designated class of pluripotential weak equivalences. It forms the left half of a Quillen adjunction whose right adjoint recovers a standard sheaf-theoretic construction from complex geometry. That construction computes Bott-Chern and Aeppli cohomologies. The adjunction is used to build an infinity-category of bicomplexes in the pluripotential setting and to support Koszul duality for operads.

Core claim

The inflation functor is the left adjoint in a Quillen adjunction between the model category of cochain complexes and the model category of bicomplexes equipped with pluripotential weak equivalences; its right adjoint supplies a sheaf-theoretic presentation of Bott-Chern and Aeppli cohomologies.

What carries the argument

The inflation functor, which maps cochain complexes into bicomplexes while preserving the data needed for the Quillen adjunction and the pluripotential weak equivalences.

If this is right

  • The right adjoint supplies a sheaf-theoretic presentation of Bott-Chern and Aeppli cohomologies.
  • The inflation functor supports the construction of the infinity-category of bicomplexes in the pluripotential sense.
  • The adjunction plays a central role in pluripotential Koszul duality theory for operads.

Where Pith is reading between the lines

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

  • The construction may let ordinary results about chain complexes transfer to settings that involve double complexes in geometry.
  • One could check whether similar inflation functors exist for other algebraic structures such as algebras over operads.
  • The adjunction might simplify calculations that mix homological algebra with pluripotential forms on complex manifolds.

Load-bearing premise

The model structures on cochain complexes and bicomplexes are defined so that the inflation functor preserves the necessary cofibrations and the right adjoint preserves fibrations while the pluripotential weak equivalences behave correctly under the adjunction.

What would settle it

A specific quasi-isomorphism of cochain complexes whose image under the inflation functor fails to be a pluripotential weak equivalence.

read the original abstract

We introduce a functor from cochain complexes to bicomplexes, called inflation functor, which sends quasi-isomorphisms to the class of pluripotential weak equivalences. We show this functor is part of a Quillen adjunction. Its right adjoint is a well-known construction in complex geometry, which gives a sheaf-theoretic presentation of Bott-Chern and Aeppli cohomologies. The inflation functor plays a key role in pluripotential Koszul duality theory for operads and allows us to construct the infinity-category of bicomplexes in the pluripotential sense.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript introduces the inflation functor from cochain complexes to bicomplexes in pluripotential homological algebra. It asserts that this functor sends quasi-isomorphisms to pluripotential weak equivalences and forms the left adjoint of a Quillen adjunction whose right adjoint recovers a standard sheaf-theoretic construction for Bott-Chern and Aeppli cohomologies. The construction is further applied to pluripotential Koszul duality for operads and to the definition of the infinity-category of bicomplexes in the pluripotential sense.

Significance. If the model structures and Quillen adjunction are fully verified, the work would supply a homotopical bridge between ordinary chain complexes and the bicomplexes arising in complex geometry, potentially allowing model-categorical techniques to be applied to Bott-Chern and Aeppli cohomology and to operadic Koszul duality in the pluripotential setting.

major comments (1)
  1. [Section defining the pluripotential model structure and the adjunction] The central claim that the inflation functor is the left adjoint of a Quillen adjunction requires that the pluripotential weak equivalences, together with chosen cofibrations and fibrations, satisfy all model-category axioms on the category of bicomplexes (in particular the lifting and factorization axioms) and that the adjunction preserves the relevant classes. The manuscript does not appear to contain an explicit verification of these axioms; without it the Quillen property remains unestablished.
minor comments (1)
  1. [Paragraph introducing the right adjoint] Clarify the precise relationship between the right adjoint and the classical Dolbeault or Bott-Chern complexes; a short comparison diagram or reference to the standard literature would help readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for emphasizing the importance of explicit verification of the model category axioms. We address the major comment below and will revise the manuscript to incorporate additional details.

read point-by-point responses

  1. Referee: [Section defining the pluripotential model structure and the adjunction] The central claim that the inflation functor is the left adjoint of a Quillen adjunction requires that the pluripotential weak equivalences, together with chosen cofibrations and fibrations, satisfy all model-category axioms on the category of bicomplexes (in particular the lifting and factorization axioms) and that the adjunction preserves the relevant classes. The manuscript does not appear to contain an explicit verification of these axioms; without it the Quillen property remains unestablished.

    Authors: We agree that a complete and explicit verification of the model category axioms is necessary to rigorously establish the Quillen adjunction. The manuscript defines the pluripotential weak equivalences on bicomplexes, introduces the inflation functor, and states that it forms the left adjoint of a Quillen adjunction whose right adjoint recovers the standard sheaf-theoretic constructions for Bott-Chern and Aeppli cohomologies. However, we acknowledge that the checks for the lifting and factorization axioms, as well as the preservation of the relevant classes by the adjunction, are not presented with sufficient detail. In the revised version we will add an expanded subsection (or appendix) that supplies the missing explicit verifications, including direct arguments for the lifting property and the factorization axiom in the pluripotential setting. This will also confirm that the inflation functor preserves cofibrations and that the adjunction is indeed Quillen. revision: yes

Circularity Check

0 steps flagged

No significant circularity; Quillen adjunction grounded in external complex-geometry construction

full rationale

The derivation introduces the inflation functor and defines pluripotential weak equivalences so that the adjunction with the known right adjoint (sheaf-theoretic Bott-Chern/Aeppli presentation) forms a Quillen pair. The right adjoint is explicitly identified with a pre-existing construction in complex geometry rather than being defined internally to close the loop. Model-structure axioms are asserted to hold for the chosen weak equivalences, cofibrations and fibrations, but no step reduces by construction to a fitted parameter or self-citation chain; the central claim retains independent content once the external identification is granted. This yields a minor self-citation risk at most (score 2) rather than load-bearing circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5613 in / 1095 out tokens · 54389 ms · 2026-05-22T01:50:47.890571+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 2 internal anchors

  1. [1]

    2012 , note =

    Demailly, Jean-Pierre , title =. 2012 , note =

    work page 2012

  2. [2]

    On the cohomology of the

    Riccardo Piovani , year=. On the cohomology of the. 2405.20823 , archivePrefix=

    work page arXiv

  3. [3]

    Strong formality of toric and homogeneous compact

    Giovanni Placini and Jonas Stelzig and Leopold Zoller , year=. Strong formality of toric and homogeneous compact. 2510.17288 , archivePrefix=

    work page arXiv

  4. [4]

    Holomorphic linking numbers,

    Luc. Holomorphic linking numbers,. 2025 , howpublished =

    work page 2025

  5. [5]

    Autour de la cohomologie de Bott-Chern

    Michel Schweitzer , year=. Autour de la cohomologie de. 0709.3528 , archivePrefix=

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    Stelzig, Jonas , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2024.110038 , URL =

    work page doi:10.1016/j.aim.2024.110038 2025

  7. [7]

    Acta Mathematica , number =

    Raoul Bott and Shiing-Shen Chern , title =. Acta Mathematica , number =. 1965 , doi =

    work page 1965

  8. [8]

    Pacific Journal of Mathematics , number =

    Alfred Aeppli , title =. Pacific Journal of Mathematics , number =. 1962 , doi =

    work page 1962

  9. [9]

    Weibel, Charles A. , year=. An Introduction to Homological Algebra , publisher=

    work page

  10. [10]

    A model category structure on the category of simplicial categories

    A model category structure on the category of simplicial categories. arXiv Mathematics e-prints , keywords =. doi:10.48550/arXiv.math/0406507 , archivePrefix =. math/0406507 , primaryClass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math/0406507

  11. [12]

    2014 , note =

    Higher Algebra , author=. 2014 , note =

    work page 2014

  12. [13]

    Dolbeault, Pierre , title =. Ann. Math. (2) , issn =. 1956 , language =. doi:10.2307/1969950 , zbMATH =

    work page doi:10.2307/1969950 1956

  13. [14]

    Bigolin, Bruno , title =. Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat., III. Ser. , issn =. 1969 , language =

    work page 1969

  14. [15]

    Stelzig, Jonas , title =. Ann. Inst. Fourier , issn =. 2025 , language =. doi:10.5802/aif.3645 , keywords =

    work page doi:10.5802/aif.3645 2025

  15. [16]

    Pavlov, Dmitri , title =. J. Pure Appl. Algebra , issn =. 2025 , language =. doi:10.1016/j.jpaa.2024.107860 , keywords =

    work page doi:10.1016/j.jpaa.2024.107860 2025

  16. [17]

    Schwede, Stefan and Shipley, Brooke , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2003 , PAGES =. doi:10.2140/agt.2003.3.287 , URL =

    work page doi:10.2140/agt.2003.3.287 2003

  17. [18]

    2014 , PAGES =

    Angella, Daniele , TITLE =. 2014 , PAGES =. doi:10.1007/978-3-319-02441-7 , URL =

    work page doi:10.1007/978-3-319-02441-7 2014

  18. [19]

    Milivojevi\'c, Aleksandar and Stelzig, Jonas , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 2024 , NUMBER =. doi:10.4310/cag.241231035705 , URL =

    work page doi:10.4310/cag.241231035705 2024

  19. [20]

    Garcia-Fernandez, Mario and Gonzalez Molina, Raul and Streets, Jeffrey , TITLE =. Adv. Math. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.aim.2025.110699 , URL =

    work page doi:10.1016/j.aim.2025.110699 2026

  20. [21]

    Internat

    Latorre, Adela and Ugarte, Luis and Villacampa, Raquel , TITLE =. Internat. J. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1142/S0129167X14500578 , URL =

    work page doi:10.1142/s0129167x14500578 2014

  21. [22]

    Complex Anal

    Piovani, Riccardo and Tomassini, Adriano , TITLE =. Complex Anal. Oper. Theory , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s11785-020-00984-6 , URL =

    work page doi:10.1007/s11785-020-00984-6 2020

  22. [23]

    Cirici, Joana and Livernet, Muriel and Whitehouse, Sarah , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/blms.70239 , URL =

    work page doi:10.1112/blms.70239 2025

  23. [24]

    Complex Manifolds , doi =

    Joana Cirici and Roger Garrido-Vilallave and Anna Sopena-Gilboy , pages =. Complex Manifolds , doi =. 2025 , lastchecked =

    work page 2025

  24. [25]

    Sopena-Gilboy, Anna , title =

    work page

  25. [26]

    Angella, Daniele and Tomassini, Adriano , TITLE =. J. Geom. Phys. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.geomphys.2015.03.004 , URL =

    work page doi:10.1016/j.geomphys.2015.03.004 2015

  26. [27]

    Tardini, Nicoletta and Tomassini, Adriano , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s10231-016-0575-6 , URL =

    work page doi:10.1007/s10231-016-0575-6 2017

  27. [28]

    Sferruzza, Tommaso and Tomassini, Adriano , title =. J. Geom. Phys. , issn =. 2022 , language =. doi:10.1016/j.geomphys.2022.104470 , keywords =

    work page doi:10.1016/j.geomphys.2022.104470 2022

  28. [29]

    Sferruzza, Tommaso and Tomassini, Adriano , TITLE =. Math. Z. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00209-023-03303-9 , URL =

    work page doi:10.1007/s00209-023-03303-9 2023

  29. [30]

    Sferruzza, Tommaso and Tomassini, Adriano , TITLE =. J. Geom. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s12220-024-01764-w , URL =

    work page doi:10.1007/s12220-024-01764-w 2024

  30. [31]

    2024 , howpublished =

    Placini, Giovanni and Stelzig, Jonas and Zoller, Leopold , title =. 2024 , howpublished =

    work page 2024

  31. [32]

    Holomorphic linking numbers,

    Lucía Martín-Merchán and Jonas Stelzig , year=. Holomorphic linking numbers,. 2512.02187 , archivePrefix=

    work page arXiv

  32. [33]

    2025 , eprint=

    Hermitian geometrically formal manifolds , author=. 2025 , eprint=

    work page 2025

  33. [34]

    2512.05894 , archivePrefix=

    Nunzia Cesarino and Adriano Tomassini , year=. 2512.05894 , archivePrefix=

    work page arXiv

  34. [35]

    Rubini, Lapo , TITLE =. J. Geom. Phys. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.geomphys.2025.105586 , URL =

    work page doi:10.1016/j.geomphys.2025.105586 2025

  35. [36]

    , title =

    Hirschhorn, Philip S. , title =. 2003 , publisher =

    work page 2003

  36. [37]

    Homology Homotopy Appl

    Hinich, Vladimir , title =. Homology Homotopy Appl. , issn =. 2016 , language =. doi:10.4310/HHA.2016.v18.n1.a3 , keywords =

    work page doi:10.4310/hha.2016.v18.n1.a3 2016