Jones Type Basic Construction on Hopf Spin Models

: Let H be a ﬁnite dimensional C ∗ -Hopf algebra and A the observable algebra of Hopf spin models. For some coaction of the Drinfeld double D ( H ) on A , the crossed product A (cid:111) (cid:92) D ( H ) can deﬁne the ﬁeld algebra F of Hopf spin models. In the paper, we study C ∗ -basic construction for the inclusion A ⊆ F on Hopf spin models. To achieve this, we deﬁne the action α : D ( H ) × F → F , and then construct the resulting crossed product F (cid:111) D ( H ) , which is isomorphic A ⊗ End ( (cid:92) D ( H )) . Furthermore, we prove that the C ∗ -basic construction for A ⊆ F is consistent to F (cid:111) D ( H ) , which yields that the C ∗ -basic constructions for the inclusion A ⊆ F is independent of the choice of the coaction of D ( H ) on A .


Introduction
Quantum chains on one-dimensional lattice have several interesting features, such as the emergence of braid group statistics, integrability, quantum symmetry, and so on, which are impossible in higher dimensions. G-spin quantum chain [1], as the simplest example of lattice field theories, exhibits quantum symmetry described by the quantum double of a finite group G, which generalizes "order×disorder" symmetry of the lattice Ising models. This research has been extended to G-spin models determined by a normal subgroup N [2], where we construct a field algebra on which the symmetry algebra D(N; G) can act and the observable algebra A N arises as the D(N; G)-invariant subalgebra of the field algebra, and then prove a one-to-one correspondence between the minimal central projectors of D(N; G) (which induce the inequivalent representations of D(N; G)) and the inequivalent representations of the observable algebra. Subsequently, we show that the observable algebra can be described as the infinite iterated crossed product [3]. In [4], Nill and Szlachányi generalized the group algebra of a finite group G to arbitrary finite dimensional C * -Hopf algebras H, and also proved that such "Hopf spin models" always have D(H) as a universal localized cosymmetry. This means that, under the assumption of a Haag dual vacuum representation (i.e., absence of spontaneous symmetry breaking), the full superselection structure of these models is precisely created by the irreducible representations of D(H).
In [5], V.F.R. Jones introduced an index for subfactors and he found his celebrated polynomial invariant for knots by using the subfactor theory in [6]. Later, the Jones index theory has been developed by Pimsner and Popa [7], Kosaki [8], Watatani [9], and so on. For example, Pimsner and Popa [7] showed that the Jones index is finite if and only if there exists a Pimsner-Popa basis. Kosaki [8] investigated the index for a conditional expectation of an arbitrary factor onto a subfactor, where he used the spatial theory [10] and the theory on operator-valued weights [11]. Inspired by previous work, Watatani [9] considered the index for a conditional expectation on a C * -algebra, and established a link between transfer in the K-theory of C * -algebras [9,12] and the multiplication map. Based on the quasi-basis, Watatani developed a C * -version of basic construction. As we all know, the basic construction for type II 1 factors has a specific form, since a factor of type II 1 admits a faithful trace that is a state of this kind for which the Gelfand-Naimark-Segal construction (which yields a correspondence between states and cyclic * -representations of C * -algebras) may be performed, while the C * -version of basic construction does not have this form.
The paper studies the C * -basic construction for a pair of C * -algebras on Hopf spin models for a finite dimensional C * -Hopf algebra, and is organized as follows.
In Section 2, we review the definition and properties about Hopf spin models which include the quantum double D(H), the observable algebra A, and the field algebra F . In addition, we briefly describe the C * -basic construction.
In Section 3, we define an action of D(H) on the field algebra F , and then construct the crossed product C * -algebra of F by D(H), which is denoted by F D(H). Moreover, let E be the canonical conditional expectation from the field algebra F onto the observable algebra A; then, there is an isomorphism of the crossed product F D(H) onto the C * -basic construction F , e A C * .

Preliminaries
Let H be a finite dimensional C * -Hopf algebra with its comultiplication∆, counit ε and antipode S. We use Sweedler's notation ∆(a) = a (1) ⊗ a (2) for any a ∈ H. The map (n) : H → H ⊗(n+1) is the composition of n coproducts given by ∆ (n) (a) = a (1) ⊗ a (2) ⊗ · · · ⊗ a (n+1) , since the coproduct is coassociativity, where H ⊗n means the n-fold tensor product of H. We have (Sa (1) )a (2) = a (1) S(a (2) ) = ε(a) for any a ∈ H and S 2 = id. In addition, there is the (normalized) Haar integral h in H, which satisfies ah = ha = ε(a)h for all a ∈ H and ε(h) = 1. In addition, such an h is unique and Throughout this paper, H denotes a finite dimensional C * -Hopf algebra, H op taking the opposite coproduct in H and H the dual C * -Hopf algebra of H. The readers can refer to the standard Hopf algebra theory and notation in [13,14]. We denote elements of H and H by a, b, · · · , and ϕ, ψ, · · · , respectively. The canonical pairing , : H × H → C is given by (a, ϕ) → a, ϕ . There are Hopf module left and right actions of H on H given by Sweedler's arrows: (2) , ϕ a = a, ϕ (1) ϕ (2) .

Definition 1. The quantum double D(H) of H is the bicrossed product of H and H op .
For ϕ ⊗ a, ψ ⊗ b ∈ D(H), the Hopf * -algebra structures are given by Moreover, D(H) is a finite-dimensional Hopf C * -algebra with the unique Haar integral E. Following Nill and Szlachányi [4], we shall recall some definitions about Hopf spin models, such as the observable algebra, the field algebra, and so on. Now, we consider the set of integers Z, which can be regarded as the set of elements of one-dimensional lattice: the odd integers represent links, the even ones represent lattice sites. There are a copy of H on each lattice site and a copy of its dual H on each link. When H and H act on each other in the "natural way", nontrivial commutation relations hold only between adjacent links and sites. Hence, the link-site algebra form the crossed products W ( H) = H H ("Weyl algebras" [15]), and the site-link ones form W (H) = H H. If H = CG for some finite group G, then Hopf spin models reduce to the G-spin models [1].
By A n,m , we denote the unital * -subalgebra which is generated by the C * -algebras A i , n < i < m. Using the C * -inductive limit [4,16], A loc become a C * -algebra A. In general, we call A the observable algebra of Hopf spin models.
There is a coaction ρ of D(H) on the observable algebra A given by the following proposition.
where a ∈ H, ϕ ∈ H. Then, can be extended to a coaction of D(H) on A.
Every comodule algebra action ρ : A → A ⊗ D(H) uniquely determines a module algebra action of the dual D(H) on A given by: for any ξ ∈ D(H), A ∈ A, The following relations can be easily proved: Definition 3. On the Hopf spin models, the field algebra F is defined as the crossed product A D(H) with respect to the coaction ρ of D(H) on A defined in Proposition 1.
In the following, we recall the definition of the C * -basic construction for a pair of C * -algebras A ⊆ B.
Let Γ : B → A be a positive faithful conditional expectation. Then, B A is a pre-Hilbert module over A with an A-valued inner product x, y = Γ(x * y) for any x, y ∈ B. By B, we denote the completion of B A , then B is a Hilbert C * -module over A. Let L A (B) be the set of all (right) A-module homomorphisms on B with adjoints. Then, L A (B) is a C * -algebra with the usual operator norm.
Every b ∈ B is viewed as a left multiplication operator λ(b) in L A (B). Again, the map γ A : B A → B A given by γ A (·) = Γ(·) is bounded and thus can be extended to a bounded linear operator on B. For convenience, we still use the same symbol γ A . Then, γ A is a projection in L A (B), which is called the Jones projection, i.e., γ A = γ 2 A = γ * A . Then, the C * -basic construction B, γ A C * is defined as the closure of the linear span {λ(x)γ A λ(y) ∈ L A (B) : x, y ∈ B}. Lemma 1. The * -homomorphism λ : B → L A (B) and the projection γ A satisfy the following covariant relation:

The C * -Basic Construction on Hopf Spin Models
In this section, we define an action α of D(H) on the field algebra F which is compatible with the algebraic structure of F . Under this action, the fixed point algebra is consistent with the observable algebra A. We then construct the crossed product C * -algebra F D(H) by way of a Hopf module left action α which extends F ≡ F I D(H) , and prove that the C * -basic construction F , e A C * is isomorphic to the crossed product F D(H).

Proposition 2.
The map α defines an action of D(H) on F , which means that α is a bilinear map satisfying the relations: for any X, Y ∈ D(H), (A, ξ), (B, η) ∈ F .
Proof. Now, we prove the last two equalities, while the others are quite elementary and are omitted. As for the fourth equality, we compute Here, we used the dual pairing property. To prove the fifth equation, we can calculate where we used the fact that the coproduct is a * -algebra homomorphism and the definition of * -operation in the dual of a Hopf C * -algebra.
We will consider the D(H)-invariant subalgebra of F in the following. Let One can verify that F D(H) is a C * -subalgebra of the field algebra F , which is consistent with the observable algebra A.   From Proposition 2, we can construct the crossed product C * -algebra F α D(H) (or mostly, simply as F D(H), when the action is understood), whose vector space is F ⊗ D(H) (by (A, ξ) ⊗ X, we denote (A, ξ, X) for simplicity) and multiplication is given by The * -algebra structure on F D(H) is given by This is an algebra with unit (1 A , 1 , X).
Here, we used the property of the Haar integral and the definition of counit in Hopf C * -algebra in moving from the third to the fourth equality.
It is shown that E : F → A is a faithful conditional expectation of index-finite type in [4]. Recall that F is an A-valued inner product module by T, F = E(T * F) for T, F ∈ F . Since every norm bounded A-module map on F can be extended uniquely to the Hilbert A-module F , we denote L A (F ) by the C * -algebra of norm bounded right A-module endomorphisms of F with adjoints, and have The following theorem is our main result of this paper, which is devoted to characterizing the basic constructions F , e A C * associated with the inclusion A ⊆ F . Theorem 1. The C * -basic construction F , e A C * is C * -isomorphic to the crossed product F D(H), that is, Proof. Since E : F → A is a conditional expectation of index-finite type, it follows from [17] that and then, for any (D, ς) ∈ F , In particular, In order to show that Φ is an algebra * -homomorphism, we can compute Here, we used Lemma 1(1) and Proposition 3 (2). Moreover, since E is a self-adjoint idempotent element (see Proposition 3). Hence, Φ is a C * -homomorphism. By Theorem 2.1.7 in [18], Φ is norm-decreasing. Again, Φ is bijective. Then, the open mapping theorem shows that Φ is C * -isomorphic. Hence, the C * -basic construction F , e A C * is C * -isomorphic to the crossed product F D(H).

Remark 2.
(1) By the Takesaki duality theorem [19], F D(H) = (A D(H)) D(H) is isomorphic to A ⊗ End( D(H)), which yields that the C * -basic constructions for the inclusion A ⊆ F is independent of the choice of the field algebra F . Moreover, since the field algebra F is constructed as a crossed product of A with the action of D(H), and any right D(H)-coaction on A can bring about a natural left D(H)-action on A, then the C * -basic constructions for the inclusion A ⊆ F do not depend on the choice of the right D(H)-coaction on A, which is defined in Proposition 1.
(2) Let A(= F 0 ) ⊆ e 1 F (= F 1 ) ⊆ e 2 F 2 ⊆ e 3 F 3 ⊆ · · · . be the tower of the Jones type basic construction associated with the inclusion A ⊆ F with [F : A] = |H| 2 1 F , where F n+2 = F n+1 , e n+2 is the basic construction associated with the inclusion F n ⊆ F n+1 for any n ≥ 0. By induction, we can get the inclusion tower (3) Theorem 1 shows that C * -basic construction F , e A C * is essentially the crossed product, which improves and perfects the theory of Hopf spin models. Let H be the group algebra CG of some finite group G, and it follows from Theorem 1 that C * -basic construction on G-spin models is also the crossed product of the field algebra of G-spin models by the quantum double D(G).
Author Contributions: Writing-original draft, C.T. and X.Q.; Writing-review & editing, W.X. and J.L. All authors have read and agreed to the published version of the manuscript.
Funding: This work is supported by the National Natural Science Foundation of China (Grants Nos. 11701423, 61701343, and 61771294.

Conflicts of Interest:
The authors declare no conflict of interest.