REVIEW
Baryonic Generating Functions
High Energy Physics - Theory · Submitted 25 Jan 2007 · 35 references
Pith's verdict: A solid, concrete paper: the plethystic exponential really does extend to baryonic operators, with three independent derivations of the conifold one-brane result and honest checks at N=2 and N=3.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper argues that one generating function — the count of baryonic BPS operators on a single D-brane at fixed baryon charge — exponentiates, through the plethystic exponential, into the exact count for any number of D-branes, and that in
The reading
What carries the argument
Two ingredients carry the argument. The first is the plethystic exponential, $PE_ν[f(t)] = exp(Σ_{k≥1} ν^k f(t^k)/k)$, which converts a generating function for a set of one-brane objects into the generating function for all symmetric products of those objects; its inverse, the plethystic logarithm, extracts generators (positive terms) and relations (negative terms) of the chiral ring. The second is the geometric identification of $g_{1,B}$ with the character of the space of holomorphic sections of a line bundle $O(B)$ over the cone, computed either by expanding the homogeneous-coordinate generating function in a Laurent series in the baryonic fugacity or by the toric index theorem, which writes the character as a sum over fixed points of the torus action with weights read off the $(p,q)$ web. The paper shows these three computations — direct expansion, Chebyshev identities built on $U_n(cos θ)$, and localization — agree for the conifold, which is what makes the one-brane input trustworthy enough to exponentiate.
Extended reading notes
Core claim
The central claim is equation (2.1): for a Calabi-Yau cone with a single baryonic charge, the generating function for $N$ D-branes at fixed baryon number factorises through the plethystic exponential of the one-brane, fixed-charge generating function, $g_B(ν;{t_i}) = PE_ν[g_{1,B}({t_i})] = Σ_N ν^N g_{N,NB}({t_i})$. The physical justification is that a baryonic operator on $N$ branes is a fully symmetrised product of $N$ one-brane blocks, exactly as a mesonic operator is a symmetrised product of one-brane fields, so the plethystic exponential — the machine that counts symmetric products — is the right passage from $N=1$ to general $N$. The paper verifies this on the conifold, where it obtains $g_{1,B}$ in closed form for all $B$ and then derives $g_{N,NB}$ for arbitrary $N$ and $B$, and on $C^2/ℤ_2 × ℂ$, where the same procedure yields explicit expressions at $N=1$ and $N=2$. A plethystic-logarithm analysis at $N=2$ for the conifold predicts three relations of weight $(4,2)$, four of weight $(3,3)$ and three of weight $(2,4)$ among ten basic generators, and the authors confirm these numbers by explicitly reducing 48 operators to 45 and 56 to 52 using the epsilon tensor identity. The paper further identifies the baryonic charge with the quantized Kähler modulus of the resolved cone, reading the two phases of the conifold as the two signs of $B$ separated by a flop at $B=0$.
Load-bearing premise
The load-bearing premise is that the geometric count of holomorphic sections of the line bundle $O(B)$ over the cone equals the gauge-theory count of baryonic operators at charge $B$ on one brane; the paper itself shows this identification needs hand repair for $C^2/ℤ_2 × ℂ$ at $B ≤ -2$, so the general prescription is not yet an automatic algorithm.
Editorial extensions
If this is right
- For the conifold, the chiral ring's generators and relations are fixed for every $N$ and $B$ by a single known function, so the ring's structure can be read off order by order from the plethystic logarithm rather than computed by hand.
- Non-factorisable baryons, which cannot be written as a product of mesons and basic determinants, first appear at $N=3$ on the conifold, with two operators of weight $(4,1)$ and two of weight $(1,4)$, and their number grows systematically with $N$.
- The baryonic charge is the quantized Kähler modulus of the cone, so the two resolutions of the conifold correspond to the two signs of $B$ and the flop transition sits at $B=0$.
- The same plethystic exponential is the geometric quantisation of the phase space of D3-branes wrapped on three-cycles, so the gauge-theory count and the geometric count of sections agree, at least in the cases checked.
- A statistical analysis of quiver theories on their baryonic branches — entropies of BPS states at large charge — becomes a well-posed calculation rather than an open combinatorial problem.
Reading between the lines
- If the baryon number really is the quantized Kähler modulus, the generating function is a discrete sum over two-cycle areas, which suggests one could read off a discrete spectrum of volumes directly from the coefficients and, at large $B$, extract a BPS entropy for wrapped branes.
- The paper's own orbifold computation shows the geometric character of $O(B)$ matching the field-theory count only for $B ≥ -1$ and failing for $B ≤ -2$, because the homogeneous coordinate $x_3$ has no elementary-field partner; the authors repair this by hand with a $ℤ_2$ symmetry. A systematic rule based on the dimer/tiling rather than the toric cone would remove that patching and turn the prescri
- Because the plethystic exponential depends only on the one-brane spectrum, the whole scheme is cheaply testable: a Molien–Weyl contour integral at small $N$ gives an independent count, and the paper performs that check only for half-the-conifold at $N=2$. Doing it for the full conifold at $N=3$ would test the non-factorisable baryon predictions directly.
- The construction counts only bosonic BPS operators; including fermionic ones would replace symmetric products with a graded symmetric algebra and would likely alter which terms in the plethystic logarithm count as generators versus relations.
Original abstract
We show how it is possible to use the plethystic program in order to compute baryonic generating functions that count BPS operators in the chiral ring of quiver gauge theories living on the world volume of D branes probing a non compact CY manifold. Special attention is given to the conifold theory and the orbifold C^2/Z_2 times C, where exact expressions for generating functions are given in detail. This paper solves a long standing problem for the combinatorics of quiver gauge theories with baryonic moduli spaces. It opens the way to a statistical analysis of quiver theories on baryonic branches. Surprisingly, the baryonic charge turns out to be the quantized Kahler modulus of the geometry.
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 show how it is possible to use the plethystic program in order to compute baryonic generating functions that count BPS operators in the chiral ring of quiver gauge theories living on the world volume of D branes probing a non compact CY manifold. Special attention is given to the conifold theory and the orbifold C^2/Z_2 times C, where exact expressions for generating functions are given in detail. This paper solves a long standing problem for the combinatorics of quiver gauge theories with baryonic moduli spaces. It opens the way to a statistical analysis of quiver theories on baryonic branches. Surprisingly, the baryonic charge turns out to be the quantized Kahler modulus of the geometry.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We show how it is possible to use the plethystic program in order to compute baryonic generating functions that count BPS operators in the chiral ring of quiver gauge theories living on the world volume of D branes probing a non compact CY manifold. | contribution 0.90 | 0.94 | 0.38 | asserted 0.75 |
| s1 | Special attention is given to the conifold theory and the orbifold C^2/Z_2 times C, where exact expressions for generating functions are given in detail. | contribution 0.70 | 0.91 | 0.08 | asserted 0.99 |
| s2 | This paper solves a long standing problem for the combinatorics of quiver gauge theories with baryonic moduli spaces. | contribution 0.41 | 0.90 | 0.41 | asserted 1.00 |
| s3 | It opens the way to a statistical analysis of quiver theories on baryonic branches. | interpretation 0.56 | 0.40 | 0.09 | asserted 0.77 |
| s4 | Surprisingly, the baryonic charge turns out to be the quantized Kahler modulus of the geometry. | result 0.82 | 0.88 | 0.26 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- 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:hep-th/0701236 by the authors.
References
How the literature uses it
43 arXiv papers cite this in 109 sentences
Papers citing it · 60 sentences without a confident label
Builds on it 1 paper
-
[This assumes a conjecture of [ref] that baryonic generating functions of theories on multiple D3-branes are obtained by symmetrizing the baryonic generating functions of theories on a single D3-brane.] The proof was detailed for ABJM [ref] , but it is a straightforward exercise to generalise it to all flavoured ABJM theories.
Semiclassics of three-dimensional SCFTs from holography · Chiral operators · 0.80
Uses its method or tool 10 papers
-
Using the formalism which is developed to count gauge invariant operators for the conifold [ref] we find that the $N=2$ generating function does indeed decompose into characters of irreducible representations of $SU(4)$.
The Master Space of N=1 Gauge Theories · Hidden Symmetries for Higher Plethystics · 0.87
-
The baryonic Hilbert series for quiver quivTsigrhoSUN is given by the Molien-Weyl integral [ref] g[T^σ⃗_ρ⃗(SU(N))](t; w⃗_1, …, w⃗_ ℓ̂ ; B_1, …, B_ℓ'-1) = ∫∏_i=1^L ( 1/N_i!∏_1≤k ≤N_i 1/2πids_i,k/ s_i,k^1+B_i ) ∏_i=1^L ∏_ k ≠p^N_i (1- s_i,k/s_i,p) ∏_k , p^N_i (1- t^2 s_i,k/s_i,p)/∏_ k=1^N_i ∏_p=1^N_i+1 ∏_q=1^M_i (1- t s_i+1,p / s_i,k)(1- t s_i,k / s_i+1,p)(1- t w_i,q / s_i,k)(1- t s_i,k / w_i,q) where $L= ℓ'-1$ as before. $w⃗_j = (w_j,1, …, w_j, M_j)$ with $1 ≤j ≤ℓ̂$ are fugacities for the flavor symmetry S ( ∏_i U(M_i) ) , and the integration variables $s_i,k$ with $1 ≤k ≤N_i$ parameterise the Cartan of the gauge groups $U(N_i)$.
T^{\sigma}_{\rho}(G) Theories and Their Hilbert Series · The baryonic generating function for the Higgs branch of $T^σ⃗_ρ⃗(SU(N))$ · 0.86
-
For the bosonic part of the spectrum we have the usual Plethystic function [ref] , that from now on we will call it the bosonic Plethystic function ( $PE^ℬ$ ): [equation] This function takes a certain generating function $g_1(q)$ and generates new partition functions $g_N(q)$ counting all the possible $N$ times symmetric products of the constituents of $g_1(q)$, implementing in this way the bosonic statistic, as it is possible to see from the left hand side of ([ref]).
BPS Partition Functions for Quiver Gauge Theories: Counting Fermionic Operators · The general approach to the complete generating functions for quiver gauge theories · 0.82
Uses its data or values 2 papers
-
An explicit expression is (for simplicity, we set the fugacities $x$ and $y$ to unity) g_2(t, x=1, y=1; B) = ∮_|b|=1 d b/2πi b^B+1 b^2 t^8+t^8/b^2-3 b^2 t^6-3 t^6/b^2+4 t^8-3 t^6+t^4+t^2+1/(1-t^2)^3 (1-t^2/b^2)^3 (1-b^2 t^2)^3 where the integrand is given by (3.47) of [ref] with $t_1 =t b$ and $t_2 = t b^-1$.
The moduli spaces of $3d$ ${\cal N} \ge 2$ Chern-Simons gauge theories and their Hilbert series · The Hilbert series for $N=2$ · 0.85
-
Hence equations ([ref],[ref]) become: [equation] The $g_1,B^0(q)$ generating functions for the scalar part of the chiral ring were given in [ref] and they are: [equation] hence [equation] Let us start as usual with the $N=1$ generating function.
BPS Partition Functions for Quiver Gauge Theories: Counting Fermionic Operators · The complete generating function for the conifold · 0.88
Compares with it 3 papers
-
Now, using the formula for the dimension of a generic irreducible representation of $SU(4)$, [equation] we find that the unrefined generating function for $N=2$ sums to [equation] as expected and in agreement with Equation (3.47) of [ref] .
The Master Space of N=1 Gauge Theories · Hidden Symmetries for Higher Plethystics · 0.98
-
Indeed, in many examples we consider, we compute the generating function of the Coulomb branch Hilbert series and match it with the baryonic generating function [ref] on the Higgs branch of the mirror theory.
Coulomb branch Hilbert series and Hall-Littlewood polynomials · Introduction · 0.95
-
The results of equation ([ref]) agree with the computations in equation 3.83 of [ref] but are still missing two essential operators that transform as $χ[2]_(2)_tχ[1]_(2)_γ/β$ and $χ[1]_(2)_tχ[2]_(2)_γ/β$ – the so called non factorizable baryons.
4d N=1 from 6d N=(1,0) on a torus with fluxes · $N=3, k=2$ · 0.96
Cites it as support 2 papers
-
The beautiful fact is that the full counting [ref] , including baryons as well, is achieved with the Hilbert series of $$ for one brane!
The Master Space of N=1 Gauge Theories · Introduction · 0.97
-
The beautiful fact is that the full counting [ref] , including baryons as well, is achieved with the Hilbert series of $$ for one brane!
Master Space and Hilbert Series for N=1 Field Theories · Generalities · 0.97
Cites it as background 24 papers
-
Recently a lot of papers studied generating functions counting $1/2 BPS$ operators in $𝒩=1$ quiver $CFT$ [ref] .
BPS Partition Functions for Quiver Gauge Theories: Counting Fermionic Operators · Introduction · 0.94
-
All these issues and the determination of the partition function depending on all the $d$ charges are discussed in [ref] , and will be review them in the following two chapters.
Master Space and Hilbert Series for N=1 Field Theories · Setting the Counting Problem · 0.81
-
These have been recently analyzed, in the context of D3 branes at singularities, using the concepts of Master space, Hilbert series and Plethystic exponential in [ref] .
Master Space, Hilbert Series and Seiberg Duality · Introduction · 0.95
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.