Trace relations and open string vacua
Abstract
We study to what extent, and in what form, the notion of gauge-string duality may persist at finite . It is shown, in the half-BPS sector, that the states of D3 giant graviton branes in are holographically dual to certain auxiliary ghosts that compensate for finite trace relations in super Yang-Mills. The complex formed from spaces of states of bulk D3 giants is observed to furnish a BRST-like resolution of the half-BPS Hilbert space of SYM at finite . We argue that the identification between the states of certain bulk D-branes and the auxiliary ghosts in the boundary holds rather generally at vanishing ’t Hooft coupling . We propose that a complex, which furnishes a BRST-like resolution of the finite Hilbert space of a boundary gauge theory at , should be identified as the space of states of the dual string theory in the limit. The Lefschetz trace formula provides the holographic map in this regime, where bulk observables are computed by taking the alternating sum of the expectation values in an ensemble of states built on each open string vacuum. The giant graviton expansion is recovered and generalized in a limit of the resolution.
Inhalt
1 Introduction
A central theme in our study of holography and gauge-string duality is the idea that the Feynman diagrams of a large gauge theory reorganize into the genus expansion of some string theory [1, 2, 3, 4]. A particularly striking aspect of ’t Hooft’s proposal is its generality: any theory of gauged large matrices exhibits such a topological expansion at weak coupling.
This work investigates to what extent, and in what form, the notion of gauge-string duality may persist at finite .
At finite , one is confronted with conceptual issues regarding the spectrum of the bulk and boundary theories related via holographic duality. In the boundary gauge theory, the total number of states—at fixed values of the conserved charges and the ’t Hooft coupling —decreases as the rank of the gauge group is decreased. This occurs because states formed by exciting the vacuum with single trace operators are orthogonal at large but become constrained by trace relations when is finite. On the other hand, in the bulk string theory, non-perturbative states such as black holes and D-branes become lighter at finite string coupling . Such objects, which are present in addition to the perturbative string states, would naively result in many more states at finite compared to those at small , at fixed charges and .
How does one reconcile these differing expectations? The correct resolution of the apparent conflict is to posit that non-perturbative objects in string theory represent highly redundant descriptions of the same set of quantum states: a state composed of fundamental strings may admit a description as a brane, and a state composed of D-branes admits a description in terms of the backreacted geometry. The intuition that non-perturbative effects in string theory place an upper bound on the single-string spectrum is known as the stringy exclusion principle [5, 6, 7]. While this principle is thought to be a generic feature of string theory, there is little quantitative understanding of the mechanism underlying the principle.
The giant graviton expansion, a recently-proposed formula that relates the BPS sectors of gauge theories and their string duals, suggests how the stringy exclusion principle is realized in the spectrum of the bulk string field theory [8, 9, 10]:111There exist different but compatible versions of the formula that are related by wall-crossing [8, 11]. We write a simple form of the formula which is a special case of the relation proposed in the current work.
(1.1) |
The formula expresses , the superconformal index [12] of a gauge theory, as a sum over BPS indices of the bulk string theory on backgrounds labelled by giant graviton branes. is the index of Kaluza-Klein modes and is the index of giant graviton branes and their open-string excitations. Giant gravitons are BPS branes on that are supported via a large angular momentum induced from the background Ramond-Ramond potential [7, 13, 14]. See, for example, [11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26] for related works.
A salient feature of the giant graviton expansion is the absence of explicit contributions from gravitational saddles, even in the -BPS sector of IIB string theory and super Yang-Mills where supersymmetric black holes are present. That the asymptotic degeneracies of bulk configurations of strings and branes in (1.1) reproduce the entropy of large BPS black holes in was demonstrated recently [19, 24].
The following property of the formula realizes the stringy exclusion principle: BPS spectra on string backgrounds labelled by different numbers of giant graviton branes exhibit large cancellations to reproduce the finite index. This occurs even in sectors of gauge theory that are purely bosonic, such the half-BPS sector of SYM:
(1.2) |
Observe that each summand, supplemented with the half-BPS Kaluza-Klein spectrum, overcounts the half-BPS spectrum of SYM. The overcounting is saved only by the overall minus signs that appear with odd numbers of D3 giants. Motivated by this observation, we suggested in [11] that the bulk BPS Hilbert space possesses an extra -grading, on top of the usual fermion number grading in the gauge theory, that labels open string vacua associated to different D-brane backgrounds.
Natural questions are then, what is the bulk origin of this grading? How does the gauge theory reflect the extra bulk grading if the grading is not manifest in its physical Hilbert space? Most importantly, how is the presence of the extra grading consistent with holography?
In Section 2, we show in the half-BPS sector that the space of states of giant graviton branes on is holographically dual to the space of certain “heavy” ghosts in SYM that compensate for null states due to finite trace relations, with total ghost number . That is, open strings on bulk D-branes are not dual to any physical states of a gauge theory, but rather are objects that systematically cancel out the redundancies among states that arise at finite . We find that normalizable states of the worldvolume theory of D3 giants are gauge-invariant differential -forms constructed from worldvolume scalars and that such states survive in the large curvature limit of due to a localization mechanism. We identify the form degree of these states as the extra grading in the bulk that labels open string vacua. The spectrum of normalizable states of half-BPS D3 giants are recovered by that of finite trace relations, whose generating function is the determinant operator in the gauge theory. Due to the grading, the normalizable states are identified with auxiliary heavy ghosts that compensate for finite null states.222There exist previous proposals for the holographic dual of open strings on D3 giants in terms of physical operators in the boundary [27, 28, 29]. Note, however, that the spectrum of normalizable excitations of half-BPS D3 giants are reproduced by the spectrum of auxiliary ghosts that compensate for trace relations.
We use the term D-brane states to refer to the states of bulk D-branes obtained by quantizing the open string fields.
Based on the above identification, we show that the spaces of half-BPS D-brane states form a complex that furnishes a BRST-like resolution of the half-BPS Hilbert space of SYM at finite . The resolution indicates that open strings on bulk D-branes are encoded in the relations between the single-trace generators that arise in the boundary gauge theory at finite . The giant graviton expansion (1.2) in the half-BPS sector is recovered using the fact that the alternating sum of the Hilbert series of modules in a resolution vanishes. Thus, we identify the complex formed from spaces of D-brane states as the half-BPS Hilbert space of IIB string theory in the large curvature limit of .
While the bulk computations in the half-BPS sector rely on supersymmetry and the presence of a weakly-curved gravity limit, we argue that the identification between D-brane states and heavy ghosts is quite general and holds independently of those properties. Trace relations between gauge-invariant operators are present in any finite gauge theory with adjoint fields, and such a theory may be rewritten as a gauge theory supplemented with auxiliary ghosts for trace relations that are present in the original theory, at least when .
Let us state our main proposal here, leaving a review of the mathematical background to Section 3: Consider a four-dimensional gauge theory on possessing only fields in the adjoint representation of the gauge group, at zero ’t Hooft coupling . Let be the ring of polynomials of traces of fields and their derivatives (before accounting for trace relations). The space of states of the gauge theory is the quotient of by the submodule generated by the set of all trace relations at a given value of .
Our proposal is that the complex :
(1.3) |
which furnishes a Koszul-Tate resolution of over the ring , should be identified as the space of states of the dual string theory in the limit. The homology of is concentrated at heavy ghost number and coincides with . The free -module is, in a sense that is elaborated, the limit of the bulk space of states on a string background with wrapped D-branes. The observables of the gauge theory are related to those of its string dual via the Lefschetz trace formula
(1.4) |
which provides the holographic map in the regime of and finite . Bulk observables are computed by taking the alternating sum of the expectation values in an ensemble of states built on each open string vacuum.
In Section 3.3.1, we show how the giant graviton expansion of [8] is recovered and generalized in a certain limit of the complex . In Section 3.3.2, we place a lower bound on the degeneracies of D-brane states using the uniqueness of minimal resolutions. In Section 4, we discuss Koszul-Tate resolutions in simple physical examples.
Many questions are left open in our work. For instance, while our proposal suggests how gauge-string duality at weak ’t Hooft coupling can be generalized to the regime of finite , there remains the difficult problem of finding a consistent bulk string theory with the features suggested by our proposal. We hope that this work contributes to the understanding of some kinematical properties of this theory.
We conclude with a partial list of open questions in the Discussion.
2 D-branes as heavy ghosts
In this section, we argue that the normalizable states of half-BPS D3 giant gravitons in the bulk are holographically dual to certain auxiliary “ghosts” in super Yang-Mills that compensate for null states due to finite trace relations. That is, open strings on D3 giants are not dual to any physical states of the gauge theory, but rather are objects that systematically cancel out the redundancies among states that arise at finite .
Indeed, giant gravitons were conceived in order to provide a bulk explanation for the truncation of the single trace spectrum at finite , in terms of the polarization of large charge gravitons into branes. The goal in this section is to understand precisely why the identification between open strings on giants and ghosts for trace relations should be made.
2.1 A twist on the worldvolume
Let us show that the background Ramond-Ramond potential induces a twist of the stress tensor on the worldvolume of a D3 giant. The sign of the twist on the D3 worldvolume will later have an important consequence: normalizable states that describe transverse fluctuations of branes in become valued in gauge-invariant combinations of differential forms constructed from worldvolume scalars.
Let us work in coordinates
(2.1) |
covering half of the five-sphere, with Ramond-Ramond 4-form potential
(2.2) |
The coordinate is the radius on the transverse plane to inside . The maximal D3 solution sits at with and has energy and angular momentum .333The angular velocity at arises because the maximal D3 solution is a limit of stable solutions as and . Despite wrapping a topologically trivial cycle, giant gravitons are stable BPS solutions because they possess a large angular momentum induced from the background Ramond-Ramond potential .
We are interested in half-BPS transverse fluctuations of a giant on a maximal fixed under the isometry generated by . The bosonic DBICS action on the worldvolume of a single D3 brane is
(2.3) |
It will be instructive to first work in the stationary frame with respect to to note some properties of the corresponding hamiltonian. The quadratic action for transverse fluctuations in in the stationary frame is
(2.4) |
in local complex coordinates and . The potential term is present in the second line because of the nonvanishing Ricci scalar on . As was observed in [9], the stationary frame action of a D3 giant is equivalent to the usual action of SYM on where its fields possess a time-dependent phase
(2.5) |
proportional to the relevant worldvolume R-charge, which we can identify with their charge under the background R-isometry. The scalars have charge under .
The resulting worldvolume theory is a SYM with a modified potential for fields that carry nonzero . Let us take gauginos with indices and to have R-charges and , respectively, and let be the usual index. Then under (2.5), the fermion lagrangian acquires the mass terms
(2.6) |
With these fermion masses, one finds that supersymmetry transformations require conformal Killing spinors on that depend on time [30]. Therefore, the supercharges depend on time in the stationary frame with respect to the background, i.e. the generator of time translations in this system is not supersymmetric.
That the generator of time translations is not supersymmetric has an interesting consequence. In the stationary frame, the hamiltonian is
(2.7) |
where ellipses denote contributions from fields on the worldvolume SYM theory that do not possess R-charges. The conjugate momenta and and the fermionic counterpart satisfy the equal-time (anti-)commutation relations. Observe that has the shift relative to the free hamiltonian, where the worldvolume charge is
(2.8) |
The hamiltonian indicates that the energies of D3 worldvolume fields must be shifted by two units of their charges, relative to naive dimensional analysis based on a action. That is, the background Ramond-Ramond potential induced a twist of the stress tensor on the worldvolume of a D3 giant. The definition of here coincides with its previous definition as the background isometry generator upon restricting to bosonic -zeromodes.
Due to the twist, the only worldvolume field satisfying the half-BPS condition
(2.9) |
is the anti-holomorphic scalar with . The negative mode is an artifact of the hamiltonian not commuting with supercharges in this frame.
2.2 Localization at small radius
In this section, we find the half-BPS open string states on D3 giant gravitons.
In deriving the worldvolume twist, we considered the D3 action in the stationary frame relative to the background. However, a maximal giant graviton rotates at the speed of light , so expanding about the solution actually entails working in a frame that is rotating with the giant. The worldvolume action about the rotating D3 solution turns out to admit time-independent supercharges for the relevant chiral multiplet, i.e. the time translation generator commutes with these supercharges.
In the worldline quantum mechanics comprising of the lightest modes, these supercharges will be identified with the Dolbeault differential and its adjoint deformed by an inverted Morse function . The deformed Dolbeault laplacian can therefore be identified with the hamiltonian of this supersymmetric quantum mechanics. The BPS states are then the ground states of . We find that these states survive and localize to fixed points of R-isometries in the large curvature limit of . This allows us to compare the spectrum of the string states with the spectrum of finite null states in the boundary gauge theory in Section 2.3.
Expanding the action around the on-shell value , we find
(2.10) |
The complex coordinates and are now defined in terms of the fluctuation angle . The fields now possess the time-dependent phase
(2.11) |
compared to those in the usual action of SYM on . This phase differs from that in the stationary frame by a unit of the R-charge.
We again take gauginos with indices and to have R-charges and , respectively, and let be the usual index. Then the fermion lagrangian acquires the mass terms . The total action becomes
(2.12) |
where ellipses denote fields that do not possess R-charges. We will restrict attention to half of the supersymmetries
(2.13) |
that relate the complex scalars for transverse fluctuations of in with only half of the gauginos of positive R-charge. The corresponding conformal Killing spinors on satisfy [30]
(2.14) |
The spinors are time-independent unlike the previous case, so the hamiltonian of this worldvolume theory commutes with the supercharges from (2.2).
The new generator of time translations for the D3 solution
(2.15) |
has the shift relative to the free hamiltonian, where the definition of the R-charge
(2.16) |
remains invariant. The conjugate momenta and and the fermionic counterpart satisfy the equal-time (anti-)commutation relations. has the shift relative to the stationary frame hamiltonian upon relating the fields and momenta, so we recognize the new hamiltonian
(2.17) |
as the supersymmetric hamiltonian whose ground states are BPS states.
2.2.1 Reduction to quantum mechanics
For the half-BPS sector, it actually suffices to consider the supersymmetric quantum mechanics given by consistent truncation to the lightest -modes related by (2.2), because the higher modes do not satisfy the BPS condition. See e.g. [31] for details on the mode expansion of SYM on , though in our case the Killing spinors are time-independent. The fluctuation scalars and gauginos have mode expansions
(2.18) |
labels the irreps of the isometry group , which are for scalars and , for the fermions, respectively. runs over the dimensions of the irreducible representation associated with . We will be interested in the scalar zeromode and the lightest gaugino mode with , , and .444A choice of fermion modes with and would correspond to a different set of supersymmetries. The other choice or linear combinations thereof are equally valid. We may also include higher modes to generalize our computation to BPS sectors preserving fewer supersymmetries, but we leave this to future work.
The worldline action for half-BPS excitations of a D3 giant is
(2.19) |
While this action is invariant under simple supersymmetries that descend from (2.2), the shift in the definition of conjugate momenta results in an interesting interpretation of the supercharges on the transverse plane to in , which is locally .555The -zeromode conjugate momenta are and , and the (anti-)commutation relations (2.20) hold at the level of the relevant modes. In particular, we can identify the supercharges
(2.21) |
as the Dolbeault differential and its adjoint666The adjoint of the Dolbeault differential in one complex dimension is defined as .
(2.22) |
deformed by an inverted Morse function . The inverse radius plays the role of the localization parameter. Then the hamiltonian of this supersymmetric quantum mechanics
(2.23) |
is the deformed Dolbeault laplacian
(2.24) |
We also identify the fermions with operations and on differential forms. The BPS states are the eigenstates of with zero eigenvalue. This system was studied in the context of holomorphic Morse inequalities in [32].
The function induces a vector field generating an isometry of with fixed points at the critical points of . Near any fixed point, the Dolbeault laplacian deformed by takes the form
(2.25) |
where is the Lie derivative with respect to the vector field . The ellipses denote scalar terms that do not contain derivatives. For , the induced vector field is
(2.26) |
which coincides with the isometry generator up to a sign. The sign determines the types of states that have support at the fixed point of as well as the orientation for the isometry action that is appropriate for computing the R-charges of these states. We elaborate on this point shortly.
Let us discuss why it suffices to consider only the quadratic fluctuation action of the maximal D3 solution for the purpose of finding BPS states that survive in the small radius limit of . Taking this limit is within the regime of validity of the worldline quantum mechanics on , because we take this limit after having decomposed fields into harmonics. We also neglect the higher open string fields because they do not satisfy the BPS condition. First we note that since generates an isometry of the -plane, we have
(2.27) |
Therefore we can find the relevant BPS states by finding solutions to
(2.28) |
in the small radius limit , within each -eigenspace
(2.29) |
of fixed charge . Then the dominant potential forces all BPS states of charge to be localized near the fixed point, for any given in the limit . That is, BPS open string states of D3 giants localize to fixed points of bulk isometries in the small radius limit of . The quadratic D3 action was sufficient because is the dominant potential at any zero of .
Our localization argument explains why dual D3 giant gravitons expanding in do not seem to appear in the giant graviton expansion. A dual giant with large R-charge does not sit at a fixed point of the R-isometry, so BPS states of dual giants do not survive the small radius limit.
2.2.2 Normalizable states
To find normalizable BPS states, we allow to act on the space of differential forms.
Recall that the Morse index (for real manifolds) of a critical point is the number of unstable directions at with respect to the function . The holomorphic analog of the Morse index [32] is the number of unstable complex directions at the critical point (with respect to ), or equivalently the number of complex directions for which acts clockwise in local complex coordinates about the fixed point . The holomorphic Morse index coincides with the anti-holomorphic form degree of the normalizable state supported near .
As in [32], the Lie derivative acting on forms with respect to computes the R-charge of a BPS state at , given a choice of the fugacity domain for which the charge spectrum converges. In particular, the operator computes directly the charge spectrum of states that is convergent in the fugacity domain by taking into account the orientation at induced by . For example, for a fixed point with , the normalizable states are anti-holomorphic 1-forms so comptues the R-charge with a reversed orientation for the isometry action.
For the problem at hand, is the sole fixed point of at the origin of the -plane and it has holomorphic Morse index . The normalizable tower of BPS states is given by anti-holomorphic 1-forms
(2.30) |
that satisfy
(2.31) |
oder , for . In the half-BPS sector we are interested in the fugacity domain where each BPS state is counted with weight . We can directly compute the charge spectrum that is convergent for :
(2.32) |
This tower gives the half-BPS open string spectrum on a single giant
(2.33) |
where accounts for R-charges carried by the D3 giant and we introduced a fugacity for the form degree. This coincides with the term of the giant graviton expansion in the half-BPS sector with .
There is a shift
(2.34) |
in the R-charge of the open string vacuum relative to the classical expectation of . This resulted from the fact that the open string vacuum on a single D3 giant is labelled by an anti-holomorphic 1-form.
Note that a naive count of the charges based on the background R-isometry (and without accounting for form-valued states) would have given the spectrum , whose series expression converges for . This series is related to (2.33) by analytic continuation.
2.2.3 Generalization to coincident giants
Let us generalize the analysis to coincident giants. We could diagonalize the hamiltonian
(2.35) |
in the position representation where the operators are now matrices, and then look for normalizable -invariant ground states. We proceed instead via a shortcut, namely by finding form-valued and -invariant solutions to the supersymmetry conditions
(2.36) |
under a suitable ansatz for the ground state wavefunction .
Let us first determine the local form of the Morse potential in terms of the eigenvalues of the matrices . Let and be invertible matrices such that and . We have since and matrices are hermitian conjugates. The relevant part of the hamiltonian containing the induced vector field is
(2.37) |
We can express the derivatives with respect to matrices in terms of the eigenvalues
(2.38) |
so we have
(2.39) |
The local form of the vector field about the origin in the space of eigenvalues, found by comparing the above expression with the Lie derivative of in (2.25), is
(2.40) |
is induced from the Morse function in local coordinates. The holomorphic Morse index at this point is , so the state is an anti-holomorphic -form. Thus, the normalizable state must have the expression
(2.41) |
in local eigenvalue coordinates . is totally antisymmetric under exchanges of the anti-holomorphic eigenvalues .
The supersymmetry condition imposes further restrictions. Since
(2.42) |
where we omit the hatted component, is independent of the holomorphic eigenvalues . As there are no further constraints, we can now write a -invariant basis for the supersymmetric ground states of :
(2.43) |
where . These states have R-charges
(2.44) |
so the half-BPS spectrum of giants is
(2.45) |
This is the -th term of the giant graviton expansion in the half-BPS sector with .
There is again a shift
(2.46) |
in the R-charge of the open string vacuum relative to the classical expectation of , which originates from the fact that the open string vacuum on D3 giants is labelled by an anti-holomorphic -form.
2.3 Ghosts for trace relations
In our bulk analysis, we have seen that the open string vacuum on giant graviton branes is labelled by a differential -form. The form degree of states resulted from the fact that the supersymmetry generators were identified to be Dolbeault differentials deformed by a Morse function with unstable complex directions at the fixed point of an isometry. The form degree equips the bulk open string Hilbert space with an extra grading associated to the number of branes in the background.
On the other hand, normalizable BPS states of the boundary super Yang-Mills on are scalar-valued because the corresponding Morse function does not admit any unstable direction. This essentially stems from the fact that the BPS hamiltonian of the boundary gauge theory possesses an angular momentum term that is opposite in sign compared to that of in (2.2). An analysis similar to that done in Section 2.2.3 shows that the following normalizable wavefunctions
(2.47) |
with , form a basis of half-BPS states for the boundary SYM. These states were written in terms of the eigenvalues of the scalars and . They have R-charges
(2.48) |
with , and their counting reproduces the boundary half-BPS spectrum . This shows that the grading with respect to the form degree of states does not appear in the physical Hilbert space of the boundary gauge theory.
The obvious question is then, how can the presence of the extra grading in the bulk open string Hilbert space be consistent with holography? To answer this question, we need to identify the “states” in the boundary gauge theory that possess an extra grading and also reproduce the spectrum (2.45). Identifying such states is made subtle because, as demonstrated above, these states cannot belong to the physical Hilbert space of the gauge theory.
We can obtain clues regarding the nature of these states by examining the “mode” expansion in of the determinant operator inserted at a point in SYM. This operator is dual to a family of D3 giant graviton branes wrapped on with order units of an R-charge. The auxiliary parameter has an interpretation as the bulk insertion point of the brane on the plane transverse to the in . More explicitly, according to the brane must reach its maximal size at and shrink to zero size at . We can therefore make the identification in coordinates discussed in Section 2.1. The spacetime interpretation of is useful even though we are working in a regime where stringy effects are large.
The fluctuation “modes” in of the determinant operator are
(2.49) |
where are defined in terms of the exponential generating function and where the expression is normal-ordered. The first few modes are
(2.50) |
and so on. At any positive integer value , the tower of modes
(2.51) |
starting at are but the trace relations between gauge-invariant operators that are present in any gauge theory. In other words, states constructed by acting with modes on the vacuum are the finite null states. Since these modes vanish automatically at any integer , the determinant operator is a polynomial of degree in .
While these null states yield the correct half-BPS spectrum of a single D3 giant, we should not identify the set of trace relations directly with the states of bulk D-branes. The reason is that one needs the states to possess an extra grading in order to explain the overall signs that appear in the BPS spectrum on coincident D-branes, and no such grading distinguishes the finite null states from the physical states.
Instead, we identify the BPS D-brane states with auxiliary “heavy” ghosts , with dimension and R-charge starting at , in a boundary gauge theory that compensate for null states due to trace relations at a finite value of . The effect of introducing these anti-commuting ghosts along with a homological charge acting as
(2.52) |
where , is to reduce the theory to a gauge theory. We assign the “heavy” ghost number to and to the differential . The heavy ghosts should be distinguished from the BRST (anti-)ghosts that one introduces for gauge-fixing and to impose on-shell constraints in a gauge theory. Rather, the role of the heavy ghost and the differential is to supplement the theory with directions for systematically removing all but the degrees of freedom.
It is simple to compute the spectrum with ghost number in the half-BPS sector, because this sector does not have ghosts-for-ghosts. The states with ghost number are therefore multi-ghost states built out of . We can write a basis of multi-ghost states as
(2.53) |
where , which yields the charge spectrum
(2.54) |
that agrees with our bulk computation (2.45). Fugacity in the gauge theory now keeps track of the heavy ghost number.
Our findings suggest that the form degree for the states of D-branes in the bulk should be identified with the ghost number assigned to auxiliary ghosts that compensate for trace relations in the boundary gauge theory (as opposed to the fermion number in the gauge theory that is usually defined in terms of other quantum numbers). This is the extra grading in the bulk that is not seen in the physical Hilbert space of a gauge theory if one works strictly at any positive integer value of .
3 Bulk Hilbert space as a resolution of finite modules
Thus far, we found the BPS states of coincident bulk D-branes by quantizing its open string modes. These states possess an additional grading, associated with the brane number labelling the open string vacua, whose bulk origin is the form degree of states and whose boundary origin is the ghost number assigned to “heavy” ghosts that compensate for finite null states.
We have not yet discussed how the space of states built on different D-brane backgrounds are related to each other. That is, we should ask whether there is a natural way to organize the relationships among the perturbative Hilbert spaces built on various D-brane backgrounds.
In this section, we comment on global aspects of the bulk Hilbert space at vanishing ’t Hooft coupling and finite , by employing the holographic map between D-brane states and heavy ghosts. Our proposal is that a complex formed from the spaces of states of certain bulk D-branes in the limit furnishes a BRST-like resolution of the finite Hilbert space of the boundary gauge theory at . Objects in the complex are labelled by the heavy ghost number . The giant graviton expansion can be derived by computing the Hilbert series of the resolution.
As discussed in Section 2.2.1, taking the small radius limit of D-brane states is well-defined if they are the ground states of a supersymmetric hamiltonian of the worldline quantum mechanics on . Such states localize to fixed points of bulk isometries at large curvatures because the inverse radius assumes the role of a localization parameter. The consideration of D-branes at finite is, of course, an extrapolation drawn from our computations at large . That the extrapolation from large to finite works in the giant graviton expansion is rather miraculous, and we discuss its implications in Section 3.3.1.
While the bulk computations of Section 2 relied on supersymmetry and the presence of a weakly-curved gravity limit, there are reasons to think that the identification between D-brane states and heavy ghosts is quite general and holds independently of those properties. Trace relations between gauge-invariant operators are present in any finite gauge theory with adjoint fields, and such a theory can be rewritten as a gauge theory supplemented with an auxiliary ghost for every trace relation in the original theory.777There can certainly be non-trivial relations between trace relations that necessitate ghosts-for-ghosts, and we discuss these cases thoroughly.
3.1 Half-BPS Hilbert space in the bulk
Here, we motivate our main proposal regarding the bulk Hilbert space by gathering the lessons of our bulk computations in the half-BPS sector. The half-BPS sector is rather special because the set of trace relations do not satisfy further non-trivial relations. Therefore, one does not need to introduce ghosts-for-ghosts. We generalize these lessons subsequently.
In Section 2.2, we found the states of D-branes responsible for the spectrum
(3.1) |
on giant graviton branes. The giant graviton expansion suggests that, to retrieve the half-BPS spectrum of boundary SYM at finite , we should simply sum up the open string spectra of -brane sectors for all , each in the presence of half-BPS closed strings of the background:
(3.2) |
We also set the fugacity for the form degree grading to .
On the other hand, we identified its holographic dual as heavy ghosts that compensate for the presence of finite trace relations. We can study the half-BPS sector at finite by equipping the gauge theory with ghosts and a homological differential acting on operators via the graded Leibniz rule
(3.3) |
and . In particular, the ghosts map to trace relations: . Then the space of multi-ghost states, with coefficients in the ring of polynomials of traces
(3.4) |
is given by the complex
(3.5) |
where is the space of multi-ghost states of heavy ghost number with coefficients in the ring . Also, is the half-BPS Hilbert space of the gauge theory at infinite . The ghost degree of the complex labels the open string vacuum associated to coincident D3 branes in the bulk.
The complex (3.5) has non-vanishing homology only at zero ghost number. Since the image is the space of trace relations with coefficients in , the homology at ghost number is the Hilbert space
(3.6) |
in the half-BPS sector of SYM at finite .
Let us observe that each , in the complex (3.5) is freely generated by the multi-ghost generators
(3.7) |
with coefficients in . In other words, are free -modules. This means that, if we augment (3.5) with at the final step, the resulting exact sequence
(3.8) |
is a free resolution of the half-BPS Hilbert space at finite . We will explain these notions in Section 3.2. For now, it suffices to realize that the resolution (3.8) gives a precise relationship between (1) the half-BPS Hilbert space of SYM at finite and (2) the complex (3.5) identified as the “bulk” half-BPS Hilbert space of IIB string theory on via the holographic map between D-brane states and heavy ghosts. The resolution says that the open strings on bulk D-branes are encoded in the relations between the single-trace generators that arise in the boundary gauge theory at finite .
It is simple to use this observation to derive the giant graviton expansion (3.2) in the half-BPS sector. Since an alternating sum of the Hilbert series (graded by the R-charge) of modules in an exact sequence must vanish, we can express the charge spectrum of in terms of an alternating sum of the charge spectra of over :
(3.9) |
This yields the half-BPS giant graviton expansion (3.2). The closed string spectrum will factor out, because are free -modules and is the Hilbert series of . This derivation shows that the resolution (3.8) “categorifies” the giant graviton expansion in the half-BPS sector.
What is the physical interpretation of the differential ? It maps a half-BPS state of coincident D3 giants to linear combinations of states of coincident D3 giants with coefficients in the traces (i.e. closed strings). Thus a natural interpretation for is that it is an instanton that interpolates between a pair of open string vacua with a ghost number difference of . An example with would be a Euclidean D3 instanton on described by the trajectory for , where is a polar angle on that parametrizes the size of the wrapped . It would be important to study the radiation due to such processes.
Our analysis here also clarifies why it is appropriate to describe half-BPS giant gravitons in terms of fermionic droplets, as is often done in the literature [33, 34, 35]. We can collect the heavy ghosts into a single “field”
(3.10) |
on the -plane of ghost number . This is an anti-commuting field in the local transverse -plane of in whose excitations are the states of D3 giants. It would be interesting to study the effective dynamics of giant gravitons along these lines.
The lessons from the half-BPS sector are the following: (1) we can identify the bulk space of states with the complex of auxiliary ghosts that compensate for finite trace relations, and (2) this complex furnishes a BRST-like resolution of the finite Hilbert space of the boundary gauge theory. These lessons are quite general when taken as statements about string theories dual to weakly-coupled gauge theories. Namely, they do not depend explicitly on supersymmetry or the presence of a weakly-curved gravity regime. That the bulk Hilbert space is a resolution of the gauge theory counterpart only requires the latter to be a theory of gauged matrices.
3.2 Mathematical background
In this section, we develop the mathematical background required to generalize the lessons from the half-BPS sector. Some useful references are [36, 37, 38, 39]. We present the background in the context that is relevant for this work.
3.2.1 Finite modules and Koszul-Tate resolutions
Consider a free four-dimensional gauge theory on with fields only in the adjoint representation of the gauge group. We choose this manifold to avoid having topological sectors, but similar considerations apply to other manifolds as long as one works within a superselection sector for local operators.
In the limit , the space of states of the gauge theory is the “vacuum” free module , given by the ring of gauge-invariant polynomials of fields and their derivatives
(3.11) |
acting on the vacuum . As an -module, consists only of the identity generator acting on with coefficients in . is graded with respect to the quantum numbers of the single trace generators of . Following lessons from the half-BPS sector, we work over the “large ” ring generated by all single traces before taking into account the trace relations. In particular, is independent of .
To find the space of states of a free gauge theory at finite , one takes the quotient
(3.12) |
of by the submodule , where the ideal over
(3.13) |
is generated by the set of trace relations that are present at a given value of . For a single matrix , these relations are given by the set as provided explicitly in Section 2.3. We refer to the quotient module over as the finite module. What makes the study of difficult is that is in general not freely generated, i.e. it is not a Fock space built from single trace generators. This means that in general we can only describe at best in terms of a set of generators that have relations among themselves.
The half-BPS sector suggests that, in order to find the “bulk” space of states for the string dual on a background labelled by wrapped D-branes, we should replace the quotient module by an infinite sequence of free -modules that resolves . The resulting complex is a free resolution of , also known as the Koszul-Tate resolution.888We emphasize that this Koszul-Tate resolution, which implements trace relations as constraints on the large space of states, is distinct from the complex appearing in the BV-BRST quantization of gauge theories, where the resolution is used to implement the reduction to the on-shell surface. Therefore, the “heavy” ghosts that appear in this context are not the anti-ghosts of the BV-BRST formalism, although the mathematical tools are equivalent. It is important that the resulting complex is a resolution of , i.e. that the truncated complex as in (3.5) has homology only at ghost number . Since the extra ghost degree is not present in of the boundary gauge theory, the presence of a non-vanishing homology at would be at odds with holography.
A Koszul-Tate resolution of is an exact sequence of free -modules equipped with a nilpotent linear differential
(3.14) |
where , i.e. the image is the submodule generated by the trace relations at a given value of . In addition to the grading by the quantum numbers induced from the generators of the ring , the complex itself has a “heavy” ghost degree under which
(3.15) |
The generators of have quantum numbers that depend on , because the set of trace relations depends on the value of . The elements of are termed heavy because the energies/charges of their generators start at order .
Intuitively, the resolution “resolves” the highly-constrained finite module by replacing it with an infinite sequence of Fock spaces (starting at ) that better and better approximate . Since maps to , the zeroth approximation to the finite module is the large module . The subsequent free -modules can be understood as the space of relations among the generators of . For example, is the space of relations among the large Fock space generators999“Generators” here refer to the generators of the ring , rather than the identity generator of as an -module. But when referring to the generators of for , we mean the generators of the -module. of , i.e. the generators of map to trace relations under . Then is the space of relations among trace relations, and so on. Therefore, is the space of -th order relations among the single-trace generators of the large ring .
The resolution of consisting of free -modules can always be constructed. For a given set of (commuting) quantum numbers , the resolution truncates at finite length because there exists a value of beyond which all generators of with have quantum numbers that exceed . It is important that has a notion of uniqueness despite having vanishing homology. We discuss its uniqueness properties in Section 3.2.3.
In physical terms, the Koszul-Tate resolution can be understood as the procedure of introducing heavy ghosts in a theory that compensate for null states that would have arisen due to trace relations at a given value of . There may be non-trivial relations between trace relations that require higher ghosts to compensate for them. Doing so in iteration reduces the space of states of a gauge theory to that of a gauge theory.
Explicitly, let be a trace relation at , where the label ranges over the (infinite) set of trace relations. For every , we introduce a heavy ghost of with opposite grassmann parity to that of . The nilpotent differential on operators acts as
(3.16) |
which makes -exact.
The set of trace relations may not be linearly-independent over the ring , i.e. may satisfy
(3.17) |
where are non-zero elements of . (3.17) is a relation between trace relations that needs to compensated via ghosts. Actually, there always exist relations between trace relations of the form
(3.18) |
where we set and assumed are grassmann even. This is a “trivial” relation because it simply states that the trace relations commute. Trivial relations that result from the (anti-)commutation properties of trace relations are automatically accounted for by taking to act on products of ghosts via the graded Leibniz rule:
(3.19) |
and so on, where if is grassmann even and if is grassmann odd. Thus, the (anti-)commutation properties are implemented by the statement that the expression on the RHS of (3.2.1) are -exact. If there are only trivial relations, it is sufficient to consider all multi-ghost generators
(3.20) |
with coefficients in , and the procedure of finding the Koszul-Tate resolution terminates.
However, there may exist non-trivial relations (3.17) between trace relations that do not just amount to the (anti-)commutation properties of . In this case, we must introduce ghosts-for-ghosts of satisfying
(3.21) |
where . This implements non-trivial relations between trace relations, and the subscript here labels the set of such relations. If there are no further non-trivial relations (again with coefficients in ) between the various relations (3.17), the procedure of finding the Koszul-Tate resolution terminates. If higher relations do exist, the process iterates until one has accounted for all non-trivial higher relations by making them -exact with respect to of .101010For example, if there exists a relation between relations between trace relations, then the compensating ghost maps to a linear combination of and with coefficients in . Given a set of quantum numbers , there are only finitely many generators and relations with charges less than or equal to .
In general, the differential on operators acts as
(3.22) |
where if is grassmann even and if is grassmann odd. The Koszul-Tate resolution is a complex built from multi-particling all such ghosts with coefficients in the large ring . States of total ghost number
(3.23) |
generate the free -module where .
Once a resolution is constructed, we can consider the truncated complex :
(3.24) |
whose homology is concentrated at heavy ghost number :
(3.25) |
So the complex of free -modules encodes the data of the finite module via its homology. We also refer to the complex as a resolution of .
We find evidence in Section 4 that higher ghosts are required even in rather simple settings, such as the free -BPS sector and the -BPS chiral ring of SYM. It would be important to understand the criteria for when they arise and, in situations where they exist, the holographic description of higher ghosts.
3.2.2 Thermal partition function and correlators
Given a Koszul-Tate resolution , the Lefschetz trace formula [36] tells us how to relate physical quantities computed over and over its resolution :
(3.26) |
where is an operator of heavy ghost number in the gauge theory that we also take to act on . To compute the trace, we need the concept of a dual module , whose elements are related to those of by the hermitian adjoint and carry opposite heavy ghost number and quantum numbers to those of . We work in an orthonormal basis for and of definite energy and charge eigenvalues.
The Lefschetz trace formula will provide the holographic map in our proposal of Section 3.3, in the regime of and finite . Bulk observables are computed by taking the alternating sum of the expectation values in an ensemble of states built on each open string vacuum. For instance, the free thermal partition function of a gauge theory on is equal to the alternating sum of the free thermal partition functions over of the resolution :
(3.27) |
The thermal correlation functions are related as
(3.28) |
where . The hamiltonian on the right-hand side is defined in the theory supplemented with ghosts for trace relations at a value of .
For superconformal gauge theories with non-anomalous R-symmetry, we can write in addition the relation between the superconformal indices
(3.29) |
where is the BPS condition and are conserved charges dual to fugacities that commute with the supercharge . In Section 3.3.1, we describe the conditions under which the dependence of the right-hand side on simplifies and (3.29) may be expressed as
(3.30) |
which is the giant graviton expansion proposed in [8]. Various minus signs from both and are hidden in the definition of . If the bulk has a supergravity regime, the indices on the right of (3.30) can also be computed directly in the bulk by counting the fluctuation modes of probe D-branes [9, 10].
3.2.3 (Non-)uniqueness and instantons
Here we comment on the uniqueness properties of a Koszul-Tate resolution of . First, we discuss why a Koszul-Tate resolution of does not necessarily produce a unique set of free -modules . Then we explain that there nonetheless exists a notion of uniqueness for , which we use to make physical statements about the bulk spectrum in Section 3.3.2.
It is not hard to understand why there exist infinitely many resolutions of at any finite value of . Given a resolution , one may always introduce an additional pair of spurious heavy ghosts and on which the differential act as
(3.31) |
Contributions from such pairs cancel in the Lefschetz trace formula (3.26) due to the relative minus sign . So an arbitrary number of them can be introduced without affecting physical quantities computed by (3.26). However, doing so still changes the energy/charge spectra associated with individual pairs of free -modules and .
This situation is analogous to the effect, on the instanton complex in supersymmetric quantum mechanics, of deforming the Morse function on the target manifold such that the number of critical points of changes [40]. Under generic deformations, the number of non-degenerate critical points changes by two, and the created/annihilated pair of critical points have Morse indices that differ by . While the number of critical points of with a given Morse index may change by an arbitrary positive amount, the Euler characteristic remains invariant. The difference between the instanton complex and our resolution , however, is that the instanton complex may have non-trivial cohomology at any form degree while the homology of is concentrated only at heavy ghost number .
Following the analogy with the instanton complex, our interpretation of the situation as follows: At any positive integer , there is an inherent ambiguity in the spectrum associated to a string background labelled by a collection of wrapped D-branes, due to the unphysical freedom to introduce spurious pairs of ghosts (3.2.3) between D-brane sectors and whose ghost numbers differ by . Thus, while the number of states with a given ghost degree and quantum numbers may change by an arbitrary positive amount, any physical quantity computed by the Lefschetz trace formula remains invariant.
It is still interesting to ask whether there are physical “invariants” of that are non-trivial at each ghost number . This is because in the bulk we can at best compute only on backgrounds with a fixed set of D-branes. One would like to be able to compare bulk quantities on a background with wrapped D-branes with the trace over found via the Koszul-Tate resolution of . It turns out that there is indeed a sense in which the modules of are uniquely determined:
A minimal Koszul-Tate resolution (also known as a minimal graded free resolution) is that for which the number of generators of each free -module in is minimal [37], i.e. a resolution for which there are no spurious ghosts. Though the modules possess an infinite number of generators, there are only a finite number of generators with a given set of quantum numbers . Therefore, the minimality of is well-defined for any commuting set . A minimal Koszul-Tate resolution of is unique up to isomorphisms, and any other non-minimal resolution of may be constructed by taking the direct sum of with a trivial complex consisting of spurious ghosts.
3.3 Bulk space of states at
In Section 3.1, we provided strong evidence for the following statement in the half-BPS sectors of SYM and IIB string theory on :
(3.32) |
In words, (1) the free -module consisting of states of ghost degree in a resolution (3.8) of the half-BPS Hilbert space at is holographically dual to (2) the half-BPS open-closed Hilbert space of IIB strings on with coincident D3 giant graviton branes, in the limit. It is possible to make a statement such as (3.32), where there exists a sharp semiclassical bulk description, because of special properties of the half-BPS resolution that we clarify in Section 3.3.1.
In more general circumstances, of the Koszul-Tate resolution generalizes the bulk interpretation associated with in a few important ways. In the limit where is large and all but one charge is held fixed, the module asymptotes to (in a sense that will be made precise) the space of string states on coincident D-branes fixed under the bulk isometry. This regime includes non-BPS excitations of the half-BPS sector. In other regimes, such as when two or more charges are treated on an equal footing, ceases to have a “good” large limit: the number of elements of of a given total charge or energy (minus the total background charge ) diverges as . The module nonetheless remains well-defined at any finite value of where no semiclassical bulk description may exist, modulo unphysical ambiguities described in Section 3.2.3. It is in this sense that generalizes the notion of the “large curvature limit of the space of string states on a background with wrapped D-branes”.
The proposal
Consider a four-dimensional gauge theory on possessing only fields in the adjoint representation of the gauge group, at zero ’t Hooft coupling . Let be the ring of polynomials of traces of fields and their derivatives (before accounting for trace relations). The space of states of the gauge theory is the quotient of by the submodule generated by the set of all trace relations at a given value of .
Our proposal is that the complex :
(3.33) |
which furnishes a Koszul-Tate resolution of over the ring , should be identified as the space of states of the dual string theory in the limit. The homology of is concentrated at heavy ghost number and coincides with . The free -module is, in a sense that is elaborated, the limit of the space of string states on a background with wrapped D-branes. The observables of the gauge theory are related to those of its string dual via the Lefschetz trace formula
(3.34) |
which provides the holographic map in the regime of and finite . Bulk observables are computed by taking the alternating sum of the expectation values in an ensemble of states built on each open string vacuum.
There exist instanton-like ambiguities for the modules at finite that arise from the freedom to introduce spurious ghosts in the resolution without affecting physical quantities computed via (3.34). We can nonetheless place lower bounds on the spectrum of string states on D-brane backgrounds at any value of , using the uniqueness of minimal resolutions. In the limit where is large and all but one charge is held fixed, we can determine exactly the string spectrum on certain D-branes in the large curvature limit from the counting of trace relations in a gauge theory.
It is clear that various assumptions for the gauge theory may be relaxed to produce interesting outcomes. We comment on these possibilities in the discussion.
3.3.1 Semiclassics and large
Let us discuss the circumstances under which the module acquires a sharp bulk description as the space of states of coincident giant graviton-like branes. In this limit, the string spectrum on D-brane backgrounds in the large curvature limit can be determined from the counting of trace relations in the gauge theory.
We begin by stating some reasonable properties for this regime: For one, must be large. Moreover, as we saw in Section 2.2, the D-branes that contribute states in the large curvature limit wrap the fixed point of a bulk isometry. They also possess large charges under this due to the induced potential. Therefore, is well-described as the space of string states on coincident D-branes at a fixed-point when is large and when all but one charge are held fixed.
This limit corresponds to considering trace relations that contain an arbitrary number of a single adjoint field and fixed numbers of other adjoint “letters” . For instance assuming all letters are bosonic, the set of trace relations for and containing two letters starts at
(3.35) |
There is relation with and one . Next, we have
(3.36) |
There are independent relations with and two s, and so on with higher insertions of s.
What do we mean by the large limit of the space of trace relations? Let us define
(3.37) |
where are charges of the letters .111111The letters may also carry charges. We can specialize and later as long as there are a finite number of with fixed charges. Since are free -modules, we can divide by the large partition function
(3.38) |
to find the quantum numbers of the generators of . Since the module of a minimal Koszul-Tate resolution is isomorphic to the space of trace relations with coefficients in , we are interested in the large behavior of the generators of that map to trace relations containing the letters . As is increased, the number of such generators of the free -module stabilizes up to an overall shift in by units:
(3.39) |
where denotes that we take the coefficient of . The first two coefficients of the power series in agree with the counting of independent trace relations at in the preceding paragraph, but the higher coefficients do not agree:
(3.40) |
Our claim is that these series coefficients converge to those of (3.39) as one considers modules in a sequence of minimal Koszul-Tate resolutions of increasing . As another example, we write the large limit of the number of independent trace relations that contain letters :
(3.41) |
The set of trace relations possesses degeneracies in the charge that stabilizes at large , with other charges fixed. As such, we observe that
(3.42) |
namely that the space of (ghosts for) trace relations converges in the large limit to another free -module that depends trivially on . We conjecture that generators of are holographically dual to states of a single D-brane on the fixed locus in the limit of the string dual.
This observation is actually just the first step at of the giant graviton expansion [8]
(3.43) |
for superconformal indices when all but one charge are held fixed. But now we have an understanding of the term of (3.43) at the level of trace relations and resolution thereof:
(3.44) |
The minus sign on the right side compensates for an overall minus sign that arises from the definition of due to an analytic continuation of the fugacity . The identification (3.44) holds when the letters preserve supersymmetries used the define the index. Note however that our definition (3.42) of based on trace relations does not require that are BPS letters.
An important property of the formula (3.43) is that the right hand side depends on only through the prefactor , i.e. are independent of . This suggests that, if we add the number of generators of to
(3.45) |
the remaining series starting at also stabilizes in the large limit. We take the remaining series to count (up to overall sign) the number of generators of another free -module . For example, the generators of when the trace relations involve arbitrary numbers of and fixed numbers of letters and possess the series
(3.46) |
As the procedure may be continued iteratively, this suggests that there exists a non-minimal Koszul-Tate resolution of
(3.47) |
at any value of (again understood within each -eigenspace), where the free -modules depend on only via an overall shift in the charges of its generators.121212Note that in general for .
The non-minimal resolution generalizes the expansion (3.43) from a statement about superconformal indices
(3.48) |
to that about the charge spectrum of free gauge theories at finite
(3.49) |
because can be found only based on the analysis of trace relations. We conjecture that the generators of the free -module are holographically dual to states of coincident D-branes on a fixed locus of the isometry in the limit of the dual string theory.
3.3.2 A lower bound on D-brane states
At finite and generic charges, the bulk description of the module as the space of string states on a background with wrapped D-branes becomes less precise. A reflection of this fact on is that the number of states of of a given total charge or energy (minus the total background charge ) necessarily diverges as , in contrast to the situation in the previous section. So in general the space does not have a “good” large limit.
Nevertheless, the space in a Koszul-Tate resolution of remains well-defined at any finite value of and energies, because is defined through the set of trace relations and their relations in a boundary gauge theory. It is therefore possible to put constraints on the “quantum” D-brane sectors based on our knowledge of .
According to our proposal, the free -module in gives the spectrum of string states on D-brane background. Due to the freedom to add spurious pairs of ghosts between and , this spectrum is in principle subject only to the global constraint
(3.50) |
We interpret this freedom as an indication that, at finite , there may exist different computational schemes in the bulk for computing the spectrum on D-brane backgrounds, where the different schemes are required only to satisfy the global constraint (3.50). We discussed an analogy of this situation to that of the instanton complex in Section 3.2.3.
Let us show that it is still possible to make useful statements about the spaces at each degree . Recall from Section 3.2.3 that a minimal Koszul-Tate resolution of is unique, i.e. any non-minimal resolution of may be constructed by adjoining to spurious pairs of ghosts that decouple from . Given the set of trace relations in a gauge theory, we use the uniqueness of to place lower bounds on the spectrum of string states on D-brane backgrounds in the string dual at and finite .
Let and , respectively, be minimal and non-minimal Koszul-Tate resolutions of :
(3.51) |
where are defined differently in and . The Lefschetz trace formula says that
(3.52) |
which may be further refined by global charges. If we define the Hilbert-Poincaré series
(3.53) |
where , then by the uniqueness of the minimal resolution , there exists with non-negative coefficients in the - and -series such that the following holds:
(3.54) |
This is the statement that can be constructed from a minimal resolution by introducing spurious pairs of heavy ghosts and satisfying and . The ghosts and possess the same energy eigenvalue. (3.54) places a lower bound at each energy eigenvalue on the number of generators of , i.e. on the degeneracy of open strings on D-branes in the limit.
Note that the lower bound (3.54) applies when there is a state-counting interpretation for the bulk partition function computed in background with D-branes. For instance, one situation where the bound does not apply is in the giant graviton-like expansion considered in [17]. It was found in [21] that brane partition functions in this expansion originate from a super-matrix integral, which suggests that the partition function is associated to a more exotic brane system. It would be interesting to understand the expansion of [17] in terms of Koszul-Tate resolutions.
Another situation where the bound does not apply is when analytic properties of the bulk partition functions are used to find the spectrum. For example, the giant graviton expansion for the -BPS chiral ring of SYM can be found by summing over residues of a grand canonical partition function:
(3.55) |
The terms and have state-counting interpretations and their charge degeneracies are subject to the lower bound (refined with fugacities) at each . The other terms with do not have state-counting interpretations, because with does not have a power series expression. Computing the right side of (3.3.2), e.g. in the limit , requires one to use analytic properties of in fugacities to cancel poles that are present in that limit. The spectrum on the RHS at each total value of therefore does not possess a state-counting interpretation. Wall-crossing phenomena due to the analytic properties of such expansions were discussed in the context of superconformal indices in [11]. We discuss the resolution in this example in Section 4.
4 Basic examples
We provide some simple examples of Koszul-Tate resolutions of finite modules, such as those for a -gauged free fermion, -BPS sector of free SYM, and the -BPS chiral ring of SYM. Higher ghosts appear in the free -BPS sector and the -BPS chiral ring.
We hope it is clear to the reader that generalization to more interesting examples, such as -BPS sector of SYM or thermal partition function of pure Yang-Mills, is certainly possible in principle. However, this would require a significant improvement in the algorithm and would benefit from a better understanding of their string duals for comparison of the results.
4.1 Enumerating relations
We can enumerate the trace relations in a gauge theory by defining the function [41]
(4.1) |
which consists of matrices . Here, is the character of the symmetric group in the antisymmetric representation . As a consequence of the Cayley-Hamilton theorem, the following relation
(4.2) |
holds identically for any set of matrices , where each may be grassmann even or odd. Trace relations in a gauge theory can be found by considering replacements of with (products of) matrix-valued fields in the gauge theory.131313See for example [42] for a recent study using the Cayley-Hamilton theorem to determine trace relations. Since there are infinitely many trace relations, the set of trace relations must be computed in practice with a cutoff in the charges.
There is a large redundancy in the set of trace relations obtained from making substitutions in . We find the minimal set of trace relation generators and the minimal free resolution of , up to a truncation in the charge values, by using a Gröbner basis algorithm in a computer program [43].
4.2 Examples
-gauged fermion
Consider a free fermion in the adjoint representation of the gauge group . To simplify matters, we consider the Hilbert space built from gauge-invariant operators without derivatives, i.e. traces of an fermion matrix. Writing down trace relations is straightforward, and the Koszul-Tate resolution of this example can be worked out analytically. Taking the energy of the fermion to be , the thermal partition function of the system with anti-periodic boundary conditions is
(4.3) |
and with periodic boundary conditions is
(4.4) |
where . The fermion number grading here should be distinguished from the heavy ghost grading in the resolution. It will be interesting to see the effect of having both and for the periodic case.
Let us find the trace relations and the resolution. From the cyclicity of the trace, one finds that traces containing even powers of vanish identically, independently of :
(4.5) |
So the large ring is
(4.6) |
The trace relations at are
(4.7) |
We can find the Koszul-Tate resolution of the finite module
(4.8) |
by introducing ghosts and a differential on operators satisfying
(4.9) |
where . The anti-commuting differential in a graded free resolution must commute with all quantum numbers other than the ghost degree of the resolution, so the ghosts are commuting operators with mod and .141414 may both commute and have mod because is defined through other quantum numbers such as Lorentz spin in higher dimensions. The differential is nilpotent and acts via the graded Leibniz rule on multi-ghost operators:
(4.10) |
There are no higher ghosts in this example. This statement can be checked by computing the Lefschetz trace formula using only the multi-ghost states (with coefficients in )
(4.11) |
where with and no higher ghosts. Let us compute the ghost partition functions by taking traces with respect to the free -modules . The -ghost partition function without is
(4.14) | ||||
(4.15) |
and with is
(4.18) | ||||
(4.19) |
In the latter, evaluates to because each has mod and heavy ghost number .
We find that the Lefschetz trace formula is satisfied in both cases. For the fermion with anti-periodic boundary conditions one obtains
(4.20) |
and with periodic boundary conditions one obtains
(4.21) |
It is interesting that cancels with in the latter. If a string dual of a -gauged fermion can be formulated, this suggests that D-branes in the anti-periodic case behave with fermionic statistics while D-branes in the periodic case behave as bosons.
Free -BPS sector
Let us consider the -BPS sector of free super Yang-Mills, which consists of gauge-invariants constructed from two scalars and [44]. Starting with examples involving two matrices, the trace relations become rather involved. We find the trace relations at low values of up to a truncation in the total dimension of the adjoint fields and . Then we reduce the set of trace relations to a minimal set of generators using [43].
The partition function of this system is
(4.22) |
where and are fugacities for charges associated to fields and . The large ring
(4.23) |
is the ring of polynomials in all single traces constructed from , where do not commute. The large partition function is
(4.24) |
Let us compute at low values of to set some expectations regarding the higher relations. We can read off the single-trace generators of the free -BPS sector at low values of from . The partition function for are
(4.25) |
This suggests that is a Fock space built from the generators , and that is a Fock space built from
(4.26) |
However, the partition function at
(4.27) |
says that cannot be a Fock space built from single trace generators [45], because there exists a relation of degree in fields among the generators
(4.28) |
One can think of other traces, e.g. , , and , at degrees and as having been eliminated by expressing them in terms of and using the trace relations at . The analysis in this paragraph amounts to using the trace relations that were present at each to reduce the ring generators to a finite set, but we would like to work over the large ring and find whether there exist non-trivial relations between trace relations.
Let be free -modules consisting a minimal Koszul-Tate resolution of . We define the following, which is the Hilbert series of :
(4.29) |
By enumerating trace relations, we find that the generators of that map to trace relations possess the following total charges:
(4.30) |
where we specialized the fugacities to .
We would like to find whether there exist higher relations between trace relations. We can do so by checking whether the Lefschetz trace formula is satisfied by multi-ghost states constructed only from single-ghost generators with the above charges. We use Polya theory [46, 47, 48] to multi-particle the anti-commuting ghosts of :
(4.31) |
where the series contains charges of states with total heavy ghost number . If the above satisfy
(4.32) |
it means that there are no ghosts-for-ghosts.
Up to total charge , we find that (4.32) is satisfied for . There is a discrepancy at of
(4.33) |
which indicates that the Koszul-Tate resolution at involves a higher ghost state at total charge . The minus sign, and the fact that the is the final term to contribute to (4.33) up to charge , suggests the higher ghost of charge maps under to a linear combination of with coefficients in .
-BPS chiral ring
A similar computation may be done in the -BPS chiral ring of SYM, which involves adjoint fields and subject to a superpotential constraint . The large ring consists of traces of commuting fields:
(4.34) |
where and . The grand canonical partition function of the -BPS chiral ring is
(4.35) |
and the large partition function is
(4.36) |
One finds non-trivial results also starting at , where the generators of that map to trace relations possess the following total charges:
(4.37) |
There is a discrepancy in (4.32) at :
(4.38) |
which indicates that three ghost-for-ghost states exist in the minimal Koszul-Tate resolution at charge . It would be nice to understand the higher ghosts in this context by comparing the large spectrum of in Section 3.3.1 at fixed charges with the spectrum of normalizable states constructed from higher modes on D3 giants.
5 Discussion
We conclude with a partial list of open questions:
-
1.
A path integral realization of the Koszul-Tate resolution implementing trace relations would be conceptually enlightening. This may help understand how structures discussed in this work are realized in the bulk string field theory in the limit.
-
2.
To make the bulk grading and the Hilbert space structure manifest, we used canonical quantization to study the states of bulk D-branes. It would be nice to understand how the grading arises in the gravitational path integral in the presence of Euclidean D-branes.
-
3.
Trace relations exist at finite . How does the structure of the Koszul-Tate resolution change when one turns on the coupling, and what additional ingredients are required? How do we describe the dynamics of the heavy ghost states, and how are properties of black holes encoded therein? How does the bulk radial coordinate emerge at finite ? It would also be nice to understand the recent progress in -BPS states at weak coupling [49, 50, 51, 52, 53] using tools presented in this work.
-
4.
More intricate finite relations appear in gauge theories with (anti-)fundamental and adjoint fields or in gauge theories with surface defects with (anti-)fundamental degrees of freedom. It would be nice to gain an algebraic understanding of various branes in anti-de Sitter space in terms of relations at finite .
-
5.
It would be important to have a sharper bulk understanding of the higher ghosts (e.g. as strings on multiply-wrapped branes, etc.). Along these lines, it would be helpful to generalize the computation of normalizable states in Section 2.2 to that with higher modes and fluctuations in directions.
- 6.
-
7.
The holographic interpretation of the differential is an instanton which maps a state on wrapped D-branes to a linear combination of states on wrapped D-branes with coefficients in the traces (i.e. closed strings). What are the gauge theory predictions for the tunneling amplitudes between vacua labelled by different D-branes, as well as the effect of turning on on this amplitude?
Acknowledgments
I thank D. Belayneh, M. R. Gaberdiel, D. Gaiotto, M. Heydeman, L. V. Iliesiu, S. Komatsu, W. Li, E. J. Martinec, H. Murali, S. S. Pufu, S. Raghavendran, P. Vieira, and E. Witten for helpful discussions. I am especially grateful to D. Gaiotto for many valuable suggestions and careful reading of the draft. I thank the organizers of the Precision Holography workshop at CERN and the organizers of the QFT & Strings seminar at ETH Zürich for the opportunity to present early versions of this work. I am thankful for the hospitality of Institut für Theoretische Physik at ETH Zürich, where parts of this work was done.
I am supported by the Perimeter Institute for Theoretical Physics and in part by the NSERC Discovery Grant program and the Simons Collaboration on Confinement and QCD Strings. Research at Perimeter Institute is supported in part by the Government of Canada through the Department of Innovation, Science and Economic Development Canada and by the Province of Ontario through the Ministry of Colleges and Universities.
References
- [1] G. ’t Hooft, A Planar Diagram Theory for Strong Interactions, Nucl. Phys. B 72 (1974) 461.
- [2] J. M. Maldacena, The Large N limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys. 2 (1998) 231–252, [hep-th/9711200].
- [3] E. Witten, Anti-de Sitter space and holography, Adv. Theor. Math. Phys. 2 (1998) 253–291, [hep-th/9802150].
- [4] S. S. Gubser, I. R. Klebanov, and A. M. Polyakov, Gauge theory correlators from noncritical string theory, Phys. Lett. B 428 (1998) 105–114, [hep-th/9802109].
- [5] J. M. Maldacena and A. Strominger, AdS(3) black holes and a stringy exclusion principle, JHEP 12 (1998) 005, [hep-th/9804085].
- [6] R. C. Myers, Dielectric branes, JHEP 12 (1999) 022, [hep-th/9910053].
- [7] J. McGreevy, L. Susskind, and N. Toumbas, Invasion of the giant gravitons from Anti-de Sitter space, JHEP 06 (2000) 008, [hep-th/0003075].
- [8] D. Gaiotto and J. H. Lee, The Giant Graviton Expansion, arXiv:2109.02545.
- [9] R. Arai and Y. Imamura, Finite Corrections to the Superconformal Index of S-fold Theories, PTEP 2019 (2019), no. 8 083B04, [arXiv:1904.09776].
- [10] Y. Imamura, Finite-N superconformal index via the AdS/CFT correspondence, PTEP 2021 (2021), no. 12 123B05, [arXiv:2108.12090].
- [11] J. H. Lee, Exact stringy microstates from gauge theories, JHEP 11 (2022) 137, [arXiv:2204.09286].
- [12] J. Kinney, J. M. Maldacena, S. Minwalla, and S. Raju, An Index for 4 dimensional super conformal theories, Commun. Math. Phys. 275 (2007) 209–254, [hep-th/0510251].
- [13] M. T. Grisaru, R. C. Myers, and O. Tafjord, SUSY and goliath, JHEP 08 (2000) 040, [hep-th/0008015].
- [14] A. Hashimoto, S. Hirano, and N. Itzhaki, Large branes in AdS and their field theory dual, JHEP 08 (2000) 051, [hep-th/0008016].
- [15] R. Arai, S. Fujiwara, Y. Imamura, and T. Mori, Schur index of the supersymmetric Yang-Mills theory via the AdS/CFT correspondence, Phys. Rev. D 101 (2020), no. 8 086017, [arXiv:2001.11667].
- [16] R. Arai, S. Fujiwara, Y. Imamura, T. Mori, and D. Yokoyama, Finite- corrections to the M-brane indices, JHEP 11 (2020) 093, [arXiv:2007.05213].
- [17] S. Murthy, Unitary matrix models, free fermions, and the giant graviton expansion, Pure Appl. Math. Quart. 19 (2023), no. 1 299–340, [arXiv:2202.06897].
- [18] Y. Imamura, Analytic continuation for giant gravitons, PTEP 2022 (2022), no. 10 103B02, [arXiv:2205.14615].
- [19] S. Choi, S. Kim, E. Lee, and J. Lee, From giant gravitons to black holes, JHEP 11 (2023) 086, [arXiv:2207.05172].
- [20] J. T. Liu and N. J. Rajappa, Finite N indices and the giant graviton expansion, JHEP 04 (2023) 078, [arXiv:2212.05408].
- [21] D. S. Eniceicu, Comments on the Giant-Graviton Expansion of the Superconformal Index, arXiv:2302.04887.
- [22] F. F. Gautason, V. G. M. Puletti, and J. van Muiden, Quantized strings and instantons in holography, JHEP 08 (2023) 218, [arXiv:2304.12340].
- [23] M. Beccaria and A. Cabo-Bizet, On the brane expansion of the Schur index, JHEP 08 (2023) 073, [arXiv:2305.17730].
- [24] M. Beccaria and A. Cabo-Bizet, Large black hole entropy from the giant brane expansion, arXiv:2308.05191.
- [25] M. Beccaria, S. Giombi, and A. A. Tseytlin, (2,0) theory on S5×S1 and quantum M2 branes, Nucl. Phys. B 998 (2024) 116400, [arXiv:2309.10786].
- [26] S. Fujiwara, Y. Imamura, T. Mori, S. Murayama, and D. Yokoyama, Simple-Sum Giant Graviton Expansions for Orbifolds and Orientifolds, arXiv:2310.03332.
- [27] V. Balasubramanian, M.-x. Huang, T. S. Levi, and A. Naqvi, Open strings from N=4 superYang-Mills, JHEP 08 (2002) 037, [hep-th/0204196].
- [28] V. Balasubramanian, D. Berenstein, B. Feng, and M.-x. Huang, D-branes in Yang-Mills theory and emergent gauge symmetry, JHEP 03 (2005) 006, [hep-th/0411205].
- [29] R. de Mello Koch, J. Smolic, and M. Smolic, Giant Gravitons - with Strings Attached (I), JHEP 06 (2007) 074, [hep-th/0701066].
- [30] G. Festuccia and N. Seiberg, Rigid Supersymmetric Theories in Curved Superspace, JHEP 06 (2011) 114, [arXiv:1105.0689].
- [31] G. Ishiki, Y. Takayama, and A. Tsuchiya, N=4 SYM on R x S**3 and theories with 16 supercharges, JHEP 10 (2006) 007, [hep-th/0605163].
- [32] E. Witten, Holomorphic Morse Inequalities, Algebraic and Differential Topology - Global Differential Geometry (1984).
- [33] H. Lin, O. Lunin, and J. M. Maldacena, Bubbling AdS space and 1/2 BPS geometries, JHEP 10 (2004) 025, [hep-th/0409174].
- [34] D. Berenstein, A Toy model for the AdS / CFT correspondence, JHEP 07 (2004) 018, [hep-th/0403110].
- [35] S. Dutta and R. Gopakumar, Free fermions and thermal AdS/CFT, JHEP 03 (2008) 011, [arXiv:0711.0133].
- [36] M. Henneaux and C. Teitelboim, Quantization of gauge systems. 1992.
- [37] D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry. 1995.
- [38] D. Cox, J. Little, and D. O’shea, Using Algebraic Geometry. 2005.
- [39] G. Felder, BRST Approach to Minimal Models, Nucl. Phys. B 317 (1989) 215. [Erratum: Nucl.Phys.B 324, 548 (1989)].
- [40] E. Witten, Supersymmetry and Morse theory, J. Diff. Geom. 17 (1982), no. 4 661–692.
- [41] C. D. Concini and C. Procesi, The Invariant Theory of Matrices. 2017.
- [42] R. Dempsey, I. R. Klebanov, L. L. Lin, and S. S. Pufu, Adjoint Majorana QCD at finite N, JHEP 04 (2023) 107, [arXiv:2210.10895].
- [43] D. R. Grayson and M. E. Stillman, “Macaulay2, a software system for research in algebraic geometry.” Available at http://www2.macaulay2.com.
- [44] F. A. Dolan, Counting BPS operators in N=4 SYM, Nucl. Phys. B 790 (2008) 432–464, [arXiv:0704.1038].
- [45] A. Hanany, Counting BPS operators in the chiral ring: The plethystic story, AIP Conf. Proc. 939 (2007), no. 1 165–175.
- [46] B. Sundborg, The Hagedorn transition, deconfinement and N=4 SYM theory, Nucl. Phys. B 573 (2000) 349–363, [hep-th/9908001].
- [47] A. M. Polyakov, Gauge fields and space-time, Int. J. Mod. Phys. A 17S1 (2002) 119–136, [hep-th/0110196].
- [48] O. Aharony, J. Marsano, S. Minwalla, K. Papadodimas, and M. Van Raamsdonk, The Hagedorn - deconfinement phase transition in weakly coupled large N gauge theories, Adv. Theor. Math. Phys. 8 (2004) 603–696, [hep-th/0310285].
- [49] C.-M. Chang and Y.-H. Lin, Words to describe a black hole, JHEP 02 (2023) 109, [arXiv:2209.06728].
- [50] S. Choi, S. Kim, E. Lee, and J. Park, The shape of non-graviton operators for , arXiv:2209.12696.
- [51] S. Choi, S. Kim, E. Lee, S. Lee, and J. Park, Towards quantum black hole microstates, JHEP 11 (2023) 175, [arXiv:2304.10155].
- [52] K. Budzik, H. Murali, and P. Vieira, Following Black Hole States, arXiv:2306.04693.
- [53] C.-M. Chang, L. Feng, Y.-H. Lin, and Y.-X. Tao, Decoding stringy near-supersymmetric black holes, arXiv:2306.04673.
- [54] M. B. Green, J. A. Harvey, and G. W. Moore, I-brane inflow and anomalous couplings on d-branes, Class. Quant. Grav. 14 (1997) 47–52, [hep-th/9605033].
- [55] R. Minasian and G. W. Moore, K theory and Ramond-Ramond charge, JHEP 11 (1997) 002, [hep-th/9710230].
- [56] E. Witten, D-branes and K-theory, JHEP 12 (1998) 019, [hep-th/9810188].
- [57] D. S. Freed and M. J. Hopkins, On Ramond-Ramond fields and K theory, JHEP 05 (2000) 044, [hep-th/0002027].
- [58] J. M. Maldacena, G. W. Moore, and N. Seiberg, D-brane instantons and K theory charges, JHEP 11 (2001) 062, [hep-th/0108100].
- [59] E. Witten, Overview of K theory applied to strings, Int. J. Mod. Phys. A 16 (2001) 693–706, [hep-th/0007175].
- [60] I. R. Klebanov and A. M. Polyakov, AdS dual of the critical O(N) vector model, Phys. Lett. B 550 (2002) 213–219, [hep-th/0210114].
- [61] E. Sezgin and P. Sundell, Massless higher spins and holography, Nucl. Phys. B 644 (2002) 303–370, [hep-th/0205131]. [Erratum: Nucl.Phys.B 660, 403–403 (2003)].
- [62] S. Giombi and X. Yin, Higher Spin Gauge Theory and Holography: The Three-Point Functions, JHEP 09 (2010) 115, [arXiv:0912.3462].
- [63] M. R. Gaberdiel and R. Gopakumar, An AdS Dual for Minimal Model CFTs, Phys. Rev. D 83 (2011) 066007, [arXiv:1011.2986].
- [64] M. R. Gaberdiel and R. Gopakumar, Tensionless string spectra on AdS, JHEP 05 (2018) 085, [arXiv:1803.04423].
- [65] L. Eberhardt, M. R. Gaberdiel, and R. Gopakumar, The Worldsheet Dual of the Symmetric Product CFT, JHEP 04 (2019) 103, [arXiv:1812.01007].
- [66] L. Eberhardt, M. R. Gaberdiel, and R. Gopakumar, Deriving the AdS/CFT correspondence, JHEP 02 (2020) 136, [arXiv:1911.00378].
- [67] M. R. Gaberdiel and R. Gopakumar, The worldsheet dual of free super Yang-Mills in 4D, JHEP 11 (2021) 129, [arXiv:2105.10496].
- [68] K. Costello and S. Li, Twisted supergravity and its quantization, arXiv:1606.00365.
- [69] K. Costello, Holography and Koszul duality: the example of the brane, arXiv:1705.02500.
- [70] N. Ishtiaque, S. Faroogh Moosavian, and Y. Zhou, Topological holography: The example of the D2-D4 brane system, SciPost Phys. 9 (2020), no. 2 017, [arXiv:1809.00372].
- [71] K. Costello and D. Gaiotto, Twisted Holography, arXiv:1812.09257.
- [72] K. Costello and N. M. Paquette, Twisted Supergravity and Koszul Duality: A case study in AdS, Commun. Math. Phys. 384 (2021), no. 1 279–339, [arXiv:2001.02177].