Pith. sign in

REVIEW 2 major objections 1 minor 36 references

The semiregularity theorem for equivariant noncommutative varieties

T0 review · 2 major / 1 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read The classical semiregularity theorem extends to equivariant noncommutative varieties, including twisted derived categories.

desk verdict Wrong manuscript body was supplied: abstract claims a noncommutative equivariant semiregularity theorem, but the text is an unrelated spectral-graph paper, so the AG claims cannot be audited. read the letter →

arxiv 2604.00511 v2 pith:RMEAO57Z submitted 2026-04-01 math.AG

Alexander Perry This is my paper · ORCID
classification math.AG MSC 14F0814A2214C3014D15
keywords semiregularitynoncommutativealgebraicgeometryequivariantderivedcategoriestwistedHodgeconjectureinvariantdeformationtheory
topics The Hodge Conjecture
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 generalizes the classical semiregularity theorem of Buchweitz and Flenner from ordinary algebraic geometry to noncommutative algebraic geometry in the presence of group actions. The result applies in particular to twisted derived categories of varieties. In that setting it answers a question of Markman and shortens part of the argument Markman used to prove the Hodge conjecture for abelian fourfolds. Along the way the paper shows that, for many finite group actions on derived categories of varieties, the category of invariants arises from geometry in a precise sense. A sympathetic reader cares because semiregularity controls the obstruction theory of deformations of cycles and sheaves; extending it to the noncommutative and equivariant setting therefore supplies a new tool for Hodge-theoretic and deformation-theoretic questions that live naturally in derived categories.

What carries the argument

The equivariant noncommutative semiregularity map (the direct generalization of the Buchweitz–Flenner map to dg-categories or noncommutative varieties equipped with a group action), which obstructs deformations of equivariant objects and yields the geometric-origin statement for invariant categories.

What would settle it

Exhibit a concrete finite-group action on a twisted derived category of a smooth projective variety for which the invariant category fails to be of geometric origin, or for which the proposed semiregularity map does not annihilate the obstruction class of an equivariant deformation that is known to exist.

Watch

Extended reading notes

Core claim

The classical semiregularity theorem of Buchweitz and Flenner continues to hold for equivariant noncommutative varieties. Specializing to twisted derived categories answers Markman’s question and streamlines a step in the proof of the Hodge conjecture for abelian fourfolds; in addition, for many finite group actions the invariant category is of geometric origin.

Load-bearing premise

The precise technical hypotheses under which the generalization holds—which finite group actions, which noncommutative varieties or twisted categories, and which form of the classical Buchweitz–Flenner input—are not fully spelled out by the abstract alone and must be verified in the body.

Editorial extensions

If this is right

  • Obstruction theory for equivariant perfect complexes and twisted sheaves is controlled by an explicit semiregularity map.
  • Markman’s question on semiregularity in twisted derived categories is settled affirmatively.
  • A portion of the existing proof of the Hodge conjecture for abelian fourfolds can be replaced by the new theorem.
  • For many finite group actions the category of invariants is equivalent to the derived category of a geometric quotient stack or related variety.

Reading between the lines

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

  • The same techniques may produce semiregularity statements for other noncommutative enhancements such as matrix factorizations or dg-enhancements of Fukaya categories with group actions.
  • Once the geometric-origin result is available, one can hope to transfer Hodge-theoretic statements (e.g., the Hodge conjecture itself) from the invariant category back to the original variety via equivariant Fourier–Mukai kernels.
  • The reduction steps used for twisted derived categories likely adapt to Brauer-Severi varieties and other gerbe-twisted geometries.
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

2 major / 1 minor

Summary. The abstract claims a generalization of the Buchweitz–Flenner semiregularity theorem to equivariant noncommutative varieties (including twisted derived categories), answering a question of Markman and streamlining part of his Hodge-conjecture argument for abelian fourfolds, together with a geometric-origin result for invariant categories under many finite group actions. The supplied full manuscript text, however, is an unrelated combinatorics paper (“Maximum spectral sum of graphs,” arXiv:2604.00512) proving λ1(G)+λ2(G)≤(8/7)n via graphons, convex geometry, exterior algebra and matrix sum-of-squares. No definitions of equivariant noncommutative varieties, no statement of a generalized semiregularity map, no group-action hypotheses, and no proofs of the Markman or geometric-origin claims appear in the body.

Significance. If the abstract’s claims were established in a correct manuscript, the result would be of clear interest in noncommutative algebraic geometry and Hodge theory: a usable equivariant/noncommutative semiregularity map, an answer to Markman’s question for twisted derived categories, and a geometric-origin statement for many invariant categories would be substantial contributions. Those strengths cannot be assessed from the text provided, which contains none of the claimed AG content.

major comments (2)
  1. The full manuscript body is not the paper described by the title and abstract. The body is the spectral-graph-theory paper arXiv:2604.00512 (Maximum spectral sum of graphs), with theorems on λ1+λ2, graphons, adjacency criteria, ellipse equations, reduction to H6, and SOS verification of 8/7 I−ψ(M∗)≽0. None of the load-bearing AG objects (equivariant noncommutative varieties, twisted derived categories, the generalized semiregularity map, finite-group hypotheses, or the Markman application) are defined or proved. The central claims of arXiv:2604.00511 are therefore unauditable from the submission.
  2. Because the body contains no statement or proof of a semiregularity theorem in the noncommutative/equivariant setting, there is no way to check the hypotheses under which the generalization is claimed to hold, nor the streamlining of Markman’s argument for abelian fourfolds, nor the geometric-origin claim for invariant categories. These are the paper’s main results; their absence is load-bearing.
minor comments (1)
  1. The arXiv identifier and title in the review packet (2604.00511, semiregularity for equivariant noncommutative varieties) do not match the body (2604.00512, spectral sum of graphs). The packet should be corrected before any mathematical review of the AG claims is possible.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: self-contained reduction from graphons to an exact matrix-SOS certificate for the spectral-sum bound.

full rationale

The manuscript proves λ1(G)+λ2(G)≤(8/7)n by a direct analytic argument: asymptotic blow-ups reduce to graphons, an extremal graphon is shown to satisfy an adjacency criterion and an ellipse equation, Carathéodory yields step eigenfunctions with ≤6 steps, structural analysis reduces to the single weighted graph H6, exterior algebra converts the spectral-sum claim into positive-semidefiniteness of (8/7)I15-ψ(M∗(x)), and an exact rational sum-of-squares certificate (found numerically then verified over Q by rank-1 decomposition) establishes the PSD property. None of these steps is definitional of the target inequality, none fits a free parameter to data and re-labels it a prediction, and no load-bearing uniqueness or ansatz is imported solely by self-citation. The computer-assisted verification is an independent exact check, not a circular fit. The derivation is therefore free of the enumerated circularity patterns.

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

Abstract-only review of a pure-math claim. No free parameters appear. Background axioms are the classical Buchweitz–Flenner semiregularity theorem and standard noncommutative/derived-category language. No new physical or ad-hoc entities are introduced in the abstract. The main unverified inputs are the precise technical hypotheses of the generalization, which the abstract does not list.

assumptions (2)
  • standard math Classical Buchweitz–Flenner semiregularity theorem holds in the commutative setting and is the starting point for the generalization.
    Named explicitly in the abstract as the theorem being generalized.
  • domain assumption Twisted derived categories and finite group actions on derived categories of varieties form a valid setting in which an equivariant noncommutative semiregularity statement can be formulated.
    The applications and the geometric-origin claim presuppose this standard noncommutative AG framework; precise hypotheses are not given in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The semiregularity theorem for equivariant noncommutative varieties." pith.science (2026). https://pith.science/paper/RMEAO57Z

@misc{pith2026260400511,
  author       = {Pith},
  title        = {Pith review of: The semiregularity theorem for equivariant noncommutative varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RMEAO57Z}},
  note         = {Machine review of arXiv:2604.00511}
}
read the original abstract

We generalize the classical semiregularity theorem of Buchweitz and Flenner to the setting of noncommutative algebraic geometry, with group actions. This applies in particular to twisted derived categories, in which case it answers a question of Markman and streamlines part of his proof of the Hodge conjecture for abelian fourfolds. Along the way, we prove that for many finite group actions on derived categories of varieties, the invariant category is of geometric origin.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references

  1. [1]

    A survey of automated conjectures in spectral graph theory.Linear Algebra Appl., 432(9):2293–2322, 2010

    Mustapha Aouchiche and Pierre Hansen. A survey of automated conjectures in spectral graph theory.Linear Algebra Appl., 432(9):2293–2322, 2010. 21

    2010

  2. [2]

    A survey of Nordhaus-Gaddum type relations.Discrete Appl

    Mustapha Aouchiche and Pierre Hansen. A survey of Nordhaus-Gaddum type relations.Discrete Appl. Math., 161(4-5):466–546, 2013. 1

    2013

  3. [3]

    Pure and Applied Mathematics (New York)

    Jean-Pierre Aubin.Applied Functional Analysis. Pure and Applied Mathematics (New York). Wiley-Interscience, New York, second edition, 2000. With exercises by Bernard Cornet and Jean-Michel Lasry, Translated from the French by Carole Labrousse. 5

    2000

  4. [4]

    Borgs, J

    C. Borgs, J. T. Chayes, L. Lov´ asz, V. T. S´ os, and K. Vesztergombi. Convergent sequences of dense graphs II. Multiway cuts and statistical physics.Ann. of Math. (2), 176(1):151–219,

  5. [5]

    Cambridge University Press, Cambridge, 2004

    Stephen Boyd and Lieven Vandenberghe.Convex Optimization. Cambridge University Press, Cambridge, 2004. 13

    2004

  6. [6]

    Jane Breen, Alex W. N. Riasanovsky, Michael Tait, and John Urschel. Maximum spread of graphs and bipartite graphs.Commun. Am. Math. Soc., 2:417–480, 2022. 1, 2

    2022

  7. [7]

    On a conjecture of V

    P´ eter Csikv´ ari. On a conjecture of V. Nikiforov.Discrete Math., 309(13):4522–4526, 2009. 3

    2009

  8. [8]

    Note on the sum of the smallest and largest eigenvalues of a triangle-free graph

    P´ eter Csikv´ ari. Note on the sum of the smallest and largest eigenvalues of a triangle-free graph. Linear Algebra Appl., 650:92–97, 2022. 1 22

    2022

Show all 36 references
  1. [9]

    Cvetkovi´ c and P

    D. Cvetkovi´ c and P. Rowlinson. The largest eigenvalue of a graph: a survey.Linear and Multilinear Algebra, 28(1-2):3–33, 1990. 1

    1990

  2. [10]

    The second largest eigenvalue of a graph (a survey)

    Dragoˇ s Cvetkovi´ c and Slobodan Simi´ c. The second largest eigenvalue of a graph (a survey). Number 9, pages 449–472. 1995. Algebra, logic & discrete mathematics (Niˇ s, 1995). 1

    1995

  3. [11]

    On the sum of the k largest eigenvalues of graphs and maximal energy of bipartite graphs.Linear Algebra Appl., 569:175–194,

    Kinkar Chandra Das, Seyed Ahmad Mojallal, and Shaowei Sun. On the sum of the k largest eigenvalues of graphs and maximal energy of bipartite graphs.Linear Algebra Appl., 569:175–194,

  4. [12]

    On the sum of two largest eigenvalues of a symmetric matrix.Linear Algebra Appl., 429(11-12):2781–2787,

    Javad Ebrahimi B, Bojan Mohar, Vladimir Nikiforov, and Azhvan Sheikh Ahmady. On the sum of two largest eigenvalues of a symmetric matrix.Linear Algebra Appl., 429(11-12):2781–2787,

  5. [13]

    Additive compound matrices and an inequality for eigenvalues of symmetric- stochastic matrices.Czechoslovak Math

    Miroslav Fiedler. Additive compound matrices and an inequality for eigenvalues of symmetric- stochastic matrices.Czechoslovak Math. J., 24(3):392–402, 1974. 20

    1974

  6. [14]

    Convex combi- nation of first and second eigenvalues of trees, 2026

    Hitesh Kumar, Bojan Mohar, Shivaramakrishna Pragada, and Hanmeng Zhan. Convex combi- nation of first and second eigenvalues of trees, 2026. 21

    2026

  7. [15]

    Graph limits and spectral extremal problems for graphs.SIAM J

    Lele Liu. Graph limits and spectral extremal problems for graphs.SIAM J. Discrete Math., 38(1):590–608, 2024. 2, 6

    2024

  8. [16]

    American Mathematical Society, Providence, RI, 2012

    L´ aszl´ o Lov´ asz.Large networks and graph limits, volume 60 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2012. 4

    2012

  9. [17]

    Limits of dense graph sequences.J

    L´ aszl´ o Lov´ asz and Bal´ azs Szegedy. Limits of dense graph sequences.J. Combin. Theory Ser. B, 96(6):933–957, 2006. 4

    2006

  10. [18]

    Szemer´ edi’s lemma for the analyst.Geom

    L´ aszl´ o Lov´ asz and Bal´ azs Szegedy. Szemer´ edi’s lemma for the analyst.Geom. Funct. Anal., 17(1):252–270, 2007. 4

    2007

  11. [19]

    Chelsea Publishing Co., New York, third edition, 1988

    Saunders Mac Lane and Garrett Birkhoff.Algebra. Chelsea Publishing Co., New York, third edition, 1988. 19

    1988

  12. [20]

    Springer, 2002

    Jiˇ r´ ı Matouˇ sek.Lectures on Discrete Geometry, volume 212 ofGraduate Texts in Mathematics. Springer, 2002. 13

    2002

  13. [21]

    On the sum of k largest eigenvalues of graphs and symmetric matrices.J

    Bojan Mohar. On the sum of k largest eigenvalues of graphs and symmetric matrices.J. Combin. Theory Ser. B, 99:306–313, 2009. 1

    2009

  14. [22]

    Eigenvalues and degree deviation in graphs.Linear Algebra Appl., 414:347– 360, 2006

    Vladimir Nikiforov. Eigenvalues and degree deviation in graphs.Linear Algebra Appl., 414:347– 360, 2006. 3

    2006

  15. [23]

    Linear combinations of graph eigenvalues.Electron

    Vladimir Nikiforov. Linear combinations of graph eigenvalues.Electron. J. Linear Algebra, 15:329–336, 2006. 2 23

    2006

  16. [24]

    Eigenvalue problems of Nordhaus-Gaddum type.Discrete Math., 307(6):774– 780, 2007

    Vladimir Nikiforov. Eigenvalue problems of Nordhaus-Gaddum type.Discrete Math., 307(6):774– 780, 2007. 1

    2007

  17. [25]

    XXXVIII ofAmerican Mathematical Society Colloquium Publications

    Oystein Ore.Theory of Graphs, volume Vol. XXXVIII ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 1962. 5

    1962

  18. [26]

    Parrilo and R.R

    P.A. Parrilo and R.R. Thomas.Sum of Squares: Theory and Applications. Proceedings of Symposia in Applied Mathematics. American Mathematical Society, 2020. 20

    2020

  19. [27]

    Graphs with small spectral gap.Electron

    Zoran Stani´ c. Graphs with small spectral gap.Electron. J. Linear Algebra, 26:417–432, 2013. 1

    2013

  20. [28]

    Cambridge University Press, Cambridge, 2015

    Zoran Stani´ c.Inequalities for Graph Eigenvalues, volume 423 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2015. 1

    2015

  21. [29]

    Proof of a conjecture of V

    Tam´ as Terpai. Proof of a conjecture of V. Nikiforov.Combinatorica, 31(6):739–754, 2011. 1, 2, 6 Hitesh Kumar, Email:���������������������������� ������ ������������ ����� �� ������������ ����� ������ ����������� �������� �� ��� ���� ������ Lele Liu, Email:�������������� ����...

    2011

  22. [30]

    Set up the coefficient equations (5.5) as a semidefinite feasibility problem in the unknown blocksQ ab andT, together with the constraintQ⪰0

  23. [31]

    Solve this feasibility problem numerically in ����� using the solver ���, to a prescribed error tolerance, obtaining numerical matricesQ num andT num

  24. [32]

    Symmetrize the numerical solution by replacing Qnum ← 1 2 Qnum + (Qnum)T , T num ← 1 2 T num + (T num)T . 25

  25. [33]

    More precisely, selected entries of Qnum and T num are replaced by nearby rational numbers of bounded denominator, and then assembled into candidate exact matricesQ rat andT rat

    Convert the numerical matrices into exact rational matrices using �����. More precisely, selected entries of Qnum and T num are replaced by nearby rational numbers of bounded denominator, and then assembled into candidate exact matricesQ rat andT rat

  26. [34]

    Reconstruct the remaining entries of Qrat exactly from the linear coefficient equations, so that the polynomial identity holds exactly overQ

  27. [35]

    Verify the coefficient identity exactly using�����with rational arithmetic

  28. [36]

    Verify Qrat ⪰ 0 exactly by checking a rank one decomposition of Qrat over Q, again using �����. 26

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.