2025-11-20T06:19:15.090825

Three Dimensional Topological Field Theories and Nahm Sum Formulas

Gang, Kim, Park et al.
It is known that a large class of characters of 2d conformal field theories (CFTs) can be written in the form of a Nahm sum. In \cite{Zagier:2007knq}, D. Zagier identified a list of Nahm sum expressions that are modular functions under a congruence subgroup of $SL(2,\mathbb{Z})$ and can be thought of as candidates for characters of rational CFTs. Motivated by the observation that the same formulas appear as the half-indices of certain 3d $\mathcal{N}=2$ supersymmetric gauge theories, we perform a general search over low-rank 3d $\mathcal{N}=2$ abelian Chern-Simons matter theories which either flow to unitary TFTs or $\mathcal{N}=4$ rank-zero SCFTs in the infrared. These are exceptional classes of 3d theories, which are expected to support rational and $C_2$-cofinite chiral algebras on their boundary. We compare and contrast our results with Zagier's and comment on a possible generalization of Nahm's conjecture.
academic

Three Dimensional Topological Field Theories and Nahm Sum Formulas

Basic Information

  • Paper ID: 2411.06081
  • Title: 3d Topological Field Theories and Nahm Sum Formulas
  • Authors: Dongmin Gang, Heeyeon Kim, Byoungyoon Park, Spencer Stubbs
  • Classification: hep-th (High Energy Physics - Theory), math.NT (Number Theory)
  • Publication Date: November 2024 (Latest version: October 1, 2025 v3)
  • Paper Link: https://arxiv.org/abs/2411.06081

Abstract

This paper investigates the profound connection between Nahm sum representations of 2-dimensional conformal field theory (CFT) characters and 3-dimensional topological field theories (TFTs). D. Zagier previously identified a series of Nahm sum expressions that are modular functions under congruence subgroups of SL(2,ℤ), serving as candidates for rational CFT characters. The authors discover that these formulas naturally emerge in the half-indices of certain 3-dimensional N=2 supersymmetric gauge theories, motivating a systematic search of low-rank 3-dimensional N=2 abelian Chern-Simons matter theories that flow in the infrared to unitary TFTs or rank-zero N=4 superconformal field theories (SCFTs). The boundaries of these theories are expected to support rational and C₂-cofinite chiral algebras. The results are compared with Zagier's list, and possible generalizations of the Nahm conjecture are discussed.

Research Background and Motivation

Problems to be Addressed

This paper aims to establish precise correspondences between the following three mathematical physics objects:

  1. Characters of 2-dimensional rational conformal field theories (RCFTs) - expressible via Nahm sum formulas
  2. 3-dimensional topological field theories - particularly those flowing from N=2 supersymmetric gauge theories
  3. Modular function theory - number-theoretic structures involved in the Nahm conjecture

Importance of the Problem

  1. Classification Problem: The classification of 2-dimensional rational CFTs is a central problem in theoretical physics and mathematics, receiving widespread attention since the pioneering work of Mathur-Mukhi-Sen
  2. Bulk-Boundary Correspondence: Understanding the relationship between 3-dimensional TFTs and their boundary 2-dimensional vertex operator algebras (VOAs) represents an important recent development
  3. Mathematical Physics Intersection: The Nahm conjecture connects modular functions, torsion elements of the Bloch group, and conformal field theory, representing a deep intersection of number theory and physics

Limitations of Existing Approaches

  1. Nahm-Zagier's Work: While identifying many modular Nahm sums, it primarily approaches from a pure mathematics perspective, lacking physical interpretation
  2. Incompleteness: Zagier's list only includes matrices satisfying specific condition (i), not all cases producing modular functions
  3. Integer Restriction: Chern-Simons levels in physical theories must be integers, whereas mathematics can consider rational numbers

Research Motivation

The authors observe that Nahm sum formulas (1.3) naturally appear as half-indices of specific 3-dimensional N=2 U(1)ʳ Chern-Simons matter theories:

χ(A,B,C)(q)=mNrq12mtAm+Btm+C(q)m1(q)mr\chi_{(A,B,C)}(q) = \sum_{m\in\mathbb{N}^r} \frac{q^{\frac{1}{2}m^t A m + B^t m + C}}{(q)_{m_1}\cdots(q)_{m_r}}

where the matrix A corresponds to the mixed Chern-Simons level matrix K, providing a new systematic approach to searching for modular Nahm sums from a physics perspective.

Core Contributions

  1. Systematic Classification: Exhaustive search of positive definite integer K matrices (r=1,2,3 with element ranges -17 to 17), identifying theories flowing to rank-zero SCFTs or unitary TFTs
  2. New Examples Discovery:
    • Found 27 distinct rank-zero SCFT candidates, organizable into 8 duality classes
    • Identified multiple infinite families of unitary TFTs
    • Discovered new modular functions not appearing in Zagier's list
  3. Generalization of Nahm Conjecture: Proposed modified Nahm sum formulas containing sign factors (-1)^{α^t m}, corresponding to different spin structure choices on the boundary torus
  4. Physical Realization: Provided 3-dimensional gauge theory implementations for multiple known RCFTs (such as Virasoro minimal models M(2,5), super-Virasoro minimal models SM(2,8), W₃ minimal models, etc.)
  5. Duality Verification: Extensive infrared duality verification through computing various supersymmetric partition functions (superconformal indices, three-sphere partition functions, half-indices)

Detailed Methodology

Task Definition

Input: Positive definite integer symmetric matrix K (r×r, r≤3), and set of 1/2 BPS monopole operators {Oᵢ}

Output: Determine whether theory TK,{Oᵢ} flows to rank-zero SCFT or unitary TFT, and identify boundary VOA

Constraints:

  • K is positive definite symmetric integer matrix
  • Existence of (r-1) linearly independent gauge-invariant 1/2 BPS monopole operators
  • Superconformal R-charge satisfies specific quantization conditions

Theoretical Framework

3-dimensional N=2 Abelian Chern-Simons Matter Theory

Consider the theory class: T[K,{OI}]:=(TΔ)rU(1)Kr with superpotential W=I=1NOOIT[K,\{O_I\}] := \frac{(T_\Delta)^r}{U(1)^r_K} \text{ with superpotential } W = \sum_{I=1}^{N_O} O_I

where:

  • TΔT_\Delta is the free theory of a single chiral field with background CS level -1/2
  • Gauge charge matrix chosen as Qij=δijQ_{ij}=\delta_{ij}
  • UV effective CS level is K12IK-\frac{1}{2}I

1/2 BPS Monopole Operators

Gauge-invariant chiral primary operators constructed as: O(n,m):=(i=1rϕini)VmO_{(n,m)} := \left(\prod_{i=1}^r \phi_i^{n_i}\right) V_m

Must satisfy gauge invariance and 1/2 BPS conditions: Qi=ni+jKijmj12(mi+mi)=0,nimi=0Q_i = n_i + \sum_j K_{ij}m_j - \frac{1}{2}(|m_i|+m_i) = 0, \quad n_i m_i = 0

R-symmetry Mixing

General R-charge can mix with topological symmetry: Rμ=R+μTR_{\vec{\mu}} = R_* + \vec{\mu}\cdot\vec{T}

After superpotential deformation, mixing parameters restricted to affine subspace: M[K,{OI}]={μRr:Rμ(OI)=2,I}\mathcal{M}[K,\{O_I\}] = \{\vec{\mu}\in\mathbb{R}^r : R_{\vec{\mu}}(O_I) = 2, \forall I\}

For (r-1) superpotential terms, this is a one-dimensional affine space: M={μ=μ0+νa:νR}\mathcal{M} = \{\vec{\mu} = \vec{\mu}_0 + \nu\vec{a} : \nu\in\mathbb{R}\}

Criteria for Identifying Rank-Zero Theories

Theory TK,{Oᵢ} flowing to N=4 rank-zero SCFT must satisfy:

(a) Operator Condition: Existence of (r-1) linearly independent 1/2 BPS CPOs satisfying gauge invariance

(b) R-charge Quantization: Superconformal R-charge satisfies μ0(12Z)r\vec{\mu}_0\in(\frac{1}{2}\mathbb{Z})^r

  • This is because after N=4 enhancement Rν=0=J3C+J3H12ZR_{\nu=0} = J^C_3 + J^H_3 \in \frac{1}{2}\mathbb{Z}
  • This condition is highly restrictive, as μ0\vec{\mu}_0 is determined by F-maximization, typically transcendental

(c) Index Condition:

  • (i) Isci(q,ν=±1,η=1)=1I_{\text{sci}}(q, \nu=\pm1, \eta=1) = 1 (trivial Higgs/Coulomb branches)
  • (ii) Isci(q,ν=0,η)1I_{\text{sci}}(q, \nu=0, \eta) \neq 1 (non-trivial SCFT)

Supersymmetric Partition Function Calculations

Superconformal Index

Isci(q,η,ν)=TrH(S2)(1)RνqRν/2+j3ηAI_{\text{sci}}(q,\eta,\nu) = \text{Tr}_{\mathcal{H}(S^2)}(-1)^{R_\nu} q^{R_\nu/2+j_3}\eta^A

For theory TK,{Oᵢ}: Isci(q,η,ν)=miZi=1rdzi2πizii,jziKijmjiIΔ(mi,zi)(ζi(q1/2)μi)miI_{\text{sci}}(q,\eta,\nu) = \sum_{m_i\in\mathbb{Z}} \oint \prod_{i=1}^r \frac{dz_i}{2\pi iz_i} \prod_{i,j} z_i^{K_{ij}m_j} \prod_i I_\Delta(m_i,z_i)(\zeta_i(-q^{1/2})^{\mu_i})^{m_i}

where IΔ(m,z)I_\Delta(m,z) is the tetrahedron index.

F-maximization

Superconformal R-charge determined by maximizing free energy: F(μ):=logZSb=13K(μ)F(\vec{\mu}) := -\log|Z^{K}_{S^3_{b=1}}(\vec{\mu})|

Three-sphere partition function expressible as: ZSb3K(μ)=idZi2πexp(ZTKZ+2ZW2)iψ(Zi)Z^K_{S^3_b}(\vec{\mu}) = \int \prod_i \frac{dZ_i}{\sqrt{2\pi\hbar}} \exp\left(\frac{\vec{Z}^T K\vec{Z} + 2\vec{Z}\cdot\vec{W}}{2\hbar}\right) \prod_i \psi_\hbar(Z_i)

Half-Index and Nahm Sum

Under Dirichlet boundary conditions D, the half-index is: IhalfWQ(q,ν,η)=mNrq12mtKmηatm(q1/2)μtmqQtm(q)m1(q)mrI^{W_{\vec{Q}}}_{\text{half}}(q,\nu,\eta) = \sum_{m\in\mathbb{N}^r} \frac{q^{\frac{1}{2}m^t K m}\eta^{-\vec{a}^t m}(-q^{1/2})^{-\vec{\mu}^t m}q^{-\vec{Q}^t m}}{(q)_{m_1}\cdots(q)_{m_r}}

At the A-twist point ν=1,η=1\nu=-1, \eta=1, this should give the boundary VOA character: χA(q)=qΔIhalf(q,ν=1,η=1)\chi_A(q) = q^\Delta I_{\text{half}}(q,\nu=-1,\eta=1)

Technical Innovations

  1. Introduction of Sign Factors: Compared to standard Nahm sums, half-indices contain factors (q1/2)μtm(-q^{1/2})^{-\vec{\mu}^t m}, corresponding to (NS,NS) boundary conditions. This is a natural generalization of the Nahm conjecture.
  2. Generalization of Bethe Equations: 1xa=ζabxbKab1-x_a = \zeta_a \prod_b x_b^{K_{ab}} Compared to Nahm's equations, includes phase factors ζa=eiπμa\zeta_a = e^{i\pi\mu_a}
  3. Extraction of Modular Data: Direct extraction of TFT modular S and T matrices from partition functions: Tαβ=δαβexp[12πiiL(Xi(α))]T_{\alpha\beta} = \delta_{\alpha\beta}\exp\left[\frac{1}{2\pi i}\sum_i L(X_i^{(\alpha)})\right]
  4. Simple Object Criterion via Wilson Loops: Proposed two necessary conditions for UV Wilson loops flowing to IR simple lines:
    • WQ±sci(q,η=1,ν=1)=0\langle W^\pm_{\vec{Q}}\rangle_{\text{sci}}(q,\eta=1,\nu=-1) = 0 or ±qZ/2\pm q^{\mathbb{Z}/2}
    • WQ+WQsci(q,η=1,ν=1)=1\langle W^+_{\vec{Q}}W^-_{\vec{Q}}\rangle_{\text{sci}}(q,\eta=1,\nu=-1) = 1

Experimental Setup

Search Parameters

  • Rank: r = 1, 2, 3
  • Matrix Element Range: Kij[17,17]K_{ij} \in [-17, 17]
  • Positive Definiteness: K must be positive definite symmetric integer matrix
  • Redundancy Elimination: Through fundamental mirror duality and direct product relations

Computational Methods

  1. Index Calculation: Using residue theorem to compute multiple integrals of superconformal indices
  2. F-maximization: Numerical maximization of ZS3(μ)|Z_{S^3}(\vec{\mu})| to determine superconformal R-charge
  3. Bethe Vacua: Solving Bethe equations (A.10) to obtain vacuum sets
  4. Modular Data: Extracting S and T matrices through partition function values at Bethe vacua

Verification Strategy

Multiple tests for each candidate theory:

  • Whether superconformal index at A/B twist points equals 1
  • Whether R-charge satisfies half-integer quantization
  • Whether half-index matches known RCFT characters
  • Whether different superpotential choices yield dual theories
  • Whether partition functions satisfy modular properties

Experimental Results

Main Results

r=1 Case

Found unique theory (minimal rank-zero SCFT TminT_{\min}):

  • 1-1: K=(2)K=(2), no superpotential
  • μ0=(1)\vec{\mu}_0=(-1), a=(1)\vec{a}=(1)
  • Half-index reproduces M(2,5) character: IA[1]=q11/60χ(1,1)M(2,5),IA[W1]=q1/60χ(1,2)M(2,5)I_A[1] = q^{-11/60}\chi^{M(2,5)}_{(1,1)}, \quad I_A[W_1] = q^{1/60}\chi^{M(2,5)}_{(1,2)}

r=2 Case

Found 3 main examples:

2-1: K=(2111)=C(T2)K=\begin{pmatrix}2 & -1\\-1 & 1\end{pmatrix} = C(T_2)

  • Superpotential: (φ1)2V(0,2)(φ_1)^2V_{(0,2)}
  • Half-index: IA[1]=q19/96χFχ(1,1)SM(2,8)I_A[1] = q^{-19/96}\chi_F\chi^{SM(2,8)}_{(1,1)}
  • Corresponds to super-Virasoro minimal model SM(2,8) times free fermion

2-2: K=(2111)=C(T2)1K=\begin{pmatrix}2 & 1\\1 & 1\end{pmatrix} = C(T_2)^{-1}

  • Dual to 2-1 (via KK1K\leftrightarrow K^{-1})

2-3: K=(4222)K=\begin{pmatrix}4 & 2\\2 & 2\end{pmatrix}

  • Half-index reproduces M(2,7) character
  • Has 3 simple objects

r=3 Case: 8 Duality Classes

Class 1: T1=TminT_1 = T_{\min} (12 theories) All theories have identical superconformal index, flowing to TminT_{\min}. Representative examples:

  • 3-1: K=C(T3)=(211120101)K=C(T_3)=\begin{pmatrix}2&-1&-1\\-1&2&0\\-1&0&1\end{pmatrix}
    • Half-index: IA[1]=q3/80χF(q)χosp(12)1[1](q,x)x=q1/2I_A[1] = q^{3/80}\chi_F(q)\chi^{\text{osp}(1|2)_1}[1](q,x)|_{x=-q^{1/2}}
  • 3-2: Three different superpotential choices, all yielding M(2,5) character
  • 3-12 (infinite family): K=(a2+1a2aa2a2aaa2)K=\begin{pmatrix}a^2+1&a^2&a\\a^2&a^2&a\\a&a&2\end{pmatrix}, aZ{0}a\in\mathbb{Z}\setminus\{0\}

Class 2: (T1)2(T_1)^2 (1 theory)

  • 3-13: Index is square of T1T_1 index
  • Half-index: IA[1]=q11/30(χ(1,1)M(2,5))2I_A[1] = q^{-11/30}(\chi^{M(2,5)}_{(1,1)})^2

Class 3: T1×U(1)2T_1\times U(1)_2 (1 theory)

  • 3-14: Contains two examples, second half-index includes χF1\chi_F^{-1} factor (possibly indicating superpotential irrelevance)

Class 4: T2T_2 (3 theories)

  • 3-15: K=C(A3)K=C(A_3), half-index gives L1(osp(14))L_1(\text{osp}(1|4)) character
  • 3-16: Half-index gives M(2,7) character
  • 3-17: Another M(2,7) realization

Class 5: T3T_3 (1 theory)

  • 3-18: Half-index gives M(2,9) character, has 4 simple objects

Class 6: SM(2,8) theory (1)

  • 3-19: Half-index: IA[1]=q7/32χ(1,1)SM(2,8)I_A[1] = q^{-7/32}\chi^{SM(2,8)}_{(1,1)}

Class 7: SM(2,12) theory (3)

  • 3-20, 3-21, 3-22: Different implementations, all yielding SM(2,12) character

Class 8: W₃(3,7) minimal model (2)

  • 3-23, 3-24: Indices lack standard term (η+1/η)q3/2-(η+1/η)q^{3/2}
  • Half-indices reproduce W₃(3,7) characters

Unitary TFT Results

Found multiple infinite families:

U2-1: K=(a1a1aa)K=\begin{pmatrix}a&1-a\\1-a&a\end{pmatrix}, a1a\geq1

  • Half-index at ν2aZ\nu\in2a\mathbb{Z} gives U(1)aU(1)_a WZW model vacuum character

U3-1: Three-dimensional generalization, yields same U(1)aU(1)_a structure

U3-2: Flows to U(1)aSO(1)1U(1)_a\otimes SO(1)_1 CS theory

Comparison with Zagier Results

Complete Agreement Cases:

  • All integer (A,B) cases in Zagier Table 1 found in this classification
  • Including all integer cases of ADET-type matrices A=C(X)C(Y)1A=C(X)\otimes C(Y)^{-1}

New Discoveries in This Work:

  1. Modified Nahm sums with sign factors (corresponding to non-even μa\mu_a)
  2. Matrices not satisfying Nahm conjecture condition (i) (iD(Xi(α))0\sum_i D(X_i^{(\alpha)})\neq0) yet producing modular functions
  3. Multiple matrices not appearing in Zagier's list

Cases in Zagier but Not Found Here:

  1. K=(2+aaaaa1aa1aa)K=\begin{pmatrix}2+a&a&-a\\a&a&1-a\\-a&1-a&a\end{pmatrix} (a3a\geq3)
    • Reason: UV has two U(1)U(1) symmetries, but IR only one non-trivial
    • Violates simplified assumption (a)
  2. (A,B,C)=((211120102),(110),5/24)(A,B,C)=(\begin{pmatrix}2&1&1\\1&2&0\\1&0&2\end{pmatrix}, \begin{pmatrix}1\\1\\0\end{pmatrix}, 5/24)
    • Gives 12χ1U(1)2\frac{1}{2}\chi^{U(1)_2}_1, not corresponding to known RCFT vacuum character
    • UV Wilson loop does not flow to simple object

Statistical Summary

  • Rank-zero SCFTs: 27 distinct candidates, 8 duality classes
  • Unitary TFTs: Multiple infinite families
  • New Modular Functions: ~10 examples outside Zagier's list
  • RCFT Realizations: Covering M(2,p) series, SM(2,p) series, affine VOAs, W-algebras, etc.

Mathematical Background

Nahm Conjecture (Nahm, Zagier):

  • Original form connects Rogers dilogarithm L(x)L(x), Bloch-Wigner function D(z)D(z) with modularity
  • Calegari-Garoufalidis-Zagier provided weakened version and ruled out counterexamples

Modular Functions and Bloch Group:

  • Nahm connects modularity with Bloch group torsion elements
  • Zagier systematically searched low-rank cases

Physical Background

3d-3d Correspondence:

  • Dimofte-Gaiotto-Gukov established correspondence between 3-manifolds and 3-dimensional N=2 theories
  • This paper uses this framework to compute partition functions

Boundary VOA:

  • Costello-Gaiotto and subsequent work developed boundary VOA theory for 3-dimensional gauge theories
  • Creutzig et al. studied non-semisimple TFT cases

Rank-Zero Theories:

  • Gang-Yamazaki first discovered minimal rank-zero SCFT
  • Recent work (Ferrari-Garner-Kim, Creutzig-Garner-Kim) systematically studied boundary VOAs of rank-zero theories

Bulk-Boundary Correspondence:

  • Dedushenko et al., Gang et al. established precise correspondence between 3-dimensional TFTs and 2-dimensional RCFTs
  • This paper extends this correspondence to broader theory classes

Advantages Relative to Prior Work

  1. Systematicity: First exhaustive classification of low-rank abelian CS theories
  2. Physical Interpretation: Provides physical realization for mathematical results of Nahm-Zagier
  3. New Examples: Identifies modular functions not recognized in mathematical literature
  4. Generalization: Proposes Nahm conjecture generalization with sign factors

Conclusions and Discussion

Main Conclusions

  1. Classification Completeness: Systematic search of positive definite integer K matrices (r≤3) identifies all candidates flowing to rank-zero SCFTs or unitary TFTs
  2. Physical Realization: Provides 3-dimensional gauge theory implementations for multiple known RCFTs, including:
    • Virasoro minimal models M(2,p)
    • Super-Virasoro minimal models SM(2,p)
    • Affine VOAs Lk(osp(12))L_k(\text{osp}(1|2)), L1(osp(14))L_1(\text{osp}(1|4))
    • W₃ minimal models
  3. Nahm Conjecture Generalization: Proposes modified Nahm sum formulas with sign factors (1)αtm(-1)^{\alpha^t m}, corresponding to different spin structures
  4. New Modular Functions: Discovers multiple modular function examples outside Zagier's list
  5. Duality: Verifies multiple infrared dualities through partition function calculations

Limitations

  1. Search Range:
    • Limited to r≤3 and |Kᵢⱼ|≤17
    • Higher-rank or larger CS level theories not covered
    • Technical reason: large CS levels make monopole operator quantum dimensions too large, superpotential deformation becomes irrelevant
  2. Superpotential Relevance:
    • Systematic verification of superpotential deformation relevance condition R0(I1)(OI)<2R_0^{(I-1)}(O_I)<2 not performed
    • Some examples (e.g., 3-14-(2), 3-20) show χF1\chi_F^{-1} factors, possibly indicating superpotential irrelevance
  3. Boundary Condition Compatibility:
    • Strict proof of Dirichlet boundary condition compatibility with A/B-twist supercharge not provided
    • Some examples (3-6, 3-7, 3-8) have vanishing half-indices despite normal superconformal indices, suggesting possible boundary condition incompatibility
  4. Simple Object Identification:
    • Wilson loop criterion only identifies subset of simple objects
    • Some RCFT primary operators lack corresponding UV Wilson loop realization
    • Examples: 3-22's χ(1,3)SM(2,12)\chi^{SM(2,12)}_{(1,3)} and 3-24's χ(3,3,1)W3(3,7)\chi^{W_3(3,7)}_{(3,3,1)}
  5. Non-abelian Cases: Completely limited to abelian gauge groups; non-abelian generalizations unexplored

Future Directions

The paper proposes multiple open problems in Section 5 "Discussion":

  1. Systematic Analysis of Superpotential Relevance:
    • Numerical verification of superpotential relevance at each RG flow step
    • Understanding physical meaning of χF1\chi_F^{-1} factors
  2. Understanding Non-simple Lines:
    • Some UV Wilson loops flow to linear combinations of IR simple object lines
    • Example: 3-22: W(1,1,0)L1/3q1/2IW_{(1,1,0)} \to L_{-1/3} - q^{1/2}I
    • Requires deeper understanding of this phenomenon's physical mechanism
  3. Higher-Rank Generalization:
    • Extend search to r≥4
    • May require more efficient numerical methods
  4. Non-abelian Theories:
    • Study non-abelian CS matter theories
    • May correspond to richer RCFT structures
  5. Complete Proof of Nahm Conjecture:
    • Understand from physics perspective why certain matrices produce modular functions
    • Establish rigorous mathematical theory of sign factor version
  6. Deepening 4d/3d/2d Correspondence:
    • Understand role of 4-dimensional N=2 theories in this framework
    • Explore relationship with 4-dimensional BPS particles

Deep Evaluation

Strengths

1. Methodological Innovation

  • Interdisciplinary Perspective: Cleverly unifies number theory (Nahm conjecture), conformal field theory (RCFT classification), and supersymmetric gauge theory in single framework
  • Computational Techniques: Develops efficient systematic methods for computing half-indices, superconformal indices, and partition functions
  • Sign Factor Generalization: Identifies physical necessity of modified Nahm sums, important theoretical advance

2. Result Systematicity

  • Exhaustive Classification: Complete search within given parameter range without omissions
  • Multiple Verifications: Multiple partition function calculations for each candidate ensure reliability
  • Duality Verification: Systematic verification that different UV descriptions flow to same IR theory

3. Physical Insights

  • Bulk-Boundary Correspondence: Provides concrete 3-dimensional TFT realizations for abstract RCFTs
  • New RCFT Realizations: Discovers gauge theory implementations of complex VOAs like W₃(3,7)
  • Modular Data Extraction: Demonstrates direct extraction of TFT modular data from physical partition functions

4. Mathematical Contributions

  • New Modular Functions: Identifies modular functions not discovered in mathematical literature
  • Bethe Equation Generalization: Bethe equations with phase factors and connection to Rogers dilogarithm

5. Writing Quality

  • Clear paper structure, hierarchical from motivation to technical details
  • Appendix A provides detailed summary of partition function calculation conventions and formulas
  • Appendix B provides complete RCFT character expressions for reader verification

Weaknesses

1. Theoretical Rigor

  • Boundary Conditions: Strict proof of Dirichlet boundary condition maintaining QA/B invariance in IR not provided
  • SUSY Enhancement: N=4 enhancement inferred only through index calculation, lacking direct proof
  • Superpotential Relevance: Admits systematic verification of superpotential deformation relevance not performed; some examples potentially problematic

2. Search Range

  • Parameter Limitations: r≤3 and |Kᵢⱼ|≤17 restrictions may miss important examples
  • Non-abelian: Completely excludes non-abelian gauge groups, potentially missing richer RCFT structures
  • Simplified Assumptions: Assumption NO=r-1 excludes certain valid cases (e.g., example 4.28)

3. Technical Details

  • Numerical Precision: Numerical precision of F-maximization and Bethe equation solving not explicitly stated
  • Half-integer Verification: How is R-charge half-integer property numerically verified? What error tolerance?
  • Sign Factors: Phase δ∈ℚ in equation (A.21) lacks explicit calculation method

4. Physical Interpretation

  • χF⁻¹ Factors: χF1\chi_F^{-1} factors appearing in some examples lack clear physical interpretation
  • Vanishing Half-indices: Half-indices vanishing for 3-6, 3-7, 3-8 while superconformal indices normal—contradiction insufficiently discussed
  • Non-simple Lines: Mechanism of UV Wilson loops flowing to simple object line linear combinations unclear

5. Experimental Completeness

  • B-twist: Primarily focuses on A-twist; B-twist results limited
  • Line Operators: Only considers Wilson loops; other line operators like 't Hooft loops unexplored
  • Higher Genus: Primarily computes S³ and S²×S¹ partition functions; higher-genus Riemann surface results limited

Impact

1. Field Contributions

  • RCFT Classification: Provides new physics perspective on 2-dimensional RCFT classification
  • 3d/2d Correspondence: Significantly extends example library of 3-dimensional TFT and 2-dimensional VOA correspondence
  • Mathematical Physics Bridge: Provides physical interpretation and new examples for Nahm conjecture in number theory

2. Practical Value

  • Computational Tools: Developed partition function calculation methods applicable to other 3-dimensional theories
  • Systematic Criteria: Proposed rank-zero theory criteria usable in future theory searches
  • Duality Relations: Identified duality relations aid understanding of 3-dimensional theory IR dynamics

3. Reproducibility

  • Detailed Formulas: Appendices provide explicit expressions for all partition functions
  • Concrete Examples: Section 4 lists all discovered theories with complete parameters
  • Deficiency: Code not publicly released; numerical computation details insufficient

4. Subsequent Research

  • Subsequent work already cites and extends results
  • Provides new tools for understanding non-unitary RCFTs
  • May inspire similar research on 4-dimensional theories

Applicable Scenarios

1. Theoretical Physics Research

  • Study IR behavior of 3-dimensional N=2 supersymmetric gauge theories
  • Explore 3d/2d bulk-boundary correspondence
  • Understand SUSY enhancement mechanisms

2. Mathematical Physics

  • Verify and generalize Nahm conjecture
  • Study modular function-physics connections
  • Explore Bloch group and quantum field theory relationships

3. Conformal Field Theory

  • Find new RCFT realizations
  • Understand VOA modular properties
  • Study W-algebras and affine VOAs

4. Topological Field Theory

  • Construct new 3-dimensional TFTs
  • Understand TFT modular data
  • Study non-unitary TFTs

5. String Theory and M-theory

  • Understand theories on M5-branes
  • Study BPS state counting
  • Explore dualities

Limited Scenarios:

  • Not applicable to non-supersymmetric theories
  • Not directly applicable to higher-dimensional (≥4d) theories
  • Limited effectiveness for strongly-coupled non-abelian theories

References

The paper cites 66 important references, covering:

Mathematical Literature:

  • 1 D. Zagier, "The Dilogarithm Function" - main reference for Nahm conjecture
  • 12 W. Nahm, "Conformal field theory and torsion elements of the Bloch group"
  • 39 F. Calegari et al., "Bloch groups, algebraic K-theory, units, and Nahm's conjecture"

RCFT Classification:

  • 2 S. D. Mathur et al., "On the Classification of Rational CFTs"
  • 3 Y. Zhu, "Modular invariance of characters of VOAs"
  • 4-8 Recent RCFT classification work (Chandra-Mukhi, Mukhi-Rayhaun, etc.)

3d Gauge Theory:

  • 42 T. Dimofte et al., "Gauge Theories Labelled by Three-Manifolds"
  • 43-44 Kim, Imamura-Yokoyama on superconformal indices
  • 46-48 Jafferis et al. on F-maximization

Boundary VOA:

  • 26-28 Costello-Gaiotto and collaborators on boundary chiral algebras
  • 29 Creutzig et al. on non-semisimple TQFTs
  • 21-25 Recent work by Gang-Kim-Stubbs et al.

Partition Function Calculations:

  • 49 Hama-Hosomichi-Lee on squashed three-sphere
  • 61-62 Closset-Kim-Willett on twisted partition functions

These references form solid foundation for this work, demonstrating research at intersection of multiple frontiers.