Non-Coulomb $Q$-cohomology and quantum lifting

Kayleigh Mathieson; Sam van Leuven; Tanay Kibe

REVIEW

Non-Coulomb $Q$-cohomology and quantum lifting

Tanay Kibe, Sam van Leuven, Kayleigh Mathieson

High Energy Physics - Theory · Submitted 15 Oct 2026

Pith's verdict: Solid SO(7) computation; the general dichotomy is plausible and important, but rests on two asserted lemmas that a referee should press to have proved.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 16, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.22332 (version 3)

Pith ID5B3BI4IS, Pith's permanent record of this paper and its review

CitationKayleigh Mathieson, Sam van Leuven, Tanay Kibe. "Non-Coulomb $Q$-cohomology and quantum lifting." arXiv:2610.22332 (2026). https://pith.science/paper/5B3BI4IS

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Two things to know. The SO(7) computation is solid: an explicit fortuitous source F4 that pairs with the non-Coulomb monotone S4 under Q1, with coefficient -12 kappa_Q, backed by antisymmetrizer trace relations in seven dimensions, finite-field rank checks, and a 60-term derivative completion printed in full. And the general theorem of Section 6 — every non-zero one-loop pairing has a fortuitous source and a non-Coulomb target — is plausible but conditional on two lemmas that are asserted rather than proved.

What is actually new: the support-restriction method of Section 4, restricting lambda+ and lambda- to commuting root supports drawn as graphs, gives clean non-exactness proofs for the non-Coulomb gaugino tower S^m (r < m < h) in SO(N), demonstrated explicitly through so12. The tower itself was already noted in [36], and the CLCL monotone's lifting was known, but the restriction technique, the explicit F4, the identification of S^4 as a superconformal descendant of the CLCL monotone, and the general dichotomy are genuinely new. The paper is honest about scope: Section 5.3 is labeled a strategy rather than a theorem, and the index evidence is properly hedged. There are no fitted parameters anywhere; kappa_Q is inherited normalization.

The soft spots are both in Section 6. The non-Coulomb-target half depends on Eq. (6.14): existence of a Q0-closed graviton representative containing Tr(Phi^{d-1}Y) with unit coefficient. The stress-test's worry about corrections of equal weight is mostly answered by the text — the weight-counting argument does force lower-weight corrections if such a representative exists. The real gap is existence itself, with the unit coefficient, and the whole diagonal-variable construction, the discriminant identity (6.19), and the target restriction (6.21) rest on it. The companion step, Eq. (6.6) — zero Cartan restriction at large rank forces Q0-exactness of single-trace classes in the free trace complex — is plausible given the Chang–Yin structure theorems but is not proved. I would bet both are true, but they need to be pinned down before the Section 6 claims can be quoted as theorems. Turning (6.14) into a proper lemma, with a construction or a citation that actually contains it, would largely fix the paper.

This is for people working on fortuity, quantum lifting, and black-hole cohomology in N=4, and they will want to read it; the SO(7) half stands on its own even if the general theorem needs work. Send it to a serious referee. The referee's main job is to extract proofs of the two Section 6 lemmas. Not a desk reject.

Referee report

Significance

If the general theorems are correct, the paper substantially sharpens the recent lifting results for SO(7) and answers the question raised in [14] about which classes can participate in one-loop pairings. The explicit SO(7) construction is a concrete strength: the fortuitous source is built from exact antisymmetrizer trace relations, the dimensions of the trace-relation spaces are bracketed by finite-field sampling from above and by exact relations from below, and the coefficient -12 κ_Q is determined by an explicit contraction rather than fitted. The index comparison also gives a crisp falsifiable signature, the first discrepancy at t^{2r+2} for ranks 3 through 6. The claimed restrictions on quantum lifting, including protection of Coulomb monotones and of BMN monotones at this order, would be significant if the proof gaps identified below are filled.

Major objections (3)

[§6.2, Eq. (6.14)] The non-Coulomb-target theorem rests on an unproved representative lemma. The text asserts that for every positive-weight letter Y there exists a Q0-closed graviton representative G_{d,Y} containing Tr(Φ^{d-1}Y) with coefficient one and with all remaining terms of strictly lower weight. No construction or proof is provided, and the existence is not automatic: for letters with nontrivial Q0 action such as ψ_m, f, and derivative letters, closedness requires cancellations among several trace monomials, while the lower-weight condition is an additional constraint. The closed diagonal variables eY_a of Eq. (6.15), the discriminant identity (6.19), and hence the main conclusion ρ_C(Q1 F)=0 in Eq. (6.21) all depend on this lemma. This gap must be closed, either by a proof or by a precise citation of a theorem with matching hypotheses.
[§6.1, Eq. (6.6)] The proof that [Q1] annihilates all monotone classes assumes that a Q0-closed single-trace expression with zero Cartan restriction at every finite rank is Q0-exact in the free trace complex. The argument that Cartan restriction at sufficiently large rank detects every nonzero single-trace class is asserted rather than established. Since Eq. (6.6) is the step that converts the vanishing Cartan restriction of the joining term J(U,V) into exactness, and since this underlies the claim that every nonzero pairing has a fortuitous source, the detection statement needs a proof or a reference to a result with stated hypotheses covering this complex.
[§6.2, around Eqs. (6.15)-(6.19)] The construction of the closed diagonal variables also requires that the finite linear systems determining eY_a from Σ_a ζ_a^{d-1} eY_a = G_{d,Y} - eR_{d,Y} are invertible for the stated ranges of d in each gauge family, with inverses containing only eigenvalue differences. This is asserted for SU(m) with d=2,...,m and for orthogonal/symplectic families with d=2,4,...,2n but not demonstrated. Because the invertibility is needed to clear denominators by a single discriminant power in (6.19), a detailed verification, including the tracelessness constraint for SU(m), should be supplied.

Minor objections (4)

[§3, Table 2 and Eq. (3.11)] The pattern Δ_r(t) = t^{2r+2} + 2t^{2r+3} + O(t^{2r+4}) is reported only for 3 ≤ r ≤ 6, and the paper correctly acknowledges that the general pattern is not established; stating this explicitly in the main text near Eq. (3.11) would help the reader distinguish the established computation from the conjecture.
[§4.4, Table 3] The entries for A_r and C_r in the column for maximal abelian subalgebra dimension appear garbled by the typesetting (for example the expression for A_r); the formulas should be typeset cleanly so that the numerical values used in the text are unambiguous.
[Appendix E.1] The finite-field sampling procedure is explained, but the sentence 'Rows are accumulated until the observed rank stabilizes' is empirical in character; since the exact antisymmetrizer relations in Appendix E.2 provide the matching lower bounds, the role of the sampling is clear, but a few sentences stating precisely how the prime is chosen and how the rational null-space computation is certified would make the argument fully reproducible.
[§6.2, Eq. (6.20)] The product rule (6.3) is derived for a double trace UV and then stated to extend to multi-trace polynomials; since Eq. (6.20) applies it to Δ^k F with F a general multi-trace source, a one-sentence justification that the joining terms continue to vanish after Cartan restriction in the multi-factor case would remove a small logical gap.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

In the classical gauge-group families of N=4 super-Yang-Mills, every non-zero one-loop pairing of BPS classes has a fortuitous source and a non-Coulomb target, so Coulomb monotones survive first quantum corrections.

The reading

Classical BPS operators are counted by the cohomology of a nilpotent supercharge $Q_0$, and the question is which of those classes survive the first quantum correction $Q_1$ to the supercharge. This paper proves a structural restriction on one-loop pairings in the multi-trace sector: every monotone class (one with a representative closed before finite-rank trace relations are imposed) is annihilated by $[Q_1]$, while every non-zero image of $[Q_1]$ vanishes when all letters are restricted to the Cartan subalgebra. Consequently every non-zero one-loop pairing has a fortuitous source and a non-Coulomb target, so Coulomb monotones survive at this order at finite rank. For $SO(7)$, the paper explicitly constructs a fortuitous partner $F_4$ for the non-Coulomb monotone $S^4$, where $S=\operatorname{Tr}(\lambda_+\lambda_-)$ is the gaugino bilinear, and verifies $[Q_1][F_4] = -12\kappa_Q[S^4]$. Because fortuitous states are the proposed weak-coupling ancestors of black-hole microstates, the result sharpens which classical states can lift at one loop and which are protected.

What carries the argument

The argument runs on three interlocking objects. The first is the classical supercharge complex in the letter basis of [8], whose $Q_0$-cohomology splits into monotone classes (classes with a representative closed before rank-dependent trace relations are imposed) and fortuitous classes (closed only through such relations). The second is the one-loop correction $Q_1$, which acts on pairs of letters and induces a nilpotent differential $[Q_1]$ on $Q_0$-cohomology even though it need not obey a Leibniz rule. The third is the tower of non-Coulomb monotones $S^m$ built from the gaugino bilinear $S=\operatorname{Tr}(\lambda_+\lambda_-)$ in the $SO(N)$ theories: for $r < m < h$ these classes are non-trivial but vanish under Cartan restriction, because on the rank-$r$ Cartan subalgebra $S$ is a sum of only $r$ nilpotent bilinears. To see them, the paper restricts $S^m$ to carefully chosen commuting supports of mutually commuting root generators, larger than the rank, and tests non-exactness against the residual ideal generated by alternating traces. The explicit $SO(7)$ pairing is carried by a trace relation built from the vanishing eight-index antisymmetrizer in seven dimensions, and the general non-Coulomb target theorem is carried by the discriminant identity $\Delta^k F = Q_0 H$.

Extended reading notes

Core claim

The paper's central claim has two parts. First, the differential $[Q_1]$ induced by the one-loop supercharge on $Q_0$-cohomology annihilates every monotone class in the multi-trace sector of the classical gauge-group families $SU(n+1)$, $SO(2n+1)$, $Sp(2n)$, and $SO(2n)$ at finite rank. Second, every non-zero $[Q_1]$ image has vanishing Cartan restriction, so every non-zero one-loop pairing has a fortuitous source and a non-Coulomb target; a Coulomb monotone is therefore both closed and non-exact under $[Q_1]$ and survives at this order. The engine of the second statement is a partial no-hair identity: at fixed rank, any $Q_0$-closed multi-trace operator $F$ with vanishing Cartan restriction satisfies $\Delta^k F = Q_0 H$ for sufficiently large $k$, where $\Delta$ is the discriminant of a scalar letter, so repeated multiplication by $\Delta$ eventually annihilates every non-Coulomb class, monotone or fortuitous, in classical cohomology. For $SO(7)$ the paper builds the fortuitous source $F_4$ out of an eight-index antisymmetrizer trace relation and confirms the coefficient $[Q_1][F_4] = -12\kappa_Q[S^4]$, establishing that the non-Coulomb monotone $S^4$ — a superconformal descendant of the known lifted monotone found in earlier SO(7)/Sp(6) comparisons — is genuinely removed at one loop.

Load-bearing premise

The load-bearing premise is that the closed-diagonal-variable construction of Section 6.2 exists as stated: for every positive-weight letter $Y$ one can choose a $Q_0$-closed graviton representative $G_{d,Y}$ whose expansion contains $\operatorname{Tr}(\Phi^{d-1}Y)$ with coefficient one and whose remaining terms have strictly lower weight, and from that construction the discriminant identity $\Delta^k F = Q_0 H$ and the non-Coulomb target theorem follow; a secondary assumed step is that vanishing Cartan restriction at large rank implies $Q_0$-exactness of single-trace classes in the free trace complex.

Editorial extensions

If this is right

Coulomb monotones survive the first quantum correction at finite rank, protected from one-loop lifting in every classical gauge-group family.
Non-Coulomb monotones can only be removed by becoming $[Q_1]$-exact; the $SO(7)$ class $[S^4]$ is removed exactly this way, and because $S^4$ is a superconformal descendant of the previously lifted monotone, the two removals are the same phenomenon seen in different multiplet members.
Because $Q_1$ shifts the grading by $(n_+,n_-) \to (n_++1, n_-+1)$, no class with $n_+ = 0$ or $n_- = 0$ can be $[Q_1]$-exact; all BMN-sector monotones, including the non-Coulomb $SU(3)$ and $SU(4)$ examples, survive one loop.
Fortuitous classes are the only possible sources of non-zero one-loop pairings in the multi-trace sector, sharpening the proposed connection between fortuity and black-hole microstates.
Repeated multiplication by the scalar discriminant $\Delta$ eventually makes any non-Coulomb class $Q_0$-exact, a partial no-hair property that extends to superconformal descendants, with each commutant generator costing at most one additional power of $\Delta$.
If the tower-lifting construction of Section 5.3 works, lifting the first non-Coulomb power $S^{r+1}$ at a given rank would lift the entire tower $S^m$ with $r < m < h$ by simple multiplication.
In the BMN sector the grading argument gives protection at one loop, but the paper leaves open whether higher-order corrections to the supercharge can lift these classes.
The theorem restricts one-loop pairings but says nothing about which fortuitous classes with vanishing Cartan restriction actually acquire a non-zero pairing; the paper notes that survival at one loop would still require excluding $[Q_1]$-exactness.

Reading between the lines

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

If the theorem holds, the one-loop fate of each non-Coulomb monotone in the $SO(N)$ tower is decided by a finite computation the paper leaves open: the dimension of the trace-relation quotient (5.27) at each rank, which measures how many independent fortuitous sources exist in the relevant sector.
The index discrepancy pattern $\Delta_r(t) = t^{2r+2} + 2t^{2r+3} + O(t^{2r+4})$, verified only for ranks 3 through 6, is a cheap test of the tower picture: if it holds at rank 7 ($SO(15)$), the gaugino tower continues to organize the non-Coulomb spectrum, although the paper explicitly notes the pattern is not established in general.
A quantitative version of the no-hair identity — bounds on the minimal $k$ in $\Delta^k F = Q_0 H$ in terms of charges and rank — would let one predict which graviton dressings of fortuitous states are exact; the paper leaves the exponent undetermined.
The theorem excludes the reflection-odd Pfaffian invariants of $SO(2r)$; whether those non-Coulomb classes obey the same source-target restrictions is an open direction the paper does not address.

Original abstract

We study quantum lifting of classical $Q$-cohomology classes in four-dimensional $\mathcal{N}=4$ super-Yang--Mills theory. Certain powers of the gaugino bilinear $\mathcal{S}=\text{Tr}(\lambda_+\lambda_-)$ in orthogonal theories provide non-Coulomb monotones: multi-graviton classes that vanish upon Cartan restriction. For $SO(7)$, we identify $\mathcal S^4$ as a superconformal descendant of a known lifted monotone class, explaining the latter's non-Coulomb character. We explicitly construct a fortuitous lifting partner for $\mathcal S^4$ that is, by contrast, visible on the Coulomb branch. This construction provides a strategy for finding analogous partners for higher powers at higher ranks. Our main result establishes restrictions on quantum lifting in the multi-trace sector of the classical gauge-group families. We show that the one-loop correction $Q_1$ to the supercharge annihilates every monotone class in classical cohomology, while every $[Q_1]$ image has vanishing Cartan restriction. Thus every non-zero one-loop pairing has a fortuitous source and a non-Coulomb target, and Coulomb monotones survive at this order at finite rank. In the BMN sector, our results imply that non-Coulomb monotones also survive at one loop. A crucial step shows that dressing any classical class by a sufficiently high power of a scalar discriminant yields a multi-graviton class, or zero in cohomology when the original class is non-Coulomb. We interpret this annihilation as a partial no-hair property.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-16: 1 request, 7,117 input tokens.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.42 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.14 · compares with prior results 0.22 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We study quantum lifting of classical BPS cohomology classes in four-dimensional $\mathcal N=4$ super-Yang-Mills theory. Certain powers of the gaugino bilinear $\mathcal S=\text{Tr}(\lambda_+\lambda_-)$ in orthogonal theories provide non-Coulomb monotones: multi-graviton classes that vanish upon Cartan restriction. For $SO(7)$, we identify $\mathcal S^4$ as a superconformal descendant of a known lifted monotone class, explaining the latter's non-Coulomb character, and explicitly construct a fortuitous lifting partner for $\mathcal S^4$. This construction provides a strategy for finding analogous partners for higher powers at higher ranks. Our main result establishes restrictions on the quantum lifting of classical BPS cohomologies for general gauge groups. We show that the one-loop correction $Q_1$ to the supercharge annihilates every monotone class in classical cohomology, while every non-zero $Q_1$ image is of non-Coulomb type. Thus every non-zero one-loop pairing has a fortuitous source and a non-Coulomb target, so that Coulomb monotones survive at this order at finite rank. In the BMN sector, our results imply that non-Coulomb monotones survive at one loop order as well. A crucial step in the argument shows that every non-Coulomb class, fortuitous or monotone, is annihilated in classical cohomology by a sufficiently high power of a scalar discriminant, which we interpret as a partial no-hair property.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We study quantum lifting of classical BPS cohomology classes in four-dimensional $\mathcal N=4$ super-Yang-Mills theory.	contribution 0.82	0.90	0.04	asserted 0.77
s1	Certain powers of the gaugino bilinear $\mathcal S=\text{Tr}(\lambda_+\lambda_-)$ in orthogonal theories provide non-Coulomb monotones: multi-graviton classes that vanish upon Cartan restriction.	result 0.68	0.63	0.05	asserted 0.96
s2	For $SO(7)$, we identify $\mathcal S^4$ as a superconformal descendant of a known lifted monotone class, explaining the latter's non-Coulomb character, and explicitly construct a fortuitous lifting partner for $\mathcal S^4$.	result 0.66	0.94	0.05	asserted 1.00
s3	This construction provides a strategy for finding analogous partners for higher powers at higher ranks.	future work 0.91	0.55	0.03	asserted 0.71
s4	Our main result establishes restrictions on the quantum lifting of classical BPS cohomologies for general gauge groups.	result 0.95	0.93	0.93	asserted 1.00
s5	We show that the one-loop correction $Q_1$ to the supercharge annihilates every monotone class in classical cohomology, while every non-zero $Q_1$ image is of non-Coulomb type.	result 1.00	0.91	0.24	asserted 1.00
s6	Thus every non-zero one-loop pairing has a fortuitous source and a non-Coulomb target, so that Coulomb monotones survive at this order at finite rank.	interpretation 0.50	0.91	0.11	asserted 1.00
s7	In the BMN sector, our results imply that non-Coulomb monotones survive at one loop order as well.	interpretation 0.79	0.91	0.05	asserted 0.85
s8	A crucial step in the argument shows that every non-Coulomb class, fortuitous or monotone, is annihilated in classical cohomology by a sufficiently high power of a scalar discriminant, which we interpret as a partial no-hair property.	result 0.51	0.91	0.06	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** Choices of support drawn as a marked graph on K at level k = 2 for so9, so that there are two vertices and r − k = 2 loops or edges. A loop at i carrying the index l stands for the pair ei ± el , an edge ij carrying l for ei + el and ej + el , and the marked vertex, drawn as a square, for the short root ei . The roots ei + ej are present for every pair of vertices and are not drawn. Graph (a) is the set (4.25). Graphs (a) and (b) differ by the transposition 1 ↔ 2 of the vertices and therefore describe equivalent supports. On the other hand, graphs (c) and (d) are inequivalent to (a)…

**Figure 2.** Hasse diagrams of the posets of positive roots: each node is a positive root, each edge adds the simple root labelling it, and the top node is the highest root θ. The height of θ, the sum of its coefficients in simple roots, is ht(θ) = hCox − 1, and along any upward path from a simple root αj to θ the label i occurs ai − δij times. so that the co-mark of a long simple root equals its mark, while that of a short simple root is half of it, or a third for G2. The two numbers hCox and h ∨ therefore agree for simply laced algebras but not in general. For example, for B3 the marks are (1,…

Figures reproduced from arXiv:2610.22332 by the authors.

References

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

Fortuitous BMN Operators from Multiple Cores
hep-th 2026-11 conditional novelty 7.0 of 10

Fortuitous BMN cohomology at finite N can be built systematically from several lower-rank cores using corrected effective letters and a restriction detector.
BPS Chaos and Fortuity in Higgs Branches I: The Gepner Point
hep-th 2026-10 conditional novelty 7.0 of 10

Berry curvature of BPS states at the Gepner point exhibits level repulsion and a ramp in the spectral form factor, with deviations from random matrix theory modeled by deformed Wishart ensembles.

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.