A Construction of Euclidean Invariant, Reflection Positive Measures on a Compactification of Distributions T. Tlas Abstract A simple construction is given of a class of Euclidean invariant, re- flection positive measures on a compactification of the space of distri- butions. An unusual feature is that the regularizations used are not reflection positive. The goal of this paper is to give, under mild conditions, a very simple con- struction of a class of reflection positive, Euclidean invariant measures on a certain compactification of the space of distributions. The construction will work in any number of dimensions and for a wide class of local actions. We will restrict ourselves to a single real scalar field, but it will be clear that the arguments below can be easily extended to other situations. Roughly speaking, we will give a rigorous meaning to expressions of the following familiar form e−S[φ]F [φ]dφ , (1) e−S[φ]dφ R where φ is supposed to live in someR space of “functions”, F [φ] is a member of a useful class of functionals of φ (e.g. a trigonometric polynomial), and finally, S[φ]= (∇φ)2 + m2φ2 + L[φ], where L[·] is a “local” functional of φ and its derivatives. R arXiv:2101.01427v2 [math.FA] 31 May 2021 Of course, it is well-known that the expression above as it stands is a mathe- matical fiction, since there is no useful way of giving meaning to the measure dφ. Nonetheless, it is possible to proceed by combining the quadratic part of S with dφ and work with the resulting Gaussian measure. Even then, the expression above is ill-defined due to the fact that L[φ] is undefined on the support of the Gaussian measure. An enormous amount of work was expended to try to solve these difficulties, see [1, 2, 3] and the numerous references therein. Roughly speaking, there are two kinds of problems one needs to deal with: the ones which appear at the short scales (ultraviolet) and those appearing at the long scales (infrared). One typically proceeds by regularizing the theory in some fashion, by putting in cut-offs and removing them in the end. We shall proceed in the same way. Let us give now the precise definitions. Fix D ∈ N. This will be the number of dimensions in which the φ’s will live in. It will be fixed throughout the paper. Let us first describe the infrared regularization. This is accomplished by essentially moving expression (1) to a sphere. Thus, let R > 0 and D consider the sphere SR in R × R given by the equation x2 + (y − R)2 = R2, where x ∈ RD and y ∈ R. Let s denote the stereographic projection from D SR − (0, 2R) to R given by 2R s(x,y)= x. 2R − y Let ∆(D, l) stand for the dimension of the space of spherical harmonics of 1 ∆(D,l) degree l. Let {Yl,m}m=0 be an orthonormal basis of the this space with respect to the L2 product on SD, where the sphere is given the Hausdorff D+1 measure ΩR induced from the Lebesgue measure on R . If we denote by 2 2 ∇ the Laplace-Beltrami operator on the sphere, and recalling that ∇ Yl,m = −l(l + D − 1)Yl,m, we see that there is a unitary isometry between the Sobolev space2 on the sphere of order k, Hk, and the set of all ‘sequences’,3 {fl,m : m = 0, 1,..., ∆(D, l); l = 0, 1,... } satisfying k 2 l(l + D − 1) + 1 |fl,m| < ∞. l=0,1,...;mX=0,1,...,∆(D,l) It follows in turn that the dual of Hk, H−k is isometric with the space of sequences {φl,m : m = 0, 1,..., ∆(D, l); l = 0, 1,... } satisfying −k 2 l(l + D − 1) + 1 |φl,m| < ∞. l=0,1,...;mX=0,1,...,∆(D,l) Now, note that the expression 1 (2l+D−1)(l+D−2)! ∆(D,l) = (D−1)!l! , but we are not going to need the explicit expression in what follows. 2The most convenient definition of Hα for us is as the completion of the space of C∞ 2 α functions in the norm ||(−∇ + 1) f||L2 . 3We are slightly abusing terminology here since these are labelled by two indices, but this should not cause any confusion. f g B {f }, {g } = l,m l,m (2) l,m l,m l(l + D − 1) + 1 l=0,1,...;mX=0,1,...,∆(D,l) defines a trace class bilinear form on any Hk for a sufficiently large k. It thus follows by standard methods [4], that (2) is the covariance of a Gaus- sian measure µ supported on H−k for a sufficiently large k. At this point we select some such k and will hold it fixed in what follows. Of course, the measure just described is a rigorous realization of the heuristic expression 2 − RSD φ(∇ +1)φdΩR e R dφ. We now move to the ultraviolet regularization. Let h be a positive, smooth, compactly supported and rotationally invariant function on RD. For any Λ > 0, let h˜Λ(x)= h Λx . Let h˜ ◦ s(θ) h (θ)= Λ . Λ ˜ s SD hΛ ◦ (θ)dΩR(θ) It is easy to see, e.g. by consideringR spherical harmonics expansions, that −k ∞ for any element φ ∈ H , we have that φΛ = hΛ ∗ φ ∈ C , where ∗ stands 4 for the convolution on the sphere. Moreover, φΛ → φ (in the sense of distributions) as Λ → ∞. Now, given any bounded measurable function L on RN , we have that the 2 2 2 2 N L φΛ(θ), ∇ φΛ, (∇ ) φΛ(θ),..., (∇ ) φΛ(θ) dΩR(θ) S Z R is a well-defined, bounded function on Hk, which is invariant under the or- thogonal group in D + 1 dimensions, O(D + 1). Consider now the expression 2 N − RS L φΛ,...,(∇ ) φΛ dΩR F [φ]e R dµ . 2 N − RS L φΛ,...,(∇ ) φΛ dΩR R e R dµ This is a well-defined versionR of (1) for any bounded, measurable function F on the support of µ. One would like at this stage to send R and Λ to infinity. ∞ ∞ Therefore suppose {Rn}n=1 and {Λn}n=1 are two sequences of positive num- bers with Rn, Λn →∞. Notice that if we replace R and Λ with Rn and Λn, then the above expression gives a sequence of numbers whose absolute values are bounded from above by ||F ||L∞ . There are several straightforward ways to linearly extract a number from a bounded sequence. We’re going to do 4 For example, one can define f1 ∗ f2(θ)= RSO(D+1) f1(θ)f2(gθ)dg where dg is the Haar measure on the special orthogonal group in D + 1 dimensions, SO(D + 1). it using a Banach limit L.5 More precisely, let L be an element of the dual of l∞ which is norm one, positive, shift invariant6 and which coincides with the usual limit when it acts on a convergent l∞ element. The existence of such a functional L is guaranteed by the Hahn-Banach theorem (see e.g. [5]). We are thus led to consider the following expression 2 N − RS L φΛn ,...,(∇ ) φΛn dΩRn F [φ]e Rn dµ L . (3) 2 N − RS L φΛn ,...,(∇ ) φΛn dΩRn R e Rn dµ ! We will show momentarilyR that the expression above can be considered an integral with respect to a certain measure. However, since we’re interested in measures which are Euclidean invariant and reflection positive, we need to restrict the class of functions F one is willing to consider simply to make these concepts meaningful. We shall take it to be the class of cylindrical functions given in the following Definition. Let D denote the space of smooth, compactly supported func- tions on RD and D′ be its dual, the space of distributions. A function F on ′ D is said to be cylindrical if there is m ∈ N, and there are f1,...,fk ∈ D and a bounded continuous function F˜ on Rm, such that F [T ]= F˜ f1(T ),...,fm(T ) . The set of all cylindrical functions will be denoted by Cyl. It is obvious that the set of cylindrical functions is a vector space. Moreover, for any cylindrical function F [T ]= F˜ f1(T ),...,fm(T ) , we have that F˘[φ]= F˜ f1 ◦ s(φ),...,fm ◦ s(φ) is a bounded continuous function on H−k. Before we state our main result there is one more issue we need to sort out. From renormalization group arguments, one in general would not expect that the measure constructed from (3) would be useful. This is because, as is familiar, one needs to adjust the bare parameters in the Lagrangian as the cutoffs are removed. This would correspond to making the function L above dependent on the cutoff, i.e. dependent on n. Moreover, one should also allow (e.g. by considering the case D = 2) for L to be unbounded, at least 5Another intuitively appealing procedure would be to use nonstandard analysis, by taking R and Λ unlimited, and then extracting the standard part of the limited expression above. 6We can relax the requirement of shift-invariance as nothing in the proofs below will depend on it. ∞ in the limit [2]. Therefore, suppose that {Ln}n=1 is a sequence of bounded functions.7 and consider the expression 2 N − RS Ln φΛn ,...,(∇ ) φΛn dΩRn F [φ]e Rn dµ L = I(F ). (4) 2 N − RS Ln φΛn ,...,(∇ ) φΛn dΩRn R e Rn dµ ! We can now stateR our main result in the following Theorem.