Pith. Sign in

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.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 19, 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 →

· 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.23752 (version 1)
Pith IDAMORMYZH, Pith's permanent record of this paper and its review
CitationGuillaume Tahar, Omar Kidwai. "Spectral networks, finite webs, and the $T_3$ cubic differential." arXiv:2610.23752 (2026). https://pith.science/paper/AMORMYZH
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
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

This paper studies spectral networks for the unique cubic differential on the Riemann sphere with exactly three double poles, called the T3 cubic differential. The authors prove that the behavior of the spectral network is completely controlled by whether the phase angle is rational or irrational in the sense that its tangent lies in √3 Q ∪ {∞}. At rational phases the network coincides with its initial step, every trajectory is a double wall (and thus belongs to a finite web), and the sphere is decomposed into either 2/3 Δ_ϑ or 6 Δ_ϑ equilateral triangles of equal size, where Δ_ϑ is the Eisenstein determinant of the slope. At irrational phases the network is dense in the sphere and supports no double walls or finite webs at all. This provides a rigorous geometric foundation for earlier physical predictions about the BPS spectrum of a fundamental SU(3) building block in four-dimensional N=2 quantum field theory.

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

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

  • 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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-20: 1 request, 4,366 input tokens.

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

The abstract, sentence by sentence

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

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.99 · 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. Construction of spectral networks from cubic differentials with second order poles.
Figure 2. The double wall incoming (dotted red) to a joint produces double walls (dotted
Figure 3. Joint lift (only one orientation is shown for each chain).
Figure 4. Canonical lifting walls and near conical singularities.
Figure 5. Canonical lifting A crucial point, itself of independent interest, is the following. Lemma 2.7. Suppose φ is a meromorphic cubic differential with at most simple zeroes. The central charge Z(γ) of any canonical lift γ ∈ Γ of a finite web supported on Wϑ(φ) is nonzero of phase ϑ + π 2 (up to rotation by 2π 6 ). Proof. We prove it first locally around a joint; the general case follows. Assume ϑ = 0, which we may always do by first rotating φ. Take a chart in the flat structure around a joint. Without loss of generality, we centre it at the origin in C, the differential is given by…
Figure 6. Central charge around a joint. 10
Figure 7. The flat surface and its spectral cover.
Figure 8. Networks on X and Σ in the ramified case. Unramified rational slopes Following Lemma 3.6, when ϑ is unramified, trajectories of W̃(0) ϑ are saddle connections of Σ, each containing exactly one point among A, B and C. Thus, W̃(0) ϑ is formed by exactly 9 double walls. We denote by ℓP,i the double wall (in W̃(0) ϑ ) containing P ∈ {A, B, C} of slope R i−1ϑ for i ∈ {1, 2, 3}. We deduce from Lemma 3.7 that for each P ∈ {A, B, C}, the three double walls ℓP,1, ℓP,2, ℓP,3 have only triple intersection points. There are ∆ϑ such points, denoted by IP,1, . . . , IP,∆ϑ (the point P is one
Figure 9. Networks on X and Σ in the unramified case. 3.2 Lifted spectral networks: the case of irrational slopes In this section, we describe the lifted spectral network W̃ϑ for an irrational slope ϑ. Proposition 3.11. Consider an irrational slope ϑ. Then, the lifted spectral network W̃ϑ on Σ satisfies the following conditions: ● for any k ∈ N, W̃(k) ϑ is dense in Σ; ● W̃ϑ does not contain any double wall. Proof. Following Lemma 3.5, any trajectory of the lifted spectral network W̃ϑ is dense in Σ. If there is a double wall in W̃ϑ, its projection must be a double wall in Wϑ, so by Lemma 2.5
Figure 10. Networks plotted numerically by Hollands-Neitzke.

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.