On the radius of the category of extensions of matrix factorizations
Pith reviewed 2026-05-24 19:53 UTC · model grok-4.3
The pith
The radius of the category of extensions of matrix factorizations over a quotient ring yields an upper bound for the Rouquier dimension of the singularity category of a local hypersurface of dimension one.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The extensions of matrix factorizations of the non-zerodivisors x1,...,xn form a full subcategory of finitely generated modules over S/(x1⋯xn) whose radius can be bounded, and this radius supplies an upper bound for the dimension of the singularity category of a local hypersurface of dimension one.
What carries the argument
The radius, in the sense of Dao and Takahashi, of the full subcategory consisting of extensions of matrix factorizations of non-zerodivisors.
If this is right
- The Rouquier dimension of the singularity category is at most the radius of the extension subcategory.
- For any local hypersurface of dimension one the dimension is bounded above by a quantity derived from the radius.
- The bound improves on the estimate given by Kawasaki, Nakamura and Shimada.
- The radius computation applies uniformly to any commutative noetherian ring S and any choice of non-zerodivisors.
Where Pith is reading between the lines
- The same radius technique might produce explicit numerical bounds when S is a regular local ring and the xi are a regular sequence.
- Concrete matrix factorization examples could be used to test whether the bound is attained for specific hypersurface rings.
- The method may connect the radius invariant to other measures of complexity in the stable category of maximal Cohen-Macaulay modules.
Load-bearing premise
The extensions of matrix factorizations of the non-zerodivisors form a full subcategory of finitely generated modules over the quotient ring whose radius can be computed and transferred to the singularity category.
What would settle it
An explicit local hypersurface ring of dimension one whose singularity category has Rouquier dimension strictly larger than the upper bound obtained from the radius of the corresponding extension category.
read the original abstract
Let $S$ be a commutative noetherian ring. The extensions of matrix factorizations of non-zerodivisors $x_1,\dots,x_n$ of $S$ form a full subcategory of finitely generated modules over the quotient ring $S/(x_1\cdots x_n)$. In this paper, we investigate the radius (in the sense of Dao and Takahashi) of this full subcategory. As an application, we obtain an upper bound of the dimension (in the sense of Rouquier) of the singularity category of a local hypersurface of dimension one, which refines a recent result of Kawasaki, Nakamura and Shimada.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper shows that extensions of matrix factorizations of non-zerodivisors x1,...,xn of a commutative noetherian ring S form a full subcategory of finitely generated modules over S/(x1⋯xn). It computes the Dao-Takahashi radius of this subcategory and applies the result to obtain an upper bound on the Rouquier dimension of the singularity category of a 1-dimensional local hypersurface, refining a result of Kawasaki, Nakamura and Shimada.
Significance. If the radius computation and transfer to the singularity category are valid, the paper supplies a concrete upper bound that refines prior work on Rouquier dimensions for hypersurface singularities. Such bounds are of interest in commutative algebra because they control the generation of singularity categories by matrix factorizations. The approach via Dao-Takahashi radius is a standard tool in the area and the explicit construction of the subcategory is clearly stated in the abstract.
minor comments (3)
- The abstract states that the radius computation is transferred to the singularity category, but the precise functor or equivalence used for the transfer should be named in the introduction or §2 so that readers can verify independence from the cited Kawasaki-Nakamura-Shimada construction.
- Clarify whether the new upper bound is strictly smaller than the Kawasaki-Nakamura-Shimada bound for the same class of rings or whether the improvement lies only in the method of proof.
- The notation 'radius (in the sense of Dao and Takahashi)' and 'dimension (in the sense of Rouquier)' should be accompanied by a one-sentence reminder of the definitions (or a reference to the exact statements) to avoid any ambiguity with other notions of dimension in the literature.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the positive assessment. The recommendation for minor revision is noted. No specific major comments appear in the report, so we have no point-by-point responses to provide at this stage. We are prepared to incorporate any minor editorial or typographical corrections in the revised version.
Circularity Check
No significant circularity identified
full rationale
The paper defines the subcategory of extensions of matrix factorizations of non-zerodivisors x1,...,xn over S/(x1⋯xn), computes its Dao-Takahashi radius using explicit constructions, and transfers the resulting bound to the Rouquier dimension of the singularity category of a 1-dimensional local hypersurface. The abstract and skeptic analysis indicate reliance on standard properties of matrix factorizations and radii with no visible internal reduction of the radius calculation or transfer step to prior fitted values or self-citations. The cited refinement of Kawasaki-Nakamura-Shimada is an application of the new radius result rather than a load-bearing premise; the central derivation remains self-contained with independent content. No self-definitional, fitted-prediction, or uniqueness-imported steps are exhibited by the paper's own equations.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.