Abstract
We show that any positive energy projective unitary representation of \(\mathrm{Diff}_+(S^1)\) extends to a strongly continuous projective unitary representation of the fractional Sobolev diffeomorphisms \(\mathcal {D}^s(S^1)\) for any real \(s>3\), and in particular to \(C^k\)-diffeomorphisms \(\mathrm{Diff}_+^k(S^1)\) with \(k\ge 4\). A similar result holds for the universal covering groups provided that the representation is assumed to be a direct sum of irreducibles. As an application we show that a conformal net of von Neumann algebras on \(S^1\) is covariant with respect to \(\mathcal {D}^s(S^1)\), \(s > 3\). Moreover every direct sum of irreducible representations of a conformal net is also \(\mathcal {D}^s(S^1)\)-covariant.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The group of (smooth) diffeomorphisms of a manifold has been extensively studied and there have been many interesting results concerning its algebraic and topological properties, see e.g. [31]. Among them, the group \(\mathrm{Diff}_+(S^1)\) of orientation preserving diffeomorphisms of the circle \(S^1\) is of particular interest in connection with conformal field theory. In \((1+1)\)-dimensional conformal field theory, the symmetry group of the chiral components is \(\mathrm{Diff}_+(\mathbb {R})\) and often this can be extended to \(\mathrm{Diff}_+(S^1)\). As this group contains spacetime translations, the relevant representations must be positive energy representations and they act on the space of local observables. The representation theory of positive energy representations has been exploited for construction and classification of a certain subclass of conformal field theories, see e.g. [24].
Non-trivial positive energy representations of \(\mathrm{Diff}_+(S^1)\) are necessarily projective. Any irreducible unitary positive energy representation of the Virasoro algebra extends to a projective representation of the Lie algebra \(\mathrm{Vect}(S^1)\), the Lie algebra of vector fields on \(S^1\), and it integrates to a positive energy projective unitary representation of \(\mathrm{Diff}_+(S^1)\) [19, 36, 45]. It follows from [5, Theorem A.2], see also [7, Section 3.2], that all irreducible positive energy unitary projective representations of \(\mathrm{Diff}_+(S^1)\) arise in this way. Accordingly they are completely classified by the central charge c and the lowest conformal energy h [26]. Related results including reducible representations have been recently obtained in [35, 49].
These representations of \(\mathrm{Vect}(S^1)\) extend to certain non-smooth vector fields as linear maps [8]. Apart from that this fact had many applications (e.g. the uniqueness of conformal covariance in conformal nets [8], positivity of energy in DHR sectors [47], split property in conformal nets [34] and covariance of soliton representations [10, 21]), it leads naturally to the question whether the group representations extend to suitable groups of non-smooth diffeomorphisms. In contrast to the wide range of results and applications concerning the algebraic, analytic and topological properties of the group \(\mathrm{Diff}_+^k(M)\) of \(C^k\) diffeomorphisms and \(\mathcal {D}^s(M)\) of Sobolev class diffeomorphisms (see e.g. [2, 14, 16, 28, 32]) and some results on (true) representations [1, 23, 27, 29], there appears to be only few results in the literature on positive energy representations of these groups. Indeed, \(\mathcal {D}^s(M)\) is an infinite-dimensional manifold modelled on the space \(H^s(M)\) of \(H^s\)-vector fields, which is not a Lie algebra with the usual Lie bracket for \(\mathrm{Vect}^\infty (M)\). This makes the study of representations of \(\mathcal {D}^s(M)\) rather subtle.
In this paper, we show that any positive energy (projective) representation of the diffeomorphism group extends to \(\mathcal {D}^s(S^1)\) for \(s>3\). We do this first in the irreducible case by considering the action of \(\mathcal {D}^s(S^1)\) on vector fields, and therefore, by exploiting the representation theory of the Virasoro algebra. To obtain the result for the general (reducible) case, we show that the irreducible projective representations which have the same central charge c can be made locally into multiplier representations with the same cocycle and this allows us to take the direct sum of these projective representations. It turns out that conformal nets are covariant with respect to this extended action.
For some special representations appearing in Fock space, further extensions have been done first to \(C^3\)-diffeomorphisms [46], then to \(\mathcal {D}^s(S^1)\), \(s>2\) [10]. The arguments depend on realizing these representations in some specific conformal field theory, and it is open whether the results are valid for general central charge c. In contrast, by our argument, representations extend to \(\mathcal {D}^s(S^1)\) for any real \(s > 3\) and for any c. While the extensions to \(\mathcal {D}^s(S^1)\) do not necessarily act nicely on the Lie algebra representations when \(2<s\le 3\), they do so and are differentiable when \(s>3\).
Indeed, our proof follows in part the strategy in [19] for the integrability of the representations of the Virasoro algebra. The extension to non-smooth diffeomorphisms then follows from the above mentioned extension to non-smooth vector fields of the corresponding projective representation of \(\mathrm{Vect}(S^1)\) given in [8]. Actually, our argument can be used to give a simpler proof of the results in [19], see Remark 3.8.
This paper is organized as follows. In Sect. 2, we recall the relevant groups and algebras, their topologies and representations. In Sect. 3, we first extend the irreducible projective representations of \(\mathrm{Diff}_+(S^1)\) to \(\mathcal {D}^s(S^1)\) with \(s>3\). Then we lift them locally to multiplier representations, and show that the direct sum can make sense as projective representations. Section 4 demonstrates that two-dimensional chiral conformal field theories described by conformal nets of von Neumann algebras have this extended symmetry of \(\mathcal {D}^s(S^1)\). We summarize possible further continuation of this work in Sect. 5.
2 Preliminaries
2.1 \(\mathrm{Diff}_+(S^1)\) and the Virasoro algebra
The diffeomorphism group. Let us denote by \(\mathrm{Diff}_+(S^1)\) the group of orientation preserving, smooth diffeomorphisms of the circle \(S^1{:}{=}\lbrace z\in \mathbb {C}:\vert z\vert =1\rbrace \) and \(\mathrm{Vect}(S^1)\) denote the set of smooth real vector fields on \(S^1.\) \(\mathrm{Diff}_+(S^1)\) is an infinite dimensional Lie group whose Lie algebra is identified with the real topological vector space \(\mathrm{Vect}(S^1)\) of smooth vector fields on \(S^1\) with \(C^\infty \) topology [31]. In the following we identify \(\mathrm{Vect}(S^1)\) with \(C^\infty (S^1,\mathbb {R})\) and for \(f\in C^{\infty }(S^1,\mathbb {R})\) we denote by \(f^\prime \) the derivative of f with respect to the angle \(\theta \),
We consider a diffeomorphism \(\gamma \in \mathrm{Diff}_+(S^1)\) as a map from \(S^1\) to \(S^1 \subset \mathbb {C}\). With this convention, its action on \(f\in \mathrm{Vect}(S^1)\) is
We denote by \(\mathrm{Diff}_+^k(S^1)\) the group of \(C^k\)-diffeomorphisms of \(S^1\). Note that this is not a Lie group, and indeed, the corresponding linear space \(\mathrm{Vect}^k(S^1)\) of \(C^k\)-vector fields is not closed under the natural Lie bracket (see below).
The universal covering group of \(\mathrm{Diff}_+(S^1)\) (resp. \(\mathrm{Diff}_+^k(S^1)\)), \(\widetilde{\mathrm{Diff}_+(S^1)}\) (resp. \(\widetilde{\mathrm{Diff}_+^k(S^1)}\)), can be identifiedFootnote 1 with the group of \(C^{\infty }\)-diffeomorphisms (resp. \(C^k\)-diffeomorphisms) \(\gamma \) of \(\mathbb {R}\) which satisfy
If \(\gamma \in \widetilde{\mathrm{Diff}_+(S^1)}\), its image under the covering map is in the following denoted by \(\mathring{\gamma }\in \mathrm{Diff}_+(S^1)\), where \(\mathring{\gamma }(e^{i\theta })=e^{i\gamma (\theta )}\). Conversely, if \(\gamma \in \mathrm{Diff}_+(S^1)\), there is an element \(\tilde{\gamma } \in \widetilde{\mathrm{Diff}_+(S^1)}\) whose image under the covering map is \(\gamma \). Such a \(\tilde{\gamma }\) is unique up to \(2\pi \) and called a lift of \(\gamma \).
The group \(\mathrm{Diff}_+(S^1)\) admits the Bott-Virasoro cocycle \(B:\mathrm{Diff}_+(S^1)\times \mathrm{Diff}_+(S^1)\rightarrow \mathbb {R}\) (see e.g. [15]). The Bott-Virasoro group is then defined as the group with elements
and with multiplication
Note that, given a true (not projective) unitary irreducible representation V of the universal covering of the Bott-Virasoro group, one can obtain a unitary multiplier representationFootnote 2\(\underline{V}(\gamma ) := V(\gamma , 0)\) of \(\widetilde{\mathrm{Diff}_+(S^1)}\) (with respect to the Bott-Virasoro cocycle B). Then the map \(\underline{V}:\widetilde{\mathrm{Diff}_+(S^1)}\rightarrow U(\mathcal {H})\) satisfies
where \(c\in \mathbb {R}\) by irreducibility.
The Lie algebra. The space \(\mathrm{Vect}(S^1)\) is endowed with the Lie algebra structure with the Lie bracket given by
As a Lie algebra, \(\mathrm{Vect}(S^1)\) admits the Gelfand–Fuchs two-cocycle
The Virasoro algebra \(\mathrm{Vir}\) is the central extension of the complexification of the algebra generated by the trigonometric polynomials in \(\mathrm{Vect}(S^1)\) defined by the two-cocycle \(\omega \). It can be explicitly described as the complex Lie algebra generated by \(L_n\), \(n\in \mathbb {Z}\), and the central element \({\kappa }\), with brackets
Consider a representation \(\rho :\mathrm{Vir}\rightarrow {\hbox {End}}(V)\) of \(\mathrm{Vir}\) on a complex vector space V endowed with a scalar product \(\langle \cdot ,\cdot \rangle \). We call \(\rho \) a unitary positive energy representation if the following hold
-
1.
Unitarity: \(\langle v,\rho (L_n)w\rangle =\langle \rho (L_{-n})v,w\rangle \) for every \(v,w\in V\) and \(n\in \mathbb {Z}\);
-
2.
Positivity of the energy: \(V=\bigoplus _{\lambda \in \mathbb {R}_+\cup \lbrace 0\rbrace }V_{\lambda }\), where \(V_{\lambda }{:}{=}\ker (\rho (L_0)-\lambda \mathbb {1}_V)\). The lowest eigenvalue of \(\rho (L_0)\) is called lowest weight;
-
3.
Central charge: \(\rho ({\kappa })=c\mathbb {1}_V\);
There exists an irreducible unitary positive energy representation with central charge c and lowest weight h if and only if \(c\ge 1\) and \(h\ge 0\) (continuous series representation) or \((c,h)=(c(m),h_{p,q}(m))\), where \(c(m)=1-\frac{6}{(m+2)(m+3)}\), \(h_{p,q}(m)=\frac{(p(m+1)-qm)^2-1}{4m(m+1)}\), \(m=3,4,\ldots \), \(p=1,2,\ldots ,m-1\), \(q=1,2,\ldots ,p\), (discrete series representation) [26][11]. In this case the representation space V is denoted by \(\mathcal {H}^\mathrm {fin}(c,h)\). We denote by \(\mathcal {H}(c,h)\) the Hilbert space completion of the vector space \(\mathcal {H}^\mathrm {fin}(c,h)\) associated with the unique irreducible unitary positive energy representation of \(\mathrm{Vir}\) with central charge c and lowest weight h.
In these representations, the conformal Hamiltonian \(\rho (L_0)\) is diagonalized, and on the linear span of its eigenvectors \(\mathcal {H}^{\mathrm {fin}}(c,h)\) (the space of finite energy vectors), the Virasoro algebra acts algebraically as unbounded operators.
The stress-energy tensor. Let \(\mathcal {H}(c,h)\) as above and, with abuse of notation, we denote by \(L_n\) the elements of \(\mathrm{Vir}\) represented in \(\mathcal {H}(c,h)\). For a smooth complex-valued function f on \(S^1\) with finitely many non-zero Fourier components, the (chiral) stress-energy tensor associated with f is the operator
acting on \(\mathcal {H}(c,h)\), where
The stress-energy tensor T can be extended to a particular linear space of functions strictly containing the set of all smooth functions, and when f is a real-valued function, T(f) is essentially self-adjoint on \(\mathcal {H}^{\mathrm {fin}}(c,h)\) [8]. This fact will be used in this article and will be thus resumed in some detail in Sect. 2.2.
It is a crucial fact that the irreducible representations \(\mathcal {H}(c,h)\) of \(\mathrm{Vir}\) integrate to irreducible unitary strongly continuous representations of the universal covering of the Bott-Virasoro group [15]. In other words, denoting by q the quotient map \(q: \mathcal {U}(\mathcal {H}(c,h))\rightarrow \mathcal {U}(\mathcal {H}(c,h))/\mathbb {C}\) (we denote by \(\mathcal {U}(\mathcal {K})\) the group of unitary operators on \(\mathcal {K}\)), there is an irreducible, unitary, strongly continuous multiplier representation U of \(\widetilde{\mathrm{Diff}_+(S^1)}\), the universal covering of \(\mathrm{Diff}_+(S^1)\), such that
for all \(f\in \mathrm{Vect}(S^1)\), where \(\mathrm{Exp}\) is the Lie-theoretic exponential map of \(\mathrm{Diff}_+(S^1)\) (see [31]).
For the stress-energy tensor T, we have the following covariance [15, Proposition 5.1, Proposition 3.1].
Proposition 2.1
The stress-energy tensor T on \(\mathcal {H}(c,h)\) transforms according to
on vectors in \(\mathcal {H}^{\mathrm {fin}}(c,h)\), for \(f\in \mathrm{Vect}(S^1)\) and \(\gamma \in \widetilde{\mathrm{Diff}_+(S^1)}\). Furthermore the commutation relations
where \(\omega \) is the Gelfand–Fuchs two-cocycle (2.2), hold for arbitrary \(f,g\in C^\infty (S^1)\), on vectors \(\psi \in \mathcal {H}^{\mathrm {fin}}(c,h).\)
Here
is the Schwarzian derivative of \(\mathring{\gamma }\) and \(\frac{d}{dz}\mathring{\gamma }(z)=-i\bar{z}\frac{d}{d\theta }\mathring{\gamma }(e^{i\theta })\bigg |_{e^{i\theta }=z}\). Note that
and \(\omega (\cdot ,\cdot )\) are related by
2.2 The stress-energy tensor on non-smooth vector fields
Let T be the stress-energy tensor on \(\mathcal {H}(c,h)\). Given a not necessarily smooth real function f of \(S^1\) it is possible to evaluate the stress-energy tensor on f [8, Proposition 4.5]. First of all we define for a real-valued function f of the circle
We denoteFootnote 3 with \(\mathcal {S}_{\frac{3}{2}}(S^1)\) the class of functions \(f\in L^1(S^1,\mathbb {R})\) such that \(\Vert f\Vert _{\frac{3}{2}}\) is finite, endowed with the topology induced by the norm \(\Vert \cdot \Vert _{\frac{3}{2}}\).
The following is [8, Proposition 4.2, Theorem 4.4, Proposition 4.5].
Proposition 2.2
If \(f:S^1\rightarrow \mathbb {C}\) is continuous and such that \(\sum _{n\in \mathbb {Z}}|\hat{f}_n|(1+|n|^{\frac{3}{2}})<\infty \) then
-
(1)
the operator \(T(f)=\sum _{n\in \mathbb {Z}}L_n \hat{f}_n\) on the domain \(\mathcal {H}^{\mathrm {fin}}(c,h)\) is well defined, (i.e. the sum is strongly convergent on the domain).
-
(2)
\(T(f)^*\) is an extension of the operator \(T(f)^+:=\sum _{n\in \mathbb {Z}}L_n \bar{\hat{f}}_{-n}\) (this is again understood as an operator on the domain \(\mathcal {H}^{\mathrm {fin}}(c,h)\)).
-
(3)
T(f) is closable and \(\overline{T(f)}=(T(f)^+)^*\), where T(f) and \(T(f)^+\) are considered as operators on the domain \(\mathcal {H}^{\mathrm {fin}}(c,h)\). In particular, if \(\hat{f}_n=\bar{\hat{f}}_{-n}\) for all \(n\in \mathbb {Z}\) (i.e. if f is a real-valued function), then T(f) is essentially self-adjoint on \(\mathcal {H}^{\mathrm {fin}}(c,h)\).
-
(4)
For every \(\xi \in {\mathscr {D}}(L_0)\) we have the following energy bounds
$$\begin{aligned} \Vert T(f)\xi \Vert \le r\Vert f\Vert _{\frac{3}{2}}\Vert (1+L_0)\xi \Vert , \end{aligned}$$where r is a function of the central charge c only. Consequently, \({\mathscr {D}}(L_0) \subset {\mathscr {D}}(\overline{T(f)})\).
-
(5)
If \(\{f_n\}\) (\(n\in \mathbb {N}\)) is a sequenceFootnote 4 of continuous real functions on \(S^1\) in \(\mathcal {S}_{\frac{3}{2}}(S^1)\) and \(\Vert f-f_n\Vert _{\frac{3}{2}}\) converges to 0 as n tends to \(\infty \), then
$$\begin{aligned} \overline{T(f_n)}\rightarrow \overline{T(f)} \end{aligned}$$in the strong resolvent sense.
Hereafter, we denote the closure by the same symbol T(f) as long as this does not cause confusions.
The class \(\mathcal {S}_{\frac{3}{2}}(S^1)\) contains many non-smooth functions which are useful in applications, e.g. differentiable functions which are piecewise smooth [47, Lemma 2.2], [8, Lemma 5.3]:
Proposition 2.3
If a real-valued function f on the circle is piecewise smooth and once continuously differentiable on the whole \(S^1\), then \(f \in \mathcal {S}_{\frac{3}{2}}(S^1)\).
2.3 Groups of diffeomorphisms of Sobolev class \(H^s(S^1)\)
We introduce (see [13, Section 2] and [13, Definition 2.2], respectively)
-
for \(s\in \mathbb {R}\), \(s\ge 0\),
$$\begin{aligned} H^s(S^1)&:= \{f\in L^2(S^1, \mathbb {R}): \Vert f\Vert _{H^s}< \infty \}, \\&\quad \text { where } \Vert f\Vert _{H^s} := \left( \sum _{n\in \mathbb {Z}} (1+n^2)^s|\hat{f}_n|^2\right) ^\frac{1}{2}, \\ H^s(S^1,\mathbb {C})&:= \{f\in L^2(S^1, \mathbb {C}): \Vert f\Vert _{H^s} < \infty \},\\&\quad \text { where } \Vert f\Vert _{H^s} := \left( \sum _{n\in \mathbb {Z}} (1+n^2)^s|\hat{f}_n|^2\right) ^\frac{1}{2}, \end{aligned}$$which we consider as a Banach space (in fact a Hilbert space) with norm \(\Vert \cdot \Vert _{H^s}\);
-
for \(s\in \mathbb {R}\), \(s>\frac{3}{2}\),
$$\begin{aligned} \mathcal {D}^s(S^1) := \{\gamma \in \mathrm{Diff}_+^1(S^1): \tilde{\gamma } - \iota \in H^s(S^1)\}, \end{aligned}$$
where \(\tilde{\gamma }\) is a lift of \(\gamma \) to \(\mathbb {R}\) and \(\iota : \mathbb {R} \rightarrow \mathbb {R}\) is the identity map. Here we are identifying the \(2\pi \)- periodic functions \(\tilde{\gamma } - \iota \) with real valued functions on \(S^1 \simeq \mathbb {R} /2\pi \mathbb {Z}\).
\(\mathcal {D}^s(S^1)\) has the structure of a Hilbert manifold modelled on \(H^s(S^1)\), see [13, 14]. It turns out to be a topological group, see Lemma 2.5 below (but not a Lie group).
Actually, in the literature there are various definitions of these Sobolev spaces/manifolds and their topologies. Although it is well-known that they coincide, for the convenience of the reader we recall them and show their equivalence in Appendix.
If \(s>\frac{1}{2}\), the space \(H^s(S^1)\) is a subspace of \(C(S^1, \mathbb {R})\). Furthermore, from these definitions, it is immediate that \(\mathrm{Diff}_+^k(S^1)\) is continuously embedded in \(\mathcal {D}^k(S^1)\) for any positive integer k. Conversely, by the Sobolev-Morrey embedding [22, Proposition 2.2], it holds that \(\mathcal {D}^s(S^1) \hookrightarrow \mathrm{Diff}_+^k(S^1)\) if \(s > k+\frac{1}{2}\).
The first statement of the following is a straightforward adaptation of [22, Lemma 2.3]. One can also find various different elementary proofs, for example [40, 44]. The second statement is an adaptation of [22, Lemma B.4].
Lemma 2.4
Let \(s > \frac{1}{2}\). Then \(H^s(S^1)\) is an algebra and \(\Vert fg\Vert _{H^s} \le C_s \Vert f\Vert _{H^s}\Vert g\Vert _{H^s}\). If \(g \in H^s(S^1)\) and \(\inf _\theta (1+g(\theta ))> 0\), then \(\frac{1}{1+g} \in H^s(S^1)\).
The following is a special case of [22, Theorem B.2] and an analogue of [22, Proposition B.7], see also the Appendix. According to [25, P.12], Lemma 2.5(a) for integer s has been first established in [12].
Lemma 2.5
Let \(s > \frac{3}{2}\). Then
-
(a)
\((\gamma ,f) \mapsto f\circ \gamma ,\; \mathcal {D}^s(S^1)\times H^s(S^1) \rightarrow H^s(S^1)\) is continuous.
-
(b)
\(\gamma \mapsto \gamma ^{-1},\; \mathcal {D}^s(S^1)\rightarrow \mathcal {D}^s(S^1)\) is continuous.
-
(c)
\(\mathcal {D}^s(S^1)\) is a topological group.
By applying these results, we get:
Lemma 2.6
The following hold.
-
(a)
For \(s>\frac{3}{2}\), the map
$$\begin{aligned} \mathcal {D}^{s+1}(S^1)\times H^s(S^1)&\rightarrow H^s(S^1)\\ (\gamma ,f)&\mapsto \gamma _*(f), \end{aligned}$$where \(\gamma _*(f)\) is as in (2.1), is continuous.
-
(b)
For \(s>2\), the embedding \(H^s(S^1)\hookrightarrow \mathcal {S}_{\frac{3}{2}}(S^1)\) is continuous.
-
(c)
For \(s>3\), \(\beta (\gamma ,f)\) extends continuously to \(\gamma \in \mathcal {D}^s(S^1), f\in L^2(S^1, \mathbb {R})\).
Proof
- (a)
-
(b)
is obtained from the following inequality
$$\begin{aligned} \sum _{k\ne 0} |\hat{f}_k||k|^{\frac{3}{2}}=\sum _{k\ne 0} |\hat{f}_k| |k|^{2+\epsilon }\frac{1}{|k|^{\frac{1}{2}+\epsilon }} \le \sqrt{\sum _{k\ne 0} \frac{1}{k^{1+2\epsilon }}}\sqrt{\sum _{k\ne 0} |\hat{f}_k|^{2}|k|^{4+2\epsilon }}. \end{aligned}$$for any \(\epsilon >0\).
-
(c)
Note that, with \(s>3\), \(\mathcal {D}^{s}(S^1) \ni \gamma \mapsto \{\mathring{\gamma },z\} \in L^2(S^1, \mathbb {C})\) is continuous. To see it, in the definition
$$\begin{aligned} \{\mathring{\gamma },z\}=\frac{\frac{d^3}{dz^3}\mathring{\gamma }(z)}{\frac{d}{dz}\mathring{\gamma }(z)}-\frac{3}{2}\left( \frac{\frac{d^2}{dz^2}\mathring{\gamma }(z)}{\frac{d}{dz}\mathring{\gamma }(z)}\right) ^2, \end{aligned}$$the maps \(\gamma \mapsto \frac{d^3}{dz^3}\mathring{\gamma }(z)\in L^2(S^1, \mathbb {C})\) and \(\gamma \mapsto \frac{1}{\frac{d}{dz}\mathring{\gamma }(z)} \in H^{s-1}(S^1, \mathbb {C}) \subset L^\infty (S^1, \mathbb {C})\) are continuous, hence their product is continuous in \(L^2(S^1, \mathbb {C})\). The second derivative \(\gamma \mapsto \frac{d^2}{dz^2}\mathring{\gamma }(z) \in H^{s-2}(S^1, \mathbb {C})\) is continuous hence so is \(\gamma \mapsto \left( \frac{\frac{d^2}{dz^2}\mathring{\gamma }(z)}{\frac{d}{dz}\mathring{\gamma }(z)}\right) ^2 \in H^{s-2}(S^1, \mathbb {C})\) (by the complexification of Lemma 2.4), hence we obtain the continuity of \(\gamma \mapsto \{\mathring{\gamma },z\}\) by the complexification of Lemma 2.4. Now the claim is immediate because \(\beta (\gamma , f) = \frac{c}{24\pi }\int _{S^1}\{\mathring{\gamma },z\}izf(z)dz.\)
\(\square \)
The universal covering group \(\widetilde{\mathcal {D}^s(S^1)}\) of \(\mathcal {D}^s(S^1)\) is algebraically a subgroup of \(\widetilde{\mathrm{Diff}_+^1(S^1)}\), namely the space of the maps \(\gamma :\mathbb {R}\rightarrow \mathbb {R}\) satisfying \(\gamma (\theta +2\pi )=\gamma (\theta )+2\pi \) and locally \(H^s\) (see Appendix), and this can be identified with an open convex subset of \(H^s(S^1)\).
2.4 Projective and multiplier representations
A unitary multiplier representation of a topological group G is a pair \((U,\mathcal {H})\) where \(U:G\rightarrow \mathcal {U}(\mathcal {H})\) is a map such that \(U(g_1)U(g_2)=\sigma (g_1,g_2)U(g_1g_2)\) with \(\sigma :G\times G\rightarrow \mathbb {T}\). The map \(\sigma \) automatically satisfies the equality
A unitary multiplier representation U of G is continuous in the strong operator topology (SOT) if U(g)v tends to \(U(g_0)v\) for all \(v\in \mathcal {H}\) if g tends to \(g_0\).
A SOT continuous unitary projective representation of a topological group G is a pair \((U,\mathcal {H})\) where \(\mathcal {H}\) is a Hilbert space and U is a continuous group homomorphism from G to \(\mathcal {U}(\mathcal {H})/\mathbb {T}\), where \(\mathcal {U}(\mathcal {H})\) is equipped with the SOT and \(\mathcal {U}(\mathcal {H})/\mathbb {T}\) with the quotient topology by the quotient map q.
Now let \(P(\mathcal {H}) = \mathcal {H}/\mathbb {T}\) be the projective space associated to the Hilbert space \(\mathcal {H}\) endowed with quotient topology. Then \(\mathcal {U}(\mathcal {H})/\mathbb {T}\) acts on \(P(\mathcal {H})\) in a natural way and, as a consequence of [3, Theorem 1.1], the quotient topology on \(\mathcal {U}(\mathcal {H})/\mathbb {T}\) coincides with SOT on \(\mathcal {U}(\mathcal {H})/\mathbb {T}\) induced by this action. Note that every SOT continuous multiplier representation of G on \(\mathcal {H}\) gives rise to a SOT continuous projective representation of G. Conversely, by [3, Theorem 1.1], every SOT continuous projective representation of G gives rise to a continuous local multiplier representation of G defined on a suitable neighborhood of the identity. It is well known that a projective unitary representation U is SOT continuous if its action on \(\mathcal {B}(\mathcal {H})\) is pointwise SOT continuous, i.e. \(g\mapsto U(g)xU(g)^*\xi \) is a continuous map for all \(x \in \mathcal {B}(\mathcal {H})\) and all \(\xi \in \mathcal {H}\). We outline an argument here for the convenience of the reader. It is clear from the above discussion that if U is SOT continuous then it acts pointwise SOT continuously on \(\mathcal {B}(\mathcal {H})\). Let \(g_\lambda \) be a net in G converging to the identity, \(\xi \) be a unit vector in \(\mathcal {H}\) and let \(p_\xi \) be the corresponding projection. Then, since \(U(g_\lambda )p_\xi U(g_\lambda )^*\) converges in the SOT to \(p_\xi \), \(\Vert (U(\gamma _\lambda )\xi ,\xi )\Vert \) converges to 1. Since \(\xi \) was arbitrary, it follows by [3, Theorem 1.1] that U acts continuously on \(P(\mathcal {H})\) and hence it is SOT continuous.
3 Extension of the \(\mathrm{Diff}_+(S^1)\) representations to Sobolev diffeomorphisms
3.1 Irreducible case
The purpose of this section is to extend the (positive energy projective) representation U on \(\mathcal {H}(c,h)\) of \(\mathrm{Diff}_+(S^1)\) to \(\mathcal {D}^s(S^1)\) with \(s>3\). In the following \(s>3\) will always be assumed.
An element \(\gamma \in \mathcal {D}^s(S^1)\) acts on \(f\in \mathrm{Vect}(S^1)\) via (2.1). If T is the energy-momentum operator associated with a positive energy unitary representation of the Virasoro algebra \(\mathrm{Vir}\) with central charge c and lowest weight h, we define a new class of operators
where \(f \in \mathrm{Vect}(S^1)\) and \(\beta (\gamma ,f)=\frac{c}{24\pi }\int _{S^1}\{\gamma ,z\}izf(z)dz\), which makes sense for \(\gamma \in \mathcal {D}^s(S^1)\) by Lemma 2.6 and Proposition 2.2(1). The fact that \(\gamma _*f\) is in \(\mathcal {S}_{\frac{3}{2}}(S^1)\) ensures that \(T(\gamma _*f)\) is an essentially self-adjoint operator on \(\mathcal {H}^\mathrm {fin}(c,h)\) and so is \(T^{\gamma }(f)\) by Proposition 2.2(3). We denote its closure by the same symbol \(T^\gamma (f)\), so long as no confusion arises.
Note that, if \(\gamma \in \mathrm{Diff}_+(S^1)\), then we have
Indeed, by definition \(T^{\gamma }(f) = T(\gamma _*f)-\beta (\gamma ,f)\) and by Proposition 2.1, (3.1) holds on \({\mathscr {D}}(L_0)\), and both operators are essentially self-adjoint there, hence they must coincide. Since in the smooth case the transformation \(T\rightarrow T^{\gamma }\) is unitarily implemented, the energy bound holds as well:
where \(L_0^{\gamma } := T^{\gamma }(1)\).
We define for \(\gamma _1,\gamma _2\in \mathcal {D}^s(S^1)\)
Proposition 3.1
Let \(\gamma _1,\gamma _2\in \mathcal {D}^s(S^1)\), \(s>3\), and \(f\in \mathrm{Vect}(S^1)\). Then \((T^{\gamma _1})^{\gamma _2}(f)=T^{\gamma _1\gamma _2}(f)\).
Proof
Using the properties of the Schwarzian derivative [37]
where \(y=\gamma _2(z)\), we infer that
where we used the change of variables \(e^{i\varphi } = \gamma _2(e^{i\theta })\), hence \(e^{i\theta }\frac{d\theta }{d\varphi }\frac{d\gamma _2}{dz}(e^{i\theta })|_{\gamma _2(e^{i\theta })=e^{i\varphi }}=e^{i\varphi }\), \(\frac{d\gamma _2}{dz}(e^{i\theta })=-ie^{-i\theta }\frac{d}{d\theta }\gamma _2(e^{i\theta })\) and (2.1).
So \((T^{\gamma _1})^{\gamma _2}(f)=T((\gamma _1)_*((\gamma _2)_*f))-\beta (\gamma _1,\gamma _{2*}f)-\beta (\gamma _2,f) = T((\gamma _1 \gamma _2)_*f)-\beta (\gamma _1\gamma _2,f)=T^{\gamma _1 \gamma _2}(f)\). \(\square \)
Lemma 3.2
Let \(s>3\). \({\mathscr {D}}(L_0)={\mathscr {D}}(L_0^{\gamma })\) for every \(\gamma \in \mathcal {D}^s(S^1)\).
Proof
By Lemma A.4 we can take a sequence \(\{\gamma _n\}\) in \(\mathrm{Diff}_+(S^1)\) convergent to \(\gamma \) in the topology of \(\mathcal {D}^s(S^1)\). We observe that \(1 = \lim _n \gamma _{n*}(\gamma ^{-1}_*(1))\) in the topology of \(\mathcal {S}_{\frac{3}{2}}(S^1)\) by Lemma 2.6. For \(\xi \in {\mathscr {D}}(L_0)\) we know from Proposition 2.2(5) and (3.2) that
where the last equality follows again from Lemma 2.6. Recall that we know that \({\mathscr {D}}(L_0)\subset {\mathscr {D}}(L^\gamma _0)\) from Proposition 2.2(4) and \(L_0^{\gamma }\) is essentially self-adjoint on \({\mathscr {D}}(L_0)\). From the above inequality, we infer that any sequence \(\xi _n \in {\mathscr {D}}(L_0)\) converging to \(\xi \in {\mathscr {D}}(L_0^\gamma )\) in the graph norm of \(L_0^\gamma \) is also convergent in the graph norm of \(L_0\), and therefore, we have \({\mathscr {D}}(L_0^{\gamma })={\mathscr {D}}(L_0)\). \(\square \)
Proposition 3.3
(Energy bounds for \(T^\gamma \)). Let \(\gamma \in \mathcal {D}^s(S^1)\), \(s>3\). Then
for all \(\xi \in {\mathscr {D}}(L_0)\).
Proof
Let \(\{\gamma _n\}\) a sequence of elements in \(\mathrm{Diff}_+(S^1)\) converging to \(\gamma \in \mathcal {D}^s(S^1)\) as in Lemma A.4. By Proposition 2.2(5) and (3.2),
which is the desired inequality. \(\square \)
Theorem 3.4
Let \(\gamma \in \mathcal {D}^s(S^1)\), \(s>3\). \(T^{\gamma }\) yields an irreducible unitary positive energy representation of \(\mathrm{Vir}\) with central charge c and lowest weight h on \(\mathcal {H}(c,h)\).
Proof
We are going to prove the Virasoro relations on \(C^\infty (L_0^\gamma )\). For this purpose, we have to take under control the action of various exponentiated operators.
Computations on \({\mathscr {D}}(L_0)\). Let f and g be real smooth functions. We start by noting that \(e^{iT^\gamma (g)} {\mathscr {D}}(L_0)\subset {\mathscr {D}}(L_0)\). Indeed, using [15, Proposition 3.1] we have, for \(\xi \in {\mathscr {D}}(L_0)\) and \(\gamma _n \in \mathrm{Diff}_+(S^1)\) as in Lemma A.4,
and the right-hand side converges as \(n\rightarrow \infty \) by Proposition 2.2(5). Therefore, since both \(e^{iT^{\gamma _n}(g)}\xi \) and \(L_0e^{iT^{\gamma _n}(g)}\xi \) are convergent, it follows that \(e^{iT^{\gamma }(g)}\xi \in {\mathscr {D}}(L_0)\) and
For \(\gamma _n \in \mathrm{Diff}_+(S^1)\), by Proposition 2.1 we have the operator equality
Now, for any positive integer k, we consider the function \(h_k: \mathbb {R} \rightarrow \mathbb {R}\) defined by
Using functional calculus we apply the function \(h_k\) to the self-adjoint operators appearing in the two sides of the previous operator equality and we obtain
The left-hand side of (3.3) converges strongly to \(e^{iT^{\gamma }(g)}h_k(T^{\gamma }(f))e^{-iT^{\gamma }(g)}\) as \(n\rightarrow \infty \), because we have convergence of \(T^{\gamma _n}(f)\) to \(T^{\gamma }(f)\) and \(T^{\gamma _n}(g)\) to \(T^{\gamma }(g)\) in the strong resolvent sense and hence, \(e^{iT^{\gamma _n}(g)}, h_k(T^{\gamma _n}(f))\) converge to \(e^{iT^{\gamma }(g)}, h_k(T^{\gamma }(f))\), respectively, by [39, Theorem VIII.20(b)]. Similarly, from the convergence of \(T^{\gamma _n}(\mathrm{Exp}(g)_*(f))\) to \(T^{\gamma }(\mathrm{Exp}(g)_*(f))\) in the strong resolvent sense it follows that the right-hand side of (3.3) converges strongly to
Thus
so that, if \(\xi \) is in \({\mathscr {D}}(L_0)\)
By taking the limit for \(k\rightarrow \infty \), we get for every \(\xi \in {\mathscr {D}}(L_0)\)
Recall that \({\mathscr {D}}(L_0)={\mathscr {D}}(L^{\gamma }_0)\). We get in particular
where \(f_t(e^{i\theta }) = f(e^{i(\theta -t)})\).
Computations on \(C^\infty (L_0^\gamma )\). The right-hand side of (3.5) is differentiable with respect to t when \(\xi \in {\mathscr {D}}(L_0)\) since for the right hand side we get
by the continuity of \(T^\gamma \) in the topology of \(\mathcal {S}_{\frac{3}{2}}(S^1)\) (Proposition 3.3). Let us specialize it to \(\xi \in C^\infty (L_0^\gamma ) := \bigcap _n {\mathscr {D}}((L^\gamma _0)^n)\). For the left-hand side of (3.5), we have
The first term converges to \(-iT^{\gamma }(f)L_0\xi \). Indeed, by Proposition 3.3,
Since \(\xi \in C^{\infty }(L_0^{\gamma })\), by Stone’s theorem [39, Theorem VIII.7(c)] the above converges to 0 as \(t\rightarrow 0\). Thus the limit exists also for the second term of (3.6), and by applying Stone’s theorem [39, Theorem VIII.7(d)], we get \(T^{{\gamma }}(f)\xi \in {\mathscr {D}}(L^{\gamma }_0)\), and the second term converges to \(iL_0^\gamma T^{{\gamma }}(f)\xi \). or in other words, \(T^{{\gamma }}(f)C^\infty (L_0) \subset {\mathscr {D}}(L^{\gamma }_0)\) (actually, we proved \(T^{{\gamma }}(f){\mathscr {D}}((L_0^\gamma )^2) \subset {\mathscr {D}}(L^{\gamma }_0)\)). Thus we have established the following commutation relation on \(C^{\infty }(L^{\gamma }_0)\):
It follows that \(C^\infty (L^{\gamma }_0)\) is an invariant domain for every \(T^{\gamma }(f)\) with \(f\in C^\infty (S^1,\mathbb {R})\). Indeed, for \(T^{\gamma }(f)\xi \), with \(\xi \in C^{\infty }(L_0^{\gamma })\) and \(f\in C^{\infty } (S^1,\mathbb {R})\), (3.7) is equivalent to
We now show that \(T^\gamma (f)\xi \in {\mathscr {D}}((L_0^\gamma )^{k})\) for every positive integer k, using induction on k. Assume that \(T^{\gamma }(f)\xi \in {\mathscr {D}}((L_0^\gamma )^k)\) and all \(f\in C^{\infty }(S^1,\mathbb {R})\). It then follows from (3.8) that \(L_0^{\gamma }T^{\gamma }(f)\xi \in {\mathscr {D}}((L_0^\gamma )^k)\), i.e. \(T^\gamma (f)\xi \in {\mathscr {D}}((L_0^\gamma )^{k+1})\). We thus get the desired claim \(T^{\gamma }(f)C^{\infty }(L^{\gamma }_0)\subset C^{\infty }(L^{\gamma }_0)\).
The Virasoro relations. Finally we show that the stress-energy tensor \(T^{\gamma }\) indeed yields a representation of \(\mathrm{Vect}(S^1)\). For \(\xi \in C^\infty (L_0^\gamma )\),
As for the left-hand side, from (3.4), we obtain \((T^\gamma (g'f-gf') + c\omega (g,f))\xi \) by (2.3).
Let us see the right-hand side of (3.9) term by term. As for the first term, we have
The first term of (3.10) goes to 0 by Stone’s theorem [39, Theorem VIII.7(c)]. The second term can be treated by (3.4) and (3.7) as follows:
Each term can be seen to converge to 0: the first term is done by noting that \(L_0^\gamma = T^\gamma (1)\), continuity of \(T^\gamma \) (Proposition 3.3), \([g,1] = g'\) and unitarity of \(e^{-itT^{\gamma }(g)}\). The second term vanishes by using Stone’s theorem. The last term also converges to zero by (2.3) and using the fact that \(\omega (g,1)=0\). To summarize, the first term of the right-hand side of (3.9) tends to \(-iT^\gamma (f)T^\gamma (g)\).
The second term of (3.9) is equal to \(iT^{\gamma }(g)T^{\gamma }(f)\). Indeed, since \(C^{\infty }(L^{\gamma }_0)\) is invariant under the action of \(T^{\gamma }(f)\), this follows by Stone’s theorem.
Altogether, we obtained the equality \(i[T^\gamma (g),T^\gamma (f)] = T^\gamma (g'f-gf') + c\omega (g,f)\) on \(C^\infty (L_0^\gamma )\), which is the Virasoro commutation relation.
Note that until here we have only used that T is a positive energy representation of the Virasoro algebra with central charge c with diagonalizable \(L_0\), but not irreducibility. Therefore, one can iterate our construction for another element in \(\mathcal {D}^s(S^1)\). In particular, by taking \(\gamma ^{-1}\), we obtain by Proposition 3.1
We claim that the new representation \(T^\gamma \) is irreducible and has the same lowest weight h. Indeed, by (3.11), one can approximate T(f) by \(T^\gamma (\gamma ^{-1}_{n*}f)+\beta (\gamma ,(\gamma _n^{-1})_*(f))\) in the strong resolvent sense, where \(\{\gamma _n\} \subset \mathrm{Diff}_+(S^1)\) and \(\gamma _n \rightarrow \gamma \) in the topology of \(\mathcal {D}^s(S^1)\). As \(\{e^{iT(f)}: f\in \mathrm{Vect}(S^1)\}\) generates \(\mathcal {B}(\mathcal {H}(c,h))\), so does \(\{e^{iT^\gamma (f)}: f\in \mathrm{Vect}(S^1)\}\), and this shows that \(T^\gamma \) is an irreducible representation of the Virasoro algebra. Furthermore, the new conformal Hamiltonian \(L^{\gamma }_0=T^{\gamma }(1)\) has spectrum which is a subset of the spectrum of the old conformal Hamiltonian \(L_0\) since it is obtained as a limit in the strong resolvent sense of \(\{{\hbox {Ad}\,}U(\gamma _n)(L_0)\}\) with the same spectrum [39, Theorem VIII.24(a)]. Again by iteration, we have
therefore, all these sets must coincide. In particular, h is the lowest eigenvalue of \(L^\gamma _0\). \(\square \)
As T and \(T^\gamma \) are equivalent as irreducible representations of \(\mathrm{Vect}(S^1)\) and thus of the Virasoro algebra, there is a unitary intertwiner \(U(\gamma )\), defined up to a scalar such that \(U(\gamma )T(f)=T^{\gamma }(f)U(\gamma )\).
Corollary 3.5
The map \(\gamma \mapsto U(\gamma )\) where \(\gamma \in \mathcal {D}^s(S^1)\), \(s>3\), is a unitary projective representation of \(\mathcal {D}^s(S^1)\), i.e. \(U(\gamma _1 \gamma _2)=U(\gamma _1)U(\gamma _2)\) up to a phase factor.
Proof
We know that for every \(\gamma \in \mathcal {D}^s(S^1)\)
holds for every \(f\in \mathrm{Vect}(S^1)\). So
Consequently by the computations of Proposition 3.1
therefore \(U(\gamma _1 \gamma _2)=U(\gamma _1)U(\gamma _2)\) up to a phase because we are dealing with irreducible representations of the Virasoro algebra. \(\square \)
Corollary 3.6
Let \(U=U_{(c,h)}\) be the irreducible unitary projective representation of \(\mathrm{Diff}_+(S^1)\) with central charge c and lowest weight h. Then U extends to a strongly continuous irreducible unitary projective representation of \(\mathcal {D}^s(S^1)\), \(s>3\).
Proof
The only thing that remains to be proven is continuity, namely that the action \(\alpha :\mathcal {D}^s(S^1)\rightarrow {\hbox {Aut}}(\mathcal {B}(\mathcal {H}(c,h)))\), \(\gamma \mapsto {\hbox {Ad}\,}U(\gamma )\) is pointwise continuous in the strong operator topology of \(\mathcal {B}(\mathcal {H}(c,h))\).
Let \(\lbrace \gamma _n\rbrace \subset \mathrm{Diff}_+(S^1)\), \(\gamma \in \mathcal {D}^s(S^1)\) with \(\gamma _n\rightarrow \gamma \) in the topology of \(\mathcal {D}^s(S^1)\). Then
where the limit is meant in the strong operator topology. By taking \(f=1\), we obtain the convergence of \(L_0^{\gamma _n}\) to \(L_0^\gamma \) in the strong resolvent sense. As they are in the (c, h)-representation of the Virasoro algebra, the lowest eigenprojections \(E_0, E_0^\gamma \) are one-dimensional, and it holds that \(\lim _{n\rightarrow \infty }{\hbox {Ad}\,}U(\gamma _n)(E_0) = E_0^\gamma \). Let \(\Omega , \Omega ^\gamma \) be the lowest eigenvectors. By fixing the scalars, we may assume that \(\Omega ^{\gamma _n} := U(\gamma _n)\Omega \rightarrow \Omega ^\gamma \).
With this \(U(\gamma _n)\) with fixed phase, the sequence
is convergent to \(e^{iT^{\gamma }(f_1)}\cdots e^{iT^{\gamma }(f_k)}\Omega ^{\gamma }\), because all the operators \(e^{iT^{\gamma _n}(f_1)},\ldots , e^{iT^{\gamma _n}(f_k)}\) are uniformly bounded and convergent in the strong operator topology. Since vectors of the form \(e^{iT(f_1)}\cdots e^{iT(f_k)}\Omega \) span a dense subspace of the whole Hilbert space \(\mathcal {H}(c,h)\), together with the uniform boundedness of \(U(\gamma _n)\), we obtain the convergence of \(U(\gamma _n)\) to \(U(\gamma )\) in the strong operator topology.
The claimed continuity follows from this, because for any \(x\in \mathcal {B}(\mathcal {H})\), \({\hbox {Ad}\,}U(\gamma _n)(x)\) is convergent in the strong operator topology, again because \(U(\gamma _n)\) is uniformly bounded. \(\square \)
Corollary 3.7
Let \(U=U_{(c,h)}\) be the irreducible unitary projective representation of \(\mathrm{Diff}_+(S^1)\) with central charge c and lowest weight h. Then U extends to a strongly continuous irreducible unitary projective representation of \(\mathrm{Diff}_+^k(S^1)\) with \(k\ge 4\).
Proof
This is an immediate corollary of the continuous embedding \(\mathrm{Diff}_+^k(S^1) \hookrightarrow \mathcal {D}^s(S^1)\), \(s \le k\). \(\square \)
Remark 3.8
Our argument for the construction of projective representations of \(\mathcal {D}^s(S^1)\) can be used to simplify the proof of the integrability of the irreducible unitary positive energy representations of the Virasoro algebra to strongly continuous projective unitary representations of \(\mathrm{Diff}_+(S^1)\). Such a proof was first given in [19, Section 3, Theorem 4.2] by realizing them in the oscillator algebra. One can do it now only within the Virasoro algebra as follows.
Besides the energy-bounds (a priori estimates) in [19, Section 2], see also [4], which are used in [8] and are crucial to our proof, we also used (3.1) coming from [19]. More precisely, we used the fact that for every \(\gamma \in \mathrm{Diff}_+(S^1)\) there is a unitary operator \(U(\gamma )\) such that \(U(\gamma )T(f)U(\gamma )^* = T^\gamma (f)\) for all \(f \in \mathrm{Vect}(S^1)\) and \(U(\gamma ){\mathscr {D}}(L_0) = {\mathscr {D}}(L_0)\). This can be proved directly following the strategy in pages 1100-1101 of [6], see also the proof of [7, Proposition 6.4]. One only needs some of the direct consequences of the energy bounds proved in [45, Section 2]. We outline the arguments here:
-
Since \(\mathrm{Diff}_+(S^1)\) is simple [31, Remark 1.7], it is generated by exponentials, because the subgroup generated by exponentials is a normal subgroup.
-
By the proof of Corollary 3.5, the set of \(\gamma \) such that a unitary \(U(\gamma )\) with the required properties exists forms a subgroup of \(\mathrm{Diff}_+(S^1)\). Hence, it is enough to consider the special case where \(\gamma = \mathrm{Exp}(g)\) for \(g \in \mathrm{Vect}(S^1)\).
-
It follows from the linear energy-bounds by [45, Proposition 2.1] that \(e^{itT(g)}{\mathscr {D}}(L_0^k) = {\mathscr {D}}(L_0^k)\) for all positive integers k and all \(t \in \mathbb {R}\). As a consequence \(e^{itT(g)} C^\infty (L_0) = C^\infty (L_0)\) for all \(t \in \mathbb {R}\).
-
Now, let \(\xi \in C^\infty (L_0)\) and let \(\xi (t) = T^{\mathrm{Exp}(tg)}(f)e^{itT(g)}\xi \). By [45, Corollary 2.2] we have \(\frac{d}{dt} e^{itT(g)}\xi = i e^{itT(g)} T(g)\xi \) in the graph topology of \({\mathscr {D}}(L_0^k)\) for all positive integers k. It then follows from the energy bounds that \(\frac{d}{dt}\xi (t) = i T(g)\xi (t)\). Hence, \(\xi (t) = e^{itT(g)}T(f)\xi \) for all \(\xi \in C^\infty (L_0)\) so that \(T^{\mathrm{Exp}(tg)}(f) = e^{itT(g)}T(f) e^{-it T(g)}\) which is the required relation. Continuity of U follows as in Corollary 3.6.
3.2 Direct sum of irreducible representations
Here we prove that every positive energy projective unitary representation of \(\mathrm{Diff}_+(S^1)\) extends to a unitary projective representation of \(\mathcal {D}^s(S^1)\) for \(s>3\). A similar result holds for the universal covering groups provided that the representation is assumed to be a direct sum of irreducibles. This is not an immediate consequence of Corollary 3.6, because, in general, the direct sum of projective representations does not make sense: \(\mathcal {U}(\mathcal {H}_j)/\mathbb {C}\) is not a linear space. On the other hand, if we have multiplier representations of a group G with the same cocycle, \(U_j(g_1)U_j(g_2) = \sigma (g_1,g_2)U_j(g_1 g_2)\) where \(\sigma (g_1,g_2)\) is a 2-cocycle \(H^2(G,\mathbb {C})\) of G, then the direct sum \(\bigoplus _j U_j(g)\) is again a multiplier representation with the same cocycle \(\sigma \). If we are interested in a projective representation of a certain quotient G/H by a normal subgroup H we have to make sure that the direct sum \(\bigoplus U_j(h)\) reduces to a scalar when \(h \in H\).
Continuous fragmentation of \(\widetilde{\mathcal {D}^s(S^1)}\). Let I be a proper open interval of \(S^1\) and \(I^\prime = (S^1{\setminus } I)^{\circ }\) be the interior of its complement. We denote by \(\overline{I}\) the closure of I. \(\mathrm{Diff}_+(I)\) (resp. \(\mathcal {D}^s(I)\)) denotes the subgroup of diffeomorphisms \(\mathrm{Diff}_+(S^1)\) (resp. \(\mathcal {D}^s(S^1)\)) such that \(\gamma (x)=x\) for \(x\in I^\prime \). We also say that \(\gamma \in \mathrm{Diff}_+(I)\) (resp. \(\gamma \in \mathcal {D}^s(I)\)) is supported in I.
Let \(\{I_j\}_{j=1,2,3}\) be a cover of the unit circle as Fig. 1. Let us name the end points of the intervals: \(I_k = (a_k, b_k)\). We also take slightly smaller intervals \(\hat{I}_k = (\hat{a}_k, \hat{b}_k) \subset I_k\) which still provide a cover of \(S^1\), and take points \(\breve{a}_1\in (a_1,\hat{a}_1), \breve{b}_1\in (\hat{b}_1, b_1)\), c.f. [9]. Furthermore, we take \(\hat{b}_2, \check{b}_2\) such that \(\hat{a}_1< \hat{b}_2< \check{b}_2 < b_2\).
Any given diffeomorphism \(\gamma \) can be written as a product of elements supported in \(I_k\). This is known as fragmentation (see [30] and references therein). We need a slightly refined version of it, namely, if \(\gamma \) is in a small neighborhood \(\mathcal {V}\) of the unit element \(\iota \), then we can take the fragments \(\gamma _k\) also in a small, but larger neighborhood \(\hat{\mathcal {V}}\). The precise statement is the following.
Lemma 3.9
Let \(s>\frac{3}{2}\) and \(k\in \{1,2,3\}\). There is a neighborhood \(\mathcal {V}\) of the unit element \(\iota \) of \(\widetilde{\mathcal {D}^s(S^1)}\) and continuous localizing maps \(\chi _k: \mathcal {V}\rightarrow \) \(\widetilde{\mathcal {D}^s(I_k)}\) with
and \(\chi _k(\iota ) = \iota \), \(\mathrm{supp}\,\chi _k(\gamma ) \subset I_k\), where \(\mathrm{supp}\,\gamma := \overline{\{\theta \in S^1: \gamma (\theta ) \ne \theta \}}\). If \(\mathrm{supp}\,\gamma \subset \breve{I}_k\cup \breve{I}_{k+1}\), then \(\chi _{k+2}(\gamma ) = \iota \), where the indices \(k+1\) and \(k+2\) are considered \(\mod 3\) as elements of \(\{1,2,3\}\).
Proof
We may assume without loss of generality that \(0< a_1< \breve{a}_1< \hat{a}_1< b_2< a_3< \hat{b}_1< \breve{b}_1< b_1 < 2\pi \), (see Fig. 1).
Let us take a smooth \(2\pi \)-periodic function \(D_{\mathrm {c},1}\) with \(D_{\mathrm {c},1}(t)=1\) for \(t\in \hat{I}_1 = [\hat{a}_1, \hat{b}_1]\) and \(D_{\mathrm {c},1}(t)=0\) for \(t\in [0,\breve{a}_1]\cup [\breve{b}_1,2\pi ]\) and \(0 \le D_{\mathrm {c},1}(t) \le 1\) everywhere. Let \(0 \le D_{\mathrm {l},1}(t) \le 1\) be another smooth \(2\pi \)-periodic function with support in \((a_1,\breve{a}_1)\) and with \(\int _0^{2\pi }D_{\mathrm {l},1}(t)dt = \int _{a_1}^{\breve{a}_1}D_{\mathrm {l},1}(t)dt= \frac{1}{2}(\breve{a}_1-a_1)\) (which is possible because the interval \((a_1,\breve{a}_1)\) is longer than \(\frac{1}{2}(a_1,\breve{a}_1)\)). Similarly, let \(0 \le D_{\mathrm {r},1}(t) \le 1\) be a smooth \(2\pi \)-periodic function with support in \((\breve{b}_1,b_1)\) and with \(\int _0^{2\pi }D_{\mathrm {r},1}(t)dt=\frac{1}{2}(b_1 - \breve{b}_1)\).
We consider the following neighborhood of the unit element of \(\widetilde{\mathcal {D}^s(S^1)}\)
Note that since \(s>3/2\), \(\mathcal {V}_\varepsilon \) is open by the Sobolev-Morrey embedding theorem.
Suppose \(\gamma \in \mathcal {V}_{\varepsilon }\). We set
and define the constant \(\alpha _1(\gamma )\) by
It follows that
by the definition of \(\mathcal {V}_{\varepsilon }\) and
Similarly, set the constant \(\beta _1(\gamma )\) by
then it follows that
and
Now, the function
is \(2\pi \)-periodic, the first derivative
is positive by (3.13), (3.15) if \(\varepsilon \) is taken sufficiently small and \(\gamma _1^{\prime }-1\in H^{s-1}(S^1)\) (by Lemma 2.4, using that \(\gamma -\iota \in H^s(S^1)\)), therefore, \(\gamma _1\) can be regarded as an element in \(\widetilde{D^s(S^1)}\). It also has the desired properties, namely \(\gamma _1(\theta )=\theta \) for \(\theta \in I_1'\) and \(\gamma _1(\theta )=\gamma (\theta )\) for \(\theta \in \hat{I}_1\). Note that the assignment \(\mathcal {V}_{\varepsilon }\rightarrow \widetilde{\mathcal {D}^s(S^1)}\), \(\gamma \rightarrow \gamma _1\) is continuous by (3.16) (3.12) (3.14) and Lemma A.1.
We choose \(\varepsilon \) such that \(\gamma _1^{\prime }\) is positive for \(\gamma \in \mathcal {V}_\varepsilon \). Now the assignment \(\mathcal {V}_{\varepsilon }\rightarrow \widetilde{\mathcal {D}^s(S^1)}\), \(\gamma \rightarrow \gamma \gamma _1^{-1} \) is continuous by Lemma 2.5. We take \(\mathcal {V}\subset \mathcal {V}_\varepsilon \) to be the neighborhood of the identity of \(\widetilde{D^s(S^1)}\) such that for \(\gamma \in \mathcal {V}\) we have \(\gamma \gamma _1^{-1}\in \mathcal {V}_{\varepsilon _1}\) where \(\varepsilon _1\) is small enough that we obtain \(\gamma _2\in \widetilde{D^s(S^1)}\) (in particular \(\gamma _2^{\prime }\) is positive) if we do an analogous construction on \(I_2\) for \(\gamma \gamma _1^{-1}\).
For \(\gamma \in \mathcal {V}\) we set \(\chi _1(\gamma ) = \gamma _1\). The continuity of the map \(\chi _1\) in the topology of \(\widetilde{\mathcal {D}^s(S^1)}\) is clear from (3.16) and (3.12) (3.14).
Next we construct \(\chi _2(\gamma )\). By construction \((\gamma \gamma _1^{-1})(\theta ) = \theta \) for \(\theta \in \hat{I}_1\), therefore , \(\mathrm{supp}\,\gamma \gamma _1^{-1} \subset I_2 \cup I_3\). We can apply an analogous construction to \(I_2\) and \(\gamma \gamma _1^{-1}\) to obtain \(\gamma _2\) such that \(\mathrm{supp}\,\gamma _2 \subset \hat{I}_2, \gamma _2(\theta ) = (\gamma \gamma _1^{-1})(\theta )\) for \(\theta \in \hat{I}_2\). In this way we obtain the continuous map \(\chi _2(\gamma ) := \gamma _2\). Furthermore, by our choice \(\hat{a}_1< \hat{b}_2< \check{b}_2 < b_2\), \(\gamma _2(\theta ) = (\gamma \gamma _1^{-1})(\theta )\) for \(\theta \in \hat{I}_1\) where both are equal to \(\theta \), hence for \(\hat{I}_1 \cup \hat{I}_2\).
Now we have \((\gamma \gamma _1^{-1}\gamma _2^{-1})(\theta ) = \theta \) for \(\theta \in \hat{I}_1 \cup \hat{I}_2\), and as \(\{\hat{I}_k\}\) is a cover of \(S^1\), \((\hat{I}_1 \cup \hat{I}_2)' \subset \hat{I}_3\). Therefore, if we set \(\chi _3(\gamma ) = \gamma \gamma _1^{-1}\gamma _2^{-1}\), it is supported in \(\hat{I}_3 \subset I_3\) and the map \(\chi _3\) is continuous because it is a composition of continuous maps (Lemma 2.5). \(\square \)
If \(\gamma \) is already localized, we can have the following improvement.
Lemma 3.10
Let \(s>\frac{3}{2}\), \(k \in \{1,2,3\}\) and \(\tilde{I}_k = I_k \cup I_{k+1}\) where the index \(k+1\) is considered \(\mod 3\) as an element of \(\{1,2,3\}\). Then there exists a neighborhood \(\mathcal {V}\) of the unit element \(\iota \) of \(\widetilde{\mathcal {D}^s(S^1)}\) and continuous localizing maps
such that \(\gamma = \chi ^{(k)}_k(\gamma )\chi ^{(k)}_{k+1}(\gamma )\) and \(\chi ^{(k)}_k(\iota ) = \chi ^{(k)}_{k+1}(\iota ) = \iota \).
Proof
Without loss of generality, we may assume \(k=2\). This is done by applying the steps of the construction of \(\chi _2\) and \(\chi _3\) in the proof of Lemma 3.9 to slightly enlarged \(I_2\) and \(\hat{I}_2\), so that \(\chi ^{(2)}_2(\gamma )(\theta ) = \gamma (\theta )\) for \(\theta \in I_3'\). \(\square \)
Lemma 3.11
Let \(U_{(c,h_1)}, U_{(c,h_2)}\) be irreducible, projective representations of \(\widetilde{\mathcal {D}^s(S^1)}\) with central charge c and lowest weight \(h_1,h_2\) respectively, constructed as in Sect. 3. Let I be a proper interval of \(S^1\). Then the projective representations \(U_{(c,h_1)}\) and \(U_{(c,h_2)}\) restricted to \(\mathcal {D}^s(I)\) are unitarily equivalent. Furthermore, a unitary U intertwines \(U_{(c,h_1)}\) and \(U_{(c,h_2)}\) restricted to \(\mathcal {D}^s(I)\) if and only if it intertwines \(T_{(c,h_1)}(f)\) and \(T_{(c,h_2)}(f)\) for every \(f\in \mathrm{Vect}(S^1)\) with support in I.
Proof
Let \(\tilde{I}\) an open proper interval of \(S^1\) such that \(\tilde{I}\supset \overline{I}\). By [48, Theorem 5.6] there exists a unitary W which intertwines the representations \(U_{(c,h_1)}, U_{(c,h_2)}\) when restricted to \(\mathrm{Diff}_+(\tilde{I})\). Let \(\gamma \in \mathcal {D}^s(I)\), then by Lemma A.4 there exists a sequence of \(C^{\infty }\)-diffeomorphisms \(\lbrace \gamma _n\rbrace \subset \mathrm{Diff}_+(\tilde{I})\) converging to \(\gamma \). By Corollary 3.6,
The last assertion follows from [48, Lemma 2.1]. \(\square \)
We are going to show that we can take the direct sum of irreducible projective representations of \(\mathcal {D}^s(S^1)\), \(\{U_{(c,h_j)}\}\), with the same central charge c but possibly different lowest weights \(\{h_j\}\), where differences \(h_j - h_{j'}\) are integers. We split the proof into two steps. First, we make \(U_{(c,h_j)}\) into continuous multiplier representations with the same cocycle in some neighborhood \(\mathcal {V}\) of the identity diffeomorphism \(\iota \in \widetilde{\mathcal {D}^s(S^1)}\). Then it is straightforward to take the direct sum. Next, we show that the direct sum representation reduces to a projective representation of \(\mathcal {D}^s(S^1)\) if the differences \(h_j - h_{j'}\) are integers.
Let G and \(G'\) be two topological groups. Given a neighborhood \(\mathcal {V}\) of the identity in G, a continuous map \(\mu :\mathcal {V}\rightarrow G'\) is a local homomorphism if \(\mu (g_1)\mu (g_2)=\mu (g_1g_2)\) for all \(g_1,g_2\in \mathcal {V}\) and \(g_1g_2\in \mathcal {V}\).
We say that a map U is a local unitary multiplier representation of a topological group G on a neighborhood \(\mathcal {V}\) of the identity if U is a map from \(\mathcal {V}\) to the unitary group \(\mathcal {U}(\mathcal {H})\) of a Hilbert space \(\mathcal {H}\) which satisfies the equality \(U(g_1)U(g_2)=\sigma (g_1,g_2)U(g_1g_2)\), where \(\sigma :\mathcal {V}\times \mathcal {V}\rightarrow \mathbb {T}\) and \(\sigma (g_1,g_2)\sigma (g_1g_2,g_3)=\sigma (g_1,g_2g_3)\sigma (g_2,g_3)\) whenever \(g_1,g_2,g_3\), \(g_1g_2\) and \(g_2g_3\) are in \(\mathcal {V}\). The following is obtained by reversing the idea of [42].
Proposition 3.12
Let \(s>3\). For a family \(\{(c, h_j)\}\) of pairs with the same central charge c, there is a neighborhood \(\mathcal {V}\) of \(\widetilde{\mathcal {D}^s(S^1)}\) such that the irreducible unitary projective representations \(U_{(c,h_j)}\) lift to local multiplier representations of \(\mathcal {V}\) with the same cocycle \(\sigma _c(\cdot ,\cdot )\).
Proof
Let us take \(h_1\). As explained in Sect. 2.4 (cf. also [33, Proposition 12.44]), in a neighborhood \(\hat{\mathcal {V}}\) of the identity \(\iota \in \widetilde{\mathcal {D}^s(S^1)}\), \(U_{(c,h_1)}\) lifts to a continuous multiplier representation, with some continuous cocycle \(\sigma _c(\cdot ,\cdot )\), which we will denote by \(U_1\).
Because \(\widetilde{\mathcal {D}^s(S^1)}\) is a topological group, and by Lemmas 3.9, 3.10, for each neighborhood \(\mathcal {W}\), there is a smaller neighborhood \(p(\mathcal {W})\) such that \(p(\mathcal {W})^2 \subset \mathcal {W}\) and \(\chi _k(\gamma ), \chi ^{(k)}_k(\gamma ), \chi ^{(k)}_{k+1}(\gamma ) \subset \mathcal {W}\) for \(\gamma \in p(\mathcal {W})\). We take \(\mathcal {V}= p^{11}(\hat{\mathcal {V}}) = \underset{11\text {-times}}{\underbrace{p(p(p(\cdots \hat{\mathcal {V}}\cdots )))}}\).
Construction of multiplier representations \(U_j\). We show that we can take \(U_j\) with the same cocycle \(\sigma _c(\cdot ,\cdot )\). Let us take a local multiplier representation \(U_1 = U_{(c,h_1)}\) with \((c,h_1)\).
We fix a covering \(\{I_k\}\) of \(S^1\) as in Lemma 3.9. For \(\gamma \in p(\hat{\mathcal {V}})\), we define \(U_j\) as follows: By Lemma 3.11, there are unitary intertwiners \(\{V_{j,k}\}\) between \(U_{(c,h_1)}\) and \(U_{(c,h_j)}\) restricted to \(\mathcal {D}^s(I_k)\). We set
which makes sense because \(p(\hat{\mathcal {V}}) \subset \hat{\mathcal {V}}\). Note that \(U_j(\chi _k(\gamma ))\) does not depend on the choice of unitary intertwiner \(V_{j,k}\), since, if \(V_{j,k}\) and \(\hat{V}_{j,k}\) are both unitary intertwiners, then by Lemma 3.11
for \(\gamma \) smooth, and by continuity of \(U_1\) for \(\chi _k(\gamma )\in \mathcal {D}^s(I_k) \cap \hat{\mathcal {V}}\).
Let us denote \(\gamma _k = \chi _k(\gamma )\) for simplicity. Now, since \(\gamma =\gamma _1\gamma _2\gamma _3\) with \(\gamma _k\in \mathcal {D}^s(I_k)\cap \hat{\mathcal {V}}\), we can define \(U_j(\gamma )\) by
and note that the corresponding equation holds for \(U_1\).
Well-definedness. We used a particular set of maps \(\chi _k\) to define \(U_j\), but actually they do not depend on the choice of such map \(\chi _k\) if \(\gamma \) satisfies certain properties and is sufficiently close to \(\iota \). Namely, we take two decompositions \(\gamma = \gamma _1\gamma _2\gamma _3 = \gamma '_1\gamma '_2\gamma '_3\) where \(\gamma _k, \gamma _k' \in \mathcal {D}^s(I_k) \cap p^5(\hat{\mathcal {V}})\).
It holds that \(\gamma _3^{-1}\gamma _2^{-1}\gamma _1^{-1}\gamma '_1\gamma '_2\gamma '_3 = \iota \) in \(\widetilde{\mathcal {D}^s(S^1)}\) and \(U_1(\gamma _1)^* = \sigma _c(\gamma _1,\gamma _1^{-1})U_1(\gamma _1^{-1})\), hence we have
Furthermore, as \(U_1\) is a multiplier representation in \(\hat{\mathcal {V}}\), we have
By putting all factors in one side, we obtain
Note that \(U_j\) is unitarily equivalent to \(U_1\) on any proper interval, therefore, \(U_j(\gamma _1)^*U_j(\gamma '_1) = \sigma _c(\gamma _1^{-1},\gamma '_1)\sigma _c(\gamma _1,\gamma _1^{-1})U_j(\gamma _1^{-1}\gamma '_1)\), and \(\gamma _1^{-1}\gamma '_1 = \gamma _2\gamma _3\gamma _3^{\prime -1}\gamma _2^{\prime -1}\) has support in \(I_2\cup I_3\). Then we can again use the unitary equivalence between \(U_j\) and \(U_1\) on \(I_2\cup I_3\) to obtain
which is, by (3.18), equivalent to the equality
In other words, \(U_j\) is well-defined on \(p^6(\hat{\mathcal {V}})\).
Cocycle relations. Next we show that \(U_j\) is a local multiplier representation on \(\mathcal {V}\). Let \(\gamma ,\gamma '\in \mathcal {V}= p^{11}(\hat{\mathcal {V}})\) and we take decompositions \(\gamma =\gamma _1\gamma _2\gamma _3, \gamma '=\gamma '_1\gamma '_2\gamma '_3\). We first look at the product \(\gamma _3\gamma '_1\). This is supported in \(I_1\cup I_3\), and we can find another decomposition \(\gamma _3\gamma '_1 = \gamma ''_1\gamma ''_3\) using Lemma 3.10, where \(\gamma ''_j \in \mathcal {D}^s(I_j) \cap p^{8}(\hat{\mathcal {V}})\). By repeating such operations and taking new decompositions in proper intervals, we find
where \(\gamma _j^{(k)} \in \mathcal {D}^s(I_j) \cap p^6(\hat{\mathcal {V}})\).
Again, by considering the multiplier representation \(U_1\), we can prove the following relations
where \(\sigma _c(\gamma _3,\gamma '_1,\gamma ''_1,\gamma ''_3),\sigma _c(\gamma _2,\gamma ''_1,\gamma '''_1,\gamma '''_2),\sigma _c(\gamma ''_3,\gamma '_2,\gamma ''''_2,\gamma ''''_3)\in \mathbb {C}\) are defined by these equalities. Therefore, as \(U_1\) has the cocycle \(\sigma _c\),
or equivalently, the following relation between scalars:
Since \(U_j\) is locally equivalent to \(U_1\), the following also follows from (3.19):
Now, in order to show that \(U_j\) is a local multipler representation with the cocycle \(\sigma _c\), we only have to compute
where we used local equivalence between \(U_j\) and \(U_1\) in the 2nd and 4th equalities, and the well-definedness (independence of the partition of a group element into \(\mathcal {D}^s(I_k)\cap p^5(\hat{\mathcal {V}})\)) in the 5th equality. Namely, \(U_j\) has the cocycle \(\sigma _c\) on \(\mathcal {V}= p^{11}(\hat{\mathcal {V}})\) \(\square \)
Direct sum of multiplier representations. Since all the projective representations \(U_j\) can be made into the local multiplier representations with the same cocycle \(\sigma _c\), the direct sum \(U := \bigoplus _j U_j\) is again a local multiplier representation of \(\widetilde{\mathcal {D}^s(S^1)}\) on \(\mathcal {V}\). By forgetting the phase, we can interpret U as a local projective representation of \(\mathcal {V}\subset \widetilde{\mathcal {D}^s(S^1)}\), or in other words, a continuous local group homomorphism from \(\mathcal {V}\) into \(\mathcal {U}(\mathcal {H})/\mathbb {T}\) (see Sect. 2.4), where \(\mathcal {H}= \bigoplus _j \mathcal {H}(c,h_j)\). As \(\widetilde{\mathcal {D}^s(S^1)}\) is simply connected and locally connected, U extends to a continuous projective representation of \(\widetilde{\mathcal {D}^s(S^1)}\) [38, Theorem 63].
Theorem 3.13
Let \(s>3\). For a family \(\{(c, h_j)\}\) of pairs with the same central charge c such that \(h_j - h_{j'} \in \mathbb {N}\), the above defined direct sum projective representation U of \(\widetilde{\mathcal {D}^s(S^1)}\) satisfies \(U(R(2\pi )) \in \mathbb {C}\), where \(R(\cdot )\) is the lift of rotations to \(\widetilde{\mathcal {D}^s(S^1)}\), or in other words, U gives a projective representation of \(\mathcal {D}^s(S^1)\).
Proof
Let \(\tilde{U}_{(c,h_j)}\) the irreducible global multiplier representation of \(\widetilde{\mathrm{Diff}_+(S^1)}\) with central charge c and lowest weight \(h_j\) associated to the Bott-Virasoro cocycle. As a projective representation, we have \(U\big \vert _{\widetilde{\mathrm{Diff}_+(S^1)}}=\bigoplus _j \tilde{U}_{(c,h_j)}\): this is because, by definition of U, they agree on a neighborhood of the identity of \(\widetilde{\mathrm{Diff}_+(S^1)}\), and since \(\widetilde{\mathrm{Diff}_+(S^1)}\) is simply connected they agree globally. Since \(\widetilde{\mathrm {PSL}(2, \mathbb {R})}\) is a simply connected and simple Lie group, \(U\big \vert _{\widetilde{\mathrm {PSL}(2,\mathbb {R})}}\) extends to a true representation of \(\widetilde{\mathrm {PSL}(2, \mathbb {R})}\) by changing \(U(\gamma )\) only by a scalar [3, Theorem 7.1]. The lift to a true representation of \(\widetilde{\mathrm {PSL}(2,\mathbb {R})}\) is unique, since if \(V_1\) and \(V_2\) are true representations which give rise to the same projective representation, we have that \(V_1(g)=\chi (g)V_2(g)\) for all \(g\in \widetilde{\mathrm {PSL}(2,\mathbb {R})}\), where \(\chi \) is a character. Since \(\widetilde{\mathrm {PSL}(2,\mathbb {R})}\) is a perfect group, \(\chi (g)=1\) for all g. By the uniqueness of the lift of \(U\big \vert _{\widetilde{\mathrm {PSL}(2,\mathbb {R})}}\) to a true representation V, we have that \(V=\bigoplus _j V_{(c,h_j)}\), where \(V_{(c,h_j)}\) is the lift of \(\tilde{U}_{(c,h_j)}\big \vert _{\widetilde{\mathrm {PSL}(2, \mathbb {R})}}\) to a true representation. As we assumed that \(h_j - h_{j'}\) are integers, \(V(R(2\pi )) \in \mathbb {C}\). \(\square \)
From the previous theorem, it follows that every positive energy projective unitary representation of \(\mathrm{Diff}_+(S^1)\) extends to a unitary projective representation of \(\mathcal {D}^s(S^1)\) using the following well-known fact that we here prove for self-containment.
Proposition 3.14
Let U be a positive energy unitary projective representation of \(\mathrm{Diff}_+(S^1)\) on the Hilbert space \(\mathcal {H}\). Then U is unitarily equivalent to a direct sum of irreducible positive energy unitary projective representation of \(\mathrm{Diff}_+(S^1)\) and extends to \(\mathcal {D}^s(S^1)\), \(s>3\).
Proof
As in the proof of Theorem 3.13, we have that \(U\big |_{\mathrm {PSL}(2,\mathbb {R})}\) can be lifted to a true representation of \(\widetilde{\mathrm {PSL}(2, \mathbb {R})}\). Thus we can take the generator of rotations \(L_0\) and, since \(e^{i2\pi L_0}\in \mathbb {C}\mathbb {1}\) from the fact that U is a projective representation of \(\mathrm{Diff}_+(S^1)\), it follows that \(L_0\) is diagonalizable with spectrum Sp\((L_0)\subset \{h_1+\mathbb {N}\}\) with \(h_1\in \mathbb {R}\), \(h_1\ge 0\). Let \(\mathcal {H}^\mathrm {fin}\) be the dense subspace of \(\mathcal {H}\) generated by the eigenvectors of \(L_0\). We can apply [7, Theorem 3.4] to conclude that there exists a positive energy unitary representation \(\pi _U\) of \(\mathrm{Vir}\) on \(\mathcal {H}^\mathrm {fin}\).
The representation of \(\mathrm{Vir}\) on \(\mathcal {H}^\mathrm {fin}\) is equivalent to an algebraic orthogonal direct sum of multiples of irreducible positive energy representations of \(\mathrm{Vir}\) in the following sense. Let \(V_1\) be the smallest \(\pi _U\)-invariant subspace of \(\mathcal {H}^\mathrm {fin}\) which contains \(\ker (L_0-h_1\mathbb {1}_{\mathcal {H}^\mathrm {fin}})\) where \(h_1\) is the smallest eigenvalue of \(L_0\). By induction let \(V_n\) be the smallest \(\pi _U\)-invariant subspace of \(\left( V_1\oplus V_2\oplus \cdots \oplus V_{n-1}\right) ^{\perp }\cap \mathcal {H}^\mathrm {fin}\) which contains \(\left( V_1\oplus V_2\oplus \cdots \oplus V_{n-1}\right) ^{\perp }\cap \ker (L_0-h_n\mathbb {1}_{\mathcal {H}^\mathrm {fin}})\) where \(h_n\) is the smallest eigenvalue of \(L_0\) restricted to \(\left( V_1\oplus V_2\oplus \cdots \oplus V_{n-1}\right) ^{\perp }\cap \mathcal {H}^\mathrm {fin}\). It is straightforward to see that \(\mathcal {H}^\mathrm {fin}=\bigoplus _n V_n\) in the algebraic sense. Now choose an orthonormal basis \(\lbrace e^n_j\rbrace \) of \(W_n{:}{=}V_n\cap \ker (L_0-h_n\mathbb {1}_{\mathcal {H}^\mathrm {fin}})\). We define \(H_j^n\) to be the smallest \(\pi _U\)-invariant subspace of \(W_n\) which contains the vector \(e^n_j\). By construction \(H_j^n\) has no proper \(\pi _U\)-invariant subspaces, \(H_j^n\) and \(H_k^n\) are orthogonal subspaces for \(j\ne k\) and \(\overline{V_n}=\bigoplus _j\overline{H^n_j}\). Let T be the stress-energy tensor associated to the representation \(\pi _U\) of \(\mathrm{Vir}\). By construction \(T(f)|_{H_j^n}\) is essentially self-adjoint on \(H^n_j\).
To conclude the decomposition of U, we have to show that \(e^{iT(f)}\overline{H^n_j}\subset \overline{H^n_j}\) for all \(f\in \mathrm{Vect}(S^1)\). We note that \({\mathscr {D}}\left( \left( \overline{(T(f)|_{H_j^n})}\right) ^\ell \right) \subset {\mathscr {D}}(T(f)^\ell )\) and if \(\xi \in {\mathscr {D}}\left( \left( \overline{(T(f)|_{H_j^n})}\right) ^\ell \right) \) then \(\left( \overline{T(f)|_{H_j^n}}\right) ^\ell \xi =(T(f))^\ell \xi \). Thus the analytic vectors for \(\overline{(T(f)|_{H_j^n})}\) are also analytic for T(f) and \(e^{i\overline{(T(f)|_{H_j^n})}}\xi =e^{iT(f)}\xi \). Using the density of the analytic vectors in \(\overline{H_j^n}\), we obtain that \(e^{i\overline{(T(f)|_{H_j^n})}}=e^{iT(f)}\big \vert _{H^n_j}\). Irreducibility of \(U\vert _{\overline{H^n_j}}\) follows because \(T\vert _{H^n_j}\) is irreducible.
The extension to \(\mathcal {D}^s(S^1)\) is now a mere corollary of Theorem 3.13. \(\square \)
Corollary 3.15
Let U be a positive energy unitary projective representation of \(\mathrm{Diff}_+(S^1)\) on the Hilbert space \(\mathcal {H}\). Then U is unitarily equivalent to a direct sum of irreducible positive energy unitary projective representation of \(\mathrm{Diff}_+(S^1)\) and extends to \(\mathrm{Diff}_+^k(S^1)\) with \(k\ge 4\).
Proof
This again follows from Proposition 3.14 and the continuous embedding \(\mathrm{Diff}_+^k(S^1) \hookrightarrow \mathcal {D}^s(S^1), s \le k\). \(\square \)
We do not know whether our local multiplier representations can be extended to a global multiplier representation of \(\widetilde{\mathcal {D}^s(S^1)}\). It is also open whether the global multiplier representation of \(\mathrm{Diff}_+(S^1)\) with the Bott-Virasoro cocycle [15, Proposition 5.1] extends to \(\widetilde{\mathcal {D}^s(S^1)}\) by continuity.
4 Conformal nets and diffeomorphism covariance
Let \(\mathrm {PSL}(2,\mathbb {R})\) be the Möbius group and \(\mathcal {I}\) be the set of nonempty, non-dense, open intervals of the unit circle \(S^{1}\). \(I'\) denotes the interior of the complement of the interval \(I\in \mathcal {I}\), namely \(I'=(S^{1}{\setminus } I)^{\circ }\). A Möbius covariant net \((\mathcal {A}, U, \Omega )\) on \(S^{1}\) is a triple of a family \(\mathcal {A}=\left\{ \mathcal {A}(I), I\in \mathcal {I}\right\} \) of von Neumann algebras, a strongly continuous unitary representation U of \(\mathrm {PSL}(2,\mathbb {R})\) acting on a separable complex Hilbert space \(\mathcal {H}\) and \(\Omega \in \mathcal {H}\), satisfying the following properties:
-
(1)
Isotony: \(\mathcal {A}(I_{1})\subset \mathcal {A}(I_{2})\), if \(I_{1}\subset I_{2}\), \(I_{1},I_{2}\in \mathcal {I}\).
-
(2)
Locality: \(\mathcal {A}(I_{1})\subset \mathcal {A}(I_{2})^{\prime }\), if \(I_{1}\cap I_{2}=\emptyset \), \(I_{1},I_{2}\in \mathcal {I}\).
-
(3)
Möbius covariance: for \(g\in \mathrm {PSL}(2,\mathbb {R})\), \(I\in \mathcal {I}\),
$$\begin{aligned} U(g)\mathcal {A}(I)U(g)^{-1}=\mathcal {A}(gI) \end{aligned}$$where \(\mathrm {PSL}(2,\mathbb {R})\) acts on \(S^{1}\) by Möbius transformations.
-
(4)
Positivity of energy: the representation U has positive energy, i.e. the conformal Hamiltonian \(L_{0}\) (the generator of rotations) has non-negative spectrum.
-
(5)
Vacuum vector: \(\Omega \) is the unique vector (up to a scalar) with the property \(U(g)\Omega =\Omega \) for \(g\in \mathrm {PSL}(2,\mathbb {R})\). Additionally \(\Omega \) is cyclic for the algebra \(\bigvee _{I\in \mathcal {I}}\mathcal {A}(I)\).
With these assumptions, the following automatically hold [18, Theorem 2.19(ii)][17, Section 3]
-
(6)
Reeh-Schlieder property: \(\Omega \) is cyclic and separating for \(\mathcal {A}(I)\).
-
(7)
Haag duality: for every \(I\in \mathcal {I}\), \(\mathcal {A}(I')=\mathcal {A}(I)'\) where \(\mathcal {A}(I)'\) is the commutant of \(\mathcal {A}(I)\).
-
(8)
Additivity: if \(\lbrace I_{\alpha }\rbrace _{\alpha \in A}\) is a covering of \(I\in \mathcal {I}\), with \(I_{\alpha }\in \mathcal {I}\) for every \(\alpha \), then \({\mathcal {A}(I)\subset \bigvee _{\alpha }\mathcal {A}(I_{\alpha })}\).
-
(9)
Semicontinuity: if \(I_n\in \mathcal {I}\) is a decreasing family of intervals and \(I=\left( \bigcap _n I_n\right) ^{\circ }\) then \(\mathcal {A}(I)=\bigwedge _n \mathcal {A}(I_n)\).
By a conformal net (or diffeomorphism covariant net) we shall mean a Möbius covariant net which satisfies the following:
-
(10)
The representation U extends to a projective unitary representation of \(\mathrm{Diff}_+(S^1)\) such that for all \(I\in \mathcal {I}\) we have
$$\begin{aligned} U(\gamma )\mathcal {A}(I)U(\gamma )^*&=\mathcal {A}(\gamma I), \quad \gamma \in \mathrm{Diff}_+(S^1),\\ U(\gamma )xU(\gamma )^*&=x,\quad x\in \mathcal {A}(I), \quad \gamma \in \mathrm{Diff}_+(I^\prime ) \end{aligned}$$where \(\mathrm{Diff}_+(I^\prime )\) denotes the subgroup of diffeomorphisms \(\gamma \) such that \(\gamma (z)=z\) for all \(z\in I\).
A positive energy representation U of \(\mathrm{Diff}_+(S^1)\) is equivalent to a direct sum of irreducible representations, see Proposition 3.14. Every irreducible component \(U_j\) in the decomposition has the same value of the central charge c and if \(h_j\) is the lowest weight of \(U_j\), \(h_j-h_k\in \mathbb {Z}\) for every j, k. This fact is crucial for our purpose, which is to extend the conformal symmetry of the net to the larger group \(\mathcal {D}^s(S^1)\), \(s>3\), in the sense that we want to show that the conditions in (10) are satisfied for arbitrary \(\gamma \) in \(\mathcal {D}^s(S^1)\) and \(\mathcal {D}^s(I')\) respectively.
Proposition 4.1
A conformal net \((\mathcal {A},U,\Omega )\) is \(\mathcal {D}^s(S^1)\)-covariant for every \(s>3\).
Proof
Let \(\lbrace \gamma _n\rbrace \) be a sequence of diffeomorphisms in \(\mathrm{Diff}_+(S^1)\) converging to \(\gamma \in \mathcal {D}^s(S^1)\) in the topology of \(\mathcal {D}^s(S^1)\) as in Lemma A.4. For all \(n\in \mathbb {N}\) it holds that
where we used isotony of the net \(\mathcal {A}\). For \(x \in \mathcal {A}(I)\), it follows for \(m \le n\) that
by additivity. By Proposition 3.6 it follows that \(U(\gamma )xU(\gamma )^*=\lim _{n\rightarrow \infty } U(\gamma _n)xU(\gamma _n)^*\) (convergence in the strong operator topology) is in \(\bigcup _{k=m}^{\infty }\mathcal {A}(\gamma _k\cdot I)\) for any m, hence we have by upper semicontinuity that
The other inclusion follows by applying \({\hbox {Ad}\,}U(\gamma ^{-1})\).
Now consider \(\gamma \in \mathcal {D}^s(I')\) and \(x\in \mathcal {A}(I)\). We know from Lemma A.4 that there exists a sequence \(\lbrace \gamma _n\rbrace \subset \mathrm{Diff}_+(I_n')\) converging to \(\gamma \) in the topology of \(\mathcal {D}^s(S^1)\) and a decreasing sequence of intervals \(I'_n\supset \mathrm{supp}\,(\gamma _n)\supset I'\) such that \(\bigcap _n I'_n= I'\). For \(x\in \mathcal {A}(I_n)\), \(U(\gamma _m)xU(\gamma _m)^*=x\) if \(m \ge n\), hence by Proposition 3.6 we obtain \(U(\gamma )xU(\gamma )^*=x\). As n is arbitrary, this holds for any \(x \in \mathcal {A}(\textstyle {\bigcup _n I_n}) = \mathcal {A}(I)\) by additivity. \(\square \)
4.1 Representations of conformal nets
Let \((\mathcal {A},U,\Omega )\) a conformal net. A representation \(\rho \) of \((\mathcal {A},U,\Omega )\) is a family \(\rho =\lbrace \rho _I\rbrace \), \(I\in \mathcal {I}\), where \(\rho _I\) are representations of \(\mathcal {A}(I)\) on a common Hilbert space \(\mathcal {H}_\rho \) and such that \(\rho _J\vert _{\mathcal {A}(I)}=\rho _I\) if \(I\subset J\). The representation \(\rho \) is said to be locally normal if \(\rho _I\) is normal for every \(I\in \mathcal {I}\) (this is always true if the representation space \(\mathcal {H}_\rho \) is separable [41, Theorem 5.1]). We say that a representation \(\rho \) of a conformal net \((\mathcal {A},U,\Omega )\) is diffeomorphism covariant if there exists a positive energy representation \(U^\rho \) of \(\widetilde{\mathrm{Diff}_+(S^1)}\) such that
where \(\mathring{\gamma }\) is the image of \(\gamma \) in \(\mathrm{Diff}_+(S^1)\) under the covering map.
Now let \(\rho \) be a locally normal representation of the conformal net \(\mathcal {A}\) and assume that \(e^{i2\pi L^\rho _0}\) has pure point spectrum (this is always the case if \(\rho \) is a direct sum of irreducibles). By using [5, Proposition 2.2] and arguing as in the proof of [5, Proposition 3.7] it is not hard to see that \(\rho \) is diffeomorphism covariant (this will be directly proved in [42]) and that the corresponding positive energy projective unitary representation \(U_\rho \) of \(\widetilde{\mathrm{Diff}_+(S^1)}\) is a direct sum of irreducibles. By our previous results \(U_\rho \) extends to \(\widetilde{\mathcal {D}^s(S^1)}\), \(s>3\), and this extension makes \(\rho \) \(\widetilde{\mathcal {D}^s(S^1)}\)-covariant. Furthermore, if \(\rho \) is a direct sum of irreducible representations, then the adjoint action \({\hbox {Ad}\,}U_\rho (R(2\pi ))\) is trivial, and in this sense \(\rho \) is \(\mathcal {D}^s(S^1)\)-covariant. We summarize this fact in the following proposition.
Proposition 4.2
Let \(\rho \) be a locally normal representation of the conformal net \(\mathcal {A}\) and assume that \(e^{i2\pi L^\rho _0}\) has pure point spectrum. Then \(\rho \) is \(\widetilde{\mathcal {D}^s(S^1)}\)-covariant for every \(s>3\). If further \(\rho \) is a direct sum of irreducible representations, then it is also \(\mathcal {D}^s(S^1)\)-covariant.
5 Outlook
For all positive integers n and some h, the irreducible unitary representation \(U_{(n,h)}\) can be extended to \(\mathcal {D}^s(S^1), s>2\) [10]. It would be interesting to better understand to what extent the regularity of the diffeomorphisms can be weakened in such a way that the representations \(U_{(c,h)}\) may be extended to such a class in a continuous way. The proof of [10] (based on the strategy of [46]) relies on the better-behaving \(\mathrm {U}(1)\)-current, and it appears that such extensions do not act nicely on the stress-energy tensor T, which we are currently able to extend only to \(\mathcal {S}_\frac{3}{2}(S^1)\). On the other hand we know that at least some degree of regularity is required, i.e. we cannot just completely drop differentiability, at least when assuming that the representation has reasonable properties. Indeed, using the modular theory of type \(\mathrm {III}_1\) factors, it can be shown that a positive energy representation does not extend e.g. to the group of orientation preserving homeomorphisms, still satisfying the locality property. For a detailed discussion on this point see [10], in particular how this fact is related to the construction of soliton sectors for conformal nets.
Another interesting question is whether the global multiplier representations in [15] extend to \(\widetilde{\mathcal {D}^s(S^1)}\). The question is whether these representations are continuous in the \(\mathcal {D}^s(S^1)\)-topology. Instead, what we used in Proposition 3.12 is the continuity of our extensions as projective representations, and the existence of local multiplier representations follows. In particular, we do not know whether there is a multiplier representation of \(\widetilde{\mathcal {D}^s(S^1)}\) with the Bott-Virasoro cocycle.
Change history
08 February 2021
Funding note has been added
Notes
For the definition of unitary multiplier representation see Sect. 2.4.
We consider \(\mathcal {S}_{\frac{3}{2}}(S^1)\) and \(H^s(S^1)\) below as the spaces of nonsmooth vector fields on \(S^1\), and accordingly, without specification, they are the spaces of real functions.
This should be distinguished from the Fourier coefficients \(\hat{f}_n\) of a single function f.
We may assume that \(-\pi \le \theta _1, \theta _2 < \pi \), and \(|\theta _2-\theta _1| = \min \{|\theta _2-\theta _1|, 2\pi - |\theta _2 - \theta _1|\}\), hence this depends only on \(\theta _2 - \theta _2\).
References
Airault, H., Malliavin, P.: Quasi-invariance of Brownian measures on the group of circle homeomorphisms and infinite-dimensional Riemannian geometry. J. Funct. Anal. 241(1), 99–142 (2006). https://doi.org/10.1016/j.jfa.2006.01.015
Banyaga, A.: The Structure of Classical Diffeomorphism Groups. Kluwer Academic Publishers Group, Dordrecht (1997). https://books.google.com/books?id=ArEJCAAAQBAJ
Bargmann, V.: On unitary ray representations of continuous groups. Ann. Math. 59, 1–46 (1954). http://www.jstor.org/stable/1969831
Buchholz, D., Schulz-Mirbach, H.: Haag duality in conformal quantum field theory. Rev. Math. Phys. 2(1), 105–125 (1990). https://www.researchgate.net/publication/246352668
Carpi, S.: On the representation theory of Virasoro nets. Commun. Math. Phys. 244(2), 261–284 (2004). arXiv:math/0306425
Carpi, S., Kawahigashi, Y., Longo, R.: Structure and classification of superconformal nets. Ann. Henri Poincaré 9(6), 1069–1121 (2008). arXiv:0705.3609
Carpi, S., Kawahigashi, Y., Longo, R., Weiner, M.: From vertex operator algebras to conformal nets and back. Mem. Am. Math. Soc. 254(1213), vi+85 (2018). arXiv:1503.01260
Carpi, S., Weiner, M.: On the uniqueness of diffeomorphism symmetry in conformal field theory. Commun. Math. Phys. 258(1), 203–221 (2005). arXiv:math/0407190
D’Antoni, C., Fredenhagen, K., Köster, S.: Implementation of conformal covariance by diffeomorphism symmetry. Lett. Math. Phys. 67(3), 239–247 (2004). arXiv:math-ph/0312017
Del Vecchio, S., Iovieno, S., Tanimoto, Y.: Solitons and nonsmooth diffeomorphisms in conformal nets. Commun. Math. Phys. 375(1), 391–427 (2020). arXiv:1811.04501
Di Francesco, P., Mathieu, P., Sénéchal, D.: Conformal Field Theory. Springer, New York (1997). https://books.google.com/books?id=keUrdME5rhIC
Ebin, D.G.: On the space of Riemannian metrics. Ph.D. Thesis, Massachusetts Institute of Technology (1968). https://search.proquest.com/docview/302389531
Escher, J., Kolev, B.: Right-invariant Sobolev metrics of fractional order on the diffeomorphism group of the circle. J. Geom. Mech. 6(3), 335–372 (2014). arXiv:1202.5122
Ebin, D.G., Marsden, J.: Groups of diffeomorphisms and the motion of an incompressible fluid. Ann. Math. 2(92), 102–163 (1970). https://doi.org/10.2307/1970699
Fewster, C.J., Hollands, S.: Quantum energy inequalities in two-dimensional conformal field theory. Rev. Math. Phys. 17(5), 577–612 (2005). arXiv:math-ph/0412028
Figalli, A.: On flows of \(H^{3/2}\)-vector fields on the circle. Math. Ann. 347(1), 43–57 (2010). http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.3027
Fredenhagen, K., Jörß, M.: Conformal Haag–Kastler nets, pointlike localized fields and the existence of operator product expansions. Commun. Math. Phys. 176(3), 541–554 (1996). https://projecteuclid.org/euclid.cmp/1104286114
Gabbiani, F., Fröhlich, J.: Operator algebras and conformal field theory. Commun. Math. Phys. 155(3), 569–640 (1993). http://projecteuclid.org/euclid.cmp/1104253398
Goodman, R., Wallach, N.R.: Projective unitary positive-energy representations of \(\text{Diff}(S^1)\). J. Funct. Anal. 63(3), 299–321 (1985). http://www.sciencedirect.com/science/article/pii/0022123685900904
Hamilton, R.S.: The inverse function theorem of nash and moser. Bull. Am. Math. Soc. 7(1), 65–222 (1982). https://projecteuclid.org/euclid.bams/1183549049
Henriques, A.: Loop groups and diffeomorphism groups of the circle as colimits. Commun. Math. Phys. 366, 537–565 (2019). arXiv:1706.08471
Inci, H., Kappeler, T., Topalov, P.: On the regularity of the composition of diffeomorphisms. Mem. Am. Math. Soc. 226(1062), vi+60 (2013). arXiv:1107.0488
Kosyak, A.V., Leandr, R.: Regular representations of the central extension of the diffeomorphism group of the circle. Dokl. Akad. Nauk. 385(4), 453–455 (2002). https://www.imath.kiev.ua/~kosyak/Kos02Lea2.pdf
Kawahigashi, Y., Longo, R.: Classification of local conformal nets. Case \(c<1\). Ann. Math. 160(2), 493–522 (2004). arXiv:math-ph/0201015
Kolev, B.: Geodesic Flows on the Diffeomorphism Group of the Circle. Lecture Notes (2013). https://org.uib.no/school2013/LecturesKolev.pdf
Kac, V.G., Raina, A.K.: Bombay Lectures on Highest Weight Representations of Infinite-Dimensional Lie Algebras. Advanced Series in Mathematical Physics, vol. 2. World Scientific Publishing Co., Inc., Teaneck (1987). https://books.google.com/books?id=0P23OB84eqUC
Kuzmin, P.A.: On circle diffeomorphisms with discontinuous derivatives and quasi-invariance subgroups of Malliavin–Shavgulidze measures. J. Math. Anal. Appl. 330(1), 744–750 (2007). https://doi.org/10.1016/j.jmaa.2006.08.016
Khesin, B., Wendt, R.: The Geometry of Infinite-Dimensional Groups. Springer, Berlin (2009). http://www.math.toronto.edu/khesin/papers/Lecture_notes.pdf
Malliavin, P.: Invariant or quasi-invariant probability measures for infinite dimensional groups: II. Unitarizing measures or Berezinian measures. Jpn. J. Math. 3(1), 19–47 (2008). https://doi.org/10.1007/s11537-008-0751-6
Mann, K.: Lectures on homeomorphism and diffeomorphism groups (2015). https://e.math.cornell.edu/people/mann/papers/algdiff.pdf
Milnor, J.: Remarks on infinite-dimensional Lie groups. In Relativity, Groups and Topology, II (Les Houches, 1983), pp. 1007–1057. North-Holland, Amsterdam (1984). https://books.google.com/books?id=QK-HXwAACAAJ
Misiołek, G.: Conjugate points in the Bott–Virasoro group and the KDV equation. Proc. Am. Math. Soc. 125(3), 935–940 (1997). https://www.jstor.org/stable/2161606
Moretti, W.: Spectral Theory and Quantum Mechanics. Springer, Berlin (2017). https://doi.org/10.1007/978-3-319-70706-8
Morinelli, V., Tanimoto, Y., Weiner, M.: Conformal covariance and the split property. Commun. Math. Phys. 357(1), 379–406 (2018). arXiv:1609.02196
Neeb, K.-H., Salmasian, H.: Classification of positive energy representations of the Virasoro group. Int. Math. Res. Not. IMRN 18, 8620–8656 (2015). arXiv:1402.6572
Neretin, Y.A.: Unitary representations with highest weight of the group of diffeomorphisms of a circle. Funct. Anal. Appl. 17(3), 235–237 (1983). https://doi.org/10.1007/BF01078115
Ovsienko, V., Tabachnikov, S.: Projective Differential Geometry Old and New. Cambridge Tracts in Mathematics, vol. 165. Cambridge University Press, Cambridge (2005). http://www.math.psu.edu/tabachni/Books/BookPro.pdf
Pontryagin, L.S.: Topological Groups. Translated from the Russian by Emma Lehmer. Princeton University Press, Princeton (1946). https://books.google.com/books?id=eS0PAAAAIAAJ
Reed, M., Simon, B.: Methods of Modern Mathematical Physics. I. Functional Analysis, 2nd edn. Academic Press Inc., New York (1980). https://books.google.com/books?id=rpFTTjxOYpsC
Smyrlis, Y.S.: For which \(s\in \mathbb{R}\), is \({H}^s(\mathbb{T})\) a banach algebra? Mathematics Stack Exchange. https://math.stackexchange.com/q/823756
Takesaki, M.: Theory of Operator Algebras I. Encyclopaedia of Mathematical Sciences, vol. 124. Springer, Berlin (2002). https://books.google.com/books?id=dTnq4hjjtgMC
Tanimoto, Y.: Representations of loop group nets and virasoro nets (2018). (in preparation)
Taylor, M.E.: Partial Differential Equations I. Basic Theory, vol. 115, 2nd edn. Springer, New York (2011). https://books.google.com/books?id=0xtSyLjsphkC
timur. Sobolev space \({H}^s(\mathbb{R}^n)\) is an algebra with \(2s\ge n\). Mathematics Stack Exchange. https://math.stackexchange.com/q/315086
Valerio, T.L.: Integrating unitary representations of infinite-dimensional Lie groups. J. Funct. Anal. 161(2), 478–508 (1999). arXiv:math/0106195
Vromen, L.J.D.: Circle diffeomorphisms acting on fermionic and bosonic fock space. Master thesis, Utrecht University (2013). https://dspace.library.uu.nl/handle/1874/282847
Weiner, M.: Conformal covariance and positivity of energy in charged sectors. Commun. Math. Phys. 265(2), 493–506 (2006). arXiv:math-ph/0507066
Weiner, M.: Local equivalence of representations of \({\rm Diff}^+(S^1)\) corresponding to different highest weights. Commun. Math. Phys. 352(2), 759–772 (2017). arXiv:1606.00344
Zellner, C.: On the existence of regular vectors. In: Representation Theory—Current Trends and Perspectives, EMS Series in Congress Reports, pp. 747–763. European Mathematical Society, Zürich (2017). arXiv:1510.08727
Acknowledgements
S.C. would like to thank Gerard Misiołek for inspiring discussions. S.D. and S.I. would like to thank Stefano Rossi for the valuable discussions. Y.T. thanks André Henriques and Kathryn Mann for useful information. We are grateful to the referee for detailed comments.
S.C. , S.D. and Y.T. acknowledge the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006.
Funding
Open access funding provided by Universitá degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement. The authors are supported by ERC advanced grant 669240 QUEST “Quantum Algebraic Structures and Models”, Programma per giovani ricercatori, anno 2014 “Rita Levi Montalcini” of the Italian Ministry of Education, University and Research (MIUR) and the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Authors declare that there is no conflict of interest.
Ethical approval
The article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Sebastiano Carpi: Supported in part by ERC advanced grant 669240 QUEST “Quantum Algebraic Structures and Models” and GNAMPA-INDAM.
Simone Del Vecchio: Supported by ERC advanced grant 669240 QUEST “Quantum Algebraic Structures and Models”.
Yoh Tanimoto: Supported until February 2020 by Programma per giovani ricercatori, anno 2014 “Rita Levi Montalcini” of the Italian Ministry of Education, University and Research.
A Appendix: Various definitions of Sobolev spaces
A Appendix: Various definitions of Sobolev spaces
By Fourier coefficients. In Sect. 2.3 we introduced for \(s\ge 0\) the Sobolev spaces \(H^s(S^1)\) through the Fourier coefficients,
and for \(s>\frac{3}{2}\) the Sobolev groups
where \(\tilde{\gamma }\) is a lift to \(\widetilde{\mathrm{Diff}_+^1}(S^1)\) and \(\iota : \mathbb {R} \rightarrow \mathbb {R}\) is the identity map. We can also give the topology first to \(\widetilde{\mathcal {D}^s(S^1)}\) as an open subset of \(H^s(S^1) + \iota \) with the topology given by \(H^s(S^1)\), then to \(\mathcal {D}^s(S^1)\) by the quotient map. The definition by Fourier coefficients is convenient for us because it is crucial that \(\mathcal {D}^{3+\varepsilon }(S^1)\) acts on the set of vector fields in \(\mathcal {S}_{\frac{3}{2}}(S^1)\) (to which the stress-energy tensor can be extended) and the latter is defined again through Fourier coefficients. However, we also cited Lemmas 2.4, 2.5 from [22, Lemma B.4, Theorem B.2] where the Sobolev spaces are defined in another way. Therefore, we have to check that these definitions coincide.
By local integral. Let us first observe that an analogue of [22, Lemma B.1] holds.
Lemma A.1
Let \(f\in L^2(S^1, \mathbb {R})\) and \(s>1\). Then, \(f \in H^s(S^1)\) if and only if \(f \in {\mathscr {D}}(i\frac{d}{d\theta })\) and \(f' \in H^{s-1}(S^1)\). Moreover, the norm \(\Vert f\Vert + \Vert f'\Vert _{H^{s-1}}\) is equivalent to \(\Vert f\Vert _{H^s}\), where \(\Vert f\Vert = \Vert f\Vert _{H^0}\) is the \(L^2\)-norm.
With this Lemma, we can consider the second characterization, parallel to [22, Lemma B.2].
Lemma A.2
Let \(s > 0, s \notin \mathbb {Z}\) and \(\lambda = s - \lfloor s\rfloor \), where \(\lfloor s\rfloor \) denotes the largest integer not exceeding s. Then \(f \in H^s(S^1)\) if and only if \(f \in H^{\lfloor s\rfloor }\) and \([f^{(\lfloor s\rfloor )}]_\lambda < \infty \), where \([f^{(\lfloor s\rfloor )}]_\lambda \) is the \(L^2\)-norm of the following function on \(S^1\times S^1\)
where \(|\theta _1-\theta _2|\) denotes the distanceFootnote 5 of two points \(\theta _1, \theta _2\) along the circle \(S^1 = \mathbb {R}/2\pi \mathbb {Z}\).
Proof
Following [22, Lemma B.2], we prove the Lemma by induction. Let us assume \(\lfloor s\rfloor = 0\), hence \(s = \lambda \). We have
By Parseval’s theorem,
therefore,
Note that, for \(k \ne 0\), by substitution \(\hat{\theta } = k\theta \) we obtain
and this last integral is uniformly bounded both below and above with respect to k. Therefore, for \(f \in H^{\lfloor s\rfloor }(S^1) = L^2(S^1, \mathbb {R})\), \(\Vert f\Vert _{H^s} = \sum _k (1+|k|^2)^{\lambda }|\hat{f}_k|^2 < \infty \) if and only if \(\sum _k |k|^{2\lambda }|\hat{f}_k|^2 < \infty \), if and only if
Assuming that the statement holds for \(s-1\), we can conclude induction by applying it to \(f'\) and using Lemma A.1. \(\square \)
The whole Appendix B of [22] can be adapted to \(H^s(S^1)\) and \(\mathcal {D}^s(S^1)\) using these norms and one obtains Lemma 2.5 for \(s \notin \mathbb {Z}\), corresponding to [22, Lemmas B.5,B.6] (for \(s \in \mathbb {Z}\), see [22, Section 2]). We believe this is the fastest way for the reader not familiar with Sobolev spaces.
By local Sobolev spaces. Alternatively, one may start with the Sobolev spaces on \(\mathbb {R}\), following [22]:
where \(\hat{f}\) denotes the Fourier transform for \(f\in L^2(\mathbb {R}, \mathbb {R})\) (with a slight abuse of notation: \(\hat{f}\) depends on whether \(f \in L^2(\mathbb {R}, \mathbb {R})\) or \(f \in L^2(S^1, \mathbb {R})\)). For an open connected set \(\mathcal {U}\subset \mathbb {R}\), we set (see [22, Definition B.1], where the boundary \(\partial \mathcal {U}\) is required to be Lipschitz, but in \(\mathbb {R}\) it is not necessary):
Let us consider \(S^1\) as a manifold, namely supplied with an atlas \(\{\mathcal {U}_k\}\).
For \(s > \frac{1}{2}\), we may take another definition for \(H^s(S^1) = H^s(S^1, \mathbb {R})\):
Now, from Lemma A.2, it is clear that being in \(H^s(S^1)\) is a local property (note that \(S^1\) is compact). If \(f \in H^s(S^1)\) (in the sense of (A.1)), for any smooth function \(\psi \) with compact support, \(\psi f \in H^s(S^1)\) by Lemma A.2. To a chart \(\mathcal {U}\) in the atlas, take a smooth function \(\psi \) which is 1 on \(\overline{\mathcal {U}}\) and supported in a non-dense interval. Then \(\psi f\) can be considered as an element of \(H^s(\mathbb {R}, \mathbb {R})\) by [22, Lemma B.2], hence the definition (A.1) is stronger. Conversely, if for each \(\theta \in S^1\) there is \(\mathcal {U}\ni \theta \) such that \(f|_{\mathcal {U}} \in H^s(\mathcal {U}, \mathbb {R})\), by compactness of \(S^1\) one can take a finite cover \(\{\mathcal {U}_k\}\) of \(S^1\) and a smooth partition of unity \(\{\psi _k\}\) subordinate to it, and it follows that \(f = \sum _k \psi _k f \in H^s(S^1)\) in the sense of (A.1), therefore, the two definitions are equivalent.
It is also clear that the following definition [43, Section 4.3]
is equivalent to the definition through Fourier coefficients for \(s \ge 0\).
Now, we define \(H^s(S^1, S^1)\) to be the maps \(f:S^1\rightarrow S^1\) such that there are two atlases \(\{\mathcal {U}_k\}, \{\mathcal {V}_k\}\) of \(S^1\) such that \(f|_{\mathcal {U}_k} \in H^s(\mathcal {U}_k, \mathbb {R})\), where we identified \(f(\mathcal {U}_k) \subset \mathcal {V}_k\) as a subset of \(\mathbb {R}\) by the chart (see [22, Section 3.1]) and
Recall that the definition (A.2) is local, and the identity map \(\iota \) is a smooth function, hence it is equivalent to the definition above which is manifestly local.
Now that we have the equivalence of definitions, we can use [22, Theorem B.2], which we cited and specialized as Lemma 2.5.
Local approximation of diffeomorphisms. We also need that elements in \(\mathcal {D}^s(S^1)\) with compact support can be approximated by elements \(\mathcal {D}^s(S^1)\) with slightly larger support.
Lemma A.3
Let \(s \ge 0\). For a fixed \(f \in H^s(S^1)\), the rotation \(\mathbb {R}\ni t \mapsto f_t = f(e^{i(\cdot -t)}) \in H^s(S^1)\) is continuous.
Proof
We have \(\hat{f}_{t,k} = e^{ikt}\hat{f}_k\), and hence \(|\hat{f}_{t,k}| = |\hat{f}_k|\) and \(\hat{f}_{t,k} \rightarrow \hat{f}_k\) as \(t\rightarrow 0\). By Lebesgue’s dominated convergence theorem (applied to the measure space \(\mathbb {Z}\) with the counting measure, with the dominating function \(k \mapsto 4|(1+k^2)^s\hat{f}_k|^2\))
This means \(\Vert f-f_t\Vert _{H^s} \rightarrow 0\). \(\square \)
Lemma A.4
Let \(s \ge \frac{3}{2}\). For every \(\gamma \in \mathcal {D}^s(S^1)\), there exists a sequence \(\lbrace \gamma _n\rbrace \subset \mathrm{Diff}_+(S^1)\) converging to \(\gamma \) in the topology of \(\mathcal {D}^s(S^1)\). Furthermore, if \(\gamma \) is supported in I, we can take \(\gamma _n\) such that \(\mathrm{supp}\,\gamma _n \supset \gamma _{n+1}\) and \(\bigcap _n \mathrm{supp}\,\gamma _n = I\).
Proof
Let \(\gamma \in \mathcal {D}^s(S^1)\) and \(\varphi \in \widetilde{\mathcal {D}^s(S^1)}\) such that \(\varphi (\theta +2\pi )=\varphi (\theta )+2\pi \) and \(\gamma (e^{i\theta })=e^{i\varphi (\theta )}\). If \(\gamma \) is supported in a proper interval we may assume without loss of generality that \(\varphi (\theta )=\theta \) if \(\theta \in [-\pi ,a)\cup (b,\pi ]\). The function \(\psi {:}{=}\varphi '-1\) is \(2\pi \)-periodic and has compact support [a, b] as a function on \([-\pi ,\pi ]\).
We now choose a set of \(C^{\infty }\)-functions \(\lbrace g_n\rbrace \) with compact support strictly contained in \([-\pi ,\pi ]\) such that for all \(n\in \mathbb {N}\) \(g_n\ge 0\), \(\int g_n=1\), \(\mathrm{supp}\,(g_n)\supset \mathrm{supp}\,(g_{n+1})\), \(\mathrm{supp}\,(g_n)\rightarrow \lbrace 0\rbrace \). In addition, if \(\gamma \) is supported in [a, b], we may assume that \([a,b]+\mathrm{supp}\,(g_n)\supset \mathrm{supp}\,(\psi *g_n)\), where the convolution is defined on \(S^1 \simeq \mathbb {R}/2\pi \mathbb {Z}\) as an abelian group. With this choice, \(\psi *g_n + \iota \) defines an element in \(\mathcal {D}^s(S^1)\), because \(\int _t \psi *g_n (t)dt = 0\) and \(\psi * g_n > 0\) for sufficiently large n.
To obtain the claim, it is enough to show that \(\Vert \psi - \psi *g_n\Vert _{H^s} \rightarrow 0\) as \(n\rightarrow 0\). This follows from
and Lemma A.3. \(\square \)
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/.
About this article
Cite this article
Carpi, S., Del Vecchio, S., Iovieno, S. et al. Positive energy representations of Sobolev diffeomorphism groups of the circle. Anal.Math.Phys. 11, 12 (2021). https://doi.org/10.1007/s13324-020-00429-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-020-00429-5