Pith. Sign in

REVIEW

Geometries of Quantum Field Theories

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
Masahito Yamazaki

High Energy Physics - Theory · Submitted 23 Sep 2026 · 243 references

Pith's verdict: An honest translation of Yamazaki's 2015 Japanese book on the 3d-3d correspondence: zero new science by the author's own admission, clean pedagogy on standard material, with the conjectural pillars flagged but the framing claim about 'structure in theory space' oversold.

T0 · AI review

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

· 2 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2609.28210 (version 1)
Pith IDUOPF26SQ, Pith's permanent record of this paper and its review
CitationMasahito Yamazaki. "Geometries of Quantum Field Theories." arXiv:2609.28210 (2026). https://pith.science/paper/UOPF26SQ
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

This book argues that the 3d-3d correspondence — the relation between 3d N=2 supersymmetric gauge theories and the geometry of 3-manifolds — is not a lucky coincidence but a mathematical structure hidden in the theory space of quantum…

The reading

This book claims that the 3d-3d correspondence is not a one-off coincidence of supersymmetric gauge theory but a general structure: ask what a quantum field theory actually is, and geometry emerges as the answer. Concretely, it argues that 3d N=2 supersymmetric gauge theories and 3-manifolds are two descriptions of the same data, so that gauge-theory dualities become statements about how a manifold is decomposed. The book develops this bottom-up, starting from renormalization, effective field theories, and the gluing of theories by gauging, and letting the squashed-sphere partition function and complex Chern-Simons theory appear on their own. If the correspondence holds, equivalences between very different-looking gauge theories are forced by the geometry they share, giving a conceptual reason for dualities that perturbative computation cannot reach.

What carries the argument

The central mechanisms are gauging as a gluing operation on theories, the $Sp(2n,\mathbb{Z})$-action on 3d theories that repeated gauging generates, and supersymmetric localization, which reduces the $S^3_b$ partition function to a finite-dimensional integral in which the quantum dilogarithm function recurs. On the geometric side the load-bearing objects are ideal tetrahedra whose face gluings build 3-manifolds, quantum Teichmüller theory, and complex Chern-Simons theory; the 3d-3d correspondence trades each gauging or duality step for a Pachner move or a manifold decomposition, letting the geometry carry the non-perturbative physics.

Extended reading notes

Core claim

The book's load-bearing assertion, stated in the English preface, is that the 3d-3d correspondence is an example of a mathematical structure hidden in the theory space of quantum field theories, one that emerges naturally once we ask what a quantum field theory is. On the contents, the claim is that compactifying the 6d (2,0) theory on a 3-manifold $M_3$ yields a 3d N=2 gauge theory, and that the squashed three-sphere partition function $S^3_b$ of that theory — computed exactly by supersymmetric localization — is the quantization of the moduli space of flat $SL(2,\mathbb{C})$ connections on $M_3$, namely the complex Chern-Simons partition function. The book's recurring thread is the quantum dilogarithm function, and the correspondence is built from ideal tetrahedra: each tetrahedron maps to a 3d N=2 theory, each gluing of tetrahedra along faces matches a gauging that glues theories together, so every non-unique decomposition of the manifold becomes a non-trivial duality of gauge theories.

Load-bearing premise

Everything rests on the still-unproven conjecture that the 6d (2,0) theory exists and that compactifying it on any 3-manifold $M_3$ yields a 3d N=2 theory whose $S^3_b$ partition function equals the quantization of the moduli space of flat $SL(2,\mathbb{C})$ connections; the book itself flags that the 6d theory has not been constructed within field theory without invoking string theory and that S-duality still lacks a rigorous proof.

Editorial extensions

If this is right

  • If the correspondence holds, every dual pair of 3d N=2 gauge theories has a geometric explanation: the non-uniqueness of a manifold decomposition is the source of the duality.
  • The $S^3_b$ partition function of a 3d N=2 theory computes the quantization of flat $SL(2,\mathbb{C})$ connections on the corresponding 3-manifold, turning a non-perturbative gauge-theory quantity into a geometry computation.
  • The $Sp(2n,\mathbb{Z})$-action generated by repeated gauging organizes the whole duality web of 3d theories, not just individual equivalences between pairs.
  • The 2-3 mirror symmetry between 3d N=2 SQED and the XYZ model is checked at the level of vacuum moduli spaces, Witten indices, parity-anomaly matching, and partition functions, tying the duality to the pentagon identity for the quantum dilogarithm and to the Pachner move in hyperbolic geometry.
  • The bottom-up framing implies the geometric structures are more general than supersymmetric compactification, applying to the whole theory space of quantum field theories.
  • Editorial: the same 'geometry from gluing' logic predicts hidden modular groups and manifold structures in non-supersymmetric 3d dualities, such as particle-vortex (boson-vortex) duality in condensed matter; that prediction is testable on the condensed-matter side.
  • Editorial: the framing recasts the inverse problem of field theory — recover the Lagrangian from observables — as a geometric statement: different Lagrangians with the same partition functions are different coordinate charts on the same manifold moduli space.
  • Editorial: emphasizing the $Sp(2n,\mathbb{Z})$-action suggests a computational pipeline in which new 3d dualities are generated mechanically by acting on known theories, a program the book only sketches.
Original abstract

This is an English translation of a book originally published in Japanese by Saiensu-sha in 2015. The book is an introduction to the 3d-3d correspondence, the relation between 3d $\mathcal{N}=2$ supersymmetric gauge theories and the geometry of 3-manifolds, which arises from the compactification of the 6d $\mathcal{N}=(2,0)$ theory. The presentation is bottom-up rather than top-down: instead of starting from the 6d theory, we begin by asking what a quantum field theory is, and let the geometry emerge on its own. Along the way we discuss renormalization and low-energy effective theories, gauging as an operation which glues field theories together, the resulting $Sp(2n, \mathbb{Z})$-action on 3d theories, 3d $\mathcal{N}=2$ supersymmetric theories and their dualities, the squashed three-sphere partition function and supersymmetric localization, duality domain walls of 4d $\mathcal{N}=2$ theories, quantum Teichmuller theory, complex Chern-Simons theory and the quantization of the moduli space of flat $SL(2, \mathbb{C})$-connections on 3-manifolds, with quantum dilogarithm functions as a recurring thread. The emphasis throughout is on geometric and algebraic structures which are invisible in a single field theory, and appear only in the theory space of quantum field theories. Appendices summarize supersymmetry in various dimensions, classical and quantum dilogarithm functions, and cluster algebras. Exercises with difficulty ratings are included in each chapter.

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-09-24: 1 request, 5,908 input tokens.

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

The abstract, sentence by sentence

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

This is an English translation of a book originally published in Japanese by Saiensu-sha in 2015. The book is an introduction to the 3d-3d correspondence, the relation between 3d $\mathcal{N}=2$ supersymmetric gauge theories and the geometry of 3-manifolds, which arises from the compactification of the 6d $\mathcal{N}=(2,0)$ theory. The presentation is bottom-up rather than top-down: instead of starting from the 6d theory, we begin by asking what a quantum field theory is, and let the geometry emerge on its own. Along the way we discuss renormalization and low-energy effective theories, gauging as an operation which glues field theories together, the resulting $Sp(2n, \mathbb{Z})$-action on 3d theories, 3d $\mathcal{N}=2$ supersymmetric theories and their dualities, the squashed three-sphere partition function and supersymmetric localization, duality domain walls of 4d $\mathcal{N}=2$ theories, quantum Teichmuller theory, complex Chern-Simons theory and the quantization of the moduli space of flat $SL(2, \mathbb{C})$-connections on 3-manifolds, with quantum dilogarithm functions as a recurring thread. The emphasis throughout is on geometric and algebraic structures which are invisible in a single field theory, and appear only in the theory space of quantum field theories. Appendices summarize supersymmetry in various dimensions, classical and quantum dilogarithm functions, and cluster algebras. Exercises with difficulty ratings are included in each chapter.

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 This is an English translation of a book originally published in Japanese by Saiensu-sha in 2015. background 0.99 0.09 0.01 asserted 1.00
s1 The book is an introduction to the 3d-3d correspondence, the relation between 3d $\mathcal{N}=2$ supersymmetric gauge theories and the geometry of 3-manifolds, which arises from the compactification of the 6d $\mathcal{N}=(2,0)$ theory. background 0.52 0.05 0.09 asserted 1.00
s2 The presentation is bottom-up rather than top-down: instead of starting from the 6d theory, we begin by asking what a quantum field theory is, and let the geometry emerge on its own. method 0.93 0.50 0.05 asserted 1.00
s3 Along the way we discuss renormalization and low-energy effective theories, gauging as an operation which glues field theories together, the resulting $Sp(2n, \mathbb{Z})$-action on 3d theories, 3d $\mathcal{N}=2$ supersymmetric theories and their dualities, the squashed three-sphere partition function and supersymmetric localization, duality domain walls of 4d $\mathcal{N}=2$ theories, quantum Teichmuller theory, complex Chern-Simons theory and the quantization of the moduli space of flat $SL(2, \mathbb{C})$-connections on 3-manifolds, with quantum dilogarithm functions as a recurring thread. contribution 0.93 0.21 0.05 asserted 0.97
s4 The emphasis throughout is on geometric and algebraic structures which are invisible in a single field theory, and appear only in the theory space of quantum field theories. contribution 0.58 0.31 0.24 asserted 1.00
s5 Appendices summarize supersymmetry in various dimensions, classical and quantum dilogarithm functions, and cluster algebras. contribution 0.68 0.35 0.02 asserted 1.00
s6 Exercises with difficulty ratings are included in each chapter. contribution 0.70 0.39 0.01 asserted 1.00

What kind of paper the classifier reports this is: review 0.91 · evidence from argument 0.56.

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. 4: When there are two theories T1 and T2 with global symmetry , we can construct a larger theory T1∪2 by gauging the diagonal part diag ⊂ × of their × symmetry. Conversely, by un-gauging the gauge group of T1∪2, we can decompose T1∪2 into the two theories T1 and T2. abstract discussion. As a special case of gauging, let us consider the following example. Suppose that there are two theories T1 and T2, each with a global symmetry 1 ≃ 2 ≃ . Let us consider gauging its diagonal part diag ⊂ 1 × 2. By this gauging, the two theories, which originally were independent without interactions,…
Figure 2. 1: We represent a gauge symmetry by a circle and a glo
Figure 3. 1: The classical Coulomb branch R 1 × 1 splits into two branches by quantum corrections, which are connected at the point = 0. Let us next consider the Coulomb branch. As explained already, the classical Coulomb branch is parametrized by the monopole operator V (3.36), and hence, since is periodic, it is given by a cylinder R× 1 — parametrizes the R-direction, and the 1
Figure 4. 3: 3 is obtained by gluing two solid tori 1 × 2 along their boundaries
Figure 5. 2: Suppose that a 3d N = 2 theory lives on the boundary of a 4d N = 2 theory (the bulk). The action of a duality transformation in the bulk then induces, on the boundary, a transformation which maps one theory (boundary condition) to another theory (boundary condition). In general, we expect that the (2, Z)-transformations as dualities of 4d gauge theories are identified with the (2, Z)-transformations on 3d field theories (
Figure 6. 1: When we consider the 6d theory on 3 ×R×Σ, we can change the order of the compactification. When we compactify on Σ first, we obtain a 4d N = 2 theory on 3 × R and its Hilbert space H 3 , whereas when we compactify on 3 first, we obtain a 3d complex Chern-Simons theory on R × Σ and its Hilbert space HΣ
Figure 7. 1: Examples of knots. From left to right, 31 (the trefoil knot), 41 (the figure-eight knot), and 52. The thickened knot is the tubular neighborhood, and its complement in 3 is called the knot complement. Tables of knots with small crossing numbers have been made, and the knots are given names. These were originally given in the textbook by Rolfsen [150], but errors were later found and corrected. Nowadays the web page [151] is convenient. 7.3.2 Wilson Lines and Knot Complements So far we have considered the partition function of complex Chern-Simons theory; let us now consider the…
Figure 8. 1: A geodesic of H 2 is either a vertical straight line or a semicircle intersecting the axis = 0 orthogonally. its Euler characteristic is negative: (Σ) = 2 − 2 − ℎ < 0 . (8.1) This condition is satisfied except for a small number of exceptions, = 0, ℎ = 0, 1, 2 or = 1, ℎ = 0. In particular, we can always satisfy this condition by adding an appropriate number of punctures if necessary. When (8.1) is satisfied, the 2d manifold can locally be identified with the 2d hyperbolic space (hyperbolic plane) = H 2 , i.e. it admits a hyperbolic structure. Here H 2 is H 2 := {(, )| ∈ R, ∈ R>0}…
Figure 9. 4: Gluing of ideal tetrahedra. The total sum of the a

Figures reproduced from arXiv:2609.28210 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.