Pith. Sign in

REVIEW

The refined BPS index from stable pair invariants

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Jinwon Choi, Sheldon Katz, Albrecht Klemm

High Energy Physics - Theory · Submitted 16 Oct 2012 · 48 references

Pith's verdict: A careful paper that gives refined PT invariants a real moduli-space definition and checks it against the B-model in low degree; the checks are genuine but narrow, and the rigorous footing sits in an unpublished preprint.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 10, 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.

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

How Pith checks papers →

· 4 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1210.4403 (version 2)
Pith IDABJKH5SX, Pith's permanent record of this paper and its review
CitationAlbrecht Klemm, Jinwon Choi, Sheldon Katz. "The refined BPS index from stable pair invariants." arXiv:1210.4403 (2012). https://pith.science/paper/ABJKH5SX
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

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

The paper

The paper claims

The paper defines a spin-resolved refinement of Pandharipande–Thomas stable pair invariants for non-compact Calabi–Yau threefolds, proposes a product formula that converts those invariants into $SU(2)_L$ and $SU(2)_R$ multiplicities, and in

The reading

The paper asks how to count BPS states of M-theory compactified on a non-compact Calabi–Yau threefold while keeping both spin quantum numbers, rather than only the net index. Its answer is a refinement of the Pandharipande–Thomas stable pair invariants: the moduli space of stable pairs carries a symmetric obstruction theory and a torus action with isolated fixed points, so one can define a virtual motive — equivalently an equivariant index in the sense of Nekrasov and Okounkov — that yields a Laurent polynomial in $L^{1/2}$ instead of a single integer. The authors then propose that the resulting partition function factorises into a product over curve classes and spins, generalising a motivic product formula previously established only for local $P^1$, and they test the proposal in low degree on local $P^2$ and local $P^1 x P^1$. If the test holds, the same numbers are reachable three ways — toric localisation, the refined holomorphic anomaly, and the product formula — and on suitable geometries the refined generating function is simultaneously Nekrasov's partition function and a refined Chern–Simons partition function on a lens space.

What carries the argument

Two pieces of machinery carry the argument. The first is the virtual Bialynicki–Birula motive, equation (7.5): for a moduli space $M$ with symmetric obstruction theory and isolated $C^*$ fixed points $Z$, one sets $[M]^{vir} = sum_Z (-L^{-1/2})^{d^+_Z - d^-_Z}$, which Proposition 8 identifies with the Nekrasov–Okounkov equivariant index $χ^{vir}(M,(K^{vir}_M)^{1/2})$ and which is independent of the chosen one-parameter subgroup. The second is the product formula (8.1), a rewriting of the physical Schwinger-loop partition function in which the refined PT partition function is expressed as an infinite product over curve classes $β$, left and right spins, and integers $m$, with each factor weighted by $(-1)^{2(j_L+j_R)}N^β_{j_L,j_R}$. The extraction of the multiplicities is an induction: the coefficient of $q^{1-p_a}Q^β$ isolates the top left-spin row, and downward induction on $j_L$ peels off the rest, with the previously determined lower-degree and higher-spin terms forming the known remainder.

Extended reading notes

Core claim

The central claim is that the stable pair moduli spaces of a local toric Calabi–Yau threefold, though typically singular, still carry enough structure to define a refined invariant: a virtual Bialynicki–Birula decomposition with respect to a generic $C^*$ inside the torus preserving the holomorphic three-form, or equivalently the Nekrasov–Okounkov equivariant virtual index, gives a Laurent polynomial in $L^{1/2}$ whose exponent at each fixed point is the difference between the dimensions of the positive and negative weight spaces of the virtual tangent space. The authors then propose that the generating function of these refined invariants takes the product form of equation (8.1), in which each $SU(2)_L x SU(2)_R$ multiplicity $N^β_{j_L,j_R}$ appears as a factor running over the weights of the two spin representations, extending the motivic product formula of Morrison–Mozgovoy–Nagao–Szendroi from local $P^1$ to general local toric geometries. The evidence offered is a degree-by-degree match: for local $P^2$ and local $P^1 x P^1$, the multiplicities extracted from the localisation output through (8.1) reproduce those obtained independently by direct integration of the generalised holomorphic anomaly equations, and the correction terms that appear in the older KKV counting are reproduced by wall-crossing in the moduli space of $α$-stable pairs.

Load-bearing premise

The product formula (8.1) is asserted on physical grounds to be the exact translation between the geometrically computed refined stable pair partition function and the $SU(2) x SU(2)$ multiplicities, and every extraction of those multiplicities in the paper passes through it.

Editorial extensions

If this is right

  • Every refined stable pair invariant on a local toric Calabi–Yau threefold becomes computable by a finite torus localisation over box configurations, so the refined BPS multiplicities are algorithmically extractable rather than only obtainable from the B-model.
  • The refined topological string partition function on local $P^2$ and local $P^1 x P^1$ acquires a purely enumerative definition, giving geometric corroboration of the refined holomorphic anomaly results rather than the reverse.
  • On local $P^1 x P^1$ the same generating function reproduces Nekrasov's partition function for the corresponding $N=2$ gauge theory and a refinement of Chern–Simons theory on the lens space $L(2,1)$, tying three apparently distinct counting problems to one object.
  • The correction terms in the refined KKV approach are identified with wall-crossing contributions between $α=∞$ and $α=0^+$ stability, giving a structural explanation for terms that previously appeared as bookkeeping artifacts.

Reading between the lines

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

  • The definition via (7.5) is stated to be independent of the chosen $C^*$ inside the torus preserving the three-form, and the authors note in Section 7.1 that it is an open question whether the virtual motive depends on the choice of superpotential on an ambient smooth space inducing the same obstruction theory; a counterexample there would undercut the claim that the refined invariant is intrinsic
  • The product formula (8.1) is the load-bearing dictionary, and it is proposed on physical grounds rather than proved; a natural test is a geometry where the PT moduli space stops being a relative Hilbert scheme, since that is where the correction terms first carry real information and where a wrong dictionary would show up as a mismatch with the holomorphic anomaly.
  • Because the equivariant index is defined for any $G$-equivariant perfect obstruction theory with $(E^bullet)^vee = E^bullet ⊗ δ$, the construction plausibly extends beyond stable pairs to Donaldson–Thomas and Pandharipande–Thomas type theories on compact or half-compact geometries, provided a suitable torus action exists; the paper does not attempt this.
  • If the wall-crossing account of the correction terms is correct in general and not only for $d ≤ 5$, then the refined KKV method and the product formula should be derivable from each other, which would turn the product formula from a conjecture into a theorem in the toric setting.
Original abstract

A refinement of the stable pair invariants of Pandharipande and Thomas for non-compact Calabi-Yau spaces is introduced based on a virtual Bialynicki-Birula decomposition with respect to a C* action on the stable pair moduli space, or alternatively the equivariant index of Nekrasov and Okounkov. This effectively calculates the refined index for M-theory reduced on these Calabi-Yau geometries. Based on physical expectations we propose a product formula for the refined invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local P^1. We explicitly compute refined invariants in low degree for local P^2 and local P^1 x P^1 and check that they agree with the predictions of the direct integration of the generalized holomorphic anomaly and with the product formula. The modularity of the expressions obtained in the direct integration approach allows us to relate the generating function of refined PT invariants on appropriate geometries to Nekrasov's partition function and a refinement of Chern-Simons theory on a lens space. We also relate our product formula to wallcrossing.

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-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,114 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

A refinement of the stable pair invariants of Pandharipande and Thomas for non-compact Calabi-Yau spaces is introduced based on a virtual Bialynicki-Birula decomposition with respect to a C* action on the stable pair moduli space, or alternatively the equivariant index of Nekrasov and Okounkov. This effectively calculates the refined index for M-theory reduced on these Calabi-Yau geometries. Based on physical expectations we propose a product formula for the refined invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local P^1. We explicitly compute refined invariants in low degree for local P^2 and local P^1 x P^1 and check that they agree with the predictions of the direct integration of the generalized holomorphic anomaly and with the product formula. The modularity of the expressions obtained in the direct integration approach allows us to relate the generating function of refined PT invariants on appropriate geometries to Nekrasov's partition function and a refinement of Chern-Simons theory on a lens space. We also relate our product formula to wallcrossing.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A refinement of the stable pair invariants of Pandharipande and Thomas for non-compact Calabi-Yau spaces is introduced based on a virtual Bialynicki-Birula decomposition with respect to a C* action on the stable pair moduli space, or alternatively the equivariant index of Nekrasov and Okounkov. contribution 0.96 0.89 0.24 asserted 1.00
s1 This effectively calculates the refined index for M-theory reduced on these Calabi-Yau geometries. interpretation 0.98 0.67 0.18 asserted 0.93
s2 Based on physical expectations we propose a product formula for the refined invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local P^1. contribution 0.88 0.56 0.25 speculative 0.75
s3 We explicitly compute refined invariants in low degree for local P^2 and local P^1 x P^1 and check that they agree with the predictions of the direct integration of the generalized holomorphic anomaly and with the product formula. result 0.81 0.96 0.15 asserted 1.00
s4 The modularity of the expressions obtained in the direct integration approach allows us to relate the generating function of refined PT invariants on appropriate geometries to Nekrasov's partition function and a refinement of Chern-Simons theory on a lens space. result 0.67 0.81 0.17 asserted 0.99
s5 We also relate our product formula to wallcrossing. contribution 0.62 0.86 0.08 asserted 0.99

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

What was examined, and what was not

sources read
  • arXiv listing abstract v2
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. The figure shows boxes of type I− in red, boxes of type II in blue (light) and two uncolored positive cylinders corresponding to the partitions (3, 1, 1) and (1, 1). In local toric Calabi-Yau manifolds there are only two cylinders and no boxes of type III. A labeled box configuration is a collection of a finite number of boxes supported on I−∪II∪III, where a box at a type III weight w may be labeled by a one dimensional subspace of (Cw) 2 in (6.1). A box indicates the inclusion of the corresponding T-weight in Q. An unlabeled type III box indicates the inclusion of the entire two…

Figures reproduced from arXiv:1210.4403 by the authors.

References
How later papers used it

61 later papers cite it

Evidence: some. 46 of the citing papers share no author with it, and 3 of those carry a confident label from Pith's citation classifier.

Pith read 25 of the 121 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 6 papers with this label · 1 by the same authors

By the same authors

Uses its data or values 1 paper
How the literature uses it

62 arXiv papers cite this in 122 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 80 sentences without a confident label

Builds on it 1 paper
  • The refined BPS invariants [equation] are labelled by $β∈H_2(M,ℤ)$ and $j_L,j_R$, the $5d$ left and right spin [equation] If we define [equation] then ([ref]) generalizes with $u=e^iϵ_1$ and $v=e^iϵ_2$ to [equation] while ([ref]) generalizes to [ref] [See [ref] for a mathematical definition of the $N^β_j_Lj_R$ in the local case using the virtual Bialynicki-Birula decomposition of the moduli space Pandharipande-Thomas invariants.] [equation] For the E-string ([ref]) generalizes to Z_1=∑_j_L,j_R ∑_n_e=0^∞N^j_L,j_R_n_e,1 [j_L]_u [j_R]_v q^n_e = E_4(q)/ η(q)^8 ∏_n=1^∞ (1-u v q^n) (1-u q^n/v) (1-q^n/uv)(1-vq^n/u) .

    Topological String on elliptic CY 3-folds and the ring of Jacobi forms · Refined BPS invariants · 0.80

Uses its method or tool 6 papers
  • Computing Euler characteristics exactly as in [ref] or [ref] , we have by ([ref]) [equation] in agreement with the numbers in Tables [ref]–[ref].

    Topological String on elliptic CY 3-folds and the ring of Jacobi forms · Examples and Computations · 0.82

  • In a suitable range $d≤d(κ)$, we can use the projective model of the moduli space $P_n(M,κ)$ given by a $ℙ^(C_κ^2- K ·C_κ)/2$ bundle over $S^[d]$, together with its $SU(2)_-×SU(2)_+$ Lefshetz decomposition and the multiplicities of Weyl orbits to predict an infinite number of non-vanishing BPS numbers at arbitrary high base degree $b$: we start with any maximal left and maximal right spin ([ref],[ref]) and predict, using the methods of [ref] , the lower spin BPS degeneracies $N_j^max_–d_-/2,j^max_+-d_+/2^κ$ bounded by $d_++d_-≤d(κ)=2 n+1$.

    Refined BPS invariants of 6d SCFTs from anomalies and modularity · The E-string · 0.86

  • These can be directly calculated from the geometry reflecting the affine group structure, i.e. the intersection matrix $Â$ in ([ref]) using $N^[Σ_I]_0,1/2=1$, $I=0,…r$ for rational curves [ref] as well as the general multi cover formula ([ref]), which leads to ([ref]).

    Elliptic Blowup Equations for 6d SCFTs. II: Exceptional Cases · Geometry of elliptic fibrations · 0.94

Uses its data or values 1 paper
  • We have [ These are given at $ħ$=0.] F_0(t)= -118t^3-∑_j_L, j_R ∑_w, d N^d_j_L, j_R (2 j_L+1) (2 j_R+1) (-1)^2 j_L+2 j_R ^-d w t/w^3 = log^3(z)/18+z (-log^2(z)-3)+z^2 (15 log^2(z)/2+6 log(z)+189/8)+O(z^3)F_1^NS(t)=124t+∑_j_L, j_R ∑_w, d N^d_j_L, j_R m_L m_R ( m_L^2+ m_R^2-3) ^-d wt/24 w= 1/24 log(27 z+1/z)F_2^NS(t)= - ∑_j_L, j_R ∑_w, d N^d_j_L, j_R m_L m_R w (-1)^ m_L+ m_R^-d wt)/5760 (3 m_L^4+10 m_L^2 ( m_R^2-3)+3 m_R^4-30 m_R^2+51) =-29 z/640+561 z^2/160-20091 z^3/128+ 1898037 z^4/320+𝒪(z^5)F_3^NS(t)=- ∑_j_L, j_R ∑_w, d N^d_j_L, j_R m_L m_R w^3 (-1)^ m_L+ m_R+1 ^-d w t/967680 (3 ( m_L^6+7 m_L^4 ( m_R^2-3)+7 m_L^2 ( m_R^4-10 m_R^2+17)+ m_R^4 ( m_R^2-21)) +357 m_R^2-457 ) = -101329821 z^4/17920+2678163 z^3/35840-1449 z^2/2560+137 z/322560+𝒪(z^5),where we denote $t= t^(0)$ and we use the BPS $N^d_j_L, j_R$ invariants listed in [ref] .

    Spectral determinants and quantum theta functions · The large radius point · 1.00

Compares with it 5 papers
  • Its geometric identification with the symmetrized index of [ref] requires comparison of the square root, equivariant lift, branch, and variable conventions.

    Topological String Blowup Equations via Stable Pairs · Blowup equations and coefficient recursion · 0.97

  • in which [equation] becomes the $j$-function of the massless $SU(2)$ Seiberg-Witten curve compare ([ref]) and the Chern-Simons limit discussed for the refined case in [ref] .

    Refined stable pair invariants for E-, M- and [p,q]-strings · $O(-K_F_0) →F_0$ · 0.98

  • We observe that these relations agree with [ref], [ref], after identifying [ref] [equation] We shall now apply these relations to determine the GV invariants $(Q)$ and $(Q)-1$ for degree $Q=κd$ with $d∈ℕ$ for the 13 hypergeometric CY threefolds.

    Quantum geometry, stability and modularity · GV invariants at maximal and submaximal genus · 0.97

Cites it as background 23 papers
  • This conjecture involves two generating functionals of enumerative invariants of a toric Calabi–Yau threefold $X$: the Nekrasov–Shatashvili (NS) limit [ref] of the refined topological string free energy [ref] , which we will call for simplicity the NS free energy, and the standard topological string free energy in the GV representation.

    Operators from mirror curves and the quantum dilogarithm · Comparison with the conjecture of CITEMARK36Z · 0.91

  • The ingredients that enter into the quantization condition are the Nekrasov-Shatashvili limit of the refined topological string free energy [ref] , $$, and the quantum mirror map [ref] . $$ encodes integer invariants associated to the Calabi-Yau $$ [ref] .

    Quantization condition from exact WKB for difference equations · The conjectured quantization condition · 0.84

  • In five-dimensional supersymmetric theories with eight supercharges and an $U(1)_R$ $R$-symmetry living on space-time, which have at least an $U(1)_L ×U(1)_R$ isometry acting as a subgroup of the rotation group $SO(4)$, such an index for refined BPS states has been suggested in [ref] and mathematical rigerously defined in [ref] [ref] as Z_BPS(ϵ_L,ϵ_R,t) = Tr_BPS (-1)^2 (J_L+J_R) e^-2 ϵ_L J_L e^-2 ϵ_R J_R e^-2ϵ_R J_R e^βH .

    Refined stable pair invariants for E-, M- and [p,q]-strings · Introduction · 0.88

What it cites · 16 sentences without a confident label

Uses the method or tool of 4 papers
  • Then the construction of [ref] associates to $(M,W=0)$ a virtual motive[Our sign convention is chosen to match both the conventions of physics and the work [ref] of Nekrasov and Okounkov to be discussion in Section [ref].] [equation]

    Motivic degree zero Donaldson-Thomas invariants · Virtual Bialynicki-Birula decomposition · 0.91

  • This is not an obstacle, since the PT invariants can be calculated anyway by localization [ref] .

    The 3-fold vertex via stable pairs · Local $^2$ · 0.98

  • To calculate the 5d BPS index, the B-model approach using the refined holomorphic anomaly equation combined with the direct integration approach [ref] [ref] to non-compact geometries is the most efficient method.

    Holomorphicity and Modularity in Seiberg-Witten Theories with Matter · Conclusions · 0.92

Compares with 1 paper
Cites as background 2 papers

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.