Pith. sign in

REVIEW 2 major objections 5 minor 8 references

Abstract categorical residues and Calabi-Yau structures

T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read This paper proves that the categorical formal punctured neighborhood of infinity of any smooth A-infinity category with a weak smooth Calabi-Yau structure inherits a weak proper Calabi-Yau structure of dimension one less, and uses this to…

desk verdict Original categorical residue construction with plausible main theorems, but the load-bearing nondegeneracy claim in Prop 3.19 is asserted without proof and must be filled before the results can be trusted. read the letter →

arxiv 2412.05927 v2 pith:GBWANGOU submitted 2024-12-08 math.SG math.AT

classification math.SGmath.AT MSC 16E4553D4018G80
keywords Calabi-YaustructuresA-infinitycategoriescategoricalformalpuncturedneighborhoodofinfinityRabinowitzFukayacategorysingularityHochschildhomologyresiduePoincaréduality
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

This paper proves a categorical analogue of a classical topological fact: the boundary of a compact manifold with boundary satisfying Poincaré–Lefschetz duality is itself a closed manifold satisfying Poincaré duality one dimension lower. The analogue says that if an $A_\infty$-category $\mathcal{C}$ is smooth and carries a weak smooth Calabi-Yau structure of dimension $n$, then its categorical formal punctured neighborhood of infinity $\widehat{\mathcal{C}}_\infty$ carries a weak proper Calabi-Yau structure of dimension $n-1$. The proof produces an explicit Hochschild residue map and verifies that the induced pairing is nondegenerate. Because the wrapped Fukaya category of a Liouville manifold is smooth and Calabi-Yau, this yields a weak proper Calabi-Yau structure on the Rabinowitz Fukaya category, and similarly yields a proper Calabi-Yau structure on Orlov's singularity category. The result upgrades previously known cohomology-level duality statements to chain-level structures compatible with the $A_\infty$-structure.

What carries the argument

The load-bearing object is the categorical formal punctured neighborhood of infinity, $\widehat{\mathcal{C}}_\infty$, defined as the essential image of the Yoneda embedding into the category of Calkin modules $\operatorname{Fun}(\mathcal{C}^{\mathrm{op}}, \mathrm{Ch}_k/\mathrm{Perf}_k)$; it is nonzero exactly when $\mathcal{C}$ fails to be proper. The argument also relies on the canonical pairing systems of Section 2.8 and the cap product with the smooth Calabi-Yau cycle $\sigma$, which is a quasi-isomorphism by Lemma 2.28. These combine into the residue map $\operatorname{res}$, a degree $1-n$ chain map out of Hochschild chains of $\widehat{\mathcal{C}}_\infty$, whose induced pairing is the graded-symmetric, nondegenerate residue pairing.

What would settle it

Pick a smooth $A_\infty$-category $\mathcal{C}$ with a weak smooth Calabi-Yau structure of dimension $n$ and two objects $X,Y$; if the cohomological residue pairing $H^i(\widehat{\mathcal{C}}_\infty(X,Y))\otimes H^{n-1-i}(\widehat{\mathcal{C}}_\infty(Y,X))\to k$ is zero for some degree $i$ on a nonzero class, then $\widehat{\mathcal{C}}_\infty$ is not weak proper Calabi-Yau and Theorem 1.7 would fail. Such a check could be carried out in a computable example, for instance one where the Hochschild chain complex is finite so the pairing can be evaluated explicitly.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.7: for any smooth $A_\infty$-category $\mathcal{C}$ with a weak smooth Calabi-Yau structure of dimension $n$, the categorical formal punctured neighborhood $\widehat{\mathcal{C}}_\infty$ admits a weak proper Calabi-Yau structure of dimension $n-1$, given by the residue $\operatorname{res}\colon CC_{n-1}(\widehat{\mathcal{C}}_\infty)\to k$. The residue is built from a canonical pairing system on the bimodule cones that form the morphism spaces of $\widehat{\mathcal{C}}_\infty$, capped with the smooth Calabi-Yau cycle $\sigma$; Proposition 3.19 proves the induced pairing on cohomology is nondegenerate. Theorem 1.2 and Theorem 1.6 are the concrete payoffs: the Rabinowitz Fukaya category of a non-degenerate Liouville manifold with $c_1(X)=0$ is weak proper Calabi-Yau of dimension $n-1$, and Orlov's singularity category of a Gorenstein scheme of finite type with trivial canonical bundle is proper Calabi-Yau of dimension $n-1$.

Load-bearing premise

The whole construction requires the original category to already have a weak smooth Calabi-Yau structure, and the Rabinowitz application additionally requires the quasi-equivalence $\Phi\colon RW(X)\to\widehat{W}_\infty$, which is established only for non-degenerate Liouville manifolds with $c_1(X)=0$.

Editorial extensions

If this is right

  • Theorem 1.2: the Rabinowitz Fukaya category $RW(X)$ of a non-degenerate Liouville manifold with $c_1(X)=0$ carries a weak proper Calabi-Yau structure of dimension $n-1$, not just a cohomology-level pairing.
  • Theorem 1.6: for a Gorenstein scheme of finite type with trivial canonical bundle, the dg enhancement of Orlov's singularity category is proper Calabi-Yau of dimension $n-1$, without assuming isolated singularities.
  • The residue map depends only on the homology class of the smooth Calabi-Yau cycle $\sigma$.
  • The open-closed map $OC_R$ from Hochschild homology of $W$ with coefficients in $RW$ to Rabinowitz Floer cohomology is a quasi-isomorphism and respects the pairings.
  • Any smooth $A_\infty$-category with a weak smooth Calabi-Yau structure has a boundary invariant $\widehat{\mathcal{C}}_\infty$ that is itself weak proper Calabi-Yau, so the construction is fully general and not tied to Floer geometry.

Reading between the lines

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

  • The theorem suggests that being Calabi-Yau is hereditary: the categorical boundary of any smooth Calabi-Yau category is proper Calabi-Yau one dimension down, so categories that are 'almost proper' still have well-defined Poincaré duality at their boundary.
  • If the residue lifts to an $S^1$-invariant chain map, the weak proper structure would become strong, which the author expects would connect to pre-Calabi-Yau structures on the wrapped Fukaya category.
  • The same formal construction may extend to $\mathbb{Z}/2$-graded settings, which would give a conceptual explanation for the proper Calabi-Yau structure on matrix factorization categories via Orlov's equivalence.
  • The pairing-respecting open-closed map suggests that the categorical residue pairing and the tautological pairing on Rabinowitz Floer cohomology should agree at chain level; checking this explicitly would test the compatibility of the algebraic and Floer-theoretic formalisms.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper develops an abstract algebraic construction, the categorical residue, which takes a weak smooth Calabi-Yau structure of dimension n on a smooth A-infinity category C and produces a weak proper Calabi-Yau structure of dimension n-1 on the categorical formal punctured neighborhood of infinity bC∞. The central claim is Theorem 1.7. The paper then applies this result in two settings: to prove that the Rabinowitz Fukaya category RW(X) of a non-degenerate Liouville manifold with c1(X)=0 carries a weak proper Calabi-Yau structure (Theorem 1.2), and to prove that Orlov's singularity category of a proper Gorenstein scheme of finite type with trivialized canonical bundle carries a proper Calabi-Yau structure (Theorem 1.6). Along the way the paper develops a framework of Hochschild invariants with bimodule coefficients, canonical pairing systems, and operations ⊔ and ⊓, and studies an open-closed map relating Hochschild homology of the wrapped Fukaya category with Rabinowitz Floer cohomology.

Significance. If Theorem 1.7 is correct, the paper provides a conceptually clean transfer principle: boundary-type Calabi-Yau structures arise canonically from smooth Calabi-Yau structures, with explicit chain-level formulas. This would substantially strengthen earlier cohomology-level statements for Rabinowitz Fukaya categories and would give a new conceptual proof of Calabi-Yau structures on singularity categories. The paper also contains useful algebraic infrastructure for Hochschild operations with multi-module coefficients. However, the current manuscript leaves a load-bearing nondegeneracy claim in Proposition 3.19 essentially unproved, and several key technical lemmas are delegated to 'straightforward computations'. Because the main applications inherit this gap, the central claims are only conditionally established.

major comments (2)
  1. [§3.4, Proposition 3.19] The nondegeneracy assertion is not proved. The proof shows that the residue pairing agrees on cohomology with the pairing π∞,X,Y defined in (3.56), and then states 'which is nondegenerate' after (3.73). The map π∞ is a composition bC∞(X,Y)⊗bC∞(Y,X) → CC*(C^op,Z⊗C^op Z) → CC*_{-n}(C^op,Z⊗C^op Z) → k, where the first map is ⊔, the middle map is capping with σ, and the last is πZ_*. Even if πZ_* is nondegenerate on the length-zero subspace and capping with σ is a quasi-isomorphism, nondegeneracy of the composite does not follow from nondegeneracy of one factor: the intermediate compositions may annihilate cohomology classes. A direct argument is needed that for every nonzero [c]∈H^*(bC∞(X,Y)) there exists [d]∈H^{n-1-*}(bC∞(Y,X)) with π∞([c],[d])≠0, for example by showing that π∞ is chain-homotopic to the tautological pairing (2.133)/(5.72). This gap is load-bearing: Theorem 1.7, and consequently Theorem 1.2 through Lemma 6.3 and Theorem 1.6 through Section 4.2, depend on it.
  2. [§3.3, Lemmas 3.13 and 3.15; §8.3, Proposition 8.7] Several technically central arguments are omitted. Lemma 3.13 verifies the canonical pairing system needed to define the map πZ_* via Proposition 2.35, and Lemma 3.15 supplies the cyclic associativity used in Lemma 3.17 to prove that the residue is a chain map. Both are dismissed as 'straightforward computation'. Given the paper's own emphasis on sign conventions, these computations should be written out or relegated to an appendix. Similarly, in the proof of Proposition 8.7, after equation (8.53) the claim that the composition 'induces the same map as the inverse of the linear dual of OC' is asserted 'because of the way we count rigid elements'; this is a nontrivial identification of chain maps and needs a precise justification if Theorem 1.10 is to be substantiated.
minor comments (5)
  1. [§1.2 and §4.2] Theorem 1.6 states that D^b_sg(X) has a 'proper Calabi-Yau structure', but the proof in §4.2 concludes only a 'weak proper Calabi-Yau structure'. The terminology should be harmonized, since Definition 2.27 distinguishes weak and strong proper Calabi-Yau structures.
  2. [Equation (2.134)] The displayed sign contains a typo: '|x1||x2+|x1|+|x2|' should read '|x1||x2|+|x1|+|x2|'.
  3. [References] There are two entries labeled [S]: Saito's 'Period mapping associated to a primitive form' and Shklyarov's 'Calabi-Yau structures on categories of matrix factorizations'. This creates ambiguity in citations and should be corrected.
  4. [§1.1] The word 'nondegenenrate' should be 'nondegenerate'.
  5. [§3.3] The phrase 'by Lemma we have 2.28' should read 'by Lemma 2.28'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the categorical residue is constructed from the assumed weak smooth Calabi-Yau structure, not identified with it, and the applications rest on external quasi-equivalences rather than on restating the inputs.

full rationale

The derivation chain for the central result Theorem 1.7 is self-contained: given a weak smooth Calabi-Yau structure σ of dimension n on C, the paper constructs res : CC_{n-1}(bC∞) → k by composing the cup-type product ⊔, capping with σ through the quasi-isomorphism of Lemma 2.28, and applying the canonical pairing system π_Z via Proposition 2.35 and Corollary 3.14. The residue is not defined to be a weak proper Calabi-Yau structure; that status is the content of Theorem 1.7 and depends on the nondegeneracy check in Proposition 3.19. No equation identifies the output with the input by construction. The proof of Proposition 3.19 is terse: after (3.73) it asserts that the pairing π∞,X,Y 'is nondegenerate' without displaying the full argument, and nondegeneracy of the total composition does not follow formally from nondegeneracy of the final factor π_Z alone. This is an omitted-support or correctness concern, not a circular reduction. For the applications, Theorem 1.2 pulls back the residue through the quasi-equivalence Φ : RW(X) → bW∞ from [GGV, Theorem 1.1] (Theorem 5.15), and Theorem 1.6 uses Efimov's quasi-equivalence and [BD, Proposition 5.12]. These are prior results with their own stated assumptions and independent derivations; although they include the author's previous work, the present paper does not justify its central premise solely by those citations. No fitted parameters, self-definitional identities, or renamed known results were found.

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

The central theorems depend on a set of prior results from Ganatra, Ganatra-Gao-Venkatesh, Efimov, and Brav-Dyckerhoff. These are external theorems with independent derivations, so the ledger records them as axioms rather than as derived content. No new particles, forces, or dimensions are introduced; the 'categorical residue' is a new mathematical construction, not a postulated entity.

assumptions (6)
  • standard math Quasi-isomorphisms of A-infinity bimodules are invertible over a field (Seidel).
    Invoked in Lemma 2.28 and in the proof of Proposition 8.7 to invert bimodule quasi-isomorphisms; see Section 2.6 and Section 8.3.
  • domain assumption For a non-degenerate Liouville manifold X with c1(X)=0, the wrapped Fukaya category W(X) admits a weak smooth Calabi-Yau structure (Ganatra [G1]).
    Used in Section 6.1 as the input to the residue construction for Theorem 1.2.
  • domain assumption For a non-degenerate Liouville manifold X with c1(X)=0, the canonical A-infinity functor Phi: RW(X) -> bW-infinity is a quasi-equivalence (Ganatra-Gao-Venkatesh [GGV, Theorem 1.1]).
    Used in Section 6 to pull back the residue to RW; this is the bridge from abstract algebra to symplectic geometry.
  • domain assumption For a separated finite-type scheme over a perfect field, the categorical formal punctured neighborhood of infinity is quasi-equivalent to the opposite of the singularity category (Efimov [E, Theorem 9.2]).
    Used in Section 4.2 to transfer the residue to D^b_sg(X)^op.
  • domain assumption For a Gorenstein scheme X of dimension n, a trivialization of the canonical bundle omega_X is equivalent to a strong smooth Calabi-Yau structure on D^bCoh(X) (Brav-Dyckerhoff [BD, Proposition 5.12]).
    Used in the proof of Theorem 1.6 in Section 4.2.
  • standard math The collapse map C_delta (x)_C P -> P is a quasi-isomorphism ([G1, Proposition 2.2], [GGV, Lemma 2.6]).
    Used repeatedly, for example in Section 2.3 and Section 3.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Abstract categorical residues and Calabi-Yau structures." pith.science (2026). https://pith.science/paper/GBWANGOU

@misc{pith2026241205927,
  author       = {Pith},
  title        = {Pith review of: Abstract categorical residues and Calabi-Yau structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GBWANGOU}},
  note         = {Machine review of arXiv:2412.05927}
}
abstract

Inspired by the simple fact that a compact n-dimensional manifold-with-boundary which satisfies Poincar\'e-Lefschetz duality of dimension n has a boundary which itself satisfies Poincar\'e duality of dimension n, we show that the categorical formal punctured neighborhood of infinity, a canonical categorical construction associated to every $A_{\infty}$ category, has a weak proper Calabi-Yau structure of dimension n-1 whenever the original $A_{\infty}$ category admits a weak smooth Calabi-Yau structure of dimension n. Applications include proper Calabi-Yau structures on Rabinowitz Fukaya category of a Liouville manifold and Orlov's singularity category of a proper singular Gorenstein scheme of finite type.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 5 canonical work pages

  1. [1]

    [A1] Mohammed Abouzaid,A geometric criterion for generating the Fukaya category, Publ. Math. Inst. Hautes ´Etudes Sci.112(2010), 191–240. [A2] ,Symplectic cohomology and Viterbo’s theorem, Free loop spaces in geometry and topology, 2015, pp. 271–485. [A3] M Auslander,Functors and morphisms determined by objects, Representation theory of algebras (proc. co...

  2. [7]

    3, 1231–1264

    [S] Kyoji Saito,Period mapping associated to a primitive form, Publications of the Research Institute for Mathematical Sciences19(1983), no. 3, 1231–1264. [Sei1] Paul Seidel,Graded Lagrangian submanifolds, Bulletin de la Soci´ et´ e Math´ ematique de France128 (2000), no. 1, 103–149 (eng). [Sei2] ,A ∞-subalgebras and natural transformations, Homology, Hom...

  3. [1942]

    Lunts,Categorical resolution of singularities, Journal of Algebra323(2010), no

    [L2] Valery A. Lunts,Categorical resolution of singularities, Journal of Algebra323(2010), no. 10, 2977–3003. [Lyu] Volodymyr Lyubashenko,A ∞-morphisms with several entries, Theory Appl. Categ.30(2015), Paper No. 45, 1501–1551. [M] Daniel Murfet,Residues and duality for singularity categories of isolated gorenstein singularities, Compositio Mathematica149...

  4. [1991]

    [BJK] Hanwool Bae, Wonbo Jeong, and Jongmyeong Kim,Calabi–yau structures on rabinowitz fukaya categories, Journal of Topology17(2024), no

    available online at https://www.math.stonybrook.edu/~kirillov/manuscripts/bfmn.pdf. [BJK] Hanwool Bae, Wonbo Jeong, and Jongmyeong Kim,Calabi–yau structures on rabinowitz fukaya categories, Journal of Topology17(2024), no. 4, e12361, available athttps://londmathsoc. onlinelibrary.wiley.com/doi/pdf/10.1112/topo.12361. [BO] Fr´ ed´ eric Bourgeois and Alexan...

  5. [2008]

    VI, 2018.https://arxiv.org/ pdf/1810.07119.pdf

    MR2441780 (2009f:53143) [Sei4] ,FukayaA ∞-structures associated to Lefschetz fibrations. VI, 2018.https://arxiv.org/ pdf/1810.07119.pdf. [She] Nick Sheridan,Formulae in noncommutative Hodge theory, Journal of Homotopy and Related Structures15(2020/03/01), no. 1, 249–299. [Shk] Dmytro Shklyarov,Matrix factorizations and higher residue pairings, Advances in...

  6. [2012]

    Thesis, MIT.http://arXiv.org/abs/1304.7312

    Ph.D. Thesis, MIT.http://arXiv.org/abs/1304.7312. [G2] ,Categorical non-properness in wrapped Floer theory, 2021.http://arXiv.org/abs/2104. 06516. [G3] ,Cyclic homology, S1–equivariant Floer cohomology and Calabi–Yau structures, Geom. Topol.27(2023), no. 9, 3461–3584. [Ger] Murray Gerstenhaber,The cohomology structure of an associative ring, Annals of Mat...

  7. [2020]

    [CL] Cheol-Hyun Cho and Sangwook Lee,Potentials of homotopy cyclic A-infinity algebras, Homology, Homotopy and Applications14(2012), no

    https://arxiv.org/abs/2008.13161. [CL] Cheol-Hyun Cho and Sangwook Lee,Potentials of homotopy cyclic A-infinity algebras, Homology, Homotopy and Applications14(2012), no. 1, 203 –220. [CO1] Kai Cieliebak and Alexandru Oancea,Multiplicative structures on cones and duality, 2020.https: //arxiv.org/abs/2008.13165. [CO2] ,Rabinowitz floer homology as a tate v...

  8. [2024]

    Categorical formal punctured neighborhood of infinity, I

    [D1] Shadrin Sergey Vallette Bruno Dotsenko Vladimir,De rham cohomology and homotopy Frobenius manifolds, Journal of the European Mathematical Society017(2015), no. 3, 535–547 (eng). [D2] Vladimir Drinfeld,Infinite-Dimensional Vector Bundles in Algebraic Geometry: An Introduction, The unit of mathematics, 2006, pp. 263–304. [E] Alexander I. Efimov,Categor...

Pith tools

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