Strongly coupled QFT dynamics via TQFT coupling
Abstract
We consider a class of quantum field theories and quantum mechanics, which we couple to topological QFTs, in order to classify non-perturbative effects in the original theory. The TQFT structure arises naturally from turning on a classical background field for a 0- or 1-form global symmetry. In Yang-Mills theory coupled to TQFT, the non-perturbative expansion parameter is both in the semi-classical weak coupling domain and strong coupling domain, corresponding to a fractional topological charge configurations. To classify the non-perturbative effects in original theory, we must use bundle and lift configurations (critical points at infinity) for which there is no obstruction back to . These provide a refinement of instanton sums: integer topological charge, but crucially fractional action configurations contribute, providing a TQFT protected generalization of resurgent semi-classical expansion to strong coupling. Monopole-instantons (or fractional instantons) on can be interpreted as tunneling events in the ’t Hooft flux background in the bundle. The construction provides a new perspective to the strong coupling regime of QFTs and resolves a number of old standing issues, especially, fixes the conflicts between the large- and instanton analysis. We derive the mass gap at and gaplessness at in model, and mass gap for arbitrary in on .
1 Introduction
The applications of coupling a topological quantum field theory (TQFT) to quantum field theory (QFT) received recent interest in the discussion of mixed anomalies Gukov:2013zka ; Kapustin:2014gua ; Gaiotto:2017yup . In this context, it is used to extract kinematic constraints imposed by symmetry on a QFT. This is an exact, albeit non-dynamical information about quantum theory.
Here, we would like to explore the implications of coupling a TQFT to QFT in the study of non-perturbative dynamics, a territory that we cannot expect to be exact, in search of reliable approximations. We want to take advantage of robustness of TQFT in parts of the story. One of our physical goals is to understand what controls the strength of non-perturbative effects in an asymptotically free QFT on large -dimensional manifold , where serves as a regularization for . More practically, we would like to understand the role of topological defects such as instantons, monopole instantons and fractional instantons in the dynamics much more precisely both in weak coupling semi-classical domain and in strong coupling domain by using the restrictions that follows from TQFT.
Let us denote a theory by and its global symmetry by . To be less abstract, we develop three (extremely) parallel stories. Quantum mechanics of a particle on a circle in the presence of a potential with degenerate minima, that we call model for short, model, and Yang-Mills theory. quantum mechanics and Yang-Mills theory possess a global symmetry, 0-form or 1-form, respectively. has a global symmetry. One can turn on a classical background field for these symmetries (also called background gauging).111We use background gauging for turning on a classical background field for a global symmetry and coupling it in a gauge invariant manner to the theory. Note that with a background field turned on, it is still meaningful to look at correlators that transform under background gauging. These are non-trivial and transform covariantly. There is no path integration at this stage. If we choose to sum over all possible backgrounds, i.e, perform a path integral over the background field by making it dynamical, we refer to it as gauging. In this case, the correlators that transform under gauge transformations are identically zero by Elitzur’s theorem Elitzur:1975im . Both of these ideas are used throughout this work. In doing so, coupling QFT to a TQFT becomes strictly necessary, we call the resulting theory as theory.222Strictly speaking, is appropriate description for QM and Yang-Mills. In , it is slight abuse of language. To turn on background, we first turn on an background field, and then, couple the theory to a TQFT. This is what we mean by model in . As a result of this procedure, we learn the existence of new non-perturbative effects and scales relevant to the original theory, see Fig. 1.
A recurring theme can be described simply in quantum mechanics. Consider model, with shift symmetry, Fig.2. The partition function is described as a sum over periodic paths on , it receives contribution only from integer winding number configurations. Refer to the action of instanton as . There are clearly fractional instantons with winding number and action in the theory, which contribute at leading order to the spectrum, but forbidden to contribute to partition function, because they are not periodic paths in . Now, if we couple the theory to TQFT and gauge , these configurations become closed paths in , but there is an obstruction to lift them to closed paths in original . Yet, a pair of loops with winding numbers in lift to as and contribute to the partition function with action . The precise semi-classical description of this saddle here is critical point at infinity Behtash:2018voa which we explain in QM discussion. So, there are zero winding, and fractional action non-BPS configuration contributing to partition function in quantum mechanics.

We formalize this construction as follows in QM and QFT.
-
•
In , we describe a TQFT and couple it to the theory : quantum mechanics, and Yang-Mills, respectively.
-
•
By turning on a classical background field or by gauging it (summing over all possible backgrounds, corresponding to ), we find a set of saddles which do not lift to the original theory . But fractional action non-BPS composites of such objects lift to and contribute to partition function.
-
•
We can view the (fixed) classical TQFT backgrounds as (fixed) ’t Hooft fluxes or twisted boundary conditions in tHooft:1979rtg ; tHooft:1977nqb .
-
•
In Yang-Mills theory, the non-trivial configurations in the bundle do not uplift to bundle, but certain integer topological charge and fractional action configurations do. The same statement is also true in , where vs. are appropriate bundles. Both of these statements are independent of strength of coupling, in particular, valid at both weak and strong coupling due to TQFT coupling.
-
•
Since in order to find the saddles in model, we need to directly look at either with classical background or equivalently, twisted boundary conditions or models where is gauged, we claim that in order to find the relevant saddles of gauge theories, we should first consider either with background gauge field for the 1-form symmetry or theory where is gauged. After finding these configurations, we can patch them up to find the ones that can be lifted to theory. These are fractional action (e.g. ) configurations that contribute to the partition function of theory.
-
•
These configurations are TQFT-protected, and exist both at weak and strong coupling. In compactified theories, they exist both at as well as where the latter is a place holder for .
-
•
This construction shows that, in and Yang-Mills theory, the non-perturbative effects are not controlled by the (BPST) instanton factor Polyakov:1975yp ; Belavin:1975fg , but instead by exponentially larger fractional instanton factor, due to TQFT-protection.
-
•
This extends our earlier result in flavor -twisted model on semi-classical small Dunne:2016nmc ; Dunne:2012ae to large , to the strong coupling domain, by augmenting flavor twisted theory with a TQFT background (i.e. with ’t Hooft twist.) It also extends some results in semi-classical deformed Yang-Mills theory, SYM, QCD(adj) and some other QCD-like theories (see Unsal:2007jx ; Unsal:2007vu ; Unsal:2008ch ; Shifman:2008ja ) from small to large , to the strong coupling domain by coupling these systems to TQFTs.
-
•
Based on matching weak coupling semi-classical descriptions, matching of global symmetries and mixed ’t Hooft anomalies, and improving an old work of Fateev, Frolov, Schwarz, and Berg, Lüscher Berg:1979uq ; Fateev:1979dc in crucial ways, we show that low-energy spectrum of the model is described by -flavor massive Schwinger model or its non-abelian bosonization, the mass deformation of WZW model with an extra scalar.
-
•
The mass parameter in Schwinger model, or mass deformed WZW models, due to matchings of semi-classical descriptions, map to a fractional instanton effect in , which is nothing but the strong scale of the theory. By studying renormalization group for topological defect operators Kosterlitz:1974sm (derived originally to explain the Kosterlitz-Thouless phase transition Kosterlitz:1973xp ), we describe the low energy spectrum of the theory.
-
•
We determine the mass gap and low energy spectrum for arbitrary in on via this procedure. For , the spectrum is gapped for any , and composed of an adjoint and singlet. For the theory, the theory is gapped at . We show the existence of a gapless triplet at . Our formalism give a prediction for the mass gap in the model as , which we hope can be tested by other means.
Our construction resolves many puzzles concerning conflicts between large- vs. instantons, instantons vs. multi-branch structure of vacua, incorrect -angle dependence of vacuum energy due to instantons, instantons vs. puzzle, and many others mentioned in books and reviews Coleman198802 ; Vainshtein:1981wh ; Schafer:1996wv ; Marino:2015yie . In retrospect, our current construction proves why recent studies on in the context of adiabatic continuity and resurgent semi-classical analysis Dunne:2016nmc ; Dunne:2012ae ; Unsal:2008ch ; Shifman:2008ja capture interesting non-perturbative dynamics of QFT on . In the light of our construction, it may be worthwhile to revisit the meron idea of Gross et. al. Callan:1977gz ; Gross:1977wu ; Callan:1977qs on . This idea requires some fixing which can easily be done, for the case, see Sec.B. It also needs correct generalization to .
1.1 Earlier works on Yang-Mills on : Not all QM reductions are the same.
We finalize the introduction by describing historical precedents to this work333We thank anonymous referee for encouraging us to write this part which clarifies the relation between the present work and earlier discussions of Yang-Mills theory in a quantum mechanical reduction down to small ., especially concerning the different class of constructions in a quantum mechanical reduction on . This will also give us an opportunity to highlight where our work resembles or differs from the earlier works.
An exact solution to self-duality equation with topological charge and action on is first found by ’t Hooft tHooft:1981nnx , and generalized by van Baal vanBaal:1982ag . ’t Hooft original physical motivation was to find configurations which survive in the large- limit, and which are exponentially more important than the usual instantons even at finite-. (The usual instantons are suppressed as in the large- limit, and are irrelevant.) These solutions can be interpreted as configurations in with discrete flux background turned on, or in bundle. However, these are constant solutions, and the geometry of must satisfy a certain aspect ratio to have a action. Unlike on where it is easy to find non-trivial (space-time dependent) fractional instanton solutions, the monopole-instantons, where dynamics abelianize at long distances due to adjoint-Higgsing sourced by the vev of gauge holonomy, it proved to be extremely difficult to find non-trivial solutions in systems which do not abelianize at long distance.
Discrete flux background and twisted boundary conditions are used to reduce SYM to quantum mechanics on and employed to calculate supersymmetric index in Witten’s work Witten:1982df . The work closest in spirit to our construction, working with non-supersymmetric theories, and aiming to preserve the vacuum structure and fractional instantons in a quantum mechanical limit, are the works of Gonzalez-Arroyo et. al. In their construction, dynamics do not abelianize, and they have found by numerical simulations on latticized that time-dependent fractional instanton solutions with action exist in the presence of ’t Hooft flux GarciaPerez:1989gt ; GarciaPerez:1992fj ; GarciaPerez:1993jw ; GonzalezArroyo:1995zy ; GonzalezArroyo:1995ex ; GonzalezArroyo:1996jp ; Montero:2000mv ; GonzalezArroyo:1997uj ; Gonzalez-Arroyo:2019wpu . The analytic form of these solutions is still an open and important problem. The difference between the works of Witten and Gonzalez-Arroyo, and our work is following. We reduce deformed YM on (which is adiabatically connected to pure YM on ) down to by using magnetic GNO flux in the co-weight lattice of . This is more refined data than discrete ’t Hooft flux. Magnetic -ality determines the discrete magnetic flux. The fact that we can turn on GNO flux and this is degenerate in energy with (all with discrete magnetic flux one) helps us to identify the tunneling in QM with the monopole-instantons on , which carry magnetic charges in the extended simple root system of . In both construction, there are -classical vacua (sourced by turning on a classical background) and - fractional instantons with topological charge and action , an extremely desirable aspect.
A frequently asked question is the relation between Luscher Luscher:1982ma and van Baal’s works vanBaal:1986ag ; vanBaal:2000zc , which employs , without incorporating discrete flux, and our present work.444van Baal also have important works on the discrete flux backgrounds and classification of the configurations in bundle. These works would like to benefit from the absence of phase transitions in finite volume. However, unlike our construction, in these compactification, vacuum structure is not persistent. In particular, in theory, there are vacua related to perturbative breaking of center symmetry to all orders in perturbation theory, instead of classical vacua that emerge from classical flux insertion. However, -form symmetries cannot break spontaneously in QM unless enforced by a mixed anomaly.555In fact, form symmetries cannot break spontaneously in dimensions unless enforced by a mixed anomaly. Indeed, there are instantons in the theory leading to a unique vacuum. These instantons between perturbative vacua are not classical fractional instantons with action or instantons with action . Rather, these instantons arise from balancing of the classical action with one-loop potential for the gauge holonomy, i.e, they are “quantum instantons”, with action of order , i.e, they are not related to fractional instantons that we are talking about, that exist in thermo-dynamic limit on or the ones that appear in bundle classification.
Furthermore, if we consider the large- limit of the Luscher Luscher:1982ma and van Baal’s compactification vanBaal:1986ag ; vanBaal:2000zc , the tunneling amplitude between perturbative vacua has an dependence of the form , and the tunneling becomes forbidden in the limit. That is, even in finite volume, there is a phase transition in the large- limit (which is also a thermo-dynamic limit) of their construction, between the small theory and large theory according to center-symmetry realization. (This phase transition is actually the reason why Eguchi-Kawai reduction Eguchi:1982nm in its original form without discrete flux fails Bhanot:1982sh ; Kiskis:2003rd .) In sharp contrast, in our and Gonzalez-Arroyo’s constructions, there are -classical vacua, induced by classical background, and the tunneling between them is a classical fractional instanton effect with action and does not disappear in the large- limit. (This is actually the reason why Twisted-Eguchi-Kawai reduction with judiciously chosen discrete flux satisfies large- volume independence GonzalezArroyo:2010ss .) Very importantly, in our set-up, the fractional instantons induce effects such as . One of the most interesting non-perturbative phenomena in infinite volume gauge theory is that observables are -branched functions, where each branch is periodic, yet, the observables are periodic, with cusps at Witten:1980sp . The set of fractional instantons (including critical points at infinity) are compatible with a complete Fourier basis, which can describe such non-trivial observables with multi-branched structure, and this compatibility of saddles with a complete basis for Fourier expansion of observables is far from trivial. Indeed, we have the same intentions with Luscher and van Baal, but thanks to the GNO and discrete flux backgrounds we use, our quantum mechanical constructions have a remembrance of fractional topological configurations on and the configurations in bundle even on large-. Therefore, the constructions with flux are more powerful strategies to understand non-perturbative Yang-Mills dynamics across different length scales.
Finally, perhaps, a point that is not sufficiently understood (or emphasized) in the past, is the fact that the flux backgrounds have a re-interpretation as coupling the QFTs to TQFT (backgrounds) Kapustin:2014gua . These theories are globally different, but locally the same. For example, mass spectrum are completely identical on large . The TQFT coupling instructs us that the existence of fractional topological charge configurations is independent of size, and is valid at both weak and strong coupling. This is explored in detail in present work and in a companion paper Unsal:2021cch .

2 Quantum mechanical and models
Consider quantum mechanics of a particle on a circle with a potential of the form
(1) |
is physically identified with . The theory has a global shift symmetry,
(2) |
The system has -degenerate minima to all orders in perturbation theory. The partition function, , in the limit, is dominated by the lowest- states. Within the Born-Oppenheimer approximation, one can forget about higher states in the spectrum, as non-perturbative instanton induced splittings are exponentially smaller than splittings between harmonic oscillator levels. In this limit, the system may be viewed as -site lattice model with nearest neighbor hopping interaction, described by a tight-binding approximation. For convenience, we call this system model. See Fig.2. Some semi-classical and anomaly aspects of this model are studied in Unsal:2012zj ; Kikuchi:2017pcp ; Gaiotto:2017yup .
This simple system provides a playground for some ideas that we will employ in diverse non-trivial QFTs. Hence, we explore in detail the connection between various ways of looking to this system and interpret them in simple physical terms. The connection between the twisted boundary conditions, and turning on background field is well known. These constructions have a precise interpretation as coupling QM to TQFT, which is fairly useful in QFT. Later, we may also choose to gauge symmetry. This is equivalent to summing over all possible background fields or twisted boundary conditions, or performing a path integral over the TQFT. Gauging, of course, changes the theory, from to . In the latter, and are physically identified. i.e, we end up with the particle on a circle with 1-minimum on the circle. However, there are different versions of this 1-site theory that we call , depending how we gauge . The in the has three equivalent, but somehow different sounding interpretations, as discrete theta angle , or level Chern-Simons term that is present in TQFT, or picking Bloch state with quasi-momentum from the Hilbert space of the original theory, which we describe in detail, as it translates verbatim to QFT.
Basics: The path-integral representation of the partition function is
(3) | ||||
(4) |
The trace in the operator formalism translates in the path integral formalism to integration over all paths obeying the periodic boundary condition, . The periodic paths are classified according to the homotopy group of the maps
(5) |
which is nothing but winding number (corresponding to topological charge):
(6) |
which is integer valued.
Despite the fact that the partition function is given by summing over integer winding number configurations, it is clear that there are classical solutions with fractional topological charge, called fractional instantons, see Fig.2.666These are obvious in quantum mechanics, but not always so obvious in QFT. This is the reason why we lay out a somewhat abstract formalism in QM, which carries over to QFT. Obvious facts in QM will map to non-obvious statements in QFT both at weak and strong coupling on -manifolds, including limits. The configuration with is an instanton, and its action is . This is our yard-stick throughout the problem. The configurations with are referred to as fractional instantons, and their action is . These are tunneling configurations connecting neighboring minima . Clearly, a single fractional instanton cannot contribute to the partition function, as it does not obey the periodic boundary condition in (4). Equivalently, these are periodic paths in which cannot be lifted to . However, an , pair, which has , but action , must contribute to the partition function since it is a periodic path in .
Digression on critical points at infinity and resurgent cancellations: The , configurations can be viewed as critical points at infinity. Here, we will go over this concept fairly quickly. See Behtash:2018voa for details and Dunne:2016nmc for broad review. The fact that the combination of and configuration is often called “unstable” in old literature is a red-herring. In semi-classics, the critical point at infinity has a non-Gaussian Lefschetz thimble (steepest descent cycle) that one must integrate over. This contribution maps to second order terms in cluster expansion as
(7) |
where the first, maximally extensive term in is dilute (non-interacting) instanton gas contribution and sub-extensive term capture the correlated instanton-anti-instanton event which is two-fold ambiguous. Remarkable fact that comes from resurgent analysis is that this ambiguity cancels against the ambiguity of lateral Borel resummation of perturbation theory for vacuum energy, . At second order in semi-classics, we find the cancellation, and
(8) |
The combination is unambiguous and meaningful within resurgent semi-classical analysis framework Dunne:2016nmc .
Strictly speaking, action and configurations can equivalently be viewed as uncorrelated events and and correlated bion events , for which its real unambiguous part contribute to the partition function, as both correspond to periodic paths in .777Throughout the paper, we will not bother much with the resurgent structure, but it is often at the back of our minds. It is important that most of the critical points that contribute to actions in QFTs and QM are “critical points at infinity”, and is decomposable to BPS and non-BPS configurations. We encourage the reader to go over Behtash:2018voa if necessary. This background knowledge allows us to take some steps swiftly in the course of this work. Similarly, configuration such as an ordered product with integer topological charge , and integer action must contribute to the partition function since it is also a periodic path. More generally, generically non-BPS configurations with action and topological charge contribute to partition function.
Let us now derive the fractional instanton decomposition of the path integral. Since we already know the energy spectrum, we can take a short cut and use it to derive the fractional instanton sum and see explicitly the paths that contribute at leading semi-classics.
Within the Born-Oppenheimer approximation, we can write a tight-binding Hamiltonian to describe low energy physics (We shifted zero point energy to zero, and is the non-perturbatively small hopping parameter.)
(9) |
The energy spectrum is given by diagonalizing the Hamiltonian:
(10) |
The ground state depends on what the theta angle is. The ground state energy is , exhibiting a two-fold degeneracy at odd-integer multiples of .
Let us now turn the partition function into a fractional instanton sum:
(11) | ||||
(12) |
We can perform the summation over by using the identity
(13) |
converting the sum over , which takes place in the space of representations of translation symmetry into a sum over which we will interpret as winding number. This gives the path integral in the leading order of dilute gas approximation.
(14) |
where delta function gives a constraint on the fractional instanton sum. (14) can be interpreted as a grand canonical ensemble of fractional instantons. For a term in the sum with fractional instanton, and fractional anti-instantons, the periodic orbits correspond to:
(15) |
These configurations which contribute to comes with fugacity
(16) |
i.e, they possess fractional action, but integer topological charge.
The simple observation, that saddles with fractional action, but integer topological charge contributes to the path integral (see Fig. 3), is at the heart of all reliable semi-classical analysis of gauge theories, and sigma models, such as SYM, Yang-Mills with double-trace deformations, and models, and is responsible for the multi-branched structure of the vacuum energy. This structure naturally arise in the context of resurgence and sometimes called graded resurgence triangle Dunne:2012ae ; Cherman:2014ofa .
In (14), is the instanton prefactor that is not important for this particular discussion, and we will ignore it throughout the paper. is there due to position zero mode of a single fractional instanton. arises due to the integration over the positions of fractional instantons, see e.g. Coleman198802 . The overall factor is due to distinct classical minima in the fundamental domain.
The constrained sum can be simplified further. Solving the constraint,
(17) | ||||
(18) |
where is the modified Bessel function of order . We learn that the series expansion of the modified Bessel function is actually an instanton sum. Since , (18) is nothing but the Fourier series expansion of the partition function:
(19) |
Despite the fact that only periodic orbits with the theta angle dependence contribute, the non-trivial theta-angle dependence which leads to multi-branched structure and dependence in the observables in the form naturally arises! This fact will also help us in gauge theories on and .

2.1 Coupling to TQFT background
The quantum mechanical model we are studying has a global 0-form shift symmetry. First, we describe coupling it to a background gauge field. This stage will help us to reveal the existence of fractional instantons that actually exist in the model, in a more abstract way. But this somehow abstract formalism help us greatly in the QFT applications. We can later choose to sum over all possible backgrounds, which is equivalent to gauging completely, reducing the model to , which is a 1-site model. In our discussion, we aim to make the details fairly explicit and conceptual. This will provide important insights that we will use in QFT on -manifolds .
Coupling QM to TQFT: We first couple our quantum mechanical model to a classical topological gauge theory background Gukov:2013zka ; Kapustin:2014gua . The quantum topological theory is given by the partition function
(20) |
Here, is a Lagrange multiplier zero-form field that we integrate over, and term is Chern-Simons term in , and must be an integer for the theory to be gauge invariant.888This term will provide different possibilities in gauging. It will turn out to be related to discrete theta angle, which in turn, determines which Bloch state is picked from the lowest state after gauging. For now, term is not very important and can be set to zero if desired.
Integrating , we end up with a pair, which obeys
(21) |
and is properly quantized. The path integration of TQFT is fairly trivial, and yields:
(22) | ||||
(23) | ||||
(24) |
pair describe a gauge field that can be turned on in quantum mechanical model to probe saddles, in particular, to probe the fractional instantons.
The 0-form gauge invariance of the action (20) is given by
(25) |
To couple a classical background field to the -field, we declare
(26) |
Gauge invariant combinations of our quantum field and classical fields are:
(27) |
Hence, the partition function in the classical background can be found by promoting and to these gauge invariant combinations:
(28) | ||||
(29) |
Note that at this stage, we do not perform a path integral over . These are truly classical fields that we turn on according to what we want to do. Moreover, the path integral is over periodic paths.
Equivalence of symmetry twisted boundary condition to coupling QM to TQFT: The background gauge field is equivalent to the twisted boundary condition in path integral. Let us show this explicitly. Let denote the translation operator for shift symmetry in the model. Then, the sum over transition amplitude in quantum mechanics for sites units apart is given by:
(30) |
where are paths obeying twisted boundary condition. Now, let us undo the twisted boundary condition in favor of a periodic boundary condition, and insert its effects into the action. Define
(31) |
Plugging this into original action , we find
(32) |
which agrees exactly with (29), with the identification:
(33) |
Happily, these obey the conditions for a background gauge field (21).
So, the twisted boundary conditions in (30) are traded for a background field, and the partition function can equivalently be written as:
(34) |
Note the explicit time dependence in the action (32). This is not a fluke, it is in fact exactly as it should. This is the classical background that we are dealing with.
One final remark concerns instanton equations in the background field. Using Bogomolny factorization with action (29), we find
(35) |
which is nothing but
(36) |
in the parametrization. So, to find the fractional instanton solution, we can work with either parametrization. Either request periodic path solutions with background fields or paths solving (36) and satisfying twisted boundary conditions. These two simply related interpretation will help us to figure out a non-trivial solution in bundle in gauge theories on .
In the formulation where is a periodic path in the background (29), the topological term is
(37) |
where the first term is integer valued as it is over periodic paths, and the winding number is fractional due to background. In the formulation where is a path satisfying twisted boundary condition (30),
(38) |
This is now fractional due to the twisted boundary condition of field. The action corresponding to these fractional winding configurations are also fractional due to BPS bound.
Revealing fractional instantons formally: The existence of fractional instantons with fractional winding number is obvious from Fig.2. Expressing the partition function as an fractional instanton sum.
(39) | ||||
(40) | ||||
(41) | ||||
(42) |
The second line immediately emerges from our knowledge of energy spectrum of the theory (10) and the fact that eigenstates of the Hamiltonian are just Bloch states, and . To obtain the third line, we can expand the exponentials and sum over explicitly. Not surprisingly, this is equivalent to the dilute gas of fractional instantons in the path integral picture. The fourth line is a nice mathematical identity which tells us that series expansion of all modified Bessel functions are actually instanton sums. The sum is over , and configurations that contribute are actually fractional anti-instantons, and fractional instantons. The winding number of such a configuration is , and the sum has an overall dependence that arise from the fractional part of winding number. These fractional instantons contribute to transition amplitudes in quantum mechanics.
Note that by turning on background, we are not changing the theory or its Hilbert space, which, within Born-Oppenheimer approximation is just dimensional, that we denote as . In simple words, we are summing over just transition amplitudes in quantum mechanics for states which are units apart. The construction merely reveals the topological configurations which play important role in the full theory.
Probably, one of the counter-intuitive sounding aspects of this construction (yet widely familiar from the symmetric double-well potential, see ZinnJustin:2002ru ) is following. We keep repeating that single fractional instanton is not contributing to the partition function, as it is not a periodic path. Yet, the energy gap in the theory is sourced by single fractional instanton effect. The reason is clear. Single fractional instanton gives rise to the transition matrix element between nearest neighbor sites, which in turn determine the splittings in the spectrum of the theory. Say, at , the gap in the spectrum is given by
(43) |
a single fractional instanton effect, similar to the gap in the symmetric double-well.
2.2 Uses of gauging
Discrete theta angle = level Chern-Simons = picking Bloch state with momentum Now, we can gauge symmetry. Physically, gauging declares that instead of being physically equivalent to , it is identified with . With this procedure, the target-space circle size is effectively reduced to . In other words, -site model is reduced to -site, and out of states in the lowest band, only one state survives. Gauging, unlike turning a background as described above, changes the Hilbert space, by diluting it. It reduces down to one state Hilbert space .
Gauging symmetry amounts to summing over , . However, this is not the only choice in summation. In fact, the sum over can be done in -different ways, corresponding to discrete angles, . This is nothing but the 1d Chern-Simons term in the original topological gauge theory. As a result,
(44) | ||||
(45) |
As already stated, as a result of gauging, the -site model reduce to 1-site model, and Hilbert space gets diluted by a factor of . Which state survives gauging is dictated by the choice of , or equivalently, Chern-Simons level . Using (42)
(46) | ||||
(47) | ||||
(48) | ||||
(49) |
Only the Bloch state with momentum in the original Brillouin zone of the -site model survives in the Born-Oppenheimer approximation.
If we relax Born-Oppenheimer approximation and consider the whole Hilbert space, then, the gauging procedure will pick just one-state with Bloch momentum from each band. In this sense, the whole Hilbert space gets diluted by a factor of .
Finally, one can formalize the connection between the topological configurations in the model, the model with background or the original theory without background fields. This is one of the crux of the matter that is most important in gauge theory where things are a bit more involved. The object that we would identify as instanton with winding number and action in the model is the fractional instanton with winding number and action of the model. Therefore, theory has non-perturbative data that is relevant to the original theory.
Let us make this a bit more precise. When we gauge , and sum over all , (instead of just turning on a fixed classical background), the distinction between isolated minima and fractional instantons disappear. We can in fact call
(50) |
Then, we can make an obstruction vs. admission list:
-
•
Instantons of the form , which are closed paths in cannot be lifted to .
-
•
Instanton anti-instanton pairs of the form are closed paths in , and they can be lifted to with . These configurations possess fractional quantized action in the original (ungauged) formulation.
-
•
Instantons in multiples of can also be lifted to , with . These configurations possess integer quantized action.
These facts are by no means surprising, in fact, rather simple. But this leads us to the following intriguing situation.
-
•
Since in order to find the saddles in model, we need to directly look at either
-
–
with classical background or equivalently, twisted boundary conditions
-
–
models where is gauged
we claim that in order to find the relevant saddles of gauge theories, we should first consider either with background gauge field for the 1-form symmetry or theory where is gauged.999This is one reason we parallel the notation of quantum mechanics with gauge theory, and emphasize the correspondence: and . The latter systems has non-perturbative data that is relevant to the original systems, where it is interpreted as fractional. After finding these configurations, we can patch them up to find the ones that can be lifted to theory. These are fractional action (e.g. ) configurations that contribute to the partition function of theory.
-
–
3 in 2d and TQFT
The model may be expressed as a gauge theory with an -component elementary field , obeying the constraint . The theory is invariant under the action of a rotation on the field. However, does not act faithfully, since is not a gauge invariant operator. The global symmetry that acts faithfully on states in Hilbert space is
(51) |
In other words, the center of the is also part of the gauge structure, and should not be counted in the global symmetry. All gauge invariant local operators of the model are in representations.
We would like to turn on an background. To do this, we first introduce a background one-form gauge field Gaiotto:2017yup ; Tanizaki:2017qhf . Further, to gauge the part, we turn on a pair of 2-form and 1-form gauge fields , and a Lagrange multiplier :
(52) |
Therefore,
(53) |
and also promote the background gauge field to a background gauge field :
(54) |
The covariant derivative in the background takes the form
(55) |
where is the original dynamical gauge field and is classical. This couples the model to an background field, and the theory now has a 1-form (background) gauge invariance
(56) |
which couples the dynamical field with the classical background. The gauge invariant combination of dynamical and classical fields are given by
(57) |
Therefore, the action of the theory minimally coupled to the background field is given by
(58) |
BPS instantons can be found by using Bogomolnyi factorization:
(59) |
As a result of classical background, the topological charge and action are no longer quantized in integer units, just like our simple QM problem. Rather, we have, as a perfect counterpart of (37),
(60) |
The first term is integer valued because is in bundle. The second term arise from proper quantization of . Due to BPS nature of these configurations, their action is fractional .
Despite the fact that these saddles do not contribute to the partition function of the model without background fields, certain pairs of such configurations, such as
(61) |
do. There is no obstruction for them to contribute. Similarly,
(62) |
also contributes.
More technically, configurations live in a bundle which cannot be uplifted to an bundle. Yet, composite configurations such as pair and cary integer topological charge and can be lifted to an bundle.
This argument proves the existence of non-BPS fractional action configurations in the vacuum of the model on arbitrarily large-, whose non-perturbative significance is controlled by
(63) |
where is the strong scale of the theory.
The main point is following: Even when we consider sigma model without any insertion of flux, we should still consider the field space in the bundle, where both topological charge and action are fractional. Then, we should sum over configurations that can be lifted to bundle. This is a well-defined mathematical prescription. This, inevitably, leads us to the statement that the non-perturbative expansion parameter in the theory is and it is exponentially more important than BPST instanton:
(64) |
Note that indicates here exponential hierarchies. In particular, at large- limit, 2d instantons scale as and is completely suppressed, while these configurations persist as .
3.1 ’t Hooft flux using
In model, by just using gauge structure, it is impossible to impose ’t Hooft’s twisted boundary conditions. If we turn on an background field, this also allows us to turn on a non-trivial ’t Hooft flux corresponding to twisted boundary conditions, associated with
(65) |
Let denote the transition functions for the non-abelian and abelian parts. is the transition function between . function is independent of , but depends on other coordinate. For fields, we impose
(66) | ||||
(67) |
where is pure phase. We can connect with in two different ways. For consistency at the corners, the transition functions must satisfy
(68) | ||||
(69) |
corresponding to -units of ’t Hooft flux. This is the gauge invariant data in (67). The gauge covariance of the flux condition tells us that under a gauge transformation, e.g., , the transition matrices transform as etc. So, there is some gauge freedom in the choice of transition matrices.
As an example, we can satisfy relations (69) with the choices , , , where . As a result,
(70) | |||
(71) |
In the gauge theory, only is allowed. If we turn on just background without turning on a background gauge field, is still zero. (This does not mean it is uninteresting, see Section 3.3.) However, turning on a background field, we can absorb the aperiodicity of the transition function of one part into the other.
3.2 Fractional instantons in on large
Below, we review the standard textbook construction of instantons and demonstrate how it is modified once a background is turned on.
Instantons in 2d are topologically non-trivial configurations with integer winding number. To see this, note that finite action demands as , a covariantly constant configuration.
(72) |
where is a constant vector with unit norm. Therefore, in the perturbative vacuum,
(73) |
which are pure gauge configurations. Let parametrize boundary of . Pure gauge configurations are of the form . This gives a mapping from the boundary of the physical space to the disjoint classes of gauge transformations, which correspond to homotopy classes . This is the instanton number or topological charge
(74) |
Assume now we turn on a background field. Locally, the gauge field can be written as:
(75) |
where the gauge connection is in .
Example: The simplest example of a field of this form is following. Consider , with is a Cartan generator, and . Hence, is a gauge field strength which cannot be decomposed into and parts, but can be decomposed to and parts. The corresponding gauge fields are (setting ), and the transition functions are given by , , . Hence, the transition functions obey (69), corresponding to the insertion of units of ’t Hooft flux.
Now, the topological term can be written as
(76) |
This reduces to (74) if is in . But if is a connection in a bundle which cannot be lifted to an bundle, the topological charge in (76) is no longer quantized in integer units, rather it can assume fractional values, multiples of . In this case, the dynamical field is not a simple gauge field, but a field.
Let us make this abstract argument concrete. For gauge structure, the covariantly constant configurations as takes the form:
(77) |
instead of (72). We choose
(86) |
such that is a proper gauge transformation. However, does not live in an bundle, rather it is in the bundle. Similarly, can no longer be characterized by a proper gauge transformation, instead lives in .
(87) | ||||
(88) |
This is an example of being a connection in bundle which cannot be lifted to bundle.
As a result, the dynamical gauge connection can no longer be characterized by a gauge field, and is not a multiple of . Instead, the dynamical and background are now intertwined in an inseparable way. Denoting , the topological charge (76) can now be written as
(89) |
and it is quantized in units of , same as (60). Note that this is the counterpart of (38) in quantum mechanics. It is clear that is in a bundle, and cannot be lifted to an bundle. Yet, composite configurations such as pair and can be lifted to bundle. As in our quantum mechanics example, these composites are the non-trivial fractional action configurations contributing to the partition function of original even in the absence of background.

3.3 Flavor twist and ’t Hooft flux, and relation to
In a joint work with Dunne Dunne:2012ae , we proved that if model is compactified on a cylinder with an flavor twisted boundary condition, and if the background is symmetric under shifts up to permutations, i.e,
(90) | |||
(91) |
then there exists instantons with fractional topological charge and action,
(92) |
in the semi-classical domain on . See also Fujimori:2017oab ; Fujimori:2018kqp ; Ishikawa:2019tnw ; Misumi:2014jua ; Misumi:2019upg . Fractional instantons are also described in earlier work on in Eto:2004rz ; Eto:2006pg ; Eto:2006mz ; Brendel:2009mp ; Bruckmann:2007zh .

It is conjectured that this regime is continuously connected to the theory at large and . The rationale behind this is following. The above construction, in the operator formalism translates to
(93) |
where where is the number operator associated with quanta. The Hilbert space of model fills in representation of , singlet, adjoint etc. For example, and the state sum of these states leads to instead of that would occur in thermal state sum. There is also a singlet which is almost degenerate with the adjoint. (The difference is Witten:1978bc ). As a result, there are extremely powerful spectral cancellation in the Hilbert space of . In particular, quite remarkably,
(94) |
which means no state apart from the ground state contributes to the twisted partition function. This is the idea of quantum distillation, which tells us that the must be an analytic function of Dunne:2018hog , similar to cancellation that takes place in index calculations in supersymmetric theories Witten:1982df . Note that the cancellation in the index calculation is a result of supersymmetry, in our case, the theory is bosonic and we engineered the spectral cancellation by using its global symmetry. The fact that this is possible is a remarkable aspect of the theory.
Let us now see if we can learn something deeper from this construction concerning strongly coupled QFT, and non-perturbative configurations that contribute to path integrals. Since anomalies are independent of the strength of the coupling, we can try to take advantage of that. The first hint in this direction is that a mixed anomaly between and on survives upon compactification on Tanizaki:2017qhf if and only if - twisted boundary conditions (91) are used, and appropriate background is turned on.
Now, in the presence of on a general , we showed that fractional topological charge and fractional action configurations exist. Importantly, this statement is not restricted to only , but also valid at for , where the long distance theory is necessarily strongly coupled.
To connect weak and strong coupling regimes, we reconsider flux along with background. We use
(95) | ||||
(96) |
where we embedded both flux and background into transition matrix:
(97) | ||||
(98) |
This construction, in the operator formalism, amounts to
(99) |
where we separated , and for clarity. In the path integral formalism, we can express it either as twisted boundary conditions, or coupling to a background TQFT:
(100) | ||||
(102) | ||||
(103) |
where is ’t Hooft flux, and we set discrete theta angle to .
The topological charge in model with twist is fractionally quantized for two, at first sight, seemingly different reasons. These are
(104) | ||||
(105) |
The first equality is the property of symmetric (up to permutation) background. It does not need the insertion of ’t Hooft flux, but without that insertion, it seems to be deformable from topological charge. In what sense, is it robust then? The point is, if we wish to preserve a mixed anomaly that exists on between and , this particular background is the unique one which achieves thatTanizaki:2017qhf . The boundary condition (91) remains invariant under the intertwined combination of a center transformation along with cyclic permutation of fields, Cherman:2017tey .
The second equality is telling us that in the ’t Hooft flux background, topological charge is quantized, regardless of what the value of is. Both of these statements are independent of coupling, and also persist at strongly coupled regime on arbitrary size . Next, we exhibit that this is the case in two examples, one is large- limit of and the other is supersymmetric version.
Reminder of tunnelings in model: Here, we would like to detail few more information about tunneling events in model with twisted background on small that we will use later. Ref. Dunne:2012ae also has an obvious reinterpretation on with and flux background. In these backgrounds, the classical minima of the model are
(106) |
Let denotes coordinate on where we take . Then, the minimal tunneling events correspond to
(107) |
where and is the affine root of Lie algebra. These fractional instanton events have topological charge and action and are the semi-classical ingredients of our analysis. The fugacity associated with these events are
(108) |
These are minimal tunneling events associated with . More generally, the set of tunneling events obeying BPS-type equation are types, and associated with charges
(109) |
with topological charge and action
(110) |
The usual instanton in 2d Polyakov:1975yp corresponds to with charge configurations. We can also construct infinite towers of the fractional instantons with charge by merging it with 2d instantons, .
As we emphasized, there are also important bion configurations, minimal versions of which are . These have ”Coulomb” charges , topological charge , and action . There are also neutral bions which have zero ”Coulomb” and topological charge, and action.
3.4 Interpolation between weak and strong coupling holonomy potentials
Small holonomy potential: In the model, the gauge field does not have a kinetic term in the the UV-Lagrangian, and is not an independent degree of freedom. It is related to the dynamical fields through equations of motions,
(111) |
In the small regime, we can write down the potential for the holonomy field , both with and without the insertion of . They exhibit a striking difference:
(112) | ||||
(113) | ||||
(114) |
where is periodic by . In thermal case, there is a unique minimum in the fundamental domain, and a potential barrier as corresponding precisely to tunneling events with .
In the presence of the twist, we obtain a potential just like our quantum mechanics, which has -minima at . The interpolation between these configurations correspond to fractional instanton events.
It is important to note that, since is not an independent degree of freedom, these minima are some configurations of -field, and tunneling is between field configurations, which translates to through (111). The profiles of these fields are shown in Fig.5 borrowed from Dunne:2012ae .
Note that the twist is an background. We can also turn an background by coupling to . Then units of flux amounts to considering which strictly enforces that a transition between and takes place with topological charge and action .
Large holonomy potential: Now, let us consider large- limit, where the asymptotically free coupling necessarily becomes large at distances . A useful handle in this regime is to consider large- limit. At large-, the theory is solvable Polyakov:1987ez . It can be shown to acquire a mass gap dynamically,
(115) |
which very much looks like a fractional instanton effect. But the large- solution is very shy about giving us any insights concerning the microscopic origins of mass.
The saddle of the large- solution on is , where is Lagrange multiplier that appears in the action as imposing the constraint . A remarkable fact about model is large- volume independence in the twisted background. The large- saddle point equation on may be derived precisely at any size if and only if one also takes the background Sulejmanpasic:2016llc ; Dunne:2012ae .
At large-, we may say that particles become massive. Ref. Witten:1978bc showed that these particles generate a kinetic term for the gauge field at one-loop level on . The effective Lagrangian is
(116) |
where , and the effective theory is just - component scalar QED. Consider this theory on . At low temperature for thermal theory, and -twisted (non-thermal) theory, we obtain the holonomy potentials as
(117) | ||||
(118) | ||||
(119) |
where where is the modified Bessel function of the first kind, and in the simplified form, we used asymptotic behavior
The untwisted case is derived by Affleck, who showed the existence of a zero temperature phase transition, as can be seen by the non-commutativity of , limits. In the -twisted case, Sulejmanpasic showed the commutativity of the two limits Sulejmanpasic:2016llc . In the twisted case, we again end up with our model, with inequivalent minima, and instantons again split up to fractional instantons with winding number .
The whole discussion in the domain and domains are extremely similar. Note that if we interpret the instanton in in (119) as quantum instantons in the effective theory according to Affleck with , we should view the instantons in the as fractional quantum instantons with action . However, neither detail is actually too important for our purpose. The -field in this description is to a certain extend a place holder, because and electric coupling tend to zero in the large-N limit. Therefore, is actually a mnemonic of what is going on in the world of -field through the relation (111).
The main point is, on a spacetime manifold , viewed as finite-volume regularization of , (93) tells us that there are configurations with fractional winding number and action , for which lives in the bundle. To see the existence of these configurations without the insertion of flux, by just using the twist is also possible, and already shown in Dunne:2012ae in semi-classical domain. However, flux tells us that these configurations are there both at weak or strong coupling with certainty. This is just a statment concerning field configuration topology. As we have shown in quantum mechanics, we can use these configurations to built fractional action and integer winding configurations which live in the bundle. Next, we show that a description based on this idea is actually taking place in 2d softly broken model.
3.5 model on with soft mass
Consider the supersymmetric model. This model has a chiral symmetry which is broken dynamically to by the formation of fermion-bilinear condensate.
(120) |
leading to isolated vacua, consistent with the index Witten:1982df .
Consider adding a soft mass term to the Lagrangian, . In this case, the vacuum energy density is modified into
(121) |
at leading order in . Here is the renormalization group invariant strong scale of the theory (at one-loop order), and is the (Pauli-Villars) renormalization scale. The graded partition function for the mass deformed theory is
(122) |
and on a 2-manifold, it is modified as
(123) |
where is the volume of the 2-manifold and is small. (Assume is large compared to strong length scale.) Based on our quantum mechanical example, we can rewrite the partition function as
(124) | ||||
(125) | ||||
(126) |
The interpretation of this formula in the light of our discussion of model is following.
-
•
Terms in the sum are sourced by the solution of self-duality equation in the theory with background. However, these cannot directly contribute to the partition function as they live in a part of bundle that cannot be lifted to bundle. Happily, the constraint tells us that they do not.
-
•
The constraint guarantees that non-BPS configurations in the bundle that can be uplifted to bundle contribute to the sum. The sum consistently reduces to a sum over integer topological charge configurations , but there are fractional action configurations contributing to it.
-
•
In the massless theory, the chiral symmetry is . In the background, each of these objects carries zero modes. This is not inconsistent with ABJ anomaly thanks to the constraint . The zero modes is also a natural reflection of mixed anomaly between and . If we were to gauge , we would indeed end up with zero modes with each of these configurations. These zero modes are lifted by the insertion of mass term .
-
•
The solutions in the background have 2 bosonic zero modes, and altogether, they should have bosonic zero modes as a BPST instanton. may be viewed as the volume of the bosonic moduli space. is Pauli-Villars regularization scale. It appears with the power where are the numbers of bosonic and fermionic moduli.
-
•
The factor in the argument and order of Bessel function arises because there are different types of fractional instantons in the background. Note that at , supersymmetric point, modified Bessel obeys and which is just supersymmetric index Witten:1982df . At , the only sector contributing to graded partition function is the zero topological charge sector.
Again, we reach to the same conclusion in , as in the bosonic model. Even when we consider model without flux, we should still consider the field space in the bundle, where both topological charge and action are fractional, and sum up over configurations that can be lifted to bundle. This tells us that the non-perturbative expansion parameter in the theory is which is exponentially more important than 2d instantons Polyakov:1975yp .
Topological susceptibility and how to rescue naive instanton analysis: Despite the fact that (126) is a sum over configurations, it leads to to topological susceptibility that is in qualitative agreement with the purely bosonic theory
(127) |
The result in bosonic theory is based on large- solution (see DAdda:1978vbw , and Marino:2015yie for a pedagogical description) and lattice simulations Vicari:2008jw . We expect, once, , to saturate to . The important things is both are of order as they should, as opposed to as predicted by naive instanton analysis.
In the standard instanton analysis in 2d that we learn from textbooks, one is instructed to sum over all integer topological charge configurations with action Coleman198802 ; Schafer:1996wv :
(128) | ||||
(129) | ||||
(130) | ||||
(131) |
leading to vacuum energy density and topological susceptibility
(132) |
which are in clear contradiction with the correct result (127).
In principle, in both (131) and (126), we are summing over only configurations. What went so wrong in the naive instanton analysis? Of course, the answer is clear. In (126), we used the configurations with fractional action and topological charge, but imposed a global constraint on topological charge which restricts the sum to . This is equivalent to the statement that we used saddles in the bundle thanks to TQFT coupling and then, lifted the configurations that obey (126) constraint to the theory. In this way, we obtain the angle dependence and topological susceptibility correctly. This settles the issue raised in DAdda:1978vbw concerning the role of fractional instantons in determination of topological susceptibility.
4 Continuation of semiclassics to strong coupling
The discussion of this section is the heart of our idea of connecting weakly coupled calculable domain to strongly coupled domain. Hence, it is important to summarize what we did so far for , and state what we will do next.
1) We showed the existence of smooth field configurations with fractional topological charge in the presence of background gauge fields for global symmetries. Their existence follows from the usual Bogomolny argument showing they have minimum action proportional to their (fractional) topological charge.
2) The backgrounds in which you see this fractionalization are topological in the sense that they are related to background gauge fields for discrete symmetries. One can also gauge the discrete symmetry in question by summing over their background fields weighted by a topological phase called discrete theta angle which effectively projects out all but one fractional topological charge sector, and so gives the same information.
3) There are then configurations which are approximately the sum of many widely-separated fractional instantons (ie, governed by “saddle points at infinity”) in the semi-classical domain Behtash:2018voa . Below, we will present the strong coupling realization of this concept.
4) These configurations can then contribute to the path integral with fractional-instanton action even if background and boundary conditions only allow integer topological charge.
5) It is a matter of dynamics whether these fractional-instanton-action configurations do or do not contribute in an important way to the path integral. But analytic continuation from weak coupling semiclassical expansion (familiar from resurgent transseries expansion Dunne:2012ae ) suggests that at strong coupling there might be an effective description in terms of fractional-instanton local fields (ie, fields which create local excitations with the quantum numbers of the fractional-instanton bosonic and fermionic zero modes). This is familiar from Polyakov model Polyakov:1975rs ; Polyakov:1987ez and deformed Yang-Mills theory on Unsal:2008ch ; Unsal:2007jx where dual theory is constructed based on monopole-instantons. However, although this information is extremely crucial for us, this is not the approach we will pursue. 101010In particular, weak coupling semi-classical expansions is always hierarchical. On the other hand, strong coupling descriptions are egalitarian. We will comment on this, in retrospect, after our construction is over. Hopefully we will do something more powerful.
6) In Refs.Berg:1979uq ; Fateev:1979dc , Fateev, Frolov, Schwarz, and Berg, Lüscher, considered multi-instantons in on , and parametrized the moduli space of -instanton, which is dimensional, as complex coordinates. Gross uses this parametrization earlier in Gross:1977wu to show that the interaction between the instanton and anti-instanton is a dipole-dipole interaction in , where each dipole is as if it is composed of vortex-anti-vortex pair. There is no explicit physical splitting in this parametrization, (let us call it X-parametrization for brevity where X is short-hand for position moduli in terms of fractional vortex instantons) for example, a single instanton is still a single lump and not two lumps! The magical thing of this parametrization is that the determinant of the fluctuation operator can be calculated exactly, and muti-instanton gas behaves as if it is a Coulomb gas of vortices interacting each other depending on their charges and position moduli. We will give a review of these works, and close its shortcomings. Of course, one of our main motivation is the consistency between fractional quantization of action and topological charge induced by TQFT coupling, fractional quantization that emerges in weak coupling resurgent expansion and the analysis of determinant of the fluctuation operator in X-parametrization admitting an interpretation as if the theory on can be described in terms of these fractional defects. Our goal is to make this correspondence precise.
7) Inspired from the analysis of Refs.Berg:1979uq ; Fateev:1979dc , consistency in weak coupling semi-classical limits and resurgent expansions, matching of the global symmetries and mixed ’t Hooft anomalies, and by the consistency (stability) under RG flow of these descriptions, we propose
-
•
massive -flavor Schwinger = Abelian bosonization = mass-deformed WZW
models as low-energy description of asymptotically free model on .
Remarks: The fractional vortex instantons in all cases are classified with the roots of algebra. In semi-classical limits in each case, the elementary tunneling events are given by:
(133) | ||||
(134) |
where is the affine root. We can in principle write a dilute gas based on these charges, and also include their correlated events such as or etc, but instead we do something more powerful. We write theories for which all orders non-perturbative expansions are the same, according to our understanding of resurgence. We can call the operators associated with tunneling the dual vertex operators.
The action of the abelian bosonization of Schwinger model will be written in terms of vertex operators (not dual vertex operators), , associated with the weights of Lie algebra. As asserted, tunnelings in the abelian bosonized description are associated with the . In particular, abelian bosonization, its non-abelian version, and massive Schwinger model are not effective theories describing proliferations of fractional vortex instantons. The fractioal vortex instantons in these theories are same as the one in model in weak coupling limit.
There is a necessary matching of scales between different theories. For example, the non-perturbative expansion parameter in is , which controls the fugacity of vortex instantons with charges in semi-classical domain. This maps to mass of the fermion in the Schwinger model, , which in turn becomes mass of the rebosonized field in bosonization construction, or mass deformation of the WZW model.
The above description is self-consistent, because the mass gap cuts off the IR divergence in the fractional-instanton size modulus, so justifies being analytically connected to a dilute fractional-instanton gas (ie, semiclassical) picture. The renormalization group analysis is independent of -angle. In particular, it gives a prediction of gaplessness for at as we show in detail. As a result, gap, gaplessness and the -angle dependence of mass gap that we find in our formalism are reliable qualitative predictions.
4.1 Fateev, Frolov, Schwarz, and Berg, Lüscher, in retrospect
In 1979, Refs.Berg:1979uq ; Fateev:1979dc came up with a very clever construction in the model, though as they point out themselves, their method has some issues. (See Polyakov’s textbook for an assessment Polyakov:1987ez .) Our construction partially justifies their work on rigorous grounds, and improves it. We feel it is extremely important to understand this discussion in order to perform a similar analysis in gauge theories on . So, below, we will explain and improve the ideas of Refs.Berg:1979uq ; Fateev:1979dc ; Polyakov:1987ez and bring our own perspective.
Let us outline Refs.Berg:1979uq ; Fateev:1979dc from our perspective. They consider a -instanton configurations in model. For , an instanton on has 4 bosonic zero modes, which are usually parametrized as as 2 position moduli for the center of instanton , one size moduli , and a angular moduli . The multi-instanton solution in model can be written in terms of a holomorphic function
(135) |
where
(136) |
are just complex moduli. We will refer to this as X-parametrization, for short. It turns out that this is a very useful parametrization for the combination of the following two reasons. reasons that will become clear.
1) Despite the fact that, what one may think at first sight, the exact solution for instanton () does not correspond to physical splitting of an instanton into two distinct lumps. If one inspects the topological charge density (integrand in (137)) for the solution, it is clear that this is a one-lump configuration:
(137) |
centered at , with size moduli , and not two lumps located at and :
(138) |
Compare this with the configurations found on in the background. There, when the size moduli is smaller than the length scale set by , there is a single smooth lump. When the size moduli is larger than the scale set by , the instanton fractionates to distinct smooth lumps. See Fig. 5 and Ref.Dunne:2012ae .
2) Despite the fact that configuration in (135) is a single lump, when the quantum fluctuation determinant around multi-instanton configuration is computed exactly at one-loop order, it admits an elegant interpretation in terms of a Coulomb gas in 2d, as if each instanton is a dipole of two fractional vortex instantons. The partition function (counting only instantons) can be written as Berg:1979uq ; Fateev:1979dc ; Polyakov:1987ez :
(139) | ||||
(140) |
This suggests the following picture: It is as if we are supposed to think of instantons as the composites of fractional vortex instantons on , , and . In some sense, the formalism presented in Refs.Berg:1979uq ; Fateev:1979dc can be viewed as “fractionalization without fractionalization”. One can formally write , where we assign Coulomb charge +1 , and charge . We will learn that cannot be interpreted as anti-vortex, because if we incorporate theta angle, both and acquires phases .111111The sum which takes only instantons into account (without anti-instantons) is actually meaningful here, but not always meaningful. For example, in 3d Polyakov model, it would not be meaningful because one cannot impose global charge neutrality with only charge +1 monopoles. (Coulomb system with only + charges is not stable.) Here, one can guarantee global charge neutrality thanks to the fact that there are two types of fractional vortex instantons with opposite electric charges, and one can have charge neutrality without taking anti-instantons into account. On deformed Yang-Mills theory (unlike Polyakov model on ), taking only monopole-instantons into account (without anti-monopoles) is also meaningful for the same reason. There are two kinds of monopoles with charges and , and one does not need anti-monopoles to have global charge neutrality. In fact, the theory with only monopoles is integrable. It maps to complex affine Toda theory, which happens to have a real spectrum (at ) and can be viewed as a Hirota bilinear form. See Unsal:2008ch on these subtle issues. Once, one includes both monopoles and anti-monopoles, one obtains (225) that we discuss in the next section which is no longer integrable. There are actually and in the game, that are not included at this stage, but easy to incorporate (see below.) So, the system behaves as a Coulomb gas with charges, with fugacities for fractional vortex-instantons. The Coulomb systems in 2d have two phases, a gapless molecular phase and gapped plasma phase. (at ) happens to be in the gapped plasma phase. The fugacity of the fractional instantons emerges as the inverse correlation length of the system, , the strong scale of the theory. Now, interestingly, despite the fact that these arise from smooth instanton configurations with X-parametrization, the final form of the action coincide with the one obtained by Gross in Gross:1977wu obtained by using merons and intuition.
The instanton partition function can be reproduced by using a free massless Dirac field , and bosonization formulas in (see Sec. 32 of ZinnJustin:2002ru )
(141) |
and observing that
(142) | |||
(143) |
where is evaluated by using massless Dirac action. The is due to conservation of chirality. As a result, the instanton partition function (140) can be written as
(144) |
Despite the fact that the inclusion of anti-instantons is presented in Refs.Berg:1979uq ; Fateev:1979dc ; Polyakov:1987ez as a conceptual difficulty, it is actually a relatively simple matter now, especially after understanding the role of fractional instanton-antiinstantons in resurgence Dunne:2012ae , and we describe their inclusion below. There are few issues with the above formula.
-
•
The reliability (or at least self-consistency) of semi-classical expansion.
-
•
The fermionic theory (at least naively) has a global symmetry that does not match with the symmetry of the original theory.121212Thanks to Aleksey Cherman for discussions about this point. Effective field theories must respect the global symmetries of microscopic theories. On the other hand, there is actually hope that this point may be fixable, because abelian bosonization (as opposed to non-abelian bosonization) makes some symmetries extremely non-obvious Coleman:1976uz . There is clearly something to be figured out.
-
•
If we incorporate , it will not produce angle physics correctly. But this is obvious, since we did not include anti-instantons.
What FFS-BL did not know and resurgence at help. The coupling a -twist and TQFT makes it manifest that the topological defects with fractional charge and action exist both in the weak coupling semi-classical domain on and on arbitrary at strong coupling. Furthermore, unlike the past times Berg:1979uq ; Fateev:1979dc , we no longer feel uncomfortable about (fractional or not) instanton anti-instanton pairs because resurgence theory tells us what their effects are, and how they are incorporated correctly and cancel ambiguities in perturbation theory Dunne:2012ae . In particular, when we do semi-classics, we are forced (this is not a choice) to consider the complexification of field space. In the old days, it was thought that the instanton-antiinstanton configurations could not be distinguished from perturbative vacuum, and the quasi-zero mode integration between a fractional instanton-antiinstanton would be ill-defined. Now, we know two facts. Fractional instanton antiinstanton configurations are critical points at infinity (see around (7) for a reminder), and in order to calculate their contribution to path integral, we need to do path intergal over the Lefschetz thimble, which is meaningful Dunne:2012ae ; Behtash:2018voa . Lefschetz thimble integration at second order in semi-classic gives two types of contributions, uncorrelated and correlated pairs . In other words, thimble integration is a sophisticated version of cluster expansion, which gives the effect of both uncorrelated pairs as well as correlated pairs. The effect of correlated pair is two-fold ambiguous . But there is another ambiguity in the theory that comes upon lateral (left/right) Borel resummation of perturbation theory, which we denote as . Remarkable fact that comes from resurgent analysis of is that
(145) |
i.e., the imaginary ambiguities cancel Dunne:2012ae . This ambiguity cancellation is at order and is the semi-classical realization of ’t Hooft’s famous IR renormalon puzzle tHooft:1977xjm (see also Munster:1981zn ) in model. It should be noted in the analysis below, we do not use resurgence, in fact, we do not even use second order correlated pairs in semi-classics except one occasion where it is strictly necessary to determine the IR-dynamics in at around (209). But the advantage that resurgence provides is clarity it provides in knowing what various non-BPS configurations are, and what the corresponding operators and their physical effects are, and we do not need to need all thanks to renormalization group. Therefore, in the light of these progress progress in resurgent semi-classical analysis, we feel encouraged to reconsider the FFS-BL analysis Berg:1979uq ; Fateev:1979dc on , and improve it.
4.2 Incorporating and fractional anti-instantons into FFS-BL
Based on (140), we view the instanton on as a composite of the two fractional (vortex) instantons. But recall that the topological charge density or action density (137) are not a two lump configuration. They can be smoothly be split to two-lumps either using twist background, or in the background of -flux TQFT coupling. Both of these backgrounds introduce a scale and if the moduli parameter becomes larger than a certain scale set by the background, we see fractionalization explicitly. The remarkable fact about the Berg:1979uq ; Fateev:1979dc analysis is that it reveals something deep about the inner structure of 2d instanton via a parametrization and exact computation of the fluctuation determinant.
Due to its extreme importance in the story, we will also incorporate angle dependence from now on. First, note that incorporating angle in Berg:1979uq ; Fateev:1979dc modifies (144) as . Expanding the exponentials, we can perform the path integral by using (143) which tells us that when the number of and insertions are not equal, the integration vanishes due to excess chirality. As a result, the fractional vortex instanton sum (140) is modified into , where which indicates that the sum is only over non-negative integer winding instantons (without anti-instantons). The inclusion of modifies the action of Refs Berg:1979uq ; Fateev:1979dc into
(146) |
which looks a bit awkward, because appears in front of the Dirac mass term.
If we were to incorporate our sum based on proliferation of , , (instead of , pair), the effective action would be replaced by . This can only describe topological charge sector of the theory.
Let us know take into account both instantons and anti-instantons. We view where stands for fractional vortex instanton:
(147) | |||
(148) |
The topological and Coulomb charges of these configurations are:
(149) | |||
(150) |
Note that Coulomb charges of and are same, but their topological charge differ in sign. They interact with each other according to Coulomb’s law in . The proliferations of these events on produce a modified mass term: . As a result, we obtain the generalization of (146),
(151) |
which is now invariant under . This path integration does reproduce the proliferation of both vortices and anti-vortices with the correct angle dependence, and incorporate all sectors. However, it is not only a sum over configurations of the form , it also include contribution of configurations such as and .
Let us now investigate the configurations contributing to the full partition function carefully.
(152) | ||||
(153) | ||||
(154) | ||||
(155) | ||||
(156) | ||||
(157) |
A typical term in the sum has many insertions, respectively. In (157), the number of insertions is and the number of insertions is . Therefore, using (143), we observe that the sum is non-zero if and only if
(158) |
constraint is obeyed. We can solve this one constraint to turn four sums into triple sum one of which can be identified as a topological charge :
(159) |
where the interaction action is:
(160) |
where is 2d Green’s function.
Now, if we take (151) seriously, assuming the semi-classics that leads to it is reliable (we will question this later), it tells us that the theory on develops a finite correlation length for , a mass gap, of the form:
(161) |
This is, of course, a beautiful result at first sight, compliant with all of our educated guesses, a non-perturbative mass gap at and gaplessness at , and a wonderful confirmation of the formalism described in Refs Berg:1979uq ; Fateev:1979dc , and Polyakov:1987ez . But this formula (not its consequences) (161) is actually not quite correct, because the formalism we set-up to this point, has some flaws.
First, let us describe why we got an “correct looking” result. The partition function has the form where is the partition function of a fixed sector. But contributing configurations is richer than just naive instanton sums. Clearly, there are configurations of the form with action which happens to be just instanton action for , but for general , fractional action configurations. At any rate, even for , this configuration is distinct from 2d instanton Polyakov:1975yp , which is . The fact that configurations such as here, and there contribute to path integral is responsible for the appearance of in the effective action. With the usual instantons, we could never get such a factor. This is a good part of the truth.
Polyakov, in his book Polyakov:1987ez , following a proposal of Ref.Bukhvostov:1980sn , argues that to incorporate anti-instantons, one should include a second Dirac fermion and couple the two in a special way. This is by no means necessary. The Coulomb charge of is same as the Coulomb charge of . At , there is no distinction between the corresponding defects and the corresponding operators. Only when we turn on , we see their difference due to topology , but this still does not demand introduction of a second fermion, since the Coulomb charges are same. Hence, to produce the correct sum over vortex instantons and anti-instantons, (151) is perfectly sufficient as we showed.
A possible issue with (144) (or even (151)) is that, at least naively, it does not look consistent with the global symmetry of the original model, which is . Rather, it has an obvious symmetry. But effective field theories must respect the global symmetries of microscopic theories, and there is no negotiation room there. However, similar to abelian bosonization, sometimes symmetries may be obscured. Still, we want to make global symmetry manifest.
Furthermore, the summation over fractional vortex instantons , is a good approximation if there exists a weak coupling semi-classical domain of the theory, similar to small as in Dunne:2012ae . But here, we are in the strongly coupled domain of the . Is it possible in some way to take into account correlated events such as etc. Note that this is not a quantitative, but qualitative issue. For example, does the gaplessness (161) persist once higher order effects are taken into account? Or can the theta dependence include terms of the form , or include fractional powers such as ? If one can achieve this, there is a hope to go beyond semi-classical ideas via such construction.
4.3 Fermionization, Abelian rebosonization and mass gap at arbitrary
We are largely inspired from the fermionic description of the fractional vortex instanton gas Berg:1979uq ; Fateev:1979dc in model. However, this construction comes with a number of deficits, a number of which we already fixed. However, probably the most important issue is that original has a symmetry, which is not manifest in (144) (or (151)). In more general case, this symmetry is , and it is important to capture the mixed anomaly structure of these theories correctly. Therefore, we introduce massive fermions and gauge over-all in the general case. Therefore, we land on the -flavor Schwinger model with an invariant mass term.
(162) |
The global symmetry, mixed anomalies and global inconsistencies, weak coupling semi-classical description of the -flavor Schwinger model match exactly with the model. Furthermore, -flavor Schwinger model provides the correct fix for the result of Refs Berg:1979uq ; Fateev:1979dc on based on the X-parametrization of moduli space. Because of these matching, it is natural that the low energy theory for the model is described by massive Schwinger model, or equivalently, its abelian bosonization or its non-abelian bosonization given by mass deformed WZW model with an extra scalar. The global symmetry in all cases is These theories also have charge conjugation symmetry at . The mixed anomaly and global inconsistency are exactly the same in these theories Dunne:2018hog ; Misumi:2019dwq .
We will now show that, upon bosonization, the tunneling events in this theory are described by the same set as in model, by (107) and (109). Later, when we describe semi-classics, we will observe that the mass of the fermion and the coupling in Schwinger model are controlled by strong scale of the model. In particular, and .
First, let us review Coleman’s celebrated result, by following his footsteps in Coleman:1976uz , with some minor remarks sprinkled here and there. For -Fermi fields, -Bose fields are introduced. The bosonization dictionary is:
(163) | |||
(164) |
where denotes normal ordering with respect to mass , and is numerical constant. There are two useful identities proven in Coleman:1974bu and used in Coleman:1976uz . (just an additive shift to ground state energy, which we can be ignorant about in this work), and more importantly
(165) |
This relation encodes multiplicative remormalization of the operator, to account for the change of the normal ordering scale.
To obtain the bosonized action, we use the dictionary and integrate out the gauge field.
(166) |
This is same as Coleman’s original Coleman:1976uz for , except that we took into account the global aspects of gauge field in integrating it out, hence, structure in the potential. As Coleman instructs us, the invariance of the theory is obscured in this presentation, but not lost. If we wanted to keep invariance manifest throughout the discussion, we have to use non-abelian bosonization and mass perturbation of the WZW action. Because of its utility, we will return to this perspective as well.
Define the following transformation:
(167) | ||||
(168) |
where now -fields obeys a constraint, hence, representing fields, we can write the kinetic term as . As a result, the lagrangian can be written as
(169) | ||||
(170) |
particle has a mass square . In Schwinger model, this mode can be made parametrically heavy compared to other modes. However, since we are performing a matching between and Schwinger model to match their semi-classical description in terms of tunneling events, we know that this mode cannot be made parametrically heavier than the lower lying modes. This mode is likely the singlet mode in the spectrum of , , which differs from the adjoint by an order splitting Witten:1978bc . So, this splitting is more pronounced for , and not so important at large- where indeed, the adjoint and singlet become degenerate. With this in mind, let us integrate out the singlet field. Using the renormal ordering (or matching) prescription (165) of Ref.Coleman:1976uz , the low-energy theory takes the form:
(171) |
Two mass parameters in this action can be further merged to one, by re-using a renormal-ordering with respect to mass .
(172) | ||||
(173) |
This result agrees with Refs.Coleman:1976uz for and Smilga:1992hx ; Hetrick:1995wq ; Hosotani:1998za for general . Here, we can regard as an -component vector. The mode associated with decouples from the rest, making (173) particularly easy formulation to work with. 131313 In the process of completing this paper, we became aware of Ref.Wamer:2020hmv , which gives a description of flag manifold sigma models, where fractional vortex instantons associated with gaps out the theory. It is easy to make a connection between that work and ours by using WZW formulation (196), and using double-trace deformations Unsal:2008ch to connect WZW to flag manifold, generalizing Tanizaki:2018xto .
Tunneling events in abelian bosonization description: The elementary tunneling events in (173) can be described similar to (107), and they correspond to
(174) |
the simple roots and affine root of algebra living in the affine root system.
(175) |
The crucial point is that the action of these tunneling events is controlled by . Using the matching conditions with for and , we observe that the tunneling amplitude is controlled by in the bosonized version of the Schwinger model.
We can also define tunneling events associated with higher roots, and define the orbits as:
(176) |
corresponding to deomposition of roots in total to orbits. Note that The events in the orbit have fugacity
The proliferation of the vortices describe a classical two-dimensional Coulomb gas of types of charges associated with charges interacting with each other via via the 2d Coulomb’s law,
(177) |
In order to define the operators associated with tunneling events, we need to use abelian duality in 2d. Using , we can write the tunneling events as:
(178) |
Note that these events are hierarchical in a semi-classical domain, for example, once we introduce the background.
Since both semi-classical expansion and the mixed anomalies of the massive Schwinger model are same with the , the massive Schwinger model will provide an qualitatively accurate description of the infrared physics of .
4.4 Fractional instanton renormalization group (FIRG)
Since is a constrained field, we need to be careful in reading off the dimension of the operator. For example, setting on (171), case examined in Coleman:1976uz , , where is unconstrained. Then, properly normalizing the kinetic term by a field redefinition,
(179) |
and dimension of the operator is , in agreement with Coleman:1976uz . For general , it is slightly tricky to read off the dimension of operator and for this, the way we parametrized things in (173) is useful. In this formula, field is unconstrained, but there is an extra redundant mode in it that decouples from the dynamics. As a result, the dimension of vertex operators are easy to read:
(180) |
This is consistent with non-abelian bosonization in which the identification is:
(181) |
and the dimensions of the corresponding operators are and where is valued.
Note that IR scaling in the vertex operator in the large- limit goes to 1, same as free field or UV of a fermion bilinear in 2d. The most dramatic change in the scaling dimension happens for , in that case, the scaling of fermion bilinear drops from in the UV to in the IR. This has an interesting effect that we discuss separately for case with angle.
The mass matrix for the field can be found by diagonalizing matrix. The mass square matrix components are
(182) |
where is all-one matrix and is identity matrix. has eigenvalues which are equal to , for which the eigenvectors are and eigenvalue equal to with eigenvector .
Relevants and irrelevants in infrared dynamics (IR scaling dimensions): Let us list the scaling dimension of various vertex operators.141414The vertex operators in the effective action (198) can be viewed as tunneling events of the effective action based on proliferation of the vortices with charges (174) in the , based on the dual field in (178). This will help us to identify which of these operators are relevant in the infrared. It will also help us ”tower” of interesting operators which cary same Coulomb charge (scaling dimension), but higher topological charge.
(183) | ||||
(184) | ||||
(187) | ||||
(188) | ||||
(189) | ||||
(190) | ||||
(191) | ||||
(192) | ||||
(193) |
To be relevant in the renormalization group sense Kosterlitz:1973xp , an operator must have . These are vertex operators with and two-vertex operators and for which . We can ignore others for IR physics, but still need to be careful because of some subtleties, such as .
Finally, in the large- limit, only level (and ) operators are relevant. and are marginal, and the rest is irrelevant. This will allow us to determine the IR physics of the theory sufficiently robustly.
4.5 Non-abelian bosonization: Mass deformed WZW
The abelian bosonization reveals crucial amount of information about dynamics, but makes the non-abelian global symmetry of the theory non-obvious. On the other hand, if we use non-Abelian bosonization, the matching of the global symmetries become manifest. Let us describe this briefly.
Non-abelian bosonization maps -flavors of free massless Dirac fermions to WZW model Witten:1983ar ; Polyakov:1983tt ; Polyakov:1984et . The correspondence between operators is
(194) |
where is the -group valued scalar field. The -form symmetry of the massless Schwinger model and WZW models are acting on the corresponding operators by conjugation . Turning on a mass term for fermion reduce the symmetry to the vectorlike subgroup,
(195) |
which is the global symmetry of three theories: model, massive -flavor Schwinger model, and mass deformation of WZW model.
The bosonized action of the massive Schwinger model is given by
(196) |
The first two terms are kinetic terms, and the third term is mass deformation, the fourth term is the level- Wess-Zumino term. The last term can enforces the ABJ anomaly of the massless limit, and incorporates theta dependence away from massless point.
Integrating out the gauge field as in the abelian bosonization discussion, we obtain
(197) |
This is the non-abelian version of (166) and now, the full symmetry is manifest. We can further (locally) integrate out mode associated with to obtain counterpart of (171).
According to (193), there are very few relevant or marginally relevant deformations of level-1 WZW. These are with and with in large- limit, and, for which . In particular, double-trace deformations of the form for which , are irrelevant in general for .
4.6 Secrets of Coleman’s formula: Relation of RG with all orders semi-classics
In our construction, (173) arises as low energy description of the model. For that purpose, we can identify parameters of fermionized low energy limit of as and and hence, mass gap is given by
(198) |
We would like to discuss rich physics associated with this result, which will teach us new things concerning extension of semi-classical ideas to . We believe all the major lessons extend to gauge theory on and and has non-trivial implications.
-
•
Conceptually, the most interesting aspect of Coleman’s result Coleman:1976uz is following: Naively speaking, if we obtain (171) from semi-classical gas of vortices in , we are performing a first order in semi-classic analysis. The Lagrangian has a factor in it which happily arise from the leading order fractional instantons, . However, in (173), we obtain mass gap which is impossible to obtain at any finite order in semi-classical expansion. It requires infinite order in semi-classics. What happened in between?
-
•
What Coleman did Coleman:1976uz , as he also states, is renormalization group for topological defects Kosterlitz:1974sm ; Kosterlitz:1973xp . But renormalization group is smart, even if we just write down few operators that are permitted by symmetries, it will induce all the other operators that are permitted by symmetries. In (198), it is actually inducing infinitely many relevant operators and resumming over them!
-
•
What are these infinitely many relevant operators and why did we forget about them at our starting point? The operator is actually telling us that, apart from the , there are infinitely many other operators of the form , the scaling dimension (or Coulomb charges) of which are the same, but topological charges are distinct, associated with topological defects with winding number in the semi-classical language.151515For gauge theory on , each monopole instanton has an infinite KK tower associated with it. If we wish to go beyond semi-classics, the above discussion instructs us that we should some over the whole tower.
Let us consider the case, where the effects is most pronounced. The mass gap as a function of angle in this case is given by: 161616In the vicinity of , our construction implies that the mass gap in the model vanishes in a particular way: (199) If one can overcome the sign problem due to angle, it would be nice to check this prediction of our formalism.
(200) |
Let us express as a Fourier series:
(201) |
where the Fourier coefficients are given by:
(202) |
Numerically, we find
(203) |
which suggest that even in the case where the leading order semi-classics is supposed to be at its worst , the numerical error it makes is quite small. In large-, the leading order semi-classics capture the whole result (198).
Our intermediate level Lagrangian (198) is based on leading vertex operators:
(204) |
But renormalization group generates all other (relevant and irrelevant) operators permitted by symmetries. Therefore, we ended up having a theory which describes proliferation of
(205) |
topological defects with Coulomb charge (which determines the relevance), but arbitrary half integer topological charge, , which tells us that these are sourced by topologically distinct defects:
(206) |
There are infinitely many correlated defects, which are relevant in the RG sense. It is natural that these defects generate the non-analytic structure that we see in Coleman’s theta angle dependence (173). These contribution arise from the different columns in the resurgence triangle, see Fig.3 or Ref.Dunne:2012ae associated with .
4.7 at
The semi-classical approximation must be reliable provided where is the characteristic distance between two fractional vortex instanton position . So, close fractional vortex instanton positions in Euclidean set-up benefit from asymptotic freedom, just like close quarks do. In principle, we should not use this formula for .
The good news is, the correlation length of the system (at ) is given by . After summation over fractional vortex instantons and anti-instantons, the would be long distance divergences are cut-off by the Debye length, and the mass gap can be obtained self-consistently.
Now, this may receive an objection as we change . Is it possible that (201) is quantitatively and qualitatively correct for any even when correlation length diverges at ? How seriously should we take the vanishing of the gap at ?
We encounter exactly the same situation in the leading order semi-classics of the deformed Yang-Mills on small , but there, the gaplessness is lifted at second order (see Unsal:2012zj for details). Here, we will reach to a different conclusion due to renormalization group construction applied to defect theory (173). The crucial difference of Coulomb gas in 3d and 2d is that in the former Coulomb gas is always in the plasma phase (with only one known exception Cherman:2017dwt ) while in 2d Coulomb gas, the system has a Kosterlitz-Thouless transition, so both gaplessness and gap are possibilities. See fradkin_2013 , page 320.
This problem is particularly important for anti-ferromagnetic spin chains in 1-dimensional spatial lattice. These systems at low energies are described by non-linear sigma model. Integer spin is described by a sigma model without theta term and half integer spin is described by with , . Haldane’s conjecture Haldane:1983ru states that integer and half-integer spin chains falls into distinct universality classes, and half-integer spin systems are gapless (), while the integer spin systems are gapped (). See also Affleck:1987ch .
Since leading order vertex operators produce zero mass gap at , we would like to understand the role of the second order effect of the form:
(207) |
As we know from resurgence theory, type effects are are two-fold ambiguous, and the ambiguous part cancels the renormalon ambiguity in perturbation theory. Their non-ambiguous part leads to something extremely interesting. It leads to an anomalous dimension for various important operators.
We would like to determine the amplitude of these events, importantly, their signs compared to vertex operators . Consider as . In the presence of background, we have and events. To write the correlated amplitude, we write an integral over the quasi-zero mode Lefschetz thimble. This gives us:
(208) | ||||
(209) |
Again, by resurgent structure Dunne:2012ae ; Behtash:2018voa , ambiguous imaginary parts cancel between Borel resummed perturbation theory and non-perturbative effects. Now, we can write combinations of non-perturbative effects as
(210) | ||||
(211) |
The crucial point is that there is a sign difference between the leading order fractional instanton effects and second order correlated fractional instanton effects.171717This is similar to double-well quantum mechanics. is shifted down by and is shifted up by instanton effects, but remains the same at leading order in semi-classics. However, at second order, correlated events shifts both and up by the same amount. In particle on a circle with unique minimum at , instantons shift the ground state energy down, but both and shift ground state energy up. So, there is a relative sign between instanton effects and correlated instanton effect in purely bosonic theories. In general, however, the amplitude of the two-events is a subtle and deep issue. If we were to consider with Dirac fermions ( is supersymmetric theory), it is possible to show that where is called hidden topological angle Behtash:2015kna that arise from Lefschetz thimble integration. This extra phase is super-important, and is responsible for the vanishing of the ground state energy in supersymmetric theories, see Behtash:2015kna for details. Therefore, we can write the combinations of bion contributions as: where , and . After understanding these non-trivial facts that arise from resurgence theory, we can proceed with abelian bosonization similar to (173). Following almost identical steps with Fradkin’s book fradkin_2013 , we obtain
(212) |
where the first part of the kinetic term is the image of fermion kinetic term, the second part is the image of , which is sourced by neutral bions , and interaction term arise from charged bions . Note that neutral bion contribution produce a non-linearity which effects the dimensions of the charged bion operator, and this effect will be important.
Setting , and defining turns the kinetic term to canonical form. Using , we can write the action as
(213) |
Since
(214) |
the charged bion (doubly charged vertex operator), which was exactly marginal at leading order in semi-classical expansion where , is driven towards irrelevance at second order in semi-classics where . As a result, the theory at is gapless.
4.8 Why is this working? (Improving Polyakov’s optimism with RG)
A source of quantitative error in the formalism is following. The instanton, as we know, has a size moduli, . In the classical theory, which is scale invariant, to determine the single instanton contribution, we end up with the integral
(215) |
which is IR divergent for all . Furthermore, one should not use the one-loop result for the strong scale for since becomes large, but at least, at large- limit, the one-loop result for function becomes exact.
If we go ahead and do a summation over all fractional vortex instanton effects, and construct a grand canonical ensemble of topological defect configurations, we learn that the system induce a finite correlation length . This immediately tells us that one should not extrapolate (215) naively. Instead, we interpret the Debye length as a cut-off, replacing
(216) |
This removes the IR divergent bad domain from integration, see Fig.6. Since , it is impossible to do qualitative error in this way, and the infrared theory for which captures low lying modes is described by the mass deformed WZW (197), where mass deformation is governed by .
The logic of the previous paragraph follows Polyakov, Polyakov:1987ez , Section 6.1. However, in the important case of , the rationale of Polyakov breaks down around where correlation length diverges as .
Should we not trust this result as the bad domain resurfaces in the integration (216)? Is this prediction unreliable? Our claim is otherwise. We should trust it as much as we trust the results. We will prove this by improving Polyakov’s logic with renormalization group.

The and are not independent theories, we are just adding a topological theta angle to the theory. If we did everything right at and constructed the correct long distance theory based on renormalization group of topological defects, why should it fail by turning on a topological angle at ?
Indeed, at , we showed that the vertex operators have dimensions
(217) |
Therefore, unit charge vertex operator has dimension and is highly relevant, are irrelevant, and vertex operator is marginally irrelevant. This construction is certainly valid at where our EFT is self-consistent. The scaling dimensions are independent of angle. If we construct effective theory correctly at , turning on will not change that fact, and despite the fact that , we must obtain the correct results at arbitrary .
The theory does not become gapless at because becomes irrelevant, to the contrary, its is extremely relevant. The theory becomes gapless because of the destructive topological interference between and , and the fact that the vertex operator is marginally irrelevant.
For general theories, we are even safer in our construction. There are only three types of relevant operators in the renormalization group of vertex opetators, (see (193) for a full list)
(218) | ||||
(219) |
and all the rest is irrelevant. Since for and operators, they do not alter the conclusions of operators, we can ignore their effects accepting quantitative error. Since we are after the more modest goal of determining the existence of gap, we hope this is acceptable. Therefore, our demonstration of mass gap for theories on is on a robust footing.
Mass deformed WZW interpretation: Of course, the above statements translate to non-abelian bosonization language nicely (197). The massive field in the mass deformed WZW describe the massive adjoint field and singlet (slightly heavier) field in the spectrum, . In the large- limit, mass deformation has dimension . Double trace operators have . These describe the low lying spectrum of the model, an adjoint and a singlet whose masses are at the strong scale of the theory.
For the case, we need to pay more attention. Let us write
(220) |
in (197). In this case, at , we have a massive triplet and slightly heavier singlet. In fact, as goes from to , the gap between lowest lying triplets and singlet widens, and it becomes fully justified to integrate out the heavy mode. In this case, in the IR, , but this operator disappears from deformed WZW action due to topological interference induced by term. A possible mass term may be generated by the double trace operator, . But this operator has (214) and is marginally irrelevant. Therefore, at , we obtain a gapless triplet and a massive singlet. (Same conclusion for theory are also reached by Affleck in Ref.Affleck:1988wz by different means.)
5 What are we summing over in semiclassics in dYM theory on ?
Deformed Yang-Mills theory is center-symmetry preserving double-trace deformation of the Yang-Mills action on small Unsal:2008ch ; Shifman:2008ja . In the sense of gauge invariant order parameters, it is continuously connected to pure YM on . The deformation allows a calculable (semi-classical) regime in which one can study non-perturbative properties such as confinement, angle dependence, mass gap generation. See Unsal:2007jx ; Unsal:2007vu ; Unsal:2008ch ; Poppitz:2011wy ; Poppitz:2012sw ; Poppitz:2012nz ; Argyres:2012vv ; Argyres:2012ka ; Anber:2011gn ; Anber:2015wha ; Misumi:2014raa ; Cherman:2014ofa ; Poppitz:2008hr ; Aitken:2017ayq ; Thomas:2011ee ; Zhitnitsky:2013hs ; Anber:2017rch ; Itou:2019gtg ; Anber:2013sga ; Kitano:2017jng ; Kan:2019rsz .181818Modeling of Yang-Mills vacuum outside its region of validity of semi-classics is described in Liu:2015jsa ; Liu:2015ufa ; Larsen:2018crg . The construction in this paper provides some retrospective rationale for this study. In particular, the coupling of YM to TQFT proves that fractional topological charge configurations is there even at strong coupling of pure YM theory. There is by now compelling evidence that deformed YM, QCD(F) with twist, , QCD(adj) and a number of other theories on small regime are continuously connected to the corresponding theories on . Recently, Bonati:2018rfg ; Bonati:2019kmf showed by numerical lattice simulations that topological susceptibility at small dYM theory is identical to the one of pure YM theory on large . It is important to recall that in these theories, the circle never has a thermal interpretation in the standard sense Unsal:2007jx .
It should be noted that there also had been important body of work on by using ’t Hooft twisted boundary conditions, pioneered by Gonzalez-Arroyo, Garcia-Perez and van Baal GarciaPerez:1993jw ; GonzalezArroyo:1995zy ; GonzalezArroyo:1995ex ; GonzalezArroyo:1996jp ; Zhitnitsky:1991eg ; GarciaPerez:1992fj ; Bruckmann:2003ag ; GarciaPerez:1999bc ; GarciaPerez:2007ne ; vanBaal:2000zc ; Perez:2010jx ; GarciaPerez:1993ab ; Lebedev:1988wd ; GarciaPerez:1999hs . (See also Witten:1982df ; Witten:2000nv ; Cohen:1983fd for other uses of twisted boundary conditions.) These works, in the small regime, aimed to construct a semi-classical description of the vacuum and confinement mechanism based on ’t Hooft’s fractional topological charge and action configurations. As we emphasized multiple times, ’t Hooft’s original solutions on are constant (space-time independent) and to a certain degree, (apart from its high value in showing that action configuration do exist), are fairly uninteresting. The biggest stumbling block in this program had been the lack of exact analytic non-trivial (spacetime dependent) solution with . However, these authors were able to demonstrate the existence of non-trivial BPS (time dependent) configurations by using lattice techniques, leaving no doubt for their existence, though these works are not sufficiently appreciated. Some semi-classical dynamics due to fractional instantons is understood. (See GonzalezArroyo:1995zy and also vanBaal:2000zc for a review.) It should be noted that these works are prior to the explicit analytical solutions of non-trivial holonomy calorons and their fractionization to constituents. And possible connections between fractional instantons and monopole instantons are partly discussed in GarciaPerez:1999hs ; GarciaPerez:1999bc , but it is not concluded that monopole-instantons live in bundle, a missing link between the two that we filled up in the present work.
Our analysis of Yang-Mills theory on can be viewed in some sense putting the analysis of gauge theories on and in complete agreement. In particular, we are able to do so by proving that the monopole-instanton are actually exact solutions in the bundle. This fulfills a (numerically substantiated) key assumption in the analysis of Gonzalez-Arroyo et. al. Then, we show that by coupling a TQFT to gauge theory, that the configurations with action are also present in the strong coupling domain.
Returning back to studies, despite the fact that the long distance theory of the theories on reduce to 3d theory, the microscopic theory is 4d. The deformed YM and QCD theories on are closer in all respect to their decompactifcation limit on than the theories on limit.191919In fact, even at small-, where , taking , these theories are equivalent to the theories on . In certain sense, effective circle size is and at , for the neutral sector observables (this is the sector singlet under zero-form part of center symmetry), it is fair to interpret this as if there is no compactification. This is called large- volume independence. For example, these theories have theta angle parameters, multi-branch structure, mass gap determined by 4d strong scale, global ABJ anomalies. Very often, they also have the same global and mixed anomalies as the 4d theories Tanizaki:2017qhf ; Cherman:2017dwt ; Sulejmanpasic:2020zfs .
Below, we would like to determine in detail the configurations that contribute to partition function of deformed Yang-Mills in the semi-classical domain in the same spirit as our simple quantum mechanical example. But before that, we would like to provide a quick review of the deformed theory and set the notation.
Quick overview of deformed Yang-Mills: Remembrance of things past
-
•
In pure Yang-Mills theory, center symmetry is broken at small circle size (high-temperature) on Gross:1980br . Center-symmetry can be stabilized at small- by the addition of double-trace operator where denotes Polyakov loop along compact circle. 202020 We refer to non-compact directions as . This convention is more useful when we describe the same set-up with the insertion of ’t Hooft flux. Despite the fact that this term looks non-local, it can arise from local action, e.g. Yang-Mills + (massless or massive) adjoint fermions at small with periodic boundary conditions induce the center stabilization dynamically. See Unsal:2007jx ; Unsal:2008ch ; Shifman:2008ja for details.
-
•
The minimum of the holonomy potential is given by up to Weyl permutations, where . This forces the dynamics to abelianize at small-, and at long distances, the theory is described by maximal abelian sub-group , just in terms of photons. Off-diagonal gluons gets masses .
-
•
There are multiple useful basis to describe the IR physics. The diagonal components of gauge fields and compact scalar can be written as where are canonically normalized gauge fields and . The periodicity of is governed by the root lattice, ,
(221) hence, are periodic variable with period . is the center of Weyl chamber where dynamics completely abelianize.
-
•
We can perform abelian duality Polyakov:1987ez and express the free 3d action as
(222) In most theories, we can also forget about as it is gapped by holonomy potential, and can be dropped in long distance effective field theory. The dual photon field has periodicity determined by weight lattice, .
(223) A useful basis for our purpose is , hence , and are -periodic scalars.
-
•
There are types of the fundamental monopole instantons, and the monopole operators are given by
(224) of these monopoles are the regular ones associated with adjoint Higgsing. The monopole associated with the affine root Lee:1997vp ; Lee:1998bb ; Kraan:1998kp ; Kraan:1998pm ; Kraan:1998sn has the same action with the rest of the simple roots due to compactness of the adjoint scalar or equivalently, due to the fact that Polyakov loop acts as a group valued field at a center-symmetric background. See also Collie:2009iz .
-
•
The sum over all monopole instantons generates an effective potential. The grand canonical ensemble of the monopole gives the partition function:
(225) which leads to a non-perturbative mass gap, finite string tension with N-ality , -branched vacua, and CP breaking at .
-
•
The effective field theory description in in terms monopole-instanton and bion local fields is based on the parametric scale separation between the dual photon and -boson, and is valid provided . However, EFTs can be used to determine some observables, but not all observables. For example, despite the fact that EFT (225) can produce mass gap, string tension with -ality Unsal:2007jx ; Unsal:2008ch ; Polyakov:1975rs , exact value of chiral condensate in SYM Davies:2000nw , it cannot produce string tensions with -ality correctly. Reproducing those require the inclusion of -bosons, which are present in microscopic theory, but not in EFT. We will dwell onto these subtleties a bit more precisely in the conclusion section.
5.1 Mini-space formalism: Global constraints in monopole-instanton sums
A number of issues come to mind with this construction and has been raised over the years.
Configurations contributing to partition function: One is the appearance of in the monopole operator (224) and effective action (225) that arise from a monopole-instanton with topological charge . Yet, if we consider the theory on orientable 4-manifolds, it is well-known that the topological charge is quantized in integer units . Therefore, the configurations that contribute to the partition function must have a theta dependence of the form . How is this compatible with the appearance of in the monopole operators and effective action?
If we compactify the theory on small down to quantum mechanics, , then, in the path integral representation of the partition function , we are supposed to sum over fields that obey periodic boundary conditions. Yet, the presence of a monopole implies that the magnetic flux piercing changes by
(226) |
Such configurations are present in the theory, but just like our quantum mechanical example, they should not contribute to partition function, which is a sum over periodic paths. But of course, despite the fact that these contribution are absent in the sum, most of the non-perturbative low energy phenomena are sourced by them, again just like our QM example.
The image of the issue raised on for the infinite volume theory can be simply described as follows. The magnetic flux at infinity on is a choice of boundary condition. If we choose the flux at infinity to be zero, the net flux from all sources must vanish by Gauss’s law, the only configuration that can contribute to the partition function must satisfy magnetic neutrality at infinity .
Below, we show that the master partition function (225) is aware of these issues and cleverly takes these constraints into account, as mentioned in passing in Tanizaki:2019rbk . We prove in detail that magnetic charge neutrality comes naturally from (225). Furthermore, as a bonus, once magnetic charge neutrality emerges, the topological charge of corresponding configurations become integer quantized. (Opposite is not true, configurations with integer winding number need not be magnetically neutral.) We also note that the points about global neutrality are also emphasized in Diakonov:2007nv ; Diakonov:2010qg , though we disagree with the naming of monopole-instanton as dyon, since it is not an eigenstate of electric charge operator.
Minispace formalism: The path integration over the fields has a zero mode part, the integration over the space of constant (space-time) independent . In this subspace, the measure reduce to an ordinary integral over the fundamental cell of field given in (223),
(227) |
The action over the constant modes reduces to . So, the zero mode integration becomes (set )
(228) | ||||
(229) |
We call mini-space action and mini-space partition function. Using the good basis , we have and , which allows us to easily perform the integration.
(230) | ||||
(231) |
where constraints comes from the integration over the independent field. The solution of the constraints is
(232) |
where . This enforces magnetic neutrality, i.e, magnetic flux at infinity is zero. This constraint tells us that is independent of . Clearly, if is zero, both magnetic neutrality and topological neutrality are guaranteed. But what if , an -independent excess of monopoles over anti-monopoles? In that case, magnetic neutrality is guaranteed thanks to the fact that . Furthermore, when this condition is satisfied, the corresponding configuration has an integer topological charge given by ! Therefore, the mini-space partition function can be written as
(233) |
This elegant formula tells us many interesting things:
-
•
The configurations that contribute to the partition function have fractional actions and integer topological charges:
(234) (235) just like our simple quantum mechanical model.
-
•
Despite the fact that the monopole instantons have fractional topological charge, only their magnetically neutral combinations contribute to the sum. Magnetic neutrality enforces the quantization of topological charge as well. This satisfies the boundary condition at infinity on .
-
•
This construction also holds for any sufficiently large times small . We can think as the infinite volume limit of .
We can decompose mini-space partition function into its Fourier modes , and comparing with (233); we learn that
(236) | ||||
(237) |
where is modified Bessel function. carries the information of all configurations (within the dilute monopole gas approximation) contributing to the topological sector with charge .
Tunneling events that contribute to the partition function are the transitions between pure gauge configurations which differ in the winding number only, just like regular instantons on . Net magnetic flux is zero at infinity, but this does not mean that the corresponding configurations are boring. Instead, each contributing configuration has sub-structure, monopole-instantons.
5.2 Vacuum energy density and multi-branch structure
A final remark is on the -branched vacuum structure of deformed Yang-Mills theory. Monopole induced potential has extrema within the fundamental domain of field given in (223). These are:
(238) |
with and is the Weyl vector. Approximately of these branches are meta-stable for a given value of Aitken:2018mbb . As is varied, the set of meta-stable vacua changes. From this, we can deduce the vacuum energy densities as
(239) |
As a result, we can write the partition function for the theory defined on a -manifold as
(240) |
which can be converted into a fractional instanton sum:
(241) | ||||
(242) | ||||
(243) |
In (243), quantization of topological charge emerges as a result of the constraint, . In this formula, there is no information about magnetic charges of the individual monopole instantons. That information is washed away by the choice of the vacuum branch in (240). At the branch, all monopole operators with non-zero adjoint charge (also called GNO charge) but zero ’t Hooft charge acquire the same vev, Aitken:2018mbb and the information about individual magnetic charges of types of monopoles is lost. In this sense, (233) has more information than (243). It knows that . This naturally implies .
6 Coupling Yang-Mills theory to TQFT
The Lagrangian of Yang-Mills theory is
(244) |
where the second term is properly quantized topological term:
(245) |
YM theory possess a electric one-form symmetry, which acts on Wilson line operators.
To probe the topological configurations in YM theory, we follow the same method as in our quantum mechanics example. We turn on a background gauge field for the 1-form symmetry Kapustin:2014gua ; Gaiotto:2014kfa , introducing pair of 2-form and 1-form gauge fields satisfying
(246) |
The action corresponding to the topological gauge theory is given by
(247) |
where is Lagrange multiplier, and is the discrete theta angle.
To couple the YM theory to the background gauge field , we promote the gauge field into a gauge field . The gauge field is related to dynamical gauge field locally as
(248) |
To gauge , we introduce gauge invariance under the one-form gauge transformation,
(249) |
and hence,
(250) |
In writing theory in a TQFT (equivalently ’t Hooft flux) background, we have to replace field strength with the gauge-invariant combination of the field strength and :
(251) |
The action of the theory in the background can be written as:
(252) |
If we further wish to obtain the partition function of the gauge theory, then, we have to sum over all , valued 2-form gauge fields. Namely,
(253) |
where
(254) |
is the ’t Hooft flux. This partition function is the counter-part of our simple quantum mechanical example (45). For other background fields that one can turn on in Yang-Mills theory, see Wan:2019oyr .
In theory, topological charge is quantized in integer units (245). When we turn on background, the topological term becomes
(255) | ||||
(256) |
fractionally quantized, just like our simple quantum mechanics and examples. In the second line, the first term is integer quantized because is in the bundle. The second term corresponds to ’t Hooft flux background.
Let us now determine the saddles in the theory with non-trivial background, and their actions. The action functional for can be manipulated by using Bogomolny factorization:
(257) | ||||
(258) | ||||
(259) |
The BPS bound is saturated by modified version of the instanton equation in the background:
(260) |
This equation is the counterpart of (35) in QM and (59) in in appropriate backgrounds. Using (256), we see that the action is bounded from below by
(261) |
When we turn on a flux, we are still in theory, just like in our QM example, when we consider the , we are still in the model. If we sum over all backgrounds, we move to gauge theory just like we moved to model in QM.
Formally, in quantum mechanics, it takes the insertion of into the state sum to see explicitly the existence of fractional topological charge saddles. (Intuitively, just looking to the Figures, this is of course obvious.) This enforces the following interpretation. We have to accept that in the theory, saddles with fractional charge and action exist, but they are configuration in the bundle. As such, all it takes is the insertion of a ’t Hooft flux to see these configurations in the bundle in the original theory. Then, we can build configurations in the theory which live in the bundle, which are non-BPS composites of objects in the bundle. Therefore, in exact analogy with our quantum mechanical example, there are topological configurations with fractional action, and integer topological charge. This strongly suggests that the non-perturbative expansion parameter in the theory is , which is exponentially more important than BPST instanton Belavin:1975fg :
(262) |
Remarkably, the picture that emerges in the large 4-manifold is almost identical to our construction of dilute gas of monopole instantons on deformed YM and SYM theory on .
6.1 with ’t Hooft flux and monopole-instantons
We can use the idea of double-trace deformation both in and theory, because the double-trace operator can be viewed as a trace in adjoint representation which belongs to both groups. Therefore, regardless of the existence of center symmetry, in both case, holonomy potential has a minimum at at the center of Weyl chamber. Hence, in both case, dynamics abelianize to maximal abelian subgroup.
The magnetic monopoles that participate to non-perturbative dynamics have magnetic charges in root lattice, , both for and , corresponding to monopole operators (224) in the effective field theory. The distinction between the two is that admits test magnetic charges , which are forbidden in , corresponding to probe operators where are fundamental weights. The magnetically charged operators which are non-trivial under are immediately in bundle, but how about dynamical monopoles which carry ? What is the precise role they play?
Reminder about monopoles: Consider a monopole with charge . Its magnetic field at asymptotic large distances is:
(263) |
where denote the Cartan generators of algebra. For which is a weight of fundamental representation, up to permutations, where . If is in -index representation or adjoint representation, .
Now, consider a sphere surrounding the monopole. The non-abelian gauge connection on the north and south hemisphere patches, corresponding to the above magnetic flux, is given by:
(264) | ||||
(265) |
The two gauge connections are same up to gauge transformation. On a small strip along the equator where the patches overlap, we have
(266) |
where
(268) |
i.e. charge configuration lives in bundle. Concerning charge monopole, which is dynamical in the theory, we have the transition matrix , which is an element of bundle which can lift to bundle. But still, its topological charge is . We discuss its importance below.

Monopole-instantons in the ’t Hooft flux background: In this part, we would like to see the role of monopole-instantons in the non-trivial ’t Hooft flux background which is in the bundle, and determine an analytic solution to (260) when the theory is compactified on large (serving as regularization of ) times a small . First of all, following our construction in quantum mechanics and model, we know that we can undo the background and substitute it with boundary conditions.
Then, we can check if our monopole-instantons are sensible solutions within , fitting with the boundary conditions. We will come to the conclusion that our monopole-instantons with topological charge , action and magnetic charge have an interpretation as tunneling events between configurations in the bundle in the semi-classical domain of the theory.
We can think turning on unit of ’t Hooft magnetic flux in 12-plane, (in -direction), in multiple ways. The simplest way is to start with twisted boundary conditions on , and undo the twist in favor of background fields. Gray band in Fig. 7 is a depiction of such classical background. This flux background exists without any reference to magnetic monopoles. On each slice, we have
(269) |
flux. A useful way to think about it is as follows. Such ’t Hooft flux lines can be viewed as the field line created between magnetic monopoles with charges and , associated with magnetic -ality and . (But recall that such charges are not present in the theory, neither as dynamical object nor as probes. Even if when we gauge the 1-form center symmetry, and move to say theory which is locally equivalent to theory, such monopoles are not present dynamically. They are only allowed as probe charges.) These magnetic flux lines carry a magnetic flux through the 12-surface as well, given by
(270) |
So, we have to think that these flux lines are present and upper and lower plane in 7 are identified despite the fact that charges are not present in the theory.212121In certain sense, we can think of the ’t Hooft magnetic flux sourced by and pair similar to the mythical symbol ouroboros, a snake swallowing its own tail. We can forget about source and sink, and just take the flux lines into consideration. Another useful way to think about the flux line is a non-dynamical center-vortex, see Greensite:2003bk about center-vortices. Indeed, a center-vortex passing through a fundamental Wilson loop in 12-plane contributes to as . All these perspectives are useful once we think about tunneling events in flux backgrounds.
Now, we can give an interpretation of the tunneling events corresponding to dynamical monopole-instantons with charge , in the theory on with unit of magnetic ’t Hooft flux background, see Fig. 7. First, note that the configurations in the can be attached different magnetic flux, corresponding to any representative of the fundamental (defining) representation:
(271) |
The magnetic flux passing through the for these configurations are:
(272) |
Assume that the flux is uniform through the surface of torus .222222One does not need to make this assumption, but it makes the discussion a bit simpler, without sacrificing correctness. The ’t Hooft flux insertion cost an energy, which depends only on . For example, for , it does not matter what magnetic flux out of the list (271) is associated with it. Then for these -configurations, the energy of the corresponding states are exactly degenerate even at finite volume. If , their energies are
(273) |
The tunneling between the flux configurations and changes magnetic flux by simple and affine rooot , but does not change ’t Hooft flux, which is fixed, .
(274) | ||||
(275) |
This change in the magnetic flux is associated with the magnetic charge of the dynamical monopole instantons present in the theory.
6.2 Two types of monopole events, Born-Oppenheimer and QM
One needs to be careful concerning two distinct class of tunneling events in compactified set-up on . These are between
-
Monopole tunneling events between exactly degenerate minima as described above, and
-
Tunnelings that become degenerate only in limit.
The discussion above implies the existence of is different from the discussion of monopole-instantons in the absence of ’t Hooft flux background, for example, in the Polyakov model, see page 226 of Ref.Banks:2008tpa (which is one of the rare textbooks which discusses Polyakov model and Hamiltonian interpretation of the tunneling.) A monopole-instanton in the case of Polyakov model always changes the energy of vacuum state at finite . If is magnetic flux (no summation over ), then the change in energy at finite volume between the zero-magnetic flux state and flux state is:
(276) |
Therefore, at finite volume, these states are not degenerate. Only when the area tends to infinity, the cost of energy becomes vanishingly small.
(277) |
and these states become degenerate with the zero magnetic flux state. These are the perturbative vacua, which only emerge in the limit. The tunneling events between them is the Hamiltonian interpretation of monopole instantons in Polyakov model.
In the presence of ’t Hooft flux background, say , there is a genuine -fold vacuum degeneracy at finite associated with monopoles in the affine root system. The classical degenerate vacua at finite volume are the states . These are the counterpart of our perturbative in our quantum mechanical model. Therefore, in some respect, there are two distinct class of tunneling events in the case of background. For example, starting with the state , tunneling with and takes us to states , and .
(278) | |||
(279) |
where the first type is associated with the exact -fold perturbative degeneracy at finite volume and the latter is associated with the emergent degeneracy as in the Polyakov model.
Since all magnetic flux states except for have high energy in the small limit, within Born-Oppenheimer approximation, the Yang-Mills theory with flux actually reduces to our simple model. The role of the fractional instantons in the QM system is played by monopole-instantons with charge in the Yang-Mills quantum mechanics. This is a concrete and nice correspondence with quantum mechanics and Yang-Mills theory. For example, it allows us to derive the vacuum energy densities for the -branched vacua (240) and fractional theta angle dependence by simple quantum mechanics. However, we are more interested in the large- limit in general.
6.3 What does TQFT background has anything to do with monopoles?
Now, we can consider the partition function just in the background of ’t Hooft flux .
(280) |
This is the exact counter-part of the regular partition function in our model with -degenerate minima. The existence of potential in the QM model is a substitute for the effect of flux in Yang-Mills theory. To determine (280), we have to sum over all periodic configurations, in particular,
(281) |
Therefore, exactly the same constraint that we obtained in the zero flux sector (232) is still operative, and independent of for dynamical monopoles of type . The configurations contributing to the sum must satisfy magnetic neutrality, which automatically impose quantization of the topological charge .
Exactly as in our QM example, where in order to see what contributes to the state sum, we need to look to a transition matrix element, between the states and . This is what is called an electric ’t Hooft flux insertion. Let us make this more explicit.
The form center symmetry of the theory on , upon compactification on , becomes . The states described above are related to each other by a center-transformation, . Insertion of this operator in partition function corresponds to units of electric ’t Hooft flux.
(282) | ||||
(283) | ||||
(284) | ||||
(285) | ||||
(286) |
In the fourth step, we have the boundary conditions corresponding to a transition amplitude:
(287) |
which is the change in the magnetic flux, corresponding to a dynamically allowed monopole event in the root lattice . This is the twisted boundary condition in terms of magnetic flux description. In the last line of (286), we undo the twisted boundary condition into a periodic boundary condition, just like in the simple QM example, and transmute the effect to the background flux. Note that we can also think twisted boundary condition in different ways. In particular, we could have written it more conventionally as . This is equivalent to above. This is because the center transformation acts on the center-symmetric holonomy field as . The action is invariant under this transformation if we act on the fields by appropriate cyclic permutation, e.g, it takes Cherman:2016jtu . This cyclically permutes background magnetic flux, and corresponds to the twisted boundary condition on fourth line. 232323The gauge invariant definition of the photons are (288) where inside trace is the non-abelian gauge field strength. Crucially, counter-part of the adjoint Higgs field is the Polyakov loop. Under a zero-form center transformation, Polyakov loop transforms as . Hence, the photon in the 3d theory, transforms under the center transformation as . The same is also true for the dual photon. Clearly, the monopole operator and the flux states are cyclically shifted, . In other words, the zero-form part of center-symmetry acts like discrete translation symmetry in the model.
The oddity of this result: On , the action and topological charge of the monopole-instantons with magnetic charge is determined by center-symmetric gauge holonomy:
(289) |
This background is quantum mechanically stable in QCD(adj) and can be made stable in Yang-Mills by using the double trace deformation. Minimal action and topological charge in this background is given by
(290) |
On the other hand, it is also well-known that in the non-vanishing ’t Hooft flux background, or equivalently, by coupling YM to TQFT, minimal action and topological charge are also quantized.
(291) |
Clearly, except for the results, these two constructions do not look anything alike. One is the action of a dynamical monopole instanton on the zero ’t Hooft flux background and the other seems to be a property of the classical background associated with 1-form center symmetry. In the latter, there seems to be naively no data of the monopole-instanton, and it is quite tempting that, despite the agreement of the final results, these two construction has nothing to do with one another.
But again, truth is subtler. Let us recap what we did in this section again because it is interesting. On , assume first that center-symmetric background (289) is stabilized. Turning on on part gives us - exactly degenerate minima at the classical level. There are -configurations which carry 1-unit of ’t Hooft flux, but they also carry an orientation, that we labeled by in (271). background is equivalent to a twisted boundary condition . But as we explained above, this amounts to the transition amplitude between and , meaning that the difference of the magnetic flux on the and is just the charge . This is the charge of our dynamical monopole-instanton event. 242424 If the minima for is classically center-broken configurations given in (318), then, the twisted boundary conditions takes to . This gives a dynamics which is different from above. See Appendix A. It would be interesting to understand the connection between these two constructions more precisely.
Now, we realized our promise. To find the relevant saddles of gauge theories, we should first consider either with background gauge field for the 1-form symmetry or theory where is gauged. After finding the configurations in the , we can patch them up to find the ones that can be lifted to theory. These are fractional action (e.g. ) configurations that contribute to the partition function of theory. Indeed, the mini-space formalism that we derived in Sec.5.1 reveals this fact. The construction and effective field theory based on monopole-instantons and bions works in semi-classical weak coupling domain. The fact that non-perturbative effects are controlled by action and topological charge defects is true both in strong coupling domain and weak coupling domain.
We also note that model with an and flux background and Yang-Mills theory on the center-symmetric background with ’t Hooft fluxes maps to identical problems from the point of view of mixed anomalies Yamazaki:2017ulc ; Yamazaki:2017dra . For a general discussion of background field coupling to detect ’t Hooft anomalies of 4d Yang-Mills, and their connection to 2d , see also Wan:2018zql . It is not a coincidence that the combination of (290) and (291) in is same as (105) in .
Monopole-instantons in background: In order to determine the fractional instantons on arbitrary , we are supposed to solve in 4d the BPS equation (260) in the background. If one of the directions is compactified, in one-lower dimension, the background field decomposes as and the monopole instanton equations become
(292) |
However, as we did in quantum mechanics (compare (35) with (36)) and model, we can undo the background and convert it to boundary conditions that the monopole instanton has to satisfy. This is nothing but the regular monopole instanton equations tHooft:1974kcl ; Polyakov:1974ek
(293) |
Our construction tells us that these well-known solutions fits with the ’t Hooft flux boundary conditions and are indeed non-trivial solutions in bundle.
Remarks: Although we phrased the fact that monopole instantons with topological charge and action fits perfectly with the with twisted boundary conditions or bundle, the exact solutions within bundle had historically been a difficult endeavor. In 1981, ’t Hooft showed that some constant abelian solutions that had topological charge and were easy to find, but had total action which never descends below . Then, he found some non-abelian constant solutions that has action , a desired property. Historically, however, it was not easy to determine the time dependent or space-time dependent solutions. Gonzalez-Arroyo et. al. found by simulations on latticized that time-dependent fractional instanton solutions with action exist in the presence of ’t Hooft flux GarciaPerez:1989gt ; GarciaPerez:1992fj ; Montero:2000mv ; GonzalezArroyo:1997uj , see also Gonzalez-Arroyo:2019wpu for recent work. One of our aim in this work was to determine these solutions analytically, and we were able to interpret the well-known monopole-instanton solutions on as non-trivial solutions in the flux background.
6.4 Fractionalization in theory on
The evidence we gather suggest that the fundamentally important configurations in gauge theory are fractional topological charge and fractional action instantons. The fact that such configurations exist is a mathematical statement about classification of the classical configurations, determined by the properties by the bundle. However, one may ask, why such a statement, is not in apparent contradiction with the global chiral symmetry, ABJ anomaly or quantization of topological charge in theories on orientable 4-manifolds ?
Let us consider supersymmetric Yang-Mills theory with gauge group. This model has a chiral symmetry which is broken dynamically to by the formation of fermion-bilinear condensate.
(294) |
leading to isolated supersymmetric vacua Witten:1982df . However, we claim that the classical configurations in this theory should be determined by using bundle. But in a non-trivial flux background (254), the chiral symmetry is reduced to , instead of . Each of these configurations has two exact fermion zero modes. One may ask why the existence of objects with just fermion zero modes is not in contradiction with the ABJ anomaly Bell:1969ts in the theory (with no background turned on). In particular, we expect
(295) |
to be present in the Euclidean vacuum, even when the description of the vacuum is non-semiclassical. Of course, the answer is tied with the fact that only integer topological charge configurations are in the bundle, hence, only such configurations are part of the theory. However, the key point is we can construct configurations out of bundle in different ways. For example,
(296) | ||||
(297) |
are both in the bundle, but not itself. As long as one fractional instanton here (at this spacetime point) has a friend fractional anti-instanton on the dark side of the Moon, the combination lives happily in the bundle. The right hand side in (297) is the first configuration to reduce the chiral symmetry down to in gauge theory. The proliferation of fractional instantons with the global constraint (232) is also capable of breaking the discrete chiral symmetry Davies:2000nw ; Unsal:2007jx at weak coupling.
To see the presence of the fractional events on , let us reverse engineer the fractional instanton sum. Consider a soft mass deformation, of SYM. In this case, the vacuum energy density is modified into at leading order in . The partition function on a four manifold can be written as:
(298) |
where is the strong scale and is the volume of the 4-manifold that the theory is defined. Based on our quantum mechanical example, we can rewrite the partition function as
(299) | ||||
(300) |
A few remarks are in order:
-
•
Individual terms in the sum are sourced by the solution of self-duality equation (260) in the bundle. Minimal configurations have action and topological charge , and they do not contribute to the partition function, but they contribute to physical observables.
-
•
The constraint guarantees that the sum is over integer topological charge configurations which belong to . This is ultimately the reason why the proliferation of fractional instantons with the global constraint (300) is in agreement with ABJ anomaly, and integer quantization of topological charge on 4-manifolds, and is also capable of breaking chiral symmetry dynamically.
-
•
The solutions in bundle has 4 bosonic zero modes, which may perhaps interpreted as the position moduli. may be viewed as the volume of the bosonic moduli. us Pauli-Villars renormalization scale. It appears with the combination where are the numbers of bosonic and fermionic zero modes. The moduli space of an instanton in theory, which has constituents, can be parametrized in terms of 4-position, .
7 Prospects and comments
Theory | -fold classical degeneracy | Partially twisted partition function | Twisted partition function | Minimal topological charge in TQFT background |
---|---|---|---|---|
-twist | ||||
YM | flux |
We developed three parallel constructions, in QM and QFTs. The analogous quantities are listed above. The classical -fold degenerate minima in QM is a consequence of the potential . In it is induced by turning on background for a global symmetry, and in the YM theory, it is induced by turning on background in the 12-plane. The simplest way to realize that these -fold classical degeneracy is not a fiction is to recall that in and YM theory, the vacua at the quantum level is -branched. The classical (as well as all orders perturbative minima) that emerges in the second column is the precursor of that well-know fact. In Yang-Mills, in the 3-direction associated with circle , we may or may not have a center-symmetric holonomy field . Our main application is in center-symmetric background, but the application in the Appendix A is in classically center-broken background. The -fold perturbative degeneracy is independent of that. The generalized partition function in third column is periodic in and it receives contribution only from integer topological charge configurations. The important point is that these configurations can and do have fractional action, which starts with , in the sector. Observables are controlled by . To see these configurations more explicitly, we inspect the fully twisted partition functions, also involving a twist associated with circle (say, the ’t Hooft flux in 34-plane in gauge theory and 12-plane in ). We are free to put all twists as boundary conditions. Alternatively, we can use periodic boundary conditions everywhere, and turn on classical background fields. This is equivalent to coupling the QFT to TQFT, and reveals the true nature of non-perturbative configurations in the original theory without any backgrounds.
Pure Yang-Mills theory on : Coupling YM theory to a TQFT tells us that we need to use bundle to build up configurations in the , which generically possess fractional action. The construction instructs us that non-perturbative expansion parameter in pure Yang-Mills theory is
(301) |
This is exactly like the monopole-instanton factor in deformed Yang-Mills theory on Unsal:2008ch where is Pauli-Villars scale. This parameter is exponentially more important than the 4d instanton amplitude Belavin:1975fg .
QCD and general gauge theory, NP expansion parameter: In his original works, ’t Hooft argues that the twisted boundary conditions cannot be applied to QCD with fundamental quarks as there is no longer a center symmetry. Though the absence of center symmetry is a correct statement, his negative conclusion can can be avoided in two different ways.
-
•
If , we can impose ’t Hooft twisted boundary conditions by turning on first an background. This becomes most efficient for , where we can show that expansion parameter becomes .
-
•
If we turn on background Roberge:1986mm (which is part of genuine vector-like symmetry of the theory), then, we can impose twisted boundary conditions even for . In fact, our construction in is the dual of this idea, where we had gauge structure, and global symmetry, see Sec. 3.1. In 1-flavor QCD, we have gauge structure and global symmetry. In either case, we can impose the same twists. As a result, we were able to turn on ’t Hooft flux in a theory with quarks. Therefore, the expansion parameter is always regardless of matter content of gauge theory.
Renormalization group for topological defects: If is expansion parameter in all QCD-like theories, what distinguishes an asymptotically free IR-CFT from a confining theory which exhibit chiral symmetry breaking and confinement? We need to formulate a renormalization group, similar to Kosterlitz:1974sm ; fradkin_2013 , which tells us relevance vs. irrelevance of defect operators. Indeed, we used such a method at of model to exhibit the irrelevance of doubly-charged vertex operators and show conformality, and to prove the relevance of vertex operators at , and mass gap.
Rethinking deformed Yang-Mills theory on : On , a monopole-instanton possesses four bosonic zero mode. This introduces the Pauli-Villars dependence of the form . The fluctuation operator over the non-zero modes in the background of a monopole gives where is the characteristic size of monopole-instantons, which is the inverse -boson mass, determined by the adjoint Higgsing. The combination of the zero and non-zero modes just gives the expected result, which combines with the exponential to give the 1-loop renormalization group invariant scale,
(302) |
The mass gap on semi-classical domain on is given by:
(303) |
This result is based on a justified effective field theory based on proliferation of monopole-instantons. The merit of this formula is that it captures the angle dependence and existence of mass gap correctly. As mentioned above, is the monopole-instanton size , and semi-classics is reliable provided .
One of the new insights of this work is to recognize that the monopole-instantons can also be interpreted as tunneling events in the bundle, in a fixed ’t Hooft flux sector. See Fig.(7). This may seem a trivial observation, but this interpretation is important, because ’t Hooft himself, in 1981, was only capable of finding constant solutions on on bundle and these solutions required certain ratio of scales in geometry to achieve BPS bound. (He says in his paper, “Considering the difficulty we had in finding them it looked worth-while to publish the result.” tHooft:1981nnx ). After this work, the only non-trivial solutions that has been obtained were via numerical lattice simulations. See Gonzalez-Arroyo:2019wpu for an up to date report.
The fact that monopole-instantons are in bundle makes one wonder if they may be weak coupling reincarnation of configurations with action on arbitrarily large down to . It is tempting to speculate that on , the fractional instantons can produce a gap of the form where is a size moduli of instanton, and can be a real number (not necessarily one as in semi-classical domain) of order one. (Recall that in , we showed that mass gap is of the form .) Very likely, similar to where Debye length provides a self-consistent cut-off over the instanton size moduli (216), there may be a similar mechanism on where is cut-off at order .
k-strings and center-vortices: In pure Yang-Mills, there is only one fundamental string, and -string tensions are determined by -ality of representation of sources in the strong coupling domain. However, in Polyakov model on Polyakov:1987ez and Seiberg-Witten theory on Seiberg:1994rs , there are types of fundamental strings, with different string tensions, astray from the pure Yang-Mills theory (but an unavoidable property of these theories, see e.g. Douglas:1995nw ). In deformed YM, SYM or QCD(adj) on , there is again only one fundamental string tension, just like pure Yang-Mills, thanks to unbroken center symmetry and the absence of elementary adjoint Higgs field Poppitz:2017ivi .
Despite this remarkable fact, it is important to notice that the infrared physics of deformed Yang-Mills theory (as well as Polyakov model Polyakov:1975rs ) cannot be described by just writing an EFT based on proliferation of monopole-instantons, one should keep in mind the existence of -bosons as emphasized Greensite:2016pfc ; Greensite:2003bk . If one forgets -bosons, this would lead to non-zero tension for adjoint or string, which is incorrect, as well as quantitatively incorrect string tensions for .
But fortunately, dynamical -bosons are in the full microscopic theory, and they can easily screen -ality zero sources. There is no doubt that:
-
i)
In the weak coupling semiclassical regime on center-symmetric background, there exists an EFT description in terms monopole-instanton and bion local fields (ie, fields which create local excitations with the quantum numbers of the fractional-instanton along with their fermionic zero modes, and local bion fields). A number of low-energy observables, mass gap, topological susceptibilities, chiral condensates, and -ality (single winding) Wilson loop expectation values are accurately (and sometimes exactly) described by the local EFT based on these topological defects in the semi-classical domain. This is as explicit as it can ever be Aharony:1997bx ; Unsal:2007jx ; Unsal:2008ch ; Davies:2000nw , and there is no doubt of its validity either in supersymmetric or non-supersymmetric theories.
-
ii)
However, to screen the adjoint probes, and to get the right string tensions for , one must keep -bosons in the description, (which we should not call EFT anymore), otherwise these observables will come out to be wrong. In other words, Wilson loops with is not in the set of low-enegy observable that EFT can address correctly.
-
iii)
We do not know a semi-classical effective field theory describing the role of center-vortices, even when a large subset of non-perturbative observables are completely describable in terms of semi-classics and EFT, as in SYM or QCD(adj) on , or Polyakov model on .
The EFT for deformed YM on small center-symmetric regime is based on the parametric separation of scales between the non-perturbative dual photon mass and the -boson mass, , and EFT is valid provided
(304) |
But as we emphasized above, the EFT can be used to determine some observables, but not all observables. For example, it is not capable of producing string tensions or multi-winding loops for some probes. To produce those correctly, we must incorporate into EFT -bosons, the heavy degrees of freedom, which are not part of EFT. Once this is done, one cannot call the combined theory as EFT, better call it microscopic theory. But it has an EFT subsector.
Perhaps, a reasonable proposal is to aim to demonstrate that monopole-instanton + bions + bosons system is equivalent to center-vortices in weak coupling domain. In some ways, it seems like one needs to incorporate -bosons to the description and then, integrate it out. But then, very likely, there will not be a local description. In other words, we suspect that there may not be a local semi-classical EFT description for center-vortices at all.
But we still think that center vortices is a major part of the story, very likely not more or less important than fractional instantons, and the two are possibly intimately connected. There are some other interesting facts about the center-vortices that support this perspective. ’t Hooft magnetic flux background itself is actually a (non-dynamical) center vortex, and dynamical monopole-instanton tunneling events can be viewed as junction on them (See Fig.(7)) and do not change the charge of ’t Hooft background as it has zero ’t Hooft charge. On , the intersection point of center-vortices acts as sourcing topological charge Engelhardt:2010ft , which naturally lives in bundle, and smoothed center-vortex configurations are related to instantons Trewartha:2015ida , which we proved to be composites of fractional instantons with even on large strong coupling domain.
Finally, probably most importantly, when we couple Wilson lattice gauge theory Wilson:1974sk to TQFT, and gauge it, vortices become local minima of the action for any , obviating various restrictions concerning stability of center-vortex configurations Bachas:1982ep ; Greensite:2016pfc . However, one should be careful with the fact that there are multiple lattice theories (with or without magnetic matter), and the one which is locally same as theory should not have magnetic matter charged under magnetic center -ality. We are currently investigating lattice gauge theories (with or without magnetic matter) in order to reveal these connections precisely.
The importance of reparametrization of instanton moduli space: The instanton in gauge theory on has bosonic zero modes and -instantons have moduli parameters. The analogy with the analysis of Refs.Berg:1979uq ; Fateev:1979dc suggest that perhaps, we should parametrize the moduli space of instanton as
(305) |
These are -positions (or quaternions) that we may think as fractional instanton positions.
An intriguing fact that we learned in the course of this work is that the monopole-instantons on are in bundle and come exactly as as we already knew from Unsal:2008ch .
-
•
The non-perturbative expansion parameter in all center symmetric theories in weak coupling domain on is this factor.
-
•
The non-perturbative expansion parameter in the strongly coupled domain on for all theories that admit a coupling to TQFT is the same non-perturbative factor.
It is hard to believe that this is an accident.
The picture we obtain from and suggests something deeper, compliant with the previous paragraph. The instanton solutions of Berg:1979uq ; Fateev:1979dc on do not physically break an instanton into pieces. (Action density and topological density are single lumps for one instanton). It is a reparametrization of the usual solution. The brilliant thing is that the fluctuation determinant in the background of parametrization (136) admits an interpretation as if we are summing over fractional vortex instantons, which carry fractional charge and fractional action, as it appears in (140). To see the fractional instantons explicitly, we need to do an extra work, for example, couple the theory to background (see Dunne:2016nmc for a review), or ’t Hooft flux background, or consider it in non-trivial holonomy background Lee:1997vp ; Lee:1998bb ; Kraan:1998kp ; Kraan:1998pm ; Kraan:1998sn , and then, dial the moduli parameters. For small moduli, one still does not see physical separation, and only for sufficiently large moduli parameters, one sees fractionalization explicitly (see Fig. 5). May be, BPST instanton is far more clever than us, and it hides its deepest secrets inside in its moduli parametrization.
QCD(F) on vs. : Think of QCD with fundamental quarks, on . Turn on a background for the global symmetry , upon which we can couple the system to TQFT. Our claim is that this system should admit topological excitations that are controlled by the action , and these are relevant to real QCD on .
Consider, for example, QCD with flavors on . For concreteness, let us take , but can be made arbitrary. Then, in a center-symmetric background for gauge holonomy, we can also turn on an as in (91). Then, we have monopoles with action . of the monopoles do not have a fermi zero mode (call this set ) and of them have 2 fermi zero modes each (call this set ). This is the set-up introduced in Cherman:2016hcd ; Cherman:2017dwt to explain the transmutation of dependence in flavor QCD to the in pure Yang-Mills as the fermions are decoupled by increasing their masses.
Monopole instantons on each has 4 bosonic zero modes, 3 position and one angular. Perhaps, in the light of our intentions, it is wise to denote . Monopole instantons on each has 4 bosonic zero modes, 3 position and one angular, and 2 fermi zero modes.
Then, the measure, in the background of the monopole instantons, which amounts to the calculation of pre-exponential factor, takes the form:
(311) |
where is the fluctuation operator over non-zero modes, which also induces -scale dependence.
(312) | ||||
(313) |
The part of this expression involving Pauli-Villars scales and how it combines to produce renormalization group invariant strong scale by combining constituent looks like an elegant conspiracy. The standard calculations of the pre-exponential factor for a BPST instanton (in the standard parametrization) can be found in NSVZ review Vainshtein:1981wh .
It is very tempting that the structure above arises in when QCD(F) is considered on background and the theory is coupled to a TQFT. We suspect that in the decompactification to , type factors on will be replaced by combinations such as , , or . Once we consider original QCD on , we should probably inspect proliferation of the fractional instantons which should appear in a way similar to monopole-instantons do on . They must obey the global constraints similar to monopole-instantons, and we should see if one can obtain a self-consistent construction of QCD vacuum for general .
Acknowledgements.
I am deeply grateful to Aleksey Cherman, Yuya Tanizaki, Tin Sulejmanpasic for many discussions at odd hours. I am also thankful to Margarita Garcia Perez, Thomas Schäfer, Patrick Draper, Mohamed Anber, Gerald Dunne, Tony Gonzalez-Arroyo, Mikhail Shifman, David Gross, Philip Argyres, Rob Pisarski, Pierre van Baal for past discussions. Although I have not met with Polyakov in person, I am thankful to him for his unpretentious beautiful book. My work is supported by the U.S. Department of Energy, Office of Science, Division of Nuclear Physics under Award DE-SC0013036.Appendix A Yang-Mills with flux on lattice vs. model
Let us consider a 4d lattice gauge theory with discrete space and continuous time, . Then, to reduce the model to simple quantum mechanics, we take in the same spirit with the twisted Eguchi-Kawai model GonzalezArroyo:1982ub ; GonzalezArroyo:1982hz ; GonzalezArroyo:2010ss , by employing twisted boundary conditions, but we do not take the large- limit.
We consider -site theory with Lagrangian
(314) |
in the gauge. In path integral, we assume that obey ’t Hooft twisted boundary conditions on the lattice.
(315) |
Consistency at, e.g. requires (recall ):
(316) |
where is flux mod . Since lattice is only 1-site, this forces the transitions matrices to be independent of space coordinates. This actually leads to subtle and important differences between an arbitrarily small continuum theory and theory. In the former, the transition matrices are allowed to depend on spacetime, but not in the latter, and this has consequences.
Undoing the twisted boundary conditions in favor of a classical background field, we end up with the flux in the face and the matrix model becomes
(317) |
where path integral over the field is periodic both in time and space direction (which is reduced to 1-site).
Let us describe the classical minima of this system. The minimum of the modified commutator (take ) is , , where and are clock and shift matrices. The minima of the action correspond to the values of which commutes both with and . Since and are generators of algebra, the only matrix that commutes with both is proportional to identity. Since lives in , the minima are
(318) |
Therefore, the classical system for the sector has -minima, corresponding to center broken configurations. This is analogous to our discussion on large- where we showed that the sector was also -fold degenerate, see (273). Of course, in quantum mechanics, center symmetry cannot break spontaneously due to tunneling effects at any finite-.
How do we describe the tunneling between these minima? Let us take of the form
(319) |
Then, the (classical) potential can be expressed as
(320) |
Despite the fact that this potential looks like Gross-Pisarski-Yaffe (GPY) type potentials for gauge holonomy Gross:1980br , this is superficial and they are fundamentally different. The GPY type-potentials is a quantum effect, starting at 1-loop order as . However, (320) is classical, not quantum. It is induced by the presence of classical ’t Hooft flux background. As a result, for example, if one examines instantons in the theory with flux, their action is since they arise from classical action. In contrast, if one examines tunneling on small without flux, the action is of the form , because these configurations arise from the balancing of classical actions against quantum induced potential, see eg. vanBaal:1986ag ; Luscher:1982ma .
To describe these tunnelings, one can take simple ansatz for
(321) |
Then, the Lagrangian becomes
(322) |
where . This is nothing but our model, with the distinction that the mass of the particle, instead of being set to one, is now .
The remnant of the center-symmetry (which becomes 0-form symmetry on ) is just or equivalently, acting on coordinate as a shift symmetry , i.e., the part of center-symmetry which acts on non-trivially becomes the shift symmetry of the model. To reveal the fractional instantons in the background of ’t Hooft flux, we can proceed exactly as in our QM example.
We can build the fractional instanton events by considering the transition amplitudes between the minima which are units apart. Hamiltonian now is the one corresponding to (322) or more microscopically, (317), where already has the magnetic flux data, so we call it . So, the quantity we are calculating is
(323) |
which forces twisted boundary condition in by unit, .
These fractional instantons are the ones in the theory with ’t Hooft flux, . They describe tunneling events in our matrix model. Roughly, and . Despite the fact that these are reasonable fractional instanton events in the 1-site model, they do not provide a description of the fractional instantons in continuum theory on small in the presence of ’t Hooft flux. For once, their action is . In fact, at this stage, we are facing a problem that ’t Hooft faced in a time independent continuum version of this problem tHooft:1981nnx where the simple solutions he found did have an action which did not descend below . (The problem in tHooft:1981nnx is fixed by introducing space-time dependent transition matrices.) In our case as well, this is an artifact of 1-site model, and the fact that we are restricting to space-independent transition functions. Our continuum formulations tells us that even at arbitrarily small volume , there exist configurations which saturate BPS bound, and this is consistent with lattice simulations on where Gonzalez-Arroyo:2019wpu ; Montero:2000mv .
Appendix B Aside: How to fix merons in ?
Both instanton Polyakov:1975yp and smooth fractional instanton solutions (in the or flux background) Bruckmann:2007zh ; Dunne:2012ae have aspects in sharp contrast with meron configurations Gross:1977wu . But clearly they look quite alike as shown in Figure below, where horizontal axis is the angular coordinate on in Fig.4. Let us try to make some sense out of this situation for .

1) For merons, configurations, action densities, and topological charge densities are either piece-wise continuous or discontinuous, and they possess logarithmically divergent action Gross:1977wu ; Callan:1977gz ; Callan:1977qs .
2) Instantons are smooth single lump solutions Polyakov:1975yp . On the other hand, the parametrization of Refs.Berg:1979uq ; Fateev:1979dc , the determinant of fluctuation operator gives a precise mathematical description as if these single lumps ought to be interpreted as composites of fractional vortex instantons, despite the fact that an instanton does not physically fractionate to two pieces. Gross uses this parametrization even earlier and shows that the interaction between the instanton and anti-instanton is a dipole-dipole interaction in in Gross:1977wu . The two are consistent.
3) The solutions in Bruckmann:2007zh ; Dunne:2012ae are generalization of Ref. Polyakov:1975yp to the background, and it physically fractionates an instanton into pieces. If we want to single out a fractional instanton, we need to insert a flux, and this will guarantee a configuration with . These configurations are smooth and finite action, unlike merons.
If we superficially smoothen the meron, as suggested by Gross Gross:1977wu , that is close enough to exact analytic solutions in the background Bruckmann:2007zh ; Dunne:2012ae . What is called the logarithmically divergent action of meron pair is the logarithmic Coulomb interaction between the fractional vortex instantons. This also arise from exact computation of the determinant of the fluctuation operator Berg:1979uq ; Fateev:1979dc .
Meron idea is not generalized correctly to gauge theories and with Gross:1977wu ; Callan:1977gz ; Callan:1977qs . The difficulty is in the motto “meron= half-instanton”. For a given , the fractionalization (in center-symmetric holonomy background, or or TQFT background) is always into constituents, not more, not less! Given this fact, it seems very worthwhile to revisit the idea.
’t Hooft long time ago came up with a bundle construction, to figure out configurations with topological charge and action . He was only able to find some exact, but uninteresting constant configurations on . To be fair to him, one should state that no one was able to find non-trivial (space-time dependent) solutions in bundle up to date analytically! Numerically, they are proven to exist in GarciaPerez:1989gt ; GarciaPerez:1992fj ; Montero:2000mv . In this work, we interpreted monopole-instanton solutions as configurations in the bundle with action on and this is a concrete realization of (another) long sought dream of ’t Hooft.
’t Hooft asserts that his idea of configurations with topological charge are important for the confinement and mass gap problem, but not merons or instantons tHooft:1977nqb . But at least for or , these two ideas (with enough cosmetic changes) are actually the same. (I suspect both of them would think otherwise, hopefully up until today.) The correct part of the meron idea in is the “constituents” that interact with each other via long range logarithmic interactions.
Probably, the strangest insight that our work brings is following. Despite the naming “fractionalization”, a physical fractionalization of action density may or may not take place. Physical fractionalization of a lump is only achieved by turning on appropriate background field. Yet, the clever parametrization of moduli space (136) tells us that mathematically, the moduli parameters acts as if they are the positions of fractional vortex instantons. This is in some sense, can be viewed as fractionalization without fractionalization.
Sometimes, it takes long time to figure out truth in a wild dream Gross:1977wu , and utility of a formal construction tHooft:1977nqb , perhaps, because the truth lives somewhere in between.
References
- (1) S. Gukov and A. Kapustin, “Topological Quantum Field Theory, Nonlocal Operators, and Gapped Phases of Gauge Theories,” arXiv:1307.4793 [hep-th].
- (2) A. Kapustin and N. Seiberg, “Coupling a QFT to a TQFT and Duality,” JHEP 04 (2014) 001, arXiv:1401.0740 [hep-th].
- (3) D. Gaiotto, A. Kapustin, Z. Komargodski, and N. Seiberg, “Theta, Time Reversal, and Temperature,” JHEP 05 (2017) 091, arXiv:1703.00501 [hep-th].
- (4) S. Elitzur, “Impossibility of Spontaneously Breaking Local Symmetries,” Phys. Rev. D 12 (1975) 3978–3982.
- (5) A. Behtash, G. V. Dunne, T. Schaefer, T. Sulejmanpasic, and M. Ünsal, “Critical Points at Infinity, Non-Gaussian Saddles, and Bions,” JHEP 06 (2018) 068, arXiv:1803.11533 [hep-th].
- (6) G. ’t Hooft, “A Property of Electric and Magnetic Flux in Nonabelian Gauge Theories,” Nucl. Phys. B153 (1979) 141–160.
- (7) G. ’t Hooft, “On the phase transition towards permanent quark confinement,” Nucl.Phys.B 138 (1978) 1–25.
- (8) A. M. Polyakov and A. Belavin, “Metastable States of Two-Dimensional Isotropic Ferromagnets,” JETP Lett. 22 (1975) 245–248.
- (9) A. A. Belavin, A. M. Polyakov, A. S. Schwartz, and Yu. S. Tyupkin, “Pseudoparticle Solutions of the Yang-Mills Equations,” Phys. Lett. B59 (1975) 85–87.
- (10) G. V. Dunne and M. Unsal, “New Nonperturbative Methods in Quantum Field Theory: From Large-N Orbifold Equivalence to Bions and Resurgence,” Ann. Rev. Nucl. Part. Sci. 66 (2016) 245–272, arXiv:1601.03414 [hep-th].
- (11) G. V. Dunne and M. Unsal, “Resurgence and Trans-series in Quantum Field Theory: The CP(N-1) Model,” JHEP 11 (2012) 170, arXiv:1210.2423 [hep-th].
- (12) M. Unsal, “Magnetic bion condensation: A New mechanism of confinement and mass gap in four dimensions,” Phys. Rev. D80 (2009) 065001, arXiv:0709.3269 [hep-th].
- (13) M. Unsal, “Abelian duality, confinement, and chiral symmetry breaking in QCD(adj),” Phys. Rev. Lett. 100 (2008) 032005, arXiv:0708.1772 [hep-th].
- (14) M. Unsal and L. G. Yaffe, “Center-stabilized Yang-Mills theory: Confinement and large N volume independence,” Phys. Rev. D78 (2008) 065035, arXiv:0803.0344 [hep-th].
- (15) M. Shifman and M. Unsal, “QCD-like Theories on R(3) x S(1): A Smooth Journey from Small to Large r(S(1)) with Double-Trace Deformations,” Phys. Rev. D78 (2008) 065004, arXiv:0802.1232 [hep-th].
- (16) B. Berg and M. Luscher, “Computation of Quantum Fluctuations Around Multi-Instanton Fields from Exact Green’s Functions: The CP**n-1 Case,” Commun. Math. Phys. 69 (1979) 57.
- (17) V. Fateev, I. Frolov, and A. Shvarts, “Quantum Fluctuations of Instantons in the Nonlinear Sigma Model,” Nucl. Phys. B 154 (1979) 1–20.
- (18) J. Kosterlitz, “The Critical properties of the two-dimensional x y model,” J. Phys. C 7 (1974) 1046–1060.
- (19) J. M. Kosterlitz and D. J. Thouless, “Ordering, metastability and phase transitions in two-dimensional systems,” J. Phys. C6 (1973) 1181–1203. [,349(1973)].
- (20) S. Coleman, Aspects of Symmetry: Selected Erice Lectures. Cambridge University Press, reprint ed., 2, 1988.
- (21) A. I. Vainshtein, V. I. Zakharov, V. A. Novikov, and M. A. Shifman, “ABC’s of Instantons,” Sov. Phys. Usp. 25 (1982) 195. [Usp. Fiz. Nauk136,553(1982)].
- (22) T. Schäfer and E. V. Shuryak, “Instantons in QCD,” Rev. Mod. Phys. 70 (1998) 323–426, arXiv:hep-ph/9610451.
- (23) M. Mariño, Instantons and Large N: An Introduction to Non-Perturbative Methods in Quantum Field Theory. Cambridge University Press, 9, 2015.
- (24) C. G. Callan, Jr., R. F. Dashen, and D. J. Gross, “Toward a Theory of the Strong Interactions,” Phys. Rev. D17 (1978) 2717.
- (25) D. J. Gross, “Meron Configurations in the Two-Dimensional O(3) Sigma Model,” Nucl. Phys. B132 (1978) 439–456.
- (26) J. Callan, Curtis G., R. F. Dashen, and D. J. Gross, “A Mechanism for Quark Confinement,” Phys. Lett. B 66 (1977) 375–381.
- (27) G. ’t Hooft, “Some Twisted Selfdual Solutions for the Yang-Mills Equations on a Hypertorus,” Commun. Math. Phys. 81 (1981) 267–275.
- (28) P. van Baal, “Some Results for SU(N) Gauge Fields on the Hypertorus,” Commun. Math. Phys. 85 (1982) 529.
- (29) E. Witten, “Constraints on Supersymmetry Breaking,” Nucl. Phys. B202 (1982) 253.
- (30) M. Garcia Perez, A. Gonzalez-Arroyo, and B. Soderberg, “Minimum Action Solutions for SU(2) Gauge Theory on the Torus With Nonorthogonal Twist,” Phys. Lett. B235 (1990) 117–123.
- (31) M. Garcia Perez and A. Gonzalez-Arroyo, “Numerical study of Yang-Mills classical solutions on the twisted torus,” J. Phys. A26 (1993) 2667–2678, arXiv:hep-lat/9206016 [hep-lat].
- (32) M. Garcia Perez, A. Gonzalez-Arroyo, and P. Martinez, “From perturbation theory to confinement: How the string tension is built up,” Nucl. Phys. B Proc. Suppl. 34 (1994) 228–230, arXiv:hep-lat/9312066.
- (33) A. Gonzalez-Arroyo and P. Martinez, “Investigating Yang-Mills theory and confinement as a function of the spatial volume,” Nucl. Phys. B 459 (1996) 337–354, arXiv:hep-lat/9507001.
- (34) A. Gonzalez-Arroyo, P. Martinez, and A. Montero, “Gauge invariant structures and confinement,” Phys. Lett. B 359 (1995) 159–165, arXiv:hep-lat/9507006.
- (35) A. Gonzalez-Arroyo and A. Montero, “Do classical configurations produce confinement?,” Phys. Lett. B 387 (1996) 823–828, arXiv:hep-th/9604017.
- (36) A. Montero, “Numerical analysis of fractional charge solutions on the torus,” JHEP 05 (2000) 022, arXiv:hep-lat/0004009 [hep-lat].
- (37) A. Gonzalez-Arroyo, “Yang-Mills fields on the four-dimensional torus. Part 1.: Classical theory,” in Nonperturbative quantum field physics. Proceedings, Advanced School, Peniscola, Spain, June 2-6, 1997, pp. 57–91. 1997. arXiv:hep-th/9807108 [hep-th].
- (38) A. González-Arroyo, “Constructing SU(N) fractional instantons,” JHEP 02 (2020) 137, arXiv:1910.12565 [hep-th].
- (39) M. Luscher, “Some Analytic Results Concerning the Mass Spectrum of Yang-Mills Gauge Theories on a Torus,” Nucl. Phys. B 219 (1983) 233–261.
- (40) P. van Baal and J. Koller, “QCD on a Torus and Electric Flux Energies From Tunneling,” Annals Phys. 174 (1987) 299.
- (41) P. van Baal, “QCD in a finite volume,” arXiv:hep-ph/0008206.
- (42) T. Eguchi and H. Kawai, “Reduction of Dynamical Degrees of Freedom in the Large N Gauge Theory,” Phys. Rev. Lett. 48 (1982) 1063.
- (43) G. Bhanot, U. M. Heller, and H. Neuberger, “The Quenched Eguchi-Kawai Model,” Phys. Lett. 113B (1982) 47–50.
- (44) J. Kiskis, R. Narayanan, and H. Neuberger, “Does the crossover from perturbative to nonperturbative physics in QCD become a phase transition at infinite N?,” Phys. Lett. B 574 (2003) 65–74, arXiv:hep-lat/0308033.
- (45) A. Gonzalez-Arroyo and M. Okawa, “Large reduction with the Twisted Eguchi-Kawai model,” JHEP 07 (2010) 043, arXiv:1005.1981 [hep-th].
- (46) E. Witten, “Large N Chiral Dynamics,” Annals Phys. 128 (1980) 363.
- (47) M. Ünsal, “TQFT at work for IR-renormalons, resurgence and Lefschetz decomposition,” arXiv:2106.14971 [hep-th].
- (48) M. Unsal, “Theta dependence, sign problems and topological interference,” Phys. Rev. D 86 (2012) 105012, arXiv:1201.6426 [hep-th].
- (49) Y. Kikuchi and Y. Tanizaki, “Global inconsistency, ’t Hooft anomaly, and level crossing in quantum mechanics,” Prog. Theor. Exp. Phys. 2017 (2017) 113B05, arXiv:1708.01962 [hep-th].
- (50) A. Cherman, D. Dorigoni, and M. Unsal, “Decoding perturbation theory using resurgence: Stokes phenomena, new saddle points and Lefschetz thimbles,” JHEP 10 (2015) 056, arXiv:1403.1277 [hep-th].
- (51) J. Zinn-Justin, “Quantum field theory and critical phenomena,” Int. Ser. Monogr. Phys. 113 (2002) 1–1054.
- (52) Y. Tanizaki, T. Misumi, and N. Sakai, “Circle compactification and ’t Hooft anomaly,” JHEP 12 (2017) 056, arXiv:1710.08923 [hep-th].
- (53) T. Fujimori, S. Kamata, T. Misumi, M. Nitta, and N. Sakai, “Exact resurgent trans-series and multibion contributions to all orders,” Phys. Rev. D95 no. 10, (2017) 105001, arXiv:1702.00589 [hep-th].
- (54) T. Fujimori, S. Kamata, T. Misumi, M. Nitta, and N. Sakai, “Bion non-perturbative contributions versus infrared renormalons in two-dimensional models,” JHEP 02 (2019) 190, arXiv:1810.03768 [hep-th].
- (55) K. Ishikawa, O. Morikawa, A. Nakayama, K. Shibata, H. Suzuki, and H. Takaura, “Infrared renormalon in the supersymmetric model on ,” arXiv:1908.00373 [hep-th].
- (56) T. Misumi, M. Nitta, and N. Sakai, “Neutral bions in the model,” JHEP 06 (2014) 164, arXiv:1404.7225 [hep-th].
- (57) T. Misumi, T. Fujimori, E. Itou, M. Nitta, and N. Sakai, “Lattice study on the twisted models on ,” in 37th International Symposium on Lattice Field Theory. 11, 2019. arXiv:1911.07398 [hep-lat].
- (58) M. Eto, Y. Isozumi, M. Nitta, K. Ohashi, and N. Sakai, “Instantons in the Higgs phase,” Phys. Rev. D 72 (2005) 025011, arXiv:hep-th/0412048.
- (59) M. Eto, Y. Isozumi, M. Nitta, K. Ohashi, and N. Sakai, “Solitons in the Higgs phase: The Moduli matrix approach,” J. Phys. A39 (2006) R315–R392, arXiv:hep-th/0602170 [hep-th].
- (60) M. Eto, T. Fujimori, Y. Isozumi, M. Nitta, K. Ohashi, K. Ohta, and N. Sakai, “Non-Abelian vortices on cylinder: Duality between vortices and walls,” Phys. Rev. D73 (2006) 085008, arXiv:hep-th/0601181 [hep-th].
- (61) W. Brendel, F. Bruckmann, L. Janssen, A. Wipf, and C. Wozar, “Instanton constituents and fermionic zero modes in twisted CP**n models,” Phys. Lett. B 676 (2009) 116–125, arXiv:0902.2328 [hep-th].
- (62) F. Bruckmann, “Instanton constituents in the O(3) model at finite temperature,” Phys. Rev. Lett. 100 (2008) 051602, arXiv:0707.0775 [hep-th].
- (63) E. Witten, “Instantons, the Quark Model, and the 1/n Expansion,” Nucl.Phys. B149 (1979) 285.
- (64) G. V. Dunne, Y. Tanizaki, and M. Ünsal, “Quantum Distillation of Hilbert Spaces, Semi-classics and Anomaly Matching,” JHEP 08 (2018) 068, arXiv:1803.02430 [hep-th].
- (65) A. Cherman, S. Sen, M. Unsal, M. L. Wagman, and L. G. Yaffe, “Order parameters and color-flavor center symmetry in QCD,” Phys. Rev. Lett. 119 no. 22, (2017) 222001, arXiv:1706.05385 [hep-th].
- (66) A. Polyakov, Gauge Fields and Strings (Mathematical Reports,). CRC Press, 1 ed., 9, 1987.
- (67) T. Sulejmanpasic, “Global Symmetries, Volume Independence, and Continuity in Quantum Field Theories,” Phys. Rev. Lett. 118 no. 1, (2017) 011601, arXiv:1610.04009 [hep-th].
- (68) A. D’Adda, M. Luscher, and P. Di Vecchia, “A 1/n Expandable Series of Nonlinear Sigma Models with Instantons,” Nucl. Phys. B 146 (1978) 63–76.
- (69) E. Vicari and H. Panagopoulos, “Theta dependence of SU(N) gauge theories in the presence of a topological term,” Phys. Rept. 470 (2009) 93–150, arXiv:0803.1593 [hep-th].
- (70) A. M. Polyakov, “Compact Gauge Fields and the Infrared Catastrophe,” Phys. Lett. B59 (1975) 82–84.
- (71) S. R. Coleman, “More About the Massive Schwinger Model,” Annals Phys. 101 (1976) 239.
- (72) G. ’t Hooft, “Can We Make Sense Out of Quantum Chromodynamics?,” Subnucl. Ser. 15 (1979) 943.
- (73) G. Munster, “On the Statistical Mechanics of Dense Instanton Gases,” Z. Phys. C 12 (1982) 43.
- (74) A. Bukhvostov and L. Lipatov, “Instanton - Anti-instanton Interaction in the O(3) Nonlinear Model and an Exactly Soluble Fermion Theory,” Pisma Zh. Eksp. Teor. Fiz. 31 (1980) 138–142.
- (75) T. Misumi, Y. Tanizaki, and M. Ünsal, “Fractional angle, ’t Hooft anomaly, and quantum instantons in charge- multi-flavor Schwinger model,” JHEP 07 (2019) 018, arXiv:1905.05781 [hep-th].
- (76) S. R. Coleman, “The Quantum Sine-Gordon Equation as the Massive Thirring Model,” Phys. Rev. D11 (1975) 2088.
- (77) A. V. Smilga, “On the fermion condensate in Schwinger model,” Phys. Lett. B278 (1992) 371–376.
- (78) J. E. Hetrick, Y. Hosotani, and S. Iso, “The Massive multi - flavor Schwinger model,” Phys. Lett. B350 (1995) 92–102, arXiv:hep-th/9502113 [hep-th].
- (79) Y. Hosotani and R. Rodriguez, “Bosonized massive N flavor Schwinger model,” J. Phys. A 31 (1998) 9925–9955, arXiv:hep-th/9804205.
- (80) K. Wamer and I. Affleck, “Mass generation by fractional instantons in SU() chains,” arXiv:2001.09114 [cond-mat.str-el].
- (81) Y. Tanizaki and T. Sulejmanpasic, “Anomaly and global inconsistency matching: -angles, nonlinear sigma model, chains and its generalizations,” Phys. Rev. B98 no. 11, (2018) 115126, arXiv:1805.11423 [cond-mat.str-el].
- (82) E. Witten, “Nonabelian Bosonization in Two-Dimensions,” Commun. Math. Phys. 92 (1984) 455–472. [,201(1983)].
- (83) A. M. Polyakov and P. B. Wiegmann, “Theory of Nonabelian Goldstone Bosons,” Phys. Lett. B131 (1983) 121–126. [,195(1983)].
- (84) A. M. Polyakov and P. B. Wiegmann, “Goldstone Fields in Two-Dimensions with Multivalued Actions,” Phys. Lett. 141B (1984) 223–228.
- (85) A. Cherman and M. Unsal, “Critical behavior of gauge theories and Coulomb gases in three and four dimensions,” arXiv:1711.10567 [hep-th].
- (86) E. Fradkin, Field Theories of Condensed Matter Physics. Cambridge University Press, 2 ed., 2013.
- (87) F. D. M. Haldane, “Nonlinear field theory of large spin Heisenberg antiferromagnets. Semiclassically quantized solitons of the one-dimensional easy Axis Neel state,” Phys. Rev. Lett. 50 (1983) 1153–1156.
- (88) I. Affleck and F. D. M. Haldane, “Critical Theory of Quantum Spin Chains,” Phys. Rev. B36 (1987) 5291–5300.
- (89) A. Behtash, T. Sulejmanpasic, T. Schafer, and M. Ünsal, “Hidden topological angles and Lefschetz thimbles,” Phys. Rev. Lett. 115 no. 4, (2015) 041601, arXiv:1502.06624 [hep-th].
- (90) I. Affleck, “Critical Behavior of SU() Quantum Chains and Topological Nonlinear Models,” Nucl. Phys. B305 (1988) 582–596.
- (91) E. Poppitz and M. Unsal, “Seiberg-Witten and ’Polyakov-like’ magnetic bion confinements are continuously connected,” JHEP 07 (2011) 082, arXiv:1105.3969 [hep-th].
- (92) E. Poppitz, T. Schäfer, and M. Ünsal, “Continuity, Deconfinement, and (Super) Yang-Mills Theory,” JHEP 10 (2012) 115, arXiv:1205.0290 [hep-th].
- (93) E. Poppitz, T. Schäfer, and M. Ünsal, “Universal mechanism of (semi-classical) deconfinement and theta-dependence for all simple groups,” JHEP 03 (2013) 087, arXiv:1212.1238 [hep-th].
- (94) P. Argyres and M. Unsal, “A semiclassical realization of infrared renormalons,” Phys. Rev. Lett. 109 (2012) 121601, arXiv:1204.1661 [hep-th].
- (95) P. C. Argyres and M. Unsal, “The semi-classical expansion and resurgence in gauge theories: new perturbative, instanton, bion, and renormalon effects,” JHEP 08 (2012) 063, arXiv:1206.1890 [hep-th].
- (96) M. M. Anber, E. Poppitz, and M. Unsal, “2d affine xy-spin model/4d gauge theory duality and deconfinement,” JHEP 04 (2012) 040, arXiv:1112.6389 [hep-th].
- (97) M. M. Anber and E. Poppitz, “On the global structure of deformed Yang-Mills theory and QCD(adj) on ,” JHEP 10 (2015) 051, arXiv:1508.00910 [hep-th].
- (98) T. Misumi and T. Kanazawa, “Adjoint QCD on with twisted fermionic boundary conditions,” JHEP 06 (2014) 181, arXiv:1405.3113 [hep-ph].
- (99) E. Poppitz and M. Unsal, “Index theorem for topological excitations on R**3 x S**1 and Chern-Simons theory,” JHEP 03 (2009) 027, arXiv:0812.2085 [hep-th].
- (100) K. Aitken, A. Cherman, E. Poppitz, and L. G. Yaffe, “QCD on a small circle,” Phys. Rev. D96 no. 9, (2017) 096022, arXiv:1707.08971 [hep-th].
- (101) E. Thomas and A. R. Zhitnitsky, “Topological Susceptibility and Contact Term in QCD. A Toy Model,” Phys. Rev. D85 (2012) 044039, arXiv:1109.2608 [hep-th].
- (102) A. R. Zhitnitsky, “QCD as a topologically ordered system,” Annals Phys. 336 (2013) 462–481, arXiv:1301.7072 [hep-ph].
- (103) M. M. Anber and A. R. Zhitnitsky, “Oblique Confinement at in weakly coupled gauge theories with deformations,” Phys. Rev. D 96 no. 7, (2017) 074022, arXiv:1708.07520 [hep-th].
- (104) E. Itou, “Resurgence and fractional instanton of the SU() gauge theory in weak coupling regime,” PoS LATTICE2019 (10, 2019) 014, arXiv:1910.12425 [hep-lat].
- (105) M. M. Anber, “ dependence of the deconfining phase transition in pure Yang-Mills theories,” Phys. Rev. D 88 no. 8, (2013) 085003, arXiv:1302.2641 [hep-th].
- (106) R. Kitano, T. Suyama, and N. Yamada, “ in gauge theories,” JHEP 09 (2017) 137, arXiv:1709.04225 [hep-th].
- (107) N. Kan, R. Kitano, S. Yankielowicz, and R. Yokokura, “From 3d dualities to hadron physics,” arXiv:1909.04082 [hep-th].
- (108) Y. Liu, E. Shuryak, and I. Zahed, “Light quarks in the screened dyon-antidyon Coulomb liquid model. II.,” Phys. Rev. D 92 no. 8, (2015) 085007, arXiv:1503.09148 [hep-ph].
- (109) Y. Liu, E. Shuryak, and I. Zahed, “Confining dyon-antidyon Coulomb liquid model. I.,” Phys. Rev. D 92 no. 8, (2015) 085006, arXiv:1503.03058 [hep-ph].
- (110) R. N. Larsen, S. Sharma, and E. Shuryak, “The topological objects near the chiral crossover transition in QCD,” Phys. Lett. B 794 (2019) 14–18, arXiv:1811.07914 [hep-lat].
- (111) C. Bonati, M. Cardinali, and M. D’Elia, “ dependence in trace deformed Yang-Mills theory: a lattice study,” Phys. Rev. D98 no. 5, (2018) 054508, arXiv:1807.06558 [hep-lat].
- (112) C. Bonati, M. Cardinali, M. D’Elia, and F. Mazziotti, “-dependence and center symmetry in Yang-Mills theories,” Phys. Rev. D 101 no. 3, (2020) 034508, arXiv:1912.02662 [hep-lat].
- (113) A. Zhitnitsky, “Once more on theta vacua in (2+1)-dimensional QED and (3+1)-dimensional gluodynamics,” Phys. Lett. B 291 (1992) 465–472, arXiv:hep-ph/9207250.
- (114) F. Bruckmann, D. Nogradi, and P. van Baal, “Constituent monopoles through the eyes of fermion zero modes,” Nucl. Phys. B 666 (2003) 197–229, arXiv:hep-th/0305063.
- (115) M. Garcia Perez, A. Gonzalez-Arroyo, C. Pena, and P. van Baal, “Nahm dualities on the torus: A Synthesis,” Nucl. Phys. B 564 (2000) 159–181, arXiv:hep-th/9905138.
- (116) M. Garcia Perez, A. Gonzalez-Arroyo, and A. Sastre, “Adjoint zero-modes as a tool to understand the Yang-Mills vacuum,” PoS LATTICE2007 (2007) 328, arXiv:0710.0455 [hep-lat].
- (117) M. Garcia Perez, A. Gonzalez-Arroyo, and A. Sastre, “From confinement to adjoint zero-modes,” eCONF C0906083 (2009) 06, arXiv:1003.5022 [hep-th].
- (118) RTN Collaboration, M. Garcia Perez et al., “Instanton like contributions to the dynamics of Yang-Mills fields on the twisted torus,” Phys. Lett. B 305 (1993) 366–374, arXiv:hep-lat/9302007.
- (119) D. Lebedev, M. Polikarpov, and A. Roslyi, “Gauge Fields on the Continuum and Lattice Tori,” Nucl. Phys. B 325 (1989) 138–160.
- (120) M. Garcia Perez, A. Gonzalez-Arroyo, A. Montero, and P. van Baal, “Calorons on the lattice: A New perspective,” JHEP 06 (1999) 001, arXiv:hep-lat/9903022.
- (121) E. Witten, “Supersymmetric index in four-dimensional gauge theories,” Adv. Theor. Math. Phys. 5 (2002) 841–907, arXiv:hep-th/0006010 [hep-th].
- (122) E. Cohen and C. Gomez, “Chiral Symmetry Breaking in Supersymmetric Yang-Mills,” Phys. Rev. Lett. 52 (1984) 237.
- (123) T. Sulejmanpasic, Y. Tanizaki, and M. Ünsal, “Universality between vector-like and chiral quiver gauge theories: Anomalies and domain walls,” arXiv:2004.10328 [hep-th].
- (124) D. J. Gross, R. D. Pisarski, and L. G. Yaffe, “QCD and Instantons at Finite Temperature,” Rev. Mod. Phys. 53 (1981) 43.
- (125) K.-M. Lee and P. Yi, “Monopoles and instantons on partially compactified D-branes,” Phys. Rev. D56 (1997) 3711–3717, arXiv:hep-th/9702107 [hep-th].
- (126) K.-M. Lee and C.-h. Lu, “SU(2) calorons and magnetic monopoles,” Phys. Rev. D58 (1998) 025011, arXiv:hep-th/9802108 [hep-th].
- (127) T. C. Kraan and P. van Baal, “Exact T duality between calorons and Taub - NUT spaces,” Phys. Lett. B428 (1998) 268–276, arXiv:hep-th/9802049 [hep-th].
- (128) T. C. Kraan and P. van Baal, “Periodic instantons with nontrivial holonomy,” Nucl. Phys. B533 (1998) 627–659, arXiv:hep-th/9805168 [hep-th].
- (129) T. C. Kraan and P. van Baal, “Monopole constituents inside SU(n) calorons,” Phys. Lett. B435 (1998) 389–395, arXiv:hep-th/9806034 [hep-th].
- (130) B. Collie and D. Tong, “The Partonic Nature of Instantons,” JHEP 08 (2009) 006, arXiv:0905.2267 [hep-th].
- (131) N. M. Davies, T. J. Hollowood, and V. V. Khoze, “Monopoles, affine algebras and the gluino condensate,” J. Math. Phys. 44 (2003) 3640–3656, arXiv:hep-th/0006011 [hep-th].
- (132) Y. Tanizaki and M. Unsal, “Modified instanton sum in QCD and higher-groups,” JHEP 03 (2020) 123, arXiv:1912.01033 [hep-th].
- (133) D. Diakonov and V. Petrov, “Confining ensemble of dyons,” Phys. Rev. D 76 (2007) 056001, arXiv:0704.3181 [hep-th].
- (134) D. Diakonov and V. Petrov, “Confinement and deconfinement for any gauge group from dyons viewpoint,” AIP Conf. Proc. 1343 (2011) 69–74, arXiv:1011.5636 [hep-th].
- (135) K. Aitken, A. Cherman, and M. Ünsal, “Vacuum structure of Yang-Mills theory as a function of ,” JHEP 09 (2018) 030, arXiv:1804.06848 [hep-th].
- (136) D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, “Generalized Global Symmetries,” JHEP 02 (2015) 172, arXiv:1412.5148 [hep-th].
- (137) Z. Wan, J. Wang, and Y. Zheng, “Quantum 4d Yang-Mills Theory and Time-Reversal Symmetric 5d Higher-Gauge Topological Field Theory,” Phys. Rev. D100 no. 8, (2019) 085012, arXiv:1904.00994 [hep-th].
- (138) J. Greensite, “The Confinement problem in lattice gauge theory,” Prog. Part. Nucl. Phys. 51 (2003) 1, arXiv:hep-lat/0301023.
- (139) T. Banks, Modern Quantum Field Theory: A Concise Introduction. Cambridge University Press, 12, 2014.
- (140) A. Cherman and E. Poppitz, “Emergent dimensions and branes from large- confinement,” Phys. Rev. D 94 no. 12, (2016) 125008, arXiv:1606.01902 [hep-th].
- (141) M. Yamazaki and K. Yonekura, “From 4d Yang-Mills to 2d model: IR problem and confinement at weak coupling,” JHEP 07 (2017) 088, arXiv:1704.05852 [hep-th].
- (142) M. Yamazaki, “Relating ’t Hooft Anomalies of 4d Pure Yang-Mills and 2d Model,” JHEP 10 (2018) 172, arXiv:1711.04360 [hep-th].
- (143) Z. Wan and J. Wang, “New Higher Anomalies, SU(N) Yang-Mills Gauge Theory and Sigma Model,” arXiv:1812.11968 [hep-th].
- (144) G. ’t Hooft, “Magnetic Monopoles in Unified Gauge Theories,” Nucl. Phys. B79 (1974) 276–284.
- (145) A. M. Polyakov, “Particle Spectrum in the Quantum Field Theory,” JETP Lett. 20 (1974) 194–195.
- (146) J. S. Bell and R. Jackiw, “A PCAC puzzle: in the model,” Nuovo Cim. A60 (1969) 47–61.
- (147) A. Roberge and N. Weiss, “Gauge Theories With Imaginary Chemical Potential and the Phases of QCD,” Nucl. Phys. B275 (1986) 734–745.
- (148) N. Seiberg and E. Witten, “Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,” Nucl. Phys. B426 (1994) 19–52, arXiv:hep-th/9407087 [hep-th]. [Erratum: Nucl. Phys.B430,485(1994)].
- (149) M. R. Douglas and S. H. Shenker, “Dynamics of SU(N) supersymmetric gauge theory,” Nucl. Phys. B 447 (1995) 271–296, arXiv:hep-th/9503163.
- (150) E. Poppitz and M. Shalchian T., “String tensions in deformed Yang-Mills theory,” JHEP 01 (2018) 029, arXiv:1708.08821 [hep-th].
- (151) J. Greensite, “Confinement from Center Vortices: A review of old and new results,” EPJ Web Conf. 137 (2017) 01009, arXiv:1610.06221 [hep-lat].
- (152) O. Aharony, A. Hanany, K. A. Intriligator, N. Seiberg, and M. Strassler, “Aspects of N=2 supersymmetric gauge theories in three-dimensions,” Nucl. Phys. B 499 (1997) 67–99, arXiv:hep-th/9703110.
- (153) M. Engelhardt, “Center vortex model for the infrared sector of SU(3) Yang-Mills theory: Topological susceptibility,” Phys. Rev. D 83 (2011) 025015, arXiv:1008.4953 [hep-lat].
- (154) D. Trewartha, W. Kamleh, and D. Leinweber, “Connection between center vortices and instantons through gauge-field smoothing,” Phys. Rev. D 92 no. 7, (2015) 074507, arXiv:1509.05518 [hep-lat].
- (155) K. G. Wilson, “Confinement of Quarks,” Phys. Rev. D10 (1974) 2445–2459.
- (156) C. P. Bachas and R. F. Dashen, “Phase Transitions and Local Minima of the Action,” Nucl. Phys. B 210 (1982) 583–597.
- (157) A. Cherman, T. Schafer, and M. Unsal, “Chiral Lagrangian from Duality and Monopole Operators in Compactified QCD,” Phys. Rev. Lett. 117 no. 8, (2016) 081601, arXiv:1604.06108 [hep-th].
- (158) A. Gonzalez-Arroyo and M. Okawa, “A Twisted Model for Large Lattice Gauge Theory,” Phys. Lett. 120B (1983) 174–178.
- (159) A. Gonzalez-Arroyo and M. Okawa, “The Twisted Eguchi-Kawai Model: A Reduced Model for Large N Lattice Gauge Theory,” Phys. Rev. D27 (1983) 2397.