Abstract
We consider the U(1) gauge theory on a four-dimensional torus, where the instanton number is restricted to an integral multiple of p. This theory possesses the nontrivial higher-group structure, which can be regarded as a generalization of the Green–Schwarz mechanism, between \(\mathbb {Z}_q\) 1-form and \(\mathbb {Z}_p\) 3-form symmetries. Here, \(\mathbb {Z}_q\) is a subgroup of the center of U(1). Following the recent study of the lattice construction of the \(U(1)/\mathbb {Z}_q\) principal bundle, we examine how such a structure is realized on the basis of lattice regularization.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The concept of symmetry is a powerful tool for studying quantum field theories (QFTs). It is quite often very useful to consider the ’t Hooft anomaly [1], which is a quantum anomaly when a global symmetry in the theory is gauged, and is notably invariant under the renormalization group flow. Thus, the ’t Hooft anomaly matching condition between anomalies in low and high energies restricts the phase structure of strongly coupled field theories. In the last decade, generalized symmetries have been vigorously researched [2] (see also Refs. [3, 4] for reviews). The higher-form symmetries, a type of generalized global symmetry, act not only on zero-dimensional objects but also on higher-dimensional objects in the theory, and then its ’t Hooft anomaly matching condition provides us with the nontrivial restriction on low-energy dynamics of physical systems [5].
Such symmetries in a quantum theory may not be a naive direct product of those symmetry groups. In general, some symmetries may form the so-called higher-group structure as a categorical construction [6, 7]. In fact, examples of QFTs have been reported for both continuous and discrete symmetries [8,9,10,11,12,13,14]. For example, it is possible for some theories that there is a 0-form symmetry G, and a 1-form symmetry H can be combined into a 2-group structure. Then the 2-form gauge field of the 1-form symmetry H must transform under not only the usual 1-form gauge symmetry but also the 0-form symmetry. When both symmetries G and H are continuous, this is nothing but the Green–Schwarz mechanism [15]. Even in the case of the discrete symmetries, the higher-group structure can be interpreted in the language of symmetry defects [8, 10]. The point is that when the symmetries construct the higher-group structure, we can no longer consider those individually.
It was recently pointed out by Tanizaki and Ünsal [16] that the pure SU(N) Yang–Mills (YM) theory with modified instanton sum is equipped with higher-group symmetry. Modification of the instanton sum was originally discussed in Refs. [17,18,19,20], and even if we sum up the topological sectors with the instanton number that is an integral multiple of p, the locality, i.e., the cluster decomposition, of the theory is not violated. More concretely, to realize the modification of the instanton sum, we introduce the U(1) 3-form gauge field \(C^{(3)}\) and the compact scalar field \(\chi \) which is the Lagrange multiplier. As a result of the modification, it turns out that the \(\mathbb {Z}_p\) 3-form symmetry arises. The 4-group structure in the YM theory under the instanton-sum modificationFootnote 1 consists of the \(\mathbb {Z}_N\) 1-form symmetry and the \(\mathbb {Z}_p\) 3-form symmetry.
On the other hand, it is obvious that a continuum QFT is not well defined without any regularization if it does not possess triviality, scale invariance, and so on. For studying gauge theories, for instance, it is important to understand the QFTs in a fully regularized framework. We already know from Lüscher [21] how the SU(N) principal bundle on a four-dimensional torus \(T^4\) can be constructed in the SU(N) lattice gauge theory. Hence, for the purpose of grasping the higher-form symmetries and also higher-groups on the basis of the lattice regularization, it is natural to generalize Lüscher’s method so that discrete symmetries (e.g., the center symmetry) are gauged, such as the \(\mathbb {Z}_N\) 1-form gauge field in the \(SU(N)/\mathbb {Z}_N\) gauge theory. Recently, a nontrivial \(U(1)/\mathbb {Z}_q\) principal bundle on \(T^4\) in the compact U(1) lattice gauge theory was constructed in Ref. [22]. In particular, due to the gauged \(\mathbb {Z}_q\) 1-form discrete symmetry, the \(U(1)/\mathbb {Z}_q\) gauge theory exhibits the fractional topological charge with \(\frac{1}{q^2}\mathbb {Z}\) even on the finite lattice.
In this paper, we construct a higher-group structure in the completely regularized framework, lattice regularization. As a theory with a higher-group structure, we consider the U(1) gauge theory on \(T^4\) with restricted topological sectors (in the same sense as the modification of the instanton sum above), which are characterized by the integer p. Similarly to the SU(N) YM theory, it is shown in the continuum and the lattice that the U(1) gauge theory with this instanton-sum modification has the \(\mathbb {Z}_q\) 1-formFootnote 2 and \(\mathbb {Z}_p\) 3-form symmetries, and they also form the 4-group structure. Because of the 4-group structure, we cannot gauge the \(\mathbb {Z}_q\) 1-form symmetry in a nontrivial way without the \(\mathbb {Z}_p\) 3-form gauge symmetry.
2 Instanton-sum modified U(1) gauge theory: continuum theory
We formulate the U(1) gauge theory with the instanton-sum modification in the continuum spacetime,Footnote 3 following Ref. [16]. The modified Lagrangian of the U(1) gauge theory is given by
Here, \(\mathcal {F}=d\mathcal {A}\) is the field strength of the U(1) gauge field \(\mathcal {A}\). By adding the third term, the instanton number is restricted to an integral multiple of p. To see this, consider the equation of motion for the compact scalar \(\chi \):
This equation implies that topological sectors with the instanton number that are multiples of p contribute to the partition function. Substituting Eq. (2.2) into the second term in the Lagrangian (2.1), we obtain the following term:
Then, it turns out that the two theta angles are combined into one parameter \(\hat{\theta }+p\theta \). We can assume that \(\hat{\theta } = p \theta \), and then the \(2\pi \)-periodicity of \(\hat{\theta }\) implies that the periodicity of \(\theta \) becomes \(2\pi /p\) in this instanton sector.
The U(1) gauge theory without matter fields has U(1) 1-form global symmetry [2], called electric symmetry \(U(1)_\textrm{E}\). The gauge-invariant charged objects under the symmetry are Wilson loops. For our purpose, we focus on two symmetries: the \(\mathbb {Z}_{q}\) 1-form symmetry, which is a subgroup of \(U(1)_\textrm{E}\), and the \(\mathbb {Z}_{p}\) 3-form symmetry. In order to confirm the existence of the \(\mathbb {Z}_{p}\) 3-form global symmetry, let us consider the equation of motion for the 3-form gauge field \(C^{(3)}\),
It turns out from this equation that the local operator \(\textrm{e}^{i\chi }\) is topological and generates the 3-form symmetry. The charged object is the volume operator,
which is supported on a three-dimensional submanifold \(M_{3}\).
Naively, it seems that these two symmetries form a mere direct product \(\mathbb {Z}_q\times \mathbb {Z}_p\). However, we find from the gauging procedure below that they form the 4-group structure. As the first step of the gauging procedure, we gauge the \(\mathbb {Z}_{q}\) 1-form symmetry alone. Following Ref. [23], we introduce a U(1) 2-form gauge field \(B^{(2)}\) and U(1) 1-form gauge field \(B^{(1)}\) that satisfy the constraint
In order to couple these fields to the theory, we redefine the dynamical U(1) gauge field, locally written as
Then, we postulate the symmetry under the 1-form gauge transformation,
where \(\Lambda ^{(1)}\) is a U(1) gauge field. Note that the gauge field \(\mathcal {A}'\) also shifts as
by this transformation. To ensure the gauge invariance, the field strength \(\mathcal {F}'=d\mathcal {A}'\) must be replaced by
Now we find the equation of motion for the Lagrange multiplier \(\chi \),
Note that this equation is \(\mathbb {Z}_q\) 1-form-invariant. After integrating over the spacetime, the \((\mathcal {F}'\wedge \mathcal {F}')\) and \(d C^{(3)}\) terms give rise to integers, while, in general, the contribution from \(B^{(2)}\) can take a value in \(\frac{1}{q^2}\mathbb {Z}\).Footnote 4 To be consistent with the above constraint, we see that \(B^{(2)}\) (\(B^{(1)}\)) is restricted to a trivial configuration to give an integral value. So we conclude that by this procedure, we cannot gauge the 1-form symmetry alone in a nontrivial way.
We can avoid this obstruction by gauging the \(\mathbb {Z}_{p}\) 3-form symmetry at the same time as well as the discussion for the SU(N) YM theory in Ref. [16]. We then introduce a U(1) 4-form gauge field \(D^{(4)}\) and U(1) 3-form gauge field \(D^{(3)}\). Note that these fields are constrained as
As we will soon see, the above obstruction can be avoided by imposing this constraint. Following the usual procedure, we redefine the 3-form gauge field as
and postulate the invariance under the 3-form gauge transformation,
To keep the constraint (2.12), under the 1-form transformation, we have
We can check that the constraint on \(D^{(4)}\) (2.12) is invariant, using the transformation of \(B^{(2)}\) and \(B^{(1)}\) in Eq. (2.8) and the Bianchi identity \(d\mathcal {F}'=0\). After this gauging procedure, we define the third term in the Lagrangian (2.1) as
Then, the equation of motion (2.11) becomes
which is invariant under the 1-form and 3-form gauge transformations. We have thus coupled the nontrivial configuration of \(B^{(2)}\), that is, the nontrivial ’t Hooft flux [24]. Actually, the above constraint (2.12) provides a \(\mathbb {Z}_{p q^2}\) (not \(\mathbb {Z}_p\)) phase:
Hence, one can obtain the extra phase factor under the shift \(\theta \rightarrow \theta +2\pi /p\) or \(\hat{\theta }\rightarrow \hat{\theta }+2\pi \),
This construction means that the U(1) gauge theory under the instanton-sum modification possesses the 4-group structure between the 1-form and 3-form symmetries.
In the usual statement of the higher-group structure, \(D^{(4)}\) is not invariant under the 1-form transformation and is also a \(\mathbb {Z}_p\) 4-form gauge field. On the other hand, our construction indicates that \(D^{(4)}\) is the \(\mathbb {Z}_{p q^2}\) gauge field. One may define a genuine \(\mathbb {Z}_p\) gauge field \(\mathcal {D}^{(4)}\) by
instead of \(D^{(4)}\). Then \(\mathcal {D}^{(4)}\) is not 1-form-invariant as
In this case, we also have the same equation of motion (2.18).
3 Setup of lattice \(U(1)/\mathbb {Z}_q\) gauge theory
3.1 Lattice construction of the \(U(1)/\mathbb {Z}_q\) principal bundle
Let us now review the formulation of the lattice \(U(1)/\mathbb {Z}_q\) gauge theory defined in Ref. [22]. We consider a four-dimensional periodic torus \(T^4\) and its discretization \(\Lambda \),
where L is the size, the lattice constant is set to 1, and \(\mu \) (also \(\nu \), \(\rho \), ...) runs over 1, 2, 3, and 4. This lattice \(\Lambda \) divides \(T^4\) into hypercubes c(n) as
Now, c(n) denotes a patch of the fiber bundle under consideration. Then the transition function on the lattice is defined at the boundary of two hypercubes, called the face,
where \(\hat{\mu }\) is a unit vector in the positive \(\mu \) direction.
Now we assume the lattice U(1) gauge theory with the link variable
which lives on the link connecting n and \(n+\hat{\mu }\). The field strength is defined by
Here, we require the above dependence on the integer q because of the \(\mathbb {Z}_q\) 1-form gauge symmetry we will define below. Following Lüscher’s construction of the SU(N) principal bundle in \(\Lambda \) [21], we have the simpler transition function \(\hat{v}_{n,\mu }(x)\) at \(x\in f(n,\mu )\) for the U(1) gauge group.Footnote 5 Under ordinary circumstances of the fiber bundle, the cocycle condition for the transition function is given at the boundary of three patches, but on the lattice, it can be defined in a two-dimensional plaquette, that is, the intersection of four hypercubes, c(n), \(c(n-\hat{\mu })\), \(c(n-\hat{\nu })\), and \(c(n-\hat{\mu }-\hat{\nu })\):
Then, for \(x\in p(n,\mu ,\nu )\), the transition function satisfies the cocycle condition,
From now on, we consider the \(U(1)/\mathbb {Z}_q\) principal bundle. Then, the cocycle condition (3.8) can be relaxed to be \(\mathbb {Z}_q\)-valued. Following the construction in Ref. [22], in terms of \(\hat{v}_{n,\mu }(x)\), we can define the transition function for \(U(1)/\mathbb {Z}_q\), \(v_{n,\mu }(x)\), at \(x\in f(n,\mu )\) as follows: We first introduce the ’t Hooft flux at \(x_\mu =0\), so we define the transition function initially as
where we have introduced the loop factor \(\omega _\mu (x)\) as
and \(z_{\mu \nu }\in \mathbb {Z}\) is anti-symmetric in indices, \(z_{\nu \mu }=-z_{\mu \nu }\). Next we consider the \(\mathbb {Z}_q\) 1-form gauge transformation given by
where we have used \(z_\mu (n)\in \mathbb {Z}\), and
Then, in terms of \(z_{\mu \nu }\) and 1-form fields \(\{z_\mu (n)\}\) for successive transformations, we have a generic \(\mathbb {Z}_q\) 2-form gauge field \(z_{\mu \nu }(n)\), and the transition function \(v_{n,\mu }(x)\) associated with \(z_{\mu \nu }(n)\). The cocycle condition is modified to
Under the \(\mathbb {Z}_q\) 1-form gauge transformation, we find
where we have defined the forward difference, \(\Delta _\mu f(n)\equiv f(n+\hat{\mu })-f(n)\). Note that there exists the ambiguity of \(z_{\mu \nu }(n) \bmod q\), and thus the field \(N_{\mu \nu }(n)\in \mathbb {Z}\) is demanded to restrict \(z_{\mu \nu }(n)\) to a single-valued lattice field, for instance, as
3.2 Topological charge in terms of non-commutative differential calculus
We will show the expression of the fractional topological charge in the \(U(1)/\mathbb {Z}_q\) principal bundle. In comparison with continuum theory, it may be convenient to use the non-commutative differential calculus [26]. As usual, we define a k-form f(n) on the lattice by
and the exterior derivative on \(\Lambda \) by
Note that \(d^2=0\) is satisfied (nilpotent). The essential formal rule is now given by
and then the Leibniz rule holds even on the finite lattice,
Now we rewrite the field strength and the \(\mathbb {Z}_q\) 2-form gauge field by
and also
The \(\mathbb {Z}_q\) 1-form gauge transformation (3.15) is rewritten as
For an admissible gauge field, the Bianchi identity, \(d\hat{F}(n)=0\), should hold; we also find that the flatness condition, \(d z^{(2)}(n)=0\bmod q\). In what follows, we use the abbreviated notations, \(z^{(2)}(n)\in \mathbb {Z}\), which indicates that \(z_{\mu \nu }(n)\in \mathbb {Z}\) and so on; \(0\le z^{(2)}(n)<q\) denotes Eq. (3.16), and also, if we say \(0\le f(n)<q\) for a generic k-form f(n), we mean that \(0\le f_{\mu _1\cdots \mu _k}<q\) for \(\mu _1<\cdots <\mu _k\).
With knowledge of the continuum theory, the topological charge \(Q = \frac{1}{8\pi ^2} \int _{T^4}\mathcal {F}\wedge \mathcal {F}\) can be written, in terms of the transition function, by [21, 27]
Thus, one finds that [22]
where this expression on the lattice is similar to that in the continuum theory up to the possible definitions of the \(\mathbb {Z}_q\) 2-form gauge fields, \(z^{(2)}\) and \(B^{(2)}\), respectively. Here, another field strength F(n) can be constructed from \(\hat{F}(n)\) by the procedure of successive transformations in the previous subsection, supposing that F(n) is not invariant under the \(\mathbb {Z}_q\) 1-form transformation as
This is analogous to Eq. (2.9), that is, the shift of \(\mathcal {A}'\) in the continuum theory under the 1-form transformation. From this expression (3.25), we see the fractionality of the topological charge because of the coefficient 1/q in the \(z^{(2)}(n)\) terms.
One may wonder whether the above expression (3.25) implies \(Q\in \frac{1}{2q^2}\mathbb {Z}\). The topological charge naively seems to suffer from the non-commutativity in \(z^{(2)}(n)\wedge z^{(2)}(n) =(1/4)\sum _{\mu ,\nu ,\rho ,\sigma }\epsilon _{\mu \nu \rho \sigma }z_{\mu \nu }(n)z_{\rho \sigma }(n+\hat{\mu }+\hat{\nu })d^4 x\). This is, in fact, not harmful, because the flatness condition, \(d z^{(2)}(n)=0\bmod q\), that leads us to the shift of \(\sum _{n\in \Lambda }z^{(2)}(n)\wedge z^{(2)}(n)\) under the 1-form gauge transformation is \(q\mathbb {Z}\)-valued; if \(d z^{(2)}(n)=0\) strictly, we find \(2q\mathbb {Z}\). Thus, we cannot vary the number proportional to \(1/q^2\) from the original contribution of the ’t Hooft flux, \(\frac{1}{8q^2}\sum _{\mu ,\nu ,\rho ,\sigma }\epsilon _{\mu \nu \rho \sigma }z_{\mu \nu }z_{\rho \sigma } \in \frac{1}{q^2}\mathbb {Z}\). It is however obstructive that the above shift by \(q\mathbb {Z}\) would produce terms with \(\frac{1}{2q}\mathbb {Z}\). The \(U(1)/\mathbb {Z}_q\) gauge theory is, of course, not hindered by this fact, since the total expression of Q is 1-form-invariant. On the other hand, if we consider the instanton-sum modification and the higher-group structure, the 1-form and 3-form gauge transformations are inseparable from each other, and so it is crucial to have the gauge transformation shift by \(2q\mathbb {Z}\), as we will show.
Actually, the above argument would be an artifact on the square lattice, while the simplicial lattice does not give rise to the extra factor 1/2. In a simplicial complex, the wedge products should be replaced by the Pontryagin square, which can be constructed by (higher) cup products [6, 23]. Because of the difficulty in constructing the Pontryagin square on the square lattice, we cannot simply write some “finest” local terms.
If we consider a torsion-free manifold (e.g., the torus), we can circumvent this problem by a technique called the integral lift [6, 23]. The integral lift enables us to define \(\bar{z}^{(2)}(n)\) for \(\forall z^{(2)}(n)\) such that \(z^{(2)}(n)=\bar{z}^{(2)}(n)\bmod q\) and \(d\bar{z}^{(2)}(n)=0\). Now, \(H^2(T^4,\mathbb {Z}_q)\) is “lifted” up to \(H^2(T^4,\mathbb {Z})\). The detailed definition on the square lattice, which seems to be technically cumbersome, is given in Sect. 4 of Ref. [22]. Therefore, we have
Now, \(\bar{Q}\) is again invariant under the 1-form transformation given by
and the flatness conditions are
4 Instanton-sum modified U(1) gauge theory: lattice theory
In this section, we consider the system given in Sect. 2, but on the basis of the lattice regularization. We again insert the delta function after the integration over \(\chi \) in the path integral on the latticeFootnote 6
where \(c^{(4)}(n)\) is the field strength of a compact U(1) 3-form gauge field, i.e., a 4-form such that \(\sum _{n\in \Lambda }c^{(4)}(n)\in \mathbb {Z}\) (not a conventional definition of the field strength by the overall factor \(2\pi \) for simplicity below). This restricts the instanton number to \(p\mathbb {Z}\) on the U(1) principal bundle. Now, we consider the gauged \(\mathbb {Z}_q\) 1-form symmetry as in the previous section. Then we find that the equation of motion for \(\chi \) is given by
As in the case in the continuum, at this stage, the nontrivial configurations of the 2-form gauge field \(\bar{z}^{(2)}\) are forbidden.
To gauge the 1-form symmetry, the fractional parts of the above equation of motion can be compensated by inserting new 4-form field \(\bar{w}^{(4)}(n)\in \mathbb {Z}\) by hand,
We now see that all fractional parts in \(\frac{1}{q^2}\mathbb {Z}\) can be absorbed into the last term, \(\frac{1}{q^2}\bar{w}^{(4)}(n)\in \frac{1}{q^2}\mathbb {Z}\), and thus the allowable gauge field \(\bar{z}^{(2)}\) is what we have wanted in order to gauge the \(\mathbb {Z}_q\) 1-form symmetry. From this compensation procedure, we come to realize that \(c^{(4)}(n)\) could be replaced systematically by \(c^{(4)}\rightarrow c^{(4)}-\frac{1}{p q^2}\bar{w}^{(4)}(n)\). This fact indicates that we have the gauged 3-form shift symmetry,
Here, we assume that \(w^{(3)}(n)\in \mathbb {Z}\) satisfies \(\sum _{n\in \Lambda }d w^{(3)}(n)\in p q^2\mathbb {Z}\) and \(0\le w^{(3)}(n)<p q^2\); \(w^{(3)}(n)\) and \(v{N}^{(4)}(n)\in \mathbb {Z}\) have been introduced to give the fractional and integral shifts for \(c^{(4)}(n)\), respectively. It would seem to accomplish our task to gauge the \(\mathbb {Z}_q\) 1-form and 3-form symmetries.
There is a question we left unanswered: what discrete group is induced in the above 3-form gauge symmetry represented by the 4-form gauge field \(\bar{w}^{(4)}(n)\)? We now recall that the \(\mathbb {Z}_q\) 1-form gauge transformation of \(z^{(2)}(n)\) is given by Eq. (3.23), and it is very similar to the 3-form gauge transformation of \(\bar{w}^{(4)}(n)\) (4.4). Roughly speaking, this observation and the restriction \(0\le w^{(3)}(n)<p q^2\) could imply that \(\bar{w}^{(4)}(n)\) is the \(\mathbb {Z}_{p q^2}\) 4-form gauge field, while the original 3-form symmetry looks like \(\mathbb {Z}_{p}\) if we ignore \(\bar{z}^{(2)}(n)\) and the dependence on q. Hence, this is the same 4-group structure as the \(\mathbb {Z}_{p q^2}\) 4-form gauge field \(D^{(4)}\) in the continuum.
Of course, the above argument would be true but so naive, and the situation is more complicated because \(\bar{w}^{(4)}(n)\) seems to be leading not to a \(\mathbb {Z}_{p q^2}\) gauge field but to \(\mathbb {Z}\). As we already know, this is just the integral lift. Conversely, we now redefine \(\bar{w}^{(4)}(n)\) as \(w^{(4)}(n)=\bar{w}^{(4)}(n)\bmod p q^2\),
Also, \(N^{(4)}(n)\) instead of \(\bar{N}^{(4)}(n)\) in Eq. (4.4) should take a value to keep \(w^{(4)}(n)\) in this region, depending on \(w^{(3)}(n)\). We should note that, on the other hand, in Eqs. (4.4) and (4.5), the lifted field \(\bar{N}^{(4)}(n)\) can take any integers. In fact, \(\bar{N}^{(2)}(n)\) is determined from the amount of the “relaxation” of flatness, \(d z^{(2)}(n)/q\in \mathbb {Z}\). However, since any 4-form is closed, we have many degrees of freedom to fix the lifted field \(\bar{N}^{(4)}(n)\). Moreover, the role of \(N^{(4)}(n)\) or \(\bar{N}^{(4)}(n)\) in the 3-form transformation of \(c^{(4)}(n)\) is almost trivial due to the definition of \(c^{(4)}(n)\); see Eq. (4.1) below. Our argument successfully provides the description of the higher-group structure on the lattice.
In the above proposition to absorb the fractional terms in the equation of motion for \(\chi \), one might promote the use of \(\bar{w}^{(4)}(n)\in \mathbb {Z}\) to \(\Omega ^{(4)}(n)\in \mathbb {R}\). We then again have
where we assume that \(\sum _{n\in \Lambda }\Omega ^{(4)}(n)\in \mathbb {Z}\) to get rid of the fractionality in this equation. We now define \(\tilde{\Omega }^{(4)}(n)\in \mathbb {R}\) as
and therefore, we see \(\sum _{n\in \Lambda } \Omega ^{(4)}(n)\in \mathbb {Z}\) and the equation of motion
We have seen that \(w^{(4)}(n)\) is invariant under the \(\mathbb {Z}_q\) 1-form gauge transformation, while we now find that
It is interesting that, noting that the shift of \(\sum _{n\in \Lambda }\bar{z}^{(2)}(n)\wedge \bar{z}^{(2)}(n)\) under the 1-form gauge transformation is \(2q\mathbb {Z}\)-valued, we can see that \(\sum _{n\in \Lambda }\tilde{\Omega }^{(4)}(n)\in \mathbb {Z}\) holds even if we perform Eq. (4.10). The 3-form gauge transformation is also given by
where \(\tilde{\Omega }^{(3)}(n)\in \mathbb {R}\) and \(\tilde{N}^{(4)}(n)\in \mathbb {Z}\) give rise to the shift of \(c^{(4)}(n)\) by real and integer numbers.
We now suppose that \(\tilde{\Omega }^{(4)}(n)\in \mathbb {R}\) is compelled to be \(\mathbb {Z}\). To this end, there are two steps as follows: (i) The 3-form transformation (4.11) is restricted to that with the parameter \(\tilde{\Omega }^{(3)}(n)\rightarrow \tilde{w}^{(3)}(n)\in \mathbb {Z}\). So we call this the 3-form discrete gauge transformation, while the original one is the continuum transformation; (ii) First, we consider the \(\mathbb {Z}_q\) 1-form gauge transformation given by (4.10), but then \(\tilde{\Omega }^{(4)}(n)\notin \mathbb {Z}\) even if we start with \(\tilde{\Omega }^{(4)}(n)\in \mathbb {Z}\). We next impose that \(\tilde{\Omega }^{(4)}(n)\) becomes a \(\mathbb {Z}\)-valued field \( {\bar{w}}^{(4)}(n)\). To do this, we use the 3-form continuum gauge transformation by \(\tilde{\Omega }^{(3)}(n)\), that is, throw away real parts apart from integers in \(\tilde{\Omega }^{(4)}(n)\) into the gauge redundancy of \(c^{(4)}(n)\). Eventually, we define \(\tilde{\bar{w}}^{(4)}(n)\in \mathbb {Z}\) as the integral part of \(\tilde{\Omega }^{(4)}(n)\).
From the above construction of \(\tilde{\bar{w}}^{(4)}(n)\), we can see the 3-form gauge transformation
where \(\tilde{w}^{(3)}(n)\) is now an element in \(\mathbb {Z}\). Our argument about the integral lift is again applicable to this 3-form gauge symmetry, so \(\tilde{w}^{(4)}(n)\equiv \tilde{\bar{w}}^{(4)}(n)\bmod p\) denotes the \(\mathbb {Z}_p\) 4-form gauge field. Thus, we have the \(\mathbb {Z}_q\) 1-form and \(\mathbb {Z}_p\) 3-form discrete gauge symmetries, which are inseparable from each other because of the above argument (ii). This gives another description of the 4-group structure in the lattice Abelian gauge theory on the \(p\mathbb {Z}\)-topological sector.
5 Conclusion
In the present paper, we constructed the instanton-sum modified U(1) lattice gauge theory on \(T^4\). We firstly showed that the naive gauging of the \(\mathbb {Z}_q\) 1-form symmetry is not compatible with the equation of motion for \(\chi \) introduced for modification of the instanton summation in U(1) gauge theory on the continuum manifold, as in the SU(N) gauge theory. This is the same in lattice gauge theory. In order to compensate for the equation of motion, we see that it is necessary to introduce the 4-form field \(\bar{w}^{(4)}(n) \in \mathbb {Z}\). Then the integral lift plays an important role: the 4-form field \(\bar{w}^{(4)}(n)\) is interpreted as the lifted field of the \(\mathbb {Z}_{pq^2}\) 4-form gauge field \(w^{(4)}(n)\) which is the gauge field of the 3-form symmetry and corresponds to the \(\mathbb {Z}_{pq^2}\) gauge field \(D^{(4)}\) in the continuum theory. In this construction, \(w^{(4)}(n)\) and its lifted field \(\bar{w}^{(4)}(n)\) do not transform under the \(\mathbb {Z}_q\) 1-form symmetry. In addition to the above construction, we also considered introducing \(\tilde{\Omega }^{(4)}(n)\in \mathbb {R}\) instead of \(\bar{w}^{(4)}(n) \in \mathbb {Z}\) to compensate for the equation of motion. Then we can recognize that the integral part of \(\tilde{\Omega }^{(4)}(n)\) is the integral lift of the \(\mathbb {Z}_p\) 4-form gauge field \(\tilde{w}^{(4)}(n)\) corresponding to the \(\mathbb {Z}_p\) gauge field \(\mathcal {D}^{(4)}\) in the continuum theory. In this case, in contrast, \(\tilde{w}^{(4)}(n)\) transforms not only under the 3-form symmetry but also under 1-form symmetry, such as the 1-form gauge field of the Green–Schwarz mechanism.
It is interesting to generalize our construction to the SU(N) gauge theory with the instanton-sum modification. To accomplish this, we need to construct a nontrivial \(SU(N)/\mathbb {Z}_N\) principal bundle in the lattice gauge theory. It is also intriguing to consider lattice formulations with matter fields, and especially to see the higher-group structure for the lattice fermion, whose construction is an attractive issue in lattice gauge theory.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This paper does not include numerical simulations, so that no such data exist.]
Change history
09 January 2024
An Erratum to this paper has been published: https://doi.org/10.1140/epjc/s10052-024-12386-5
Notes
More rigorously speaking, as shown in Ref. [13], this 4-group structure should be called a semi-strict 4-group or 3-crossed module in mathematical contexts.
Strictly speaking, the U(1) gauge theory has \(U(1)_\textrm{E} \times U(1)_\textrm{M}\) 1-form symmetry, where the former and latter are the electric and magnetic ones, respectively. We now consider only the discrete subgroup \(\mathbb {Z}_q\times \{1\}\subset U(1)_\textrm{E}\times U(1)_\textrm{M}\), where q is a positive integer.
In this paper, we assume that the spacetime manifold is equipped with the spin structure.
Recall that in the \(SU(N)/\mathbb {Z}_q\) gauge theory, the topological charge becomes \(\frac{N}{q^2}\mathbb {Z}\).
It is actually quite subtle on the lattice to give the naive coupling of the compact scalar \(\chi \) as in Eq. (2.1). Thus, for our lattice formulation, it would be unambiguous to insert the delta function instead of the coupling of the Lagrange multiplier. For this difficulty, e.g., see Ref. [28]. We would like to thank Yuya Tanizaki for pointing it out to us.
References
G. ’t Hooft, Naturalness, chiral symmetry, and spontaneous chiral symmetry breaking. NATO Sci. Ser. B 59, 135–157 (1980). https://doi.org/10.1007/978-1-4684-7571-5_9
D. Gaiotto, A. Kapustin, N. Seiberg, B. Willett, Generalized global symmetries. JHEP 02, 172 (2015). https://doi.org/10.1007/JHEP02(2015)172. arXiv:1412.5148 [hep-th]
J. McGreevy, Generalized symmetries in condensed matter. arXiv:2204.03045 [cond-mat.str-el]
C. Córdova, T.T. Dumitrescu, K. Intriligator, S.-H. Shao, Snowmass white paper: generalized symmetries in quantum field theory and beyond, in 2022 Snowmass Summer Study. 5, 2022. arXiv:2205.09545 [hep-th]
D. Gaiotto, A. Kapustin, Z. Komargodski, N. Seiberg, Theta, time reversal, and temperature. JHEP 05, 091 (2017). https://doi.org/10.1007/JHEP05(2017)091. arXiv:1703.00501 [hep-th]
A. Kapustin, R. Thorngren, Topological field theory on a lattice, discrete theta-angles and confinement. Adv. Theor. Math. Phys. 18(5), 1233–1247 (2014). https://doi.org/10.4310/ATMP.2014.v18.n5.a4. arXiv:1308.2926 [hep-th]
A. Kapustin, R. Thorngren, Higher symmetry and gapped phases of gauge theories. arXiv:1309.4721 [hep-th]
Y. Tachikawa, On gauging finite subgroups. SciPost Phys. 8(1), 015 (2020). https://doi.org/10.21468/SciPostPhys.8.1.015. arXiv:1712.09542 [hep-th]
C. Córdova, T.T. Dumitrescu, K. Intriligator, Exploring 2-group global symmetries. JHEP 02, 184 (2019). https://doi.org/10.1007/JHEP02(2019)184. arXiv:1802.04790 [hep-th]
F. Benini, C. Córdova, P.-S. Hsin, On 2-group global symmetries and their anomalies. JHEP 03, 118 (2019). https://doi.org/10.1007/JHEP03(2019)118. arXiv:1803.09336 [hep-th]
Y. Hidaka, M. Nitta, R. Yokokura, Higher-form symmetries and 3-group in axion electrodynamics. Phys. Lett. B 808, 135672 (2020). https://doi.org/10.1016/j.physletb.2020.135672. arXiv:2006.12532 [hep-th]
C. Córdova, T.T. Dumitrescu, K. Intriligator, 2-group global symmetries and anomalies in six-dimensional quantum field theories. JHEP 04, 252 (2021). https://doi.org/10.1007/JHEP04(2021)252. arXiv:2009.00138 [hep-th]
Y. Hidaka, M. Nitta, R. Yokokura, Global 4-group symmetry and “t Hooft anomalies in topological axion electrodynamics. PTEP 2022(4), 04A109 (2022). https://doi.org/10.1093/ptep/ptab150. arXiv:2108.12564 [hep-th]
T. Nakajima, T. Sakai, R. Yokokura, Higher-group structure in 2n-dimensional axion-electrodynamics. JHEP 01, 150 (2023). https://doi.org/10.1007/JHEP01(2023)150. arXiv:2211.13861 [hep-th]
M.B. Green, J.H. Schwarz, Anomaly cancellation in supersymmetric D=10 gauge theory and superstring theory. Phys. Lett. B 149, 117–122 (1984). https://doi.org/10.1016/0370-2693(84)91565-X
Y. Tanizaki, M. Ünsal, Modified instanton sum in QCD and higher-groups. JHEP 03, 123 (2020). https://doi.org/10.1007/JHEP03(2020)123. arXiv:1912.01033 [hep-th]
T. Pantev, E. Sharpe, Notes on gauging noneffective group actions. arXiv:hep-th/0502027
T. Pantev, E. Sharpe, String compactifications on Calabi–Yau stacks. Nucl. Phys. B 733, 233–296 (2006). https://doi.org/10.1016/j.nuclphysb.2005.10.035. arXiv:hep-th/0502044
T. Pantev, E. Sharpe, GLSM’s for Gerbes (and other toric stacks). Adv. Theor. Math. Phys. 10(1), 77–121 (2006). https://doi.org/10.4310/ATMP.2006.v10.n1.a4. arXiv:hep-th/0502053
N. Seiberg, Modifying the sum over topological sectors and constraints on supergravity. JHEP 07, 070 (2010). https://doi.org/10.1007/JHEP07(2010)070. arXiv:1005.0002 [hep-th]
M. Lüscher, Topology of lattice gauge fields. Commun. Math. Phys. 85, 39 (1982). https://doi.org/10.1007/BF02029132
M. Abe, O. Morikawa, H. Suzuki, Fractional topological charge in lattice Abelian gauge theory. PTEP 2023(2), 023B03 (2023). https://doi.org/10.1093/ptep/ptad009. arXiv:2210.12967 [hep-th]
A. Kapustin, N. Seiberg, Coupling a QFT to a TQFT and duality. JHEP 04, 001 (2014). https://doi.org/10.1007/JHEP04(2014)001. arXiv:1401.0740 [hep-th]
G. ’t Hooft, A property of electric and magnetic flux in nonabelian gauge theories. Nucl. Phys. B 153, 141–160 (1979). https://doi.org/10.1016/0550-3213(79)90595-9
T. Fujiwara, H. Suzuki, K. Wu, Topological charge of lattice Abelian gauge theory. Prog. Theor. Phys. 105, 789–807 (2001). https://doi.org/10.1143/PTP.105.789. arXiv:hep-lat/0001029
A. Dimakis, F. Mueller-Hoissen, T. Striker, Noncommutative differential calculus and lattice gauge theory. J. Phys. A 26, 1927–1949 (1993)
P. van Baal, Some results for SU(N) gauge fields on the hypertorus. Commun. Math. Phys. 85, 529 (1982). https://doi.org/10.1007/BF01403503
C. Córdova, D.S. Freed, H.T. Lam, N. Seiberg, Anomalies in the space of coupling constants and their dynamical applications I. SciPost Phys. 8(1), 001 (2020). https://doi.org/10.21468/SciPostPhys.8.1.001. arXiv:1905.09315 [hep-th]
Acknowledgements
We are grateful to Yuya Tanizaki, Akio Tomiya, and Satoshi Yamaguchi for useful discussions. O.M. also would like to thank Motokazu Abe, Yuki Miyakawa, Soma Onoda, and Hiroshi Suzuki for collaboration and helpful discussions. This work was partially supported by the Japan Society for the Promotion of Science (JSPS) Grant-in-Aid for Scientific Research Grant Number JP21J30003 (O.M.)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Kan, N., Morikawa, O., Nagoya, Y. et al. Higher-group structure in lattice Abelian gauge theory under instanton-sum modification. Eur. Phys. J. C 83, 481 (2023). https://doi.org/10.1140/epjc/s10052-023-11616-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11616-6