Pith. sign in

REVIEW 3 major objections 6 minor 2 cited by

Deformations of Kalck--Karmazyn algebras via Mirror Symmetry

T0 review · 3 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read Mirror symmetry yields an explicit formula for Kawamata's matrix order.

desk verdict Fresh, concrete computations of Kalck–Karmazyn deformations and Kawamata's matrix order via mirror symmetry, but the load-bearing mirror-symmetry bridge (10) is asserted rather than proved. read the letter →

arxiv 2412.09724 v1 pith:HJBXQOFS submitted 2024-12-12 math.SG math.AGmath.RT

Yanki Lekili , Jenia Tevelev This is my paper · ORCID
classification math.SGmath.AGmath.RT MSC 53D3714J3314B0516G20
keywords mirrorsymmetryFukayacategoryKalck-KarmazynalgebraWahlsingularitymatrixordercyclicquotientboundingcochainQ-Gorensteinsmoothing
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 aims to compute explicitly the one-parameter flat families of algebras that absorb the singularities of threefold smoothings of cyclic quotient singularities, especially the matrix order attached by Kawamata to a Q-Gorenstein smoothing of a Wahl singularity. The authors argue that homological mirror symmetry makes this computation tractable: the mirror of the Kawamata vector bundle is an immersed Lagrangian in the two-punctured torus, and equipping it with a bounding cochain in the relative Fukaya category produces an endomorphism algebra isomorphic to the desired flat family. If the argument is correct, the matrix order is given by an explicit embedding into Mat_n(k[t]) with a concrete formula, and the Kalck-Karmazyn algebra itself has a simple multiplication table indexed by a Young diagram. The value is that a family of algebras previously accessible only through abstract birational geometry can now be written down and studied by hand or by computer.

What carries the argument

The load-bearing object is the Kawamata Lagrangian K_{r,a}, the immersed exact Lagrangian in the two-punctured torus obtained as the mirror of the Kawamata vector bundle under homological mirror symmetry for the cycle of rational curves E_2. Deformations are studied by reinterpreting one puncture as a compactification divisor and working in the relative Fukaya category F(T1,{s}); a bounding cochain b = Σ t_i \bar{w}_i deforms the A∞-structure, and the flat family of algebras is the deformed endomorphism algebra ($hom^{0}$(K,K), m^b_2). The computation is carried by the hidden A∞-algebra of the immersed Lagrangian together with visible holomorphic polygons, which encode the rectangle combinatorics of the Young diagram.

What would settle it

Compute the endomorphism algebra of the Kawamata Lagrangian K_{$n^{2}$,nq-1} with the bounding cochain of Lemma 4.1 for a case not worked out in the paper (for example n=6, q=1) purely from the holomorphic-polygon counts of Section 3, and compare the resulting k[t]-algebra with the matrix order built independently from Kawamata's algebraic construction; any mismatch in the multiplication table or in flatness over k[t] would falsify Theorem 1.10.

Watch

Extended reading notes

Core claim

The central discovery is an explicit correspondence between algebraic deformations and symplectic data: the endomorphism algebra of the Kawamata Lagrangian K_{$n^{2}$,nq-1} endowed with the specific bounding cochain b of Lemma 4.1 in the relative Fukaya category F(T1,{s}) is isomorphic to the matrix order R_{$n^{2}$,nq-1} that absorbs the Q-Gorenstein smoothing of the Wahl singularity 1/$n^{2}$(1,nq-1). This yields Theorem 1.10, an explicit k[t]-basis {w_i}_{i∈Z_{$n^{2}$}} and an embedding R ↪ Mat_n(k[t]) with matrix entries given by a closed formula. Alongside, the paper proves that the Kalck-Karmazyn algebra R_{r,a} has basis w_i indexed by Z_r with product w_j w_i = w_{j+i} exactly when a rectangle condition in a Young diagram is met, and that the flat deformation locus $Def^{0}$_{F_E/E} is cut out by the entries of an explicitly computed skew-symmetric matrix D.

Load-bearing premise

The argument rests on the claim, stated without proof in the paper, that the relative Fukaya category of the once-punctured torus with one compactification divisor is equivalent to the perfect derived category of the family of nodal genus-one curves; if this quasi-equivalence fails, the bounding-cochain computations would not describe the intended algebraic deformations.

Editorial extensions

If this is right

  • For every Wahl singularity 1/n^2(1,nq-1), the matrix order absorbing its Q-Gorenstein smoothing can be written down explicitly from Theorem 1.10, with an embedding into Mat_n(k[t]) ready for computer implementation.
  • The Kalck-Karmazyn algebra R_{r,a} acquires a closed multiplication rule (basis w_i, product w_j w_i = w_{j+i} when the rectangle condition holds), parametrized entirely by the inverse b of a modulo r.
  • The subscheme Def^0_{F_E/E} deforming the restriction of the Kawamata bundle while preserving the dimension of its endomorphism algebra is the vanishing locus of an explicit skew-symmetric matrix D, so flat deformations of R_{r,a} are computable in examples.
  • If Conjecture 1.9 holds, all deformations of R_{r,a} that are captured by bundle deformations come from deformations of the ambient surface W, matching the irreducible components of the Kollár-Shepherd-Barron correspondence.
  • The order of Theorem 1.10 extends to P^1 with the fiber at infinity also isomorphic to R_{n^2,nq-1}, giving a full compactification of the deformation.

Reading between the lines

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

  • The approach suggests a general recipe: whenever a categorical absorption is defined by an endomorphism algebra of a vector bundle on a genus-one fibration, the mirror Lagrangian with a bounding cochain should yield an explicit presentation of the flat family; testing this on other cyclic quotient singularities with multiple smoothing components would show how far the method extends.
  • The rectangle and Young-diagram rule for the multiplication table hints that Kalck-Karmazyn algebras form a combinatorial family that might be studied without reference to singularities, possibly connecting to lattice-path or cluster-algebra structures.
  • The unproved quasi-equivalence (10) is the main technical risk to the mirror-symmetry identification; if it is established, the same framework would give explicit deformations for all components of the versal deformation space, not just the Q-Gorenstein one.
  • A direct check of the formula of Theorem 1.10 for a new pair (n,q) by independent algebraic construction would provide strong evidence for the mirror-symmetry identification, and a mismatch would locate the failure precisely.
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

3 major / 6 minor

Summary. The paper develops a mirror-symmetry approach to deformations of Kalck–Karmazyn algebras associated to cyclic quotient surface singularities. It constructs an immersed Kawamata Lagrangian K_{r,a} in the two-punctured torus mirror to the Kawamata vector bundle, computes its endomorphism A∞-algebra (Theorem 3.4), and uses bounding cochains in the relative Fukaya category F(T1,{s}) to describe the locus Def^0_{F_E/E} and the flat deformations of the Kalck–Karmazyn algebra. For Wahl singularities, an explicit bounding cochain is shown to yield a flat deformation R_b, which is then embedded into Mat_n(k[t]) via an action on Hom(K_b,H); this yields the explicit matrix order in Theorem 1.10 and its extension to P^1 in Proposition 1.11. The paper also gives a new multiplication table for R_{r,a} and reports computational verification of Conjecture 1.9 for r≤32.

Significance. If correct, this is a substantial advance: it gives the first explicit computation of Kawamata's matrix order for all Wahl singularities, illustrates a general method for using homological mirror symmetry to compute categorical absorption algebras, and makes concrete predictions about deformation spaces that can be checked computationally. The authors are careful to separate proven statements from conjectures, and the paper contains explicit worked examples and a computer implementation for the deformation computations. However, the central argument currently rests on an unproved extension of a mirror-symmetry theorem and on A∞ computations that are only carried out in full for r=2, so the significance is conditional pending those gaps.

major comments (3)
  1. [§3, Eq. (10)] The quasi-equivalence F(T1,{s}) ≃ Perf(E) over B is asserted with the comment that the techniques from [16, Theorem A] apply directly. This is not a formal consequence of [16], because [16] treats a compact torus relative to two marked points and a two-parameter Tate family; obtaining the once-punctured relative category and the t2=0 family requires checking that the relative A∞ operations remain defined after removing one marked point and that the quasi-equivalence is compatible with the reduction. Since every bounding-cochain computation in Sections 3 and 4, and hence the identification of R_b with End(F|E) in Lemma 4.7, takes place in F(T1,{s}), the statement needs either a proof or a precise reference that covers this specialization. This is the main load-bearing gap.
  2. [§3, Theorem 3.4 and Corollary 3.5] The A∞ algebra of K_{r,a} is stated for all r and a, but the proof computes only the case r=2 and says the general case is similar; Corollary 3.5 then summarizes all differential and product contributions in Figure 14. This is a problem because the matrix D and the subscheme Def^0_{F_E/E} are defined from those contributions, and Lemma 4.1 later relies on cancellations among them. Please provide the general computation, at least as a reproducible computer-verified derivation with explicit sign conventions, or state precisely which contributions are being asserted and prove or verify them. A proof-by-figure for arbitrary r is not sufficient for a paper whose central output is explicit formulas.
  3. [§4, Lemma 4.1 and Eq. (15)] The bounding cochain locus is introduced as ad hoc, and the proof that it lies in Def^0 uses a geometric cancellation of pairs of rectangles. The argument contains several steps justified by 'obviously' and 'straightforward' and by Figures 16–17; in particular the reduction to x,y≤n and the verification of Equation (15) are not fully formal about all possible signs and about the exceptional cases where [⋅]=0 and an extra n^2 is added. Since this lemma controls flatness of R_b and all matrix entries of Theorem 1.10, it needs a complete sign-checked proof or an accompanying verified computation.
minor comments (6)
  1. [§3, before Corollary 3.7] The paragraph begins 'Legtus analyze the vanishing locus'; this should be 'Let us analyze'.
  2. [§3, first paragraph] The sentence 'In Theorem 3, we found the mirror Lagrangian' should refer to Theorem 2.4 rather than an unnamed 'Theorem 3'.
  3. [§3, Example 3.9] The displayed presentation of the deformed algebra ends with a trailing '+' and an unresolved line break; please fix the typesetting of the relations.
  4. [§3, Example 3.10] The text writes 'Kalck–Karamazyn algebra'; the name should be 'Kalck–Karmazyn'.
  5. [§3, Reference [19]] The computer code is described as 'available upon request'; for reproducibility of the r≤32 verification and the examples in 3.11 and 3.12, the code should be archived in a public repository with a persistent identifier.
  6. [§3, Figure 14] The notation in Figure 14 is not fully explained in the text; in particular the colors, dots, and the replacement of s by s(1−t0) in Corollary 3.5 deserve a short gloss so the reader can extract the matrix D without reconstructing the whole A∞ computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.10 is computed from polygon counts inside a proven mirror equivalence; the asserted extension (10) is a proof gap, not a circular reduction.

full rationale

The derivation chain is not circular. The paper computes Kawamata's matrix order by (i) invoking the proven homological mirror symmetry quasi-equivalence F(Tn) ≃ Perf(En) from [16] and [17] to identify the Kalck–Karmazyn algebra with End(Kr,a); (ii) computing the A∞-algebra of Kr,a and its bounding-cochain deformations in the relative Fukaya category from explicit polygon counts (Theorem 3.4, Corollary 3.5); and (iii) proving in Lemmas 4.4–4.7, using the external Kawamata splitting Ft ≅ H_t^⊕n and the Burban stability criterion, that the chosen bounding-cochain object corresponds to the restriction F|E of the Kawamata vector bundle. The matrix entries in Theorem 1.10 are outputs of the computation in Lemma 4.6, not inputs defining the deformation. The bounding cochain in Lemma 4.1 is described as 'ad hoc,' but its correctness is verified by an independent object-level comparison (Hom(K_b,H), Lemma 4.5, Lemma 4.7), not assumed. The one load-bearing assertion that is not proved in the paper is the quasi-equivalence (10), obtained by specializing [16, Theorem A] from two compactifying points to one marked point and one puncture; the paper states that the techniques apply directly. This is a correctness risk or proof gap, not circularity, because (10) is not equivalent by construction to the theorem being proved and no parameter that is fitted to the output is later renamed as a prediction. Self-citations [16], [17], [19], and [24] are to proven theorems, published work, or auxiliary code; [24] is used for deformation-theoretic context rather than to force the explicit formula, and the central mirror-symmetry input [16] is an established external result.

Assumptions & free parameters 1 free parameters · 5 assumptions · 2 invented entities

The central claim rests on a tower of prior theorems: mirror symmetry for punctured tori, existence of the Kawamata bundle, and Kawamata's splitting of its restriction on the smooth fiber. The only genuinely new input is the choice of an immersed Lagrangian with a bounding cochain, which is verified a posteriori.

free parameters (1)
  • Bounding cochain coefficients t_i = s = t^n, t_{nr} = t^r for r=1..n-1, t_i=0 otherwise (Lemma 4.1)
    The paper calls this locus of bounding cochains ad hoc. It is chosen so that the deformed endomorphism algebra has constant rank r and matches the known base change s=t^n of the Q-Gorenstein smoothing of the Wahl singularity.
assumptions (5)
  • standard math Homological mirror symmetry F(T_n) approx Perf(E_n) for the n-punctured torus
    Invoked in equation (2) and throughout; proven in [16] and [17] with an explicit quasi-equivalence.
  • domain assumption Relative mirror symmetry F(T1,{s}) approx Perf(E) for the once-punctured torus with one compactification divisor
    Stated in equation (10); the paper says the techniques of [16] apply directly but does not prove this extension here. This is the load-bearing bridge from symplectic to algebraic deformations.
  • standard math Existence, local freeness, and Ext^k(F,F)=0 for the Kawamata vector bundle
    Used in Lemma 2.2 to reduce End(F) to End(F|E); results of Karmazyn-Kuznetsov-Shinder [11].
  • standard math Kawamata's splitting F_t isomorphic to H^{direct sum n}_t on the general fiber of a Q-Gorenstein smoothing
    Used in Lemmas 4.4 and 4.7 to identify the Hacking vector bundle; from Kawamata [13], equation (13).
  • standard math Stability and simplicity criteria for vector bundles on a nodal curve
    Used in Lemma 4.4 to conclude H_s is isomorphic to H|E_s; from Burban [3].
invented entities (2)
  • Kawamata Lagrangian K_{r,a}
    purpose: Mirror object of the Kawamata vector bundle F|E; its endomorphism algebra in the relative Fukaya category gives the deformed Kalck-Karmazyn algebra.
    Defined via mirror symmetry in Definition 1.2; its consistency is checked by recovering the known algebra R_{r,a}, but there is no external falsifiable prediction independent of the mirror correspondence.
  • Hacking Lagrangian H_{n,q}
    purpose: Mirror of the Hacking vector bundle H on the general fiber; used to identify K_b with the restriction of the Kawamata bundle.
    Introduced in Definition 4.3 with a local system of monodromy s^{-1}; its identification with H is proven using mirror symmetry and the splitting (13), not by an outside observable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Deformations of Kalck--Karmazyn algebras via Mirror Symmetry." pith.science (2026). https://pith.science/paper/HJBXQOFS

@misc{pith2026241209724,
  author       = {Pith},
  title        = {Pith review of: Deformations of Kalck--Karmazyn algebras via Mirror Symmetry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HJBXQOFS}},
  note         = {Machine review of arXiv:2412.09724}
}
abstract

As observed by Kawamata, a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity gives rise to a one-parameter flat degeneration of a matrix algebra. A similar result holds for a general smoothing of any two-dimensional cyclic quotient singularity, where the matrix algebra is replaced by a hereditary algebra. From a categorical perspective, these one-parameter families of finite-dimensional algebras "absorb" the singularities of the threefold total spaces of smoothings. These results were established using abstract methods of birational geometry, making the explicit computation of the family of algebras challenging. Using mirror symmetry for genus-one fibrations, we identify a remarkable immersed Lagrangian with a bounding cochain in the punctured torus. The endomorphism algebra of this Lagrangian in the relative Fukaya category corresponds to this flat family of algebras. This enables us to compute Kawamata's matrix order explicitly.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Categorical absorptions of cone singularities

    math.AG 2026-07 conditional novelty 7.0 of 10

    For anticanonical cones over many Fano varieties, the derived category decomposes as a finite-dimensional algebra component together with two line bundles, and the algebra is explicitly a truncation of a Calabi-Yau co...

  2. Categorical absorption for hereditary orders

    math.AG 2025-05 conditional novelty 6.0 of 10

    A hereditary order on a curve is shown to admit a strong C-linear semiorthogonal decomposition obtained from the deformation absorption of singularities in its fiber over a ramified point.

Reference graph

Works this paper leans on

26 extracted references · 24 canonical work pages · cited by 2 Pith papers

  1. [19]

    Lekili, J

    Y. Lekili, J. Tevelev, Computer code implementation of Corollary 3.5, available upon request

    work page

  2. [16]

    Lekili, A

    Y. Lekili, A. Polishchuk, Arithmetic mirror symmetry for genus 1 curves with n marked points, Selecta Mathematica 23 (2017), 1851–1907

    work page 2017

  3. [1]

    Abouzaid, On the Fukaya Categories of Higher Genus Surfaces, Adv

    M. Abouzaid, On the Fukaya Categories of Higher Genus Surfaces, Adv. in Math.217 (2008), 1192–1235

    work page 2008

  4. [2]

    Behnke, J.A

    K. Behnke, J.A. Christophersen, M-Resolutions and Deformations of Quotient Singularities, American Journal of Mathematics 116 (1994), 881–903

    work page 1994

  5. [3]

    Burban, Stable Bundles on a Rational Curve with One Simple Double Point, Ukrainian Mathematical Journal 55 (2003), 1043–1053

    I.I. Burban, Stable Bundles on a Rational Curve with One Simple Double Point, Ukrainian Mathematical Journal 55 (2003), 1043–1053

    work page 2003

  6. [4]

    Buchweitz, Maximal Cohen-Macaulay modules and Tate cohomology, Mathematical Surveys and Monographs, AMS, Providence, RI, 2021, vol

    R.-O. Buchweitz, Maximal Cohen-Macaulay modules and Tate cohomology, Mathematical Surveys and Monographs, AMS, Providence, RI, 2021, vol. 262, pp. xii+175

    work page 2021

  7. [5]

    Fukaya, Y.-G

    K. Fukaya, Y.-G. Oh, H. Ohta, K. Ono, Lagrangian intersection Floer theory: anomaly and obstruction, Part I, American Mathematical Society, 2010

    work page 2010

  8. [6]

    Hacking,Exceptional bundles associated to degenerations of surfaces, Duke Math

    P . Hacking,Exceptional bundles associated to degenerations of surfaces, Duke Math. Journal 162 (2013), 1171–1202

    work page 2013

Show all 26 references
  1. [7]

    Hacking, J

    P . Hacking, J. Tevelev, G. Urz´ua, Flipping surfaces, J. Alg. Geom. 26 (2017), 279–345

    2017

  2. [8]

    Hille, D

    L. Hille, D. Ploog, Tilting chains of negative curves on rational surfaces , Nagoya Math. Journal 235 (2019), 26–41

    2019

  3. [9]

    Kalck, J

    M. Kalck, J. Karmazyn, Non-commutative Kn¨ orrer type equivalences via non-commutative resolutions of singularities, arXiv:1707.02836

    arXiv

  4. [10]

    Kalck, J

    M. Kalck, J. Karmazyn, Ringel duality for certain strongly quasi-hereditary algebras, European Journal of Mathematics 4, (2018), 1100–1140

    2018

  5. [11]

    Karmazyn, A

    J. Karmazyn, A. Kuznetsov, E. Shinder, Derived categories of singular surfaces, J. Eur. Math. Soc. 24, (2022) 461–526

    2022

  6. [12]

    Kawamata, On multi-pointed non-commutative deformations and Calabi–Yau threefolds, Compositio Mathematica, 154 (2018), 1815–1842

    Y. Kawamata, On multi-pointed non-commutative deformations and Calabi–Yau threefolds, Compositio Mathematica, 154 (2018), 1815–1842

    2018

  7. [13]

    Kawamata, Semi-orthogonal decomposition and smoothing, J

    Y. Kawamata, Semi-orthogonal decomposition and smoothing, J. Math. Sci. U. Tokyo,31 (2024), 127-185

    2024

  8. [14]

    Koll ´ar, N.I

    J. Koll ´ar, N.I. Shepherd-Barron, Threefolds and deformations of surface singularities, Invent. Math., 91 (1988), 299–338

    1988

  9. [15]

    Kuznetsov, E

    A. Kuznetsov, E. Shinder, Categorical absorptions of singularities and degenerations , ´Epijournal de G´eom´etrie Alg´ebrique (2024)

    2024

  10. [17]

    Lekili, A

    Y. Lekili, A. Polishchuk, Auslander orders over nodal stacky curves and partially wrapped Fukaya cate- gories, Journal of Topology 11 (2018), 615–644

    2018

  11. [18]

    Lekili, T

    Y. Lekili, T. Perutz, Fukaya categories of the torus and Dehn surgery, PNAS 108 (2011), 8106–8113

    2011

  12. [20]

    Orlov, Triangulated categories of singularities and D-branes in Landau-Ginzburg models , Algebraic geometry: Methods, relations, and applications, Tr

    D. Orlov, Triangulated categories of singularities and D-branes in Landau-Ginzburg models , Algebraic geometry: Methods, relations, and applications, Tr. Mat. Inst. Steklova 246 (2004), 240–262

    2004

  13. [21]

    H. C. Pinkham, Deformations of algebraic varieties withGm action, Ast´erisque, Soci´et´e math´ematique de France, 20 (1974)

    1974

  14. [22]

    Seidel,Homological mirror symmetry for the genus two curve, J

    P . Seidel,Homological mirror symmetry for the genus two curve, J. Alg. Geom. 20 (2011), 727–769 28 YANKI LEKILI AND JENIA TEVELEV

    2011

  15. [23]

    Seidel, Fukaya categories and Picard–Lefschetz theory , European Mathematical Society (EMS), Z ¨urich, 2008, vii+326 pp

    P . Seidel, Fukaya categories and Picard–Lefschetz theory , European Mathematical Society (EMS), Z ¨urich, 2008, vii+326 pp

    2008

  16. [24]

    Tevelev, G

    J. Tevelev, G. Urz ´ua, Categorical aspects of the Koll´ ar–Shepherd-Barron correspondence, 2022, 44 pp., arXiv:2204.13225

    2022 arXiv

  17. [25]

    Wunram, Reflexive modules on cyclic quotient surface singularities, LNM 1273 (1987)

    J. Wunram, Reflexive modules on cyclic quotient surface singularities, LNM 1273 (1987)

    1987

  18. [26]

    J.P . Z ´u˜niga, Program to compute all M-resolutions and N-resolutions of a cyclic quotient singular- ity (2022), https://colab.research.google.com/drive/19aOVSpunJPOiY4TTCvt8Q5D2KQOr8_ t7?usp=sharing DEPARTMENT OF MATHEMATICS , I MPERIAL COLLEGE , LONDON , UK Email address: ...

    2022

Pith tools

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