pith. sign in

arxiv: 2605.15878 · v1 · pith:UNT3W3KZnew · submitted 2026-05-15 · 🧮 math.AG · math.AC· math.RT

A category of graded matrix factorizations of a deformed polynomial associated to the A_(μ)-singularity

Tomoya Nakatani This is my paper

Pith reviewed 2026-05-19 19:43 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.RT
keywords graded matrix factorizationsA_mu-singularitystrongly exceptional collectiondeformed polynomialtriangulated categorysemi-universal deformationhomogenizationalgebraic geometry
0
0 comments X

The pith

The triangulated category of graded matrix factorizations of the deformed A_μ-singularity polynomial contains a full strongly exceptional collection for generic parameters.

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

The paper considers the category of graded matrix factorizations associated to a deformed version of the polynomial defining the A_μ-singularity. To handle the deformation, a formal variable is introduced to homogenize the polynomial while keeping a fixed parameter. The main result is the construction of a full strongly exceptional collection in this category when the parameter is generic. This matters because a strongly exceptional collection provides a basis-like structure for the triangulated category, allowing explicit computations of its properties.

Core claim

As the main result, we construct a full strongly exceptional collection in the category of graded matrix factorizations of the deformed polynomial associated to the A_μ-singularity for a generic parameter, after making the polynomial homogeneous by introducing a formal variable.

What carries the argument

The category of graded matrix factorizations of the homogenized deformed A_μ polynomial, which forms a triangulated category that admits a full strongly exceptional collection for generic parameters.

If this is right

  • The constructed collection generates the entire triangulated category.
  • Morphisms and extensions in the category can be read off from the endomorphism algebra of the collection.
  • The result applies specifically to the semi-universal deformation at generic parameter values.
  • The homogenization step ensures the polynomial is homogeneous so that the grading on matrix factorizations is well-defined.

Where Pith is reading between the lines

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

  • The same homogenization technique could be tested on deformations of other simple singularities to seek analogous collections.
  • The existence of the collection may simplify computations of the category's Grothendieck group or Hochschild homology.
  • Direct comparison of the collection before and after deformation could reveal how the parameter affects the structure of the category.

Load-bearing premise

The introduction of a formal variable to homogenize the deformed polynomial preserves the triangulated structure of the category of graded matrix factorizations.

What would settle it

A calculation for some generic parameter that shows the Hom spaces between candidate objects fail to satisfy the conditions for a full strongly exceptional collection would refute the main result.

Figures

Figures reproduced from arXiv: 2605.15878 by Tomoya Nakatani.

Figure 1
Figure 1. Figure 1: The AR quiver and the Serre functor describing the category HMFgr S (f). Classical mirror symmetry is formulated as an isomorphism between Frobenius structures arising from Gromov-Witten theory and deformation theory, respectively. It is expected that the HMS reproduces the classical mirror symmetry. More precisely, a caterory is believed to reproduce a Frobenius manifold as a space of deformations of the … view at source ↗
Figure 2
Figure 2. Figure 2: The structure of all graded matrix factorizations of rank 1 and the Serre functor. For a weighted homogeneous polynomial, the category of graded matrix factorizations is tri￾angulated equivalent to the category of graded maximal Cohen-Macaulay modules over the cor￾responding hypersurface. In [8], Iyama-R. Takahashi showed that categories of graded maximal [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
read the original abstract

We discuss a triangulated category of graded matrix factorizations of a deformed polynomial associated to the $A_{\mu}\textrm{-}$singularity. The semi-universal deformation of the $A_{\mu}\textrm{-}$singularity is given by a certain deformation of the polynomial of type $A_{\mu}$. In this paper, we consider the category of graded matrix factorizations associated to this deformed polynomial for a fixed parameter. To do so, we introduce a formal variable to make the polynomial homogeneous. As our main result, we construct a full strongly exceptional collection in this category for a generic parameter.

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

2 major / 2 minor

Summary. The paper defines a triangulated category of graded matrix factorizations for a deformed polynomial associated to the A_μ-singularity. A formal homogenizing variable is adjoined to restore homogeneity, and the main result is the construction of a full strongly exceptional collection in this category when the deformation parameter is generic.

Significance. If verified, the explicit construction supplies a concrete full strongly exceptional collection in a graded matrix-factorization category attached to a deformed A-type singularity. Such collections are useful for computing Ext groups and for derived equivalences in the context of Landau-Ginzburg models; the paper’s direct construction is therefore a tangible contribution to the literature on singularity categories.

major comments (2)
  1. [§2.3] §2.3 (Definition of the graded MF category after adjoining t): the text does not supply a verification that the new grading group and the resulting degree-zero morphisms preserve the triangulated structure or that the category remains equivalent (or Morita-equivalent) to the usual matrix-factorization category of the non-homogenized deformed polynomial. This equivalence is load-bearing for transferring the fullness statement.
  2. [Theorem 4.1] Theorem 4.1 (fullness for generic parameter): the argument that the constructed collection generates the whole category under the generic assumption appears to rest on a dimension count of Hom spaces, but it is not shown that the extra grading introduced by t does not create additional morphisms that would violate fullness for every generic value of the deformation parameter.
minor comments (2)
  1. [Introduction] The specific form of the semi-universal deformation polynomial is stated only in the introduction; repeating the explicit equation in §2 would improve readability.
  2. [§2.1] Notation for the grading group and the action of the formal variable t is introduced in §2.1 but used inconsistently in later sections; a single consolidated table of degrees would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§2.3] §2.3 (Definition of the graded MF category after adjoining t): the text does not supply a verification that the new grading group and the resulting degree-zero morphisms preserve the triangulated structure or that the category remains equivalent (or Morita-equivalent) to the usual matrix-factorization category of the non-homogenized deformed polynomial. This equivalence is load-bearing for transferring the fullness statement.

    Authors: We agree that an explicit verification of the triangulated structure and the equivalence after adjoining the homogenizing variable t is missing from §2.3. In the revised manuscript we will add a detailed argument showing that the new grading group and the degree-zero morphisms preserve the triangulated structure. We will construct an explicit equivalence functor to the standard (non-graded) matrix-factorization category of the deformed polynomial and verify that it commutes with shifts and cones, thereby justifying the transfer of the fullness statement. revision: yes

  2. Referee: [Theorem 4.1] Theorem 4.1 (fullness for generic parameter): the argument that the constructed collection generates the whole category under the generic assumption appears to rest on a dimension count of Hom spaces, but it is not shown that the extra grading introduced by t does not create additional morphisms that would violate fullness for every generic value of the deformation parameter.

    Authors: The proof of Theorem 4.1 performs the dimension count directly in the graded Hom spaces. We maintain that, for generic values of the deformation parameter, the degree-zero condition together with the genericity assumption prevents the t-grading from introducing extra morphisms beyond those counted. To make this rigorous we will insert a short lemma (or expanded remark) immediately before Theorem 4.1 that shows the graded Hom spaces coincide with the expected ungraded dimensions for generic parameters, thereby confirming that fullness holds uniformly for every generic value. revision: yes

Circularity Check

0 steps flagged

No circularity; direct construction of exceptional collection

full rationale

The paper presents a direct mathematical construction: it defines the category of graded matrix factorizations for the homogenized deformed polynomial associated to the A_μ-singularity by adjoining a formal variable, then explicitly constructs a full strongly exceptional collection for generic parameters as the main result. This does not reduce any claimed prediction or theorem to its own inputs by construction, fitted parameters, or load-bearing self-citations. The provided abstract and setup describe an independent definition followed by a construction, with no equations or steps that equate the output to the input tautologically. The paper is self-contained as a category-theoretic construction in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review based solely on abstract; no explicit free parameters, axioms, or invented entities are identifiable. The work appears to rely on standard background in triangulated categories and matrix factorizations without introducing new postulates visible here.

pith-pipeline@v0.9.0 · 5631 in / 1193 out tokens · 34828 ms · 2026-05-19T19:43:59.293065+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    Maximally-graded matrix factorizations for an invertible polynomial of chain type.Advances in Mathematics, 373:107320, 2020

    Daisuke Aramaki and Atsushi Takahashi. Maximally-graded matrix factorizations for an invertible polynomial of chain type.Advances in Mathematics, 373:107320, 2020

    work page 2020

  2. [2]

    A. I. Bondal. Representation of associative algebras and coherent sheaves.Math. USSR-Izv., 34(1):23–42, 1990

    work page 1990

  3. [3]

    Representable functors, serre functors, and mutations.Mathematics of the USSR-Izvestiya, 35(3):519–541, 1990

    Alexei I Bondal and Mikhail M Kapranov. Representable functors, serre functors, and mutations.Mathematics of the USSR-Izvestiya, 35(3):519–541, 1990

    work page 1990

  4. [4]

    Compact generators in categories of matrix factorizations.Duke Math

    Tobias Dyckerhoff. Compact generators in categories of matrix factorizations.Duke Math. J., 159(2):223–274, 2011

    work page 2011

  5. [5]

    Homological algebra on a complete intersection, with an application to group representations

    David Eisenbud. Homological algebra on a complete intersection, with an application to group representations. Transactions of the American Mathematical Society, 260(1):35–64, 1980

    work page 1980

  6. [6]

    Cambridge University Press, 1988

    Dieter Happel.Triangulated categories in the representation of finite dimensional algebras, volume 119. Cambridge University Press, 1988

    work page 1988

  7. [7]

    F-term equations near gepner points.Journal of High Energy Physics, 2005(01):008–008, 2005

    Kentaro Hori and Johannes Walcher. F-term equations near gepner points.Journal of High Energy Physics, 2005(01):008–008, 2005

    work page 2005

  8. [8]

    Tilting and cluster tilting for quotient singularities.Mathematische Annalen, 356(3):1065–1105, 2013

    Osamu Iyama and Ryo Takahashi. Tilting and cluster tilting for quotient singularities.Mathematische Annalen, 356(3):1065–1105, 2013

    work page 2013

  9. [9]

    Matrix factorizations and representations of quivers II: type ADE case.Advances in mathematics, 211(1):327–362, 2007

    Hiroshige Kajiura, Kyoji Saito, and Atsushi Takahashi. Matrix factorizations and representations of quivers II: type ADE case.Advances in mathematics, 211(1):327–362, 2007

    work page 2007

  10. [10]

    Triangulated categories of matrix factorizations for regular systems of weights withε=- 1.Advances in Mathematics, 220(5):1602–1654, 2009

    Hiroshige Kajiura, Kyoji Saito, and Atsushi Takahashi. Triangulated categories of matrix factorizations for regular systems of weights withε=- 1.Advances in Mathematics, 220(5):1602–1654, 2009

    work page 2009

  11. [11]

    Topological Correlators in Landau-Ginzburg Models with Boundaries.Advances in Theoretical and Mathematical Physics, 7(4):727 – 749, 2003

    Anton Kapustin and Yi Li. Topological Correlators in Landau-Ginzburg Models with Boundaries.Advances in Theoretical and Mathematical Physics, 7(4):727 – 749, 2003

    work page 2003

  12. [12]

    D-branes in landau-ginzburg models and algebraic geometry.Journal of High Energy Physics, 2003(12):005, feb 2004

    Anton Kapustin and Yi Li. D-branes in landau-ginzburg models and algebraic geometry.Journal of High Energy Physics, 2003(12):005, feb 2004

    work page 2003

  13. [13]

    On the versal deformation of a complex space with an isolated singularity

    Arnold Kas and Michael Schlessinger. On the versal deformation of a complex space with an isolated singularity. Mathematische Annalen, 196(1):23–29, 1972

    work page 1972

  14. [14]

    Cohen-macaulay modules on hypersurface singularities I.Invent

    Horst Kn¨ orrer. Cohen-macaulay modules on hypersurface singularities I.Invent. Math., 88:153–164, 1987

    work page 1987

  15. [15]

    Homological algebra of mirror symmetry

    Maxim Kontsevich. Homological algebra of mirror symmetry. In S. D. Chatterji, editor,Proceedings of the Inter- national Congress of Mathematicians, pages 120–139, Basel, 1995. Birkh¨ auser Basel

    work page 1995

  16. [16]

    Matsumura.Commutative Ring Theory

    H. Matsumura.Commutative Ring Theory. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1987

    work page 1987

  17. [17]

    Derived categories of coherent sheaves and triangulated categories of singularities.Algebra, Arith- metic, and Geometry: Volume II: In Honor of Yu

    Dmitri Orlov. Derived categories of coherent sheaves and triangulated categories of singularities.Algebra, Arith- metic, and Geometry: Volume II: In Honor of Yu. I. Manin, pages 503–531, 2009

    work page 2009

  18. [18]

    Matrix Factorizations and Representations of Quivers I

    Atsushi Takahashi. Matrix factorizations and representations of quivers i.arXiv preprint math/0506347, 2005

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  19. [19]

    Cambridge University Press, 1990

    Y¯ uji Yoshino.Maximal Cohen-Macaulay Modules over Cohen-Macaulay Rings, volume 146. Cambridge University Press, 1990. Department of Mathematics and Informatics, Graduate School of Science and Engineering, Chiba University, Yayoicho 1-33, Inage, Chiba, 263-8522 Japan. Email address:tnakatani@g.math.s.chiba-u.ac.jp

    work page 1990