alphaFeedback

WorksMathematics

Construction of the 2D non-Abelian Yang-Mills-Higgs measure via stochastic quantisation

AI contributions
  • ChatGPT Pro
  • Claude
  • GPT-6 Astra
  • GPT-5.6 Sol · bare
View details

Abstract

We provide the first mathematical construction of the non-Abelian Yang-Mills-Higgs measure on a two-dimensional torus by implementing Parisi and Wu's ``stochastic quantisation'' procedure. We use a specific gauge covariant (but non-Markovian) approximation to the previously constructed associated Langevin dynamics and develop a covariant paracontrolled calculus for it. This allows us to obtain short-time control over times that are much longer than what the cubic nonlinearity naïvely suggests. When combined with the decay properties of the Yang-Mills-Higgs action under the deterministic gradient flow, as well as a quantitative measure of how the noise pushes the dynamic away from Yang-Mills connections, this is good enough to yield uniform-in-time bounds. We finally show that there exists a renormalisation under which our gauge covariant approximation converges to the Langevin dynamics (modulo gauge transformation) and that the latter is topologically irreducible and strong Feller. It therefore admits a unique invariant measure, providing the sought-after construction. Our construction is non-perturbative and works in particular for any fixed values of the coupling constants.

Introduction

There has been significant recent interest in the construction of Euclidean quantum field theories using Parisi and Wu’s stochastic quantisation procedure [PW81], which is also the main focus of this article. At a formal level, Euclidean quantum field theories (EQFTs) can be interpreted as probability measures of the form

dμ(φ)=Z−1exp⁡(−2E(φ))dφ.(1)\mathrm{d}\mu(\varphi) = \mathcal{Z}^{-1}\exp(-2\mathcal{E}(\varphi))\mathrm{d}\varphi. \tag*{(1)}

Here, φ\varphi is an element of an infinite-dimensional state space, typically a space of distributions, Z\mathcal{Z} is a normalisation constant, E\mathcal{E} is an energy functional, and dφ\mathrm{d}\varphi represents a Lebesgue (or volume) measure on the state space. At a rigorous level, however, one cannot make sense of the individual expressions on the right-hand side of (1). Indeed, the Lebesgue measure dφ\mathrm{d}\varphi only exists in finite dimensions, the energy E\mathcal{E} is expected to be infinite on the support of the probability measure μ\mu, and the normalisation constant Z\mathcal{Z} is not defined. However, even though the constitutive components of such expressions cannot be given a rigorous definition individually, it may still be possible to give their combination, in the form of μ\mu, a rigorous meaning. In the literature, the rigorous definition of μ\mu is referred to as the construction of the EQFT. Often, but not always, this construction relies on proving the convergence of lattice approximations of μ\mu. In the classical constructive quantum field theory literature, several different EQFTs have been constructed. The Φd4\Phi^4_d-models, which are perhaps the simplest models, have been constructed in two and three dimensions in [Nel66, Nel73] and [Gli68, Gli73, Fo76, GJ87], respectively.

The aforementioned stochastic quantisation method of Parisi and Wu is a specific approach towards the construction of (1) which has seen growing interest in the singular SPDE community in recent years. Rather than starting directly from (1), it relies on the Langevin dynamics

∂tφ=−∇E(φ)+ξ,(2)\partial_t\varphi=-\nabla\mathcal{E}(\varphi)+\xi, \tag*{(2)}

where both the gradient ∇\nabla and the law of the stochastic forcing term ξ\xi are uniquely determined by a chosen inner product on the state space (typically the L2L^2 inner product, leading to local equations if the energy functional E\mathcal{E} is local). The idea is to prove that (2) is globally well-posed and admits a unique invariant measure, which is then taken as the definition of the EQFT from (1). The reason why this is sensible is that, at least in finite dimensions, it is easily seen that the right-hand side of (1) is an invariant measure of (2). The stochastic quantisation method has now been implemented for many different models, including Φd4\Phi^4_d-models [MW17a, AK20, MW20, GH21, EW24], the sine-Gordon model [GHOZ25, CdLFW26, BC26b], and the Abelian Higgs model [BC24]. Closely related works on the global well-posedness of the stochastic Navier–Stokes equations [HR24, HL25] and the parabolic Anderson model [CdLFW26, SZZ26b] encounter similar difficulties, although these equations are not of the gradient form (2). One point that we would like to emphasise is that the original motivation for Parisi and Wu to introduce stochastic quantisation was precisely the hope to study/construct gauge theories without having to fix a specific gauge, thanks to the fact that the dynamical perspective allows one to adjust the gauge “on the fly”. This aspect of the stochastic quantisation method will be crucially exploited here in order to obtain global estimates, so the present work can be viewed as vindicating their original vision.

In this article, our primary interest lies in the two-dimensional non-Abelian Yang–Mills–Higgs model (as well as the pure Yang–Mills model as a special case) originally introduced in [EB64, Hig64, GHK64] in order to explain the mechanism giving mass to elementary particles. In order to state (an informal version of) our main theorem, we first formulate our setting where we use the notation End⁡(W)\operatorname{End}(W) for the space of linear maps W→WW \to W.

Setting 1.1. Throughout this paper, we work in the following setting.

(i) We fix a connected compact Lie group GG with Lie algebra g\mathfrak{g}. We write Ad⁡:G→GL⁡(g)\operatorname{Ad}: G \to\operatorname{GL}(\mathfrak{g}) for its adjoint representation defined by Ad⁡g(X):=gXg−1\operatorname{Ad}_{g}(X) := gXg^{-1} for g∈Gg \in G and X∈gX \in\mathfrak{g}. Its derivative ad⁡:g→End⁡(g)\operatorname{ad}: \mathfrak{g} \to\operatorname{End}(\mathfrak{g}) is given by ad⁡X(Y)=[X,Y]\operatorname{ad}_{X}(Y) = [X,Y], where [⋅,⋅][\mathord{\cdot},\mathord{\cdot}] denotes the Lie bracket in g\mathfrak{g}.

(ii) We equip the Lie algebra g\mathfrak{g} with an Ad⁡\operatorname{Ad}-invariant inner product ⟨⋅,⋅⟩g\langle\mathord{\cdot},\mathord{\cdot}\rangle_{\mathfrak{g}}, i.e., an inner product satisfying ⟨Ad⁡gX,Ad⁡gY⟩g=⟨X,Y⟩g\langle\operatorname{Ad}_{g}X,\operatorname{Ad}_{g}Y\rangle_{\mathfrak{g}} = \langle X,Y\rangle_{\mathfrak{g}} for all g∈Gg \in G and X,Y∈gX,Y \in\mathfrak{g}.

(iii) We let VV be a finite-dimensional inner product space which is equipped with an orthogonal representation ϱ:G→O(V)\varrho: G \to O(V). Its derivative is denoted by ϱ∗:g→End⁡(V)\varrho_{*}: \mathfrak{g} \to\operatorname{End}(V).

(iv) We fix a symmetric M∈End⁡(V)M \in\operatorname{End}(V) which is GG-invariant in the sense that ⟨ϱ(g)Φ,Mϱ(g)Φ⟩V=⟨Φ,MΦ⟩V\langle\varrho(g)\Phi,M\varrho(g)\Phi\rangle_{V} = \langle\Phi,M\Phi\rangle_{V} for all g∈Gg \in G and Φ∈V\Phi\in V.

Remark 1.2. The Ad⁡\operatorname{Ad}-invariance of the inner product on g\mathfrak{g} is equivalent to the fact that it extends to a bi-invariant (i.e. invariant under both left and right multiplication) Riemannian metric on GG, which always exists on a compact Lie group. In the case when g\mathfrak{g} is semisimple, its Killing form is non-degenerate and we obtain an Ad⁡\operatorname{Ad}-invariant inner product by ⟨X,Y⟩g=−Kil⁡(X,Y)=−Tr⁡(ad⁡X∘ad⁡Y)\langle X,Y\rangle_{\mathfrak{g}} = -\operatorname{Kil}(X,Y) = -\operatorname{Tr}(\operatorname{ad}_{X} \circ\operatorname{ad}_{Y}). When g\mathfrak{g} is simple, this is the only possible choice up to scalar multiples.

In order to formulate Yang–Mills (YM) theory in the above setting, one furthermore needs to fix a principal GG-bundle PP. In our case, we will always consider the simplest choice with two-dimensional base manifold, namely P=G×T2P = G \times\mathbb{T}^{2}, where the base manifold is a torus T2:=(R/2πZ)2\mathbb{T}^{2} := (\mathbb{R}/2\pi\mathbb{Z})^{2}. The main object of interest in YM theory is a GG-equivariant connection on the principal bundle PP—the so-called gauge field—which in our simplified setting can always be identified with a g\mathfrak{g}-valued one-form AA on T2\mathbb{T}^{2}. In coordinates, we write it as A(x)=Aj(x) dxjA(x) = A_{j}(x)\,\mathrm{d}x^{j} with j∈{1,2}j \in\{1,2\} and Aj:T2→gA_{j}: \mathbb{T}^{2} \to\mathfrak{g}. In Yang–Mills–Higgs theory, one furthermore considers a Higgs field Φ\Phi, which in our simplified setting can be viewed as a VV-valued map Φ:T2→V\Phi: \mathbb{T}^{2} \to V.

The Yang–Mills–Higgs (YMH) energy, which depends on the gauge and Higgs fields, is defined as

EYMH(A,Φ)=∫T2(12∣FA∣g2+12∣DAΦ∣V2+14∣Φ∣V4+12⟨Φ,MΦ⟩V) dx.(3)\mathcal{E}_{\mathrm{YMH}}(A,\Phi) = \int_{\mathbb{T}^{2}} \left( \frac{1}{2}|F_{A}|_{\mathfrak{g}}^{2} + \frac{1}{2}|D_{A}\Phi|_{V}^{2} + \frac{1}{4}|\Phi|_{V}^{4} + \frac{1}{2}\langle\Phi,M\Phi\rangle_{V} \right)\,\mathrm{d}x . \tag*{(3)}

Here, FAF_{A} and DAD_{A} are the curvature tensor and covariant derivative induced by AA, respectively. We postpone their definitions in our setting, as well as a discussion of the gauge symmetries of EYMH\mathcal{E}_{\mathrm{YMH}}, until after the theorem statement.

Remark 1.3. The special case V={0}V = \{0\} covers pure Yang–Mills theory.

Remark 1.4. One could in principle consider a torus of arbitrary size LL and add coupling constants in (3) and the definition (5) of DAD_{A}. It turns out, however, that this can always be reduced to a scalar multiple of (3) by rescaling the fields as well as the norms ∣⋅∣g|\mathord{\cdot}|_{\mathfrak{g}} and ∣⋅∣V|\mathord{\cdot}|_{V}.

The Langevin equation associated to (3) is then formally given by the system of SPDEs

∂tA=−∇AEYMH(A,Φ)+ξ,∂tΦ=−∇ΦEYMH(A,Φ)+ζ,(4)\partial_t A=-\nabla_A\mathcal{E}_{\mathrm{YMH}}(A,\Phi)+\xi,\qquad\partial_t\Phi=-\nabla_\Phi\mathcal{E}_{\mathrm{YMH}}(A,\Phi)+\zeta, \tag*{(4)}

where ξ\xi and ζ\zeta are independent space-time white noises on the torus, taking values in g2\mathfrak{g}^2 and V\mathbf{V}, respectively. We refer to the solutions to (4) as the stochastic YMH flow. Over both two- and three-dimensional tori, its1 local well-posedness modulo time-dependent gauge transformations was recently established in the seminal works [CCHS22, CCHS24]. However, these articles did not rule out the existence of finite-time blowup, which was left as an important open problem. The goal of this article is to rule out finite-time blowup, at least in two dimensions and, more ambitiously, to show the existence of a unique invariant measure.

Theorem 1.5 (Informal version). In Setting 1.1 with base manifold T2\mathbb{T}^2, the stochastic Yang–Mills–Higgs flow is globally well-posed as a Markov process on the space of gauge orbits, obeys uniform-in-time estimates and admits a unique invariant probability measure.

Remark 1.6. The invariant measure from Theorem 1.5 is a natural candidate for the non-Abelian YMH measure, which had not been constructed previously. To the best of our knowledge, Theorem 1.5 yields the first example of a classical Euclidean quantum field theory that has only been constructed via stochastic quantisation, i.e. using stochastic PDE methods.

Remark 1.7. The space of gauge orbits DκYMH\mathcal{D}^{\mathrm{YMH}}_\kappa underlying Theorem 1.5 is analogous to the space D1−κ\mathcal{D}_{1-\kappa} appearing in [CCHS22, Def. 3.37], with the addition of the Higgs field in C−κ\mathcal{C}^{-\kappa}. It is, however, not given by D1−κ×C−κ\mathcal{D}_{1-\kappa}\times\mathcal{C}^{-\kappa} since the gauge group acts on both fields. Instead, just like one has Dα=Ωα1/Gα\mathcal{D}_\alpha=\Omega^1_\alpha/\mathcal{G}_\alpha with Ωα1\Omega^1_\alpha a suitable space of distributional one-forms and Gα\mathcal{G}_\alpha the space of little α\alpha-Hölder gauge transformations, one has DκYMH=(Ω1−κ1×C−κ)/G1−κ\mathcal{D}^{\mathrm{YMH}}_\kappa=(\Omega^1_{1-\kappa}\times\mathcal{C}^{-\kappa})/\mathcal{G}_{1-\kappa}, see Section 12.1 below.

In particular, it admits Wilson loop observables as jointly continuous functions C2(S1,T2)×Dκ→G/Ad⁡(G)\mathcal{C}^2(S^1,\mathbb{T}^2)\times\mathcal{D}_\kappa\to G/\operatorname{Ad}(G) given by (A,γ)↦[hol⁡(A,γ)](A,\gamma)\mapsto[\operatorname{hol}(A,\gamma)]. It also admits continuous Wilson line observables, but their endpoints need to be smoothed out; see Corollary 12.7 below. Regarding the possible values for κ\kappa, we will always assume that κ\kappa is sufficiently small for our arguments, which leads to a finite number of upper bounds.

In order to define covariant derivatives, we let WW be a general finite-dimensional vector space endowed with an orthogonal representation π\pi of GG and let π∗\pi_* be its derivative at the identity. For us, the most important cases are when the pair (W,π)(W,\pi) is given by (g,Ad⁡)(\mathfrak{g},\operatorname{Ad}) or (V,ϱ)(V,\varrho). Any connection one-form AA then defines a covariant derivative DAD_A on WW-valued functions by

DA,j:=∂j+π∗(Aj).(5)D_{A,j}:=\partial_j+\pi_*(A_j). \tag*{(5)}

The curvature tensor FAF_A captures the lack of commutativity of the covariant derivatives, being defined as the unique g\mathfrak{g}-valued two-form satisfying, for all tuples (W,π)(W,\pi),

[DA,j,DA,k]=π∗(FA,jk).(6)[D_{A,j},D_{A,k}]=\pi_*(F_{A,jk}). \tag*{(6)}

A direct computation shows that it is explicitly given by

FA,jk=∂jAk−∂kAj+[Aj,Ak].F_{A,jk}=\partial_jA_k-\partial_kA_j+[A_j,A_k].

We write G\mathcal{G} for the group of smooth automorphisms of our principal bundle PP that preserve the fibres. Each element of G\mathcal{G} can be identified with a smooth function g:T2→Gg:\mathbb{T}^2\to G which acts on the fibres of $P by pointwise multiplication. For α∈(12,1]\alpha\in(\frac{1}{2},1], we write Gα\mathcal{G}_{\alpha} for the closure of G\mathcal{G} in the space of α\alpha-Hölder continuous functions. The group Gα\mathcal{G}_{\alpha} then acts on gauge fields AA and Higgs fields Φ\Phi by

g∙A=Ad⁡gA−dg g−1andg∙Φ=ϱ(g)Φ.(7)g \mathbin{\bullet} A = \operatorname{Ad}_{g} A - \mathrm{d}g\,g^{-1} \qquad\text{and}\qquad g \mathbin{\bullet} \Phi= \varrho(g)\Phi. \tag*{(7)}

References

No references were extracted for this paper.

Paper details

vlnc:W_5cs39jry
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

ChatGPT Pro, Claude, GPT-6 Astra, GPT-5.6 Sol (bare) · View statement →

Looking for related papers…
Contents