REVIEW
Spectral networks, finite webs, and the $T_3$ cubic differential
Algebraic Geometry · Submitted 16 Oct 2026 · 38 references
Pith's verdict: Solid proof of the spectral network structure for the T3 cubic differential, confirming and sharpening the Hollands-Neitzke conjecture. The general definitions of finite webs are a nice bonus.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
For the T3 cubic differential, spectral networks at rational phases are exactly the initial network, every trajectory is a double wall, and the sphere is tiled by a specific number of equilateral triangles; at irrational phases the…
The reading
What carries the argument
The key machinery is the identification of the spectral cover (canonical triple cover) of the T3 cubic differential with the equilateral flat torus C/(Z+ωZ), where ω = $e^{{2πi/3}}$ (Lemma 3.1). This reduces the problem of describing spectral networks on the sphere to that of analyzing directional foliations on a flat torus. On the torus, the rationality of the slope determines whether leaves are closed (rational) or dense (irrational). The Eisenstein determinant Δ_ϑ = p²−pq+q² for a primitive integer vector (p,q) controls the number of intersections between leaves and the count of triangles in the resulting triangulation. The authors also prove general lemmas about finite webs and canonical lifts for cubic differentials: every double wall lies in the image of some finite web, and the central charge of any canonical lift is nonzero with phase ϑ+π/2.
Extended reading notes
Core claim
The central discovery is a complete classification of the spectral networks W_ϑ(φ) for the T3 cubic differential φ. The classification depends on an arithmetic rationality condition: ϑ is called rational if tanϑ ∈ √3 Q ∪ {∞}, and irrational otherwise. For rational ϑ, with the slope written as √3·(q/(2p−q)) for coprime (p,q) and Eisenstein determinant Δ_ϑ = p²−pq+q², the network W_ϑ(φ) equals the initial network W_ϑ⁰(φ); every trajectory is a double wall (hence in the image of some finite web); and the network decomposes the Riemann sphere into 2Δ_ϑ/3 equilateral triangles when 3 divides Δ_ϑ (ramified case) or 6Δ_ϑ equilateral triangles when 3 does not divide Δ_ϑ (unramified case). For irrational ϑ, the network is dense in the sphere and contains no double walls or finite webs. This confirms and sharpens the numerical observations that originally motivated the work.
Load-bearing premise
The whole analysis rests on the claim (Lemma 3.1) that the flat surface defined by the T3 cubic differential is isometric to the conical flat surface obtained by gluing two equilateral triangles, and that its spectral cover is the equilateral torus C/(Z+ωZ); if this geometric identification were incorrect, the reduction to foliations on a torus would fail.
Editorial extensions
If this is right
- The explicit tiling of the sphere by equilateral triangles provides an exact count of Stokes regions and double walls, enabling a rigorous computation of BPS indices for the T3 theory (the E₆ Minahan–Nemeschansky superconformal field theory).
- The result shows that for this fundamental building block of SU(3) class-S theories, the spectral network algorithm terminates at the initial step for every rational phase, dramatically simplifying the determination of the BPS spectrum.
- The non-vanishing central charge of canonical lifts (Lemma 1.2) ensures that each finite web corresponds to a physical BPS particle with non-zero mass, confirming that the BPS spectrum is indeed captured by these web configurations.
- The dense behaviour at irrational phases implies the absence of BPS states at those phases, consistent with the expected discreteness of the BPS spectrum as a function of the central charge phase.
Reading between the lines
- The same strategy of identifying the spectral cover with a highly symmetric flat torus could be applied to other cubic differentials whose spectral cover is a Riemann surface of genus one with a small number of branch points, potentially yielding further explicit classifications.
- The decomposition into equilateral triangles suggests that the Stokes regions for the WKB analysis of the associated T3 equation are all triangular, which may simplify the exact computation of Stokes data and Voros coefficients for this ODE.
- The arithmetic distinction between ramified (3|Δ_ϑ) and unramified (3∤Δ_ϑ) rational slopes might correspond to a subtlety in the charge lattice: in the ramified case the three ramification points lie on a single closed leaf, implying that the finite web is connected in a different topological way.
- The general definitions and lemmas on finite webs and canonical lifts for cubic differentials (Section 2) are independent of the T3 example and are expected to be useful for classifying higher-rank spectral networks beyond quadratic differentials.
Original abstract
We describe spectral networks for cubic differentials on $\mathbf{P}^1$ with exactly three poles all of order two, following observations of Hollands-Neitzke. To do so, we give a precise definition and establish some basic properties of a class of finite webs (corresponding to BPS states in physics) in the cubic differential setting, including their non-vanishing central charge. Turning to the example, we prove that at rational angles the network is totally degenerate; the number of walls and Stokes regions is explicitly computed and depends on an arithmetic criterion. At all other angles, the spectral network is dense in the surface and contains no finite webs, as expected. Physically, this example corresponds to a fundamental building block for a large class of four-dimensional $\mathcal{N}=2$ QFTs with gauge group $\mathrm{SU}(3)$.
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.
The abstract, sentence by sentence
We describe spectral networks for cubic differentials on $\mathbf{P}^1$ with exactly three poles all of order two, following observations of Hollands-Neitzke. To do so, we give a precise definition and establish some basic properties of a class of finite webs (corresponding to BPS states in physics) in the cubic differential setting, including their non-vanishing central charge. Turning to the example, we prove that at rational angles the network is totally degenerate; the number of walls and Stokes regions is explicitly computed and depends on an arithmetic criterion. At all other angles, the spectral network is dense in the surface and contains no finite webs, as expected. Physically, this example corresponds to a fundamental building block for a large class of four-dimensional $\mathcal{N}=2$ QFTs with gauge group $\mathrm{SU}(3)$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We describe spectral networks for cubic differentials on $\mathbf{P}^1$ with exactly three poles all of order two, following observations of Hollands-Neitzke. | contribution 0.89 | 0.78 | 0.09 | asserted 0.99 |
| s1 | To do so, we give a precise definition and establish some basic properties of a class of finite webs (corresponding to BPS states in physics) in the cubic differential setting, including their non-vanishing central charge. | contribution 0.79 | 0.94 | 0.11 | asserted 0.99 |
| s2 | Turning to the example, we prove that at rational angles the network is totally degenerate; the number of walls and Stokes regions is explicitly computed and depends on an arithmetic criterion. | result 0.99 | 0.94 | 0.32 | asserted 1.00 |
| s3 | At all other angles, the spectral network is dense in the surface and contains no finite webs, as expected. | result 0.99 | 0.74 | 0.21 | asserted 0.98 |
| s4 | Physically, this example corresponds to a fundamental building block for a large class of four-dimensional $\mathcal{N}=2$ QFTs with gauge group $\mathrm{SU}(3)$. | interpretation 0.99 | 0.21 | 0.08 | asserted 0.99 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.23752 by the authors.
References
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.