Hilbert Series and Complete-Intersection Structure of Coulomb Branches for Non-Maximal Nilpotent Orbits of $SL(N)$

Ayush Kumar

arxiv: 2602.01028 · v3 · submitted 2026-02-01 · ✦ hep-th

Hilbert Series and Complete-Intersection Structure of Coulomb Branches for Non-Maximal Nilpotent Orbits of SL(N)

Ayush Kumar This is my paper

Pith reviewed 2026-05-16 09:15 UTC · model grok-4.3

classification ✦ hep-th

keywords Coulomb branchHilbert seriesComplete intersectionNilpotent orbitQuiver gauge theoryHall-Littlewood polynomialPlethystic logarithmMonopole formula

0 comments

The pith

Coulomb branches of T_ρ(SU(N)) theories for non-maximal nilpotent orbits of SL(N) are complete intersections with exactly N-1 relations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper computes exact Hilbert series for the Coulomb branches of three-dimensional N=4 quiver theories T_ρ(SU(N)) attached to non-maximal nilpotent orbits. It uses the closed-form Hall-Littlewood expression and cross-checks with the monopole formula for all partitions of N=4 and selected cases for N=5 and 6. Analysis of the plethystic logarithms shows that every such branch is a complete intersection whose generators and relations are governed by the transpose partition ρ^T. The number of relations is always N-1, independent of the choice of ρ. The authors present explicit tables and conjecture that the pattern continues for arbitrary N.

Core claim

Using the Hall-Littlewood closed form for the Coulomb-branch Hilbert series of T_ρ(SU(N)) together with independent monopole-formula checks, the paper finds that for every non-maximal partition ρ of N=4 (and selected cases for N=5,6) the Coulomb branch is a complete intersection. The plethystic logarithm yields a uniform count of generators determined by ρ^T and exactly N-1 relations that does not depend on the specific partition ρ.

What carries the argument

The Hall-Littlewood formula for the Coulomb-branch Hilbert series, whose plethystic logarithm directly supplies the generators and relations that establish the complete-intersection property.

If this is right

The algebraic structure of these Coulomb branches is uniform across all non-maximal orbits at low rank.
The number of relations remains fixed at N-1 for every partition ρ of the same N.
Explicit classification tables organize generators and relations by the transpose partition ρ^T.
Conjectures extend the same complete-intersection pattern to arbitrary N.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the pattern holds for all N, the same uniformity may appear in the Higgs branches of the mirror theories.
The fixed relation count N-1 could be linked to the rank of the gauge group or the dimension of the nilpotent orbit closure.
Similar plethystic-logarithm tests might classify complete-intersection structure for other families of three-dimensional N=4 theories.

Load-bearing premise

The plethystic logarithm of the computed Hilbert series detects every algebraic relation without overlooking higher syzygies, and the Hall-Littlewood formula applies unchanged to the non-maximal orbits.

What would settle it

An explicit Hilbert series computation for any non-maximal partition of N=7 whose plethystic logarithm either fails to terminate at degree 2 or produces a number of relations other than exactly 6.

read the original abstract

We study the Coulomb branches of three-dimensional $\mathcal N=4$ quiver gauge theories of type $T_\rho(SU(N))$ associated with non-maximal nilpotent orbits of $SL(N)$. Using the Hall--Littlewood closed form for Coulomb-branch Hilbert series, together with independent checks from the monopole formula, we compute exact unrefined Hilbert series for all non-maximal partitions $\rho\vdash N$ with $N=4$, and extend the analysis to $N=5,6$. By analyzing the plethystic logarithms of the resulting Hilbert series, we find that in all cases examined the Coulomb branch is a complete intersection. The number of generators and relations follows a uniform pattern governed by the transpose partition $\rho^T$, with exactly $N-1$ relations appearing independently of $\rho$ in these examples. We summarize the results in explicit classification tables and formulate conjectures extending these patterns to arbitrary $N$. Our findings provide strong evidence for a remarkable uniformity in the algebraic structure of Coulomb branches within the $T_\rho(SU(N))$ family at low rank.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Explicit Hilbert series for small-N non-maximal orbits show complete intersections with exactly N-1 relations, backed by closed-form checks.

read the letter

The main thing to know is that this paper computes exact unrefined Hilbert series for the Coulomb branches of T_ρ(SU(N)) quivers tied to non-maximal nilpotent orbits, covering every such partition at N=4 and selected ones at N=5 and 6. From the plethystic logarithms of those series it concludes that every case is a complete intersection, always with precisely N-1 relations independent of the choice of ρ, and it tabulates the generators and relations accordingly. The computations rest on the Hall-Littlewood closed form with direct monopole-formula cross-checks for the small-N cases, and because the series are exact rational functions the plethystic log terminates cleanly after N-1 negative terms, which rules out undetected higher syzygies in the examples given. That uniformity is the concrete new observation. The tables and the explicit series are useful data points that were not already in the cited literature. The cross-checks give some independent grounding, and the fact that everything is closed-form rather than truncated or numerical makes the complete-intersection claim for these ranks reliable. The soft spot is that the work stays at low rank and turns the observed pattern into a conjecture for general N without supplying an algebraic derivation of why the relation count is fixed at N-1. The dependence on the imported Hall-Littlewood expression is acknowledged, so the uniformity is seen rather than proved from scratch, but the explicit checks still make the small-N results solid. No obvious inconsistencies or fitting issues appear in the approach. This is for people already working on 3d N=4 theories, nilpotent orbits, and Coulomb-branch geometry who need concrete examples or want to test broader conjectures. A reader looking for data tables and reproducible series will get direct value. It deserves a serious referee because the computations are explicit, the claim is falsifiable with the stated methods, and the pattern is sharp enough to be worth expert scrutiny.

Referee Report

0 major / 3 minor

Summary. The manuscript computes exact unrefined Hilbert series for the Coulomb branches of 3d N=4 quiver gauge theories T_ρ(SU(N)) associated to non-maximal nilpotent orbits of SL(N). It employs the Hall-Littlewood closed-form expression, cross-checked against the monopole formula for all non-maximal partitions with N=4 and selected cases up to N=6. Plethystic logarithms of these rational functions are shown to terminate after exactly N-1 negative terms, establishing that the branches are complete intersections whose generators and relations follow a uniform pattern controlled by the transpose partition ρ^T, with N-1 relations independent of ρ in the examined cases. Classification tables are provided and conjectures are formulated for arbitrary N.

Significance. The explicit closed-form Hilbert series and the observed termination of the plethystic logarithm supply concrete, falsifiable data on the algebraic structure of these Coulomb branches. If the uniformity pattern extends, the work identifies a simple organizing principle (N-1 relations independent of ρ) that links the geometry of non-maximal nilpotent orbits directly to the quiver data, offering a useful benchmark for general classifications of 3d N=4 moduli spaces.

minor comments (3)

[§3.1, Table 1] §3.1, Table 1: the column headers for the number of generators and relations would be clearer if they explicitly referenced the transpose partition ρ^T rather than leaving the dependence implicit.
[§2] §2: the Hall-Littlewood closed-form expression is imported from prior literature; adding a one-sentence reminder of the precise reference and the conditions under which it applies to non-maximal orbits would aid readers.
[§4] §4 (Conjectures): the statement that the pattern holds 'independently of ρ' should be qualified as 'in all cases examined' to avoid any ambiguity between the proven computations and the conjectural extension.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, along with the recommendation for minor revision. The referee summary accurately captures our computations of unrefined Hilbert series via the Hall-Littlewood formula, the cross-checks with the monopole formula, the termination of plethystic logarithms after N-1 terms, and the resulting conjectures on the complete-intersection structure controlled by ρ^T. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity: external Hall-Littlewood formula and monopole cross-checks yield explicit series whose plethystic logarithms are computed outputs

full rationale

The derivation imports the Hall-Littlewood closed-form Hilbert series from prior literature and validates it against the independent monopole formula for each examined partition. The complete-intersection property and the uniform count of N-1 relations are read off from the explicit termination of the plethystic logarithm after precisely N-1 negative terms in the resulting rational functions; this termination is a direct computational consequence rather than an input assumption or self-definition. No step equates a derived quantity to a fitted parameter or reduces the central claim to a self-citation chain. The pattern is therefore an observed output of the explicit calculations for N=4 (all cases) and selected higher-N partitions, with conjectures for general N stated separately.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of the Hall-Littlewood closed-form expression for the Coulomb-branch Hilbert series and on the interpretation of its plethystic logarithm as revealing the complete-intersection structure.

axioms (1)

domain assumption The Hall-Littlewood closed form gives the exact unrefined Hilbert series for the Coulomb branches of T_ρ(SU(N)) theories
Invoked as the primary computational tool for all listed partitions.

pith-pipeline@v0.9.0 · 5492 in / 1460 out tokens · 37306 ms · 2026-05-16T09:15:53.046557+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Using the Hall–Littlewood closed form for Coulomb-branch Hilbert series... By analyzing the plethystic logarithms... exactly N−1 relations appearing independently of ρ
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the Coulomb branch is a complete intersection... uniform pattern governed by the transpose partition ρ^T

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.