1. Introduction
In this article we construct a Connes fusion product on the spinor bundle on the loop space of a string manifold and, thus, solve a problem formulated by Stolz and Teichner in 2005 [Reference Stolz and TeichnerST05]. We recall that a spin manifold $M$ admits a string structure if and only if its first fractional Pontryagin class vanishes, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU1.png?pub-status=live)
If $M$ is a string manifold, then its free loop space
$LM=C^{\infty }(S^1,M)$ is a spin manifold in the sense of Killingback [Reference KillingbackKil87], i.e. it comes equipped with a certain principal bundle for the basic central extension
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU2.png?pub-status=live)
of the loop group of $\operatorname {Spin}(d)$, where
$d=\dim (M)$. In our previous work [Reference Kristel and WaldorfKW20] we have constructed an infinite-dimensional Hilbert space bundle
$F(LM)$ on
$LM$ by associating a certain unitary representation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU3.png?pub-status=live)
to this principal bundle, where $F$ is the Fock space of ‘free fermions on the circle’. We have proved [Reference Kristel and WaldorfKW20] that the bundle
$F(LM)$ realizes precisely what Stolz and Teichner called the spinor bundle on loop space [Reference Stolz and TeichnerST05].
In the present article, we construct a hyperfinite type III$_1$ von Neumann algebra bundle
$\mathcal {N}$ over the space
$PM$ of smooth paths in
$M$, and prove (Theorem 5.2.5) that the spinor bundle
$F(LM)$ is a
$p_1^{*}\mathcal {N}$–
$p_2^{*}\mathcal {N}$-bimodule bundle, where
$p_1,p_2: LM \to PM$ are the maps that divide a loop into its two halves. From a fibrewise point of view, if
$\beta _1,\beta _2\in PM$ are paths with a common initial point and a common endpoint, and
$\beta _1 \cup \beta _2$ denotes the corresponding loop, then
$F(LM)_{\beta _2\cup \beta _1}$ is an
$\mathcal {N}_{\beta _1}$–
$\mathcal {N}_{\beta _2}$-bimodule. Our main result (Theorem 5.3.1) is the existence and unique characterization of unitary intertwiners
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU4.png?pub-status=live)
of $\mathcal {N}_{\beta _3}$–
$\mathcal {N}_{\beta _1}$-bimodules, where
$\boxtimes$ is the Connes fusion of bimodules over
$\mathcal {N}_{\beta _2}$, and
$\beta _1,\beta _2,\beta _3\in PM$ is any triple of paths with a common initial point and a common endpoint. One may regard the loop
$\beta _1\cup \beta _3$ as the fusion of the loops
$\beta _1\cup \beta _2$ and
$\beta _2\cup \beta _3$ along the common segment
$\beta _2$, and regard
$\chi _{\beta _1,\beta _2,\beta _3}$ as lifting this loop-fusion product. We call the collection of intertwiners
$\chi _{\beta _1,\beta _2,\beta _3}$, varying over all triples of paths with a common initial point and a common endpoint, the Connes fusion product on the spinor bundle on loop space; it is an associative product covering the fusion of loops (Proposition 5.3.3).
Our construction of the Connes fusion product on the spinor bundle on loop space became possible because we found a specific way to relate string structures, loop fusion, and Connes fusion.
(1) We use the recent discovery of a certain loop-fusion product on Killingback's spin structure on loop space [Reference WaldorfWal16a, Reference WaldorfWal15]. This fusion product belongs to a loop space equivalent formulation of a string structure on
$M$, and thus provides a neat way to use a string structure while working on the loop space.
(2) A similar, Lie group-theoretical loop-fusion product exists on the basic central extension
$\smash {\widetilde {L\operatorname {Spin}}}(d)$, and it satisfies a certain compatibility condition with the fusion product of part (1). In our previous work [Reference Kristel and WaldorfKW22] we have found an operator-theoretic description of this loop-fusion product, using Tomita–Takesaki theory of the free fermions
$F$.
(3) We use that the free fermions
$F$ are a standard form for a certain Clifford–von Neumann algebra to construct a novel Connes fusion product between certain operators on
$F$ (Definition 3.4.5). We derive a new and crucial relation (Theorem 4.3.3) between the loop-fusion product of part (2) and this Connes fusion product.
Our construction of the Connes fusion product on the spinor bundle in Theorem 5.3.1 combines these three fusion products, and uses the above-mentioned correspondences between the differential geometric setting and the operator-algebraic setting. In particular, we discovered how the datum of a string structure on $M$ is involved; this was probably the main issue that needed to be solved.
The question for the existence of an associative Connes fusion product on the spinor bundle $F(LM)$ was formulated as Theorem 1 in [Reference Stolz and TeichnerST05], but has not been carried out so far. In addition to proving its (fibrewise) existence, we address and solve the question in which way these structures can be upgraded from a purely topological setting into a smooth setting. In our previous work [Reference Kristel and WaldorfKW20], we started this by generalizing the concept of a rigged Hilbert space to C
$^{*}\!$-algebras and bundle versions thereof. In particular, we proved there that the spinor bundle
$F(LM)$ is a rigged Hilbert space bundle over
$LM$. In the present article, we further extend this framework to von Neumann algebras, and exhibit our von Neumann algebra bundle
$\mathcal {N}$ over
$PM$ as a rigged von Neumann algebra bundle, and the spinor bundle
$F(LM)$ as a rigged von Neumann
$p_1^{*}\mathcal {N}$–
$p_2^{*}\mathcal {N}$-bimodule bundle (Theorem 5.2.5). Moreover, we show that our Connes fusion product on the spinor bundle is smooth with respect to these rigged structures (Proposition 5.3.5). Concerning smoothness aspects, we work as far as possible with Fréchet spaces and Fréchet manifolds. When it comes to fusion, we use the convenient setting of diffeological spaces in order to properly describe spaces of paths with common endpoints, on which operations like
$(\beta _1,\beta _2)\mapsto \beta _1\cup \beta _2$ are well-defined and smooth. The extension of, for instance, rigged von Neumann algebra bundles from Fréchet manifolds to diffeological spaces is performed in a concrete way that fits at the same time in a neat sheaf-theoretic perspective (Remark 2.3.3).
Our results here are part of a programme to explore the relation between functorial field theories, generalized cohomology theories, and index theory. Within this programme there are, among others, two big (and still open) problems, to which the results of this article make a contribution. The first problem is to realize the two-dimensional supersymmetric sigma model (the ‘free superstring’) rigorously as a smooth functorial field theory (FFT) in the sense of Atiyah [Reference AtiyahAti88], Segal [Reference SegalSeg81], and Stolz and Teichner [Reference Stolz and TeichnerST04]. In this sigma model, the Hilbert space $F(LM)_{\gamma }$ is the ‘state space’ for superstrings with underlying ‘world-sheet embedding’
$\gamma :S^1 \to M$; in other words, it is the value of the FFT on the circle (equipped with map
$\gamma$). Our result that the spinor bundle is a rigged Hilbert space bundle is at the basis of the statement that this FFT is smooth. The main contribution is, however, that our Connes fusion product on
$F(LM)$ is the central ingredient to what the FFT assigns to a pair of pants, as sketched in Figure 1. A further contribution is that our rigged von Neumann algebra bundle
$\mathcal {N}$ over
$PM$ is part of the answer to the question how the FFT can be extended to a point: we discuss in § 5.4 that
$\mathcal {N}$ furnishes a certain 2-vector bundle over
$M$, the ‘stringor bundle’ of the string manifold
$M$. The FFT then assigns to the point (equipped with a map
$x: \ast \to M$) the fibre of this 2-vector bundle over
$x$.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_fig1.png?pub-status=live)
Figure 1. (a) A pair of pants. (b) A decoration where boundary loops are split into two halves. (c) The three paths with a common initial point and a common end point, at which we the halves of (b) meet. There, our Connes fusion product on the spinor bundle on loop space can be applied. Still missing is a notion of ‘parallel transport’ in the spinor bundle, which would take care of the passage from the boundary loops to the three loops $\beta _1\cup \beta _2$,
$\beta _2\cup \beta _3$, and
$\beta _1\cup \beta _3$.
Yet, two major steps are still missing in the construction of the supersymmetric sigma model as a smooth extended FFT. First, a proper definition of an appropriate smooth bordism category over $M$ (probably, it will be a sheaf of
$(\infty,2)$-categories). There have been very recent promising proposals [Reference Ludewig and StoffelLS21, Reference Grady and PavlovGP20] raising hope that this is accomplishable. Second, a construction and investigation of a connection on the spinor bundle
$F(LM)$, which would provide assignments to cylinders (see Figure 1). Some ideas and results in this direction have already been reported by Stolz and Teichner under the name ‘string connection’ [Reference Stolz and TeichnerST04] or ‘conformal connection’ [Reference Stolz and TeichnerST05]. Further results have been obtained in [Reference WaldorfWal13, Reference WaldorfWal15], discussing string connections in terms of Killingback's spin structures on loop spaces. Altogether, we believe that a complete solution to the problem to cast the free superstring as an extended smooth FFT is now in reach.
The second problem that arises in the above-mentioned programme is the quest for a Dirac-type operator acting on spinors on loop space [Reference WittenWit88, Reference TaubesTau89]. Admittedly, our results do not yet place this goal in easy reach. However, they might be relevant in order to specify the precise space of spinors on which such an operator may act. At this point, we would like to highlight the general philosophy behind fusion on loop space, following Stolz and Teichner [Reference Stolz and TeichnerST05]: fusion characterizes geometric structure on $LM$ that subtly encodes geometry on
$M$. This is supported by the following list of incarnations of this philosophy.
(a) A fusion product on a line bundle on
$LM$ encodes a bundle gerbe on
$M$; similarly, a fusion product on a central extension of a loop group
$LG$ encodes a multiplicative bundle gerbe on
$G$. The precise statements are the main results of [Reference WaldorfWal12b, Reference WaldorfWal17].
(b) A fusion product on a Killingback spin structure on
$LM$ encodes a string structure on
$M$, as mentioned above. The precise statement is in [Reference WaldorfWal15].
(c) Our Connes fusion product on the spinor bundle on
$LM$ encodes the stringor bundle on
$M$, as outlined above and described in § 5.4.
(d) Finally, the following lower-categorical analog of (b) has been proved by Stolz and Teichner [Reference Stolz and TeichnerST05]: the orientation bundle of
$LM$ carries a canonical fusion product, and the fusion-preserving sections encode precisely the spin structures on
$M$.
In analogy to statement (d), we expect that the relevant space of spinors on loop space consists of fusion-preserving sections of the spinor bundle $F(LM)$. In this sense, we believe that our construction of the Connes fusion product on the spinor bundle will help to approach the mysterious Dirac operator on loop space.
For completeness, we remark that both problems described above are conjectured to be related by a yet unknown index theory with family indices taking values in a certain generalized cohomology theory, whose objects can be represented by certain smooth FFTs. It is expected that the index of the Dirac operator on loop space corresponds precisely to the free superstring FFT [Reference Stolz and TeichnerST04, Reference Stolz and TeichnerST05].
This article is organized as follows. In § 2 we develop the theory of rigged von Neumann algebra bundles and bimodule bundles, first over Fréchet manifolds and then over diffeological spaces. In § 3 we discuss the free fermions $F$, exhibit it as a rigged von Neumann bimodule, and construct the Connes fusion of certain operators on
$F$. Section 4 is devoted to all aspects of loop fusion, including a discussion of the relation between Killingback spin structures and string structures. In § 5 we carry out our main constructions: the rigged von Neumann algebra bundle
$\mathcal {N}$, the
$\mathcal {N}$–
$\mathcal {N}$-bimodule structure on the spinor bundle
$F(LM)$, and, finally, the Connes fusion product on
$F(LM)$. We include two appendices about bimodules of von Neumann algebras: Appendix A.1 collects results about the theory of standard forms that we mainly use in § 3.3; and Appendix A.2 contains definitions and properties of Connes fusion.
2. Rigged von Neumann algebras
One of the central objects of consideration in this article are certain bundles of von Neumann algebras over the space of smooth paths/loops in a manifold. It is highly desirable that these bundles are equipped with a smooth structure, because they are expected to host interesting differential operators. However, to the best of the authors’ knowledge, no treatment of locally trivial smooth bundles of Hilbert spaces, C$^{*}\!$-algebras, or von Neumann algebras is available. In our previous work [Reference Kristel and WaldorfKW20] on spinor bundles on loop space, we found that these smoothness issues are best addressed in the setting of rigged Hilbert spaces, which we extended there to rigged C
$^{*}\!$-algebras and smooth bundles thereof.
In this section, we expand these notions further to include rigged von Neumann algebras and smooth bundles of rigged von Neumann algebras, as well as rigged bimodules over von Neumann algebras and bundles thereof. Then, in order to discuss fusion in loop spaces, we further extend these structures from Fréchet manifolds to diffeological spaces. This is necessary because the spaces of paths and tuples of paths we consider are not Fréchet manifolds anymore, but have nice and natural diffeologies.
2.1 Representations on rigged Hilbert spaces
In this paper, we work with rigged Hilbert spaces and rigged C$^{*}\!$-algebras as introduced in § 2 of our paper [Reference Kristel and WaldorfKW20]; we briefly review all required notions and results, and refer the reader to that paper for more motivation and context.
Definition 2.1.1 A rigged Hilbert space is a Fréchet space equipped with a continuous (sesquilinear) inner product. A morphism of rigged Hilbert spaces is simply a continuous linear map. A morphism of rigged Hilbert spaces is called bounded/isometric if it is bounded/isometric with respect to the inner products, and it is called unitary, if it is an isometric isomorphism.
Given a rigged Hilbert space $E$, one obtains an honest Hilbert space, denoted
$\hat E$, by completion with respect to the inner product. The prototypical example of a rigged Hilbert space is the Fréchet space of smooth functions on the circle, equipped with the
$L^2$-inner product; its Hilbert completion is the space of square-integrable functions on the circle.
By a smooth representation of a Fréchet Lie group $\mathcal {G}$ on a rigged Hilbert space
$E$ we mean an action of
$\mathcal {G}$ on
$E$ by unitary morphisms of rigged Hilbert spaces, such that the map
$\mathcal {G} \times E \to E$ is smooth. The typical example in this paper is the rigged Hilbert space
$F_L^{\mathrm {s}}$ of smooth vectors in a Fock space of a Lagrangian
$L\subset V$, which carries a smooth representation of a Lie group
$\operatorname {Imp}_L^{\theta }(V)$ of implementers, see Proposition 3.2.2.
Definition 2.1.2 A rigged C $^{*}\!$-algebra is a Fréchet algebra
$A$, equipped with a continuous norm
$\| \cdot \|: A \rightarrow \mathbb {R}_{\geqslant 0}$ and a continuous complex anti-linear involution
$*:A \rightarrow A$, such that its completion with respect to the norm is a C
$^{*}\!$-algebra. A morphism of rigged C
$^{*}\!$-algebras is a morphism of Fréchet algebras that is bounded with respect to the norms and intertwines the involutions. A morphism of rigged C
$^{*}\!$-algebras is called isometric, if it is an isometry with respect to the norms.
By definition, an actual C$^{*}\!$-algebra
$\hat A$ can be obtained from a rigged C
$^{*}\!$-algebra
$A$ by norm completion. By a smooth representation of a Fréchet Lie group
$\mathcal {G}$ on a rigged C
$^{*}\!$-algebra
$A$ we mean an action of
$\mathcal {G}$ on
$A$ by isometric isomorphisms of rigged C
$^{*}\!$-algebras, such that the map
$\mathcal {G} \times A \to A$ is smooth. The typical example in this paper is the Fréchet algebra
$\operatorname {Cl}(V)^{\mathrm {s}}$ of smooth vectors in the Clifford algebra of a real Hilbert space
$V$, which carries a smooth representation of the orthogonal group
$\operatorname {O}(V)$ via Bogoliubov automorphisms, see Proposition 3.2.4.
Of major importance for this article is a certain type of representations of rigged C$^{*}\!$-algebras on rigged Hilbert spaces.
Definition 2.1.3 Let $A$ be a rigged C
$^{*}\!$-algebra. A rigged
$A$-module is a rigged Hilbert space
$E$ together with a representation
$\rho$ of (the underlying algebra of)
$A$ on (the underlying vector space of)
$E$, such that the map
$\rho :A \times E \to E$ is smooth and the following conditions hold for all
$a \in A$ and all
$v,w \in E$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn1.png?pub-status=live)
A (unitary) intertwiner from a rigged $A_1$-module
$E_1$ to a rigged
$A_2$-module
$E_2$ is a pair
$(\phi,\psi )$ of a morphism
$\phi :A_1 \to A_2$ of rigged C
$^{*}\!$-algebras and a bounded (unitary) morphism
$\psi :E_1\to E_2$ of rigged Hilbert spaces that intertwines the representations along
$\phi$.
We recall that if a map $\rho :A \times E \to E$ is bilinear, it is smooth if and only if it is continuous.
The typical example is the rigged Hilbert space $F_L^{\mathrm {s}}$, which becomes under Clifford multiplication a rigged
$\operatorname {Cl}(V)^{\mathrm {s}}$-module, see Proposition 3.2.5. A couple of remarks are in order.
Remark 2.1.4 (a) Conditions (1) in Definition 2.1.3 are chosen such that a rigged $A$-module
$E$ with underlying representation
$\rho$ induces a
$\ast$-homomorphism
$\hat \rho : \hat A \to \mathcal {B}(\hat E)$, i.e. a representation of the C
$^{*}\!$-algebra
$\hat A$ on the Hilbert space
$\hat E$, see [Reference Kristel and WaldorfKW20, Remark 2.2.11].
(b) If $\phi :A \to B$ is a morphism of rigged C
$^{*}\!$-algebras, and
$E$ is a rigged
$B$-module with representation
$\rho$, then
$E$ becomes a rigged
$A$-module under the induced representation
$(a,v) \mapsto \rho (\phi (a),v)$. Moreover, the pair
$(\phi,\mathbb {1})$ is a unitary intertwiner.
(c) Rigged C$^{*}\!$-algebras and rigged modules are compatible with dualization. If
$A$ is a rigged C
$^{*}\!$-algebra, then its opposite algebra,
$A^{\mathrm {opp}}$, is a rigged C
$^{*}\!$-algebra in a natural way, and its completion
$(A^{\operatorname {opp}})^{\|\cdot \|}$ is the usual opposite C
$^{*}\!$-algebra. Let
$E$ be a rigged
$A$-module. The inner product on
$E$ gives us a complex anti-linear injection
$\iota : E \rightarrow E^{*}$ mapping
$E$ into its continuous linear dual
$E^{*}$. Denote the image of
$\iota$ by
$E^{\sharp }$. We turn
$E^{\sharp }$ into a Fréchet space using the identification with
$E$. If
$\rho$ denotes the representation of
$A$ on
$E$, then the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU5.png?pub-status=live)
is a representation of $A^{\mathrm {opp}}$ on
$E^{\sharp }$, and it is straightforward to show that it turns
$E^{\sharp }$ into a rigged
$A^{\operatorname {opp}}$-module.
Next, we extend our framework, which we have so far recalled from [Reference Kristel and WaldorfKW20], by introducing new structures that ultimately lead to the notion of rigged bimodules over rigged von Neumann algebras.
Definition 2.1.5 Let $A_1$ and
$A_2$ be rigged C
$^{*}\!$-algebras. A rigged
$A_1$–
$A_2$-bimodule is a rigged Hilbert space
$E$ with commuting representations of
$A_1$ and
$A_2^{\operatorname {opp}}$, in such a way that
$E$ is a rigged
$A_1$-module and a rigged
$A_2^{\operatorname {opp}}$-module. A (unitary) intertwiner from a rigged
$A_1$–
$A_2$-bimodule
$E$ to a rigged
$A'_1$–
$A_2'$-bimodule
$E'$ is a triple
$(\phi ^1,\phi ^2,\psi )$ consisting of morphisms
$\phi ^1:A_1 \to A'_1$ and
$\phi ^2:A_2 \to A_2'$ of rigged C
$^{*}\!$-algebras, and of a bounded (unitary) morphism
$\psi :E \to E'$ of rigged Hilbert spaces that intertwines both representations along
$\phi ^1$ and
$\phi ^2$.
Under completion, a rigged $A$–
$B$-bimodule
$E$ becomes a Hilbert space
$\hat E$ with commuting representations of the C
$^{*}\!$-algebras
$\hat A$ and
$\hat B^{\operatorname {opp}}=\widehat {B^{\operatorname {opp}}}$. Our main example of a rigged bimodule is again the space
$F_L^{\mathrm {s}}$ of smooth vectors in a Fock space, which we equip with a rigged bimodule structure over a certain subalgebra of
$\operatorname {Cl}(V)^{\mathrm {s}}$, see § 3.3. Next, we develop the setting of rigged von Neumann algebras.
Definition 2.1.6 A rigged von Neumann algebra is a pair $N=(A,E)$ consisting of a rigged C
$^{*}\!$-algebra
$A$ and a rigged
$A$-module
$E$, with the property that the induced C
$^{*}\!$-representation
$\hat A \rightarrow \mathcal {B}(\hat E)$ is faithful. The representation underlying the rigged
$A$-module
$E$ is called the defining representation of
$N$.
Remark 2.1.7 If $N=(A,E)$ is a rigged von Neumann algebra, and
$\rho$ its defining representation, then the assumption that
$\hat \rho : \hat A \rightarrow \mathcal {B}(\hat E)$ is faithful implies that it is an isometry and, hence, a homeomorphism onto its image. We may thus identify
$\hat \rho (\hat A)$ with
$\hat A$. Then, we define the von Neumann algebra
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU6.png?pub-status=live)
and conclude that it contains $\hat A$ as a weakly dense (and, thus, also
$\sigma$-weakly dense) subspace. In particular, any rigged von Neumann algebra
$N$ gives rise to an ordinary von Neumann algebra
$N''$.
An example of a rigged von Neumann algebra is the Clifford algebra $\operatorname {Cl}(V)^{\mathrm {s}}$ with its defining representation on Fock space
$F^{\mathrm {s}}_L$, see Proposition 3.2.5. The associated von Neumann algebra is
$\mathcal {B}(F_L)$. More interesting examples will be constructed in Proposition 3.2.9; these give rise to type III
$_1$-factors.
Remark 2.1.8 If $N=(A,E)$ is a rigged von Neumann algebra, then
$N^{\mathrm {opp}}:= (A^{\mathrm {opp}},E^{\sharp })$ is a rigged von Neumann algebra, see Remark 2.1.4.
Definition 2.1.9 Let $N_{1} = (A_{1},E_{1})$ and
$N_{2} = (A_{2},E_{2})$ be rigged von Neumann algebras. A morphism of rigged von Neumann algebras from
$N_1$ to
$N_2$ is a morphism
$\phi : A_{1} \rightarrow A_{2}$ of rigged C
$^{*}\!$-algebras that extends to a normal
$\ast$-homomorphism
$N_{1}'' \rightarrow N_{2}''$.
We recall that ‘normal’ means to be continuous in the $\sigma$-weak topologies, and we recall that these topologies are generated by semi-norms
$p_{\rho }(T) := | \mathrm {tr}( \rho T) |$, where
$\rho$ is a trace-class operator. Since
$\hat A\subset N''$ is
$\sigma$-weakly dense, it is clear that the extension
$N_1'' \to N_2''$ is unique, if it exists. The following lemma gives us a useful sufficient criterion for the extendability.
Lemma 2.1.10 Let $N_{1} = (A_{1},E_{1})$ and
$N_{2} = (A_{2},E_{2})$ be rigged von Neumann algebras. Suppose that
$(\phi,\psi )$ is a unitary intertwiner from
$E_1$ to
$E_2$ in the sense of Definition 2.1.3. Then,
$\phi$ is a morphism of rigged von Neumann algebras.
Proof. All that needs to be shown is that $\phi :A_{1} \rightarrow A_{2}$ extends to a normal
$*$-homomorphism
$N_{1}'' \rightarrow N_{2}''$. According to Remark 2.1.7 we view
$A_{1}$ as a subset of
$\mathcal {B}(\hat E_1)$ and
$A_{2}$ as a subset of
$\mathcal {B}(\hat E_2)$. Now, we have, for all
$a \in A_{1}$ and all
$v \in \hat E_2$,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU7.png?pub-status=live)
Here, $\psi \psi ^{*}=\mathbb {1}$ since
$\psi$ is unitary and, thus, extends to a unitary operator
$\psi :\hat E_1 \to \hat E_2$ on the completions. It follows that
$\phi (a) = \psi a \psi ^{*}$ as elements of
$\mathcal {B}(\hat E_2)$, which implies that the map
$C_{\psi }:\mathcal {B}(\hat E_1) \rightarrow \mathcal {B}(\hat E_2), a \mapsto \psi a \psi ^{*}$ extends
$\phi$. Next, we prove that
$C_{\psi }$ is normal. If
$\rho$ is a trace-class operator on
$\hat E_2$, then
$\psi ^{*} \rho \psi$ is a trace-class operator on
$\hat E_1$, and we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU8.png?pub-status=live)
for all $a \in \mathcal {B}(\hat E_1)$. This implies that
$C_{\psi }$ is
$\sigma$-weakly continuous. Now, because
$A_{1}$ is
$\sigma$-weakly dense in
$N_{1}''$, and
$A_{2}$ is
$\sigma$-weakly dense in
$N_{2}''$ it follows that
$C_{\psi }(N_{1}'') \subseteq N_{2}''$, and that, moreover,
$C_{\psi }: N_{1}'' \rightarrow N_{2}''$ is a
$*$-homomorphism.
Remark 2.1.11 Lemma 2.1.10 motivates the following terminology: a spatial morphism from a rigged von Neumann algebra $N_1$ to another rigged von Neumann algebra
$N_2$ is a unitary intertwiner
$(\phi,\psi )$ between the underlying rigged modules. Lemma 2.1.10 implies then that
$\phi$ is a morphism of rigged von Neumann algebras. In addition, a spatial morphism
$(\phi,\psi )$ will be called invertible, or spatial isomorphism if it is invertible by another spatial morphism. We note that this is the case if and only if
$(\phi,\psi )$ is an invertible unitary intertwiner, i.e. in addition to
$\psi$ being unitary,
$\phi$ must be an isometric isomorphism. Spatial isomorphisms appear frequently in the context of bundles of rigged von Neumann algebras, whose local trivializations will be spatial isomorphisms in each fibre, see Definition 2.2.9 and Remark 2.2.12.
Next is the discussion of modules and bimodules for rigged von Neumann algebras.
Definition 2.1.12 Let $N=(A,E)$ be a rigged von Neumann algebra. A rigged von Neumann
$N$-module is a rigged
$A$-module
$F$ whose induced
$\ast$-homomorphism
$\hat A \rightarrow \mathcal {B}(\hat F)$ extends to a normal
$\ast$-homomorphism
$N'' \rightarrow \mathcal {B}(\hat F)$.
Remark 2.1.13 Again, the extension $N'' \rightarrow \mathcal {B}(\hat F)$ in Definition 2.1.12 is unique, if it exists. It guarantees that, for
$N$ a rigged von Neumann algebra and
$F$ a rigged von Neumann
$N$-module, the completion
$\hat F$ is an
$N''$-module in the usual von Neumann theoretical sense (see Appendix A.1). Observe, moreover, that the defining representation of any rigged von Neumann algebra is automatically a rigged von Neumann module.
We will need the following lemma, which will be used later in the proof of Lemma 2.1.16.
Lemma 2.1.14 Let $N=(A,E)$ be a rigged von Neumann algebra, and let
$F$ be a rigged von Neumann
$N$-module with underlying representation
$\rho :A \times F \to F$. Then, the normal
$\ast$-homomorphism
$N'' \to \mathcal {B}(\hat F)$ factors through the von Neumann algebra
$\hat \rho (\hat A)''\subset \mathcal {B}(\hat F)$.
Proof. Let $a \in N''$ be arbitrary. We wish to prove that its image in
$\mathcal {B}(\hat F)$ in fact lies in
$\hat \rho (\hat A)''$. Thus, let
$a_{n}$ be a sequence in
$\hat A$ that
$\sigma$-weakly converges to
$a$. Then, by continuity of
$N'' \to \mathcal {B}(\hat F)$, the image of the sequence converges to some element in
$\mathcal {B}(\hat F)$, but because all elements
$a_{n}$ were in
$\hat A$ to begin with, the limit must already lie in its completion
$\hat \rho (\hat A)''$.
Finally, we come to bimodules for rigged von Neumann algebras. One of the fundamental results of this work exhibits the Fock space $F^{\mathrm {s}}$ as a rigged von Neumann bimodule, see Proposition 3.3.4.
Definition 2.1.15 If $N_1=(A_1,E_1)$ and
$N_2=(A_2,E_2)$ are rigged von Neumann algebras, then a rigged von Neumann
$N_1$–
$N_2$-bimodule is a rigged
$A_1$–
$A_2$-bimodule
$F$ that is a rigged von Neumann
$N_1$-module and a rigged von Neumann
$N_2^{\operatorname {opp}}$-module. A (unitary) intertwiner from a rigged von Neumann
$N_1$–
$N_2$-bimodule
$F$ to a rigged von Neumann
$\tilde N_1$–
$\tilde N_2$-bimodule
$\tilde F$ is a (unitary) intertwiner
$(\phi ^1,\phi ^2,\psi )$ between the underlying rigged bimodules in the sense of Definition 2.1.5, such that
$\phi ^1:N_1 \to \tilde N_1$ and
$\phi ^2:N_2 \to \tilde N_2$ are morphisms of rigged von Neumann algebras. A spatial intertwiner from
$F$ to
$\tilde F$ is a quintuple
$(\phi ^1,\psi ^1,\phi ^2,\psi ^2,\psi )$ in which
$(\phi ^1,\phi ^2,\psi )$ is a unitary intertwiner from
$F$ to
$\tilde F$, and
$(\phi ^1,\psi ^1):N_1 \to \tilde N_1$ and
$(\phi ^2,\psi ^2): N_2 \to \tilde N_2$ are spatial morphisms.
Here, Lemma 2.1.10 implies again that spatial intertwiners are in particular (unitary) intertwiners. We assure by the following result that completion brings us into the classical setting, see Appendix A.1.
Lemma 2.1.16 If $F$ is a rigged von Neumann
$N_1$–
$N_2$-bimodule, then its completion
$\hat F$ is a
$N_1''$–
$N_2''$-bimodule in the ordinary von Neumann theoretical sense. Likewise, any (unitary) intertwiner between rigged von Neumann bimodules induces a bounded (unitary) intertwiner in the ordinary sense.
Proof. For the first statement, we only have to argue that the actions of the von Neumann algebras $N_1''$ and
$N_2''$ on
$\hat F$ commute. Indeed, as the actions of the rigged C
$^{*}\!$-algebras commute, it is clear that the images
$\hat \rho _1(\hat A_1)$ and
$\hat \rho _2(\hat A_2)$ in
$\mathcal {B}(\hat F)$ commute, for instance,
$\hat \rho _2(\hat A_2)\subset \hat \rho _1(\hat A_1)'$. Taking commutants, we obtain
$\hat \rho _1(\hat A_1)''\subset \hat \rho _2(\hat A_2)'=\hat \rho _2(\hat A_2)'''$. This shows that the von Neumann algebras
$\hat \rho _1(\hat A_1)''$ and
$\hat \rho _2(\hat A_2)''$ commute. Now, Lemma 2.1.14 proves the claim. The statement about intertwiners follows from the usual continuity arguments.
We remark that ordinary von Neumann algebras, bimodules and intertwiners form a bicategory, in which the composition of morphisms is given by the Connes fusion of bimodules [Reference BrouwerBro03, Reference Stolz and TeichnerST04]. We have, unfortunately, not yet been able to lift Connes fusion to the setting of rigged von Neumann bimodules and, thus, there is no corresponding bicategory of rigged von Neumann algebras. This is an important issue that we are going to address in future work.
2.2 Locally trivial rigged bundles
In this section we introduce locally trivial bundles of rigged von Neumann algebras and rigged von Neumann bimodules over Fréchet manifolds. The prerequisite notions of rigged Hilbert space bundles, rigged C$^{*}\!$-algebra bundles, and rigged module bundles have been introduced in § 2 of [Reference Kristel and WaldorfKW20], and are discussed there in more detail. Throughout this section, we let
$\mathcal {M}$ be a Fréchet manifold.
Definition 2.2.1 Let $E$ be a rigged Hilbert space. A rigged Hilbert space bundle over
$\mathcal {M}$ with typical fibre
$E$ is a Fréchet vector bundle
$\pi :\mathcal {E} \to \mathcal {M}$ with typical fibre
$E$ equipped with a map
$g:\mathcal {E} \times _{\pi } \mathcal {E} \rightarrow \mathbb {C}$, such that
$g$ is fibrewise an inner product and local trivializations
$\Phi : \mathcal {E}|_U \to E \times U$ of
$\mathcal {E}$ can be chosen to be fibrewise isometric. A morphism of rigged Hilbert space bundles is a morphism of the underlying Fréchet vector bundles. A morphism is called locally bounded/isometric if it is locally bounded/isometric with respect to the inner products, and it is called unitary if it is isometric and an isomorphism of Fréchet vector bundles.
It is straightforward to see that the fibres of a rigged Hilbert space bundle $\mathcal {E}$ are rigged Hilbert spaces [Reference Kristel and WaldorfKW20, Remark 2.1.10], and that the fibrewise completion of
$\mathcal {E}$ is a locally trivial continuous Hilbert space bundle over
$\mathcal {M}$ with typical fibre
$\hat E$ (see [Reference Kristel and WaldorfKW20, Lemma 2.1.13]). Here, a locally trivial continuous Hilbert space bundle with fibre
$H$ has continuous local transition functions
$U \times H \rightarrow H$ or, equivalently, strongly continuous maps
$U \rightarrow \operatorname {U}(H)$. Likewise, on the level of morphisms, any locally bounded morphism of rigged Hilbert space bundles extends uniquely to a continuous morphism of the corresponding continuous Hilbert space bundles. The following lemma [Reference Kristel and WaldorfKW20, Proposition 2.1.15] shows that our notion of smooth representations (see § 2.1) fits well into the context of rigged Hilbert space bundles.
Lemma 2.2.2 Let $\mathcal {G}$ be a Fréchet Lie group,
$\mathcal {P}$ be a Fréchet principal
$\mathcal {G}$-bundle over
$\mathcal {M}$, and let
$\rho : \mathcal {G} \times E \to E$ be a smooth representation of
$\mathcal {G}$ on a rigged Hilbert space
$E$. Then, the associated bundle
$(\mathcal {P} \times E)/\mathcal {G}$ is a rigged Hilbert space bundle with typical fibre
$E$ in a unique way, such that every local trivialization
$\Phi : \mathcal {P}|_U \to \mathcal {G} \times U$ of
$\mathcal {P}$ induces a local trivialization
$[p,v] \mapsto (\rho (g(p),v),\pi (p))$ of
$(\mathcal {P} \times E)/\mathcal {G}$, where
$p\in \mathcal {P}$,
$v\in E$, and
$\Phi (p)=(g(p),\pi (p))$.
The spinor bundle on loop space is a rigged Hilbert space bundle over $\mathcal {M}=LM$, and will be defined via Lemma 2.2.2, see Definition 4.1.4. We proceed similarly for rigged C
$^{*}\!$-algebra bundles.
Definition 2.2.3 Let $A$ be a rigged C
$^{*}\!$-algebra. A rigged C
$^{*}\!$-algebra bundle over
$\mathcal {M}$ with typical fibre
$A$ is a Fréchet vector bundle
$\pi : \mathcal {A} \rightarrow \mathcal {M}$, equipped with:
– a map
$\| \cdot \|: \mathcal {A} \rightarrow \mathbb {R}_{\geqslant 0}$; and
– fibre-preserving maps
$m: \mathcal {A} \times _{\pi } \mathcal {A} \rightarrow \mathcal {A}$ and
$*: \mathcal {A} \rightarrow \mathcal {A}$;
such that the following conditions hold for each $x \in \mathcal {M}$.
– The map
$\| \cdot \|_{x} : \mathcal {A}_{x} \rightarrow \mathbb {R}_{\geqslant 0}$ is a norm.
– The maps
$m_{x} : \mathcal {A}_{x} \times \mathcal {A}_{x} \rightarrow \mathcal {A}_{x}$ and
$*_{x}: \mathcal {A}_{x} \rightarrow \mathcal {A}_{x}$ turn
$\mathcal {A}_{x}$ into a
$*$-algebra.
– There exists a local trivialization around
$x$ that is fibrewise an isometric
$\ast$-homomorphism.
A morphism of rigged C $^{*}\!$-algebra bundles over
$\mathcal {M}$ is a morphism
$\phi : \mathcal {A}_1 \to \mathcal {A}_2$ of Fréchet vector bundles that is fibrewise a morphism of
$\ast$-algebras and locally bounded with respect to the norms. A morphism is called isometric if it is isometric with respect to the norms.
One can show that each fibre of a rigged C$^{*}\!$-algebra bundle
$\mathcal {A}$ is a rigged C
$^{*}\!$-algebra, and that the opposite multiplication produces a rigged C
$^{*}\!$-algebra bundle
$\mathcal {A}^{\operatorname {opp}}$ with typical fibre
$A^{\operatorname {opp}}$. Further, the fibrewise norm completion gives a locally trivial continuous bundle of C
$^{*}\!$-algebras with typical fibre
$\hat A$, and strongly continuous transition functions [Reference Kristel and WaldorfKW20, Lemma 2.2.6]. Likewise, any morphism of rigged C
$^{*}\!$-algebra bundles extends uniquely to a continuous morphism of continuous bundles of C
$^{*}\!$-algebras. We remark that every locally trivial continuous bundle of C
$^{*}\!$-algebras yields a continuous field of C
$^{*}\!$-algebras by taking its continuous sections.
Rigged C$^{*}\!$-algebra bundles can be obtained by associating a smooth representation to a principal bundle, as the following result [Reference Kristel and WaldorfKW20, Proposition 2.2.8] shows.
Lemma 2.2.4 Let $\mathcal {P}$ be a Fréchet principal
$\mathcal {G}$-bundle over
$\mathcal {M}$, and let
$\rho : \mathcal {G} \times A \to A$ be a smooth representation on a rigged C
$^{*}\!$-algebra
$A$. Then, the associated bundle
$(\mathcal {P} \times A)/\mathcal {G}$ is a rigged C
$^{*}\!$-algebra bundle with typical fibre
$A$ in a unique way, such that every local trivialization
$\Phi : \mathcal {P}|_U \to \mathcal {G} \times U$ of
$\mathcal {P}$ induces a local trivialization
$[p,a] \mapsto (\rho (g(p),a),\pi (p))$ of
$(\mathcal {P} \times A)/\mathcal {G}$, where
$p\in \mathcal {P}$,
$a\in A$, and
$\Phi (p)=(g(p),\pi (p))$.
The Clifford bundle on loop space is a rigged C$^{*}\!$-algebra bundle, and it will be defined via Lemma 2.2.4, see Definition 4.1.5. Next, we discuss module bundles and bimodule bundles for rigged C
$^{*}\!$-algebra bundles.
Definition 2.2.5 Let $A$ be a rigged C
$^{*}\!$-algebra and
$E$ be a rigged
$A$-module, with representation
$\rho _0$, and let
$\mathcal {A}$ be a rigged C
$^{*}\!$-algebra bundle over
$\mathcal {M}$ with typical fibre
$A$. A rigged
$\mathcal {A}$-module bundle with typical fibre
$E$ is a rigged Hilbert space bundle
$\mathcal {E}$ with typical fibre
$E$, and a fibre-preserving map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU9.png?pub-status=live)
with the property that around every point in $\mathcal {M}$ there exist local trivializations
$\Phi$ of
$\mathcal {A}$ and
$\Psi$ of
$\mathcal {E}$ that fibrewise intertwine
$\rho$ with
$\rho _0$, i.e. we have
$\Psi _x(\rho (a,v))=\rho _0(\Phi _x(a),\Psi _x(v))$ for all
$x\in \mathcal {M}$ over which
$\Phi$ and
$\Psi$ are defined, and all
$a\in \mathcal {A}_x$ and
$v\in \mathcal {E}_x$. A pair
$(\Phi,\Psi )$ of local trivializations with this property is called compatible.
One can easily show that $\rho$ is automatically a morphism of Fréchet vector bundles. Furthermore, for each
$x \in \mathcal {M}$, the map
$\rho _{x}$ turns
$\mathcal {E}_x$ into a rigged
$\mathcal {A}_x$-module; and every pair of compatible local trivializations
$(\Phi,\Psi )$ around
$x$ yields an invertible unitary intertwiner
$(\Phi _x,\Psi _x)$ between the rigged
$\mathcal {A}_x$-module
$\mathcal {E}_x$ and the rigged
$A$-module
$E$.
Definition 2.2.6 A (unitary) intertwiner between a rigged $\mathcal {A}_1$-module bundle
$\mathcal {E}_1$ and a rigged
$\mathcal {A}_2$-module bundle
$\mathcal {E}_2$ is a pair
$(\Phi,\Psi )$ of a morphism
$\Phi :\mathcal {A}_1\to \mathcal {A}_2$ of rigged C
$^{*}\!$-algebra bundles, and a locally bounded (unitary) morphism
$\Psi :\mathcal {E}_1\to \mathcal {E}_2$ of rigged Hilbert space bundles, such that
$(\Phi _x,\Psi _x)$ is a (unitary) intertwiner of rigged modules in the fibre over each point
$x\in \mathcal {M}$.
The definition of a rigged bimodule bundle now follows naturally; it is, however, important enough that we give it in full detail.
Definition 2.2.7 Let $\mathcal {A}_1$ and
$\mathcal {A}_2$ be rigged C
$^{*}\!$-algebra bundles over
$\mathcal {M}$ with typical fibres
$A_1$ and
$A_2$, respectively, and let
$E$ be a rigged
$A_1$–
$A_2$-bimodule. A rigged
$\mathcal {A}_1$–
$\mathcal {A}_2$-bimodule bundle
$\mathcal {E}$ with typical fibre
$E$ is a rigged Hilbert space bundle
$\mathcal {E}$ over
$\mathcal {M}$ that is both a rigged
$\mathcal {A}_1$-module bundle and a rigged
$\mathcal {A}_2^{\operatorname {opp}}$-module bundle, such that around every point in
$\mathcal {M}$ there exist local trivializations
$\Phi ^1$ of
$\mathcal {A}_1$,
$\Phi ^2$ of
$\mathcal {A}_2$, and
$\Psi$ of
$\mathcal {E}$ with both
$(\Phi ^1,\Psi )$ and
$(\Phi ^2,\Psi )$ compatible. A triple
$(\Phi ^1,\Phi ^2,\Psi )$ of local trivializations with this property is again called compatible.
It is straightforward to see that the fibres $\mathcal {E}_x$ are rigged
$(\mathcal {A}_1)_x$–
$(\mathcal {A}_2)_x$-bimodules, for each
$x\in \mathcal {M}$, and that compatible local trivializations around
$x$ establish an invertible unitary intertwiner between
$\mathcal {E}_x$ and
$E$. For completeness, we also note the bundle version of a bimodule intertwiner.
Definition 2.2.8 A (unitary) intertwiner from a rigged $\mathcal {A}_1$–
$\mathcal {A}_2$-bimodule bundle
$\mathcal {E}$ to a rigged
$\widetilde {\mathcal {A}}_1$–
$\widetilde {\mathcal {A}}_2$-bimodule bundle
$\widetilde {\mathcal {E}}$ is a triple
$(\Phi ^1,\Phi ^2,\Psi )$ consisting of morphisms
$\Phi ^1:\mathcal {A}_1\to \widetilde {\mathcal {A}}_1$ and
$\Phi ^2:\mathcal {A}_2\to \widetilde {\mathcal {A}}_2$ of rigged C
$^{*}\!$-algebra bundles and of a locally bounded (unitary) morphism
$\Psi : \mathcal {E} \to \widetilde {\mathcal {E}}$ of rigged Hilbert space bundles, such that over each point
$x\in \mathcal {M}$ the triple
$(\Phi ^1_x,\Phi ^2_x,\Psi _x)$ is a (unitary) intertwiner of rigged bimodules.
Later, we will exhibit the spinor bundle on loop space as a rigged module bundle for the Clifford bundle, see § 4. Next we come to the definition of rigged von Neumann algebra bundles and rigged von Neumann bimodule bundles. These definitions are a novelty introduced in this article; we are not aware of any other treatment of smooth locally trivial bundles of von Neumann algebras, or von Neumann bimodules.
Definition 2.2.9 Let $N = (A,E)$ be a rigged von Neumann algebra. A rigged von Neumann algebra bundle
$\mathcal {N}=(\mathcal {A},\mathcal {E})$ with typical fibre
$N$ over
$\mathcal {M}$ is a rigged C
$^{*}\!$-algebra bundle
$\mathcal {A}$ with typical fibre
$A$ and a rigged
$\mathcal {A}$-module bundle
$\mathcal {E}$ with typical fibre
$E$.
Thus, the difference between a rigged $\mathcal {A}$-module bundle
$\mathcal {E}$ and a rigged von Neumann algebra bundle
$\mathcal {N}=(\mathcal {A},\mathcal {E})$ only lies in fact that the typical fibre is required to be a rigged von Neumann algebra. Via compatible local trivializations (Definition 2.2.5), this property extends to all fibres; thus, every fibre
$\mathcal {N}_x=(\mathcal {A}_x,\mathcal {E}_x)$ is a rigged von Neumann algebra. Moreover, Lemma 2.1.10 guarantees that any choice of compatible local trivializations induces fibrewise spatial isomorphisms from
$\mathcal {N}_x$ to
$N$.
Definition 2.2.10 A morphism $\Phi : \mathcal {N}_1\to \mathcal {N}_2$ between rigged von Neumann algebra bundles
$\mathcal {N}_1=(\mathcal {A}_1,\mathcal {E}_1)$ and
$\mathcal {N}_2=(\mathcal {A}_2,\mathcal {E}_2)$ is a morphism
$\Phi : \mathcal {A}_1\to \mathcal {A}_2$ of rigged C
$^{*}\!$-algebra bundles that is fibrewise a morphism of rigged von Neumann algebras.
Remark 2.2.11 Again, it is useful to introduce the notion of a spatial morphism from $\mathcal {N}_1=(\mathcal {A}_1,\mathcal {E}_1)$ to
$\mathcal {N}_2=(\mathcal {A}_2,\mathcal {E}_2)$ as a unitary intertwiner
$(\Phi,\Psi )$ of rigged module bundles (Definition 2.2.6). In this situation, we have in the fibre over each point
$x\in \mathcal {M}$ a unitary intertwiner
$(\Phi _x,\Psi _x)$ from
$(\mathcal {E}_1)_x$ to
$(\mathcal {E}_2)_x$, i.e. a spatial morphism from
$(\mathcal {N}_1)_x$ to
$(\mathcal {N}_2)_x$. By Lemma 2.1.10,
$\Phi _x$ is a morphism of rigged von Neumann algebras, and thus, by definition,
$\Phi$ is a morphism of rigged von Neumann algebra bundles. This shows that spatial morphisms of rigged von Neumann algebra bundles are, in particular, morphisms in the sense of Definition 2.2.10.
Remark 2.2.12 Let $\mathcal {N}=(\mathcal {A},\mathcal {E})$ be a rigged von Neumann algebra bundle with typical fibre
$N=(A,E)$. Then, there exist compatible local trivializations
$(\Phi,\Psi )$ over open subsets
$U \subset \mathcal {M}$ as in Definition 2.2.5, which are invertible unitary intertwiners between the rigged module bundles
$\mathcal {E}|_U$ and
$E \times U$ and, thus, spatial isomorphisms of rigged von Neumann algebra bundles from
$\mathcal {N}|_U$ to
$N \times U$. In particular, rigged von Neumann algebra bundles are locally trivial in this strong sense of spatial isomorphisms.
The rigged von Neumann algebra bundles that appear in this paper are certain Clifford algebra bundles over loop spaces, and they appear in §§ 4.1 and 5.1. For now, it remains to define rigged von Neumann bimodule bundles.
Definition 2.2.13 Let $N_{1} = (A_{1},E_{1})$ and
$N_{2} = (A_{2},E_{2})$ be rigged von Neumann algebras, and let
$F$ be a rigged von Neumann
$N_{1}$–
$N_{2}$-bimodule. Further, let
$\mathcal {N}_{1} = (\mathcal {A}_{1},\mathcal {E}_{1})$ and
$\mathcal {N}_{2} = (\mathcal {A}_{2},\mathcal {E}_{2})$ be rigged von Neumann algebra bundles over
$\mathcal {M}$ with typical fibres
$N_1$ and
$N_2$, respectively. A rigged von Neumann
$\mathcal {N}_{1}$–
$\mathcal {N}_{2}$-bimodule bundle with typical fibre
$F$ is a rigged
$\mathcal {A}_1$–
$\mathcal {A}_2$-bimodule bundle
$\mathcal {F}$ with typical fibre
$F$, such that around each point
$x\in \mathcal {M}$ there exist compatible local trivializations
$(\Phi ^1,\Psi ^1)$ of
$\mathcal {N}_1$ and
$(\Phi ^2,\Psi ^2)$ of
$\mathcal {N}_2$, and a local trivialization
$\Psi$ of
$\mathcal {F}$ such that
$(\Phi ^1,\Phi ^2,\Psi )$ is compatible in the sense of Definition 2.2.7.
The following lemma is to ensure that Definition 2.2.13 gives the correct structure in each fibre.
Lemma 2.2.14 If $\mathcal {F}$ is a rigged von Neumann
$\mathcal {N}_1$–
$\mathcal {N}_2$-bimodule bundle with typical fibre
$F$, then the fibre
$\mathcal {F}_x$ is a rigged von Neumann
$(\mathcal {N}_1)_x$–
$(\mathcal {N}_2)_x$-bimodule, for each
$x\in \mathcal {M}$.
Proof. Because $\mathcal {F}$ is a rigged
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule bundle, we have that
$\mathcal {F}_{x}$ is a rigged
$(\mathcal {A}_{1})_{x}$–
$(\mathcal {A}_{2})_{x}$-bimodule. Let
$\widehat {(\rho _{1})_{x}}: \widehat {(\mathcal {A}_{1})_{x}} \rightarrow \mathcal {B}(\widehat {\mathcal {F}_{x}})$ be the corresponding
$*$-homomorphism. The statement that
$\mathcal {F}_{x}$ is a rigged
$(\mathcal {N}_{1})_{x}$-module is then equivalent to the statement that
$\widehat {(\rho _{1})_{x}}$ extends to
$(\mathcal {N}_1)_x''$. But, since the typical fibre
$F$ is a rigged von Neumann bimodule, its corresponding maps
$\hat A_1 \to \mathcal {B}(\hat F)$ extend to
$N_1''$. Next, consider local trivializations
$(\Phi ^1,\Psi ^1)$ and
$\Psi$ around
$x$ as in Definition 2.2.13. Then, we have the extensions
$\Phi ^1_x:(\mathcal {N}_1)_x'' \to N_1''$, and the conjugation by the unitary operator
$\Psi _x$, which yields a normal
$\ast$-homomorphism
$\mathcal {B}(\hat F) \to \mathcal {B}(\widehat {\mathcal {F}_{x}})$. Using the compatibility of
$\Phi ^{1}$ with
$\Psi$ it then follows that the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU10.png?pub-status=live)
is an extension of $\widehat {(\rho _{1})_{x}}$, which is moreover the composition of normal
$*$-homomorphisms and, thus, a normal
$*$-homomorphism itself. A similar argument for the
$*$-homomorphism
$\widehat {(\rho _{2})_x}$ proves that
$\mathcal {F}_{x}$ is a rigged von Neumann
$(\mathcal {N}_{2})_{x}^{\mathrm {opp}}$-module.
In the next section, we will glue rigged von Neumann bimodules bundles; therefore, we also need to introduce (spatial) intertwiners between them.
Definition 2.2.15 A (unitary) intertwiner from a rigged von Neumann $\mathcal {N}_1$–
$\mathcal {N}_2$-bimodule bundle
$\mathcal {F}$ to a rigged von Neumann
$\widetilde {\mathcal {N}}_1$–
$\widetilde {\mathcal {N}}_2$-bimodule bundle
$\widetilde {\mathcal {F}}$ is a (unitary) intertwiner
$(\Phi ^1,\Phi ^2,\Psi )$ between the underlying rigged bimodule bundles in the sense of Definition 2.2.8, such that
$\Phi ^1$ and
$\Phi ^2$ are morphisms of rigged von Neumann algebra bundles. A spatial intertwiner from
$\mathcal {F}$ to
$\widetilde {\mathcal {F}}$ is a quintuple
$(\Phi ^1,\Psi ^1,\Phi ^2,\Psi ^2,\Psi )$ in which
$(\Phi ^1,\Phi ^2,\Psi )$ is a unitary intertwiner of rigged von Neumann bimodule bundles, and
$(\Phi ^1,\Psi ^1):\mathcal {N}_1 \to \widetilde {\mathcal {N}}_1$ and
$(\Phi ^2,\Psi ^2):\mathcal {N}_2\to \widetilde {\mathcal {N}}_2$ are spatial morphisms.
The definitions guarantees full compatibility with the fibrewise notions: any (spatial) intertwiner induces in the fibre over each point $x\in \mathcal {M}$ a (spatial) intertwiner between rigged von Neumann bimodules in the sense of Definition 2.1.15. Moreover, if
$\mathcal {F}$ is a rigged von Neumann
$\mathcal {N}_1$–
$\mathcal {N}_2$-bimodule bundle with typical fibre
$F$, any choice of local trivializations
$(\Phi ^1,\Psi ^1)$,
$(\Phi ^2,\Psi ^2)$, and
$\Psi$ over an open subset
$U \subset \mathcal {M}$ as in Definition 2.2.13, assemble into an invertible spatial intertwiner
$(\Phi ^1,\Psi ^1,\Phi ^2,\Psi ^2,\Psi )$ from
$\mathcal {F}|_U$ to
$F \times U$. In particular, rigged von Neumann bimodule bundles are locally trivial in this strong sense of invertible spatial intertwiners.
We would like to make clear and summarize the following important feature of our definitions. Rigged von Neumann algebra bundles and bimodule bundles over $\mathcal {M}$ have in the fibre over each point
$x\in \mathcal {M}$ rigged von Neumann algebras and bimodules, as introduced in § 2.1 (see Lemma 2.2.14). Likewise, (spatial) morphisms between rigged von Neumann algebra bundles, and (spatial) intertwiners between rigged von Neumann bimodules restrict in each fibre to (spatial) morphisms of rigged von Neumann algebras and (spatial) intertwiners of rigged von Neumann bimodules, as introduced in § 2.1. In turn, we have shown in Remark 2.1.7 and Lemma 2.1.16 that these fibrewise structures induce, respectively, ordinary von Neumann algebras, ordinary (spatial) morphisms, ordinary bimodules between von Neumann algebras, and ordinary bounded intertwiners between these, in the classical sense. Thus, one can pass, at any time and over any point, to this classical setting.
2.3 Rigged bundles over diffeological spaces
For the discussion of fusion on loop space, we need to treat bundles over diffeological spaces. We recall briefly that a diffeology on a set $X$ consists of a set of maps
$c:U \to X$ called ‘plots’, where
$U \subset \mathbb {R}^{k}$ is open and
$k\in \mathbb {N}_0$ can be arbitrary, subject to three natural axioms; see [Reference Iglesias-ZemmourIgl13] for a comprehensive textbook. A map
$f:X \to Y$ between diffeological spaces is called smooth, if its composition with any plot of
$X$ results in a plot of
$Y$. We let
$\mathcal {D}i\!f\!\!f$ denote the category of diffeological spaces. Any smooth manifold
$M$ or Fréchet manifold
$\mathcal {M}$ becomes a diffeological space by saying that every smooth map
$c: U \to M$, for every open subset
$U \subset \mathbb {R}^{k}$ and any
$k$, is a plot. Maps between smooth manifolds or Fréchet manifolds are then smooth in the classical sense if and only if they are smooth in the diffeological sense. In other words, the category
$\mathcal {F}\!r\acute {e}ch$ of Fréchet manifolds fully faithfully embeds into
$\mathcal {D}i\!f\!\!f$ (see [Reference LosikLos92]).
Next we describe a general procedure to extend a presheaf $\mathcal {F}$ of categories on
$\mathcal {F}\!r\acute {e}ch$ to one on
$\mathcal {D}i\!f\!\!f$, and then apply this to various presheaves of bundles defined in the previous section. We briefly recall that a presheaf
$\mathcal {F}$ of categories on a category
$\mathcal {C}$ is a weak functor
$\mathcal {F}:\mathcal {C}^{\operatorname {opp}} \to \mathcal {C}\!at$ to the bicategory of categories, functors, and natural transformations. That is,
$\mathcal {F}$ assigns to each object
$X$ of
$\mathcal {C}$ a category
$\mathcal {F}(X)$, to each morphism
$f:X \to Y$ in
$\mathcal {C}$ a functor
$f^{*}: \mathcal {F}(Y) \to \mathcal {F}(X)$, and to each pair
$(f,g)$ of composable morphisms
$f:X \to Y$ and
$g:Y \to Z$ a natural equivalence
$\eta _{f,g}: (g \circ f)^{*} \Rightarrow f^{*} \circ g^{*}$, such that the natural equivalences respect the associativity of the composition.
Remark 2.3.1 In § 2.2 we have encountered the following presheaves of categories over $\mathcal {F}\!r\acute {e}ch$.
– For a Fréchet Lie group
$\mathcal {G}$, the presheaf of principal
$\mathcal {G}$-bundles and bundle morphisms.
– For a rigged Hilbert space
$E$, the presheaf of rigged Hilbert space bundles with typical fibre
$E$, and with isometric morphisms (Definition 2.2.1).
– For a rigged C
$^{*}\!$-algebra
$A$, the presheaf of rigged C
$^{*}\!$-algebra bundles with typical fibre
$A$, and with isometric morphisms (Definition 2.2.3).
– For rigged C
$^{*}\!$-algebras
$A_1$ and
$A_2$, and a rigged
$A_1$–
$A_2$-bimodule
$E$, the presheaf of triples
$(\mathcal {A}_1,\mathcal {A}_2,\mathcal {E})$ of rigged C
$^{*}\!$-algebra bundles
$\mathcal {A}_1$ and
$\mathcal {A}_2$ with typical fibres
$A_1$ and
$A_2$, respectively, and a rigged
$\mathcal {A}_1$–
$\mathcal {A}_2$-bimodule bundle
$\mathcal {E}$ with typical fibre
$E$ as defined in Definition 2.2.7, with unitary intertwiners as defined in Definition 2.2.8 as morphisms.
– For a rigged von Neumann algebra
$N$, the presheaf of rigged von Neumann algebra bundles with typical fibre
$N$, and with spatial morphisms (Definition 2.2.9 and Remark 2.2.11).
– For rigged von Neumann algebras
$N_1$ and
$N_2$, and a rigged von Neumann
$N_1$–
$N_2$-bimodule
$F$, the presheaf of triples
$(\mathcal {N}_1,\mathcal {N}_2,\mathcal {E})$ of rigged von Neumann algebra bundles
$\mathcal {N}_1$ and
$\mathcal {N}_2$ with typical fibres
$N_1$ and
$N_2$, respectively, and a rigged von Neumann
$\mathcal {N}_1$–
$\mathcal {N}_2$-bimodule bundle
$\mathcal {F}$ with typical fibre
$F$ as defined in Definition 2.2.13, with spatial intertwiners as defined in Definition 2.2.15 as morphisms.
Our aim is to assign to any presheaf $\mathcal {F}$ of categories over
$\mathcal {F}\!r\acute {e}ch$ a presheaf
$\mathcal {F}^{\mathcal {D}i\!f\!\!f}$ of categories over
$\mathcal {D}i\!f\!\!f$. There is an abstract canonical procedure how to do this, which we explain later in Remark 2.3.3. In the following definition we spell out directly the result of this procedure, emphasising the concrete perspective.
Definition 2.3.2 Let $\mathcal {F}$ be a presheaf of categories over
$\mathcal {F}\!r\acute {e}ch$, and let
$X$ be a diffeological space. We define a category
$\mathcal {F}^{\mathcal {D}i\!f\!\!f}(X)$ in the following way.
(a) An object of the category
$\mathcal {F}^{\mathcal {D}i\!f\!\!f}(X)$ is a pair
$\mathcal {E}=((\mathcal {E}_c),(\phi _{c_1,c_2,f}))$ consisting of:
– a family
$(\mathcal {E}_c)$, indexed by the plots
$c:U \to X$ of
$X$, with
$\mathcal {E}_c$ an object of
$\mathcal {F}(U)$;
– a family
$(\phi _{c_1,c_2,f})$, indexed the set of all triples
$(c_1,c_2,f)$ consisting of two plots
$c_1:U_1 \to X$ and
$c_2:U_2 \to X$ and of a smooth map
$f: U_1 \to U_2$ such that
$c_2 \circ f=c_1$, with a morphism
$\phi _{c_1,c_2,f}:\mathcal {E}_{c_1}\to f^{*}\mathcal {E}_{c_2}$ in the category
$\mathcal {F}(U_1)$.
This structure is subject to the condition that whenever
$(c_1,c_2,f_{12})$ and
$(c_2,c_3,f_{23})$ are triples as above, the diagram
$\mathcal {F}(U_1)$ is commutative.
(b) A morphism from an object
$\mathcal {E}=((\mathcal {E}_c),(\phi _{c_1,c_2,f}))$ to an object
$\mathcal {E}'=((\mathcal {E}'_c),(\phi '_{c_1,c_2,f}))$ in
$\mathcal {F}^{\mathcal {D}i\!f\!\!f}(X)$ is a family
$\psi =(\psi _c)$, indexed by the plots
$c:U \to X$ of
$X$, with morphisms
$\psi _c: \mathcal {E}_c \to \mathcal {E}_c'$ in
$\mathcal {F}(U)$, such that the diagram
$(c_1,c_2,f)$. The composition of morphisms is plot-wise.
It is straightforward to complete the assignment $X \mapsto \mathcal {F}^{\mathcal {D}i\!f\!\!f}(X)$ given in Definition 2.3.2 to a presheaf of categories on
$\mathcal {D}i\!f\!\!f$. This is how we extend presheaves of categories from
$\mathcal {F}\!r\acute {e}ch$ to
$\mathcal {D}i\!f\!\!f$. If
$\mathcal {M}$ is a Fréchet manifold, which we may consider as a diffeological space, then there is a faithful functor
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn2.png?pub-status=live)
which takes an object $\mathcal {E}$ of
$\mathcal {F}(\mathcal {M})$ to the pair
$((\mathcal {E}_c),(\phi _{c_1,c_2,f}))$, where
$\mathcal {E}_c := c^{*}\mathcal {E}$ is just the pullback in
$\mathcal {F}$ (recall that any plot
$c$ is a smooth map between Fréchet manifolds here) and
$\phi _{c_1,c_2,f} : c_1^{*}\mathcal {E} \to f^{*}c_2^{*}\mathcal {E}$ is the isomorphism
$\eta _{f,c_2}$ provided by
$\mathcal {F}$. A morphism
$\psi :\mathcal {E} \to \mathcal {E}'$ is sent to the family with
$\psi _c := c^{*}\psi$; it is obvious that this preserves composition and is faithful.
Remark 2.3.3 The extension of presheaves of categories from $\mathcal {F}\!r\acute {e}ch$ to
$\mathcal {D}i\!f\!\!f$ that we defined in Definition 2.3.2 fits into a more conceptual perspective, which we want to outline in this remark. To this end, we infer that any diffeological space
$X$ can be viewed as a presheaf
$\underline {X}$ (of sets) on the category
$\mathcal {O}pen$ of open subsets of cartesian spaces, see [Reference Baez and HoffnungBH11]. Namely, the presheaf
$\underline {X}$ assigns to an object
$U$ in
$\mathcal {O}pen$ the set
$\underline {X}(U)$ of all plots
$c:U \to X$ with domain
$U$. In the following we regard
$\underline {X}$ even as a presheaf of categories on
$\mathcal {O}pen$, and we do this simply by regarding the sets
$\underline {X}(U)$ as categories with only identity morphisms. Now, let
$\mathcal {F}$ be a presheaf of categories on
$\mathcal {F}\!r\acute {e}ch$, which we may restrict to
$\mathcal {O}pen \subset \mathcal {F}\!r\acute {e}ch$. Presheaves of categories on
$\mathcal {O}pen$ form a bicategory
$\mathrm {PSh}(\mathcal {O}pen)$, the bicategory of weak functors
$\mathcal {O}pen^{\operatorname {opp}} \to \mathcal {C}\!at$. Now, we consider the functor represented by
$\mathcal {F}|_{\mathcal {O}pen}$ and restricted along
$\mathcal {D}i\!f\!\!f \to \mathrm {PSh}(\mathcal {O}pen)$,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU13.png?pub-status=live)
Explicitly, it assigns to a diffeological space $X$ the category
$\mathrm {Hom}_{\mathrm {PSh}(\mathcal {O}pen)}(\underline {X},\mathcal {F}|_{\mathcal {O}pen})$ of morphisms between the objects
$\underline {X}$ and
$\mathcal {F}|_{\mathcal {O}pen}$ of
$\mathrm {PSh}(\mathcal {O}pen)$. It is a straightforward exercise to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU14.png?pub-status=live)
this embeds our Definition 2.3.2 into a proper topos-theoretical framework. The bicategorical version of the Yoneda lemma (see, e.g., [Reference Johnson and YauJY21]) implies now that $\mathcal {F}^{\mathcal {D}i\!f\!\!f}(U) \cong \mathcal {F}(U)$ for every object
$U$ in
$\mathcal {O}pen$. This exhibits
$\mathcal {F}^{\mathcal {D}i\!f\!\!f}$ as the (left) Kan extension of
$\mathcal {F}|_{\mathcal {O}pen}$ along
$\mathcal {O}pen^{\operatorname {opp}} \to \mathcal {D}i\!f\!\!f^{\operatorname {opp}}$, which is precisely the standard way to extend presheaves from dense subsites to sites [Reference JohnstoneJoh02]. This is our main justification for Definition 2.3.2.
We apply Definition 2.3.2 to the presheaves listed in Remark 2.3.1, obtaining neat definitions of rigged Hilbert space bundles, rigged C$^{*}\!$-algebra bundles, rigged bimodule bundles, rigged von Neumann algebra bundles, and rigged von Neumann bimodule bundles over diffeological spaces. Most examples of such bundles that appear in this article are obtained via the functor (2), in the following way: consider a diffeological space
$X$, a Fréchet manifold
$\mathcal {M}$, and a smooth map
$f: X \to \mathcal {M}$. Then, the composite
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU15.png?pub-status=live)
produces objects in $\mathcal {F}^{\mathcal {D}i\!f\!\!f}(X)$ from objects in
$\mathcal {F}(\mathcal {M})$.
Remark 2.3.4 It might be worth pointing out that bundles over a diffeological space $X$ have fibres over points
$x\in X$, just like ordinary bundles. Indeed, the axioms of diffeology imply that
$c_x: \mathbb {R}^0 \to X: 0 \mapsto x$ is always a plot. Thus, if
$\mathcal {N}$ is, say, a rigged von Neumann algebra bundle over
$X$, then
$\mathcal {N}_x := \mathcal {N}_{c_x}$ is a rigged von Neumann algebra bundle over the point
$\mathbb {R}^{0}$, i.e. a rigged von Neumann algebra, the fibre of
$\mathcal {N}$ at
$x$. If
$\mathcal {N}=f^{*}\mathcal {N}'$ is obtained by pullback of a rigged von Neumann algebra bundle
$\mathcal {N}'$ over a Fréchet manifold
$\mathcal {M}$ along a smooth map
$f:X \to \mathcal {M}$, then
$\mathcal {N}_x = \mathcal {N}'_{f(x)}$ is just the ordinary fibre of
$\mathcal {N}'$ over
$f(x)\in \mathcal {M}$.
3. The free fermions on the circle
In this section we consider a bimodule for certain von Neumann algebras, known as the free fermions on the circle. It plays the role of the typical fibre of the spinor bundle of the loop space. In the first three subsections we recall and then extend our earlier work [Reference Kristel and WaldorfKW22, Reference Kristel and WaldorfKW20] about the free fermions. Most importantly, we introduce a description of Clifford algebras and Fock spaces in the setting of rigged von Neumann algebras (Proposition 3.3.4), and throughout explore the effects of splitting circles into two halves, which is at the basis of loop fusion. In § 3.4 we then define a novel Connes fusion product of certain implementers on Fock space (Definition 3.4.5). Its relation to loop fusion proved later in Theorem 4.3.3 is a cornerstone of our construction of a fusion product on the spinor bundle.
3.1 Lagrangians and Fock spaces
We recall some aspects of infinite-dimensional Clifford algebras and their representations on Fock spaces, for which the book [Reference Plymen and RobinsonPR94] is an excellent reference. The results we require on implementers are more spread out across the literature; see, for instance, [Reference ArakiAra87, Reference OttesenOtt95, Reference NeebNee10b, Reference Kristel and WaldorfKW22]. In §§ 3.1 and 3.2 we consider in some generality a complex Hilbert space $V$ equipped with a real structure
$\alpha$, i.e. an anti-unitary involution
$\alpha : V \rightarrow V$. From § 3.3 on, we restrict to a specific example, described at the beginning of § 3.3.
Given a unital C$^{*}\!$-algebra
$A$, we say that a map
$f:V \rightarrow A$ is a Clifford map if the following equations are satisfied, for all
$v,w \in V$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn3.png?pub-status=live)
The Clifford C$^{*}\!$-algebra
$\operatorname {Cl}(V)$ is the unique (up to unique isomorphism) unital C
$^{*}\!$-algebra equipped with a Clifford map
$\iota : V \rightarrow \operatorname {Cl}(V)$, such that for each unital C
$^{*}\!$-algebra
$A$ and each Clifford map
$f: V \rightarrow A$, there exists a unique unital C
$^{*}\!$-algebra homomorphism
$\operatorname {Cl}(f): \operatorname {Cl}(V) \rightarrow A$ with the property that
$\operatorname {Cl}(f) \circ \iota = f$. An explicit construction of
$\operatorname {Cl}(V)$ is given in [Reference Plymen and RobinsonPR94, § 1.2].
The orthogonal group of $V$, denoted by
$\operatorname {O}(V)$, consists of those unitary transformations of
$V$ that commute with the real structure. If
$g \in \operatorname {O}(V)$, then
$\iota g: V \rightarrow \operatorname {Cl}(V)$ is a Clifford map. We write
$\theta _{g} := \operatorname {Cl}( \iota g): \operatorname {Cl}(V) \rightarrow \operatorname {Cl}(V)$ for its extension to
$\operatorname {Cl}(V)$. The map
$\theta _{g}$ is called the Bogoliubov automorphism associated to
$g$. The map
$\theta : g \mapsto \theta _{g}$ is a continuous homomorphism from
$\operatorname {O}(V)$ to
$\operatorname {Aut}(\operatorname {Cl}(V))$, where
$\operatorname {O}(V)$ is equipped with the operator norm topology, and
$\operatorname {Aut}(\operatorname {Cl}(V))$ is equipped with the strong operator topology; see, e.g., [Reference AmblerAmb12, Proposition 4.35].
A Lagrangian in $V$ is a subspace
$L \subset V$ such that
$V$ splits as the orthogonal direct sum
$V = L \oplus \alpha (L)$. If
$L$ is a Lagrangian, then the Fock space
$F_{L}$ is the Hilbert completion of the exterior algebra,
$\Lambda L$, of
$L$. We identify
$\alpha (L)$ with the dual of
$L$ by identifying
$w \in \alpha (L)$ with the linear map
$L \ni v \mapsto \langle v, \alpha (w) \rangle$. If
$v \in L$ and
$w \in \alpha (L) \simeq L^{*}$, then we write
$c(v): F_{L} \rightarrow F_{L}$ for left multiplication with
$v$, and
$a(w) : F_{L} \rightarrow F_{L}$ for contraction with
$w$. The maps
$c(v)$ and
$a(v)$ are bounded operators on
$F_{L}$, and the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU16.png?pub-status=live)
is a Clifford map. This means that $\operatorname {Cl}(\rho _{L}): \operatorname {Cl}(V) \rightarrow \mathcal {B}(F_{L})$ is a unital C
$^{*}\!$-algebra homomorphism, i.e. a representation of
$\operatorname {Cl}(V)$ on
$F_{L}$. This representation is irreducible [Reference Plymen and RobinsonPR94, Theorem 2.4.2] and faithful; hence, we may identify
$\operatorname {Cl}(V)$ with its image in
$\mathcal {B}(F_{L})$. Whenever convenient, we adopt the notation
$a \triangleright v = \operatorname {Cl}(\rho _{L})(a)(v)$ for
$a \in \operatorname {Cl}(V)$ and
$v \in F_{L}$.
If $g \in \operatorname {O}(V)$, then we say that
$g$ is implementable, if there exists
$U \in \operatorname {U}(F_{L})$ with the property that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn4.png?pub-status=live)
for all $a \in \operatorname {Cl}(V)$; the operator
$U$ is said to implement
$g$. The problem to decide which
$g\in \operatorname {O}(V)$ are implementable is called the ‘implementability problem’. It is completely solved: an element
$g \in \operatorname {O}(V)$ is implementable if and only if the operator
$P_{L} g P_{L}^{\perp }$ is Hilbert–Schmidt, where
$P_L$ is the orthogonal projection to
$L$, see [Reference Plymen and RobinsonPR94, Theorem 3.3.5] or [Reference ArakiAra87, Theorem 6.3]. We write
$\operatorname {O}_{L}(V)$ for the set consisting of those
$g \in \operatorname {O}(V)$ which are implementable; the set
$\operatorname {O}_{L}(V)$ is, in fact, a subgroup of
$\operatorname {O}(V)$.
The group $\operatorname {O}(V)$ can be equipped with the structure of Banach Lie group in the standard way, with underlying topology the operator norm topology. The Lie algebra of
$\operatorname {O}(V)$ is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU17.png?pub-status=live)
The subgroup $\operatorname {O}_L(V)$ can also be equipped with the structure of a Banach Lie group, whose underlying topology is given by the norm
$\| g\|_{\mathcal {J}} = \| g\| + \| P_{L} g P_{L}^{\perp } \|_{2}$, where
$\|g\|$ is the operator norm of
$g$, and where
$\| \cdot \|_{2}$ is the Hilbert–Schmidt norm [Reference Kristel and WaldorfKW22, § 3.4]. The inclusion
$\operatorname {O}_L(V) \to \operatorname {O}(V)$ is smooth. The Lie algebra of
$\operatorname {O}_{L}(V)$ is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU18.png?pub-status=live)
The group of implementers, $\operatorname {Imp}_{L}(V)$, is defined to be the subgroup of
$\operatorname {U}(F_{L})$ consisting of those operators
$U \in \operatorname {U}(F_{L})$, for which there exists a
$g \in \operatorname {O}_{L}(V)$ such that (4) holds. If
$U \in \operatorname {Imp}_{L}(V)$, then the element
$g \in \operatorname {O}_{L}(V)$ that it implements is determined uniquely, and we obtain a group homomorphism
$q:\operatorname {Imp}_{L}(V) \rightarrow \operatorname {O}_{L}(V)$. Using the irreducibility of the representation of
$\operatorname {Cl}(V)$ on
$F_{L}$ together with Schur's lemma, we see that, for each
$g \in \operatorname {O}_{L}(V)$, the fibre
$q^{-1}\{g\}$ is a
$\operatorname {U}(1)$-torsor. We equip the group
$\operatorname {Imp}_{L}(V)$ with the structure of Banach Lie group as in [Reference Kristel and WaldorfKW22, Theorem 3.15], see also [Reference WurzbacherWur01]. We then have that the exact sequence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU19.png?pub-status=live)
is a central extension of Banach Lie groups. It is important to note that the topology underlying the Banach Lie group structure on $\operatorname {Imp}_{L}(V)$ is not the operator norm topology, and that the inclusion map
$\operatorname {Imp}_{L}(V) \rightarrow \operatorname {U}(F_{L})$ is not continuous, let alone smooth.
Let us assume that we are given a further orthogonal decomposition $V=V_{-} \oplus V_{+}$ of
$V$ into two Hilbert spaces
$V_{\pm }$ which are preserved under
$\alpha$. In the sequel, such a splitting will implement the splitting of a loop into two paths. Given such a splitting, we are interested in the operators on
$V$ which preserve this splitting. We write
$P_{\pm }$ for the projection onto
$V_{\pm }$ and define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU20.png?pub-status=live)
We observe that the maps $X \mapsto P_{\pm } X P_{\mp }$ are linear and continuous (with respect to the operator norm), which implies that
$\mathfrak {o}^{\theta }(V)$ is a closed linear subspace of
$\mathfrak {o}(V)$ and, hence, a Banach space. The subspace
$\mathfrak {o}_{L}^{\theta }(V)$ is the pre-image of
$\mathfrak {o}^{\theta }(V)$ under the continuous inclusion
$\mathfrak {o}_{L}(V) \rightarrow \mathfrak {o}(V)$, and hence a Banach space as well. The spaces
$\mathfrak {o}^{\theta }(V)$ and
$\mathfrak {o}_{L}^{\theta }(V)$ are Lie subalgebras of
$\mathfrak {o}(V)$ and
$\mathfrak {o}_{L}(V)$, respectively. Next, we define the metric groups
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU21.png?pub-status=live)
Using standard techniques (see, e.g., [Reference Kristel and WaldorfKW22, Lemma 3.13]), one may then show that the exponential maps $\mathfrak {o}^{\theta }(V) \rightarrow \operatorname {O}^{\theta }(V)$ and
$\mathfrak {o}_{L}^{\theta }(V) \rightarrow \operatorname {O}_{L}^{\theta }(V)$ are local homeomorphisms, which allows us to equip
$\operatorname {O}^{\theta }(V)$ and
$\operatorname {O}_{L}^{\theta }(V)$ with the structure of Banach Lie groups, with Lie algebras
$\mathfrak {o}^{\theta }(V)$ and
$\mathfrak {o}^{\theta }_{L}(V)$, respectively. It is then clear from the construction that
$\operatorname {O}^{\theta }(V)$ and
$\operatorname {O}_{L}^{\theta }(V)$ are closed submanifolds of
$\operatorname {O}(V)$ and
$\operatorname {O}_{L}(V)$, respectively. If
$g \in \operatorname {O}^{\theta }(V)$, then we set
$g_{\pm } := P_{\pm }gP_{\pm } \in \operatorname {O}(V_{\pm })$. We observe that the maps
$g \mapsto g_{\pm }$ are smooth group homomorphisms. Finally, we restrict the group of implementers to the split setting, and define the Banach Lie group
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU22.png?pub-status=live)
which then is a central extension of $\operatorname {O}_{L}^{\theta }(V)$ by
$\operatorname {U}(1)$.
Next, we consider the Clifford algebras $\operatorname {Cl}(V_{\pm })$. We observe that extending by zero gives isometries
$V_{\pm } \rightarrow V$ which moreover intertwine the real structures, and thus induce isometric
$*$-homomorphisms
$\iota _{\pm }: \operatorname {Cl}(V_{\pm }) \rightarrow \operatorname {Cl}(V)$. The algebra product
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU23.png?pub-status=live)
induces a unital isomorphism $\operatorname {Cl}(V_{-}) \otimes \operatorname {Cl}(V_{+}) \cong \operatorname {Cl}(V)$ of C
$^{*}\!$-algebras. (Here,
$\otimes$ stands for any choice of tensor product of C
$^{*}\!$-algebras. The choice is immaterial, because the Clifford C
$^{*}\!$-algebra is uniformly hyperfinite and, hence, nuclear.) Under these identifications, we have
$\iota _{-}(a_{-}) = a_{-} \otimes \mathbb {1}$ and
$\iota _{+}(a_{+}) = \mathbb {1} \otimes a_{+}$, for
$a_{\pm } \in \operatorname {Cl}(V_{\pm })$. The following result expresses that the Bogoliubov automorphisms are compatible with the splitting; this will be used later in the proofs of Lemmas 3.4.2 and 5.2.1.
Lemma 3.1.1 For all $g_{-} \oplus g_{+} \in \operatorname {O}^{\theta }(V)$ and all
$a_{\pm } \in \operatorname {Cl}(V_{\pm })$ we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU24.png?pub-status=live)
where $\theta _{g_{\pm }}$ are the Bogoliubov automorphisms of the Clifford algebras
$\operatorname {Cl}(V_{\pm })$.
Proof. This follows from the fact that $(g_{-} \oplus g_{+}) \circ \iota _{\pm } = \iota _{\pm } \circ g_{\pm }$ for all
$g_{-} \oplus g_{+} \in \operatorname {O}^{\theta }(V)$.
3.2 Smooth Fock spaces
In §§ 4 and 5 we construct bundles of rigged Hilbert spaces and rigged C$^{*}\!$-algebras over Fréchet manifolds. This requires a detailed study of smoothness properties of the representations obtained in § 3.1; this is the goal of this section. We continue working with a complex Hilbert space
$V$ with a real structure
$\alpha$, additionally equipped with an orthogonal decomposition into two Hilbert spaces
$V_{\pm }$ which are preserved under
$\alpha$. Our first goal is to equip the Fock space
$F_L$ and the Clifford C
$^{*}\!$-algebra
$\operatorname {Cl}(V)$ with the structure of a rigged Hilbert space and a rigged C
$^{*}\!$-algebra, respectively. We have done this already in our earlier paper [Reference Kristel and WaldorfKW20]; however, there we have not taken the splitting
$V=V_{-}\oplus V_{+}$ into account. For the purpose of this article, the splitting is essential, and it leads to a finer rigging (we compare them in Remark 3.2.6 below). Therefore, we describe the important steps again.
As a subgroup of $\operatorname {U}(F_{L})$, the group
$\operatorname {Imp}^{\theta }_{L}(V)$ comes equipped with a unitary representation on
$F_{L}$. As is typical for infinite-dimensional representations, the action map
$\operatorname {Imp}_{L}^{\theta }(V) \times F_{L} \rightarrow F_{L}$ is not smooth. The subspace of smooth vectors in
$F_{L}$ is defined as usual to be
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU25.png?pub-status=live)
The following result follows directly from [Reference Kristel and WaldorfKW22, Proposition 3.17], see also [Reference NeebNee10b, § 10.1].
Lemma 3.2.1 The set of smooth vectors $F_{L}^{\mathrm {s}}$ contains the exterior algebra
$\Lambda L$ and is, hence, a dense subspace of
$F_{L}$.
By definition of smooth vectors, the Lie algebra $\mathfrak {imp}^{\theta }(V)$ of
$\operatorname {Imp}_L^{\theta }(V)$ acts infinitesimally on
$F_L^{\mathrm {s}}$, i.e. for
$X \in \mathfrak {imp}^{\theta }(V)$ and
$v \in F^{\mathrm {s}}_{L}$, we may define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU26.png?pub-status=live)
Let $\mathcal {P}(F_{L})$ be the set of all continuous semi-norms on
$F_{L}$. We define a topology on
$F_{L}^{\mathrm {s}}$ by the following family of semi-norms [Reference NeebNee10a, § 4]:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU27.png?pub-status=live)
The following result is proved completely analogously to [Reference Kristel and WaldorfKW20, Proposition 3.2.4].
Proposition 3.2.2 The space of smooth vectors $F^{s}_L$ is a rigged Hilbert space, and it carries a smooth representation of the Banach Lie group
$\operatorname {Imp}_{L}^{\theta }(V)$.
Just like the action map $\operatorname {Imp}^{\theta }_{L}(V) \times F_{L} \rightarrow F_{L}$ is not smooth, the map
$\operatorname {O}^{\theta }(V) \times \operatorname {Cl}(V) \rightarrow \operatorname {Cl}(V)$ for the action by Bogoliubov automorphisms is not smooth either, an issue that we handle in a similar way. We write
$\operatorname {Cl}(V)^{\mathrm {s}}$ for the subspace of smooth vectors in
$\operatorname {Cl}(V)$, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU28.png?pub-status=live)
Lemma 3.2.3 The set of smooth vectors $\operatorname {Cl}(V)^{\mathrm {s}}$ contains the algebraic Clifford algebra of
$V$ and is, hence, dense in the C
$^{*}\!$-Clifford algebra
$\operatorname {Cl}(V)$.
The Lie algebra $\mathfrak {o}_{res}^{\theta }(V)$ acts on
$\operatorname {Cl}(V)^{\mathrm {s}}$, which allows us to proceed as follows. Let
$\mathcal {R}(\operatorname {Cl}(V))$ be the set of continuous semi-norms on
$\operatorname {Cl}(V)$. The topology on
$\operatorname {Cl}(V)^{\mathrm {s}}$ is then defined by the family of semi-norms
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU29.png?pub-status=live)
In analogy with [Reference Kristel and WaldorfKW20, Proposition 3.2.7] we then have the following proposition.
Proposition 3.2.4 The algebra of smooth vectors $\operatorname {Cl}(V)^{\mathrm {s}}$ is a rigged C
$^{*}\!$-algebra, and it carries a smooth representation of the Banach Lie group
$\mathrm {O}^{\theta }(V)$.
Finally, we adapt to this situation, and obtain the following result.
Proposition 3.2.5 The Fock space representation $\operatorname {Cl}(V) \times F_{L} \rightarrow F_{L}$ restricts to a map
$\operatorname {Cl}(V)^{\mathrm {s}} \times F_L^{\mathrm {s}} \to F_L^{\mathrm {s}}$ and exhibits
$F_L^{\mathrm {s}}$ as a rigged
$\operatorname {Cl}(V)^{\mathrm {s}}$-module. Moreover,
$\operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s}:= (\operatorname {Cl}(V)^{\mathrm {s}},F_L^{\mathrm {s}})$ is a rigged von Neumann algebra.
Proof. Showing that the Fock space representation restricts and that the map $\rho :\operatorname {Cl}(V)^{\mathrm {s}} \times F_L^{\mathrm {s}} \to F_L^{\mathrm {s}}$ is continuous is completely analogous to the proof we gave in [Reference Kristel and WaldorfKW20, Proposition 3.2.8] for the slightly coarser riggings. By [Reference Kristel and WaldorfKW20, Remark 2.2.9] this implies that
$F_L^{\mathrm {s}}$ as a rigged
$\operatorname {Cl}(V)^{\mathrm {s}}$-module. In order to show that
$\operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s}$ is a rigged von Neumann algebra, we only have to note that the C
$^{*}\!$-representation induced by
$\rho$ is the Fock space representation, which is faithful.
We remark that the rigged von Neumann algebra $\operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s}$ determines an ordinary von Neumann algebra
$\operatorname {Cl}_{\mathrm {vN}}(V):= (\operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s})''$ as the completion of
$\operatorname {Cl}(V)$ acting on
$F_L$ (Remark 2.1.7). It is well-known that
$\operatorname {Cl}_{\mathrm {vN}}(V)=\mathcal {B}(F_L)$.
Remark 3.2.6 In our earlier paper [Reference Kristel and WaldorfKW20, § 3.2] we considered different Fréchet spaces as the riggings on $F_L$ and
$\operatorname {Cl}(V)$, obtained without assuming a splitting of
$V$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU30.png?pub-status=live)
Because of the fact that $\operatorname {Imp}_{L}^{\theta }(V)$ is contained in
$\operatorname {Imp}_{L}(V)$ we have that
$F_L^{\infty } \subset F_{L}^{\mathrm {s}}$. This means that we improve the rigging by passing to the subgroup
$\operatorname {Imp}_L^{\theta }(V)$. The analogous statement is true for
$\operatorname {Cl}(V)^{\infty }$ and
$\operatorname {Cl}(V)^{\mathrm {s}}$. The riggings
$F_L^{\infty }$ and
$\operatorname {Cl}(V)^{\infty }$ have been appropriate for the construction of the spinor bundle on loop space and its Clifford action. For the construction of the fusion product we need the ‘finer’ riggings
$F_L^{\mathrm {s}}$ and
$\operatorname {Cl}(V)^{\mathrm {s}}$; in particular, we need these in Lemma 3.2.7, see Remark 3.2.8.
We now move beyond the analogy with [Reference Kristel and WaldorfKW20, § 3.2] and lift the separate Clifford C$^{*}\!$-algebras
$\operatorname {Cl}(V_{\pm })$ to the setting of rigged C
$^{*}\!$-algebras, by defining
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU31.png?pub-status=live)
Just like $\operatorname {Cl}(V)^{\mathrm {s}}$ these are rigged C
$^{*}\!$-algebras.
Lemma 3.2.7 The inclusion maps $\iota _{\pm }$ restrict to isometric morphisms
$\iota _{\pm }:\operatorname {Cl}(V_{\pm })^{\mathrm {s}} \rightarrow \operatorname {Cl}(V)^{\mathrm {s}}$ of rigged C
$^{*}\!$-algebras.
Proof. Let $a \in \operatorname {Cl}(V_{-})$ be arbitrary. We then see from Lemma 3.1.1 that the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn5.png?pub-status=live)
is the composition of the Lie group homomorphism $\operatorname {O}^{\theta }(V) \to \operatorname {O}(V_{-}),\;g \mapsto g_{-}$ with the action map
$\operatorname {O}(V_{-}) \to \operatorname {Cl}(V_{-}),\; g_{-}\mapsto \theta _{g_{-}}(a)$, followed by the smooth map
$\iota _{-}:\operatorname {Cl}(V_{-})\to \operatorname {Cl}(V)$. This proves that if
$a \in \operatorname {Cl}(V_{-})^{\mathrm {s}}$, then (5) is smooth, and we have
$a \otimes \mathbb {1} \in \operatorname {Cl}(V)^{\mathrm {s}}$; and thus
$\iota _{-}$ restricts to a map
$\iota _{-}:\operatorname {Cl}(V_{-})^{\mathrm {s}} \rightarrow \operatorname {Cl}(V)^{\mathrm {s}}$. What remains to be shown is that this restriction
$\iota _{-}: \operatorname {Cl}(V_{-})^{\mathrm {s}} \rightarrow \operatorname {Cl}(V)^{\mathrm {s}}$ is continuous with respect to the Fréchet space structures. Because
$\iota _{-}$ is linear, it suffices to show continuity at
$0$. First, observe that if
$r \in \mathcal {R}(\operatorname {Cl}(V))$, then
$r \circ \iota _{-} \in \mathcal {R}(\operatorname {Cl}(V_{-}))$. Moreover, we claim that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn6.png?pub-status=live)
indeed
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU32.png?pub-status=live)
From (6) it follows that the preimage of the subbasis open neighbourhood of zero given by $\{ x \in \operatorname {Cl}(V) \mid r_{n}(x) < \varepsilon \} \subset \operatorname {Cl}(V)$ is the subbasis open neighbourhood of zero given by
$\{ a \in \operatorname {Cl}(V_{-}) \mid (r \circ \iota _{-})_{n}(a) < \varepsilon \}$. The discussion of
$\operatorname {Cl}(V_{+})$ is analogous.
Remark 3.2.8 For Lemma 3.2.7 it is essential that we work with $\operatorname {O}^{\theta }(V)$ and not with
$\operatorname {O}(V)$, because
$\operatorname {O}(V)$ does not come equipped with a map to
$\operatorname {O}(V_{-})$ and, moreover, because (6) only holds because we use
$\operatorname {O}^{\theta }(V)$. Further, the Fock space representation of
$\operatorname {Cl}(V)$ on
$F_L$ does not restrict to a representation of
$\operatorname {Cl}(V)^{\mathrm {s}}$ on
$F_L^{\infty }$; this is why we have to use the bigger rigging
$F_L^{\mathrm {s}}$ on
$F_L$ a well.
We obtain the following result about the rigged C$^{*}\!$-algebras
$\operatorname {Cl}(V_{\pm })^{\mathrm {s}}$.
Proposition 3.2.9 The isometric morphisms $\iota _{\pm }$ induce on
$F_L^{\mathrm {s}}$ the structure of a rigged
$\operatorname {Cl}(V_{\pm })^{\mathrm {s}}$-module. Moreover,
$N_{\pm }(V)^{\mathrm {s}} := (\operatorname {Cl}(V_{\pm })^{\mathrm {s}},F_{L}^{\mathrm {s}})$ are rigged von Neumann algebras, and the pairs
$(\iota _{\pm },\mathbb {1})$ are spatial morphisms
$N_{\pm }(V)^{\mathrm {s}} \to \operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s}$.
Proof. The first claim follows from Lemma 3.2.7 and Remark 2.1.4(b). The second claim (see Definition 2.1.6) follows since the representation of $\operatorname {Cl}(V_{\pm })^{\mathrm {s}}$ on
$F_{L}^{\mathrm {s}}$ extends to the representation of
$\operatorname {Cl}(V_{\pm })$ on
$F_{L}$, which is faithful.
The rigged von Neumann algebra $N_{\pm }(V)^{\mathrm {s}} = (\operatorname {Cl}(V_{\pm })^{\mathrm {s}},F_{L}^{\mathrm {s}})$ determines a von Neumann algebra
$N_{\pm }(V) := (N_{\pm }(V)^{\mathrm {s}})''$ in the classical sense, as the von Neumann closure of the C
$^{*}\!$-algebra
$\operatorname {Cl}(V_{\pm })$ acting on
$F_{L}$, see Remark 2.1.7. It is well known that these von Neumann algebras are III
$_{1}$-factors (see [Reference Stolz and TeichnerST04, Example 4.3.2] and [Reference WassermannWas98, § 16]).
3.3 Free fermions as a rigged bimodule
We now fix a concrete Hilbert space $V$, a real structure
$\alpha$, a Lagrangian
$L$, and a splitting
$V=V_{-}\oplus V_{+}$, which will remain the same for the rest of the paper. Let
$\mathbb {S} \rightarrow S^{1}$ be the odd spinor bundle on the circle, i.e. that associated to the odd (i.e. the connected) spin structure on the circle. We set
$V := L^{2}(S^{1}, \mathbb {S} \otimes \mathbb {C}^{d})$, where
$d$ is a natural number (later it is the spacetime dimension). Pointwise complex conjugation gives a real structure
$\alpha : V \rightarrow V$. In [Reference Kristel and WaldorfKW22, § 2] it is explained how the space of smooth 2
$\pi$-antiperiodic functions on the real line can be identified with the dense subspace
$\Gamma (S^{1},\mathbb {S} \otimes \mathbb {C}^{d}) \subset V$ of smooth sections. Under this identification,
$V$ has an orthonormal basis
$\{ \xi _{n,j} \}_{n \in \mathbb {N}, j =1,\ldots,d}$ by setting
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU33.png?pub-status=live)
where $\{ e_{j} \}_{j=1,\ldots,d}$ is the standard basis of
$\mathbb {C}^{d}$. It is further shown that
$\alpha (\xi _{n,j}) = \xi _{-n-1,j}$ for all
$n$ and all
$j$. It follows that the closed linear span
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU34.png?pub-status=live)
is a Lagrangian in $V$. The corresponding Fock space
$F:= F_L$ is called the free fermions. Let us write
$I_{+} \subset S^{1}$ for the open upper semicircle and
$I_{-} \subset S^{1}$ for the open lower semicircle. If
$f \in V$, then we write
$\operatorname {Supp}(f)$ for the support of
$f$. We consider the subspaces
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU35.png?pub-status=live)
they yield a decomposition $V = V_{-} \oplus V_{+}$, and
$\alpha$ restricts to real structures on
$V_{\pm }$. This puts us in the setting of § 3.2, and we thus obtain rigged von Neumann algebras
$N_{\pm }^{\mathrm {s}} := N_{\pm }(V)^{\mathrm {s}} := (\operatorname {Cl}(V_{\pm })^{\mathrm {s}},F^{\mathrm {s}})$.
We denote by $\tau$ the complex-linear extension of the map
$\xi _{n,j}\mapsto \xi _{-n-1,j}$. The map
$\tau$ is orthogonal, exchanges
$L$ with
$\alpha (L)$, and exchanges
$V_{+}$ with
$V_{-}$. We remark that while
$\tau \in \operatorname {O}(V)$, one can show that it is not implementable. Since
$\alpha$ interchanges
$L$ with
$\alpha (L)$ as well, the anti-unitary isomorphism
$\alpha \tau$ preserves both
$L$ and
$\alpha (L)$. In particular, it induces an anti-unitary operator
$\Lambda _{\alpha \tau }: F \rightarrow F$.
If $g \in \operatorname {O}(V)$, then we write
$\tau (g) := \tau \circ g \circ \tau \in \operatorname {O}(V)$. With this notation we have, for all
$f \in V$ and all
$g \in \operatorname {O}(V)$, that
$\tau (g(f)) = \tau (g) (\tau (f))$. Because
$\tau$ interchanges
$L$ with
$\alpha (L)$ we have that conjugation by
$\tau$ yields an isometric (hence, smooth) group homomorphism from
$\operatorname {O}_{L}(V)$ into
$\operatorname {O}_{L}(V)$. Finally, because
$\tau$ exchanges
$V_{+}$ with
$V_{-}$ we have that
$\tau$ preserves
$\operatorname {O}_{L}^{\theta }(V)$, and moreover exchanges
$\operatorname {O}(V_{-})$ with
$\operatorname {O}(V_{+})$.
Remark 3.3.1 In the following discussion of the Clifford algebras $\operatorname {Cl}(V_{\pm })$ we will focus on
$\operatorname {Cl}(V_{-})$ instead of
$\operatorname {Cl}(V_{+})$, and in the remainder of this work we will continue to do so. The rigged von Neumann algebra
$N_{-}=(\operatorname {Cl}(V_{-})^{\mathrm {s}},F^{\mathrm {s}})$ will be denoted by just
$N$ in the following. Nothing is lost by this choice, the theory for
$\operatorname {Cl}(V_{+})$ is completely parallel.
We recall that the Fock space $F$ is equipped with the left action of
$\operatorname {Cl}(V_{-})$ induced by the inclusion
$\iota _{-}:\operatorname {Cl}(V_{-}) \to \operatorname {Cl}(V)$. Next, we equip it with a compatible right action of
$\operatorname {Cl}(V_{-})$. We note that
$F$ is naturally graded, as it is the completion of an exterior algebra. We let
$\operatorname {k}: F \rightarrow F$ be the ‘Klein transformation’, that is,
$\operatorname {k}$ acts on
$F$ as the identity on the even part, and as multiplication by
$i$ on the odd part. Note that
$\operatorname {k}$ is unitary. Then we define the operator
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn7.png?pub-status=live)
which is an anti-unitary operator on $F$ with
$J^2=1$. Now, we define a right action as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn8.png?pub-status=live)
We shall then write $v \triangleleft a$ for the right action of
$a$ on
$v$.
Lemma 3.3.2 Right and left actions of $\operatorname {Cl}(V_{-})$ on
$F$ commute.
Proof. It is convenient to use Tomita–Takesaki theory to see this. The vector $\Omega := 1 \in \Lambda ^{0}L \subset F$ is cyclic and separating for the von Neumann algebra
$\operatorname {Cl}(V_{-})''\subset \mathcal {B}(F)$, see [Reference Kristel and WaldorfKW22, § 4.2]. In Tomita–Takesaki theory, one considers the triple
$(\operatorname {Cl}(V_{-})'',F,\Omega )$ and associates to it a so-called modular conjugation operator. In our case, this is precisely the operator
$J$, see [Reference Kristel and WaldorfKW22, § 4.2] and other references listed there. A main result of Tomita–Takesaki theory (recalled as Theorem A.1.3) is that
$a \mapsto Ja^{*}J$ is an anti-isomorphism of von Neumann algebras from
$\operatorname {Cl}(V_{-})''$ onto its commutant. This shows that the action of
$a\in \operatorname {Cl}(V_{-})$ on
$F$ commutes with the one of
$Ja^{*}J$.
Next, we pass to the rigged setting. In Propositions 3.2.5 and 3.2.9 we have seen that $F^{\mathrm {s}}$ is a rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-module under the left action. The analog is true for the right action of (8), as the following result shows.
Lemma 3.3.3 The right action $(v,a) \mapsto v\triangleleft a$ restricts to an action of
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$ on
$F^{\mathrm {s}}$, and exhibits
$F^{s}$ as a rigged
$(\operatorname {Cl}(V_{-})^{\mathrm {s}})^{\operatorname {opp}}$-module. In particular,
$F^{\mathrm {s}}$ is a rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$–
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-bimodule.
Proof. The proof is mostly standard, and analogous to that of [Reference Kristel and WaldorfKW20, Proposition 3.2.8]. To carry out the necessary computations one must make use of the formulas
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn9.png?pub-status=live)
which is [Reference Kristel and WaldorfKW22, Lemma 4.8], and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU36.png?pub-status=live)
where $\tau (X) = \tau \circ X \circ \tau \in \mathfrak {o}_{L}(V)$, which follows from (9). From this, one obtains a non-commutative binomial expansion, cf. [Reference Kristel and WaldorfKW20, Equation (12)], at which point the proof is completely analogous to that of Proposition 3.2.5.
We recall from Proposition 3.2.9 that $\operatorname {Cl}(V_{-})^{\mathrm {s}}$ is not just a rigged C
$^{*}\!$-algebra but also forms a rigged von Neumann algebra
$N^{\mathrm {s}}=N^{\mathrm {s}}_{-}=(\operatorname {Cl}(V_{-})^{\mathrm {s}},F^{\mathrm {s}})$, whose defining representation is the left action.
Proposition 3.3.4 The rigged bimodule $F^{\mathrm {s}}$ is a rigged von Neumann
$N^{\mathrm {s}}$–
$N^{\mathrm {s}}$-bimodule.
Proof. It remains to show that the right action, $(\operatorname {Cl}(V_{-})^{\mathrm {s}})^{\operatorname {opp}} \times F^{\mathrm {s}} \to F^{\mathrm {s}}$, makes
$F^{\mathrm {s}}$ a rigged von Neumann
$(N^{\mathrm {s}})^{\mathrm {opp}}$-module, where
$(N^{\mathrm {s}})^{\operatorname {opp}} = ((\operatorname {Cl}(V_{-})^{\mathrm {s}})^{\mathrm {opp}},(F^{\mathrm {s}})^{\sharp })$, see Definition 2.1.12. For this, all that needs to be shown is that the induced map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU37.png?pub-status=live)
extends to a normal $*$-homomorphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU38.png?pub-status=live)
Now, let $\rho _{0}$ be the defining representation of
$(N^{\mathrm {s}})^{\mathrm {opp}}$, let
$c: F^{\sharp } \rightarrow F$ be the canonical anti-linear isomorphism, and let
$\sigma : \mathcal {B}(F^{\sharp }) \rightarrow \mathcal {B}(F)$ be the
$*$-homomorphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU39.png?pub-status=live)
then one checks that the following diagram commutes.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU40.png?pub-status=live)
Thus, $\sigma$ extends
$\hat \rho$. Moreover, since
$Jc:F^{\sharp } \rightarrow F$ is an isometric isomorphism, it follows that
$\sigma$ is a normal
$*$-homomorphism.
We recall that the rigged von Neumann algebra $N^{\mathrm {s}} =N^{\mathrm {s}}_{-}= (\operatorname {Cl}(V_{-})^{\mathrm {s}},F^{\mathrm {s}})$ determines a von Neumann algebra
$N=(N^{\mathrm {s}})''$, see Remark 2.1.7. Moreover, the statement that
$F^{\mathrm {s}}$ is a rigged von Neumann
$N^{\mathrm {s}}$–
$N^{\mathrm {s}}$-bimodule implies that its completion, the Fock space
$F$, is an
$N$–
$N$-bimodule in the classical sense, see Lemma 2.1.16.
As we recall in Appendix A.1, a cyclic and separating vector for a representation of a von Neumann algebra equips that representation with the structure of a so-called standard form of the von Neumann algebra. Using this in our case for $\Omega \in F$ (see [Reference Kristel and WaldorfKW22, § 4.2]), we note the following result.
Proposition 3.3.5 The Fock space $F$ is a standard form of
$N$.
Remark 3.3.6 (a) From the uniqueness of standard forms (see Theorem A.1.2) it follows that $F$ is isomorphic to the canonical standard form
$L^{2}_{\Omega }(N)$ constructed from the faithful and normal state
$N \rightarrow \mathbb {C}, a \mapsto \langle a \triangleright \Omega, \Omega \rangle$. We recall that
$L^{2}_{\Omega }(N)$ is defined as the completion of
$N$ with respect to the sesquilinear form
$(a,b) \mapsto \langle a \triangleright \Omega, b\triangleright \Omega \rangle$. An explicit isomorphism
$u: F \to L^{2}_{\Omega } (N)$ is given by the extension of the densely defined map
$F \to N, a \triangleright \Omega \mapsto a$, see Lemma A.1.6.
(b) A standard form of a von Neumann algebra is in a natural way a bimodule for this von Neumann algebra, see Remark A.1.5. The left action is the given representation, whereas the right action is given by the formula $v \otimes a \mapsto Ja^{*}Jv$, where
$J$ is the modular conjugation for the triple
$(\operatorname {Cl}(V_{-})'',F,\Omega )$. In our case, this is precisely the right action we have defined in (8). In other words, the
$N$–
$N$-bimodule structure on
$F$ defined above coincides with the bimodule structure obtained from the theory of standard forms; moreover, the isomorphism
$u:F \to L^{2}_{\Omega } (N)$ is an intertwiner.
A standard form of a von Neumann algebra, viewed as a bimodule, is neutral with respect to Connes fusion, as we recall in Proposition A.2.6 and Corollary A.2.7. More precisely, there are unitary intertwiners $\lambda _K: F \boxtimes K \to K$ and
$\rho _K: K \boxtimes F \to K$ for any
$N$–
$N$-bimodule
$K$, and for
$K=F$ we have coincidence
$\lambda _{F}=\rho _{F}$. We will denote this unitary intertwiner by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU41.png?pub-status=live)
We shall need a more explicit description of $\chi$ to prove one of our key results, Theorem 4.3.3. To make sense of this explicit description, we first recall the basic definition of the Connes fusion product, see Appendix A, and in particular Definition A.2.1, for more details. We start by writing
$\mathcal {D}(F,\Omega ) := \operatorname {Hom}_{-,N}(L^{2}_{\Omega }(N), F)$ for the space of bounded linear maps that intertwine the right
$N$ actions. We define a map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU42.png?pub-status=live)
by requiring $p_{\Omega }(x) \triangleright v = x(v)$ for all
$v \in L^{2}_{\Omega }(N)$. Next, we consider the space
$\mathcal {D}(F,\Omega ) \otimes F$ equipped with the degenerate inner product
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU43.png?pub-status=live)
The Connes fusion $F\boxtimes F$ is now the Hilbert completion of
$\mathcal {D}(F,\Omega ) \otimes F/ \ker \langle \cdot, \cdot \rangle _{\Omega }$. On the space
$\mathcal {D}(F, \Omega ) \otimes F$ the map
$\chi :F \boxtimes F \to F$ is given by (see Proposition A.2.6 and Corollary A.2.7)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn10.png?pub-status=live)
where $u$ is the invertible intertwiner
$u: F \to L^{2}_{\Omega } (N)$ of Remark 3.3.6.
Remark 3.3.7 It is interesting to note that in our case the map $\chi : \mathcal {D}(F,\Omega ) \otimes F \rightarrow F$ is surjective, which implies that the space
$\mathcal {D}(F,\Omega ) \otimes F/ \ker \langle \cdot, \cdot \rangle _{\Omega }$, is already complete.
We remark that Connes fusion is coherently associative (Proposition A.2.5), which allows us to omit bracketing of multiple Connes fusions. The following lemma follows then directly from Corollary A.2.7.
Lemma 3.3.8 The isomorphism $\chi$ is associative in the sense that the following diagram commutes.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU44.png?pub-status=live)
3.4 Connes fusion of implementers
The goal of this section is to use Connes fusion and the unitary intertwiner $\chi : F \boxtimes F \to F$ in order to define a product of certain implementers. Since Connes fusion is only available in an ungraded setting, we need to restrict the discussion to even implementers, i.e. to operators
$U \in \operatorname {Imp}_L(V) \subset \mathcal {B}(F)$ that preserve the natural grading of
$F$. The collection of all even implementers is, in fact, easy to find. Namely, the group
$\operatorname {O}_{L}(V)$ has two connected components, thus
$\operatorname {Imp}_{L}(V)$ has two connected components as well. All the elements of the identity component of
$\operatorname {Imp}_{L}(V)$ are even, and all the remaining elements are odd [Reference ArakiAra87, Theorem 6.7]. Later, in § 4, we will pull back all this structure to a connected Lie group, and hence anyway only see the connected component of
$\operatorname {O}_L(V)$.
We begin by specifying the domain of our Connes fusion product of implementers. It mimics the fusion condition in loop spaces and later turns out to imply that condition (see Theorem 4.3.3).
Definition 3.4.1 A pair $(U,U')$ of even implementers
$U,U'\in \operatorname {Imp}_{L}^{\theta }(V)$ is called fusable, if the elements
$g_{-} \oplus g_{+}$ and
$g'_{-} \oplus g_{+}'$ of
$\operatorname {O}_L^{\theta }(V)$ implemented by
$U$ and
$U'$, respectively, satisfy
$g'_{-} = \tau g_{+} \tau$.
Next are some preparative steps.
Lemma 3.4.2 Let $U \in \operatorname {Imp}_{L}^{\theta }(V)$ be even and implement an element
$g = g_{-} \oplus g_{+} \in \operatorname {O}_L^{\theta }(V)$. Then, the Bogoliubov automorphisms
$\theta _{g_{\pm }}: \operatorname {Cl}(V_{\pm }) \rightarrow \operatorname {Cl}(V_{\pm })$ extend uniquely to automorphisms of the von Neumann algebras
$N_{\pm }$, induced by
$a \mapsto UaU^{*}$.
Proof. We discuss $\theta _{g_{-}}$, the proof for
$\theta _{g_{+}}$ is analogous. Because
$\operatorname {Cl}(V_{-})$ is dense in
$N=N_{-}$, it is sufficient to prove the existence of an extension. We know that
$\theta _{g}: \operatorname {Cl}(V) \rightarrow \operatorname {Cl}(V)$ restricts to
$\theta _{g_{-}}$ (by Lemma 3.1.1) and at the same time extends to an automorphism of
$\operatorname {Cl}(V)'' = \mathcal {B}(F)$, namely
$a \mapsto UaU^{*}$. It is thus sufficient to prove that conjugation by
$U$ preserves
$N\subset \operatorname {Cl}(V)''$. Let
$c \in \operatorname {Cl}(V_{-})$ and let
$b \in \operatorname {Cl}(V_{-})'$. Then, because
$UcU^{*} = \theta _{g_{-}}c \in \operatorname {Cl}(V_{-})$, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU45.png?pub-status=live)
and, hence, $U^{*}bU \in \operatorname {Cl}(V_{-})'$. Now let
$a \in N$, then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU46.png?pub-status=live)
and hence $UaU^{*} \in N$.
We emphasize that the resulting automorphism $\theta _{g_{-}}: N \rightarrow N$ depends on neither
$g_{+}$ nor
$U$, as it is the unique extension of a map only depending on
$g_{-}$. Next we need to explore the relation between the automorphisms
$\theta _{g_{\pm }}$ and the group homomorphism
$\tau : \operatorname {O}_{L}^{\theta }(V) \rightarrow \operatorname {O}_{L}^{\theta }(V)$ that exchanges
$\operatorname {O}(V_{-})$ with
$\operatorname {O}(V_{+})$. To this end, we consider the orthogonal operator
$\alpha \tau :V \to V$ from § 3.3, which is not implementable in the classical sense but as it were implementable by an anti-unitary operator. The following lemma summarizes this and further results about
$\alpha \tau$ from our earlier work [Reference Kristel and WaldorfKW22, Lemmas 4.4 and 4.6, Propositions 4.9 and 4.11].
Lemma 3.4.3 The map $\alpha \tau : V \rightarrow V$ extends uniquely to a complex anti-linear
$\ast$-automorphism
$\kappa : \operatorname {Cl}(V) \rightarrow \operatorname {Cl}(V)$ of the Clifford algebra. Moreover, the anti-unitary operator
$\Lambda _{\alpha \tau }: F \rightarrow F$ implements
$\kappa$ in the sense that for all
$a \in \operatorname {Cl}(V)$ we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU47.png?pub-status=live)
as elements of $\mathcal {B}(F)$. In particular,
$\kappa : \operatorname {Cl}(V) \rightarrow \operatorname {Cl}(V)$ extends uniquely to an anti-unitary automorphism of
$\mathcal {B}(F)$. From there, it restricts to a Lie group homomorphism
$\kappa : \operatorname {Imp}_{L}(V) \rightarrow \operatorname {Imp}_{L}(V)$ covering
$\tau : \operatorname {O}_{L}(V) \rightarrow \operatorname {O}_{L}(V)$.
It follows from Lemmas 3.4.2 and 3.4.3 that $\theta _{\tau (g_{+})}: \operatorname {Cl}(V_{-}) \rightarrow \operatorname {Cl}(V_{-})$ extends uniquely to an automorphism of
$N$, induced by
$a \mapsto \kappa (U) a \kappa (U)^{*}$. Now we are in position to prove a fundamental relation between implementability, the splitting
$V=V_{-} \oplus V_{+}$, and the bimodule structure of the Fock space
$F$.
Proposition 3.4.4 Let $U: F \rightarrow F$ be an even unitary map and let
$g_{\pm }\in \operatorname {O}(V_{\pm })$. Then, the following are equivalent:
(a)
$U$ implements
$g_{-} \oplus g_{+} \in \operatorname {O}^{\theta }(V)$;
(b) the triple
$(\theta _{g_{-}}, \theta _{\tau (g_{+})}, U)$ is a bimodule intertwiner.
Proof. Suppose that part (a) holds. It then follows from Lemma 3.4.2 that $U$ intertwines the left action along
$\theta _{g_{-}}$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU48.png?pub-status=live)
Because $U$ is even, we have that
$U$ commutes with the Klein operator
$\operatorname {k}$ and, thus, by Lemma 3.4.3 and the definition of the operator
$J$ in (7), we have
$\kappa (U) = JUJ$. Using this, we compute, again for
$a \in N$ and
$v \in F$
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU49.png?pub-status=live)
This shows that the triple $(\theta _{g_{-}},\theta _{\tau (g_{+}) },U)$ is a bimodule intertwiner.
Now, assume part (b). Running the above arguments in reverse, we obtain for all $a_{-} \in \operatorname {Cl}(V_{-})$ and all
$a_{+} \in \operatorname {Cl}(V_{+})$ the equalities
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU50.png?pub-status=live)
Thus, we have that for all elements $a$ of the algebraic tensor product of
$\operatorname {Cl}(V_{-})$ with
$\operatorname {Cl}(V_{+})$ the equation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU51.png?pub-status=live)
holds. Because the algebraic tensor product is dense in the Clifford C$^{*}\!$-algebra
$\operatorname {Cl}(V_{-} \oplus V_{+}) = \operatorname {Cl}(V)$ this equation holds for all
$a \in \operatorname {Cl}(V)$, and this completes the proof.
Consider now two fusable implementers $U,U'\in \operatorname {Imp}_L^{\theta }(V)$, with
$U$ implementing
$g_{-} \oplus g_{+}\in \operatorname {O}_L^{\theta }(V)$ and
$U'$ implementing
$g_{-}' \oplus g_{+}' \in \operatorname {O}_L^{\theta }(V)$, where
$g'_{-}=\tau g_{+}\tau$. We have three
$\ast$-automorphisms of
$N$, namely
$\theta _{g_{-}}$,
$\theta _{\tau (g_{+})}=\theta _{g_{-}'}$, and
$\theta _{\tau (g'_{+})}$, and, additionally, we have the bimodule intertwiners
$(\theta _{g_{-}},\theta _{\tau (g_{+})},U)$ and
$(\theta _{g_{-}'},\theta _{\tau (g_{+}')},U')$ according to Proposition 3.4.4. Since Connes fusion is a functor (Proposition A.2.3) we obtain a bimodule intertwiner
$(\theta _{g_{-}},\theta _{\tau (g_{+}')}, U \boxtimes U'): F \boxtimes F \to F\boxtimes F$.
Definition 3.4.5 The Connes fusion of fusable implementers $U$ and
$U'$ is the unitary
$\hat \mu (U,U')\in \operatorname {U}(F)$ defined as the following composite.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU52.png?pub-status=live)
By construction, the triple $(\theta _{g_{-}},\theta _{\tau (g_{+}')},\hat \mu (U,U'))$ is an intertwiner. Moreover, we have the following.
Lemma 3.4.6 The Connes fusion $\hat \mu (U,U')\in \operatorname {U}(F)$ of an even operator
$U$ implementing
$g_{-} \oplus g_{+}$ and an even operator
$U'$ implementing
$\tau g_{+}\tau \oplus g_{+}'$ is an even operator and implements
$g_{-}\oplus g'_{+}\in \operatorname {O}_L^{\theta }(V)$. In particular,
$\hat \mu (U,U')\in \operatorname {Imp}_L^{\theta }(V)$.
Proof. It suffices to show that $\hat \mu (U,U')$ is even, the rest follows then from Proposition 3.4.4. In order to show that
$\hat \mu (U,U')$ is even, we consider the grading involution
$\mathrm {g} := \mathrm {k}^{2}:F \to F$, which has the property that an operator on
$F$ is even if and only if it commutes with
$\mathrm {g}$. We also consider the grading involution
$\nu : N \to N$ on the von Neumann algebra
$N$, which implements the extension of the canonical grading of the Clifford algebra
$\mathrm {Cl}(V_{-})$. It is straightforward to check that the triple
$(\nu,\nu,\mathrm {g})$ is an intertwiner of
$N$–
$N$-bimodules. Therefore, functoriality of Connes fusion determines an operator
$\mathrm {g}\boxtimes \mathrm {g}: F \boxtimes F \to F \boxtimes F$. Next we compute for
$x \otimes v \in \mathcal {D}(F,\Omega ) \otimes F$ using the formula of Proposition A.2.3 that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU53.png?pub-status=live)
Observe that we have used that the map $u$ used in Proposition A.2.3 is the identity. Now, we apply
$\chi$, and calculate
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU54.png?pub-status=live)
here, $u$ is the invertible intertwiner of Remark 3.3.6, which is even. We recall that
$p_{\Omega }(u \circ \mathrm {g} \circ x \circ \overline {\nu }^{*})$ is the unique element of
$N$ that satisfies
$p_{\Omega }(u \circ \mathrm {g} \circ x \circ \overline {\nu }^{*}) \triangleright w = u \circ \mathrm {g} \circ x \circ \overline {\nu }^{*}(w)$ for all
$w \in L^{2}_{\Omega }(N)$. We then continue, for arbitrary
$w \in L^{2}_{\Omega }(N)$,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU55.png?pub-status=live)
whence $p_{\Omega }(u \circ \mathrm {g} \circ x \circ \overline {\nu }^{*}) = \nu (p_{\Omega }(u \circ x))$. We continue where we left off, and compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU56.png?pub-status=live)
obtaining
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU57.png?pub-status=live)
Using this identity twice together with the functoriality of Connes fusion (Proposition A.2.3) and the fact that $U$ and
$U'$ are even and, hence, commute with
$\mathrm {g}$, we obtain the identity
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU58.png?pub-status=live)
this finishes the proof.
The following result follows directly from the functoriality of Connes fusion (see Proposition A.2.3).
Proposition 3.4.7 Connes fusion $\hat {\mu }$ of implementers is multiplicative in the following sense. Let
$U,U',V,V' \in \operatorname {Imp}_L^{\theta }(V)$ be even implementers, of which
$U$ and
$U'$ are fusable, and
$V$ and
$V'$ are fusable. Then,
$UV$ and
$U'V'$ are fusable, and we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU59.png?pub-status=live)
In § 4.3 we further study the Connes fusion of implementers. In particular, we relate it to the fusion product on the universal central extension of $L\operatorname {Spin}(d)$, see Theorem 4.3.3. This relation will be crucial for the proof of our main result, Theorem 5.3.1.
4. Fusive spin structures on loop space
In this section, we recall and relate the notions of spin structures on loop space, fusion products, and string structures. The relation between loop fusion and the Connes fusion of implementers is established in Theorem 4.3.3.
4.1 The spinor bundle on loop space
At the basis of our work is the notion of a spin structure on loop space according to Killingback [Reference KillingbackKil87]. We suppose $M$ is a spin manifold of dimension
$d$, and consider its spin structure as a principal
$\operatorname {Spin}(d)$-bundle
$\operatorname {Spin}(M)$ over
$M$ that lifts the structure group of the oriented orthonormal frame bundle
$\operatorname {SO}(M)$ along the central extension
$\mathbb {Z}_2 \to \operatorname {Spin}(d) \to \operatorname {SO}(d)$.
By definition of the Fréchet manifold structure on $LM$, a tangent vector at a loop
$\gamma \in LM$ is a smooth section of
$TM$ along
$\gamma$. This is the motivation to consider
$L\operatorname {Spin}(M)$, the Fréchet manifold of smooth free loops in the total space of
$\operatorname {Spin}(M)$, as (a version of) the frame bundle of
$LM$. We note that
$L\operatorname {Spin}(M)$ is a Fréchet principal
$L\operatorname {Spin}(d)$-bundle over
$LM$, see [Reference Spera and WurzbacherSW07, Proposition 1.8], where
$L\operatorname {Spin}(d)$ is the loop group of
$\operatorname {Spin}(d)$. The following definition is due to Killingback [Reference KillingbackKil87].
Definition 4.1.1 A spin structure on $LM$ is a lift of the structure group of the frame bundle
$L\operatorname {Spin}(M)$ of
$LM$ along the basic central extension
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU60.png?pub-status=live)
Thus, a spin structure on $LM$ is a principal
$\smash {\widetilde {L\operatorname {Spin}}}(d)$-bundle
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ over
$LM$ together with a bundle map
$\sigma : \smash {\widetilde {L\operatorname {Spin}}}(M) \to L\operatorname {Spin}(M)$ that intertwines the group actions along the projection
$\smash {\widetilde {L\operatorname {Spin}}}(d) \to L\operatorname {Spin}(d)$. We remark that the map
$\sigma :\smash {\widetilde {L\operatorname {Spin}}}(M) \to L\operatorname {Spin}(M)$ has itself the structure of a principal
$\operatorname {U}(1)$-bundle, where the
$\operatorname {U}(1)$-action is the one of the central subgroup. Concerning the existence of spin structures on loop spaces, the following result was proved by McLaughlin [Reference McLaughlinMcL92].
Proposition 4.1.2 The loop space $LM$ of a spin manifold
$M$ admits a spin structure if
$\tfrac {1}{2}p_1(M)=0$.
The group $L\operatorname {SO}(d)$ acts in
$V=L^{2}(S^{1}, \mathbb {S} \otimes \mathbb {C}^{d})$ by pointwise multiplication; under the pointwise projection map
$L\operatorname {Spin}(d) \rightarrow L\operatorname {SO}(d)$, this defines an action of
$L\operatorname {Spin}(d)$ in
$V$. It is clear that
$L\operatorname {Spin}(d)$ acts on
$V$ through
$\operatorname {O}^{\theta }(V)$, and a standard result that it acts through
$\operatorname {O}_{L}(V)$ (see [Reference Pressley and SegalPS03, Proposition 6.3.1]; also see [Reference Kristel and WaldorfKW22, Lemma 3.21]). Moreover, the resulting map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU61.png?pub-status=live)
is smooth, [Reference Kristel and WaldorfKW22, Lemma 3.22]. The following result is [Reference Kristel and WaldorfKW22, Theorem 3.26].
Theorem 4.1.3 If $1< d\neq 4$, then the pullback of the central extension
$\operatorname {U}(1) \to \operatorname {Imp}_{L}^{\theta }(V) \xrightarrow {q} \operatorname {O}_{L}^{\theta }(V)$ along
$\omega :L\operatorname {Spin}(d) \to \operatorname {O}_L^{\theta }(V)$ is the basic central extension of
$L\operatorname {Spin}(d)$.
From now on we will use this fixed model for the basic central extension. Most importantly, it comes with a smooth map $\tilde \omega : \smash {\smash {\widetilde {L\operatorname {Spin}}}(d)} \to \operatorname {Imp}_L^{\theta }(V)$. It pulls back the smooth representation of
$\operatorname {Imp}_L^{\theta }(V)$ on Fock space
$F^{\mathrm {s}}$ (Proposition 3.2.2) to a smooth representation of the basic central extension on
$F^{\mathrm {s}}$. The spinor bundle on loop space is obtained using the associated bundle construction of Lemma 2.2.2.
Definition 4.1.4 Let $M$ be a spin manifold equipped with a spin structure
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ on its loop space. The spinor bundle on loop space is the associated rigged Hilbert space bundle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU62.png?pub-status=live)
The Clifford bundle is obtained in a similar way using Lemma 2.2.4 and the smooth representation of $L\operatorname {Spin}(d)$ on
$\operatorname {Cl}(V)^{\mathrm {s}}$, induced via
$\omega :L\operatorname {Spin}(d) \to \operatorname {O}(V)$ from the smooth representation of
$\operatorname {O}(V)$ on
$\operatorname {Cl}(V)^{\mathrm {s}}$ by Bogoliubov automorphisms (Proposition 3.2.4).
Definition 4.1.5 The Clifford bundle on loop space is the associated rigged C$^{*}\!$-algebra bundle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU63.png?pub-status=live)
Remark 4.1.6 The Clifford bundle on loop space can even be defined without a spin structure on $M$, since
$\omega$ factors through
$L\operatorname {SO}(d)$.
The Clifford bundle $\operatorname {Cl}^{\mathrm {s}}(LM)$ acts on the spinor bundle
$F^{\mathrm {s}}(LM)$ by ‘Clifford multiplication’. To make this precise, we consider the rigged
$\operatorname {Cl}(V)^{\mathrm {s}}$-module
$F^{\mathrm {s}}$ of Proposition 3.2.5, with representation
$(a,v) \mapsto a\triangleright v$. We have proved in [Reference Kristel and WaldorfKW20, Proposition 2.2.19] that this representation extends from the typical fibres to all fibres, resulting in the following statement.
Proposition 4.1.7 There is a unique bundle map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU64.png?pub-status=live)
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU65.png?pub-status=live)
for all $\tilde \varphi \in \widetilde {L\operatorname {Spin}}(M)$ lifting
$\varphi \in L\operatorname {Spin}(M)$, and all
$a \in \operatorname {Cl}(V)^{\mathrm {s}}$ and
$v \in F^{\mathrm {s}}$. Moreover, this map equips the spinor bundle
$F^{\mathrm {s}}(LM)$ with the structure of a rigged
$\operatorname {Cl}^{\mathrm {s}}(LM)$-module bundle with typical fibre
$F^{\mathrm {s}}$.
As the typical fibre of the rigged $\operatorname {Cl}^{\mathrm {s}}(LM)$-module bundle
$F^{\mathrm {s}}(LM)$ is, in fact, a rigged von Neumann algebra,
$\operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s}=(\operatorname {Cl}(V)^{\mathrm {s}},F^{s})$ (Proposition 3.2.5), we note immediately the following consequence of Proposition 4.1.7.
Corollary 4.1.8 The pair $\operatorname {Cl}_{\mathrm {vN}}^\mathrm {s}(LM):= (\operatorname {Cl}^{\mathrm {s}}(LM),F^{\mathrm {s}}(LM))$ is a rigged von Neumann algebra bundle over
$LM$ with typical fibre
$\operatorname {Cl}_{\mathrm {vN}}(V)^\mathrm {s}$.
Remark 4.1.9 Let us comment on the relation between the spinor bundle on loop space defined in our earlier work using coarser riggings $F^{\infty }$ of Fock spaces and
$\operatorname {Cl}(V)^{\infty }$ of Clifford algebras [Reference Kristel and WaldorfKW20, § 4]. As remarked in Remark 3.2.6, we have
$F^{\infty } \subset F^{\mathrm {s}}$, in other words, there is an isometric morphism of rigged Hilbert spaces
$F^{\infty } \rightarrow F^{\mathrm {s}}$, which induces the identity on the completion
$F$; and similarly for the rigged Clifford algebras. Comparing Definitions 4.1.4 and 4.1.5 with [Reference Kristel and WaldorfKW20, Definitions 4.4 and 4.3], respectively, we observe that the above-mentioned isometric morphisms induce isometric morphisms on the level of the spinor bundle and the Clifford algebra bundle on loop space:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU66.png?pub-status=live)
Moreover, this pair of isometric morphisms, in fact, is an isometric intertwiner as in Definition 2.2.6. On the completions to continuous Hilbert space bundles and continuous C$^{*}\!$-algebra-bundles (see § 2.2), these isometric intertwiners induce the identity maps.
4.2 Fusion on loop space
We review first the general notion of a fusion product for principal $\operatorname {U}(1)$-bundles over the loop space
$LM$ of a smooth manifold
$M$, following [Reference WaldorfWal16b]. In the subsequent subsections we apply this to two situations: central extensions of loop groups and spin structures on loop spaces. We write
$PM$ for the set of smooth paths in
$M$ with sitting instants, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn11.png?pub-status=live)
We use sitting instants so that we are able to concatenate arbitrary paths with a common end point: the usual path concatenation $\beta _2 \star \beta _1$ is again a smooth path whenever
$\beta _1(\pi )=\beta _2(0)$. Unfortunately, with sitting instants,
$PM$ is not any kind of manifold; however, we may regard it as a diffeological space, see § 2.3 for a quick review. The plots of
$PM$ are all maps
$c:U \to PM$ whose adjoint map
$c^{\vee }: U \times [0,\pi ] \to M$, with
$c^{\vee }(u,t) := c(u)(t)$, is smooth. We remark that path concatenation
$\star$ and path reversal
$\beta \mapsto \bar \beta$ are smooth maps. The evaluation map
$\mathrm {ev}: PM \to M \times M, \beta \mapsto (\beta (0),\beta (\pi ))$ is a smooth map, and since diffeological spaces admit arbitrary fibre products, the iterated fibre products
$PM^{[k]} := PM \times _{M \times M} \cdots \times _{M \times M} PM$ are again diffeological spaces: their plots are simply tuples
$(c_1,\ldots,c_k)$ of plots of
$PM$, such that
$\mathrm {ev} \circ c_1 = \cdots = \mathrm {ev} \circ c_k$. In the following, we will use the smooth map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU67.png?pub-status=live)
that combines two paths with a common initial point and a common end point to a loop. If $(\beta _1,\beta _2,\beta _3)\in PM^{[3]}$, we will regard the loop
$\beta _1\cup \beta _3$ as the ‘fusion’ of the loops
$\beta _1 \cup \beta _2$ and
$\beta _2 \cup \beta _3$. A fusion product on a principal
$\operatorname {U}(1)$-bundle over
$LM$ is now a lift of this fusion operation to the total space.
Definition 4.2.1 Let $\pi :\mathcal {L} \to LM$ be a Fréchet principal
$\operatorname {U}(1)$-bundle over
$LM$. A fusion product on
$\mathcal {L}$ assigns to each element
$(\beta _1,\beta _2,\beta _3) \in PM^{[3]}$ a
$\operatorname {U}(1)$-bilinear map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU68.png?pub-status=live)
such that the following two conditions are satisfied.
(i) Associativity: for all
$(\beta _1,\beta _2,\beta _3,\beta _4) \in PM^{[4]}$ and all
$q_{ij} \in \mathcal {L}_{\beta _i \cup \beta _j}$,
\[ \lambda_{\beta_1,\beta_3,\beta_4}(\lambda_{\beta_1,\beta_2,\beta_3}(q_{12} , q_{23}) , q_{34})= \lambda_{\beta_1,\beta_2,\beta_4}(q_{12} , \lambda_{\beta_2,\beta_3,\beta_4}(q_{23} , q_{34}) ). \]
(ii) Smoothness: for every plot
$(c_1,c_2,c_3):U \to PM^{[3]}$ and all smooth maps
$c_{12},c_{23}:U \to \mathcal {L}$ such that
$(\pi \circ c_{ij})(x)=c_i(x) \cup c_j(x)$ for all
$x\in U$ and
$ij\in \{12,23\}$, the map
\begin{align*} U \to \mathcal{L} : x \mapsto \lambda_{c_1(x),c_2(x),c_3(x)}(c_{12}(x),c_{23}(x)) \end{align*}
Early versions of fusion products have been studied in [Reference BrylinskiBry93] and [Reference Stolz and TeichnerST05]. For a comprehensive treatment of this topic we refer to [Reference WaldorfWal16b]. Fusion products are a characteristic feature of structure in the image of transgression. The main result of [Reference WaldorfWal16b] is that principal $\operatorname {U}(1)$-bundles over
$LM$ equipped with a fusion product (and a so-called thin homotopy equivariant structure) form a category that is equivalent to the category of bundle gerbes over
$M$, with the equivalence established by transgression and regression functors. In particular, every principal
$\operatorname {U}(1)$-bundle over
$LM$ obtained by transgression of a bundle gerbe over
$M$ comes equipped with a fusion product.
4.3 Fusion in the basic central extension
The first occurrence of a fusion product in this paper is when the smooth manifold $M$ is a Lie group
$G$, and the principal
$\operatorname {U}(1)$-bundle
$\mathcal {L}$ is a central extension
$\operatorname {U}(1) \to \mathcal {L} \to LG$ of the loop group. The diffeological space
$PG$ of paths with sitting instants becomes now a diffeological group, i.e. (pointwise) multiplication and (pointwise) inversion are smooth maps; further, path concatenation and path reversal are smooth group homomorphisms. We require compatibility between fusion products and these group structures in the following sense.
Definition 4.3.1 A fusion product $\mu$ on a central extension
$\operatorname {U}(1)\to \mathcal {L}\to LG$ is called multiplicative, if it is a group homomorphism, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU71.png?pub-status=live)
for all $(\beta _1,\beta _2,\beta _3),(\beta _1',\beta _2',\beta _3') \in PG^{[3]}$,
$q_{ij}\in \mathcal {L}_{\beta _i\cup \beta _j}$, and
$q'_{ij}\in \mathcal {L}_{\beta _i' \cup \beta _j'}$.
The basic central extension of any compact simple Lie group can be obtained by transgression, and thus comes equipped with a fusion product, which is automatically multiplicative and unique up to isomorphism [Reference WaldorfWal17]. In this paper, we need a precise formula for this fusion product $\mu$ on the basic central extension of
$L\operatorname {Spin}(d)$. Within the operator-theoretic model for
$\widetilde {L\operatorname {Spin}}(d)$ described above, such a formula has been obtained in [Reference Kristel and WaldorfKW22], and we shall recall this.
A key ingredient to this work will be a relation between that fusion product $\mu$ and the Connes fusion of implementers defined in § 3.4.
We first note that the map $\omega : L\operatorname {Spin}(d) \to \operatorname {O}_L^{\theta }(V)$ that defines our operator-theoretic model via pullback, is compatible with all relations between loops and paths in
$\operatorname {Spin}(d)$. To make this more precise, let
$p_{\pm }:\operatorname {O}^{\theta }_L(V) \to \operatorname {O}(V_{\pm })$ denote the projections. Further, let
$\Delta : P \operatorname {Spin}(d) \rightarrow L\operatorname {Spin}(d), \beta \mapsto \beta \cup \beta$ be the doubling map. We define smooth maps
$\omega _{\pm }: P\operatorname {Spin}(d) \to \operatorname {O}(V_{\pm })$ by
$\omega _{\pm }(\beta ) := p_{\pm }(\omega (\Delta (\beta )))$. Since the action of
$L\operatorname {Spin}(d)$ on
$V$ is pointwise, we have the following result.
Lemma 4.3.2 The following diagram is commutative.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU72.png?pub-status=live)
Next, we recall from [Reference Kristel and WaldorfKW22, Definition 5.5] that a fusion factorization for $\smash {\widetilde {L\operatorname {Spin}}}(d)$ is a smooth group homomorphism
$\rho : P\operatorname {Spin}(d) \rightarrow \smash {\widetilde {L\operatorname {Spin}}}(d)$ such that the following diagram commutes.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU73.png?pub-status=live)
Such a fusion factorization was constructed in [Reference Kristel and WaldorfKW22, § 5.3]; it is uniquely characterized by the property that $\rho (\beta )$ satisfies
$\tilde {\omega }(\rho (\beta ))J=J\tilde {\omega }(\rho (\beta ))$ and
$P_{\Omega }=P_{\tilde {\omega }(\rho (\beta ))\Omega }$, where
$\tilde \omega :\smash {\widetilde {L\operatorname {Spin}}}(d) \to \operatorname {Imp}_L^{\theta }(V)$ is the map from § 4.1,
$J$ is the modular conjugation (see (7)) and
$P_{v}$ is the closed self-dual cone corresponding to a vector
$v\in F$ (see Appendix A.1). Any fusion factorization induces a multiplicative fusion product [Reference Kristel and WaldorfKW22, Theorem 5.6]. In the present case,
$\rho$ induces the fusion product
$\mu$ on
$\smash {\widetilde {L\operatorname {Spin}}}(d)$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU74.png?pub-status=live)
where $(\beta _1,\beta _2,\beta _3) \in P \operatorname {Spin}(d)^{[3]}$,
$g_{1} \in \smash {\widetilde {L\operatorname {Spin}}}(d)_{\beta _1\cup \beta _2}$, and
$g_2\in \smash {\widetilde {L\operatorname {Spin}}}(d)_{\beta _2\cup \beta _3}$.
The following key result now tells us that the fusion product $\mu$ and the Connes fusion map
$\hat {\mu }$ of § 3.4 coincide under the group homomorphism
$\tilde \omega :\smash {\widetilde {L\operatorname {Spin}}}(d) \to \operatorname {Imp}_L^{\theta }(V)$.
Theorem 4.3.3 Let $\beta \!=(\beta _1,\beta _2,\beta _3) \!\in P \operatorname {Spin}(d)^{[3]}$,
$g_{1} \!\in \smash {\widetilde {L\operatorname {Spin}}}(d)_{\beta _1\cup \beta _2}$ and
$g_2\in \smash {\widetilde {L\operatorname {Spin}}}(d)_{\beta _2\cup \beta _3}$. Then, the implementers
$\tilde \omega (g_2)$ and
$\tilde \omega (g_1)$ are fusable in the sense of Definition 3.4.1. Moreover,
$\tilde \omega$ exchanges fusion on the basic central extension with the Connes fusion of implementers, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU75.png?pub-status=live)
Proof. Since the map $\omega :L\operatorname {Spin}(d) \rightarrow \operatorname {O}_{L}(V)$ factors through
$L\operatorname {SO}(d)$, its image is contained in the connected component of the identity of
$\operatorname {O}_{L}^{\theta }(V)_{0}$. Thus, all implementers in the image of
$\tilde \omega$ are even, which is a prerequisite for being fusable (Definition 3.4.1). For brevity, we set
$U_i:= \tilde \omega (g_i)$ for
$i=1,2$. According to Lemma 4.3.2,
$U_1$ implements
$\omega (\beta _1\cup \beta _2)=\omega _{-}(\beta _2) \oplus \omega _{+}(\beta _1)$, and
$U_2$ implements
$\omega (\beta _2\cup \beta _3)=\omega _{-}(\beta _3) \oplus \omega _{+}(\beta _2)$, and we have
$\tau (\omega _{+}(\beta _2)) = \omega _{-}(\beta _2)$. This shows that the pair
$(U_2,U_1)$ is fusable in the sense of Definition 3.4.1.
Let $K := \tilde \omega (\rho (\beta _{2}))^{-1}$, so that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn12.png?pub-status=live)
We compute, using the multiplicativity of $\hat {\mu }$ (Proposition 3.4.7),
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU76.png?pub-status=live)
We claim that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU77.png?pub-status=live)
this proves the theorem, in view of (12). The element $K$ has the property that
$U_{2}K$ implements an operator of the form
$g_{-} \oplus \mathbb {1} \in \operatorname {O}^{\theta }_L(V)$ (see [Reference Kristel and WaldorfKW22, Equation (13)]), which implies that
$U_{2}K \in (\operatorname {Cl}(V_{+})'')'$, see Proposition 3.4.4. Moreover, because
$U_{2}K$ is even, this implies that
$U_{2}K \in \operatorname {Cl}(V_{-})''$. Similarly, one shows that
$U_{1}K \in \operatorname {Cl}(V_{+})''$ and, thus,
$U_{1}KU_{2}K = U_{2}KU_{1}K$. Let
$f: L^{2}_{\Omega }(\operatorname {Cl}(V_{-})'') \rightarrow F$ be the inverse of the isomorphism
$u$ defined in Remark 3.3.6, given by
$a \mapsto a\triangleright \Omega$. Let
$v \in F$; then, to determine
$\hat {\mu }(U_{2}K,U_{1}K)$ we compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU78.png?pub-status=live)
using the definition of $\chi$ in (10) and the formula in Proposition A.2.3, with
$\nu _2=\mathbb {1}_{N}$ and
$u=\mathbb {1}$. We then use the defining property of
$p_{\Omega }$, getting
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU79.png?pub-status=live)
for all $w \in L^{2}_{\Omega }(\operatorname {Cl}(V_{-})'')$ and, thus,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU80.png?pub-status=live)
This proves the first equation. Because of the fact that $K^{-1}$ has the property that
$JK^{-1} = K^{-1}J$ and
$P_{K^{-1}\Omega } = P_{\Omega }$ (see [Reference Kristel and WaldorfKW22, Lemma 5.16]), we see that the corresponding map
$L^{2}_{\Omega }(\operatorname {Cl}(V_{-})'') \rightarrow L^{2}_{\Omega }(\operatorname {Cl}(V_{-})'')$ is
$f^{-1}K^{-1}f$. We compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU81.png?pub-status=live)
this proves the second equation.
Remark 4.3.4 Theorem 4.3.3 establishes a new relation between loop fusion and Connes fusion. It might fit into a larger framework, together with fusion of positive energy representations of loop groups established by Wassermann and Toledano-Laredo [Reference WassermannWas98, Reference Toledano-LaredoTol97], but we currently do not understand the full picture.
4.4 Fusive spin structures and string structures
We return to the discussion of spin structures on the loop space of a spin manifold $M$. We recall that a spin structure
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ on
$LM$ can be viewed as a principal
$\operatorname {U}(1)$-bundle over
$L\operatorname {Spin}(M)$ and thus, in particular, over a loop space. As such,
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ may host fusion products. The following definition is [Reference WaldorfWal16a, Definition 3.6].
Definition 4.4.1 A fusion product on a spin structure $\smash {\widetilde {L\operatorname {Spin}}}(M)$ on
$LM$ is a fusion product
$\lambda$ on the principal
$\operatorname {U}(1)$-bundle
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ over
$L\operatorname {Spin}(M)$ that is equivariant with respect to the fusion product
$\mu$ on
$\smash {\widetilde {L\operatorname {Spin}}}(d)$ under the principal action, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn13.png?pub-status=live)
for all $(\beta _1,\beta _2,\beta _3)\in P\operatorname {Spin}(M)^{[3]}$,
$(\gamma _1,\gamma _2,\gamma _3) \in P\operatorname {Spin}(d)^{[3]}$,
$\tilde \varphi _{ij}\in \smash {\widetilde {L\operatorname {Spin}}}(M)_{\beta _i\cup \beta _j}$, and
$g_{ij}\in \smash {\widetilde {L\operatorname {Spin}}}(d)_{\gamma _i \cup \gamma _j}$. A spin structure on
$LM$ with a fusion product is called a fusive spin structure.
Fusive spin structures bring us one step forward on the way from spin structures on $LM$ to string structures on
$M$. They already fix the missing ‘only if’ part of Proposition 4.1.2, as shown in [Reference WaldorfWal16a, Theorem 1.4]:
$LM$ admits a fusive spin structure if and only if
$\tfrac {1}{2}p_1(M)=0$. A full string structure yet contains more information related to thin homotopy equivariance; however, this information is not needed for the construction of a fusion product on the spinor bundle on loop space, which we perform in § 5. There, we only need a fusive spin structure.
In the following we want to explain how a fusive spin structure on $LM$, the main ingredient of our construction in § 5, can be obtained from a (geometric) string structure on
$M$. There are essentially four different, but equivalent, ways to say what a string structure on a spin manifold
$M$ is. All four versions have in common that their existence is obstructed by
$\tfrac {1}{2}p_1(M) \in H^4(M,\mathbb {Z})$, and that, under appropriate notions of equivalence, they form a torsor over the group
$H^3(M,\mathbb {Z})$.
(1) In purely topological terms, a string structure is a lift of the structure group of the spin frame bundle
$\operatorname {Spin}(M)$ to the 3-connected covering group of
$\operatorname {Spin}(d)$ (see [Reference Stolz and TeichnerST04]). That covering group, the topological string group, does not allow (finite-dimensional) Lie group structures (it has cohomology in infinitely many degrees).
(2) In terms of higher-categorical structures, a string structure is a lift of the structure group of the spin frame bundle
$\operatorname {Spin}(M)$ along the central extension of Lie 2-groups,
\[ B\operatorname{U}(1) \to \operatorname{String}(d) \to \operatorname{Spin}(d), \]
$B\operatorname {U}(1)$ denotes the Lie 2-group with a single object,
$\operatorname {Spin}(d)$ is considered as a Lie 2-group with only identity morphisms, and
$\operatorname {String}(d)$ is, for instance, the String Lie 2-group constructed in [Reference Baez, Stevenson, Crans and SchreiberBSCS07] (strict, but infinite-dimensional) or in [Reference Schommer-PriesSch11] (finite-dimensional, but not strict), or in [Reference WaldorfWal12a] (again strict, and with diffeological spaces). Geometric realization establishes the relation with part (1), see [Reference Baez and StevensonBS09, Reference Nikolaus and WaldorfNW13a].
(3) In terms of bundle gerbes, a string structure is a trivialization of the Chern–Simons 2-gerbe over
$M$ (see [Reference WaldorfWal13]). We explain below some more details about this approach. Its equivalence with part (2) was established in [Reference Nikolaus and WaldorfNW13b, Theorem 7.9].
(4) In terms of loop space geometry, a string structure is a thin homotopy equivariant fusive spin structure on
$LM$; this definition and its equivalence with part (3) is in [Reference WaldorfWal15]; we will recall it below.
Now we want to describe some details about part (3) in condensed form. A trivialization of the Chern–Simons 2-gerbe (i.e. a string structure) is a triple $(\mathcal {S},\mathcal {A},\sigma )$ consisting of the following structure.
– A bundle gerbe
$\mathcal {S}$ in the sense of Murray [Reference MurrayMur96] over
$\operatorname {Spin}(M)$.
– A bundle gerbe isomorphism
\begin{align*} \mathcal{A}: \delta^{*}\mathcal{G}_{bas} \otimes \operatorname{pr}_2^{*}\mathcal{S} \to \operatorname{pr}_1^{*}\mathcal{S} \end{align*}
$\operatorname {Spin}(M)^{[2]}$ over
$M$, where
$\mathcal {G}_{bas}$ is the basic gerbe over
$\operatorname {Spin}(d)$ constructed by Meinrenken [Reference MeinrenkenMei03] and Gawedzki and Reis [Reference GawedzkiGaw88], and
$\delta (\varphi,\varphi ')\in \operatorname {Spin}(d)$ is defined by
$\varphi \delta (p,p')=\varphi '$ for frames
$\varphi,\varphi '\in L\operatorname {Spin}(M)$ at the same point.
– A certain 2-isomorphism
$\sigma$ over the triple fibre product, expressing a compatibility condition between
$\mathcal {A}$ and the multiplicativity of
$\mathcal {G}_{bas}$. For the details we refer to [Reference WaldorfWal13].
A major advantage of this notion of a string structure is that it allows a differential refinement by string connections. A string connection consists of a connection on the bundle gerbe $\mathcal {S}$, such that the bundle gerbe morphism
$\mathcal {A}$ is connection-preserving (the basic gerbe
$\mathcal {G}_{bas}$ has a canonical connection). In the present context, string connections are useful for establishing the relation between parts (3) and (4), which we explain next. String connections always exist, and the space of string connections relative to a fixed string structure is affine [Reference WaldorfWal13, Theorem 1.3.4].
The key technique is the earlier-mentioned transgression functor
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU84.png?pub-status=live)
from the homotopy 1-category of the bicategory of bundle gerbes with connection over $M$ to the category of principal
$\operatorname {U}(1)$-bundles over
$LM$ equipped with fusion products, in the sense of Definition 4.2.1. Versions of this functor have been described in [Reference GawedzkiGaw88, Reference BrylinskiBry93], the complete construction is in [Reference WaldorfWal16b]. As a prerequisite, we apply the transgression functor to the basic gerbe
$\mathcal {G}_{bas}$ over
$\operatorname {Spin}(d)$, and obtain a principal
$\operatorname {U}(1)$-bundle
$\mathscr {T}(\mathcal {G}_{bas})$ with fusion product over the loop group
$L\operatorname {Spin}(d)$. Functoriality allows to transgress multiplicativity; thus, what we really obtain is a central extension with a multiplicative fusion product. In fact, it is the basic central extension [Reference WaldorfWal10], and we have proved in [Reference Kristel and WaldorfKW22, Theorem 6.4] that there is even a canonical, fusion-preserving isomorphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn14.png?pub-status=live)
to our operator-theoretic model for the basic central extension of Theorem 4.1.3, equipped with the fusion product $\mu$ of § 4.3. Next, we apply transgression to a string structure
$(\mathcal {S},\mathcal {A},\sigma )$ with a connection. The bundle gerbe
$\mathcal {S}$ transgresses to a principal
$\operatorname {U}(1)$-bundle
$S:= \mathscr {T}(\mathcal {S})$ over
$L\operatorname {Spin}(M)$ equipped with a fusion product. Taking the isomorphism (14) into account, the bundle gerbe morphism
$\mathcal {A}$ transgresses to a fusion-preserving bundle morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU85.png?pub-status=live)
from which one can extract an $\smash {\widetilde {L\operatorname {Spin}}}(d)$-action on
$S$ turning
$S$ into a principal
$\smash {\widetilde {L\operatorname {Spin}}}(d)$-bundle over
$M$. One can then show that
$S$ is a spin structure on
$LM$, and further, that the fusion product on
$S$ turns it into a fusive spin structure. For the details, see [Reference WaldorfWal16a].
Summarizing, a geometric string structure on $M$ (i.e. a string structure with a string connection) induces in a canonical way a fusive spin structure on
$LM$. Thus, our construction of the Connes fusion product on the spinor bundle on loop space, which we describe in the subsequent § 5, applies, in particular, to spin manifolds equipped with a geometric string structure.
5. Fusion in the spinor bundle on loop space
This section contains our main results: we first exhibit the spinor bundle $F^{\mathrm {s}}(LM)$ on loop space as a rigged von Neumann bimodule bundle, and then equip its completion with a Connes fusion product over the fusion of loops. Throughout this section,
$M$ is a spin manifold equipped with a spin structure
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ on its loop space. In § 5.3 we will then require a fusive spin structure.
5.1 The von Neumann algebra bundle over path space
In this section we construct a rigged von Neumann algebra bundle $\mathcal {N}^{\mathrm {s}}$ on the path space
$PM$ of
$M$, which, heuristically, has the property that the algebra
$\mathcal {N}^{\mathrm {s}}_{\beta _{2}}$ sits in the Clifford algebra
$\operatorname {Cl}_{\mathrm {vN}}^\mathrm {s}(LM)_{\beta _{1} \cup \beta _{2}}$ as
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$ sits in
$\operatorname {Cl}(V)^{\mathrm {s}}$, for paths
$(\beta _1,\beta _2)\in PM^{[2]}$. In order to construct
$\mathcal {N}^{\mathrm {s}}$, we start with the underlying rigged C
$^{*}\!$-algebra bundle
$\mathcal {A}^{\mathrm {s}}$. We recall from § 4.3 that we have a Fréchet Lie group homomorphism
$L\operatorname {Spin}(d) \rightarrow \operatorname {O}^{\theta }_L(V)$, which is induced by the pointwise multiplication of
$L\operatorname {SO}(d)$ on
$V$. From § 3.1 we recall that we have a Fréchet Lie group homomorphism
$\operatorname {O}^{\theta }_L(V) \rightarrow \operatorname {O}(V_{-})$. Finally,
$\operatorname {O}(V_{-})$ acts smoothly on
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$, and we thus obtain an induced smooth representation
$L\operatorname {Spin}(d) \times \operatorname {Cl}(V_{-})^{\mathrm {s}} \rightarrow \operatorname {Cl}(V_{-})^{\mathrm {s}}$. This allows us to define, via Lemma 2.2.4, an associated rigged C
$^{*}\!$-algebra bundle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU86.png?pub-status=live)
over $LM$ with typical fibre
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$. Next we consider the diffeological space
$PM$ of paths in
$M$, together with the doubling map
$\Delta : PM \rightarrow LM, \beta \mapsto \beta \cup \beta$, which is well-defined and smooth (see § 4.2). Then, we define the rigged C
$^{*}\!$-algebra bundle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU87.png?pub-status=live)
with typical fibre $\operatorname {Cl}^{\mathrm {s}}(V_{-})$ over
$PM$, as explained in § 2.3.
Remark 5.1.1 Analogous to Remark 4.1.6, our construction of the rigged C$^{*}\!$-algebra bundle
$\mathcal {A}^{\mathrm {s}}$ holds if
$M$ is merely oriented, it neither needs a spin structure on
$M$ nor on
$LM$. The following discussion requires both, however.
We have proved in Lemma 3.2.7 that the inclusion $\iota _{-}: \operatorname {Cl}(V_{-})^{\mathrm {s}} \rightarrow \operatorname {Cl}(V)^{\mathrm {s}},a\mapsto a \otimes \mathbb {1}$ is smooth, and since
$\iota _{-}$ obviously intertwines the
$L\operatorname {Spin}(d)$-actions, we obtain an induced isometric morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn15.png?pub-status=live)
of rigged C$^{*}\!$-algebra bundles over
$LM$. Further, we have considered the induced representation of
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$ on Fock space
$F^{\mathrm {s}}$, turning
$F^{\mathrm {s}}$ into a rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-module. On the level of rigged module bundles, no general induction procedure exists; however, the following result shows that it works in the present case.
Proposition 5.1.2 The restriction of Clifford multiplication $\operatorname {Cl}^{\mathrm {s}}(LM) \times F^{\mathrm {s}}(LM) \to F^{\mathrm {s}}(LM)$ along (15) equips the spinor bundle
$F^{\mathrm {s}}(LM)$ with the structure of a rigged
$\operatorname {Cl}^{\mathrm {s}}_{-}(LM)$-module bundle with typical fibre the rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-module
$F^{\mathrm {s}}$.
Proof. In order to meet the assumptions of Definition 2.2.5, we have to find compatible local trivializations $\Psi$ of
$F^{\mathrm {s}}(LM)$ and
$\Phi$ of
$\operatorname {Cl}^{\mathrm {s}}_{-}(LM)$. As associated bundles, local trivializations can be induced from local trivializations of the underlying principal bundles (Lemmas 2.2.2 and 2.2.4); here,
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ and
$L\operatorname {Spin}(M)$. Let
$\tilde \varphi : U \rightarrow \widetilde {L\operatorname {Spin}}(M)$ be any local section, and let
$\varphi : U\rightarrow L\operatorname {Spin}(M)$ be the local section obtained by composing
$\tilde \varphi$ with the projection
$\smash {\widetilde {L\operatorname {Spin}}}(M) \rightarrow L\operatorname {Spin}(M)$. The corresponding local trivializations of principal bundles induce the following local trivializations of associated bundles:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU88.png?pub-status=live)
It is obvious that these exchange the rigged module structure on the fibres with that on the typical fibre and, hence, are compatible in the sense of Definition 2.2.5.
Again via pullback along the doubling map $\Delta$, we obtain the rigged
$\mathcal {A}^{\mathrm {s}}$-module bundle
$\Delta ^{*}F^{\mathrm {s}}(LM)$, with typical fibre the rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-module
$F^{\mathrm {s}}$. Since the latter is a rigged von Neumann algebra,
$N^{\mathrm {s}}=(\operatorname {Cl}(V_{-})^{\mathrm {s}},F^{\mathrm {s}})$, we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU89.png?pub-status=live)
is a rigged von Neumann algebra bundle over $PM$ with typical fibre
$N^{\mathrm {s}}$ in the sense of Definition 2.2.9. This implies that for each
$\beta \in PM$ the fibre
$\mathcal {N}^{\mathrm {s}}_{\beta }=(\mathcal {A}^{\mathrm {s}}_{\beta },F^{\mathrm {s}}(LM)_{\Delta (\beta )})$, is a rigged von Neumann algebra, and thus induces an ordinary von Neumann algebra
$\mathcal {N}_{\beta } := (\mathcal {N}_{\beta }^{\mathrm {s}})''$, see Remark 2.1.7. Any choice of compatible local trivializations as in Proposition 5.1.2 establishes a normal
$\ast$-isomorphism
$u:\mathcal {N}_{\beta } \to N$ of von Neumann algebras, see Remark 2.2.12. In particular, the von Neumann algebras
$\mathcal {N}_{\beta }$ are type III
$_1$-factors.
5.2 The spinor bundle as a bundle of bimodules
The goal of this section is to exhibit the spinor bundle $F^{\mathrm {s}}(LM)$ as a rigged von Neumann
$\mathcal {N}^{\mathrm {s}}$–
$\mathcal {N}^{\mathrm {s}}$-bimodule bundle. We start fibrewise, and shall, for each loop of the form
$\gamma = \beta _{1} \cup \beta _{2}$, where
$(\beta _1,\beta _2)\in PM^{[2]}$, equip the Fock spaces
$F^{\mathrm {s}}(LM)_{\gamma }$ with representations of the rigged C
$^{*}\!$-algebras
$(\mathcal {A}^{\mathrm {s}}_{\beta _1})^{\operatorname {opp}}$ and
$\mathcal {A}^{\mathrm {s}}_{\beta _2}$. We recall that
$F^{\mathrm {s}}$ is a rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$–
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-bimodule, with representations denoted by
$a_1 \triangleright v \triangleleft a_2$ (Lemma 3.3.3).
Lemma 5.2.1 For each $(\beta _1,\beta _2) \in PM^{[2]}$ and
$\gamma := \beta _1\cup \beta _2$, there exist unique maps
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU90.png?pub-status=live)
with the property that the equations
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU91.png?pub-status=live)
hold for all $(\varphi _1,\varphi _2) \in P\operatorname {Spin}(M)^{[2]}$ lifting
$(\beta _1,\beta _2)$, all
$\tilde \varphi \in \smash {\widetilde {L\operatorname {Spin}}}(M)$ lifting
$\varphi _1\cup \varphi _2$, all
$a \in \operatorname {Cl}(V_{-})^{\mathrm {s}}$ and all
$v \in F^{\mathrm {s}}_{L}$.
Proof. It is clear that the maps are determined uniquely by the given equations, provided that choices of $(\varphi _1,\varphi _2)$ and
$\tilde \varphi$ exist for arbitrary
$(\beta _1,\beta _2)$. To see this, we choose a lift
$\tilde y\in \operatorname {Spin} (M)$ of the initial point
$y:=\beta _1(0)=\beta _2(0)$, and define
$\varphi _1',\varphi _2: [0,\pi ]\to \operatorname {Spin}(M)$ as the horizontal lifts of
$\beta _1,\beta _2$, with respect to some fixed connection and with initial point
$\varphi _1'(0)=\varphi _2(0)=\tilde y$. Since horizontal lifts of constant paths are again constant paths, the lifts
$\varphi '_1$ and
$\varphi _2$ have the same sitting instants as
$\beta _1$ and
$\beta _2$, respectively. Now we let
$g\in \operatorname {Spin} (d)$ be the unique element such that
$\varphi _2(\pi )=\varphi _1'(\pi )g$. Since
$\operatorname {Spin}(d)$ is connected, there exists a path
$\tilde g:[0,\pi ]\to \operatorname {Spin} (d)$ connecting
$e$ with
$g$, and we may choose it with sitting instants. Then,
$\varphi _1 := \varphi _1'\tilde g$ and
$\varphi _2$ form a pair
$(\varphi _1, \varphi _2)\in P\operatorname {Spin}(M)^{[2]}$ as required. Moreover,
$\varphi _1\cup \varphi _2\in L\operatorname {Spin}(M)$, and since
$\smash {\widetilde {L\operatorname {Spin}}}(M)\to L\operatorname {Spin}(M)$ is surjective, a lift
$\tilde \varphi$ exists.
For existence, we have to check that the given equations can be used as definitions, i.e. that they are independent of the involved choices. To see this, we suppose $(\varphi _1',\varphi _2')\in P\operatorname {Spin}(M)^{[2]}$ lifts the same pair
$(\beta _1,\beta _2)$, and
$\tilde \varphi '$ lifts
$\varphi _1'\cup \varphi _2'$. Then, using the pointwise principal actions, we have
$\varphi _i'=\varphi _ig_i$ for
$g_i\in P\operatorname {Spin}(d)$ and
$\tilde \varphi '=\tilde \varphi \tilde g$ for
$\tilde g\in \widetilde {L\operatorname {Spin}}(d)$. By definition of
$\mathcal {A}^{\mathrm {s}}$ and
$F^{\mathrm {s}}(LM)$ as associated bundles, we have
$[\Delta (\varphi _{2}'),a]=[\Delta (\varphi _2),\theta _{\omega _{-}(g_2)}(a)]$ and
$[\tilde \varphi ',v]=[\tilde \varphi,Uv]$, with
$\omega _{-}:P\operatorname {Spin}(d) \to \operatorname {O}(V_{-})$ defined in § 4.3, and
$U:= \tilde \omega (\tilde g)\in \operatorname {Imp}_L^{\theta }(V)$. Thus, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU92.png?pub-status=live)
as intended. In the second step we have used the commutativity of diagram Lemma 4.3.2, together with the fact that Bogoliubov automorphisms are unital. The third step uses Lemma 3.1.1, and the fourth step uses the fact that $U$ implements
$\omega (g_1\cup g_2)$. For
$\rho _2$, we have
$[\Delta (\varphi _{1}'),a] = [\Delta (\varphi _{1}), \theta _{\omega _{-}(g_{1})}(a)]$, and compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU93.png?pub-status=live)
where, in the third step, we have used (9) from [Reference Kristel and WaldorfKW22, Lemma 4.8] together with the obvious identity $\tau (\omega (g_{1}\cup g_{2})) = \omega (g_{2} \cup g_{1})$.
It is clear from the formulas in Lemma 5.2.1 that the maps $(\rho _1)_{\beta _1,\beta _2}$ and
$(\rho _2)_{\beta _1,\beta _2}$ are indeed left actions of
$(\mathcal {A}^{\mathrm {s}}_{\beta _1})^{\operatorname {opp}}$ and
$\mathcal {A}^{\mathrm {s}}_{\beta _2}$, respectively, and that they commute. We remark that it is further true (this follows later from Proposition 5.2.4) that
$F^{\mathrm {s}}(LM)_{\beta _1\cup \beta _2}$ is a rigged
$\mathcal {A}^{\mathrm {s}}_{\beta _2}$–
$\mathcal {A}^{\mathrm {s}}_{\beta _1}$-bimodule in the sense of Definition 2.1.5.
Trying to assemble the maps $(\rho _1)_{\beta _1,\beta _2}$ and
$(\rho _2)_{\beta _1,\beta _2}$ into bundle morphisms, we face the problem that the bundle
$F^{\mathrm {s}}(LM)$ lives over
$LM$, whereas the algebra bundle
$\mathcal {A}^{\mathrm {s}}$ lives over
$PM$. Therefore, we work over the space
$PM^{[2]}$ of pairs of paths with common end points, and work with the pullbacks of bundles to this space, along the following maps.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU94.png?pub-status=live)
We recall from § 2.3 that over the diffeological space $PM^{[2]}$, bundles consist of plot-wise defined bundles, and bundle isomorphisms for the transition of plots. Let
$c:U \to PM^{[2]}$ be a plot. We write
$c_{i} := \Delta \circ p_i \circ c$ for
$i=1,2$ and
$\tilde c:= \cup \circ c$. By definition of the involved diffeologies, the maps
$c_1,c_2,\tilde c: U \to LM$ are smooth maps between (Fréchet) manifolds. The rigged C
$^{*}\!$-algebra bundles
$p_1^{*}\mathcal {A}^{\mathrm {s}}$ and
$p_2^{*}\mathcal {A}^{\mathrm {s}}$, consist of the plot-wise defined rigged C
$^{*}\!$-algebra bundles
$(p_1^{*}\mathcal {A}^{\mathrm {s}})_c=c_1^{*}\operatorname {Cl}^{\mathrm {s}}_-(LM)$ and
$(p_2^{*}\mathcal {A}^{\mathrm {s}})_{c} = c_2^{*}\operatorname {Cl}^{\mathrm {s}}_{-}(LM)$ over
$U$, respectively, and the rigged Hilbert space bundle
$\cup ^{*}F^{\mathrm {s}}(LM)$ consists of the plot-wise defined rigged Hilbert space bundles
$(\cup ^{*}F^{\mathrm {s}}(LM))_c = \tilde c^{*}F^{\mathrm {s}}(LM)$ over
$U$. Moreover, if
$c':U' \to PM^{[2]}$ is another plot, and
$f: U \to U'$ is a smooth map such that
$c' \circ f=c$, then the bundle isomorphisms
$(p_i^{*}\mathcal {A}^{\mathrm {s}})_c \to f^{*}(p_i^{*}\mathcal {A}^{\mathrm {s}})_{c'}$ are the canonical ones obtained from the equality
$c_i=c'_i \circ f$. Similarly, the bundle isomorphism
$(\cup ^{*}F^{\mathrm {s}}(LM))_c \to f^{*}(\cup ^{*}F^{\mathrm {s}}(LM))_{c'}$ is the canonical one obtained from the equality
$\tilde c= \tilde c' \circ f$.
Our goal is to show that the maps of Lemma 5.2.1 equip the rigged Hilbert space bundle $\cup ^{*}F^{\mathrm {s}}(LM))$ over
$PM^{[2]}$ with the structure of a rigged
$p_2^{*}\mathcal {A}^{\mathrm {s}}$–
$p_1^{*}\mathcal {A}^{\mathrm {s}}$-bimodule bundle. We will first discuss the situation on a fixed plot
$c:U \to PM^{[2]}$, and to this end, consider
$x\in U$ and
$(\beta _1,\beta _2) := c(x)$. Then, for the fibres over
$x$ we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU95.png?pub-status=live)
and, similarly,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU96.png?pub-status=live)
Now we see that the maps $(\rho _1)_{\beta _1,\beta _2}$ and
$(\rho _2)_{\beta _1,\beta _2}$ of Lemma 5.2.1 assemble into fibre-preserving maps
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU97.png?pub-status=live)
Lemma 5.2.2 Let $c:U \to PM^{[2]}$ be a plot. The maps
$\rho _{1,c}$ and
$\rho _{2,c}$ equip the rigged Hilbert space bundle
$(\cup ^{*}F^{\mathrm {s}}(LM))_c$ over
$U$ with the structure of a rigged
$(p_2^{*}\mathcal {A}^{\mathrm {s}})_{c}$–
$(p_1^{*}\mathcal {A}^{\mathrm {s}})_{c}$-bimodule bundle with typical fibre the rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$–
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-bimodule
$F^{\mathrm {s}}$.
For the proof of Lemma 5.2.2 we require the following lemma, which delivers us appropriate local trivializations that at each point meet the conditions of Lemma 5.2.1.
Lemma 5.2.3 Each $x\in U$ has an open neighbourhood
$W \subset U$ admitting smooth maps
$\varphi _1,\varphi _2: W \to P\operatorname {Spin}(M)$ and a smooth map
$\tilde \varphi :W \to \widetilde {L\operatorname {Spin}}(M)$, such that
$(\varphi _1(u),\varphi _2(u))\in P\operatorname {Spin}(M)^{[2]}$ for all
$u\in W$, and the diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU98.png?pub-status=live)
is commutative.
Proof. We consider the map $y:U \to M$ sending
$u\in U$ to the common initial point of the pair of paths
$c(u)$. We choose
$W$ such that
$\operatorname {Spin}(M) \to M$ has a section
$\tilde y:W \to \operatorname {Spin}(M)$ along
$y|_W$. As in Lemma 5.2.1, we define
$\varphi _1'(u),\varphi _2(u)\in P\operatorname {Spin}(M)$ as the horizontal lifts of
$(\beta _1,\beta _2):= c(u)$ starting at
$\tilde y(u)$. Since horizontal lifts depend smoothly on the initial condition and on the base path, this yields smooth maps
$\varphi _1',\varphi _2:W \to P\operatorname {Spin}(M)$. The endpoints differ by a smooth map
$g: W \to \operatorname {Spin}(d)$. After shrinking
$W$ further to a contractible set, and since
$\operatorname {Spin}(d)$ is connected,
$g$ is homotopic to the constant map with value
$e\in \operatorname {Spin}(d)$. Such a homotopy
$\tilde g: W \times [0,\pi ] \to \operatorname {Spin}(d)$ can be chosen to have sitting instants for each
$u\in W$; then,
$\varphi _1(u):=\varphi _1'(u)\tilde g(u,-)$ yields a smooth map
$\varphi _1: W \to \operatorname {Spin}(M)$ such that
$\varphi _1,\varphi _2$ have all required properties. Now, the map
$W \to L\operatorname {Spin}(M):u \mapsto \varphi _1(u)\cup \varphi _2(u)$ is smooth, and since
$\widetilde {L\operatorname {Spin}}(M) \to L\operatorname {Spin}(M)$ is a locally trivial bundle, a section
$\tilde \varphi$ exists, possibly after a further shrinking of
$W$.
An immediate consequence of the definitions of the bundles $(p_i^{*}\mathcal {A}^{\mathrm {s}})_c$ and
$(\cup ^{*}F^{\mathrm {s}}(LM))_c$ as (pullbacks of) associated bundles, is that the sections into the corresponding principal bundles obtained from Lemma 5.2.3 induce local trivializations
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn16.png?pub-status=live)
Proof of Lemma 5.2.2 According to Definition 2.2.7, the statement can be proved locally in a neighbourhood of any point $x\in U$. We may assume an open neighbourhood
$V \subset U$ that admits smooth maps
$\varphi _1,\varphi _2: W \to P\operatorname {Spin}(M)$ and
$\tilde \varphi :W \to \widetilde {L\operatorname {Spin}}(M)$ satisfying the conditions in Lemma 5.2.3. Then, we let
$\Phi _1$,
$\Phi _2$, and
$\Psi$ be the local trivializations of (16). Inspecting the definition of
$\rho _{1,c}$ and
$\rho _{2,c}$ in Lemma 5.2.1, we find that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU99.png?pub-status=live)
for all appropriate $a_1\in (p_{1}^{*}\mathcal {A}^{\mathrm {s}})_c$,
$a_2\in (p_{2}^{*}\mathcal {A}^{\mathrm {s}})_c$ and
$v\in (\cup ^{*} F^{\mathrm {s}}(LM))_c$. This proves that
$(\Phi ^1,\Psi )$ and
$(\Phi ^2,\Psi )$ are compatible local trivializations.
Lemma 5.2.2 establishes the plot-wise definition of the rigged $p_2^{*}\mathcal {A}^{\mathrm {s}}$–
$p_1^{*}\mathcal {A}^{\mathrm {s}}$-bimodule bundle
$\cup ^{*}F^{\mathrm {s}}(LM)$; now it remains to assure the correct gluing behaviour for the transition between plots. Thus, suppose
$c:U \to PM^{[2]}$ and
$c':U' \to PM^{[2]}$ are plots, and
$f:U\to U'$ is a smooth map with
$c' \circ f=c$. But the canonical bundle isomorphisms
$(p_i^{*}\mathcal {A}^{\mathrm {s}})_c \to f^{*}(p_i^{*}\mathcal {A}^{\mathrm {s}})_{c'}$ and
$(\cup ^{*}F^{\mathrm {s}}(LM))_c \to f^{*}(\cup ^{*}F^{\mathrm {s}}(LM))_{c'}$ are under the fibre-wise identifications used in the definition of
$\rho _{1,c}$ and
$\rho _{2,c}$ over each point
$x\in U$ the identity maps of
$\operatorname {Cl}^{\mathrm {s}}_{-}(LM)_{\beta _i \cup \beta _i}$ and
$F^{\mathrm {s}}(LM)_{\beta _1\cup \beta _2}$, respectively, where
$(\beta _1,\beta _2):= c(x)$. In particular, they form a unitary intertwiner. This shows the following.
Proposition 5.2.4 The plot-wise bimodule structure of Lemma 5.2.2 exhibits the spinor bundle $\cup ^{*}F^{\mathrm {s}}(LM)$ as a rigged
$p_2^{*}\mathcal {A}^{\mathrm {s}}$–
$p_1^{*}\mathcal {A}^{\mathrm {s}}$-bimodule bundle, with typical fibre the rigged
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$–
$\operatorname {Cl}(V_{-})^{\mathrm {s}}$-bimodule
$F^{\mathrm {s}}$.
The bundle $\mathcal {A}^{\mathrm {s}}$ is a rigged C
$^{*}\!$-algebra bundle; however, in § 5.1 we discussed how to upgrade it to a rigged von Neumann algebra bundle
$\mathcal {N}^{\mathrm {s}}=(\mathcal {A}^{\mathrm {s}}, \Delta ^{*} F^{\mathrm {s}}(LM))$ with typical fibre
$N^{\mathrm {s}}$. Moreover, the typical fibre
$F^{\mathrm {s}}$ of the rigged bimodule bundle
$\cup ^{*}F^{\mathrm {s}}(LM)$ is a rigged von Neumann
$N^{\mathrm {s}}$–
$N^{\mathrm {s}}$-bimodule. Our main result in this section is that these rigged von Neumann structures carry over to the spinor bundle.
Theorem 5.2.5 The spinor bundle on loop space $\cup ^{*}F^{\mathrm {s}}(LM)$ is a rigged von Neumann
$p_2^{*}\mathcal {N}^{\mathrm {s}}$–
$p_1^{*}\mathcal {N}^{\mathrm {s}}$-bimodule bundle with typical fibre the rigged von Neumann
$N^{\mathrm {s}}$–
$N^{\mathrm {s}}$-bimodule
$F^{\mathrm {s}}$.
For the proof, we note the following improvement of Lemma 5.2.3.
Lemma 5.2.6 Let $c:U \to PM^{[2]}$ be a plot. Then, each point
$x\in U$ has an open neighbourhood
$W \subset U$ admitting smooth maps
$\varphi _1,\varphi _2:W \to P\operatorname {Spin}(M)$ and
$\tilde \varphi _1,\tilde \varphi _2,\tilde \varphi : W \to \smash {\widetilde {L\operatorname {Spin}}}(M)$ such that
$\varphi _1$,
$\varphi _2$, and
$\tilde \varphi$ satisfy the conditions of Lemma 5.2.3, and
$\tilde \varphi _i$ lifts
$\Delta \circ \varphi _i:W \to L\operatorname {Spin}(M)$, for
$i=1,2$.
Proof. The additional maps $\tilde \varphi _i$ exist, possibly after a further shrinking of
$W$, since
$\smash {\widetilde {L\operatorname {Spin}}}(M) \to L\operatorname {Spin}(M)$ is a locally trivial principal bundle.
Proof of Theorem 5.2.5 Using Lemma 5.2.6 We obtain the local trivializations $\Phi ^1$ of
$(p_{1}^{*}\mathcal {A}^{\mathrm {s}})_c$,
$\Phi ^2$ of
$(p_{2}^{*}\mathcal {A}^{\mathrm {s}})_c$, and
$\Psi$ of
$(\cup ^{*}F^{\mathrm {s}}(LM))_c$ of (16), and additionally from
$\tilde \varphi _i$, since
$\Delta \circ \varphi _i$ is a section along
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU100.png?pub-status=live)
local trivializations
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU101.png?pub-status=live)
By inspection of the involved formulas, we see that $(\Phi ^{i},\Psi ^{i})$ is the pullback of the compatible local trivializations of Proposition 5.1.2 and, hence, is a compatible local trivialization of
$(p_i^{*}\mathcal {N}^{\mathrm {s}})_c$. Consulting Definition 2.2.13, this proves that
$(\cup ^{*}F^{\mathrm {s}}(LM))_c$ is a rigged von Neumann
$(p_2^{*}\mathcal {N}^{\mathrm {s}})_c$–
$(p_1^{*}\mathcal {N}^{\mathrm {s}})_c$-bimodule bundle. Concerning the transition between plots, there is nothing to add to the argument given in the proof of Proposition 5.2.4.
We recall from § 2.2 that the fibrewise completion of the spinor bundle $F^{\mathrm {s}}(LM)$ results in a continuous Hilbert space bundle over
$LM$, which we denote by
$F(LM)$. The following result follows from Theorem 5.2.5 via the theory of rigged von Neumann algebra bundles developed in § 2.2. First, for each
$(\beta _1,\beta _2)\in PM^{[2]}$ we have by Lemma 2.2.14 that the fibre
$F^{\mathrm {s}}(LM)_{\beta _1\cup \beta _2}$ is a rigged
$\mathcal {N}^{\mathrm {s}}_{\beta _2}$–
$\mathcal {N}^{\mathrm {s}}_{\beta _1}$-bimodule. Lemma 2.1.16 implies then the following result.
Corollary 5.2.7 The completion $F(LM)_{\beta _1\cup \beta _2}$ of each fibre of the spinor bundle on loop space is an
$\mathcal {N}_{\beta _2}$–
$\mathcal {N}_{\beta _1}$-bimodule in the classical von Neumann theoretical sense.
In the next section it will be important to identify the bimodule $F(LM)_{\beta _1\cup \beta _2}$ with the typical fibre bimodule
$F$ in a precise way, using the methods developed in the results above, reduced to a single point. For later reference, we summarize this in the following remark.
Remark 5.2.8 For a pair $(\beta _1,\beta _2)\in PM^{[2]}$ of paths with common endpoints, consider a lift
$(\varphi _1,\varphi _2)\in P\operatorname {Spin}(M)^{[2]}$ and a lift
$\tilde \varphi \in \smash {\widetilde {L\operatorname {Spin}}}(M)$ of
$\varphi _1\cup \varphi _2$. Then, there exist unique isomorphisms
$\phi ^i: \mathcal {N}^{\mathrm {s}}_{\beta _i} \to N^{\mathrm {s}}$ of rigged von Neumann algebras and a unique isometric isomorphism
$\psi : F^{\mathrm {s}}(LM)_{\beta _1\cup \beta _2}\to F^{\mathrm {s}}$ of rigged Hilbert spaces with
$\phi ^i([\Delta \varphi _i,a])=a$ and
$\psi ([\tilde \varphi,v])=v$. Moreover,
$(\phi ^2,\phi ^{1},\psi )$ is an invertible unitary intertwiner from the rigged von Neumann
$p_2^{*}\mathcal {N}^{\mathrm {s}}$–
$p_1^{*}\mathcal {N}^{\mathrm {s}}$-bimodule
$F^{\mathrm {s}}(LM)_{\beta _1\cup \beta _2}$ to the rigged von Neumann
$N^{\mathrm {s}}$–
$N^{\mathrm {s}}$-bimodule
$F^{\mathrm {s}}$ in the sense of Definition 2.1.15. The isomorphisms
$\phi ^i$ induce normal
$\ast$-isomorphisms
$u_i: N_{\beta _i}\to N$ of von Neumann algebras, and by Lemma 2.1.16, the isometric isomorphism
$\psi$ induces a unitary map
$\nu : F^{\mathrm {s}}(LM)_{\beta _1\cup \beta _2} \to F$, such that the triple
$(u_2,u_1,\nu )$ is an intertwiner between the
$\mathcal {N}_{\beta _2}$–
$\mathcal {N}_{\beta _1}$-bimodule
$F(LM)_{\beta _1\cup \beta _2}$ and the
$N$–
$N$-bimodule
$F$.
5.3 Fusion of spinors
The goal of this section is to construct the Connes fusion of spinors on loop space. Now we require $\smash {\widetilde {L\operatorname {Spin}}}(M)$ to be a fusive spin structure on
$LM$ (see Definition 4.4.1). Its fusion product is the essential ingredient to our construction, and will be denoted by
$\lambda$. The main result is the following.
Theorem 5.3.1 Let $(\beta _1,\beta _2,\beta _3)\in PM^{[3]}$ be a triple of paths with common endpoints, let
$\mathcal {N}_{\beta _i}$ be the von Neumann algebras over the paths
$\beta _i$, and let
$F(LM)_{\beta _i\cup \beta _j}$ be the completions of the fibres of the spinor bundle on loop space, viewed as von Neumann
$\mathcal {N}_{\beta _j}$–
$\mathcal {N}_{\beta _i}$-bimodules over the loops
$\beta _i\cup \beta _j$. Then, there exists a unique unitary intertwiner
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU102.png?pub-status=live)
of $\mathcal {N}_{\beta _3}$–
$\mathcal {N}_{\beta _1}$-bimodules, where
$\boxtimes$ is Connes fusion, such that the following condition is satisfied.
For all $(\varphi _1,\varphi _2,\varphi _3)\in P\operatorname {Spin}(M)^{[3]}$ such that
$\varphi _i$ lifts
$\beta _i$, and all
$\tilde \varphi _{12},\tilde \varphi _{23},\tilde \varphi _{13}\in \widetilde {L\operatorname {Spin}}(M)$ such that
$\tilde \varphi _{ij}$ lifts
$\varphi _i\cup \varphi _j$ and such that
$\lambda (\tilde \varphi _{12},\tilde \varphi _{23})=\tilde \varphi _{13}$, the diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn17.png?pub-status=live)
is commutative, where $(u_j,u_i,\nu _{ij})$ are the unitary intertwiners determined by
$\varphi _i$,
$\varphi _j$ and
$\tilde \varphi _{ij}$ as in Remark 5.2.8, and
$\chi$ is the Connes fusion of the free fermions of § 3.3.
Proof. For fixed $\varphi _{i}$ and
$\tilde {\varphi }_{ij}$ as in the theorem statement, there is exactly one map
$\chi _{\beta _{1},\beta _{2},\beta _{3}}$ such that diagram (17) commutes, namely
$\nu _{13}^{-1} \circ \chi \circ \nu _{23} \boxtimes \nu _{12}$. Thus, to prove the theorem, we must prove that: (1) such choices of
$\varphi _{i}$ and
$\tilde {\varphi }_{ij}$ exist; and (2) the resulting map
$\chi _{\beta _{1},\beta _{2},\beta _{3}}$ does not depend on any of these choices.
We start with part (1). We may use Lemma 5.2.1 separately for $(\beta _1,\beta _2)$ and then
$(\beta _2,\beta _3)$ to obtain choices of
$(\varphi _1,\varphi _2)\in P\operatorname {Spin}(M)^{[2]}$ lifting
$(\beta _1,\beta _2)$, and
$(\varphi _2',\varphi _3')\in P\operatorname {Spin}(M)^{[2]}$ lifting
$(\beta _2,\beta _3)$. Since
$\operatorname {Spin}(M)$ is a principal
$\operatorname {Spin}(d)$-bundle, there exists a unique
$g\in P\operatorname {Spin}(d)$ such that
$\varphi _2=\varphi _2' g$. Then,
$(\varphi _2' g,\varphi _3 'g)\in P\operatorname {Spin}(M)^{[2]}$ also lifts
$(\beta _2,\beta _3)$, and with
$\varphi _3 := \varphi _3' g$ we have
$(\varphi _1,\varphi _2,\varphi _3)\in P\operatorname {Spin}(M)^{[3]}$. Now, choices of
$\tilde \varphi _{12}$ and
$\tilde \varphi _{23}$ obviously exist, since
$\widetilde {L\operatorname {Spin}}(M) \to L\operatorname {Spin}(M)$ is surjective, and we set
$\tilde \varphi _{13}:= \lambda (\tilde \varphi _{12},\tilde \varphi _{23})$. This finishes the proof of existence of choices.
We now prove part (2), i.e. $\chi _{\beta _{1},\beta _{2},\beta _{3}}$ does not depend on any of the choices. Indeed, suppose
$(\varphi _1',\varphi _2',\varphi _3')\in P\operatorname {Spin}(M)^{[3]}$ such that
$\varphi _i$ lifts
$\beta _i$, suppose
$\tilde \varphi _{ij}' \in \smash {\widetilde {L\operatorname {Spin}}}(M)$ lift
$\varphi _i'\cup \varphi _j'$ and
$\tilde \varphi _{13}' = \lambda (\tilde \varphi _{12}',\tilde \varphi _{23}')$. Then, there are unique elements
$\tilde g_{12},\tilde g_{23} \in \smash {\widetilde {L\operatorname {Spin}}}(d)$ such that
$\tilde \varphi _{12}' = \tilde \varphi _{12} \cdot \tilde g_{12_{\vphantom{A^{A}}}}$ and
$\tilde \varphi _{23}' = \tilde \varphi _{23} \cdot \tilde g_{23}$. The compatibility between the fusion products
$\mu$ on
$\smash {\widetilde {L\operatorname {Spin}}}(d)$ and
$\lambda$ on
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ in Definition 4.4.1 then implies that
$\tilde \varphi _{13}' = \tilde \varphi _{13} \cdot \mu (\tilde g_{12} \otimes \tilde g_{23})$. We write
$(u_j',u_i',\nu _{ij}')$ for the unitary intertwiners corresponding to
$\tilde \varphi _{ij}'$ and
$\varphi _i'$ according to Remark 5.2.8. Using the definition of
$\nu _{ij}$ and
$\nu _{ij}'$ via
$\tilde \varphi _{ij}$ and
$\tilde \varphi _{ij}'$, respectively, we obtain
$\nu _{12}' = U_{12} \circ \nu _{12}$ and
$\nu _{23}' = U_{23} \circ \nu _{23}$, for the implementers
$U_{12}:= \tilde \omega (\tilde g_{12})$ and
$U_{23}:= \tilde \omega (\tilde g_{23})$ in
$\operatorname {Imp}_L^{\theta }(V)$. By Theorem 4.3.3, we have then
$\nu _{13}' = \hat {\mu }(U_{23},U_{12}) \circ \nu _{13}$, where
$\hat \mu$ denotes the Connes fusion of implementers defined in § 3.4. Using properties and the definition of
$\hat \mu$, and the functoriality of Connes fusion, we compute
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU103.png?pub-status=live)
This proves that one can define $\chi _{\beta _1,\beta _2,\beta _3} := \nu _{13}^{*} \circ \chi \circ (\nu _{23} \boxtimes \nu _{12})$ for arbitrary choices of
$\varphi _i$ and
$\tilde \varphi _{ij}$. It remains to note that this definition indeed yields a unitary intertwiner of
$\mathcal {N}_{\beta _3}$–
$\mathcal {N}_{\beta _1}$-bimodules, as all three components are unitary intertwiners.
The collection $\chi =(\chi _{\beta _1,\beta _2,\beta _3})$ with
$(\beta _1,\beta _2,\beta _3)$ ranging over
$PM^{[3]}$ will be called the Connes fusion product on the spinor bundle the loop space. Its construction proves the conjectured Theorem 1 of [Reference Stolz and TeichnerST05]. In the remainder of this section we derive three fundamental properties.
Proposition 5.3.2 For a path $\beta \in PM$, the
$\mathcal {N}_{\beta }$–
$\mathcal {N}_{\beta }$-bimodule
$F(LM)_{\beta \cup \beta }$ is neutral with respect to Connes fusion. Moreover, if
$(\beta _1,\beta _2)\in PM^{[2]}$, the bimodules
$F(LM)_{\beta _1\cup \beta _2}$ and
$F(LM)_{\beta _2\cup \beta _1}$ are inverses of each other with respect to Connes fusion. In particular,
$F(LM)_{\beta _1\cup \beta _2}$ is a Morita equivalence between the von Neumann algebras
$\mathcal {N}_{\beta _2}$ and
$\mathcal {N}_{\beta _1}$.
Proof. The $\mathcal {N}_{\beta }$–
$\mathcal {N}_{\beta }$-bimodule
$F(LM)_{\beta \cup \beta }$ is a standard form of
$\mathcal {N}_{\beta }$, since it is isomorphic via a unitary intertwiner to the
$N$–
$N$-bimodule
$F$, which is a standard form of
$N$ (Remark 5.2.8 and Proposition 3.3.5). In particular,
$F(LM)_{\beta \cup \beta }$ is neutral with respect to Connes fusion. If
$(\beta _1,\beta _2)\in PM^{[2]}$, then evaluating the Connes fusion product over the triples
$(\beta _1,\beta _2,\beta _1)$ and
$(\beta _2,\beta _1,\beta _2)$ exhibits the bimodules
$F(LM)_{\beta _1\cup \beta _2}$ and
$F(LM)_{\beta _2\cup \beta _1}$ as inverses of each other.
For the second result, we recall that Connes fusion is coherently associative (Proposition A.2.5), which allows us to omit bracketing of multiple Connes fusions.
Proposition 5.3.3 The Connes fusion product on the spinor bundle is associative in the sense that the diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU104.png?pub-status=live)
is commutative for all $(\beta _{1},\beta _{2},\beta _{3},\beta _{4}) \in PM^{[4]}$.
Proof. Let $(\beta _{1},\beta _{2},\beta _{3},\beta _{4}) \in PM^{[4]}$. Iterating the procedure described at the beginning of the proof of Theorem 5.3.1, one can see that there exists
$(\varphi _1,\varphi _2,\varphi _3,\varphi _4)\in P\operatorname {Spin}(M)^{[4]}$ such that
$\varphi _i$ lifts
$\beta _i$. Choose
$\tilde \varphi _{ij} \in \smash {\widetilde {L\operatorname {Spin}}}(M)$ lifting
$\varphi _i\cup \varphi _j$, for
$ij \in \{12,23,34 \}$. Then, we set
$\tilde \varphi _{13} := \lambda (\tilde \varphi _{12} \otimes \tilde \varphi _{23})$,
$\tilde \varphi _{24} := \lambda (\tilde \varphi _{23} \otimes \tilde \varphi _{34})$, and
$\tilde \varphi _{14} := \lambda (\tilde \varphi _{13} \otimes \tilde \varphi _{34})$. Note that by the associativity of the fusion product
$\lambda$ (Definition 4.2.1), we have that
$\tilde \varphi _{14} = \lambda (\tilde \varphi _{12} \otimes \tilde \varphi _{24})$. We let
$(u_j,u_i,\nu _{ij})$ be the unitary intertwiners induced by
$\varphi _i$ and
$\tilde \varphi _{ij}$ according to Remark 5.2.8. We consider the following diagram of unitary isomorphisms.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU105.png?pub-status=live)
The four outer diagrams are commutative by Theorem 5.3.1, using above relations between fusion products of the various $\tilde \varphi _{ij}$. The ones on top and on the left additionally use the functoriality of Connes fusion (Proposition A.2.3). The diagram in the middle is commutative by Lemma 3.3.8; this completes the proof.
The third result concerns the smoothness of the Connes fusion product. Since we have not yet been able to lift Connes fusion to the setting of rigged Hilbert spaces, we cannot claim that the fibre-wise maps $\chi _{\beta _1,\beta _2,\beta _3}$ assemble into a smooth (or only continuous) bundle homomorphism. Instead we will describe smoothness by showing that certain smooth sections are mapped to smooth sections.
We consider the (set-theoretical) bundle $p_{23}^{*}F(LM) \boxtimes p_{12}^{*}F(LM)$ over
$PM^{[3]}$, whose fibre over
$(\beta _1,\beta _2,\beta _3)\in PM^{[3]}$ is the Hilbert space
$F(LM)_{\beta _2\cup \beta _3} \boxtimes _{\mathcal {N}_{\beta _2}} F(LM)_{\beta _1\cup \beta _2}$. The Connes fusion product on the spinor bundle assembles then into a (set-theoretical) bundle morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU106.png?pub-status=live)
over $PM^{[3]}$. We will now specify a natural choice of smooth sections into
$p_{23}^{*}F(LM) \boxtimes p_{12}^{*}F(LM)$. To start with, we recall that a smooth section
$\tilde \varphi :U \to \smash {\widetilde {L\operatorname {Spin}}}(M)$ and a smooth map
$v:U \to F^{\mathrm {s}}$ induce a smooth section
$\sigma _{\tilde \varphi,v}:U \to F^{\mathrm {s}}(LM)$ into the spinor bundle, with
$\sigma _{\tilde \varphi,v}(x)=[\tilde \varphi (x),v(x)]$. Since
$F^{\mathrm {s}}\subset F$ is dense, the image of all such sections is dense in each fibre. The following lemma guarantees that similar local sections exist in a situation appropriate for fusion.
Lemma 5.3.4 Let $(\beta _1,\beta _2,\beta _3):U \to PM^{[3]}$ be a plot. Then, for each
$x\in U$ there exists an open neighbourhood
$W \subset U$ of
$x$, smooth maps
$\varphi _1,\varphi _2,\varphi _3: W \to P\operatorname {Spin}(M)$, and smooth maps
$\tilde \varphi _{12},\tilde \varphi _{23},\tilde \varphi _{13}: W \to \widetilde {L\operatorname {Spin}}(M)$ such that
$(\varphi _1(x),\varphi _2(x),\varphi _3(x))\in P\operatorname {Spin}(M)^{[3]}$ for all
$x\in W$,
$\varphi _i$ lifts
$\beta _i$ for all
$i\in \{1,2,3\}$,
$\tilde \varphi _{ij}$ lifts
$\varphi _i\cup \varphi _j$ for all
$ij\in \{12,23,13\}$, and
$\tilde \varphi _{13}(x)=\lambda (\tilde \varphi _{12}(x),\tilde \varphi _{23}(x))$ for all
$x\in W$.
Proof. As in the proof of Theorem 5.3.1, we apply Lemma 5.2.3 separately to the plots $(\beta _1,\beta _2)$ and
$(\beta _2,\beta _3)$, obtaining smooth maps
$(\varphi _1,\varphi _2)$ and
$(\varphi _2',\varphi _3')$. The difference between
$\varphi _2$ and
$\varphi _2'$ is now a smooth map
$g:W \to P\operatorname {Spin}(d)$ with
$\varphi _2(x)=\varphi _2'(x)g(x)$ for all
$x\in W$. With
$\varphi _3(x):= \varphi _3'(x)g(x)$ we obtain the desired triple
$(\varphi _1,\varphi _2,\varphi _3):W \to P\operatorname {Spin}(M)^{[3]}$. As explained in the proof of Lemma 5.2.3, there exist
$\tilde \varphi _{12}$ and
$\tilde \varphi _{13}$ as claimed. Finally, since the fusion product
$\lambda$ on
$\smash {\widetilde {L\operatorname {Spin}}}(M)$ is a smooth in the sense of Definition 4.2.1, the pointwise definition
$\tilde \varphi _{13}(x):= \lambda (\tilde \varphi _{12}(x),\tilde \varphi _{23}(x))$ yields a smooth map.
In the situation of Lemma 5.3.4, at each point $x\in W$, the elements
$\tilde \varphi _{ij}(x)$ and
$\varphi _i(x)$ induce unitary intertwiners
$(u^2_x,u^1_x,\nu ^{12}_x)$ and
$(u^3_x,u^2_x,\nu ^{23}_x)$ as in Remark 5.2.8. For any smooth map
$v:W \to F^{\mathrm {s}}$, we then obtain a section
$\sigma$ into the bundle
$p_{23}^{*}F(LM) \boxtimes p_{12}^{*}F(LM)$ by setting
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn18.png?pub-status=live)
for all $x\in W$. We will call any section that is locally of this form smooth. Again, since each fibre of the bundle
$p_{23}^{*}F(LM) \boxtimes p_{12}^{*}F(LM)$ is isomorphic to
$F$, the image of all smooth sections is dense. We have the following result.
Proposition 5.3.5 The Connes fusion product $\chi$ on
$F(LM)$ is smooth in the sense that it sends smooth sections to smooth sections.
Proof. Let $\sigma$ be a smooth section. Smoothness of
$\chi \circ \sigma$ can be checked locally on an open set
$W$, on which sections as in Lemma 5.3.4 and a smooth map
$v:W \to F^{\mathrm {s}}$ exist such that (18) holds. The conditions in Lemma 5.3.4 imply that at each
$x\in W$, diagram (17) in Theorem 5.3.1 is commutative, saying that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU107.png?pub-status=live)
Thus, $\sigma |_W$ is (the completion of) the smooth section
$\sigma _{\tilde \varphi _{13},v}:W \to p_{13}^{*}F^{\mathrm {s}}(LM)$ and, hence, smooth.
5.4 The stringor bundle
Given the spinor bundle $F^{\mathrm {s}}(LM)$ on the loop space
$LM$ together with its Connes fusion product, it is possible to assemble a structure that deserves to be called the stringor bundle of the string manifold
$M$ (this terminology is due to Stolz and Teichner [Reference Stolz and TeichnerST05]). While Stolz and Teichner understood the stringor bundle as the pair of the spinor bundle on loop space and its Connes fusion product (both not yet constructed at that time), our aim is to exhibit the stringor bundle as a higher structure on the manifold
$M$, rather than on its loop space.
Suitable for our stringor bundle is the framework of 2-vector bundles. Roughly speaking, a 2-vector bundle is meant to be a bundle version of a 2-vector space, where the bicategory of 2-vector spaces is by definition the bicategory of algebras, bimodules, and intertwiners [Reference Stolz and TeichnerST04, Reference SchreiberSch09]. A comprehensive study of 2-vector bundles can be found in [Reference Kristel, Ludewig and WaldorfKLW21]. Let us first take all algebras and modules to be finite-dimensional and over $\mathbb {C}$. In this setting, a 2-vector bundle over a smooth manifold
$M$ consists of a surjective submersion
$\pi :Y \to M$, for instance, the disjoint union of open sets of a cover, and:
(a) an algebra bundle
$\mathcal {A}$ over
$Y$;
(b) an invertible
$p_2^{*}\mathcal {A}$–
$p_1^{*}\mathcal {A}$-bimodule bundle
$\mathcal {M}$ over the double fibre product
$Y^{[2]}$;
(c) an invertible intertwiner
$\mu : p_{23}^{*}\mathcal {M} \otimes _{p_2^{*}\mathcal {A}} p_{12}^{*}\mathcal {M} \to p_{13}^{*}\mathcal {M}$ of
$p_3^{*}\mathcal {A}$–
$p_1^{*}\mathcal {A}$-bimodule bundles over
$Y^{[3]}$;
such that $\mu$ satisfies an associativity condition over
$Y^{[4]}$.
An example of a 2-vector bundle is a line bundle gerbe; there, the algebra bundle $\mathcal {A}$ is trivial with fibre
$\mathbb {C}$, and the invertible bimodule bundle
$\mathcal {M}$ is just a complex line bundle. A result in bundle gerbe theory is that every bundle gerbe can be obtained, via a procedure called regression, from a line bundle
$\mathcal {L}$ on loop space and a fusion product
$\lambda$ in the sense of Definition 4.2.1, see [Reference WaldorfWal16b, Reference WaldorfWal12b], at least if one allows
$Y$ to be a diffeological space. Namely, one chooses a base point
$x\in M$, and considers
$Y=P_xM$, the diffeological space of smooth paths with sitting instants starting at
$x$, with
$\pi := ev_1$ the end-point evaluation. Then, we have the smooth map
$\cup : P_xM^{[2]} \to LM$ and obtain the line bundle
$\mathcal {M} := \cup ^{*}\mathcal {L}$. The intertwiner
$\mu$ is the restriction of the fusion product
$\lambda$ to
$P_xM^{[3]} \subset PM^{[3]}$; this defines a (diffeological) bundle gerbe over
$M$.
We extend regression to the spinor bundle and its Connes fusion product. Let $M$ be a string manifold with a fixed string structure and a fixed base point
$x\in M$. Then, the stringor 2-vector bundle on
$M$ consists of the following structure.
(a) The diffeological space
$P_xM$ together with the end-point evaluation
$ev_1: P_xM \to M$.
(b) The rigged von Neumann algebra bundle
$\mathcal {N}^{\mathrm {s}}$ over
$P_xM$, obtained as the restriction of the rigged von Neumann algebra bundle constructed in § 5.1 to
$P_xM \subset PM$.
(c) The rigged von Neumann
$p_2^{*}\mathcal {N}^{\mathrm {s}}$–
$p_1^{*}\mathcal {N}^{\mathrm {s}}$-bimodule bundle
$\cup ^{*}F^{\mathrm {s}}(LM)$ over
$P_xM^{[2]}$, constructed in Theorem 5.2.5 and restricted to
$P_xM^{[2]} \subset PM^{[2]}$.
(d) The Connes fusion product
\begin{align*} \chi: p_{23}^{*}\cup^{*}F(LM) \boxtimes_{p_2^{*}\mathcal{N}} p_{12}^{*}\cup^{*}F(LM) \to p_{13}^{*}\cup^{*}F(LM) \end{align*}
$P_xM^{[3]}$, constructed fibrewise in Theorem 5.3.1, which is associative (Proposition 5.3.3).
Though this stringor bundle is a perfectly well-defined structure, we do not yet have a well-defined von Neumann theoretical version of 2-vector bundles, and thus at the moment cannot claim that the stringor bundle is such a 2-vector bundle. To expand on this problem, we remark that there exists a bicategory of von Neumann algebras, bimodules, and intertwiners, with the composition by Connes fusion [Reference BrouwerBro03, Reference Stolz and TeichnerST04]. However, as explained in § 2, a proper discussion of a bundle version requires rigged von Neumann algebras and bimodules. So far we have not been able to lift Connes fusion to the setting of rigged von Neumann bimodules. Thus, we currently do not have a properly defined bicategory of rigged von Neumann algebra bundles, bimodule bundles, and intertwiners, and hence cannot establish the stringor bundle as an object in a corresponding bicategory of ‘rigged von Neumann 2-vector bundles’.
Yet, our stringor bundle realizes another claim of Stolz and Teichner [Reference Stolz and TeichnerST04, Corollary 5.0.4], namely that, after picking a basepoint $x \in M$, a string structure on
$M$ gives rise to a family of von Neumann algebras parameterized by the points of
$M$. For
$y\in M$, we obtain from our stringor bundle a family
$(\mathcal {N}_{\beta })$ of von Neumann algebras, indexed by the set
$P_{x,y}M$ of paths connecting the base point
$x$ with
$y$. Moreover, these von Neumann algebras are pairwise canonically Morita equivalent, via the invertible
$\mathcal {N}_{\beta _1}$–
$\mathcal {N}_{\beta _2}$-bimodule
$F(LM)_{\beta _1\cup \beta _2}$, in a way compatible with triples and quadruples of paths. Such a structure is as good as a single von Neumann algebra; thus, our stringor bundle may be seen as a family of von Neumann algebras parameterized by the points of
$M$, associated to a string structure.
On the other hand, it is clear that the described definition of the stringor bundle is not quite optimal. For example, it depends on the choice of a base point $x$, which is a typical disadvantage of regression. Then, its construction depends rather indirectly on the string structure, and the string 2-group makes no direct appearance. We expect that there will be a more direct construction in the future that will avoid these problems. But even if such a construction is found, we believe that the results of the present article will remain useful, for instance to construct differential operators acting on spinors on loop spaces, whereas no theory of operators acting on sections of 2-vector bundles is available.
Acknowledgements
We would like to thank André Henriques, Bas Janssens, Matthias Ludewig for many discussions, and in particular Peter Teichner for proposing this problem and his encouragement and advice to attack it.
Conflicts of interest
None.
Financial support
This project was funded by the German Research Foundation (DFG) under project code WA 3300/1-1.
Journal information
Compositio Mathematica is owned by the Foundation Compositio Mathematica and published by the London Mathematical Society in partnership with Cambridge University Press. All surplus income from the publication of Compositio Mathematica is returned to mathematics and higher education through the charitable activities of the Foundation, the London Mathematical Society and Cambridge University Press.
Appendix A. Bimodules of von Neumann algebras
A.1 Standard forms of a von Neumann algebra
In this appendix, we recall some facts about standard forms of von Neumann algebras. We first recall the notion of modules of von Neumann algebras. Let $\mathcal {A}_{1}$ and
$\mathcal {A}_{2}$ be von Neumann algebras. A left
$\mathcal {A}_{1}$-module is a Hilbert space
$H$ equipped with a normal (i.e.
$\sigma$-weakly continuous)
$*$-homomorphism
$\mathcal {A}_{1} \rightarrow \mathcal {B}(H)$. We adopt the notation
$a \triangleright v$ for the element
$a \in \mathcal {A}_{1}$ acting on the vector
$v \in H$. A right
$\mathcal {A}_{2}$-module is a Hilbert space
$H$ equipped with a normal
$*$-homomorphism
$\mathcal {A}_{2}^{\text {opp}} \rightarrow \mathcal {B}(H)$ (where
$\mathcal {A}^{\mathrm {opp}}_{2}$ is the opposite algebra of
$\mathcal {A}_{2}$). We adopt the notation
$v \triangleleft a$ for the right action of
$a \in \mathcal {A}_{2}$ on
$v \in H$. An
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule is a Hilbert space
$H$ which is a left
$\mathcal {A}_{1}$-module and at the same time a right
$\mathcal {A}_{2}$-module, such that the left and right actions commute. If
$H$ is an
$\mathcal {A}_1$–
$\mathcal {A}_2$-bimodule, and
$\tilde H$ is an
$\widetilde {\mathcal {A}}_1$–
$\widetilde {\mathcal {A}}_2$-bimodule, then an intertwiner from
$H$ to
$\tilde H$ is a triple
$(f_1,f_2,T)$ consisting of normal
$*$-homomorphisms
$f_1: \mathcal {A}_1\to \widetilde {\mathcal {A}}_1$ and
$f_2: \mathcal {A}_2\to \widetilde {\mathcal {A}}_2$, and of a bounded linear operator
$T: H \to \tilde H$ that intertwines both actions along
$f_1$ and
$f_2$, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU109.png?pub-status=live)
for all $a_1\in \mathcal {A}_1$,
$a_2\in \mathcal {A}_2$, and
$v\in H$. If
$f_1$ and
$f_2$ are identities, we just say that
$T$ is an intertwiner of
$\mathcal {A}_1$–
$\mathcal {A}_2$-bimodules.
Next, we recall the notion of a standard form, see [Reference TakesakiTak10, Chapter IX, Definition 1.13] or [Reference HaagerupHaa75].
Definition A.1.1 A standard form of a von Neumann algebra $\mathcal {A}$ is a quadruple
$(\mathcal {A}, H, J, P )$, where
$H$ is a left
$\mathcal {A}$-module,
$J$ is an anti-linear isometry with
$J^{2} = 1$, and
$P$ is a closed self-dual cone in
$H$, subject to the following conditions:
(i)
$J\mathcal {A}J = \mathcal {A}'$;
(ii)
$JaJ = a^{*}$ for all
$a \in \mathcal {A} \cap \mathcal {A}'$;
(iii)
$J v = v$ for all
$v \in P$;
(iv)
$aJaJP \subseteq P$ for all
$a \in \mathcal {A}$.
The following result, proved in [Reference HaagerupHaa75, Theorem 2.3], tells us that standard forms are unique up to unique isomorphism.
Theorem A.1.2 Suppose that $(\mathcal {A}_{1}, H_{1}, J_{1}, P_{1} )$ and
$(\mathcal {A}_{2}, H_{2}, J_{2}, P_{2} )$ are standard forms, and that
$\pi$ is an isomorphism of
$\mathcal {A}_{1}$ onto
$\mathcal {A}_{2}$. Then, there exists a unique unitary operator
$u$ from
$H_{1}$ onto
$H_{2}$ such that:
(i)
$\pi (a) = uau^{*}$ for all
$a \in \mathcal {A}_{1}$;
(ii)
$J_{2} = u J_{1}u^{*}$;
(iii)
$P_{2} = u P_{1}$.
Let $H$ be a left
$\mathcal {A}$-module. A vector
$\xi \in H$ is called cyclic if
$\mathcal {A} \triangleright \xi$ is dense in
$H$, and it is called separating if the map
$\mathcal {A} \rightarrow H, a \mapsto a \triangleright \xi$ is injective. If a cyclic and separating vector
$\xi \in H$ is given, then one can equip
$H$ with the structure of a standard form of
$\mathcal {A}$, a fact that we make use of in § 3.3. We give the main points of the construction here.
First, we consider the densely defined Tomita operator $S: H \rightarrow H$. It is defined to be the closure of the operator
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU110.png?pub-status=live)
We then write $S = J \Delta ^{1/2}$ for the polar decomposition of
$S$, where
$J$ is an anti-unitary map called the modular conjugation and
$\Delta ^{1/2}$ is a positive unbounded map called the modular operator. A fundamental result of Tomita–Takesaki theory is the following, proven e.g. in [Reference TakesakiTak10, Chapter IX].
Theorem A.1.3 The assignment $a \mapsto Ja^{*}J$ is an anti-isomorphism of von Neumann algebras from
$\mathcal {A}$ onto its commutant
$\mathcal {A}'$.
We define $P\subset H$ to be the closure of
$\{J a J a \triangleright \xi \in H \mid a \in \mathcal {A} \}$. Then,
$P$ is a closed self-dual cone in
$H$. It is proved in [Reference ArakiAra74, Theorem 4] that
$Jv = v$ for all
$v \in P$ and that
$aJaJP \subseteq P$ for all
$a \in \mathcal {A}$. In conclusion, we have the following result.
Proposition A.1.4 The quadruple $(\mathcal {A}, H, J, P)$ is a standard form of
$\mathcal {A}$.
Remark A.1.5 We remark that any standard form $(\mathcal {A},H,J,P)$ of a von Neumann algebra
$\mathcal {A}$ can be equipped with the structure of an
$\mathcal {A}$–
$\mathcal {A}$-bimodule by defining the right action by
$v\triangleleft a := Ja^{*}J \triangleright v$. Theorem A.1.3 readily shows that left and right action commute. Further, in Theorem A.1.2, the triple
$(\pi,\pi,u)$ is automatically a unitary intertwiner of bimodules.
It is well-known that, through the Gelfand–Naimark–Segal (GNS) construction, any normal state on a von Neumann algebra $\mathcal {A}$ produces a representation of
$\mathcal {A}$ which has a cyclic vector. If the state is faithful, then it has a cyclic and separating vector. This construction will be useful later, so we review the main steps now. Let
$\phi : \mathcal {A} \rightarrow \mathbb {C}$ be a faithful and normal state on a von Neumann algebra
$\mathcal {A}$. Then the assignment
$\mathcal {A} \times \mathcal {A} \rightarrow \mathbb {C}, (a,b) \mapsto \phi (b^{*}a)$ is a non-degenerate sesquilinear form on
$\mathcal {A}$. We write
$L^{2}_{\phi }(\mathcal {A})$ for the completion of
$\mathcal {A}$ with respect to this sesquilinear form. The algebra
$\mathcal {A}$ acts from the left on
$L^{2}_{\phi }(\mathcal {A})$ by (the extension of) left multiplication. Clearly the identity
$\mathbb {1} \in \mathcal {A} \subseteq L^{2}_{\phi }(\mathcal {A})$ is a cyclic and separating vector for this left action. It follows that the quadruple
$(\mathcal {A}, L^{2}_{\phi }(\mathcal {A}), J, P )$ is a standard form of
$\mathcal {A}$.
Lemma A.1.6 Let $H$ be a left
$\mathcal {A}$-module, and let
$\xi \in H$ be a cyclic and separating vector. Let
$\phi : \mathcal {A}\rightarrow \mathbb {C}$ be the faithful and normal state
$\phi (a) = \langle a \triangleright \xi, \xi \rangle$. The unitary map
$u: H \rightarrow L^{2}_{\phi }(\mathcal {A})$ from Theorem A.1.2 with respect to
$\pi =1$ is given by the closure of the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU111.png?pub-status=live)
Proof. A straightforward verification shows that $u$ satisfies properties (i)–(iii) from Theorem A.1.2.
A.2 Connes fusion of bimodules
In this appendix we review Connes fusion, and provide results about functoriality and associativity specifically adapted to our situation. Let $\mathcal {A}_{1},\mathcal {A}_{2}$, and
$\mathcal {A}_{3}$ be von Neumann algebras. Let
$H$ be an
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule and let
$K$ be an
$\mathcal {A}_{2}$–
$\mathcal {A}_{3}$-bimodule. In short, the Connes fusion of
$H$ with
$K$ is an
$\mathcal {A}_{1}$–
$\mathcal {A}_{3}$-bimodule
$H \boxtimes _{\phi } K$, which is defined with respect to some faithful and normal state
$\phi : \mathcal {A}_{2} \rightarrow \mathbb {C}$. The result will be, up to unique isomorphism, independent of the state
$\phi$. Our main references are [Reference ThomTho11] and [Reference TakesakiTak10, Chapter IX]. The articles [Reference BrouwerBro03] and [Reference Bartels, Douglas and HenriquesBDH14] provide results similar to ours concerning functoriality and associativity of Connes fusion.
We consider the standard form $L^{2}_{\phi }(\mathcal {A}_{2})$ of
$\mathcal {A}_{2}$ as an
$\mathcal {A}_2$–
$\mathcal {A}_2$-bimodule, as explained in Appendix A.1. We write
$\mathcal {D}(H,\phi ) := \operatorname {Hom}_{-,\mathcal {A}_{2}}(L^{2}_{\phi }(\mathcal {A}_{2}),H)$ for the space of bounded right module maps from
$L^{2}_{\phi }(\mathcal {A}_{2})$ into
$H$. This space is canonically an
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule; explicitly, if
$x \in \mathcal {D}(H,\phi )$,
$v \in L^{2}_{\phi }(\mathcal {A}_{2})$,
$a_{1} \in \mathcal {A}_{1}$ and
$a_{2} \in \mathcal {A}_{2}$, then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU112.png?pub-status=live)
We note that $\mathcal {D}(H,\phi )$ includes into
$H$ as a dense subspace through the map
$x \mapsto x(\mathbb {1})$. This map is, however, not an intertwiner between bimodules on the nose, in fact, one may verify that the right action is twisted by conjugation by the modular operator
$\Delta ^{1/2}$.
There is a canonical $\mathcal {A}_{2}$-valued inner product on
$\mathcal {D}(H, \phi )$, defined as follows. If
$x \in \mathcal {D}(H,\phi )$, then its adjoint, written
$x^{*}$, is an element of
$\operatorname {Hom}_{-,\mathcal {A}_{2}}(H,L^{2}_{\phi }(\mathcal {A}_{2}))$. Hence, if
$x,y \in \mathcal {D}(H,\phi )$, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU113.png?pub-status=live)
There is a canonical isomorphism $p_{\phi }: \operatorname {Hom}_{-,\mathcal {A}_{2}}(L^{2}_{\phi }(\mathcal {A}_{2}),L^{2}_{\phi }(\mathcal {A}_{2})) \rightarrow \mathcal {A}_{2}$, which is determined by the relation
$p_{\phi }(x) \triangleright v = x(v)$, for
$x \in \operatorname {Hom}_{-\mathcal {A}_{2}}(L^{2}_{\phi }(\mathcal {A}_{2}),L^{2}_{\phi }(\mathcal {A}_{2}))$ and
$v \in L^{2}_{\phi }(\mathcal {A}_{2})$. The aforementioned
$\mathcal {A}_{2}$-valued inner product on
$\mathcal {D}(H,\phi )$ is given by
$(x,y) = p_{\phi }(y^{*}x)$. On the algebraic tensor product
$\mathcal {D}(H,\phi ) \otimes K$ we define a (degenerate) sesquilinear form by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU114.png?pub-status=live)
Definition A.2.1 The Connes fusion product $H \boxtimes _{\phi } K$ of
$H$ with
$K$ relative to the faithful and normal state
$\phi$ of
$\mathcal {A}_2$ is the completion of
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU115.png?pub-status=live)
with respect to the inner product $\langle \cdot, \cdot \rangle _{\phi }$, with the left
$\mathcal {A}_1$ action obtained from the
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule structure of
$\mathcal {D}(H,\phi )$, and the right
$\mathcal {A}_3$ action obtained from the
$\mathcal {A}_{2}$–
$\mathcal {A}_{3}$ bimodule structure on
$K$.
The definition above does not treat $H$ and
$K$ on equal footing, the following observation tells us that this is just an artifact of our description. We define
$\mathcal {D}'(K, \phi ) = \operatorname {Hom}_{\mathcal {A}_{2}-}(L^{2}_{\phi }(\mathcal {A}_{2}),K)$ to be the space of bounded left module maps from
$L^{2}_{\phi }(\mathcal {A}_{2})$ into
$K$. We then have that
$\mathcal {D}'(K,\phi )$ includes into
$K$ as a dense subspace, through the map
$x\mapsto x(\mathbb {1})$. Using the canonical isomorphism
$p'_{\phi }: \operatorname {Hom}_{\mathcal {A}_{2}-}(L_{\phi }^{2}(\mathcal {A}_{2}),L_{\phi }^{2}(\mathcal {A}_{2}))\rightarrow \mathcal {A}_{2}$ we define sesquilinear forms on
$H \otimes \mathcal {D}'(K,\phi )$ and on
$\mathcal {D}(H,\phi ) \otimes \mathcal {D}'(K,\phi )$, respectively,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU116.png?pub-status=live)
In [Reference ThomTho11, § 5.2] or [Reference TakesakiTak10, Proposition 3.15 and Definition 3.16] the following is proved.
Lemma A.2.2 The spaces $H \otimes \mathcal {D}'(K,\phi )/ \ker \langle \cdot, \cdot \rangle '_{\phi }$ and
$\mathcal {D}(H,\phi ) \otimes \mathcal {D}'(K,\phi )/\ker \langle \cdot, \cdot \rangle ''_{\phi }$ are dense in
$H \boxtimes _{\phi } K$.
Lemma A.2.2 allows us to identify $H \boxtimes _{\phi } K$ with the completion of
$H \otimes \mathcal {D}'(K,\phi )/\ker \langle \cdot, \cdot \rangle _{\phi }'$, which will be used in Proposition A.2.5 in order to write down the associator for the Connes fusion product in a nice way.
Next is the functoriality of the Connes fusion product. Since we have not seen this written up in the way we need it, we will discuss this in detail. Let $\mathcal {B}_{1}, \mathcal {B}_{2}$ and
$\mathcal {B}_{3}$ be further von Neumann algebras. Let
$H'$ be a
$\mathcal {B}_{1}$–
$\mathcal {B}_{2}$-bimodule and let
$K'$ be a
$\mathcal {B}_{2}$–
$\mathcal {B}_{3}$-bimodule, let
$\nu _{i}:\mathcal {A}_{i} \rightarrow \mathcal {B}_{i}$, for
$i=1,2,3$, be isomorphisms of von Neumann algebras, and let
$\nu _{H}: H \rightarrow H'$ and
$\nu _{K}: K \rightarrow K'$ be unitary maps, such that
$(\nu _1,\nu _2,\nu _H)$ and
$(\nu _2,\nu _3,\nu _K)$ are intertwiners. Let
$\phi ':\mathcal {B}_{2} \rightarrow \mathbb {C}$ be a faithful and normal state. Finally, denote by
$\psi : \mathcal {A}_{2} \rightarrow \mathbb {C}$ the faithful and normal state
$\phi ' \circ \nu _{2}$. Let
$u: L_{\phi }^{2}(\mathcal {A}_{2}) \rightarrow L_{\psi }^{2}(\mathcal {A}_{2})$ be the unitary given by Theorem A.1.2, with
$\pi = \mathbb {1}$.
Proposition A.2.3 Connes fusion is a functor. Explicitly, the homomorphism $\nu _{2}:\mathcal {A}_{2} \rightarrow \mathcal {B}_{2}$ extends to a unitary map
$\overline {\nu }_{2}:L_{\psi }^{2}(\mathcal {A}_{2}) \rightarrow L^{2}_{\phi '}( \mathcal {B}_{2})$ such that
$(\nu _2,\nu _2,\overline {\nu }_2)$ is an intertwiner. Then, the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn19.png?pub-status=live)
induces a unitary map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU117.png?pub-status=live)
such that $(\nu _1,\nu _3,\nu _{H} \boxtimes \nu _{K})$ is an intertwiner. Moreover, the construction of this intertwiner is compatible with composition.
Here, compatibility with composition means the following. Suppose we are given the following further data: von Neumann algebras $\mathcal {C}_{i}$ and von Neumann algebra isomorphisms
$\nu _{i}': \mathcal {B}_{i} \rightarrow \mathcal {C}_{i}$ for
$i=1,2,3$, a
$\mathcal {C}_{1}$–
$\mathcal {C}_{2}$-bimodule
$H''$ and a
$\mathcal {C}_{2}$–
$\mathcal {C}_{3}$-bimodule
$K''$, a faithful and normal state
$\phi '': \mathcal {C}_{2} \rightarrow \mathbb {C}$, and unitary maps
$\nu _{H'}: H' \rightarrow H''$ and
$\nu _{K'}: K' \rightarrow K''$ such that
$(\nu _1',\nu _2',\nu _{H'})$ and
$(\nu _2',\nu _3',\nu _{K'})$ are intertwiners. Then the following diagram commutes.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn20.png?pub-status=live)
Proof of Proposition A.2.3 That $\nu _{2}$ extends to a unitary map follows from the fact that it intertwines the inner product
$\mathcal {A}_{2} \times \mathcal {A}_{2} \rightarrow \mathbb {C}, (a_{1},a_{2}) \mapsto \psi (a_{2}^{*}a_{1})$ with the inner product
$\mathcal {B}_{2} \times \mathcal {B}_{2} \rightarrow \mathbb {C}, (a_{1},a_{2}) \mapsto \phi '(a_{2}^{*}a_{1})$. That
$(\nu _2,\nu _2,\overline {\nu }_2)$ is an intertwiner follows from the fact that
$\nu _{2}$ is a isomorphism, which implies that
$J_{\phi '} = \overline {\nu }_{2} J_{\phi } \overline {\nu }_{2}^{*}$.
To prove that the map $x \otimes v \mapsto \nu _{H} x u^{*} \overline {\nu }_{2}^{*} \otimes \nu _{K}(v)$ induces an isomorphism it suffices to show that it intertwines the inner products. Explicitly, we need to prove that for all
$x \otimes v$ and
$y \otimes w$ in
$\mathcal {D}(H,\phi ) \otimes K$ we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU118.png?pub-status=live)
We start from the left-hand side
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU119.png?pub-status=live)
Hence, it suffices to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn21.png?pub-status=live)
Using the fact that $\nu _{K}$ is an intertwiner along
$\nu _{2}$ we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn22.png?pub-status=live)
Now, we compute the action of the right-hand side of (A.4) on an element $a \in L^{2}_{\psi }(\mathcal {B}_{2})$, using the definitions of
$p_{\phi '}$ and
$p_{\phi }$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU120.png?pub-status=live)
since this holds for all $a$ in
$L^{2}_{\psi }(\mathcal {B}_{2})$ we obtain
$\nu _{2}^{*}( p_{\phi '}( \overline {\nu }_{2} u y^{*}x u^{*} \overline {\nu }_{2}^{*} )) = p_{\phi }(y^{*} x)$. Together with (A.4), this implies (A.3).
Finally, to prove that the diagram (A.2) commutes we shall prove that the following diagram commutes.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU121.png?pub-status=live)
The composition of the arrows on top is the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn23.png?pub-status=live)
where $u': L^{2}_{\phi '}(\mathcal {B}_{2}) \rightarrow L^{2}_{\phi '' \nu _{2}'}(\mathcal {B}_{2})$ is the unitary given by Theorem A.1.2, with
$\pi = \mathbb {1}$. On the other hand, the bottom map is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqn24.png?pub-status=live)
where $u'' : L^{2}_{\phi }(\mathcal {A}_{2}) \rightarrow L^{2}_{\phi '' \nu _{2}' \nu _{2}}(\mathcal {A}_{2})$ is the unitary given by Theorem A.1.2, with
$\pi = \mathbb {1}$. Note that in this expression,
$\overline {\nu }_{2}$ is viewed as an isomorphism from
$L^{2}_{\phi '' \nu _{2}' \nu _{2}}(\mathcal {A}_{2})$ into
$L^{2}_{\phi '' \nu _{2}'}(\mathcal {B}_{2})$ (instead of from
$L^{2}_{\phi ' \nu _{2}}(\mathcal {B}_{2})$ into
$L^{2}_{\phi '}(\mathcal {B}_{2})$ as before). Comparing (A.5) with (A.6), we see that it is sufficient to prove that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU122.png?pub-status=live)
Taking the adjoint on both sides of the equation and cancelling $\overline {\nu }_{2}'$, we see that this is equivalent to
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU123.png?pub-status=live)
One checks that both $u' \overline {\nu }_{2} u$ and
$\overline {\nu }_{2}u''$ are isomorphisms from
$L^{2}_{\phi }(\mathcal {A}_{2})$ into
$L^{2}_{\phi '' \nu _{2}'}(\mathcal {B}_{2})$. We claim that they both satisfy properties (i)–(iii) from Theorem A.1.2, hence that by the uniqueness statement in that theorem we conclude they must be equal. Let us check that they do, in fact, satisfy properties (i)–(iii).
(i) Both maps intertwine the left action along
$\nu _{2}$.
(ii) By construction we have
$\overline {\nu _{2}} u'' J_{\phi } (u'')^{*} \overline {\nu _{2}}^{*} = J_{\phi '' \nu _{2}'} = u' \overline {\nu }_{2} u J_{\phi } u^{*} \overline {\nu }_{2}^{*} (u')^{*}$.
(iii) From Theorem A.1.2 we have that
$uP_{\phi } = P_{\phi ' \nu _{2}}$. Now we argue that
$\overline {\nu }_{2}P_{\phi ' \nu _{2}} = P_{\phi '}$. Let
$J_{\phi ' \nu _{2}} a J_{\phi '\nu _{2}} a \in P_{\phi ' \nu _{2}}$ be arbitrary. Then we compute
\[ \overline{\nu}_{2} J_{\phi' \nu_{2}} a J_{\phi' \nu_{2}} a = \overline{\nu}_{2} J_{\phi' \nu_{2}} \overline{\nu}_{2}^{*} \overline{\nu}_{2} a \overline{\nu}_{2}^{*} \overline{\nu}_{2} J_{\phi'\nu_{2}}\overline{\nu}_{2}^{*} \overline{\nu}_{2} a = J_{\phi'} \nu_{2}(a) J_{\phi'} \overline{\nu}_{2}a, \]
$u'P_{\phi '} = P_{\phi '' \nu _{2}'}$, hence
$u' \overline {\nu _{2}}u P_{\phi } = P_{\phi '' \nu _{2}'}$. A similar argument then shows that
$\overline {\nu }_{2} u'' P_{\phi } = P_{\phi '' \nu _{2}'}$.
This completes the proof.
Remark A.2.4 In [Reference Bartels, Douglas and HenriquesBDH14, Theorem 6.23] a statement more general than Proposition A.2.3 is given, where none of the maps $\nu _{i}$,
$\nu _{H}$, or
$\nu _{K}$ is assumed to be an isomorphism. However, in this more general setting (A.1) does not make sense, and it is this explicit form that we make use of in the main text.
We may specialize Proposition A.2.3 to the case that all isomorphisms $\nu$ are identities, to conclude that for any two faithful and normal states
$\phi, \phi '$ on
$\mathcal {B}_{2}$, there exists a natural isomorphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU125.png?pub-status=live)
The fact that the diagram (A.2) commutes then tells us that these isomorphisms are coherent, which allows to define the Connes fusion product $H \boxtimes _{\mathcal {A}_{2}} K$ as the colimit of
$H \boxtimes _{\phi } K$, where
$\phi$ ranges over all faithful and normal states of
$\mathcal {A}_{2}$. If no state is preferred, then we always refer to this limit, and if later a state is picked, then we have a unique isomorphism. In [Reference TakesakiTak10, Exercise IX.3.8 (p. 210)] another approach to defining a tensor product of bimodules without reference to a state is given.
Proposition A.2.5 Connes fusion is associative. Explicitly, if $H$ is an
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule,
$K$ is an
$\mathcal {A}_{2}$–
$\mathcal {A}_{3}$-bimodule, and
$L$ is an
$\mathcal {A}_{3}$–
$\mathcal {A}_{4}$-bimodule,
$\phi$ is a faithful and normal state on
$\mathcal {A}_{2}$, and
$\psi$ is a faithful and normal state on
$\mathcal {A}_{3}$, then the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU126.png?pub-status=live)
induces a unitary intertwiner
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU127.png?pub-status=live)
of $\mathcal {A}_1$–
$\mathcal {A}_4$-bimodules. Moreover, these intertwiners are natural and satisfy the pentagon identity.
Here, naturality means the following. Let $H,K,L$ be
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-,
$\mathcal {A}_{2}$–
$\mathcal {A}_{3}$-, and
$\mathcal {A}_{3}$–
$\mathcal {A}_{4}$-bimodules respectively, and we let
$H',K',L'$ be
$\mathcal {B}_{1}$–
$\mathcal {B}_{2}$-,
$\mathcal {B}_{2}$–
$\mathcal {B}_{3}$-, and
$\mathcal {B}_{3}$–
$\mathcal {B}_{4}$-bimodules, respectively. Moreover, we consider isomorphisms
$\nu _{i}: \mathcal {A}_{i} \rightarrow \mathcal {B}_{i}$ for
$i=1,2,3,4$, and unitary maps
$\nu _{H}: H \rightarrow H'$,
$\nu _{K}: K \rightarrow K'$ and
$\nu _{L}: L \rightarrow L'$ such that
$(\nu _1,\nu _2,\nu _H)$,
$(\nu _2,\nu _3,\nu _K)$, and
$(\nu _3,\nu _4,\nu _L)$ are intertwiners. Finally, let
$\phi$,
$\psi$,
$\phi '$,
$\psi '$ be faithful and normal states on
$\mathcal {A}_2$,
$\mathcal {A}_3$,
$\mathcal {B}_2$, and
$\mathcal {B}_3$, respectively. Then, naturality means the commutativity of the following diagram.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU128.png?pub-status=live)
Proof of Proposition A.2.5 That the above map indeed induces an isomorphism of bimodules is [Reference TakesakiTak10, Theorem 3.20]. A proof of the pentagon identity can be found in [Reference BrouwerBro03]. Naturality can be proved by a straightforward computation using the explicit forms of the isomorphisms on the appropriate dense subspaces from Propositions A.2.3 and A.2.5
Finally, we discuss the fact that the standard form of a von Neumann algebra is neutral with respect to Connes fusion.
Proposition A.2.6 The $\mathcal {A}_{2}$–
$\mathcal {A}_2$-bimodule
$L^{2}_{\phi }(\mathcal {A}_{2})$ is neutral with respect to Connes fusion. Explicitly, for every
$\mathcal {A}_{2}$–
$\mathcal {A}_{3}$-module
$K$ the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU129.png?pub-status=live)
induces a unitary intertwiner
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU130.png?pub-status=live)
of $\mathcal {A}_2$–
$\mathcal {A}_3$-bimodules. Likewise, for every
$\mathcal {A}_{1}$–
$\mathcal {A}_{2}$-bimodule
$H$, the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU131.png?pub-status=live)
induces a unitary intertwiner
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU132.png?pub-status=live)
of $\mathcal {A}_1$–
$\mathcal {A}_2$-bimodules. Moreover, these maps are natural, and compatible with the associator in the sense that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU133.png?pub-status=live)
Finally, we have $\rho _{L^{2}_{\phi }(\mathcal {A}_{2})} = \lambda _{L^{2}_{\phi }(\mathcal {A}_{2})}$.
Proof. It is straightforward to see that the given maps induce the claimed intertwiners, and that naturality and the compatibility condition is satisfied. For more detail, we refer to [Reference BrouwerBro03], see in particular Proposition 3.5.3 therein. To prove that $\rho _{L^{2}_{\phi }(\mathcal {A}_{2})} = \lambda _{L^{2}_{\phi }(\mathcal {A}_{2})}$ it suffices to prove that the diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU134.png?pub-status=live)
commutes, which follows from the computation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU135.png?pub-status=live)
where $x \in \mathcal {D}(L_{\phi }^{2}(\mathcal {A}_{2}),\phi )$,
$y \in \mathcal {D}'(L_{\phi }^{2}(\mathcal {A}_{2}),\phi )$ and
$\mathbb {1}$ is the unit of
$\mathcal {A}_{2}$.
At the end, we want to transfer the results of Proposition A.2.6 from the canonical standard form to other standard forms. Let $I$ be a left
$\mathcal {A}_2$-module, and let
$\xi \in I$ be a cyclic and separating vector, so that
$I$ becomes a standard form of
$\mathcal {A}_2$, see Proposition A.1.4. Let
$\phi : \mathcal {A}_2\rightarrow \mathbb {C}$ be the faithful and normal state
$\phi (a) = \langle a \triangleright \xi, \xi \rangle$, and consider the corresponding standard form
$L^{2}_{\phi }(\mathcal {A}_2)$. By Theorem A.1.2, both standard forms are isomorphic under a unique isomorphism
$u: I \to L^{2}_{\phi }(\mathcal {A}_2)$, which is by Lemma A.1.6 given by the extension of the map
$a \triangleright \xi \mapsto a$. Further, we recall from Remark A.1.5 that standard forms are
$\mathcal {A}_2$–
$\mathcal {A}_2$-bimodules, and that
$u$ is an intertwiner of
$\mathcal {A}_2$–
$\mathcal {A}_2$-bimodules.
Corollary A.2.7 Let $I$ be a left
$\mathcal {A}_2$-module, and let
$\xi \in I$ be a cyclic and separating vector. Then,
$I$ is neutral with respect to Connes fusion. More explicitly, for every
$\mathcal {A}_2$–
$\mathcal {A}_3$-bimodule
$K$ and every
$\mathcal {A}_1$–
$\mathcal {A}_2$-bimodule
$H$ the unitary intertwiners
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240826122226375-0781:S0010437X24007188:S0010437X24007188_eqnU136.png?pub-status=live)
are natural and compatible with the associator. Moreover, we have $\lambda ^{I}_I=\rho ^{I}_I$.
Proof. Compatibility with the associator follows from the definition of $\lambda _K^{I}$ and
$\rho _H^{I}$ and the naturality of the associator proved in Proposition A.2.5. Naturality and the coincidence
$\lambda ^{I}_I=\rho ^{I}_I$ follow from the naturality of
$\lambda _K$ and
$\rho _H$.