Dirac and normal states on Weyl–von Neumann algebras

We study particular classes of states on the Weyl algebra W\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {W}$$\end{document} associated with a symplectic vector space S and on the von Neumann algebras generated in representations of W\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {W}$$\end{document}. Applications in quantum physics require an implementation of constraint equations, e.g., due to gauge conditions, and can be based on the so-called Dirac states. The states can be characterized by nonlinear functions on S, and it turns out that those corresponding to non-trivial Dirac states are typically discontinuous. We discuss general aspects of this interplay between functions on S and states, but also develop an analysis for a particular example class of non-trivial Dirac states. In the last part, we focus on the specific situation with S=L2(Rn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S = L^2(\mathbb {R}^n)$$\end{document} or test functions on Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^n$$\end{document} and relate properties of states on W\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {W}$$\end{document} with those of generalized functions on Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^n$$\end{document} or with harmonic analysis aspects of corresponding Borel measures on Schwartz functions and on temperate distributions.

1 Introduction and review of the C * -algebraic foundation Grundling and Hurst (cf. [18] and a review in [16]) have developed a program to implement constraints in the C * -algebraic framework for quantum systems. Such constraints are often arising from gauge conditions in field theories and have been discussed already in a sketchy form by Dirac in the 1950s. The application to the C * -algebra of the canonical commutation relations or Weyl algebra is of particular importance regarding the interplay with the so-called regular representations [19] that guarantee the existence of corresponding unbounded field operators. In this context, attempts at rigorous C * -algebraic constructions of basic features of quantum electrodynamics have been started in [15], with improvements supplied by Narnhofer and Thirring in [31].
In Sect. 1.1, we recall the definition of the Weyl or CCR algebra associated with a symplectic space (S, β), while Sect. 1.2 provides a review of Dirac states. Section 2 discusses these notions in the context of representations and normal states on the corresponding von Neumann algebras. Section 3 focusses on the case S = L 2 (R n ) and puts states on the Weyl algebra into a context with generalized functions on R n and measures on Schwartz functions and temperate distributions.
We can then consider S as a complex Hilbert space: Define the multiplication of (z 1 , z 2 ) ∈ Q × Q by a complex scalar r + is simply as (r + is) · (z 1 , z 2 ) := (r z 1 − sz 2 , sz 1 + r z 2 ). (This is isomorphic to the complexification via the real tensor product C ⊗ Q.) The complex inner product is then defined by (y, z) C := β(y, i z) + iβ(y, z) ∀y, z ∈ S. Example 1. 1 The above construction includes two important special cases: (i) Q = R n with the standard inner product, which gives S ∼ = R 2n as the standard symplectic vector space; alternatively, the latter is described as C n with the (real) symplectic form β(y, z) = Im(y T · z)/2. It is the reference model for quantum systems with finitely many degrees of freedom. (ii) We obtain the complex Hilbert space S ∼ = L 2 (R n ) from Q being the subspace of real-valued functions and identifying ( f 1 , The (real) symplectic form is then simply given by β( f , g) = Im f |g /2, where .|. denotes the standard complex L 2 -inner product. This is typically the oneparticle space for a Fock space model in quantum field theory.
The Weyl algebra over the symplectic space (S, β) will be denoted here by W(S, β) (in the literature also CCR(S, β)) or simply by W and is defined as the unique C *algebra (cf. [28,Theorem 2.1]) generated by a set {W (z)|z ∈ S} such that ∀y, z ∈ S : W (−z) = W (z) * and W (y)W (z) = e iβ(y,z) W (y + z). (2) In particular, every W (z) is unitary and W (0) is the unit in W, which we simply denote by 1.
Representations of the Weyl algebra as operator algebras on Hilbert spaces are at the heart of quantum physics. In particular, this is true of those representations that are regular in the sense that for any z 0 ∈ S there is a corresponding observable, i.e., a self-adjoint generator of (the image of) the unitary group (W (tz 0 )) t∈R . In the case of finitely, many degrees of freedom corresponding to Q = R n as in (i) of the above example, the well-known von Neumann uniqueness result shows that, up to unitary equivalence, the Schrödinger representation is the unique irreducible regular representation, (cf. [ . Quantum field theory relies on infinitely many degrees of freedom, i.e., S being not finite dimensional, and it turns out that there exist uncountably many inequivalent irreducible regular representations. An original proposal for a classification was outlined in [11] and information on further developments, with S essentially as in Example 1.1(ii), can be found in [5,Theorem 5.2.14 and Notes and Remarks Chapter 5]. The case where S is a locally convex vector space is discussed in [23] and [22], where also generalized Schrödinger and Fock representations are constructed. Remark 1.2 More generally, as was shown by Slawny in [29], one can construct a unique Weyl algebra W(G, b) over any commutative group G with a non-degenerate bicharacter b : G × G → S 1 , i.e., b is a character in each argument separately and b(x, y)b(x, y) −1 = 1 for all y ∈ G implies that x = 0. One can alternatively describe W(G, b) as a C * -subalgebra of the group C * -algebra for a corresponding Heisenberg group G × S 1 as given in [23,Proposition 1]. In particular, this allows for a mathematical framework of certain non-commutative versions of the commutative C * -algebra C(S 1 × S 1 ) of complex-valued continuous functions on the two-torus S 1 × S 1 . Note that the latter is generated by the countable family of functions W (n) (n ∈ Z 2 ), where W (n)(z 1 , z 2 ) := exp(2πi(n 1 z 1 + n 2 z 2 )) and clearly W (m)W (n) = W (m + n) holds for all m, n belonging to the commutative group Z 2 . Some models studied in quantum statistical mechanics made use of a θ -deformed Weyl algebra A θ on the two-torus with real deformation parameter θ (cf., e.g., [2,3]). It can be described in terms of the group Z 2 with θ -dependent bicharacter, or more directly by the Weyl-type relations The C * -algebra A θ appears also in the context of rigorous models for the quantum Hall effect, where θ is proportional to the product of the magnetic field with the electric charge (cf. [1, Section 8, Equation (4)]).

Review of Dirac states on W
Recall that a state over a C * -algebra is a normalized positive linear functional. If L is a subspace of S, e.g., representing constraints, then the Weyl relations (2) show that W L := span{W (y)|y ∈ L} is a * -subalgebra of W, and the basic idea in [18] is that the physical states should have trivial values on the unitary generators W (y). The following definition is slightly rephrasing the original notion from [18,Equation (2.4)] and agrees with the variant used in [19,Section 3]. Definition 1.3 A state ω over W is called a Dirac state adapted to the subspace L ⊆ S, if ∀y ∈ L : ω(W (y)) = 1.
We will use the notion of a Dirac state on A for any state μ defined on a C * -subalgebra A ⊆ W with A ⊇ {W (y)|y ∈ L} and such that μ(W (y)) = 1 for every y ∈ L. Example 1. 4 In the case S = Q × Q with a real Hilbert space and β as in (1), we may consider the Lagrangian subspace L := {0} × Q of "momentum variables". A Dirac state adapted to L is then required to satisfy ω(W (0, z 2 )) = 1 for every z 2 ∈ Q. We will discuss a construction of such a Dirac state below in Example 2.4.
According to [17,Lemma 6.1] (see also [16,Theorem 17(i)]), we have that Dirac states adapted to L exist for the Weyl algebra if and only if the subspace L is β- and we will always suppose this from now on.
The following statement shows that the constraints are implemented in the GNS representation of a Dirac state by trivial action of the corresponding generators on the cyclic (vacuum) vector. In [16, Definition 2.1], the same property is even taken as the definition of Dirac states in case of unitary constraints. The result is included in the more general statement in [18,Theorem 2.19(ii)], but we will nevertheless give a simple direct proof in case of the Weyl algebra here.

Proposition 1.5
Let ω be a state over W and π ω : W → B(H ω ) be the corresponding GNS representation with cyclic vector ω . Let L be a subspace of S, then ω is a Dirac state adapted to L, if and only if π ω (W (y)) ω = ω ∀y ∈ L.
Following [18,Section 2], one can improve the above result considerably on a C * -subalgebra O of W, which is used in implementing the algebra of observables compatible with the constraint conditions. The construction of O is as follows: Let L be the C * -subalgebra of W generated by {W (y) − 1|y ∈ L}, D be the closure of (W · L) ∩ (W · L) * in W, and define In particular, we obtain from the above proposition for a Dirac state μ on O and y ∈ L that π μ (W (y)) is the identity, since W (y) − 1 ∈ L ⊆ D. Although one can always extend μ to a (Dirac) state μ on W, we will not necessarily obtain D ⊆ ker π μ . (We have O ∩ ker π μ ⊆ ker π μ , but cannot expect equality in general. With μ = ω 0 as in Example 2.4 and μ its restriction to O, we obtain a counterexample, because W (0, z 2 )−1 with z 2 = 0 is not mapped to the zero operator in the GNS representation π ω 0 .) If we consider instead a situation where we start with a Dirac state ω on W, then we may at least conclude that the operators π ω (W (y)) with y ∈ L act trivially on a certain subspace of H ω generated from O. Since ω(B DC) = π ω (B * ) ω |π ω (D)π ω (C) ω , we obtain that π ω (D)ξ = 0 for D ∈ D and ξ ∈ span{π ω (A) ω |A ∈ O} = H ω (O), which proves the claim upon setting D = W (y)− 1.
Recall that a state ω on the Weyl algebra is called regular, if the corresponding GNS representation π ω : W → B(H ω ) is regular, that is, for every z ∈ S, the map R → B(H ω ) given by t → π ω (W (tz)) is continuous with respect to the strong operator topology on B(H ω ), i.e., t → π ω (W (tz))ξ is continuous R → H ω for every ξ ∈ H ω . The relevance of this notion for physics stems from the fact that it guarantees the existence of self-adjoint field operators (z) (z ∈ S) as generators of the unitary groups (π ω (W (tz))) t∈R . Remark 1. 8 We recall that for any * -representation π : W → B(H ) of W on some Hilbert space H , one has equivalence of regularity in the sense of the strong operator topology with that in the weak operator topology. Trivially, the former implies the latter, which is characterized by requiring that for every z ∈ S, the map t → ξ |π(W (tz))η is continuous R → C for arbitrary ξ, η ∈ H . To prove the reverse implication, we first note that by the group property of (π(W (tz))) t∈R , it suffices to show continuity at t = 0, and then apply the Weyl relations to observe If ω is a regular state on W, then we clearly have for every z ∈ S that the map According to [28,Proposition 3.5] even a converse of this is true, thus we have the following result. The condition for a Dirac state can be put into the following alternative form, which follows from a discussion around Theorem 2.6(ii) in [18], but we give a simple adaptation of its proof here. Proof Clearly, if ω satisfies the above, then putting A = 1 shows that it is a Dirac state. For the converse statement, suppose ω is a Dirac state adapted to L, y ∈ L, and A ∈ W. As noted already in the proof of Proposition 1.5, we have for T y := W (y) − 1 that ω(T * y T y ) = 0. Therefore the Cauchy-Schwarz inequality yields |ω(AT y )| 2 ≤ ω(A A * )ω(T * y T y ) = 0, which implies AT y ∈ ker ω, i.e., ω(AW (y)) = ω(A) holds for arbitrary A ∈ W and y ∈ L. Since ker ω is an involutive subset of W we obtain that also W (y)A ∈ ker ω for all A ∈ W and y ∈ L and the proof is complete.
It turns out that the requirement to be a Dirac state adapted to an isotropic subspace L of S is in conflict with regularity for that state. This result is shown [19, Theorem 3.1], but it is instructive to repeat (and slightly simplify) its proof here. Proof Let ω be a Dirac state over W adapted to L. By assumption, we have S\L β = ∅. Claim Let z 0 ∈ S\L β be arbitrary, then ω(W (z 0 )) = 0. To prove the claim we choose y 0 ∈ L such that β(y 0 , z 0 ) = 0. By Lemma 1.10, we have Since β(y 0 , z 0 ) = 0, the outermost members imply ω(W (z 0 + t y 0 )) = 0 and thus ω(W (z 0 )) = 0.
If z 0 ∈ S\L β , then tz 0 ∈ S\L β for every t = 0, and the claim applies then to tz 0 and shows that ω(W (tz 0 )) = 0. We obtain that the map f : Thus Proposition 1.9 shows that ω cannot be regular.
As explained in [19] and [16], the incompatibility of regularity with the Dirac property is resolved by observing that the discontinuity of the GNS representation in the above proof is caused by an element W (z 0 ) ∈ W\O, with O defined in (4), while it is the quotient O/D that has to be considered as C * -algebra of physical observables and the Dirac states on O are in 1-1-correspondence with the set of all states on O/D. Thus there exist regular GNS representations of the physical observables defining there also the self-adjoint field operators.

Normal states on von Neumann algebras generated from representations of W
Let π : W → B(H ) be a representation of W. Since W is simple ([29, Theorem 3.7(i)]), we have ker(π ) = {0} and hence π is an isometric * -isomorphism of W with π(W) (the latter as a C * -subalgebra of B(H )). We denote by W π the von Neumann algebra generated from π(W) ⊆ B(H ) which is obtained as the double commutant π(W) . Moreover, π(W) agrees with the closure of π(W) in the strong or the weak operator topology or also in the weak* topology of B(H ) (cf. [ . It turns out that in the situation described previously, the factor W π is always of type I; it is thus isomorphic to the full algebra of bounded operators on some Hilbert space ([24, Theorem 6.6.1]). On the other hand, Slawny used in [29, Section 3] explicitly a type II representation of the Weyl relations to define the Weyl algebra as a C * -algebra. (ii) In case of the θ -deformed Weyl algebra A θ on the two torus, mentioned in Remark 1.2, the types of operator algebras generated in physically relevant GNS representations in [3] turned out to be dependent on θ , namely, they produced von Neumann algebras of type I for rational θ , but a type II factor for irrational values of θ . Using a characterization of the so-called tame discrete groups, one can show that the von Neumann algebra generated in any representation of A θ is always of type I, if and only if θ is rational (cf. [21]).
Recall that the weak* topology on B(H ) is defined by the seminorms C → |tr(CT )|, where T varies in the set of trace class operators on H . Normal states on a von Neumann algebra respect limits of increasing nets of hermitian operators in the strong operator topology and may be characterized as the weak* continuous states, or alternatively, as those given in the form C → tr(CT ) with a positive trace class operator T such that tr(T ) = 1 ([9, Theorem 46.4]).

Lemma 2.2
If the representation π is regular, then any normal state μ on W π defines a regular state ω := μ • π on W.
Proof For arbitrary z ∈ S, g z : t → π(W (tz)) maps into the bounded subset of unitary operators U (H ) ⊆ B(H ), on which the weak operator topology agrees with the weak* topology ([9, Proposition 20.1(b)]). Thus, g z is weak* continuous and the composition with the normal state μ then gives the continuous map t → ω(W (tz)) = μ(π(W (tz))), which proves regularity of ω by Proposition 1.9.
In the situation of the above lemma, the normal state μ can also be considered to induce a regular state on W := π(W), if we consider W (z) := π(W (z)) (z ∈ S) as the Weyl generators, because t → μ( W (tz)) = μ(π(W (tz))) is continuous. The following result is immediate from the lemma and Theorem 1.11.

Corollary 2.3
Let π : W → B(H ) be a regular representation and W π be the von Neumann algebra generated from π(W). If L = {0}, then there is no normal Dirac state μ on W π , i.e., there exists no normal state μ on W π such that μ(π(W (y))) = 1 holds for every y ∈ L.
The following example is inspired by a Dirac state that has been applied in [31] to implement a gauge condition in Quantum Electrodynamics.

Example 2.4
We take up Example 1.4, where S = Q × Q with a real Hilbert space Q and L := {0} × Q. We apply [28, Proposition 3.1] to show that there exists a state ω 0 on W such that We have to verify that the function g 0 : S → C satisfies g 0 (0) = 1 (which is obvious) and that the map h : Obviously, ω 0 is a Dirac state on W adapted to L, since ω 0 (W (0, z 2 )) = 1 for every z 2 ∈ Q. Denote the corresponding GNS representation by π 0 : W → B(H 0 ) and its standard cyclic vector by 0 . It is obviously not weakly operator continuous, since for any nonzero z 1 ∈ Q and t = 0, 0 |π 0 (W (tz 1 The non-regular GNS representation π 0 associated with the Dirac state ω 0 gives π 0 (W) ⊆ B(H 0 ) as a * -isomorphic isometric image of the Weyl algebra in the form of operators on the non-separable Hilbert space H 0 . Let W 0 denote the Weyl-von Neumann algebra generated from π 0 (W). The cyclic vector 0 ∈ H 0 induces the corresponding vector state μ on B(H 0 ), given by μ(A) := 0 |A 0 for every A ∈ B(H 0 ), which is clearly a normal state. Let μ 0 denote the restriction of μ to W 0 .
By construction, we have μ 0 • π 0 = ω 0 and therefore μ 0 is a normal Dirac state on W 0 adapted to L.
Theorem 2.5 Let π : W → B(H ) be a representation and W π be the von Neumann algebra generated from π(W). If μ is a normal state over W π and h : S → C is defined by h(z) := μ(π(W (z))) (z ∈ S), then h belongs to the closure V π of span{ f ξ |ξ ∈ H } in F b (S).
Proof By [24, Theorem 7.1.12], there exists a countable orthonormal family (ξ n ) n∈N of vectors in H , such that μ(A) = n∈N ν ξ n (A) for every A ∈ W π , where the convergence of the series is uniformly in A varying in any bounded set of operators. Since π(W (x)) = 1, we deduce that h is the uniform limit of the partial sums m n=1 f ξ n ∈ F b (S) as m → ∞.
Note that we have a natural topology on S, if S = Q × Q with a real Hilbert space Q. In case of a regular representation π : W → B(H ), every function f ξ : S → C is continuous. Therefore, span{ f ξ |ξ ∈ H } is contained in the space C b (S) of bounded continuous functions S → C and we obtain the following direct consequence. Corollary 2.6 If S = Q × Q with a real Hilbert space Q and the representation π in Theorem 2.5 is regular, then h ∈ V π ⊆ C b (S). We observe that f belongs to the space C 0 (R 2n ) of continuous functions vanishing at infinity. We claim that V π ⊆ C 0 (R 2n ), which implies then that also the function z → μ(π(W (z)))belongs to C 0 (R 2n ) for any normal state μ on W π .
To prove V π ⊆ C 0 (R 2n ), we start by recalling that span{π(W (y)) |y ∈ R 2n } is dense in H . Let ξ = W (x) and η = π(W (y)) with x, y ∈ R 2n . An application of which shows that also f ξ,η (z) → 0 as z → ∞. Suppose ζ ∈ H is approximated by a linear combination of the form η := λ 1 ξ 1 + . . . λ m ξ m with ξ j = π(W (x j )) , x j ∈ R 2n , and λ j ∈ C. We have f η = m j,k=1 λ j λ k f ξ j ,ξ k ∈ C 0 (R 2n ) and the standard estimate implies that f ζ ∈ C 0 (R 2n ). Therefore, span{ f ξ |ξ ∈ H } ⊆ C 0 (R 2n ), which completes the proof, since V π is the closure. Note that the property that h(z) := μ(π(W (z))) defines a function h ∈ C 0 (R 2n ) for any normal state μ, provides a direct proof that for a non-trivial subspace L ⊆ R 2n no normal Dirac state can exist on W π = B(L 2 (R n )), since this would require h(y) = 1 for all y ∈ L, which gives a contradiction, if we choose y → ∞.
(ii) Generalizing the above example to infinitely many degrees of freedom in the Weyl algebra, let S be a complex Hilbert space with inner product (., .) C and the symplectic form on the underlying real vector space S be defined by β(x, y) := Im(x, y) C /2. We consider the Fock representation π : W → B(H ) (cf. [5, Subsection 5.2.3]) which is the irreducible GNS representation, with cyclic vector , corresponding to the regular and pure state ω F on W with the property ∀z ∈ S : ω F (W (z)) = |π(W (z)) = e − z 2 /4 .
According to [5,Theorem 5.2.14], the normal states on W π = B(H ) are exactly those possessing densely defined self-adjoint number operators in their corresponding GNS representations. We can add some qualitative information about the function h : S → C associated with a normal state μ via h(z) := μ(π(W (z))), following the lines of argument in (i). In fact, the details of reasoning from (i) in showing that h(z) → 0 as z → ∞ can be taken over without change. However, since S is not locally compact, we can no longer claim that h (or any of the f ξ ) belongs to C 0 (S), if the latter is defined as the ∞ -closure of the subspace of continuous functions with compact support, which then yields C 0 (S) = {0}. By Corollary 2.6, we know a priori that V π ⊆ C b (S), because the Fock representation is regular, and we can still say that 3 States on the Weyl algebra W with parameter space L 2 (R n )

Functions induced from states on the Weyl algebra
We focus now on the situation of our main example class, where S is the complexification of a real Hilbert space Q and the symplectic form is defined as in (1). We saw in Theorem 1.11 that (non-trivial) Dirac states ω on the Weyl algebra W then correspond to discontinuous functions S → C, z → ω(W (z)). By Theorem 2.5, nor-mal states over the Weyl-von Neumann algebra W π in any representation π belong to the closed subspace V π generated from vector functionals within the Banach space of bounded functions F b (S, C). In general, V π is not contained in the subspace of continuous bounded functions C b (S), as could be seen at the end of Example 2.4, but for GNS representations associated with states inducing measurable functions on S we can guarantee that all of V π consists of Borel measurable functions on S. Proposition 3.1 Let π be the GNS representation of W corresponding to the state ω and let g : S → C denote the function z → ω(W (z)). If g is Borel measurable, then V π (as defined in Theorem 2.5) is contained in the space of bounded Borel measurable complex functions on S.
Proof Since V π consists of uniform limits of linear combinations of the functions f ξ (ξ ∈ H ), it suffices to show that every f ξ is Borel measurable. Reasoning as in Example 2.7, more precisely, as in the paragraph containing Eqs. (5) and (6), everything boils down to the measurability of the following expression with respect to z ∈ S, where denotes the cyclic vector of the GNS representation and ξ = π(W (x)) , η = π(W (y)) with x, y ∈ S: The exponential factor is continuous, hence Borel measurable. Since translation is a homeomorphism S → S, the Borel σ -algebra in S is translation invariant. Therefore, the measurability of g implies that of the translate g(. − x + y) and the proof is complete.
We come now back to the Dirac state ω 0 with GNS representation π 0 : W → B(H 0 ) constructed in Example 2.4. By the above proposition, for every z ∈ S and ξ, η ∈ H 0 , the map t → ξ |π 0 (W (tz))η is measurable R → C, though typically discontinuous. We remark in passing that this provides an alternative reason for the non-separability of H 0 , since separability of H 0 would imply strong continuity of that same map ([8, Chapter X, Theorem 5.4]). We will now show that ω 0 is approximated by regular states in the sense of pointwise convergence.

Proposition 3.2 The Dirac state ω 0 from Example 2.4 is the weak* limit of the sequence (ω l ) l∈N of regular states given by
Proof Every ω l is an example of a quasifree, hence regular, state by [28, Theorem 3.4 and Proposition 3.5]. The sequence (ω l ) l∈N of states on the C * -algebra W clearly has the uniform operator norm bound 1 and the subspace D := span{W (z)|z ∈ S} is norm dense in W. It therefore suffices to show the convergence to ω 0 on every element W (z) (z ∈ S), because then convergence on D is clear and we obtain that (ω l (A)) l∈N is a Cauchy sequence for any A ∈ W upon approximating A by some B ∈ D and using the standard estimate (W (z)). If z 1 = 0, then obviously ω l (W (z)) → 1 = ω 0 (W (z)) as l → ∞.
Note tat in the previous statement, ω 1 is the Fock state denoted by ω F in Example 2.7(ii) and the state ω l is a rescaling of it stemming from the symplectomorphism (z 1 , z 2 ) → (lz 1 , z 2 /l) on S.
For the remainder of this section, we will consider more specifically the case with S = L 2 (R n ) and symplectic form Im .|. /2 as in Example 1.1(ii). The function g : L 2 (R n ) → C induced by a state ω on W is given by Clearly, g is a nonlinear bounded function since |g(ψ)| = |ω(W (ψ))| ≤ W (ψ) = 1 and, in general, not continuous as can be seen with g 0 (ψ) := ω 0 (W (ψ)) induced by the state ω 0 as given in Example 2.4: Here, L = {0} × Q can be identified with the subspace of L 2 -functions having values in iR; thus, we have g 0 (ψ) = 0, if ψ ∈ L 2 (R n ) has nonvanishing real part, and g 0 (ψ) = 1 otherwise; (9) choose ψ 0 ∈ L 2 (R n ) real-valued and nonzero; then, we have 1 k ψ 0 → 0 as k → ∞ and g 0 ( 1 k ψ 0 ) = 0 for every k, but g 0 (0) = 1. Let g l (l ∈ N) denote the function on L 2 (R n ) associated with the quasifree state (7) ω l , i.e., Every g l is continuous L 2 (R n ) → C, even infinitely often Fréchet-differentiable, since the exponent is just the restriction of a continuous R-bilinear form to the diagonal in L 2 (R n ) × L 2 (R n ) ( [10, 8.12.9]). The sequence (g l ) l∈N converges to g 0 pointwise on L 2 (R n ), which is essentially a repetition of the weak* convergence of (ω l ) l∈N shown above.

Remark 3.3
We may restrict g l and g 0 to the subspace of test functions D(R n ) and then ask whether these can be considered to be generalized functions on R n in the sense of Colombeau's approach in [7], which is based on smooth functions D(R n ) → C. As explained in [14], the original notion of differentiability can (on D(R n ) and E (R n )) be equivalently replaced by smoothness in the sense of the so-called convenient setting, e.g., described in [26]. The latter can be checked by asking whether smooth curves are mapped into smooth curves. We immediately see that g 0 is not smooth in that sense (picking a real-valued 0 = ϕ 0 ∈ D(R), the curve t → tϕ 0 is smooth R → D(R n ), while t → g 0 (tϕ 0 ) is not smooth at t = 0). On the other hand, every g l is smooth, since any smooth curve into D(R n ) yields also a smooth curve into L 2 (R n ) in the norm sense, and thus, the Fréchet-differentiability of g l implies smoothness of the image curve into C. For g l to define a Colombeau generalized function as an equivalence class [g l ] ∈ G(R n ), one has to test moderateness as ε → 0 upon inserting derivatives of εscaled delta-nets from D(R n ) into derivatives of g l and then map to the quotient modulo the functions with rapidly vanishing ε-tests. In all the testing calculations for g l , we obtain a common overall factor of the form exp(−cε −n ), since φ ε,x is a positive kernel in the sense that for all n ∈ N, x (1) , . . . x (n) ∈ S, and c 1 , . . . , c n ∈ C, n j,k=1 In the sequel, we will mostly consider the restrictions of scalar functions on S = L 2 (R n ) to the subspace S (R n ) of Schwartz functions.

The case of continuous induced functions
For the specific class of continuous functions g : L 2 (R n ) → C, the above correspondence with states on W has an additional relation with measures on the space of temperate distributions S (R n ), which is based on the so-called Bochner-Minlos theorem (cf. [ , which we briefly recall: To simplify notation, let us write S , S in place of S (R n ), S (R n ), respectively, and denote by S R the subspace of real-valued functions in S with the (real) dual space S R . The generating functional of a regular Borel probability measure ν on S R is the function F : S R → C, defined by The basic properties of F are (i) F(0) = 1, (ii) continuity, and (iii) positive (semi-)definiteness, i.e., 0 ≤ N j,k=1 c j c k F(ϕ j − ϕ k ) for all N ∈ N, c j ∈ C, ϕ j ∈ S R . Conversely, given a Function F : S R → C with properties (i)-(iii), there exists a unique regular Borel probability measure ν on S R such that (13) holds, i.e., F is a kind of inverse Fourier transform of ν. Now let g : L 2 (R n ) → C be continuous with g(0) = 1 and such that it defines a positive kernel in the sense of (11) and (12). We consider F 1 : S R → C obtained by restriction of g to the subspace of real-valued Schwartz functions. Since β(ϕ, ψ) = Im ϕ|ψ /2 = 0 for all ϕ, ψ ∈ S R , (12) implies that F 1 is positive (semi-)definite in the sense required for the Bochner-Minlos theorem. Thus, there is a unique regular Borel measure ν 1 on S R with ν 1 (S R ) = 1 such that and we may formulate the following result.

Proposition 3.4
If ω is a state on the Weyl algebra W over L 2 (R n ) with continuous induced map g : L 2 (R n ) → C, ϕ → ω(W (ϕ)), then there is a unique regular Borel probability measure ν 1 on S R such that (14) holds. (7) with induced function given in (10) (14); this holds more generally for any Gaussian-type function given in terms of a covariance operator as those described at the end of Remark 3.3. (ii) As explained in [12, Chapter IV, Subsection 5.4], one may use L 2 (S R , ν 1 ) as a representation Hilbert space for the canonical commutation relations, i.e., of the Weyl algebra W. For any ϕ ∈ S R , the action of W (ϕ) is multiplication by the function u → exp(i u, ϕ ), while the action of W (iϕ) on a function f ∈ L 2 (S R , ν g ) produces the function u → a ϕ (u) f (u + R ϕ ), where R ϕ ∈ S R is defined by ψ → β(ψ, iϕ) and a ϕ : S R → C results from (a pre-defined) action of W (iϕ) on 1 ∈ L 2 (S R , ν 1 ), subject to the functional equation a ϕ 1 +ϕ 2 (u) = a ϕ 1 (u)a ϕ 2 (u + R ϕ 1 ).

Remark 3.5 (i) For each quasifree state
An analogous construction starting from F 2 : S R → C, defined by F 2 (ϕ) := g(iϕ) for all ϕ ∈ S R , gives a regular Borel probability measure ν 2 on S R such that In case g is of product form in the sense that g(ψ) = g(Re ψ + i Im ψ) = g 1 (Re ψ)g 2 (i Im ψ) holds for all ψ ∈ S , one can easily combine the two measures ν 1 and ν 2 obtained for the real and imaginary part separately. Fubini's theorem yields a straightforward interpretation in terms of the product measure ν 1 ⊗ ν 2 by This applies, for example, directly to Gaussian-type functions g. If g ∈ C b (S R ) ⊗ C b (iS R ), say g = N k=1 g 1,k ⊗ g 2,k with g 1,k ∈ C b (S R ) and g 2,k ∈ C b (iS R ) and corresponding measures ν 1,k and ν 2,k on S R (k = 1, . . . , N ), then we obtain with ν := N k=1 ν 1,k ⊗ ν 2,k the representation It is tempting to think of a situation where g ∈ C b (S ) is approximated in norm by a sequence of functions g (m) ∈ C b (S R ) ⊗ C b (iS R ) and each g (m) is given by a Fourier integral of a measure ν (m) on S ∼ = S R × S R as above. One might then hope that ν (m) converges to a measure ν on S in an appropriate sense and that a similar Fourier integral representation for g in terms of ν could be achieved. In particular with the current context, where the underlying topological groups are not locally compact, the author is not aware of results to settle these questions. Suppose now that ν is a Borel probability measure on S R satisfying a polynomial growth condition in the sense that any function of the form 1, . . . , k).
(16) Let F be given by the formula in Eq. (13), then we claim that F is smooth on the subspace D R ⊆ D(R n ) of real-valued test functions in the sense of the convenient setting as described briefly in Remark 3.3 (this smoothness holds also on S R ). In fact, let c : I → D R be a smooth curve defined on some interval I ⊆ R and put f (t, u) := exp(i u, c(t) ) for every t ∈ I and u ∈ S R . We may apply the standard theorems about integrals with dependence on real parameters, since u → f (t, u) is ν-integrable for every t ∈ I , the function t → f (t, u) is smooth I → R for every u ∈ S R , and every derivative ∂ k t f (t, u) (k ∈ N 0 ) is bounded by some ν-integrable function. Moreover, inserting ε-scaled and x-shifted delta-nets for ϕ as used for testing moderateness in Colombeau's theory, it is easily seen from the structure of higher derivatives, namely as polynomial times exponential with purely imaginary exponent, that we always obtain uniform upper bounds in terms of polynomials in 1/ε for x varying in compact subsets of R n . Thus, F as given in (13) does define a (real) Colombeau generalized function on R n . To summarize, we have shown the following statement.

Proposition 3.6
Let ω be a state on the Weyl algebra W(L 2 (R n ), β) with continuous induced function g : L 2 (R n ) → C and such that the measure ν 1 on S R in the representation (14) satisfies polynomial growth conditions as in (16). Then the restriction of g to real test functions defines a Colombeau generalized functions on R n . The analogous statement holds for the restriction of g to imaginary parts, if also the measure ν 2 in (15) satisfies polynomial growth conditions.

Harmonic analysis for more general types of induced functions
Here we investigate how to go beyond continuity of the function induced by a state on the Weyl algebra over L 2 (R n ) and try to find some structure in case of a Borel measurable function g : L 2 (R n ) → C that satisfies g(0) = 1 and (11)(12). In particular, this would be interesting for the discontinuous function g 0 constructed in Example 2.4 from a Dirac state and which is the pointwise limit of a sequence of continuous functions corresponding to regular states on the Weyl algebra.
To compare with the finite-dimensional situation, recall that on R d any Lebesgue measurable positive definite function coincides almost everywhere with a continuous positive definite function ( [4,Theorem 3.10.20]) and is thus the inverse Fourier transform of some nonnegative measure by the classical Bochner theorem. According to [4,Corollary 7.13.8], a function g : L 2 (R n ) → C with g(0) = 1 is the generating functional of a regular Borel probability measure on L 2 (R n ), if and only if g is positive definite and continuous with respect to the Sazonov topology, which is generated by the seminorms ϕ → p T (ϕ) := T ϕ , where T is a Hilbert-Schmidt operator. We immediately see that the function g 0 induced from the Dirac state in Example 2.4 is certainly not continuous on L 2 (R n ) with respect to the Sazonov topology, since the latter is coarser than the norm topology.
Let us denote the restriction to S again by g 0 and note that we have where 1 L denotes the characteristic function of the subspace Let us once more stress a finite-dimensional analog: If L 0 is a subspace of R d , then the density function 1 L 0 on R d corresponds to the Euclidean surface measure δ L 0 on L 0 belongs to S (R d ) and has Fourier transform but we will be able to rewrite this with more functional analytic notation in a moment.
We also have the so-called co-Fourier transform which maps an element ν ∈ M( S ) to the function ν : S → C, defined by Since a character λ ∈ S has to be continuous S → T ⊆ C and to satisfy λ(ϕ + ψ) = λ(ϕ)λ(ψ) for all ϕ, ψ, we obviously obtain examples of such in the following form: Denote by S 0 the space of continuous R-linear functionals S → R and let u ∈ S 0 ; then we define λ u : S → T by λ u (ϕ) := e i u,ϕ ∀ϕ ∈ S .
It follows from [30, Lemma 1] that the map u → λ u defines an algebraic isomorphism of groups S 0 → S and, in addition, is a homeomorphism, if S 0 is equipped with the topology τ c of uniform convergence on the compact subsets of S . Since S is a Montel space, the topology τ c coincides with the standard (strong) topology on S 0 ([32, Proposition 34.5]) and we obtain the following statement.

Lemma 3.8
The dual group S is isomorphic as a topological group to S 0 . Remark 3.9 (i) In the general context of a reflexive locally convex vector space E in place of S , the analog of the above observation is also at the basis of a variant of Pontryagin's classical theorem for locally compact abelian groups. Namely, it is true that the canonical map ι from E into the dual of the dual group E, where ι(x)(λ) := λ(x) for x ∈ E and λ ∈ E, is an isomorphism of topological groups. Somewhat surprisingly, in general, reflexivity of a locally convex vector space is not necessary for the Pontryagin-type reflexivity as a topological group; for example, any Banach space has the Pontryagin property, regardless whether it is reflexive or not (see [30] and also [6] for a broader overview in the context of topological groups). (ii) We have the R-linear isomorphism S → S 0 given by u → Re u. (Injectivity follows, since Re u = 0 implies u(ψ) = i Im u(ψ) for all ψ ∈ S and then iu(ψ) = u(iψ) = i Im u(iψ) = i Im(iu(ψ)) = i Re u(ψ) = 0. Surjectivity is established by showing that for any w ∈ S 0 , the map u : S → C, u(ψ) := w(ψ) − iw(iψ) is C-linear.) We could therefore alternatively define a character χ v ∈ S for any v ∈ S by and then obtain instead the isomorphism S ∼ = S of topological groups. However, for the formulae of Fourier transforms below, we prefer to avoid the explicit appearance of the real part in the exponent and will stay with the character space Lemma 3.8 allows us to rephrase the definition of the Fourier transform (20) and of the co-Fourier transform (21) with some abuse of notation in the following way: For any element μ ∈ M(S ), we have as Fourier transform the function Fμ = μ : S 0 → C, defined by If ν ∈ M(S 0 ), then its co-Fourier transform ν : S → C is given by Example 3. 10 We can partially mimic the typical duality trick from distribution theory by employing the obvious definitions for the action of a finite Borel measure on a bounded Borel measurable function, both considered either on S or on S 0 . Let μ ∈ M(S ) and ν ∈ M(S 0 ) be arbitrary, then we obtain from Fubini's theorem and upon defining ν(ϕ) := ν(−ϕ) the following familiar looking relation Similarly, defining μ(u) := μ(−u), we also have μ, ν = μ, ν . The special case with μ = δ 0 ∈ M(S ) gives δ 0 = 1 and 1, ν = δ 0 , ν , while we obtain for the case ν = δ 0 ∈ M(S 0 ) that δ 0 = 1 and μ, 1 = μ, δ 0 . However, these relations do not provide us with a complement to Example 3.7 in terms of a formula like δ 0 = 1 or δ 0 = 1, because the duality pairings used above do not extend to Fourier (co-)transforms of infinite measures or bounded Borel measurable functions. One would need to identify test function spaces on S and on S 0 that are mapped into each other by the Fourier (co-)transform and at the same time both allow for a duality pairing with infinite measures or bounded Borel functions.

Remark 3.11
In pursuing the quest for an infinite-dimensional analog of the formula 1 = δ 0 , let us add the following bits of heuristics to the above example: Let ν l (l ∈ N) be a Gaussian measure on S 0 with generating functional of the form ν l (ϕ) = exp(−l 2 ϕ 2 L 2 /4) (compare with Remark 3.5). On the one hand, for any μ ∈ M(S ) and writing d 0 := 1 {0} , dominated convergence implies that μ, ν l → μ({0}) = μ, d 0 as l → ∞, thus ν l → d 0 . On the other hand, noting that ν l has covariance operator l 2 times the identity on S (cf. [13, Appendix to Part I, Section A.4]), we have ∀ϕ, ψ ∈ S : This formula suggests that ν l may be seen as an approximation to an (unbounded) measure on S 0 with "some constant density c > 0", i.e., ν l ≈ c for large l. Combining these two aspects we obtain in a vague sense that c μ, 1 = c μ, 1 ≈ μ, ν l = μ, ν l → μ, d 0 , which supports the idea to expect some relation like 1 ≈ d 0 /c.
Coming back to the search for an analog of formula (19) in case of the subspace L ⊆ S defined in (18) we consider the topological direct sum decomposition where K := {ψ ∈ S | Im ψ = 0}. This implies then the decomposition in terms of the annihilators, where V ⊥ := {u ∈ S 0 |∀ψ ∈ V : u, ψ = 0} for any V ⊆ S . Recall that we had identified g 0 : S → C in (17) with the characteristic function 1 L of L and define also h 0 := 1 L ⊥ as a function on S 0 . Any of the relations h 0 = g 0 or g 0 = h 0 could be considered an analog of (19), and we will argue that they hold at least in some approximate sense.
Recall that the product f ·ρ of a bounded Borel measurable function f with a Borel measure ρ is the measure assigning the value B f (x) dρ(x) to any Borel subset B.
We have g 0 μ = δ 0 ⊗ μ 2 by (i) in the above lemma; hence, this can be considered an approximation for a "surface measure" δ L on L, if μ 2 is a positive measure with large support (e.g., Gaussian measures as mentioned in Remark 3.11). In a similar way, one can derive the equation and this measure resembles an approximation of a "surface measure" δ L ⊥ on L ⊥ , if supp(ρ 1 ) is large and ρ 1 is positive. Note that for ρ := ρ 1 ⊗ δ 0 we obtain ρ = ρ(S 0 ) = ρ 1 (L ⊥ )δ 0 (K ⊥ ) = ρ 1 (L ⊥ ), if ρ 1 is positive. From Eq. (25), we then immediately obtain the following result.
Let us finally exploit Eq. (26) in an attempt to find at least heuristically an analog of Equation (19). Formally, μ 2 ≈ 1 yields g 0 μ ≈ g 0 and μ = 1 ⊗ μ 2 ≈ 1 ⊗ δ 0 , so that (26) then suggests which "implies" Reasoning in similar way, but starting with a relation of the form (h 0 ρ) = ρ 2 ({0})( ρ 1 ⊗ 1) for a product measure ρ = ρ 1 ⊗ ρ 2 and then considering (g 0 μ) * ρ, one could also obtain a variant of the above proposition and thus a reasonable suggestion of the relation Funding Open access funding provided by University of Vienna.

Compliance with ethical standards
Conflict of interest The author declared that he has no conflict of interest.
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/.