’t Hooft anomalies and boundaries

We argue that there is an obstruction to placing theories with ’t Hooft anomalies on manifolds with a boundary, unless the symmetry associated with the anomaly can be represented as a non-invariance under an Abelian transformation. For a two dimensional conformal field theory we further demonstrate that all anomalies except the usual trace anomaly are incompatible on a manifold with a boundary. Our findings extend a known result whereby, under mild assumptions, Lagrangian theories with chiral matter cannot be canonically quantized.


Introduction
Symmetries play a fundamental role in characterizing quantum field theories. When a Lagrangian description is available, continuous symmetries are often in one-to-one correspondence with Noether currents which are conserved inside correlation functions. If a continuous symmetry of the Lagrangian does not correspond to a conserved current we say that the symmetry is anomalous. A prime example of an anomalous symmetry is the U(1) A symmetry of the Standard model, whereby the axial current is not conserved. In this work we will consider 't Hooft anomalies in which the non-conservation law is characterized by a c-function.
Even when a Lagrangian description is not available one can characterize symmetries by an invariance of the generating function of connected correlators, W , under a transformation, δ v of the external fields. If δ v is a symmetry then one may associate an algebra with it. A set of transformations δ v which satisfy an appropriate algebra but under which δ v W is nonzero are said to generate an anomalous symmetry. If δ v W is a nonzero, local, functional of the external fields, then the theory is said to possess an 't Hooft anomaly. 1 Anomalies serve as one of the few probes of non-perturbative quantum field theories. Anomaly matching between fixed points of RG flow [1] allows one to posit the existence of various dualities [2], it allows for the computation of anomalous couplings of D-branes [3] and for understanding black hole entropy [4]. From a theoretical standpoint the classification of anomalies leads to a rich cohomological structure [5], and to index theorems [6].

JHEP01(2018)085
non-abelian anomalies must be the same on both sides of the interface. Likewise, twodimensional interface CFTs may have nonzero c L − c R and k L − k R , but these asymmetries must be continuous across the interface.
Our main proof that the Wess-Zumino consistency condition allows only Abelian anomalies on a manifold with a boundary can be found in section 2. Since the brunt of the proof is somewhat formal we provide several explicit examples in a more hands-on manner: in subsection 2.1 we discuss in detail all possible 't Hooft anomalies in two dimensions. We show explicitly that two dimensional flavor anomalies are not compatible on a manifold with a boundary but gravitational anomalies are. We also discuss two dimensional Weyl anomalies and Lorentz-Weyl anomalies. The latter suffers from an obstruction similar to that of non-Abelian anomalies. Four and higher dimensions are analyzed in subsections 2.2 and 2.3. Our argument that two-dimensional CFT's with a boundary do not support even Abelian anomalies is given in section 3. We end with a brief discussion of our results in section 4.
Note added. Some time ago, we learned of related work by S. Hellerman, D. Orlando, and M. Watanabe [22,23]. They also find obstructions to placing theories with anomalies on spaces with boundary. Their work agrees with ours where they overlap.

Anomalies
A classical symmetry is a transformation of the dynamical fields under which the action remains invariant. In quantum field theory a symmetry manifests itself as an invariance of the generating function W [A] under a transformation the external sources, for instance where δ v A is an infinitesimal transformation parameterized by a set of functions v. Let us consider a particular class of transformations, After integration by parts, and in the absence of a boundary, we have In (2.3) we have removed all but a spacetime index for brevity. Thus,

JHEP01(2018)085
with G a volume form and assigning δ v 2 v 1 = 0, (2.4) amounts to Written this way, a non-trivial solution is a solution which does not reduce to G = 0 upon adding to the quantum action terms which are local in A or its derivatives. Non trivial solutions to (2.6) exist in even dimensional spacetimes. They can be obtained by converting (2.6) to a cohomological problem. While this is textbook material [24][25][26] it is instructive to sketch the conversion procedure in some detail. The integrated version of the transformation specified by (2.2) amounts to (2.7) Indeed, the transformation (2.7) reduces to (2.2) for g = 1 + v + O(v 2 ), expanded to linear order in v. Let us consider transformations g which depend on parameters θ α , which take values on the two-sphere S 2 , such that g(x, θ) θ=0 = 1. Note thatĀ(x, θ) θ=0 = A(x).
One reason for considering a two dimensional parameter space is that we will be associating the two transformations, v 1 and v 2 , appearing in (2.6) with each of the two angles.
(The authors of [24][25][26] consider a parameter space which is a p-sphere to obtain a more general result than needed in this summary.) To wit, consider such that v 1 (x) and v 2 (x) from (2.4) are the θ → 0 limit of v 1 (x, θ) and v 2 (x, θ). The strategy for solving (2.4) is to solve it for arbitrary θ and then restrict the solution to θ = 0. To proceed, it is convenient to consider the gauge parameters v α as a one-form in where dθ α is a basis of one-forms on the S 2 andd is the exterior derivative on S 2 . Thus, we have, for instance,dv = −v ∧v . (2.10) If we defineF = dĀ +Ā ∧Ā then In fact, there is an entire equivalence class of solutions to (2.13). IfvG solves (2.14) then so doesvG +dĜ + dG b . We writevG ∼vG +dĜ + dG b . From a physical perspective, thê dĜ term amounts to adding a trivial solution to (2.4). Given that dd +dd = 0, the dG b corresponds to adding a boundary term to W which is local in A or its derivatives. There is a similar equivalence class for Q. Equation (2.14) can be solved using the celebrated descent relations, (see, for instance, [26]). A particularly useful class of solutions is given by [27] vG Tr (vdv) m = 1 (2.16) in d = 2m spacetime dimensions. Here we have definedF t = tdĀ + t 2Ā ∧Ā and P is the d + 2 dimensional anomaly polynomial. Given that P = Tr (F 1 ∧ F 2 ∧ G) with F 1 and F 2 two form field strengths and G a d − 2 form, then P (X, Y, Z) = Tr (X ∧ Y ∧ Z). Equation (2.14) and its solution (2.15) and (2.16) are the results we need from [24][25][26].
In the presence of a boundary the functional form of δ v (2.3) will receive boundary contributions, so that (2.17) The previous analysis will go through as before such that (2.13) takes the form In order to avoid settingvG = d (vG b ) +dG (which implies a trivial solution to the Wess Zumino consistency conditions, δ v W = d G ) we must first look for a solution of the form (2.14), and then setd From a physical standpoint (2.19) implies that the boundary terms generated by the standard bulk anomaly have to be compensated for by additional boundary terms in order that the Wess-Zumino conistency condition is satisfied in the bulk and the boundary. This is a standard technique which has been used to classify Weyl anomalies on manifolds with boundaries in, e.g., [28,29]. By extending the parameter space for the transformations g(x, θ) from S 2 to S 3 , a necessary condition for (2.19) to be satisfied is that (2.20)

JHEP01(2018)085
Acting withd on the solution given in (2.16) we find that in four and higher spacetime di-mensionsdQ = 0 unless Q = 0. The condition Q = 0 is satisfied if dv 2 = dθ 1 dθ 2 [dv 1 , dv 2 ] = 0 which implies that the symmetry is Abelian. In two dimensionsdQ = 0 only for an Abelian symmetry. As we will show shortly in that case (2.19) can, indeed, be satisfied. Thus, we conclude that 't Hooft anomalies on manifolds with boundaries are consistent only as long as the anomaly polynomial takes the form with F the curvature of an Abelian connection. Anomalies of this type may be represented as a non-invariance under an Abelian transformation. These include pure Abelian anomalies, like a U(1) 3 anomaly in four dimensions, or anomalies which are mixed between an Abelian symmetry and a non-Abelian one. This result also applies to SO(d) Lorentz anomalies: in two dimensions, the SO(2) Lorentz anomaly is consistent on a space with boundary, but there is an obstruction for pure Lorentz anomalies in more than two dimensions.
Thus, we conclude that the Wess-Zumino consistency condition cannot be satisfied for theories with non-Abelian 't Hooft anomalies on manifolds with boundaries. In the remainder of this section we will study the ramifications of this result in two, four, and higher dimensions.

Two dimensions
In order to illustrate our main result, consider flavor anomalies in two-dimensional field theories. Let A be a connection associated with a non-Abelian transformation, such that where we have integrated by parts in the second line. A direct computation gives which matches (2.16). Thus, as expected, in the absence of a boundary, (2.23) solves the Wess-Zumino consistency condition.
In the presence of a boundary, we may add to (2.23) a boundary variation δ Λ W = k ∂M Tr(ΛA) such that (2.24) takes the form which vanishes only when the symmetry is Abelian.

JHEP01(2018)085
As stated in our general discussion, the boundary terms (2.25) can not be removed by further adding local boundary contributions to (2.23). Indeed, in the presence of a boundary one may attempt to modify (2.23) to, (2.26) One may check that [δ 1 , δ 2 ]W − δ [1,2] W does not vanish for any non zero b. It may be the case that non-local expressions may be added to the right hand side of (2.26) so that the right hand side of (2.24) vanishes. While possible it would mean that the non-conservation law for the anomalous current would involve a non-local expression. Let us move onward to two-dimensional theories with a gravitational anomaly. Recall that gravitational anomalies may manifest themselves as Lorentz anomalies or Einstein anomalies. For general dimensions, a Lorentz transformation δ θ of the vielbein e a µ and spin connection ω µ a b are given by In two dimensions the Lorentz group is Abelian and we may define θ a b = θ a b and ω µ ab = ω µ ab with ab the Levi-Civita tensor. It is also common to define the spin connection as a one form, ω = ω µ dx µ . In this language (2.27) become Likewise, Einstein (diffeomorphism) transformations of the vielbein e a µ , metric g µν and Christoffel connection one-form Γ µ ν = Γ µ να dx α are given by In addition ξ transforms as a tangent vector, and θ as a scalar, viz.
We are using the so-called "passive" representation of diffeomorphisms in (2.29) and (2.30).
Their active counterparts will not be covered in this work. The solution to the Wess-Zumino consistency condition on a manifold without a boundary for two-dimensional Lorentz anomalies can be read off of (2.15) with an Abelian gauge connection. Thus, from (2.24) and the Abelian nature of the Lorentz anomaly, W satisfies the Wess-Zumino consistency condition for Lorentz transformations on manifolds with a boundary once we add to it an appropriate boundary term, In the absence of boundaries Lorentz anomalies can be converted to Einstein (diffeomorphism) anomalies by adding appropritate local counterterms to the action. The technical term is that the gravitational anomaly is mixed between diffeomorphisms and local rotations. Indeed, following [30], consider the following expression: where we have defined a vielbein e(s) which interpolates between e(0) a µ = δ a µ and e(1) a µ = e a µ where e is the vielbein on M. Treating e(s) as a matrix-valued zero form, we have defined where ω = ω µ dx µ ab is the spin connection one-form associated with e a µ . Note that ω(1) = Γ, where Γ is the Christoffel connection associated with the vielbein e, and considered as a gauge transformation of ω.
Since ∆S is a functional of e and de then it is a trivial solution to the Wess-Zumino consistency conditions (2.4). Further, one can show that (2.38) 2 To obtain (2.35), we found the following identities useful (2.37)

JHEP01(2018)085
The bulk term on the right hand side of δ ξW is the standard expression for the Einstein anomaly [26,30] as expected. One may check that on its own, it does not satisfy the Wess-Zumino consistency condition (2.4) on a manifold with a boundary. The boundary term associated with the Einstein variation ofW appearing on the far right of δ ξW precisely compensates for the bulk term's violation of the Wess-Zumino consistency condition, so thatW indeed satisfies (2.4) More generally, δ θW together with δ ξW ensure that (2.4) is satisfied for both Lorentz and Einstein variations.
The main lesson we have learned from the analysis of the two-dimensional gravitational anomaly is that once a mixed anomaly satisfies the Wess-Zumino consistency condition in one frame, then shifting the anomaly to another frame by adding a local term to the quantum effective action will not lead to a violation of the Wess-Zumino consistency conditions.
We conclude this section with an analysis of conformal field theories (CFTs). (In the next section we perform a complementary analysis in terms of two-point functions on the upper half-plane.) In a two-dimensional CFT the gravitational anomaly, whose strength is parameterized byc, is associated with an asymmetry in the left and right central charges, whereas the total central charge is proportional to their sum, When c = 0 two-dimensional CFT's have an anomaly under infinitesimal Weyl rescalings of the metric, The Weyl anomaly is Abelian and satisfies The Weyl anomaly on a manifold with boundary has long been known [28] to be with K the extrinsic curvature one-form. In two dimensions the spin connection ω is related to the scalar curvature R by which can be used to bring (2.43) into a more canonical form.
Let us now consider CFTs where both c andc are nonzero, meaning theories with both a Weyl and Lorentz anomaly. We denote the action of a joint infinitesimal Weyl scaling with parameter σ and a local rotation with parameter θ by δ v , such that, e.g., (2.45) We note that and that [δ v 1 , δ v 2 ] = 0.

JHEP01(2018)085
We start with manifolds without boundaries. In order to solve the Wess-Zumino consistency conditions for the Weyl anomaly we must include, at the very least, the bulk term in (2.43), −c M σdω. Likewise, in order to solve the Wess-Zumino consistency condition for the gravitational anomaly we must include, at the very least, a bulk term, M θdω as in (2.31). One can check that these two contributions alone do not satisfy the mixed Weyl-Lorentz Wess-Zumino consistency condition. To remedy this, we include an additional bulk term, M dσ ∧ ω such that (2.47) One can check that (2.47) is fully consistent with (2.4). The last term on the right hand side of (2.47) is associated with a mixed Lorentz-Weyl anomaly [31].
In the presence of a boundary the Lorentz anomaly is trivially consistent, and the Weyl anomaly can be made consistent by adding a boundary term proportional to the extrinsic curvature as in (2.43). With some prescience our candidate for δ v W is The only time-reversal-violating and diffeomorphism-invariant boundary terms that could be added to (2.48) It is straightforward to show that neither of these ensure that the Wess-Zumino consistency condition be satisfied.
At this point the careful reader may wonder whether it is possible to render the Lorentz-Weyl anomaly consistent by allowing for a diffeomorphism anomaly on the boundary. 3 Instead of taking this route we will show in section 3, using conformal invariance and the Ward identities, that two dimensional CFT's on a half-plane do not allow for flavor or gravitational 't Hooft anomalies, Abelian or not. 3 A few comments are in order for the reader who is interested in this point. Suppose that it is the case that a diffeomorphism anomaly on the boundary renders the Lorentz-Weyl consistent. Because the Lorentz anomaly is consistent on its own, this would imply that two-dimensional systems can support a consistent diffeomorphism anomaly on their boundary. That is, this would imply the existence of a new 0 + 1-dimensional diffeomorphism anomaly which can only live on the boundary of a 2d system. Requiring that such an anomaly follow from descent relations (as we have done implicitly in deriving (2.20)) implies that it can not exist; there is no candidate three dimensional characteristic class which would lead to a one dimensional gravitational anomaly on a boundary.

Four dimensions
Our analysis of four-dimensional anomalies parallels that of the two-dimensional ones. The solution to the Wess-Zumino consistency condition for a cubed flavor anomaly in the bulk is given by (2.15) (2.51) so that (2.16) takes the form which is non-trivial unless the symmetry is Abelian. Similarly, if the anomaly were mixed between an Abelian group and a non-Abelian one, then we may write where Λ a is an Abelian gauge transformation and F n is a non Abelian field strength. It is straightforward to check that (2.53) satisfies (2.4).
In four dimensions there is no pure gravitational anomaly, but there is a mixed flavorgravitational anomaly. The anomaly is mixed between a U(1) flavor symmetry and either diffeomorphisms or (and) local Lorentz rotations. Placing the anomaly in the flavor sector one finds that satisfies the Wess-Zumino consistency conditions. Here v specifies a U(1) flavor transformation with parameter Λ, a diffeomorphism with parameter ξ and Weyl rescaling with parameter σ,K µν is the traceless part of the extrinsic curvature, and W µνρσ is the Weyl tensor. The variation (2.54) satisfies the Wess-Zumino consistency condition in the presence of a boundary. The relevant transformation laws are identical to the ones appearing in equations (2.22), (2.28), (2.29), (2.30) and generalize (2.45) and (2.46) of the previous section. We have collected the relevant equations in appendix A for convenience. The coefficientc in (2.54) characterizes the strength of the mixed gauge-gravitational anomaly and the coefficients c and a characterize the bulk Weyl anomaly (so that W 2 represents the Weyl tensor squared and E 4 the four dimensional Euler density). In addition to c and a there exist boundary central charges b 1 and b 2 which satisfy the Wess-Zumino consistency condition on the boundary independent of a and c. We refer the reader to [29] for a detailed exposition and precise definitions of W 2 , E 4 , and Q 4 (see also [32][33][34]). Since the bulk terms in (2.54) are the most general ones compatible with Weyl and mixed anomalies, and since δ v W satisfies the Wess-Zumino consistency condition, then it will also satisfy it if the anomaly is shifted to the Einstein or Lorentz sector. Thus, as far as Wess-Zumino consistency is concerned, four-dimensional theories with mixed anomalies may be put on manifolds with boundaries.

Higher dimensions
As we have demonstrated, anomalous theories can be consistently placed on a manifold with boundary only if the anomaly is pure Abelian or is mixed with an Abelian symmetry. Since the gravitational anomaly in d > 2 spacetime dimensions is non-Abelian, only anomaly polynomials of the form P = F ∧ . . . with F = dA an Abelian field strength are allowed on spaces with a boundary. For instance, six-dimensional theories with pure gravitational anomalies characterized by an anomaly polynomial P = Tr Riemm 4 (with Riemm representing the Riemann curvature two-form) are not consistent, but mixed flavor-gravitational anomalies with P = F ∧ F ∧ Tr Riemm 2 (with F an Abelian field strength) are. It is interesting to note that recent reductions of six dimensional theories on punctured Riemann surfaces exhibit precisely such a feature -the anomalous non-Abelian symmetries of these theories are broken so that the anomaly polynomial is of the form (2.55) [35,36].

Two dimensional CFT
In section 2.1 we have argued that Wess-Zumino consistency condition forbids non-Abelian anomalies on a manifold with boundary, and provided evidence that the gravitational anomaly of two-dimensional CFT is also inconsistent. In this section we perform a complementary analysis in terms of the two-point functions of the stress tensor and flavor currents of a two-dimensional CFT on half-space, i.e. of a boundary CFT. We find that the boundary does not allow for a gravitational anomaly, nor flavor anomalies of any kind. We assume locality, unitarity, conformal invariance, and the Ward identities for the stress tensor and flavor currents. The authors of [22,23] have also shown that two-dimensional boundary CFTs do not have gravitational or flavor anomalies within the boundary state formalism.
Consider a local two dimensional CFT on a Euclidean background specified by Cartesian coordinates x and y such that y ≥ 0 and x ∈ R. The boundary breaks the global conformal group from SL(2, C)/Z 2 to SL(2, R)/Z 2 . Indeed, defining z = x + iy, in the absence of a boundary the conformal group acts on z andz via In the presence of a boundary (which in the new coordinate system is located along z =z) the subgroup of (3.1) which preserves the boundary is SL(2, R)/Z 2 . The Ward identities for the stress tensor in the presence of a boundary are Here n µ is a normal to the surface and D is referred to as the displacement operator. It captures information regarding non-conservation of momentum through the boundary due to loss of translation invariance. Formally, one can obtain (3.2) by considering the variation of the generating function of connected correlators under an infinitesimal coordinate JHEP01(2018)085 transformation. The generating function is a functional of the metric tensor and other sources and in the presence of a boundary it is also a functional of the embedding function of the boundary. The displacement operator is the operator conjugate to this embedding function. We refer the reader to [19,20,32,37,38] for various discussions. We note that equation (3.2) is valid in the presence of conformal or gravitational anomalies. Since the background metric and boundary are flat the Riemannian and extrinsic curvature vanish and there are no additional contributions to (3.2). Further, since both the x, y coordinates and the z,z coordinates have vanishing Christoffel connection the non tensorial properties of T µν don't modify (3.2) either. We also note that (3.2) will not be modified by adding conformal boundary degrees of freedom to y = 0; in 0 + 1 dimensions, T µν has one component which must be set to zero due to conformal invariance. 4 One may still attempt to argue that T µν may have boundary contributions. To see that this is not the case let us consider a stress tensor of the form: 5 The reason our series truncates at n = 2 is that the unitarity bound for a 0 + 1 dimensional conformal quantum mechanics is −1/2. Using which together with the trace Ward identity implies that T (m)µν = 0 for m > 0. Thus, there can be no boundary contributions to the stress tensor. In addition, we have which would imply that there is no (Euclidean) flux of energy through the boundary.
We are now prepared to study the implications of (3.2). Going to the z,z coordinate system we find that away from the boundary (3.2) implies the standard holomorphic decomposition of the stress tensor, Thus, given the SL(2, R)/Z 2 symmetry of the theory we find (3.8) 4 One may wonder whether there exist Weyl, Lorentz, and (or) diffeomorphism breaking boundary terms which modify the Ward identities even in the absence of curvature terms. As far as we know, such terms have never been observed in the literature. Using a canonical scaling dimension for the stress tensor one may consider all possible boundary modifications to (3.2), an example of which would be T µ µ = b1δ (y). One may check that the conclusion of the ensuing analysis will remain unchanged even in the presence of such terms. 5 One may allow for more general distributional terms, e.g., y −n δ(y). Our argument still goes through, as only the distributions shown are related by the Ward identities to each other and T (0)xy at the boundary.

JHEP01(2018)085
The no flux condition (3.6) implies that the operator identity should hold at the boundary. Imposing (3.9) on (3.8) we find that we must set c L = c R . A similar argument constrains flavor anomalies. Consider a two-dimensional boundary CFT with flavor current J a µ where a represents a flavor index associated with a flavor symmetry G. Away from other insertions, the currents satisfy (3.10) In the absence of a boundary the full SL(2, C) conformal symmetry implies that the components J z and Jz are separately conserved. The flavor symmetry is enhanced to G × G, and is characterized by Kac-Moody levels k L and k R . As we will show shortly, when there is a boundary the current still decomposes into holomorphic and anti-holomorphic sectors, but when k L = k R the boundary breaks the symmetry down to the diagonal subgroup G.
As in our analysis of the stress tensor, suppose that the current has distributional terms of the form (3.11) Integrating the Ward identity over the interval y ∈ [− , ] and taking → 0 we find that The underlying conformal invariance implies that under an SL(2, R)/Z 2 transformation, the current transforms as If J (1)x is nonzero, then it is a dimension-0 boundary operator, with (3.14) It is straightforward to check that J (1)µ δ(y) does not transform as in (3.13) implying that so that the current has no distributional term. The Ward identity then sets Next consider the two-point function of the current, J µ (z,z)J ν (z ,z ) . There is a single conformally invariant cross-ratio formed by the two insertions [39] v = |z − z | 2 |z −z | 2 . (3.17) The two-point function of J andJ then take the same form as in a CFT on the plane, (3.20) The no-flux condition (3.16) implies the operator identity which implies that the Kac-Moody levels must satisfy k L = k R .
In the absence of a boundary, the holomorphic and anti-holomorphic currents are separately conserved, and the flavor symmetry G is enhanced to a G × G flavor symmetry. Said another way, both J µ and µν J ν are conserved. In the usual language J µ is the vector current and µν J ν is the axial current. In the presence of a boundary both the vector current and axial current satisfy (3.10) in the bulk. But only the vector current satisfies it on the boundary, viz., (3.16). Thus, the axial current is not conserved. Consequently the boundary breaks the G × G flavor symmetry down to the diagonal vector-like subgroup G. The boundary explicitly breaks the axial symmetry but leaves the vector symmetry intact, and thus the boundary CFT has no flavor anomaly.
Putting the pieces together, we learn that a G × G flavor symmetry is broken by the boundary to a vector-like, non-anomalous subgroup. This can only be done if

JHEP01(2018)085 4 Discussion
In this work we have argued that the Wess-Zumino consistency condition prohibits the existence of 't Hooft anomalies on manifolds with boundary at least when the anomalies are not of the form given in (2.55). This observation is in line with earlier works [18] which suggested that free chiral fermions can not be canonically quantized on manifolds with boundaries -at least in the absence of bulk to boundary interactions. Indeed, we also directly showed that apart from the Weyl anomaly, two-dimensional boundary CFTs do not possess 't Hooft anomalies. In what follows we discuss these results and their ramifications in some detail.
In more than two dimensions we have exhibited an obstruction to placing anomalous theories on a manifold with boundary but we have not discussed the mechanism for the obstruction. When constructing the partition function for a theory described by a Lagrangian, one must integrate over quantum fields subject to boundary conditions. We interpret our obstruction as the statement that, when a theory has a non-Abelian anomaly, these boundary conditions necessarily break the non-Abelian symmetry down to a subgroup with at most an Abelian factor, and, in two-dimensions, the boundary conditions completely break the anomalous global symmetries. Similar arguments were made in [35,36] to explain the breaking of non-Abelian flavor symmetries to an Abelian subgroup for six dimensional superconformal field theories (SCFTs) on punctured Riemann surfaces.
Our results raise interesting questions regarding renormalization group (RG) flow. On the one hand, we have demonstrated that two-dimensional boundary CFTs do not possess 't Hooft anomalies. On the other, we are unable to rule out the possibility that higherdimensional theories have Abelian anomalies, and indeed, there appear to be examples of such theories in d = 4 descending from the E-string theory [35,36]. Consider putting such a theory on a space of the form H 2 × M, where H 2 is the upper half-plane and M is a Riemann surface threaded with flux for the anomalous Abelian global symmetry. The low-energy theory on H 2 necessarily has an 't Hooft anomaly. But then it is not clear what sort of theory lives at the endpoint of the flow; perhaps the RG flow reaches a limit cycle in the infrared. Relatedly, scale invariance implies conformal invariance in two dimensions, but to our knowledge it is not known if this remains true on H 2 . So another possibility is that the endpoint is scale-but-not-conformally invariant. Yet another is that locality is somehow broken in the infrared, or perhaps even the starting point is ill-founded. Given that our proof relies on the Wess-Zumino consistency condition which is known to be ill-suited for handling Abelian anomalies, and that canonical quantization of free fields (and our results for two dimensionsal CFTs) are incompatible with possessing any sort of chiral matter altogether, we find it most likely that theories with flavor or gravitational anomalies on manifolds with boundaries are inconsistent, regardless of the group structure of the anomalies.
In this work we limited our analysis to continuous global symmetries. It would be very interesting to extend our analysis to anomalous discrete symmetries.
Finally, our result for two-dimensional CFTs provides some insight into the study of entanglement entropy of CFTs with a gravitational anomaly [40][41][42][43]. When computing en-JHEP01(2018)085 tanglement entropy one implicitly constructs a boundary, the entangling surface, separating two spatial regions A andĀ. To construct the theory on A, one implicitly imposes boundary conditions on its boundary [44]. In the current context, constructing such a boundary implies the breaking of conformal symmetry. Thus, it may be the case that naive use of the replica trick in computing entanglement entropy is inappropriate when c L = c R . 6 Of course, since the results of [41,42] are valid for conformal as well as non-conformal theories, the significance of this observation on the general validity of the aforementioned computations is not clear. We hope to return to this issue in the future.

JHEP01(2018)085
B Canonical (non-)quantization of chiral matter As a prelude let us consider a massless scalar field φ on R d−1,1 , Decomposing φ into Fourier modes we find that the equations of motion on R d−1,1 implŷ One can then proceed with canonical quantization, imposing canonical commutation relations between φ and its conjugate momentum. Instead of considering the scalar field on R d−1,1 let us consider the theory generated by (B.1) place on R d−2,1 × H where H denotes a semi-infinite interval. Equations (B.2) and (B.3) go through unchanged. However, in order to ensure a well-defined variational principle we need to make sure that where R d−2,1 is the boundary of R d−2,1 × H and n µ is a normal to the boundary. In what follows we will use a coordinate system where n µ dx µ = dz and such that the boundary is located at z = 0. Thus, (B.4) implies that φ must satisfy either Dirichlet or Neumann boundary conditions along z = 0. Imposing, e.g., Dirichlet boundary conditions on the mode expansion (B.2) and (B.3) we find where now x ⊥ includes all spatial coordinates transverse to z and k z = k µ n µ . We may once again promote the φ ± to operators and proceed with canonical quantization. We note that we have imposed the simplest type of boundary conditions possible. In practice it is possible to add boundary terms which enforce arbitrary values of φ on the boundary as in [39]. Or, to add boundary degrees of freedom to the action (B.1) so that the boundary values of φ will be determined dynamically as in [20]. While interesting, we will not discuss these boundary conditions further. Instead we turn our attention to fermions.
Let us consider d = 2n dimensional massless Dirac fermions where / n = n µ γ µ and n µ is the normal to the boundary. Note that in order for the Dirac operator to be self adjoint we must have ∂M d d−1 xψ 2 / nψ 1 = 0 , (B.8) which implies (B.7). Since the Dirac equation is first order in derivatives, imposing Dirichlet boundary conditions on ∂M completely fixes the solution in terms of the boundary conditions. Thus, one can not canonically quantize the free Dirac fermion of (B.6) upon imposing Dirichlet boundary conditions on ψ.
The problem of quantizing a free fermion on a manifold with a boundary is well known and has been discussed in detail in [18]. Instead of imposing Dirichlet boundary conditions on all the eigenmodes one imposes boundary conditions on half of them. For completeness we will rederive this result. Instead of imposing Dirichlet boundary conditions on ψ one may impose Dirichlet boundary conditions on a subset of its components. Indeed let us consider the projections P ± = 1 2 (1 ± χ) . (B.9) We now impose P + ψ ∂M = 0 (B.10a) which impliesψP where we have definedP ± = 1 2 (1 ±χ) withχ = γ 0 χ † γ 0 . We now require that the projection be such that (B.8) take the formP − / nP − = 0 . (B.11) Demanding that P ± andP ± are projections and that (B.8) be satisfied implies that χ 2 = 1χ 2 = 1 / nχ = −χ/ n . (B.12) We now impose the additional requirement that P ± andP ± be invariant under Lorentz transformations in the directions orthogonal to the boundary. This last condition implies that χ can depend only on / n and the only available Lorentz scalar γ 5 . Imposing (B.12) gives us χ = i/ nf (iγ 5 ) , (B.13) where f is a real function. Consequently 14) The interested reader may refer to [45] for the explicit form of χ for boundary conditions which are compatible with the MIT bag model. We may now address the main problem we are interested in, imposing boundary conditions on free chiral fermions. Left and right-handed Weyl fermions are eigenspinors of γ 5 , and so eq. (B.14) implies that χ flips a left-handed fermion into a right-handed one and vice versa. Thus, one can not impose the Dirichlet boundary conditions (B.10) on chiral fermions. A similar analysis follows for N R right handed fermions and N L left handed fermions. In order to implement the boundary conditions (B.10) one must set N R = N L .

JHEP01(2018)085
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.