Pith. sign in

REVIEW 1 major objections 4 minor 7 references

Nonexistence of phantom categories on very general noncommutative projective planes

T0 review · 1 major / 4 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 Very general noncommutative projective planes admit no phantom categories.

desk verdict The main theorem is likely true, but the proof has a real gap at the step invoking [HB05, Cor 4.3]: varying shifts allow non-standard autoequivalences like spherical twists. read the letter →

arxiv 2412.15913 v1 pith:VFW7Q54S submitted 2024-12-20 math.AG math.RA

Koshiro Murai This is my paper · ORCID
classification math.AGmath.RA MSC 14F0814H5216S3818G80
keywords phantomcategorynoncommutativeprojectiveplaneArtin-Schelterregularalgebrasphericalfunctorderivedellipticcurvesemiorthogonaldecomposition
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 proves that very general noncommutative projective planes—flat deformations of the projective plane as an abelian category—carry no phantom categories. A phantom category is a nontrivial admissible subcategory of a derived category with trivial Grothendieck group and Hochschild homology. The proof actually establishes more: no admissible subcategory with vanishing Grothendieck group exists in $D^b\mathrm{qgr}(A)$ for such a plane. This matters because phantom categories are known to exist on some rational surfaces, while the projective plane itself has none; the noncommutative setting is a new test of where phantoms can appear. The conclusion holds for the planes associated to a smooth elliptic curve and a translation of infinite order, which is the very general case.

What carries the argument

The load-bearing object is the spherical restriction functor $Lj^*: D^b\mathrm{qgr}(A) \to D^b\mathrm{coh}(E)$ from the noncommutative plane to its anti-canonical elliptic curve. The key identity is the exact triangle (2.19): for every admissible subcategory $\mathcal{B}$, there is a triangle $Lj^*\mathrm{pr}^R_{\mathcal{B}} j_*F \to F \to T(F) \to Lj^*\mathrm{pr}^R_{\mathcal{B}} j_*F[1]$, where $T$ is the spherical twist associated to the composition $\mathcal{B} \hookrightarrow D^b\mathrm{qgr}(A) \xrightarrow{Lj^*} D^b\mathrm{coh}(E)$. Because $Lj^*$ is spherical, $T$ is an autoequivalence of $D^b\mathrm{coh}(E)$, and the triangle compares the projection of $j_*F$ onto $\mathcal{B}$ with the twist of $F$. The proof combines this triangle with the spanning class $\{j_*\mathcal{O}_p\}$ and the countability of the exceptional support set to force $Lj^*\mathrm{pr}^R_{\mathcal{B}}j_*\mathcal{O}_p=0$.

What would settle it

For a three-dimensional AS-regular algebra with an infinite-order translation, exhibit a nonzero admissible subcategory $\mathcal{B}\subset D^b\mathrm{qgr}(A)$ with $K_0(\mathcal{B})=0$; the theorem predicts none exists. A more local check is to compute the twist triangle (2.19) for the right orthogonal of a partial exceptional collection and find a point $p$ outside the countable exceptional set where the morphism $\mathcal{O}_p \to T(\mathcal{O}_p)$ is zero, which would produce a nonzero $Lj^*\mathrm{pr}^R_{\mathcal{B}}j_*\mathcal{O}_p$.

Watch

Extended reading notes

Core claim

The central result is Theorem 3.12: if $A$ is a three-dimensional AS-regular quadratic algebra coming from a geometric triple $(E,\sigma,L)$ with $E$ a smooth elliptic curve and $\sigma$ a translation of infinite order, then $D^b\mathrm{qgr}(A)$ admits no phantom categories. In fact, for any semiorthogonal decomposition $D^b\mathrm{qgr}(A)=\langle \mathcal{A},\mathcal{B}\rangle$ with $K_0(\mathcal{B})=0$, the subcategory $\mathcal{B}$ is zero. The proof shows that every object $j_*\mathcal{O}_p$ lies in $\mathcal{A}$ by feeding the spherical restriction functor $Lj^*$ into the twist triangle, using the classifications of spherical objects and autoequivalences on the elliptic curve to force the spherical twist to act trivially on skyscraper sheaves outside a countable exceptional set. Since $\{j_*\mathcal{O}_p\}$ is a spanning class, this makes the right factor $\mathcal{B}$ vanish.

Load-bearing premise

The proof leans on the exact triangle (2.19), assembled in Appendix A from dg enhancements and a tilting object, and on the classifications of spherical objects and autoequivalences of the elliptic curve; if any of these structural inputs fails, the identification of the spherical twist with the identity on skyscraper sheaves would no longer follow.

Editorial extensions

If this is right

  • If the theorem is correct, then no phantom category can appear as a factor in any semiorthogonal decomposition of $D^b\mathrm{qgr}(A)$ for these very general noncommutative projective planes.
  • The stronger statement rules out every admissible subcategory with trivial Grothendieck group, so the obstruction is not about Hochschild homology but about $K_0$ itself.
  • The result provides a noncommutative counterpart to the known absence of phantoms on the projective plane and certain rational surfaces, showing the no-phantom property is stable under very general noncommutative deformation.
  • The proof isolates a countable exceptional subset of the anti-canonical curve; all skyscraper sheaves outside this set are controlled by the twist argument, which is why the 'very general' qualifier is natural.

Reading between the lines

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

  • The same two ingredients—a spanning class of skyscraper sheaves and countability of an exceptional support set—might be looked for in higher-dimensional noncommutative projective spaces; if they can be found, the no-phantom conclusion would likely extend there.
  • The theorem suggests that phantom categories on rational surfaces arise from commutative blow-up geometry rather than from noncommutative deformation; a natural test is to search for phantoms on blow-ups of noncommutative planes at points on the anti-canonical divisor.
  • Because the proof uses only $K_0(\mathcal{B})=0$ and not the full phantom condition, the same argument may also rule out other 'small' admissible subcategories once their $K_0$ is torsion rather than zero, although the current triangle argument would need modification.
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

1 major / 4 minor

Summary. The paper proves Theorem 1.3 (= Theorem 3.12): if A is a three-dimensional Artin–Schelter regular quadratic algebra associated to a geometric triple (E, σ, L), with E a nonsingular elliptic curve and σ a translation of infinite order, then the derived category D^b qgr(A) admits no phantom categories. In fact, the proof aims to show the stronger statement that every admissible subcategory B with K0(B) = 0 is trivial. The strategy follows the commutative arguments of Pirozhkov and Borisov–Kemboi: one proves that the objects {j^*O_p}_{p∈E} form a spanning class, studies the restricted functor Lj^*, uses the spherical twist associated to an admissible subcategory, and derives a contradiction from the existence of a point outside the countable exceptional set E_sp.

Significance. If the proof is correct, the result is a meaningful noncommutative analogue of the nonexistence of phantoms on del Pezzo surfaces and on certain non-generic blow-ups of P^2, and it gives evidence for Conjecture 1.4. The paper is clearly written, gives full background, and contains a substantial appendix (Proposition A.4) that supplies the dg-enhanced spherical-twist triangle needed in the main argument. The main theorem is also stronger than the stated phantom nonexistence, since it rules out all admissible subcategories with vanishing Grothendieck group. However, the proof as written contains a central gap in the classification step for the twist functor T, so the significance is currently conditional on repairing that step.

major comments (1)
  1. [§3.3, Eq. (3.24)] The inference from (3.23) to (3.24) is not justified. The paper applies [HB05, Corollary 4.3] to conclude that an autoequivalence T of D^b(E) sending every skyscraper sheaf to a shift of a skyscraper sheaf must be of the form ρ_*(-⊗L)[n]. The cited classification requires the shift to be independent of the point (or to be absent altogether), but the paper has only established C_p ≅ O_p[2a_p] with a_p possibly depending on p. This distinction is essential: on an elliptic curve, the square of the spherical twist at O_p is an autoequivalence satisfying T^2(O_p) ≅ O_p[2] and T^2(O_q) ≅ O_q for q≠p, so it sends skyscrapers to skyscrapers up to shift, preserves all K0 classes, and is not of the form ρ_*(-⊗L)[n]. Since the subsequent claims ρ = id, n = 0, L ≅ O_E, and the kernel morphism id → T being an isomorphism all rely on (3.24), Theorem 3.12 is not established unless constancy of a_p is proved or an alternative argument replacing this classification step is supplied.
minor comments (4)
  1. [Section 3 header] The section title contains the typo “Maim theorem”; it should read “Main theorem”.
  2. [§2.2.1] “three dimentional” should be “three dimensional”.
  3. [Eq. (2.16)] “quadchotomy” is not standard English; consider “four-way classification” or “quadrichotomy”.
  4. [Abstract] “n ot” in the abstract should be “not”.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the proof is self-contained and all load-bearing inputs are independent external theorems.

full rationale

The paper's derivation chain does not reduce any conclusion to its own inputs. Theorem 1.3 is proved as Theorem 3.12 by showing that an admissible subcategory B with K0(B) = 0 must be trivial. The key inputs are: Proposition 3.3, which establishes a spanning class using Artin–Tate–Van den Bergh's results on modules over AS-regular algebras; Corollary 2.33, whose exact triangle is proved in Appendix A from a tilting object, dg enhancements, and Toën's Morita theory; Addington's spherical twist formalism; Burban–Kreussler's classification of spherical objects on elliptic curves; and Hille–Van den Bergh's classification of autoequivalences. None of these is a restatement of the theorem, and none is justified by a citation to the present author's work. The auxiliary set E_sp is defined merely to identify exceptional support points, and Proposition 3.11 derives that E \ E_sp is nonempty from previous lemmas rather than assuming it. The final argument uses the exact triangle (2.19), the vanishing of K0(B), and the countability of E_sp to conclude Lj^*B_p = 0 and hence B_p = 0; this is a genuine derivation, not a fitted parameter renamed as a prediction. The skeptical concern about whether [HB05, Corollary 4.3] applies when the shift depends on the point is a mathematical correctness issue about an external cited theorem, not circularity, since the paper does not assume the classification it cites. Therefore the appropriate circularity score is 0.

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

No data fitting, no ad hoc constants, and no invented physical or geometric entities. The assumptions E smooth and sigma an infinite-order translation are hypotheses of the theorem, not fitted parameters. All listed axioms are either stated setup conditions or standard theorems quoted from independent literature.

assumptions (9)
  • domain assumption Base field k is algebraically closed of characteristic zero.
    Stated in Section 2.2; the classification of AS-regular algebras and elliptic-curve facts are over such fields.
  • domain assumption A is a three-dimensional quadratic AS-regular algebra whose geometric triple has E a nonsingular elliptic curve and sigma an infinite-order translation.
    This is the hypothesis of Theorem 1.3; the paper does not prove nonexistence outside this class.
  • standard math Artin-Tate-Van den Bergh results: the canonical map A to B(E,sigma,L) is surjective with kernel generated by a central degree-3 element g, and Proposition 2.28 says infinite-order sigma makes Lambda_0 have no finite-dimensional representations.
    Quoted from ATV90 and ATV91, Proposition 7.5 and Corollary 7.9; used in Lemma 3.2 and the spanning-class proof.
  • standard math The Serre functor of D^b qgr(A) is M(-3)[2].
    Theorem 2.20, cited to VdB97 and NB05; needed to verify that the restriction functor is spherical in Example 2.31.
  • standard math (O, O(1), O(2)) is a full strong exceptional collection, yielding K0(A) = Z^3 and a tilting object.
    Theorem 2.21 cited to AOU14, Theorem 7.1; used for K0 finiteness and in Appendix A.
  • standard math A twist of a spherical functor is an equivalence, and the composition of an admissible subcategory with a spherical functor is spherical.
    Theorems 2.30 and 2.32 cited to Add16; supplies the twist T used in the main proof.
  • standard math Spherical objects on an elliptic curve are simple vector bundles or skyscraper sheaves up to shift.
    Cited to BK06, Proposition 4.13; used to identify C_p from its K-class.
  • standard math An autoequivalence of D^b(E) that sends skyscraper sheaves to skyscraper sheaves up to shift has the form rho_*(- tensor L)[n].
    Cited to HB05, Corollary 4.3; loads the normal form of T in Section 3.3.
  • standard math An infinite-order translation on an elliptic curve has no periodic points.
    Used in Lemma 3.8; cited to Har77, page 321.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonexistence of phantom categories on very general noncommutative projective planes." pith.science (2026). https://pith.science/paper/VFW7Q54S

@misc{pith2026241215913,
  author       = {Pith},
  title        = {Pith review of: Nonexistence of phantom categories on very general noncommutative projective planes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VFW7Q54S}},
  note         = {Machine review of arXiv:2412.15913}
}
read the original abstract

We show that very general noncommutative projective planes do not admit phantom categories.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 5 canonical work pages

  1. [1]

    New derived symmetries of some hyperk ¨ ahler varieties

    [Add16] Nicolas Addington. “New derived symmetries of some hyperk ¨ ahler varieties”. In: Algebr. Geom. 3.2 (2016), pp. 223–260 (cit. on p. 9). [AO13] Valery Alexeev and Dmitri Orlov. “Derived categories of Burn iat surfaces and exceptional collections”. In: Math. Ann. 357.2 (2013), pp. 743–759 (cit. on p. 1). [AOU14] Tarig Abdelgadir, Shinnosuke Okawa, a...

    work page 2016

  2. [7]

    Ideal classes of three dimensional Sklyanin algebras

    arXiv: math/0503729 [math.RA] (cit. on p. 7). [Orl16] Dmitri Orlov. “Smooth and proper noncommutative schemes and gluing of DG categories”. In: Advances in Mathematics 302 (2016), pp. 59–105 (cit. on pp. 1, 2, 4). [Pir23] Dmitrii Pirozhkov. “Admissible subcategories of del Pezzo su rfaces”. In: Ad- vances in Mathematics 424 (2023), p. 109046 (cit. on p. 2...

    work page Pith review arXiv 2016

  3. [86]

    Modules over reg ular algebras of dimension 3

    Progr. Math. Birkh¨ auser Boston, Boston, MA, 1990, pp. 33–85 (cit. on pp. 6, 8). [ATV91] M. Artin, J. Tate, and M. Van den Bergh. “Modules over reg ular algebras of dimension 3”. In: Invent. Math. 106.2 (1991), pp. 335–388 (cit. on pp. 3, 8, 9). [A V90] M. Artin and M. Van den Bergh. “Twisted homogeneous coord inate rings”. In: J. Algebra 133.2 (1990), p...

    work page 1991

  4. [2005]

    Fourier-Mukai Transforms

    arXiv: math/0402043 [math.AG] (cit. on p. 15). [Her08] Martin Herschend. “Tensor products on quiver represen tations”. In: J. Pure Appl. Algebra 212.2 (2008), pp. 452–469 (cit. on p. 16). [Huy06] D. Huybrechts. Fourier-Mukai Transforms in Algebraic Geometry . Oxford Mathematical Monographs. Clarendon Press, 2006 (cit. on p. 3). [Kel06] Bernhard Keller. “O...

    work page Pith review arXiv 2008

  5. [2009]

    Deformation theor y of abelian categories

    arXiv: 0904.4330 [math.AG] (cit. on pp. 1, 5). [L V06] Wendy Lowen and Michel Van den Bergh. “Deformation theor y of abelian categories”. In: Trans. Amer. Math. Soc. 358.12 (2006), pp. 5441–5483 (cit. on p. 2). [NB05] K. De Naeghel and M. Van den Bergh. Ideal classes of three dimensional Sklyanin algebras

    arXiv 2006

  6. [2014]

    Compact moduli of noncommutative projective planes

    arXiv: 1411.7770 [math.AG] (cit. on p. 7). [AS87] Michael Artin and William F Schelter. “Graded algebras of global dimension 3”. In: Advances in Mathematics 66.2 (1987), pp. 171–216 (cit. on p. 5). [ATV90] M. Artin, J. Tate, and M. Van den Bergh. “Some algebras as sociated to auto- morphisms of elliptic curves”. In: The Grothendieck Festschrift, Vol. I . Vol

    work page Pith review arXiv 1987

  7. [2024]

    Determinantal Barlow surfaces and phantom cate gories

    arXiv: 2405.01683 [math.AG] (cit. on pp. 2, 3, 15). [B¨ oh+15] Christian B¨ ohning, Hans-Christian Graf von Bothmer, Ludmil Katzarkov, and Pawel Sosna. “Determinantal Barlow surfaces and phantom cate gories”. In: J. Eur. Math. Soc. (JEMS) 17.7 (2015), pp. 1569–1592 (cit. on p. 1). [GO13] Sergey Gorchinskiy and Dmitri Orlov. “Geometric phantom ca tegories”...

    arXiv 2015

Pith tools

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