Abstract
We state and prove a general result establishing that T-duality, or the Connes–Thom isomorphism, simplifies the bulk–boundary correspondence, given by a boundary map in K-theory, in the sense of converting it to a simple geometric restriction map. This settles in the affirmative several earlier conjectures of the authors and provides a clear geometric picture of the correspondence. In particular, our result holds in arbitrary spatial dimension, in both the real and complex cases, and also in the presence of disorder, magnetic fields, and H-flux. These special cases are relevant both to string theory and to the study of the quantum Hall effect and topological insulators with defects in condensed matter physics.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction: physical motivation
A succession of insights, starting with Kane–Mele’s invariant [21, 22] and culminating in [14, 24, 52], led to an understanding and classification of topological insulators in terms of K-theory. The connection to K-theory is particularly important in view of earlier rigorous work on the quantum Hall effect [2, 23]. These developments also provided new insight into how the K-theory of bulk and boundary systems are related. For various reasons, it is actually closer to the spirit of condensed matter theory, as well as more flexible and appropriate, to use the more general \(C^*\)-algebraic K-theory rather than the topological version [3]. The availability of \(C^*\)-algebraic machinery also opens the way to describe the same system in different forms, using powerful tools such as T-duality and the closely related Connes–Thom isomorphism. As we explain in this paper, especially in Appendix A, the (topological) T-duality transform used in physical applications is precisely the Connes–Thom isomorphism [7] composed with an isomorphism from an imprimitivity theorem.
While the geometric relationship between bulk and boundary is most simply expressed in position space, the physics of Brillouin zones and Fermi levels is more transparent in momentum space. T-duality is a geometric analogue of the Fourier transform, see Sect. 2. It moves between geometric and physical descriptions similar to the Fourier transform that flips position and momentum space in wave mechanics. A recent series of papers has shown that the rather complicated map relating the K-theory of the physical bulk and boundary algebras of topological insulators transforms under T-duality into the obvious geometrical restriction map [20, 32,33,34]. Schematically, these results say that the following diagram commutes in many examples of physical interest:
Thus, momentum space topological invariants (e.g. as defined over a Brillouin torus) transform isomorphically under T-duality into real (position) spaceFootnote 1 invariants, in such a way that the bulk–boundary homomorphism becomes the simple geometric restriction-to-boundary map.
The main result of this paper is the formalization and conceptual proof of the commutativity of Diagram 1 in a very general setting. This result can then be specialized to analyse the bulk–boundary correspondence in: (1) arbitrary spatial dimensions, (2) in both the real and complex cases, (3) in the presence of disorder and/or magnetic fields, and (4) in the presence of H-flux. We had previously worked in some special subcases in which the groups of topological invariants in all four corners of diagram 1, or at least the interesting ones, are computable; then, commutativity was verified by chasing around the diagram generator-by-generator. Getting a concrete hold of the generators can be very useful when studying particular systems. Nevertheless, there are situations, particularly when disorder is modelled in the mathematical description, in which the relevant topological invariants are not easily computable. Our abstract proof then becomes valuable and represents a significant advance compared to our earlier results.
The physical importance of the first three cases is well known and was also discussed in our earlier papers, so let us briefly elaborate on the fourth case. H-fluxes live in degree-3 cohomology and are important in string theory, although it seldom appears in condensed matter physics. However, as noted in [20], they can be used to describe screw dislocations. More precisely, defects such as screw dislocations break the \({\mathbb {Z}}^{2d+1}\) translation symmetry of the original \((2d+1)\hbox {D}\) Euclidean lattice underlying a \((2d+1)\hbox {D}\) insulator, so that standard constructions like unit cells and Brillouin zones are not available. This means that topological invariants in the presence of defects are not easily defined using standard methods appealing to Bloch theory. We can circumvent this difficulty by requiring the defects to be distributed in a regular manner, allowing us to define topological invariants which are, in a precise sense, deformed versions of the usual ones arising from Bloch theory [20]. Indeed, the nonisotropy introduced by the defects is expected to be reflected in boundary phenomena in the form of gapless modes localized along the dislocations [42] (Fig. 1).
There may be other applications, e.g. Dirac monopoles are known to be described by 3-cocycles [54]. Although monopoles have proved elusive, analogues have been created in condensed matter. Bramwell et al. have detected them through the magnetic Wien effect in spin ices, in particular in single crystals of cubic \(\hbox {Dy}_2\hbox {Ti}_2\hbox {O}_7\), [5], while Ray et al. [43] have produced detailed observations in a \({}^{87}\hbox {Rb}\) Bose–Einstein condensate.
Torsion H-fluxes have appeared in condensed matter in earlier works in slightly different contexts, by Freed–Moore [14] in the presence of symmetry and by Gawedzki [15] who considers the holonomy of a flat gerbe. In our context, possibly nontorsion H-fluxes arise when one takes the partial T-dual, in the fibre direction, of a Heisenberg nilmanifold (associated with screw- dislocated lattices mentioned earlier), which is thought of as a circle bundle over a torus. The T-dual is in this case another torus, with possibly nontorsion H-flux that is explained in Sect. 5. We mention that nontorsion H-fluxes also arise naturally in the recent study of 4D semimetals by the second and third authors of this paper, in [35].
1.1 Outline
Section 2 provides an overview of various T-duality transformations, applied to the bulk–boundary correspondence in a variety of settings. The \(C^*\)-algebras for the bulk and boundary from both the geometrical and physical perspective are defined very generally in Sect. 3. Theorem 3.4 and Corollary 3.5 formalize the commutative diagram 1 in this general setting. The Dixmier–Douady classes, or H-fluxes, provide the main focus in Sect. 4, and we prove our [20, Conjecture 2.1] in Theorem 4.1. Section 5, which contains examples and also generalizations of the discrete Heisenberg groups and Heisenberg nilmanifolds, that play an important role in [20] and often arise as symmetry groups in physical systems. The example of the three-dimensional solvable group is also worked out here. In Sect. 6, we study the bulk–boundary correspondence for the higher-dimensional quantum Hall effect, as well as topological insulators with disorder in both the real and complex cases, generalizing the 2D results of [33] and the higher-dimensional results without disorder in [34]. Appendix A explains why Paschke’s map [37] is essentially the same as the Connes–Thom isomorphism [7], in both the complex and real \(C^*\)-algebra cases. The Paschke map implements a T-duality transformation in 1D, and we derive his explicit formula starting from abstract arguments.
2 Overview of T-duality applied to bulk–boundary correspondence
Formalizing and proving commutativity of Diagram 1 is significant because it
-
rigorously captures the geometric intuition behind the bulk–boundary correspondence;
-
simplifies the complicated (momentum space) boundary map defined at the level of the physical \(C^*\)-algebras of observables;
-
continues to hold even when the momentum space is noncommutative (as in the IQHE), in the presence of disorder [33], in the real case (relevant for time-reversal symmetry), and in the parametrized and twisted setting of [18, 19] (relevant to string theory in the presence of H-flux [4]).
At the mathematical level, the meta-principle expressed by the diagram naturally generalizes a simple phenomenon already present at the level of ordinary Fourier transforms: integration in Fourier space, which can be understood topologically as a push-forward map, picks out the constant Fourier mode, so it is equivalent to the Fourier transform of a “restriction-to-zero” map. A simple example of how the ordinary Fourier transform acts on an integration map goes as follows. Write \((\mathbf{n},n_d)=n\in {\mathbb {Z}}^d\) and let \(\iota \) be the inclusion of \({\mathbb {Z}}^{d-1}\hookrightarrow {\mathbb {Z}}^d\) taking \(\mathbf{n}\mapsto (\mathbf{n},0)\). The Fourier transform, \(\widehat{}:f\mapsto \widehat{f}\), takes a rapidly decreasing function \(f:{\mathbb {Z}}^d\rightarrow {{\mathbb {C}}}\) to a smooth function \(\widehat{f}:\widehat{{\mathbb {Z}}^d}={\mathbb {T}}^d\rightarrow {{\mathbb {C}}}\) and is implemented by the Schwartz kernel \(P(\mathbf{n},\mathbf{k})=e^{2\pi \mathrm{i} \mathbf{n}\cdot \mathbf{k}},\, \mathbf{n}\in {\mathbb {Z}}^d, \mathbf{k}\in {\mathbb {T}}^d\),
Let \(\partial :\widehat{f}\mapsto \partial \widehat{f}\) be integration along the dth circle in \({\mathbb {T}}^d\). This picks out only the part of \(\widehat{f}\) with Fourier coefficient \(n_d=0\), so there is a commutative diagram
where \(\iota ^*\) is simply restriction to \(n_d=0\). Our paper studies, in particular, a very general noncommutative geometry analogue of this phenomenon.
2.1 Physics and geometry of the bulk–boundary correspondence
The bulk–boundary correspondence refers, generally speaking, to the appearance of some boundary-localized phenomenon (e.g. quantized chiral edge currents) inherited from a corresponding bulk phenomenon (e.g. quantized Hall conductance). To account for such a correspondence, one begins a model of the bulk-with-boundary physical system. A natural and powerful method is to use a Toeplitz extension algebra to “glue” together a boundary \(C^*\)-algebra of observables to a bulk \(C^*\)-algebra. Such a construction was used to analyse the bulk–boundary correspondence in the context of the integer quantum Hall effect in [23] and generalized and explained in the monograph [39] and Sect. 2 of [34].
The idea behind the Toeplitz extension can be sketched quite easily. In a lattice model, a bulk Hamiltonian acts on a Hilbert space \(l^2({\mathbb {Z}}^d)\otimes V\), where \({\mathbb {Z}}^d\) labels lattice sites and \(V\cong {{\mathbb {C}}}^N\) captures the internal degrees of freedom. Writing \(U^y, y\in {\mathbb {Z}}^d\) as the shift operators on \(l^2({\mathbb {Z}}^d)\), a lattice model Hamiltonian may be written as \(H=\sum _{y\in {\mathbb {Z}}^d} U^y\otimes W_y\), where \(W_y\) are \(N\times N\) hopping matrices satisfying \(W_y^*=W_{-y}\). Let \(U_i, i=1,\ldots ,d\) denote the unit translation in the ith direction, which together generate an algebra \(C^*({\mathbb {Z}}^d)=C^*(U_i,\ldots ,U_d)\) isomorphic to \(C({\mathbb {T}}^d)\) after Fourier transform. Note that \({\mathbb {T}}^d\) here is a momentum space torus. Then we see that H is a self-adjoint element of some matrix algebra over \(C^*({\mathbb {Z}}^d)\), which we take as the bulk algebra \(\widehat{{\mathcal {B}}}\). If there is a boundary, transverse to the dth direction say, then \(U_d\) needs to be replaced by a unilateral shift \(\widehat{U}_d\) satisfying \(\widehat{U}_d^*\widehat{U}_d=1,\quad \widehat{U}_d\widehat{U}_d^*=1-e,\) where e is projection onto 0 in the dth component. Note that \(\widehat{U}_d\) is no longer unitary but is instead a Toeplitz operator, which together with \(U_1,\ldots ,U_{d-1}\) generates a Toeplitz algebra \({\mathcal {T}}\) as the bulk-with-boundary algebra, instead of \(C^*({\mathbb {Z}}^d)\) as in the bulk algebra. The two-sided ideal of \({\mathcal {T}}\) generated by e is a stabilized version of the algebra \(C^*(U_1,\ldots ,U_{d-1})\) generated by translations parallel to the boundary and is thus identified as the boundary algebra \(\widehat{{\mathcal {E}}}\). In summary, the Toeplitz exact sequence
exhibits the bulk-with-boundary algebra \({\mathcal {T}}\) as an extension of the bulk algebra by the boundary algebra. Associated with this sequence is a Toeplitz index map \(K_\bullet (\widehat{{\mathcal {B}}})\xrightarrow {\partial } K_{\bullet -1}(\widehat{{\mathcal {E}}})\), which maps between the K-theories (topological invariants) of the bulk algebra and the boundary algebra.
If a Hamiltonian has \({\mathbb {Z}}^d\) translational symmetry (e.g. due to a periodic potential provided by an atomic lattice), one traditionally defines bulk/boundary topological invariants in quasi-momentum space \({\mathbb {T}}^d\). Namely, one constructs from a \({\mathbb {Z}}^d\)-symmetric Hamiltonian, Bloch vector bundles of single-electron states over the Brillouin torus \({\mathbb {T}}^d\), which in turn define elements in the K-theory of \({\mathbb {T}}^d\). Such vector bundles correspond to projections in matrix algebras over the bulk algebra \(C^*({\mathbb {Z}}^d)\cong C({\mathbb {T}}^d)\) described earlier, and this extends in K-theory to \(K^{-\bullet }({\mathbb {T}}^d)\cong K_\bullet (C^*({\mathbb {Z}}^d))\), similarly for the boundary algebra. The bulk-to-boundary map \(\partial \) is then essentially an integration (push-forward) map along the projection \({\mathbb {T}}^d\rightarrow {\mathbb {T}}^{d-1}\) [33, 34]. This suggests [as in (2)] that a geometric Fourier transform (T-duality) can turn \(\partial \) into a simple geometric restriction map. In more realistic models that incorporate magnetic fields and disorder, the Brillouin zone may be noncommutative and the analogous construction yields elements in the K-theory of a twisted crossed product by \({\mathbb {Z}}^d\) [3]. For instance, magnetic translations commute only up to a phase determined by the magnetic flux, and they generate a noncommutative torus [2, 23] rather than the commutative algebra \(C^*({\mathbb {Z}}^d)\).
It is therefore customary to start with the physical (momentum space) picture involving \(C^*\)-algebras of observables and then T-dualize to obtain a geometrical picture in real (position) space, but the exposition in this paper is a bit simpler if one starts with the geometric picture. In any case, the intuition behind the bulk–boundary correspondence in physics is largely a geometrical one. For example, in a semi-classical picture of the IQHE, the electrons in the bulk are confined to cyclotron orbits in the plane of the sample due to the applied perpendicular magnetic field [6]. These circular orbits are intercepted by a geometrical boundary, leading to chiral edge currents, see Fig. 2. The chirality of the edge phenomena also highlights a crucial necessary ingredient in modelling bulk–boundary correspondences. Namely, although we are free to define topological invariants for the boundary system considered on its own, it is only from some intrinsic geometrical relationship between the boundary system and the bulk system that we can extract a notion of chirality. Furthermore, not all possible boundary invariants are relevant, but only those which “lift” to an invariant associated with the bulk system. Mathematically, this says that there should be a homomorphism mapping from bulk topological invariants to boundary ones, which need not be surjective or injective, and which is derived in a strong sense from some geometrical data about how the boundary is related to the bulk.
2.1.1 Exact sequences linking bulk and boundary algebras
Geometrically we can visualize the bulk as a sort of finite or semi-infinite closed “cylinder” with cross section the boundary, and the interior of the bulk as the corresponding open cylinder. We denote the \(C^*\)-algebras corresponding to the boundary, the bulk, and the interior as \({\mathcal {E}}\), \({\mathcal {B}}\), and \({\mathcal {I}}\), respectively. (In the simplest cases, they are just the functions on the geometric spaces defined by their spectra.) Then, the interior, \({\mathcal {I}}\), may be considered as the part of the bulk algebra “vanishing” on the boundary, and we have the exact sequence
where \({\mathcal {B}}\longrightarrow {\mathcal {E}}\) is the geometrical restriction-to-boundary map. Standard theory enables us to extract from this short exact sequence, an exact hexagon of the operator algebraic K-groups:
In the settings that we are interested in, the bulk has some \({\mathbb {Z}}\)-symmetry transverse to the boundary, so that transversal shifts do not essentially change the geometry. For instance, one often studies Hamiltonians with the geometrical property of invariance under translations of a lattice (atomic positions) in the bulk of a material. Then, the geometric relationship between the interior and boundary algebras, described in detail in the next section, means that their K-theories differ only by a degree shift, \(K_j({\mathcal {I}}) \cong K_{j+1}({\mathcal {E}})\), so that
From the physical perspective, the bulk and boundary algebras of observables, denoted by \(\widehat{{\mathcal {B}}}\), \(\widehat{{\mathcal {E}}}\), respectively, are the T-duals (Fourier transforms) of their geometric counterparts. (In the simplest cases, this is a “momentum space” perspective.) They are related by the fact that \(\widehat{{\mathcal {B}}}\) and \(\widehat{{\mathcal {E}}}\) fit in an extension,
where \({\mathcal {T}}\) is a Toeplitz-like algebra [53] associated with \(\widehat{{\mathcal {E}}}\) and \(\widehat{{\mathcal {B}}}\) [39]. One can show that the K-theories of \({\mathcal {T}}\) and \(\widehat{{\mathcal {E}}}\) coincide, leading to another similar exact hexagon of K-groups:
As explained in detail in [39], the Toeplitz extension algebra \({\mathcal {T}}\) may be interpreted as the bulk-with-boundary algebra, and the vertical connecting maps \(\partial \) in this diagram may be identified as the physical bulk–boundary homomorphisms.
As we explain in Sect. 3, T-duality simply interchanges the geometric and physical perspectives \({\mathcal {B}}\leftrightarrow \widehat{{\mathcal {B}}}\), \({\mathcal {E}}\leftrightarrow \widehat{{\mathcal {E}}}\). So far we have not said anything detailed about the maps in our exact hexagons, but we shall see that the geometric description is much simpler and that the two hexagons encode the same information. In particular, the bulk–boundary homomorphism \(\partial \) that we are interested in becomes the geometric restriction map under T-duality, as one might expect from heuristics.
The precise K-theory groups that are relevant for a given physical system vary in complexity, and accordingly, there are T-duality transformations of varying intricacy as summarized in Table 1. The first three rows had been dealt with in previous papers [32,33,34]. For example, the 2D/3D Kane–Mele invariants [21, 22] (for systems with fermionic time-reversal symmetry) live in (the reduced part of) \(KQ^0({\mathbb {T}}^d,\varsigma )\cong KR^{-4}({\mathbb {T}}^d,\varsigma )\) with \(d=2,3\), where \(\varsigma \) is the momentum reversal involution \(k\mapsto -k\), while their T-duals live in \(KO^{-1}({\mathbb {T}}^3)\) or \(KO^{-2}({\mathbb {T}}^2)\). The Kitaev Majorana chain [24] invariants (with particle–hole symmetry) are in \(KR^{-2}({\mathbb {T}},\varsigma )\) with T-dual in \(KO^{-1}({\mathbb {T}})\). In this paper, we focus on the last three rows, which subsume the first three.
3 Bulk and boundary algebras
We proceed to construct the bulk and boundary algebras \({\mathcal {E}}, {\mathcal {B}}\), as well as their T-duals \(\widehat{{\mathcal {E}}}, \widehat{{\mathcal {B}}}\), which appear in the long exact sequences (3), (4) in the previous section. Let L, M, and \(N= L\oplus M\) be lattices of maximal rank in the vector spaces \(U\cong {\mathbb {R}}\), \(V\cong {\mathbb {R}}^{d-1}\), and \(W = U\oplus V\cong {\mathbb {R}}^d\), with \(d\ge 1\). W will be associated with the bulk, V with the boundary directions, and \(U\cong {\mathbb {R}}\) with the direction transverse to the boundary.Footnote 2
Usually, it is only the additive group structure of the spaces and lattices, which appears in actions as algebra automorphisms. In all the physical examples that we will consider, \({\mathcal {E}}\) is a \(C^*\)-algebra equipped with commuting actions \(\tau : V\cong {\mathbb {R}}^{d-1}\rightarrow \mathrm{Aut}({\mathcal {E}})\) and \(\alpha : L\cong {\mathbb {Z}}\rightarrow \mathrm{Aut}({\mathcal {E}})\). Physically, \(\tau \) is supposed to encode information about translational symmetries parallel to the boundaryFootnote 3, while \(\alpha \) encodes a transverse L-covariance (e.g. with respect to the position of the boundary). We will often write \(\alpha ^\ell \) for the action of \(\ell \in L \cong {\mathbb Z}\), so that \(\alpha \) will be used both for the action and for its generator.
As already noted, an obvious way to model the interior would be as an open cylinder on the boundary. We make this more precise by taking the interior algebra to be continuous \({\mathcal {E}}\)-valued functions on (0, 1), i.e. \({\mathcal {I}}= C_0((0,1),{\mathcal {E}})\). Reflecting covariance with respect to L, the bulk algebra \({\mathcal {B}}\) is defined to be the induced algebra \(\mathrm{Ind}_L^{U}({\mathcal {E}},\alpha )\), of continuous \({\mathcal {E}}\)-valued functions on U, which satisfy the equivariance condition \(f(u - \ell ) = \alpha ^\ell [f(u)]\) for \(u \in U\), \(\ell \in L\). (\(\ell \) counts the number of lattice spacings in L.)Footnote 4 An equivalent definition of \({\mathcal {B}}\) is as a mapping torus:
There is the obvious inclusion map \(C_0((0,1),{\mathcal {E}}) \overset{i}{\rightarrow } T_\alpha ({\mathcal {E}})\cong \mathrm{Ind}_L^{U}({\mathcal {E}},\alpha )\). There is automatically a translation action \(\tau ^\alpha \) of U on \({\mathcal {B}}= \mathrm{Ind}_L^{U}({\mathcal {E}},\alpha )\), which combines with the action of V on \({\mathcal {E}}\) to give an action of W on \({\mathcal {B}}\). The actions of V and W are used, respectively, to define the T-dual boundary and bulk algebras \(\widehat{{\mathcal {E}}}\) and \(\widehat{{\mathcal {B}}}\).
The basic set-up is summarized as follows:
Basic set-up
-
\(U={\mathbb {R}}\), \(V={\mathbb {R}}^{d-1}\), \(W=U\oplus V={\mathbb {R}}^d\) with standard lattices \(L={\mathbb {Z}}\subset U\), \(M={\mathbb {Z}}^{d-1}\subset V\), \(N={\mathbb {Z}}^d=L\oplus M\subset W\).
-
The geometrical boundary algebra \({\mathcal {E}}\) is a real or complex separable \(C^*\)-algebra.
-
There are commuting continuous homomorphisms \(\tau : V\rightarrow \mathrm{Aut}({\mathcal {E}})\) and \(\alpha : L\rightarrow \mathrm{Aut}({\mathcal {E}})\) where \(\mathrm{Aut}({\mathcal {E}})\) is given the topology of pointwise convergence.
-
The geometrical bulk algebra \({\mathcal {B}}\) is \(\mathrm{Ind}_L^{U}({\mathcal {E}},\alpha )\), and so inherits from \({\mathcal {E}}\) an action \(\tau ^\alpha \times \tau \) of \(W=U\oplus V\cong {\mathbb {R}}^d\).
-
The T-dual boundary algebra is the crossed product \(\widehat{{\mathcal {E}}} :={\mathcal {E}}\rtimes _\tau V\), while the T-dual bulk algebra is \(\widehat{{\mathcal {B}}} :={\mathcal {E}}\rtimes _{\tau ^\alpha \times \tau } W\).
For notational ease, we will sometimes drop the action from the crossed product symbol when it is understood. This basic general set-up will be specialized to physically interesting examples in later sections. Our arguments in this section work equally well for real or complex \({\mathcal {E}}\) with appropriate modifications, so we will proceed with the assumption that all algebras are complex \(C^*\)-algebras, for which there are two complex K-theory groups \(K_\bullet (\cdot ),\,\bullet \in {\mathbb {Z}}_2\).
From the above set-up, we have the “geometric” short exact sequence
where \(\varepsilon : \mathrm{Ind}_{L}^{U}({\mathcal {E}},\alpha ) \rightarrow {\mathcal {E}}\) is just evaluation at 0; in other words, it restricts from the bulk to the boundary (at 0). Both \({\mathcal {I}},{\mathcal {B}}\) inherit actions of V and L from \({\mathcal {E}}\), and, by construction, the maps i and \(\varepsilon \) are equivariant for these actions.
The associated long exact sequence in K-theory is
Since \({\mathcal {I}}\) is isomorphic to the suspension \(S{\mathcal {E}}=C_0({\mathbb {R}},{\mathcal {E}})\) of \({\mathcal {E}}\), their K-groups agree apart from a degree shift. We also write S for the K-theory isomorphisms \(S:K_\bullet (S({\mathcal {E}}))\rightarrow K_{\bullet +1}({\mathcal {E}}),\,\bullet \in {\mathbb {Z}}_2\). With this identification, we can rewrite the diagram and the vertical connecting homomorphisms in the form
where the subscript star indicates the induced maps on K-theory, and \((\alpha (1)^{-1})_*\) has been abbreviated to \(\alpha ^{-1}_*\) (c.f. Exercise 9.K of [53]).
We now take the crossed product of the geometric short exact sequence (6) by V (an exact group), which acts on every term through its action on \({\mathcal {E}}\). As in the basic set-up, we write \(\widehat{{\mathcal {E}}} = {\mathcal {E}}\rtimes V\) for the T-dual boundary algebra. The action \(\alpha \) extends to an action \(\widehat{\alpha }\) on the crossed product \(\widehat{{\mathcal {E}}}\), and \({\mathcal {B}}\rtimes V \cong \mathrm{Ind}_L^U(\widehat{{\mathcal {E}}},\widehat{\alpha })\), since the action \(\tau \) of V on \({\mathcal {E}}\) commutes with that of L. Similarly, \({\mathcal {I}}\rtimes V \cong C_0((0,1),\widehat{{\mathcal {E}}}) \cong S(\widehat{{\mathcal {E}}})\), the suspension, so the effect of applying \(\rtimes V\) to (6) is the short exact sequence
where the maps \(\widehat{i}\) and \(\widehat{\varepsilon }\) extend i and \(\varepsilon \) to the crossed product algebras. We use S again for the K-theory isomorphisms \(S:K_\bullet (S(\widehat{{\mathcal {E}}}))\rightarrow K_{\bullet +1}(\widehat{{\mathcal {E}}}),\, \bullet \in {\mathbb {Z}}_2\).
Proposition 3.1
The K-groups for \(\mathrm{Ind}_L^U(\widehat{{\mathcal {E}}},\widehat{\alpha })\) and \(\widehat{{\mathcal {E}}} = {\mathcal {E}}\rtimes V\) are related by the following long exact sequence
where \(\widehat{j}_*:=\widehat{i}_*\circ S^{-1}\). Moreover, there is a commutative diagram with exact rows:
where \(\phi _V: K_\bullet (*) \mapsto K_{\bullet +d-1}(* \rtimes V)\) denotes the Connes–Thom maps [7] for the various actions of V.
Proof
The first diagram is just the long exact sequence hexagon for (8) with \(K_\bullet (S(\widehat{{\mathcal {E}}}))\) replaced by \(K_{1-\bullet }(\widehat{{\mathcal {E}}})\). The second diagram expresses the fact that the Connes–Thom map is a natural transformation compatible with suspensions [7].
By [36, Theorem 4.1] and Green’s imprimitivity theorem [10, 16], the T-dual bulk algebra \(\widehat{{\mathcal {B}}} = {\mathcal {B}}\rtimes W\) can also be written as
Since the compact operators \({\mathcal {K}}\) do not affect the K-theory, we will regard the Connes–Thom maps \(\phi _U\) as isomorphisms \(K_{\bullet +d-1}(\mathrm{Ind}_L^U(\widehat{{\mathcal {E}}},\widehat{\alpha }))\rightarrow K_{\bullet +d}(\widehat{{\mathcal {E}}}\rtimes _{\widehat{\alpha }} L)\). We also have \(\phi _W=\phi _U\circ \phi _V\).
Theorem 3.2
The physical T-dual bulk algebra \(\widehat{{\mathcal {B}}}\) is stably equivalent to \(\widehat{{\mathcal {E}}}\rtimes _{\widehat{\alpha }} L\), and the physical and geometrical K-groups are related by the commutative diagram:
and the physical Pimsner–Voiculescu (PV) exact sequence:
Proof
The statement about \(\widehat{{\mathcal {B}}}\) follows from (9). The first diagram is a rewriting of the corresponding diagram in Proposition 3.1, after simplifying the suspensions, applying \(\phi _U\) (along with \(\widehat{{\mathcal {B}}}\sim _{\mathrm{stable}}\widehat{{\mathcal {E}}}\rtimes _{\widehat{\alpha }} L\)), and noting that \(\phi _{\widehat{U}}\) (with \(\widehat{U}\) acting dually to the U) is the inverse of \(\phi _U\) by Takai’s duality theorem [51]. The PV exact sequence follows from the lower line of the first diagram. \(\square \)
Remark 3.3
In the case of real \(C^*\)-algebras, \(\phi _{\widehat{U}}\) should be replaced by \(\phi _U^{-1}\) and the hexagons in Theorem 3.2 should be replaced by 24-cyclic long exact sequences.
Taking account of the fact that \(\widehat{{\mathcal {B}}}\) is stably isomorphic to \(\widehat{{\mathcal {E}}}\rtimes L\), the sequence of K-groups in (10) is exactly the same as that in the long exact sequence for the Toeplitz extension sequence, [23, 38]
which was the original one used to derive the PV exact sequence. Explicitly, after identifying the K-theory of \({\mathcal {T}}\) with that of \(\widehat{{\mathcal {E}}}\), the Toeplitz long exact sequence is another PV sequence
where \(\jmath \) is inclusion into the crossed product and \(\partial \) is the connecting boundary map. A natural question is whether the maps in the two hexagons (10) (the “mapping torus PV sequence”) and (11) (the “Toeplitz PV sequence”) also agree, i.e.
where \(\phi _U\) is regarded as \(K_{\bullet +d-1}(\mathrm{Ind}_L^U(\widehat{{\mathcal {E}}},\widehat{\alpha }))\rightarrow K_{\bullet +d}(\widehat{{\mathcal {B}}})\xrightarrow {\sim }K_{\bullet +d}(\widehat{{\mathcal {E}}}\rtimes _{\widehat{\alpha }} L)\).
This question is related to Paschke’s succinct distillation, [37], of a key construction in the proof of Connes–Thom theorem, [7]. Connes had initially shown, using his Thom isomorphism, that the K-theory of a mapping torus for a \({\mathbb {Z}}\)-algebra \({\mathcal {A}}\) is isomorphic to the degree-shifted K-theory of the crossed product of \({\mathcal {A}}\) by \({\mathbb {Z}}\). This led to an alternative derivation of the “mapping torus PV sequence” without recourse to the Toeplitz long exact sequence and is essentially what we used to obtain (10). On the other hand, Paschke constructs explicitly (without using Connes’ Thom isomorphisms), for each \(C^*\)-algebra \({\mathcal {A}}\) with a \(L={\mathbb {Z}}\) action \(\alpha '\), isomorphisms \(\gamma _{\alpha '}^\bullet :K_{\bullet }(\mathrm{Ind}_L^U({\mathcal {A}},\alpha '))\rightarrow K_{\bullet +1}({\mathcal {A}}\rtimes _{\alpha '} L)\) which intertwine the “Toeplitz PV sequence” with the “mapping torus PV sequence”.
Replacing \({\mathcal {A}}\leftrightarrow \widehat{{\mathcal {E}}}\) and \(\alpha '\leftrightarrow \widehat{\alpha }\), the Paschke isomorphisms \(\gamma _{\widehat{\alpha }}^\bullet :K_\bullet (\mathrm{Ind}_L^U(\widehat{{\mathcal {E}}},\widehat{\alpha })) = K_\bullet (T_{\widehat{\alpha }}(\widehat{{\mathcal {E}}}))\rightarrow K_{\bullet +1}(\widehat{{\mathcal {E}}}\rtimes _{\widehat{\alpha }} L)\) are exactly such that \(\widehat{\varepsilon }_*=\partial \circ \gamma _{\widehat{\alpha }}^\bullet \) and \(\gamma _{\widehat{\alpha }}^\bullet \circ \widehat{j}_*=\jmath _*\). In Appendix A, we prove Theorem A.8 which says that Paschke’s intertwining map is exactly the Connes–Thom isomorphism composed with the isomorphism from the imprimitivity theorem; thus, our \(\phi _U\), like \(\gamma _{\widehat{\alpha }}^\bullet \), does indeed satisfy (12). We also rederive Paschke’s explicit formula starting from a simple axiomatic characterization of such maps.
The discussion in this section may be summarized as:
Theorem 3.4
(c.f. [7, 37].) The K-groups for the T-dual boundary algebra \(\widehat{{\mathcal {E}}} = {\mathcal {E}}\rtimes V\) and the T-dual bulk algebra \(\widehat{{\mathcal {B}}} = {\mathcal {B}}\rtimes W\sim _{\mathrm{stable}}\widehat{{\mathcal {E}}}\rtimes _{\widehat{\alpha }} L\) are related by the following Pimsner–Voiculescu sequence
This sequence can either be obtained as the T-dual (under the V action) of the geometric long exact sequence (7), or as the sequence derived from the Toeplitz extension
In particular, we also have:
Corollary 3.5
With the assumptions on \({\mathcal {E}}\) as in the basic set-up, the following diagram commutes,
where \(T_W\) is T-duality with respect to the W action on \({\mathcal {B}}\) and \(T_V\) is T-duality with respect to the V action on \({\mathcal {E}}\), implemented by the Connes–Thom isomorphisms. This shows that T-duality interchanges the geometrical restriction map with the Toeplitz bulk–boundary map.
4 Flux and deformations
To connect these results with [20, Conjecture 2.1], we need to consider K-theory twisted by a Dixmier–Douady 3-form (a H-flux). There, we started with the product bundle \(B=X\times {\mathbb {T}}^d\), on which there is a 3-form H-flux \(H\in H^3(B,{\mathbb {Z}})\). We will assume in this section that X is locally compact second-countable Hausdorff (thus paracompact). We regard B as a trivial principal torus bundle, with a fibrewise action of \({\mathbb {T}}^d=W/N\). The H-twisted K-theory of B can be identified with the K-theory of the associated stable complex continuous-trace algebra \({\mathcal {B}}={CT}(B,H)\) with Dixmier–Douady invariant \(H({\mathcal {B}})=H\), where we recall that \({\mathcal {B}}\) is locally isomorphic to \(C_0(B,{\mathcal {K}})\) but globally twisted according to H. We can dimensionally reduce H by the Künneth theorem, writing \(H=H_1+H_2+H_3\) where
thus the jth component of H has j “legs” on the base X and \(3-j\) “legs” on the fibres \({\mathbb {T}}^d\). Generally, there should also be a \(H_0\) term, but we assume that it vanishes so as to avoid problems with nonassociativity when passing to the T-dual. Note that \(H_3\) is supported entirely on the base, and we use the same symbol whether we regard it as living on X or on a torus bundle over X. As explained in [19] (see also Sect. 5.1.1), \({\mathcal {B}}={CT}(B,H)\) has an action of \(W={\mathbb {R}}^d\) covering the \({\mathbb {T}}^d\) action on B. Its T-dual under this W action is the parametrized deformation quantization \(\widehat{{\mathcal {B}}}={CT}(\widehat{B},H_3)_{\sigma }\), where the T-dual spectrum \(\widehat{B}_{H_2}\) is a \({\mathbb {T}}^d\) bundle over X with Chern class \(H_2\), and \(\sigma \) is the parametrized deformation built out of \(H_1\).
Consider the subtorus \(V/M={\mathbb {T}}^{d-1}\subset W/N\). Under the inclusion \(\iota :E=X\times {\mathbb {T}}^{d-1}\rightarrow X\times {\mathbb {T}}^d=B\), there is a restriction map in twisted K-theory, \(\iota ^*:K^{-\bullet }(B,H)\rightarrow K^{-\bullet }(E,\iota ^* H)\). We can also dimensionally reduce the restricted H-flux
and it is easy to see that \((\iota ^*H)_j=\iota ^*H_j\). The T-dual of \({\mathcal {E}}={CT}(E,\iota ^*H)\) is then \(\widehat{{\mathcal {E}}}={CT}(\widehat{E},H_3)_{\iota ^*\sigma }\), where \(\widehat{E}\) is a \({\mathbb {T}}^{d-1}\) bundle with Chern class \(\iota ^*H_2\) and \(\iota ^*\sigma \) is the restricted deformation parameter associated with \(\iota ^*H_1\). With the dth circle \({\mathbb {T}}^{(d)}\) identified as U / L, we can identify, up to Morita equivalence, \(\widehat{{\mathcal {B}}}={CT}(\widehat{B},H_3)_{\sigma }\) with a crossed product of \(\widehat{{\mathcal {E}}}\) by L [20], and then, there is a PV-boundary map \(\partial :K_\bullet (\widehat{{\mathcal {B}}})\rightarrow K_{\bullet +1}(\widehat{{\mathcal {E}}})\).
The conjecture in [20], written in the above notation, has the condensed form of a commutative diagram
For the full detailed diagram, we write \(\widehat{B}_{H_2}\equiv \widehat{B}\), \(\widehat{E}_{\iota ^*H_2}\equiv \widehat{E}\), and \(q,q_a\) for the respective bundle projections. We also use \(T_d, T_{d-1}\) instead of just T to denote the T-duality transformations with respect to \({\mathbb {T}}^d\) and \({\mathbb {T}}^{d-1}\), respectively. We will now prove our conjecture, which we present as the following theorem:
Theorem 4.1
Let X be a locally compact second-countable Hausdorff space, \(B=X\times {\mathbb {T}}^d, E=X\times {\mathbb {T}}^{d-1}\), \(\iota \) be the inclusion \(E\rightarrow B\), \(H\in H^3(B,{\mathbb {Z}})\), and let the T-dual spectra \(\widehat{B}, \widehat{E}\) be as in the preceding paragraphs. The following diagram commutes,
showing that the bulk–boundary homomorphism \(\partial \) is trivialized by T-duality in this parametrized context.
Proof
Let \(L={\mathbb {Z}}\), \(M={\mathbb {Z}}^{d-1}\), \(N=L\oplus M\) and \(U={\mathbb {R}}\), \(V={\mathbb {R}}^{d-1}\), \(W=U\oplus V\) as before, and \({\mathbb {T}}={\mathbb {T}}^{(d)}=U/L\), \({\mathbb {T}}^{d-1}=V/M\), \({\mathbb {T}}^d=W/N\). By “flux generation” through Corollary 4.3, there is an \(N=L\oplus M\)-action \(\alpha \times \beta \) on an algebra \({\mathcal {X}}\) such that \({CT}(E, \iota ^*H)=\mathrm {Ind}_M^V({\mathcal {X}},\beta )\) and \({CT}(B, H)=\mathrm {Ind}_N^W({\mathcal {X}},\alpha \times \beta )\). Then \({\mathcal {E}}\equiv {CT}(E, \iota ^*H)\) has the usual translation action \(\tau ^\beta \) by V which commutes with \(\alpha \), while \({\mathcal {B}}\equiv {CT}(B, H)\cong \mathrm {Ind}_L^U({\mathcal {E}},\alpha )\); also, \({\mathcal {B}}\) has the translation action \(\tau ^\alpha \times \tau ^\beta \) of W, and evaluation at 0 is the restriction \(\iota ^*\) to \({\mathcal {E}}\). We are thus in the situation of Corollary 3.5, and the commutativity of (13) follows. \(\square \)
Before proving Corollary 4.3, which was used in the proof of the above Theorem, we recall some general facts about the spectra and fluxes of induced algebras under spectrum-preserving actions [40]. By a result of Rosenberg, [47, Corollary 2.2], [12], a spectrum-preserving action of \(N={\mathbb {Z}}^d\) on a continuous-trace algebra \({\mathcal {X}}\) with spectrum X is locally inner, so, for instance, \(n\in N\) is implemented by \(\mathrm{ad}(\rho (n))\) with \(\rho (n)\) unitary on neighbourhoods. Furthermore, the induced algebra is again a continuous-trace algebra with spectrum \(X\times {\mathbb {T}}^d\) as a (trivial) principal \({\mathbb {T}}^d\) bundle, with the induced \({\mathbb {R}}^d\) translation action lifting the \({\mathbb {T}}^d\) action (Proposition 3.2 of [40]). There is also a precise relationship between the Dixmier–Douady invariants (fluxes) for \({\mathcal {X}}\), and the induced algebra given by Proposition 3.4 of [40]. We will only need the special case of a \({\mathbb {Z}}\)-action, which will be iterated.
A spectrum-preserving automorphism \(\alpha \in \mathrm{Aut}_{C_0(X)}({\mathcal {X}})\) on \({\mathcal {X}}\) is not usually globally inner; rather, Phillips and Raeburn gave an exact sequence characterizing this failure when \({\mathcal {X}}\) is stable:
Thus, the class \(\zeta (\alpha ) \in H^2(X,{\mathbb Z})\) measures the obstruction to realizing \(\alpha \) as a global inner automorphism \(\mathrm{ad}(\rho )\). To find \(\zeta (\alpha )\) [41, Theorem 5.42], one chooses an open covering \(\{X_j\}\) for X such that for each \(x\in X_j\) one can write the spectrum-preserving transformation \(\alpha = \alpha (1)\) as \(\mathrm{ad}(\rho _j(x))\). One then finds transition functions between \(\rho _j\) and \(\rho _k\) and proceeds exactly as in the line bundle classification to get the class \(\zeta (\alpha )\in H^2(X,{\mathbb Z})\). In effect, \(\zeta (\alpha )\) is just the Chern class \(c_1({\mathcal {L}})\) of the line bundle \({\mathcal {L}}\) whose fibre over \(x\in X_j\) is just \({\mathbb C}\rho _j(x)\), whose nonzero elements are precisely those implementing \(\alpha \) in \(X_j\), whether unitary or not. (The unitary implementers form a principal U(1)-bundle.) Furthermore, the fluxes \(H({\mathcal {X}})\in H^3(X,{\mathbb {Z}})\) and \(H(\mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}({\mathcal {X}},\alpha ))\in H^3(X\times {\mathbb {T}},{\mathbb {Z}})\) are related by ([40, Corollary 3.5])
where \(\pi _X\) is the projection \(X\times {\mathbb {T}}\rightarrow X\), and z is the generator of \(H^1({\mathbb {T}})\) (the standard volume form \(d\theta \) if we use differential forms).
We will use these results to produce an arbitrary flux \(H\in H^3(X\times {\mathbb {T}}^d,{\mathbb {Z}})\) (with \(H_0=0\)) by inducing from a suitable \(N={\mathbb {Z}}^d\) action on \({\mathcal {X}}\). This gives an explicit construction for the abstract result given in [11] Lemma 8.1. We start with the following three basic ways to “generate flux” by induction.
-
M1:
Let \(f:X\rightarrow {\mathbb {T}}=K({\mathbb {Z}},1)\) be a continuous function representing a class \(\eta \in H^1(X,{\mathbb {Z}})\). Define a \({\mathbb {Z}}^2\) action \(\beta _1\) on \(C_0(X,{\mathcal {K}})\) as follows: the first group generator acts on the copy of \({\mathcal {K}}={\mathcal {K}}(L^2({\mathbb {T}}))\) at x by conjugation by the operator of multiplication by the identity function \({\mathbb {T}}\rightarrow {\mathbb {T}}\); the second generator acts by conjugation by the operator of translation by f(x). These two operators commute up to a scalar, giving a projective representation of \({\mathbb {Z}}^2\), so their adjoint actions on \({\mathcal {K}}\) commute. Then
$$\begin{aligned} \mathrm {Ind}_{{\mathbb {Z}}^2}^{{\mathbb {R}}^2}(C_0(X,{\mathcal {K}}), \beta _1)\cong {CT}(X\times {\mathbb {T}}^2,\,\eta \cup z_1\cup z_2), \end{aligned}$$(15)where \(z_1,z_2\) are the generators of \(H^1({\mathbb {T}}^{(1)},{\mathbb {Z}})\) and \(H^1({\mathbb {T}}^{(2)},{\mathbb {Z}})\), respectively. This is basically the example in Sect. 5 of [30] (see also [31]).
-
M2:
Let \(\mu \in H^2(X,{\mathbb {Z}})\), and let \(\beta _2\in \mathrm{Aut}_{C_0(X)}(C_0(X,{\mathcal {K}}))\) such that \(\zeta (\beta _2)=\mu \). (This exists since \(C_0(X,{\mathcal {K}})\) is stable and \(\zeta \) is surjective.) Then
$$\begin{aligned} \mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}(C_0(X,{\mathcal {K}}), \beta _2)\cong {CT}(X\times {\mathbb {T}},\,z\cup \mu ). \end{aligned}$$(16) -
M3:
Let \(H_3\in H^3(X)\), then the balanced tensor product \(C_0(X,{\mathcal {K}})\otimes _X {CT}(X,H_3)\) still has spectrum X and flux \(H_3\). This is essentially Brauer multiplication (c.f. Sect. 6.1 of [41]).
Recall that \(H^*({\mathbb {T}}^d,{\mathbb {Z}})\) is isomorphic as a graded ring to the exterior algebra (over \({\mathbb {Z}}\)) on d generators \(z_i, i=1,\ldots ,d\), with \(H^1({\mathbb {T}}^{(i)})={\mathbb {Z}}[z_i]\). Thus, we can further decompose each \(H_j\) in \(H=H_1+H_2+H_3\in H^3(X\times {\mathbb {T}}^d,{\mathbb {Z}})\) into a \({\mathbb {Z}}\)-linear combination of elementary tensors:
while \(H_3\) needs no further decomposition. The restrictions \(\iota ^*H_1, \iota ^*H_2\) are given by a similar decomposition except that \(1\le k<l\le d-1\).
Proposition 4.2
(c.f.. 8.1 of [11]) Let \(H\in H^3(X\times {\mathbb {T}}^d,{\mathbb {Z}})\) with vanishing \(H_0\) component, and let \({\mathcal {X}}\) be a stable continuous-trace algebra with spectrum X and flux \(H_3\). There is an action \(\gamma \) of \({\mathbb {Z}}^d\) on \({\mathcal {X}}\) such that \({CT}(X\times {\mathbb {T}}^d, H)\cong \mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal {X}},\gamma )\).
Proof
We may assume that \({\mathcal {X}}\) has a sufficiently large number of balanced tensor product factors \(C_0(X,{\mathcal {K}})\) with \({\mathcal {K}}={\mathcal {K}}(L^2({\mathbb {T}}))\), together with one factor of \({CT}(X,H_3)\) contributing the \(H_3\) flux component. Each flux component of H in (17)–(18) can be produced by defining a suitable action of the generators of \({\mathbb {Z}}^d\) on copies of \(C_0(X,{\mathcal {K}})\) in \({\mathcal {X}}\), using method M1 or M2 above. For example, \(\eta _{kl}\cup z_k\cup z_l\) is produced by letting the kth and lth generators of \({\mathbb {Z}}^d\) act nontrivially only on one \(C_0(X,{\mathcal {K}})\) factor as in M1; similarly, \(z_k\cup \mu _k\) is produced by letting the kth generator act on (a different copy of) \(C_0(X,{\mathcal {K}})\) as in M2. Compose all of these actions for each k to obtain d commuting \({\mathbb {Z}}\) actions on \({\mathcal {X}}\). The result follows from (14), (15), (16), and the fact that inducing from \({\mathbb {Z}}^d\) to \({\mathbb {R}}^d\) is the same as iteratively inducing from \({\mathbb {Z}}\) to \({\mathbb {R}}\). \(\square \)
Corollary 4.3
Let \(H\in H^3(X\times {\mathbb {T}}^d,{\mathbb {Z}})\) with vanishing \(H_0\) component, and let \(\iota \) be the inclusion \(X\times {\mathbb {T}}^{d-1}\rightarrow X\times {\mathbb {T}}^d\). There is an action \(\alpha \times \beta \) of \({\mathbb {Z}}\oplus {\mathbb {Z}}^{d-1}\) on a \(C^*\)-algebra \({\mathcal {X}}\), such that \({CT}(X\times {\mathbb {T}}^{d-1},\iota ^*H)\cong \mathrm {Ind}_{{\mathbb {Z}}^{d-1}}^{{\mathbb {R}}^{d-1}}({\mathcal {X}},\beta )\) and \({CT}(X\times {\mathbb {T}}^d, H)\cong \mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal {X}},\alpha \times \beta )\).
Remark 4.4
The concrete \({\mathbb {Z}}^d\) action \(\gamma \) constructed in Proposition 4.2 can be modified by inner automorphisms of \(C_0(X,{\mathcal {K}})\) without changing the resulting flux of the induced algebra \(\mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal {X}},\cdot )\). If \({CT}(X\times {\mathbb {T}}^d, H)\) is given together with a particular \({\mathbb {R}}^d\)-action covering that on \(X\times {\mathbb {T}}^d\), there is a spectrum-preserving \({\mathbb {Z}}^d\) action \(\gamma '\) on \(C_0(X,{\mathcal {K}})={CT}(X\times \{0\},H|_{X\times \{0\}})\) by restriction, and \(\mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal {X}},\gamma ')\cong {CT}(X\times {\mathbb {T}}^d, H)\) as \({\mathbb {R}}^d\)-algebras [11]. The actions \(\gamma '\) and \(\gamma \) are exterior equivalent, so the crossed products \(C_0(X,{\mathcal {K}})\rtimes _{\gamma '}{\mathbb {Z}}^d\) and \(C_0(X,{\mathcal {K}})\rtimes _{\gamma }{\mathbb {Z}}^d\), which are (Morita equivalent to) the T-duals of \(\mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal {X}},\gamma ')\) and \(\mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal {X}},\gamma )\), are isomorphic.
5 Examples: Heisenberg and solvable groups
Consider \({\mathcal {E}}= \mathrm{Ind}_M^V({\mathcal {X}}, \beta )\), where \({\mathcal {X}}\) is a continuous-trace algebra on X, with spectrum-preserving actions \(\beta \) and \(\alpha \) of M and L, respectively; thus, \({\mathcal {E}}\) is continuous trace with spectrum \(X\times {\mathbb {T}}^{d-1}\). We assume that that the \(H_3\) flux component of \({\mathcal {E}}\) vanishes, and then, \({\mathcal {X}}\) is stably equivalent to \(C_0(X,{\mathcal {K}})\). (The continuous-trace algebras used in Sect. 4 satisfy these conditions, for instance.) The T-dual boundary algebra is then \(\widehat{{\mathcal {E}}} = \mathrm{Ind}_M^V({\mathcal {X}}, \beta )\rtimes V \cong ({\mathcal {X}}\rtimes _\beta M)\otimes {\mathcal {K}}(L^2(V/M))\). The bulk algebra is
and, with \((\alpha \times \beta )(n) = \mathrm{ad}(\rho (n))\) locally, we find Mackey obstructions \(\sigma =\{\sigma _x\}\) which corresponds to an \(H_1\) component of flux. The T-dual bulk algebra is now
and that is Morita equivalent to the sections of a bundle of twisted group C\(^*\)-algebras \(C^*(N,\sigma _x)\) over X (see also Sect. 5.1.1).
The basic example of \(B={\mathbb {T}}^3=S^1\times {\mathbb {T}}^2\), with Dixmier–Douady invariant the volume form, was considered in detail in [20]. In this case, we have \(X = S^1\), \(U \cong V \cong {\mathbb R}\) and \(L \cong M \cong {\mathbb Z}\). The boundary algebra \({\mathcal {E}}\) has spectrum \(E=S^1\times {\mathbb {T}}={\mathbb T}^2\), and there can be no Dixmier–Douady obstruction, since the dimension is less than 3, so it will be Morita equivalent to \(C({\mathbb T}^2)\). The T-dual bulk algebra \(\widehat{{\mathcal {B}}}\) is Morita equivalent to the group \(C^*\)-algebra of a discrete Heisenberg group, which can be viewed geometrically as a bundle of noncommutative tori over \(S^1\). The T-dual boundary algebra \(\widehat{{\mathcal {E}}}\) is the group \(C^*\)-algebra of a \({\mathbb {Z}}^2\) subgroup of the Heisenberg group and is isomorphic to the algebra of functions on a 2-torus dual to \({\mathbb T}^2\).
Section outline Section 5.1 contains some generalities about multipliers on \({\mathbb {Z}}^d\) and \({\mathbb {R}}^d\) and their relationship to (abstract) Heisenberg groups. It may be skipped to get directly to Sect. 5.2, which deals with concrete generalizations of the above basic example to higher dimensions. A new analogous example involving the solvable group is then given in Sect. 5.3.
5.1 Universal Heisenberg groups and algebras
As in [20], we note that the principal role of X here is to parametrize the \({\mathrm {U}}(1)\)-valued multipliers (or 2-cocycles) of N. Now the cohomology class \([\sigma ]\in H^2(G,{\mathbb {T}})\) of a single multiplier \(\sigma \) on a separable locally compact abelian group G is characterized by the antisymmetric bicharacter \(\widetilde{\sigma }(g_1,g_2) = \sigma (g_1,g_2)/\sigma (g_2,g_1)\), [17, 26]. Note that if \(\sigma \) is already an antisymmetric bicharacter, then \(\widetilde{\sigma }=\sigma ^2\).
For a vector group W, we can write the bicharacter as \(\widetilde{\sigma } = \exp (2\pi is)\), where s is a skew-symmetric bilinear form, which can be thought of as a linear functional \(s\in \wedge ^2\widehat{W}\) on the antisymmetric tensors \(\wedge ^2W\) such that \(s(w_1\wedge w_2) = s(w_1,w_2)\in {\mathbb R}\); thus, \(H^2(W,{\mathbb {T}})\cong \wedge ^2\widehat{W}\). Each class \([\sigma ]\in H^2(W,{\mathbb {T}})\) has a representative multiplier \(\widetilde{\sigma }^{\frac{1}{2}}={\mathrm{exp}}(\pi i s)\), which is also an antisymmetric bicharacter, corresponding to the skew-symmetric form \((w_1,w_2)\mapsto \frac{1}{2} s(w_1, w_2)\).
The Schur multiplier (or Moore representation group) is a “universal” central extension, from which all others can be obtained, which in this case is a central extension of W by \(\wedge ^2W\), given by the exact sequence
It is a generalized (real) Heisenberg group, \(\hbox {Heis}(W) = W\times \wedge ^2W\) whose product can be given explicitly as
Each \(s\in \wedge ^2\widehat{W}\) determines a central extension \({\mathrm{Heis}}_s(W)\) of W by \({\mathbb {R}}\): take \(W\times {\mathbb R}\) with product
Let \(K_s\) be the kernel of s. The following commutative diagram with exact rows and columns (for nonzero s) shows how this relates to (19):
Although ks and s define different group extensions, up to isomorphism \({\mathrm{Heis}}_s(W)\) is independent of which nonzero multiple of s has been chosen. If we took ks instead of s, then the map \((w,p) \mapsto (w,kp)\) gives an isomorphism of \(\hbox {Heis}_s(W)\) and \(\hbox {Heis}_{ks}(W)\) as groups.
Just as for vector groups W, the cohomology classes \([\sigma ]\) of multipliers for the lattice group \(N\subset W\) are parametrized by the antisymmetric bicharacter \(\widetilde{\sigma }(n,n^\prime ) = \sigma (n,n^\prime )/ \sigma (n^\prime ,n)\), and we can write \(\widetilde{\sigma }={\mathrm{exp}}(2\pi is)\) for some skew-symmetric \(s\in \wedge ^2 \widehat{W}\) as before. Those s which restrict to integer-valued forms on \(\wedge ^2 N\subset \wedge ^2 W\) give trivial multipliers for N, and they form a lattice \((\wedge ^2 N)^\perp \) in \(\wedge ^2 \widehat{W}\), so we have \(H^2(N,{\mathbb {T}})\cong \wedge ^2\widehat{W}/(\wedge ^2N)^\perp \cong \wedge ^2\widehat{N}\).
Remark 5.1
Simply choosing \(\sigma ^\prime = \widetilde{\sigma }^{\frac{1}{2}}\) as a representative multiplier for the class labelled by \(\widetilde{\sigma }\) can lead to discontinuities when dealing with parametrized multipliers. For example, when \(m,n \in N = {\mathbb Z}^2\), and \(X = S^1\) (identified with complex numbers unit modulus), the family of multipliers \(\{\sigma _x\}_x\in S^1\) with \(\sigma _x(m,n) = x^{m_1n_2}\) gives \(\widetilde{\sigma }_x(m,n) = x^{m_1n_2-n_1m_2}\). We could take the pointwise representative multipliers to be \(\sigma ^\prime _x(m,n) = x^{\frac{1}{2}(m_1n_2-n_1m_2)}\), but \(x^{\frac{1}{2}}\) is discontinuous, unless lifted to a double cover. We give a construction of representative multipliers in Appendix B which avoids this problem.
The Schur multiplier for N is a discrete Heisenberg group \(\hbox {Heis}(N)\), which is a central extension
with the multiplication rule
The central extensions of N by \({\mathbb {Z}}\) are classified by \(H^2(N,{\mathbb {Z}})\cong (\wedge ^2 N)^\perp \), and a cohomology class can be labelled by a homomorphism \(s:\wedge ^2 N\rightarrow {\mathbb {Z}}\). Unlike the vector group case, s need not be surjective onto \({\mathbb {Z}}\). For example, s and ks have the same kernel \(K_s\) for any \(0\ne k\in {\mathbb {Z}}\), but they have different images in \({\mathbb {Z}}\). This has consequences for the resulting group extensions \({\mathrm{Heis}}_s(N)\), which are defined as the central extensions
with multiplication
Instead of (20), we have the commuting diagram
As an example, take \(N = {\mathbb Z}^d\times {\mathbb Z}^d\) and we write \(n = (a,b) \in {\mathbb Z}^d\times {\mathbb Z}^d\). The standard integer Heisenberg group \({\mathrm{Heis}}_{s_0}(N)\) is given by \(s_0((a_1,b_1),(a_2,b_2)) = a_1\cdot b_2 \in {\mathbb Z}\). It has a faithful representation, the standard representation, given by
For a nonzero integer k, the central extension \({\mathrm{Heis}}_{ks_0}(N)\) is not isomorphic as a group to \({\mathrm{Heis}}_{s_0}(N)\). But if we rescale to
there is an isomorphism \(\psi _k:{\mathrm{Heis}}_{s_0}(N) \rightarrow k^{-1}{\mathrm{Heis}}_{ks_0}(N)\) given by \(\psi _k(n,c) = (k^{-1}n,k^{-1}c)\), since
We can also consider \({\mathrm{Heis}}_{s_0}(k^{-1}N)\) for the rescaled lattice \(k^{-1}N = \{w\in W: kw \in N\}\), which is
with multiplication
where the centre is now \(k^{-2}{\mathbb {Z}}\) since \(s_0:\wedge ^2(k^{-1}N)\rightarrow k^{-2}{\mathbb {Z}}\). Then, we also have \(\hbox {Heis}_{s_0}(N) \cong {\mathrm{Heis}}_{s_0}(k^{-1}N)\), with isomorphism \(\phi _k\) given by \(\phi _k(n,c) = (k^{-1}n,k^{-2}c)\).
We have therefore proved the following:
Theorem 5.2
With the above notation, we have isomorphisms
From this we deduce that \({\mathrm{Heis}}_{ks_0}(N)\) is isomorphic to \(k{\mathrm{Heis}}_{s_0}(k^{-1}N)\), whose elements are \(k(k^{-1}n,k^{-2}c) = (n,k^{-1}c)\). This enables us to construct a matrix representation of \(\hbox {Heis}_{ks_0}({\mathbb Z}^{2d})\) [20], from the standard representation \(\pi \) of \({\mathrm{Heis}}_{s_0}({\mathbb Z}^{2d})\): writing \(n = (a,b) \in {\mathbb Z}^d\times {\mathbb Z}^d\) and \(s_0((a_1,b_1),(a_2,b_2)) = a_1\cdot b_2\) as before, we obtain the faithful representation
of \(\hbox {Heis}_{ks_0}({\mathbb Z}^{2d})\).
With the concrete realizations (22)–(23), it is easy to see that there is an exact sequence
5.1.1 Geometric picture of Heisenberg-type algebras
We can understand \({\mathrm{Heis}}(N)\) more geometrically by analysing the characters of its centre \(\wedge ^2 N\), which is \(H^2(N,{\mathbb {T}})\cong \wedge ^2 \widehat{N}\cong \wedge ^2 {\mathbb {T}}^d\). Then \(C^*({\mathrm{Heis}}(N))\) is, after stabilization, a “universal bundle” \({\mathscr {A}}\) of noncommutative tori over \(\wedge ^2 {\mathbb {T}}^d\) — the fibre over \(\Theta \in \wedge ^2 {\mathbb {T}}^d\) is Morita equivalent to the noncommutative d-torusFootnote 5 \(A_\Theta \).
Theorem 5.3
([11, 18]) Suppose that \({\mathcal {B}}= \mathrm{Ind}_N^W({\mathcal {X}},\mathrm{ad}(\nu _*))\), with \({\mathcal {X}}= C_0(X,{\mathcal {K}})\), where for each \(x\in X\), \(\nu _x\) is a projective representation. Regard \(\nu \) as a continuous map \(X\rightarrow H^2(N,{\mathbb {T}})\). Then the T-dual algebra \(\widehat{{\mathcal {B}}}={\mathcal {B}}\rtimes W\) is Morita equivalent to the pullback \(\nu ^*({\mathscr {A}})\).
Thus, \(\widehat{{\mathcal {B}}}\) can be visualized as a bundle of noncommutative d-tori over X.
In particular, this picture can be used to understand \(C^*({\mathrm{Heis}}_s(N))\) as follows. The homomorphism \(s:\wedge ^2 N\rightarrow {\mathbb {Z}}\) induces a homomorphism on the Pontryagin duals \(\nu :{\mathbb {T}}\rightarrow \wedge ^2 \widehat{N}\cong H^2(N,{\mathbb {T}})\). For \(N = {\mathbb Z}^d\times {\mathbb Z}^d\) and surjective \(s_0\) as in the previous subsection, \(\nu \) is an injective degree-1 map onto its image circle in \(H^2(N,{\mathbb {T}})\cong \wedge ^2{\mathbb {T}}^d\). Then \(C^*({\mathrm{Heis}}_{s_0}(N))\) is Morita equivalent to a bundle of (stabilized) noncommutative d-tori over \(S^1={\mathbb {T}}\), pulled back from the universal bundle \({\mathscr {A}}\) under \(\nu \).
For \(ks_0\), we have the factorization
and dually,
so \(\nu \) is a degree-k map from \(S^1={\mathbb {T}}\) onto its image circle. Then, \(C^*({\mathrm{Heis}}_{ks_0}(N))\) is Morita equivalent to the pullback of the bundle for \(C^*({\mathrm{Heis}}_{s_0}(N))\) under the k-fold covering map p.
5.2 Heisenberg groups, nilmanifolds, and T-duality
The standard integer (matrix) Heisenberg group \(\mathrm {Heis}^{\mathbb {Z}}(2d), d\in {\mathbb {Z}}^+\), comprises the upper triangular matrices
which has the multiplication law \((a_1, b_1, c_1)\cdot (a_2,b_2,c_2)=(a_1+a_2,\, b_1+b_2,\, c_1+c_2+a_1\cdot b_2)\). (This is \({\mathrm{Heis}}_{s_0}({\mathbb {Z}}^{2d})\) of Sect. 5.1.) It is a subgroup of \(\mathrm {Heis}^{\mathbb {R}}(2d)\) defined by the same formula but with \(a,b\in {\mathbb {R}}^d, c\in {\mathbb {R}}\). Both matrix Heisenberg groups are central extensions,
Let \(W={\mathbb {R}}^{2d}\) with \(w\in W\) identified with \((a,b)\in {\mathbb {R}}^d\times {\mathbb {R}}^d\), and let \(\omega (w_1,w_2)=a_1\cdot b_2 - a_2\cdot b_1\) be the standard symplectic form on W. We can also define the real Heisenberg group \(\mathrm {Heis}^{\mathbb {R}}(W,\omega )\) as the set \(W\times {\mathbb {R}}\) equipped with the product
This is a special case of a more general construction given in Sect. 5.1. The groups \(\mathrm {Heis}^{\mathbb {R}}(2d)\) and \(\mathrm {Heis}^{\mathbb {R}}(W,\omega )\) can be identified by
We shall use this identification in what follows.
Take a one-dimensional subspace \(U\subset W\) and V a complementary subspace \({\mathbb {R}}^{2d-1}\). We can regard U as a subgroup of \(\mathrm {Heis}^{\mathbb {R}}(W,\omega )\) by \(u\leftrightarrow (0,u)\). The restricted symplectic form \(\omega _|:=\omega _{|V\times V}\) is nondegenerate only on a \(2(d-1)\) dimensional subspace of V. The lift (preimage) \(\widetilde{V}\) of V in \(\mathrm {Heis}^{\mathbb {R}}(2d)\) is a normal subgroup isomorphic to \(\mathrm {Heis}^{\mathbb {R}}(2(d-1))\times {\mathbb {R}}\), and we can exhibit \(\mathrm {Heis}^{\mathbb {R}}(2d)\) as a semi-direct product \(\mathrm {Heis}^{\mathbb {R}}(2d)\cong \widetilde{V}\rtimes U\). With L and M the standard lattices in U and V, respectively, we also have \(\mathrm {Heis}^{\mathbb {Z}}(2d)\cong \widetilde{M}\rtimes L\), where \(\widetilde{M}\cong \mathrm {Heis}^{\mathbb {Z}}(2(d-1))\times {\mathbb {Z}}\) is the lift of M. In particular, we can write \(C^*(\mathrm {Heis}^{\mathbb {Z}}(2d))\cong C^*(\widetilde{M})\rtimes L\) and obtain its associated PV-boundary map
The quotient \(\widetilde{V}/\widetilde{M}=\mathrm {Nil}(2(d-1))\times {\mathbb {T}}\) is a classifying space \(B\widetilde{M}\), and there is a fibration of \(\mathrm {Heis}^{\mathbb {R}}(2d)/\mathrm {Heis}^{\mathbb {Z}}(2d)=\mathrm {Nil}(2d)=B\mathrm {Heis}^{\mathbb {Z}}(2d)\) over \({\mathbb {T}}=B{\mathbb {Z}}\) (in fact a fibre bundle),
For \(k\in {\mathbb {Z}}, k\ne 0\), we can use the symplectic form \(k\omega \) instead of \(\omega \), to obtain the modified integer Heisenberg groups \(\mathrm {Heis}^{\mathbb {Z}}(2d,k)\) and nilmanifolds \(\mathrm {Nil}_k(2d)=\mathrm {Heis}^{\mathbb {R}}(2d)/\mathrm {Heis}^{\mathbb {Z}}(2d,k)\).
Consider \({CT}(S^1\times {\mathbb {T}}^{2d}, d\theta \wedge k\omega )\) where \(\omega \) is the standard symplectic form on \({\mathbb {T}}^{2d}=W/N\) (lifting to \(\omega \) on \(W={\mathbb {R}}^{2d}\) as defined earlier), and \(d\theta \) is the usual 1-form on \(S^1\). The flux \(d\theta \wedge k\omega \) is of \(H_1\) type, and by the same arguments for the \(d=1\) case in [30], the T-dual of \({CT}(S^1\times {\mathbb {T}}^{2d}, d\theta \wedge k\omega )\) with respect to \({\mathbb {T}}^{2d}\) is \(C^*(\mathrm {Heis}^{\mathbb {Z}}(2d,k))\). In more detail, we can obtain
as in Corollary 4.3, where above each \(x\in S^1\), there is a projective representation \(\nu _x\) of N with multiplier \(\sigma _x\), and \(\gamma =\mathrm {Ad}(\nu _x)\). Then, the T-dual is a bundle over \(S^1\) of twisted group \(C^*\)-algebras \(C^*(N,\sigma _x)\), which is what we obtain when we decompose \(C^*(\mathrm {Heis}^{\mathbb {Z}}(2d,k))\) into a twisted crossed product \(C^*({\mathbb {Z}})\rtimes _\sigma N\) (see also Sect. 5.1.1). Similarly, the restriction \({CT}(S^1\times {\mathbb {T}}^{2d-1}, d\theta \wedge k\omega _|)\) where \({\mathbb {T}}^{2d-1}=V/M\) is induced from \(C(S^1,{\mathcal {K}})\) by \(\gamma \) restricted to M. Its T-dual with respect to \({\mathbb {T}}^{2d-1}\) is \((C^*(\mathrm {Heis}^{\mathbb {Z}}(2(d-1,k)))\otimes C^*({\mathbb {Z}}))\cong C^*(\widetilde{M})\)—note that the \(\omega _|\)-complement of \({\mathbb {T}}^{2d-1}\), which is a circle \({\mathbb {T}}\), does not see any flux so it T-dualizes to the \(C^*({\mathbb {Z}})\) factor.
On the other hand, as an \(S^1\) bundle over \({\mathbb {T}}^{2d}\) with flux \(d\theta \wedge k\omega \) (now of purely \(H_2\) type), the T-dual of \({CT}(S^1\times {\mathbb {T}}^{2d}, d\theta \wedge k\omega )\) is \(\mathrm {Nil}_k(2d)\), a principal circle bundle over \({\mathbb {T}}^{2d}\) with Chern class represented by \(k\omega \). Similarly, the T-dual with respect to \(S^1\) of \({CT}(S^1\times {\mathbb {T}}^{2d-1}, d\theta \wedge k\omega _|)\) is \(\mathrm {Nil}_k(2(d-1))\times {\mathbb {T}})=\widetilde{V}/\widetilde{M}\), where \(\mathrm {Nil}_k(2(d-1))\) has Chern class supported on the subtorus \({\mathbb {T}}^{2(d-1)}\) on which \(\omega _|\) is nondegenerate (this subtorus is the base of \(\mathrm {Nil}_k(2(d-1))\)), while the extra \({\mathbb {T}}\) just goes along for the ride.
The nilmanifold \(\mathrm {Nil}_k(2d)\) has an action of \(\mathrm {Heis}^{\mathbb {R}}(2d)\), and the symmetric imprimitivity theorem [45] gives a strong Morita equivalence
which together with the generalization of the Connes–Thom isomorphism Theorem to \(\mathrm {Heis}^{\mathbb {R}}(2d)\) ([7, 13]), gives “nonabelian T-duality” (c.f. Sect. 3.3 of [20])
Similarly, we have
With the above definitions, we have the following commutative diagram, which is a higher-dimensional generalization of Proposition 3.3 in [20],
Remark 5.4
We can also obtain a similar commutative diagram for the generalized integer Heisenberg groups \(\mathrm {Heis}^{\mathbb {Z}}(2d,\mathbf{k})\) labelled by an d-tuple of integers \(\mathbf{k}=k_1,k_2,\ldots ,k_n\), as in [28]. Our \(\mathrm {Heis}^{\mathbb {Z}}(2d,\mathbf{k})\) is the case where \(k_1=\ldots =k_d=k\); alternatively, we can consider the \({\mathrm{Heis}}_s({\mathbb {Z}}^{2d})\) of Sect. 5.1 for a general s.
5.3 Solvable groups, solvmanifolds, and T-duality
Recall (cf. [50]) that the real simply connected three-dimensional Solvable group \(\mathrm {Sol}^{\mathbb {R}}\) is defined as a split \({\mathbb {R}}^2\)-extension of \({\mathbb {R}}\),
where \({\mathbb {R}}\) acts on \({\mathbb {R}}^2\) by
that is, \(t\in {\mathbb {R}}\) acts on \({\mathbb {R}}^2\) as the \({\mathrm{SL}}(2, {\mathbb {R}})\) matrix
\(\mathrm {Sol}^{\mathbb {R}}\) can also be defined as the matrix group,
If \(\mathrm {Sol}^{\mathbb {R}}\) is identified with \({\mathbb {R}}^3\) so that (x, y) are the coordinates on the \({\mathbb {R}}^2\)-normal subgroup, then the product is given by
Then (0, 0, 0) is the identity in \(\mathrm {Sol}^{\mathbb {R}}\). The inverse of (x, y, t) is \((-e^t x, -e^{-t} y, -t)\), and one sees that the left invariant 1-forms on \(\mathrm {Sol}^{\mathbb {R}}\) are \(\tau _1=e^{-t} dx\), \(\tau _2= -e^t dy\) and \(\tau _3=dt\). We compute that \(d\tau _1 = -dt \wedge \tau _1\), \(d\tau _2 = dt \wedge \tau _2\), and \(d\tau _3=0\).
Now a general left invariant 2-form B on \(\mathrm {Sol}^{\mathbb {R}}\) is given by
where \(\tau \) is the column vector with jth component \(\tau _j\), \(\tau ^t \) is the transpose of \(\tau \) and \(\Theta \) a skew-symmetric \((3\times 3)\) matrix. By the computations above, \(dB=0\), which is B is a closed left invariant 2-form on \(\mathrm {Sol}^{\mathbb {R}}\). A left invariant Riemannian metric is given by
We next recall the construction of lattices in \(\mathrm {Sol}^{\mathbb {R}}\), and we follow [1] closely, see also [29]. Let \({\mathbb {K}}={\mathbb {Q}}(d)\) be a real quadratic field and let \(\iota _1, \iota _2 :{\mathbb {K}}\rightarrow {\mathbb {R}}\), be its two real embeddings. Denote by \(\mathbf{L}\subset {\mathbb {K}}\) a lattice, with \(U_\mathbf{L}^+\) the group of totally positive units preserving \(\mathbf{L}\),
Denote by A a generator, so that \(U_\mathbf{L}^+ =A^{\mathbb {Z}}= \{A^n : n \in {\mathbb {Z}}\}\). In the example where \(\mathbf{L} = O_{\mathbb {K}}\) is the ring of integers of \({\mathbb {K}}\), then the generator A is a fundamental unit. Consider the embedding of \(\mathbf{L}\) in \({\mathbb {R}}^2\) given by the mapping
Let \(\Lambda = (\iota _1,\iota _2)(\mathbf{L})\). It is a lattice in \({\mathbb {R}}^2\), and \(U_\mathbf{L}^+\) acts on \(\Lambda \) by
Denote by \(\mathbf{V}\) the group \(U_\mathbf{L}^+\); then, \(\mathbf{V}\cong {\mathbb {Z}}\). Consider the semi-direct product
where the action of \(\mathbf{V} = A^{\mathbb {Z}}\) on \(\Lambda \) is induced by the action by multiplication on \(\mathbf{L}\). As shown in [1], these are all lattices in the solvable Lie group \(\mathrm {Sol}^{\mathbb {R}}\).
The homogeneous space
is a torus bundle over the circle,
The cohomology of \(\mathrm {Solv}_A\) is given by (cf. [29])
The nontorsion generator of \(H^2(\mathrm {Solv}_A)\) has representative given by \(\tau _1\wedge \tau _2\).
The K-theory of \(\mathrm {Solv}_A\) is given by
With the above definitions, we have the following commutative diagram using Appendix A,
where we have used that \(C(\mathrm {Solv}_A) = \mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}(C({\mathbb {T}}^2))\) by the above, and therefore, the crossed product \(C(\mathrm {Solv}_A)\rtimes {\mathbb {R}}\) is strongly Morita equivalent to \(C({\mathbb {T}}^2) \rtimes _A {\mathbb {Z}}\cong C^*(\mathrm {Sol}^{\mathbb {Z}}(A)).\) The inclusion of the fibre torus \(\iota : {\mathbb {T}}^2 \hookrightarrow \mathrm {Solv}_A \) induces a restriction map \(\iota ^*\). Similarly, the semi-direct product \( \mathrm {Sol}^{\mathbb {Z}}(A)=\Lambda \rtimes _A \mathbf{V} \) gives rise to the Pimsner–Voiculescu boundary homomorphism \(\partial \), where \(C^*(\Lambda )\cong C({\mathbb {T}}^2)\) is also used.
As with the Heisenberg groups, we may also obtain a similar commutative diagram for higher-dimensional Solvable groups, but we omit the details.
6 Bulk–boundary correspondence for higher-dimensional quantum hall effect and topological insulators with disorder
This section is concerned with the application of the abstract results in Sect. 3, to the bulk–boundary correspondence for the higher-dimensional analogue of the quantum Hall effect and topological insulators, generalizing the 2D case covered in [33].
Let \({\mathcal A}\) be a complex \(C^*\)-algebra with \({\mathbb {Z}}\)-action \(\alpha \). Then by Appendix A, we have the commutative diagram,
with \(\gamma _\alpha ^\bullet \) the Paschke isomorphism. We recall that the induced algebra \(\mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}({\mathcal A}, \alpha ) \) can be regarded as the flat fibre bundle over the circle with fibre \({\mathcal A}\), that is \(\mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}({\mathcal A}, \alpha ) = {\mathbb {R}}\times _{{\mathbb {Z}}} {\mathcal A}\), and \(\iota : {\mathcal A}\rightarrow \mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}({\mathcal A}, \alpha )\) is the inclusion of a fibre. There is a \({\mathbb {R}}\)-action on \(\mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}({\mathcal A}, \alpha ) \) by translation. Thus, \(\gamma _\alpha ^\bullet \) implements circle T-duality in a modified sense in which the circle action on the base may not lift to the total space, but does lift to an \({\mathbb {R}}\)-action.
Now assume that \(\alpha \) is a \({\mathbb {Z}}^d\) action on \({\mathcal A}\), and write \(\alpha _|\) for the restricted \({\mathbb {Z}}^{d-1}\)-action. Then \({\mathcal A}\rtimes _\alpha {\mathbb {Z}}^{n}\) is an d-fold iterated crossed product by \({\mathbb {Z}}\), and in particular, \(({\mathcal A}\rtimes _{\alpha _|} {\mathbb {Z}}^{d-1})\rtimes {\mathbb {Z}}\). Also, \(\mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal A})\cong \mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}(\mathrm {Ind}_{{\mathbb {Z}}^{d-1}}^{{\mathbb {R}}^{d-1}}({\mathcal A}))\), with the obvious actions omitted in the notation, so there is an inclusion \(\iota :\mathrm {Ind}_{{\mathbb {Z}}^{d-1}}^{{\mathbb {R}}^{d-1}}({\mathcal A})\rightarrow \mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal A})\). Writing \(\gamma _\alpha ^\bullet \) for the iterated Paschke map for the d-commuting \({\mathbb {Z}}\)-actions, one has the commutative diagram
Alternatively, with \({\mathcal {E}}=\mathrm {Ind}_{{\mathbb {Z}}^{d-1}}^{{\mathbb {R}}^{d-1}}({\mathcal A},\alpha _|)\) and \({\mathcal {B}}=\mathrm {Ind}_{{\mathbb {Z}}^d}^{{\mathbb {R}}^d}({\mathcal A},\alpha )\), the hypotheses of Corollary 3.5 are satisfied, and we can deduce commutativity of (25).
Now consider a skew-symmetric matrix real \(d\times d\) matrix \(\Theta \) encoding a (scalar-valued) twisting 2-cocycle,
and consider the twisted crossed product algebra \({\mathcal A}\rtimes _\Theta {\mathbb {Z}}^{d}\). By the Packer–Raeburn stabilization trick, the adjoint map gives a canonical isomorphism \(({\mathcal A}\rtimes _\Theta {\mathbb {Z}}^{d})\otimes {\mathcal {K}}\cong ({\mathcal A}\otimes {\mathcal {K}}) \rtimes {\mathbb {Z}}^{d}\) with an untwisted \({\mathbb {Z}}^d\) action on the right-hand-side which we denote by \(\alpha \). Using this in (25), we get the commutative diagram,
Let \(A_\Theta \) denote the noncommutative d-torus and \(A_{{\Theta }|}\) the noncommutative \((d-1)\)-torus, which are twisted versions of the trivial crossed products \({{\mathbb {C}}}\rtimes _{\mathrm{id}}{\mathbb {Z}}^d\) and \({{\mathbb {C}}}\rtimes _{\mathrm{id}}{\mathbb {Z}}^{d-1}\). Let \({{\mathbb {C}}}\rightarrow {\mathcal {A}}\) be an equivariant homomorphism (which is automatic if it is unital), so that there is an induced morphism \(A_\Theta \rightarrow {\mathcal A}\rtimes _\Theta {\mathbb {Z}}^d\). By the naturality of the PV sequence and the Paschke maps, we have the commutative diagram
where we have simply written T for the various Paschke maps, and the diagonal maps are induced by \({{\mathbb {C}}}\rightarrow {\mathcal {A}}\). In particular, this shows that the class in \(K_0({\mathcal A}\rtimes _\Theta {\mathbb {Z}}^{d})\) coming from the fundamental class of the noncommutative d-torus \(A_\Theta \) goes to the class in \(K_0({\mathcal A}\rtimes _{{\Theta }|} {\mathbb {Z}}^{d-1})\) coming from the fundamental class of the noncommutative \((d-1)\)-torus \(A_{{\Theta }|}\), under the PV-boundary map.
Specializing to the case when \({\mathcal A}=C(\Sigma )\), where \(\Sigma \) is a compact Cantor set with an action of \({\mathbb {Z}}^d\), we get precisely the higher-dimensional analogue of Example 4, Sect. 4.6 in [33], generalizing the phenomenon that T-duality trivializes the bulk–boundary correspondence in the disordered case in 2D.
Now let \({\mathcal A}\) be a real \(C^*\)-algebra with a \({\mathbb {Z}}^d\)-action \(\alpha \). Since the real version of Paschke’s map [37] is also, up to a sign convention, the Connes–Thom isomorphism [7] composed with an isomorphism from Green’s imprimitivity theorem, it follows that the real version of the diagram above also commutes.
Here, \({\mathbb {T}}^d\) is the character space of \({\mathbb {Z}}^d\) with involution inherited from complex conjugation, and so \(KR^{-\bullet }({\mathbb {T}}^d)\cong KO_\bullet ({\mathbb {R}}\rtimes _{\mathrm{id}}{\mathbb {Z}}^d)\).
The physical relevance of the commutative diagrams in this section is that a \({\mathbb {Z}}^d\) action on \({\mathcal {A}}=C(\Omega )\) is often used to model disorder with disorder probability space \(\Omega \) (e.g. [39]). The twisting by \(\Theta \) is a fundamental feature of the magnetic translations in the integer quantum Hall effect and its higher-dimensional generalizations. Both disorder and twisting are crucial ingredients needed to explain phenomena like plateau in the Hall conductivity [3]. In the case of real \(C^*\)-algebras (27) says, for example, that the bulk–boundary homomorphism for time-reversal symmetric topological insulators is again trivialized into the geometric restriction map under real T-duality, even in the presence of disorder. This generalizes our earlier computations in [33].
Notes
Quite often KR-theory groups, in the sense of Atiyah’s Real K-theory, are relevant, and these groups are defined for spaces with involutions. Such spaces are usually called “Real spaces”, which should not be confused with our usage of “real space” as synonymous with “position space”.
Although we concentrate here on the case where the boundary has codimension 1, our notation and arguments have been written to suggest a way to include higher-codimensional boundaries. The main differences lie in the parity of the K-groups linked by Connes–Thom maps and the fact that there can be Mackey obstructions for the boundary.
There may be no such symmetries even if the boundary occupies \(n\ge 1\) dimensions; for instance, it may not be completely straight. Generally speaking, the collection of boundary symmetries determine what topological invariants may be associated with it, and the more symmetries there are, the more boundary invariants are available.
If \(\alpha \) defined a character of L, then the “periodicity” would give Bloch-type functions.
\(A_\Theta \) can be defined as the universal \(C^*\)-algebra generated by d unitaries \(U_1,\ldots ,U_d\) subject to \(U_kU_j={\mathrm{exp}}(2\pi i\Theta _{jk})U_jU_k\), where we regard \(\Theta \) as a skew-symmetric \(d\times d\) matrix.
We have switched convention for induced algebras in this Appendix compared to the main text. This is to make closer contact to Paschke’s original work, and the effect is that \(\alpha ^{-1}\) is replaced by \(\alpha \).
There is no loss of generality in assuming that \({\mathcal {A}}\) is unital and that p is in \(\mathrm {Ind}({\mathcal {A}},\alpha )\) rather than in \(\mathrm {Ind}({\mathcal {A}},\alpha )\otimes M_n\), see [37].
References
Atiyah, M.F., Donnelly, H., Singer, I.M.: Eta invariants, signature defects of cusps, and values of L-functions. Ann. Math. 118, 131–177 (1983)
Bellissard, J., van Elst, A., Schulz-Baldes, H.: The noncommutative geometry of the quantum Hall effect. J. Math. Phys. 35(10), 5373–5451 (1994)
Bellissard, J.: \(K\)-theory of \(C^*\)-algebras in solid state physics. In: Statistical Mechanics and Field Theory: Mathematical Aspects (Groningen, 1985), Lecture Notes in Physics, vol. 257, pp. 99–156. Springer, Berlin (1986)
Bouwknegt, P., Evslin, J., Mathai, V.: T-duality: topology change from \(H\)-flux. Commun. Math. Phys. 249, 383–415 (2004)
Bramwell, S.T., et al.: Measurement of the charge and current of magnetic monopoles in spin ice. Nature 461, 956–959 (2009)
Chang, M.-C., Niu, Q.: Berry phase, hyperorbits, and the Hofstadter spectrum: semiclassical dynamics in magnetic Bloch bands. Phys. Rev. B 53(11), 7010–7023 (1996)
Connes, A.: An analogue of the Thom isomorphism for crossed products of a \(C^*\)-algebra by an action of \({{\mathbb{R}}}\). Adv. Math. 39, 31–55 (1981)
Cuntz, J.: \(K\)-theory and \(C^*\)-algebras. In: Algebraic \(K\)-Theory, Number Theory, Geometry and Analysis, Lecture Notes in Mathematics, vol. 1046, pp. 55–79, Springer, Berlin (1984)
Cuntz, J., Meyer, R., Rosenberg, J.: Topological and bivariant \(K\)-theory. Birkhäuser, Basel (2007)
Echterhoff, S.: A categorical approach to imprimitivity theorems for \(C^*\)-dynamical systems. Mem. Am. Math. Soc. 805 (2006). arXiv:math/0205322
Echterhoff, S., Nest, R., Oyono-Oyono, H.: Principal non-commutative torus bundles. Proc. Lond. Math. Soc. 99(3), 1–31 (2009)
Echterhoff, S., Williams, D.P.: Locally inner actions on \(C_0(X)\)-algebras. J. Oper. Theory 45, 131–160 (2001)
Fack, T., Skandalis, G.: Connes’ analogue of the Thom isomorphism for the Kasparov groups. Invent. Math. 64(1), 7–14 (1981)
Freed, D.S., Moore, G.W.: Twisted equivariant matter. Ann. Henri Poincaré 14(8), 1927–2023 (2013)
Gawedzki, K.: Bundle gerbes for topological insulators. Banach Center Publications. arXiv:1512.01028 (in press)
Green, P.: The local structure of twisted covariance algebras. Acta Math. 140, 191–250 (1978)
Hannabuss, K.C.: Representations of nilpotent locally compact groups. J. Funct. Anal. 34, 146–165 (1979)
Hannabuss, K.C., Mathai, V.: Noncommutative principal torus bundles via parametrised strict deformation quantization. AMS Proc. Symp. Pure Math. 81, 133–148 (2010). arXiv:0911.1886
Hannabuss, K.C., Mathai, V.: Parametrised strict deformation quantization of \(C^*\)-bundles and Hilbert \(C^*\)-modules. J. Aust. Math. Soc. 90(1), 25–38 (2011). arXiv:1007.4696
Hannabuss, K.C., Mathai, V., Thiang, G.C.: T-duality simplifies bulk-boundary correspondence: the parametrised case. Adv. Theor. Math. Phys. 20(5), 1193–1226 (2016). arXiv:1510.04785
Kane, C.L., Mele, E.J.: Quantum spin Hall effect in graphene. Phys. Rev. Lett. 95(22), 226801 (2005)
Kane, C.L., Mele, E.J.: \({\mathbb{Z}}_2\) topological order and the quantum spin Hall effect. Phys. Rev. Lett. 95(14), 146802 (2005)
Kellendonk, J., Richter, T., Schulz-Baldes, H.: Edge current channels and Chern numbers in the integer quantum Hall effect. Rev. Math. Phys. 14(1), 87–119 (2002)
Kitaev, A.: Periodic table for topological insulators and superconductors. AIP Conf. Proc. 1134(1), 22–30 (2009)
Kleinert, H.: Gauge Fields in Condensed Matter, vol. 2. World Scientific, Singapore (1989)
Kleppner, A.: Multipliers on abelian groups. Math. Ann. 158, 11–34 (1965)
Lawson, H., Michelsohn, M.-L.: Spin Geometry, Princeton Mathematical Series, vol. 38. Princeton University Press, Princeton (1989)
Lee, S.T., Packer, J.: Twisted group algebras for two-step nilpotent and generalized discrete Heisenberg groups. J. Oper. Theory 33, 91–124 (1995)
Marcolli, M.: Solvmanifolds and noncommutative tori with real multiplication. Commun. Number Theory Phys. 2(2), 421–476 (2008)
Mathai, V., Rosenberg, J.: T-duality for torus bundles via noncommutative topology. Commun. Math. Phys. 253, 705–721 (2005). arXiv:hep-th/0401168
Mathai, V., Rosenberg, J.: T-duality for torus bundles with H-fluxes via noncommutative topology, II. The high-dimensional case and the T-duality group. Adv. Theor. Math. Phys. 10, 123–158 (2006). arXiv:hep-th/0508084
Mathai, V., Thiang, G.C.: T-duality of topological insulators. J. Phys. A Math. Theor. (Fast Track Commun.) 48(42), 42FT02 (2015). arXiv:1503.01206
Mathai, V., Thiang, G.C.: T-duality simplifies bulk-boundary correspondence. Commun. Math. Phys. 345(2), 675–701 (2016). arXiv:1505.05250
Mathai, V., Thiang, G.C.: T-duality simplifies bulk-boundary correspondence: some higher dimensional cases. Ann. Henri Poincaré 17(12), 3399–3424 (2016). arXiv:1506.04492
Mathai, V., Thiang, G.C.: Differential topology of semimetals. Commun. Math. Phys. 355(2), 561–602 (2017)
Packer, J., Raeburn, I.: Twisted crossed products of \(C^*\)-algebras. Math. Proc. Cambridge Philos. Soc. 106, 293–311 (1989)
Paschke, W.: On the mapping torus of an automorphism. Proc. Am. Math. Soc. 88, 481–485 (1983)
Pimsner, M., Voiculescu, D.: Exact sequences for \(K\)-groups and \(EXT\)-groups of certain cross-product \(C^*\)-algebras. J. Oper. Theory 4, 93–118 (1980)
Prodan, E., Schulz-Baldes, H.: Bulk and Boundary Invariants for Complex Topological Insulators: From \(K\)-Theory to Physics. Mathematical Physics Studies. Springer, Cham (2016)
Raeburn, I., Rosenberg, J.: Crossed products of continuous-trace \(C^*\) algebras by smooth actions. Trans. Am. Math. Soc. 305, 1–45 (1988)
Raeburn, I., Williams, D.: Morita Equivalence and Continuous-Trace \(C^*\)-Algebras. Mathematical Surveys and Monographs. American Mathematical Society, Providence (1998)
Ran, Y., Zhang, Y., Vishwanath, A.: One-dimensional topologically protected modes in topological insulators with lattice dislocations. Nat. Phys. 5, 298–303 (2009)
Ray, M.W., Ruokokoski, E., Kandel, S., Möttönen, M., Hall, D.S.: Observation of Dirac monopoles in a synthetic magnetic field. Nature 505, 657–660 (2014)
Rieffel, M.A.: Connes’ analogue for crossed products of the Thom isomorphism. Contemp. Math. 10, 143–154 (1981)
Rieffel, M.A.: Strong Morita equivalence of certain transformation group \(C^*\)-algebras. Math. Ann. 222(1), 7–22 (1976)
Rørdam, M., Larsen, M., Laustsen, M.: An Introduction to \(K\)-theory for \(C^*\)-algebras. London. Math. Soc. Student Texts 19. Cambridge Univ. Press, Cambridge (2000)
Rosenberg, J.: Some results on cohomology with Borel cochains, with applications to group actions on operator algebras. Oper. Theory Adv. Appl. 17, 301–330 (1986)
Rosenberg, J.: \(C^*\)-algebras, positive scalar curvature, and the Novikov conjecture–III. Topology 25(3), 319–336 (1986)
Schröder, H.: \(K\)-Theory for Real \(C^*\)-Algebra and Applications. Pitman Research Notes in Mathemathical Series. Longman, Harlow (1993)
Scott, P.: The geometries of 3-manifolds. Bull. Lond. Math. Soc. 15(5), 401–487 (1983)
Takai, H.: On a duality for crossed product algebras. J. Funct. Anal. 19, 25–39 (1975)
Thiang, G.C.: On the \(K\)-theoretic classification of topological phases of matter. Ann. Henri Poincaré 17(4), 757–794 (2016)
Wegge-Olsen, N.E.: \(K\)-Theory and \(C^*\)-Algebras. Oxford University Press, Oxford (1993)
Wu, Y.-S., Zee, A.: Cocycles and magnetic monopoles. Phys. Lett. B 152, 98–102 (1985)
Acknowledgements
Varghese Mathai and Guo Chuan Thiang were supported by the Australian Research Council via ARC Discovery Project Grants DP150100008, FL170100020, and DE170100149, respectively. The authors thank the Erwin Schrödinger Institute (ESI), Vienna, for its hospitality during the ESI Program on Higher Structures in String Theory and Quantum Field Theory, when part of this research was completed.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Paschke’s map and the Connes–Thom isomorphism
This appendix explains why Paschke’s map [37] is, up to a sign convention, the Connes–Thom isomorphism [7] composed with an isomorphism from Green’s imprimitivity theorem. This result belongs to a family of ideas which can be found in [7,8,9, 37] and may be known to experts, but we provide a detailed argument for the reader’s reference. The Paschke map is explicitly defined for each \({\mathbb {Z}}\)-algebra \(({\mathcal {A}},\alpha )\), whereas the Connes–Thom map is more abstractly defined. As we will see, there is an analogous abstract characterization of the Paschke map, which determines its formula uniquely.
1.1 Generalities on Connes–Thom isomorphism
Recall from [7] that the Connes–Thom isomorphism is a natural transformation between the functors \(K_\bullet (\cdot )\) and \(K_{\bullet +1}((\cdot )\rtimes {\mathbb {R}})\), \(\bullet \in {\mathbb {Z}}_2\), i.e. it assigns to every \({\mathbb {R}}\)-\(C^*\)-algebra \(({\mathscr {A}},\alpha )\) an isomorphism \(\phi ^\bullet _\alpha : K_\bullet ({\mathscr {A}})\rightarrow K_{\bullet +1}({\mathscr {A}}\rtimes _\alpha {\mathbb {R}})\), such that for any morphism \(\rho :({\mathscr {A}},\alpha )\rightarrow (\mathscr {B},\beta )\), the following diagram commutes:
Here, \(\rho \rtimes {\mathbb {R}}\) is the morphism of crossed products induced by the equivariant map \(\rho \). Furthermore, Connes shows that \(\phi _\alpha ^\bullet \) is an isomorphism, which is determined uniquely by this naturality property together with a normalization condition (for \(({\mathcal {A}},\alpha )=({{\mathbb {C}}},{\mathrm {id}})\)) and compatibility with suspensions.
1.2 The analogous axioms for Paschke’s map
If \(\rho :({\mathcal {A}},\alpha )\rightarrow ({\mathcal {B}},\beta )\) is a morphism of \({\mathbb {Z}}\)-\(C^*\)-algebras (not necessarily unital), the induction functor \(\mathrm {Ind}:=\mathrm {Ind}_{\mathbb {Z}}^{\mathbb {R}}(\cdot )\) gives a morphism of induced algebras \(\tilde{\rho }:\mathrm {Ind}({\mathcal {A}},\alpha )\rightarrow \mathrm {Ind}({\mathcal {B}},\beta )\) which is equivariant for the respective translation actions \(\tau ^\alpha , \tau ^\beta \) of \({\mathbb {R}}\). Elements of \(\mathrm {Ind}({\mathcal {A}},\alpha )\) are viewed either as bounded continuous functions \(f:{\mathbb {R}}\rightarrow {\mathcal {A}}\) satisfying an equivariance conditionFootnote 6, \(f(x+1)=\alpha (f(x)), x\in {\mathbb {R}}\), or alternatively, continuous \(f:[0,1]\rightarrow {\mathcal {A}}\) such that \(f(1)=\alpha (f(0))\) (the mapping torus). The translation action \(\tau ^\alpha \) of \({\mathbb {R}}\) on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) is \((\tau ^\alpha _t f)(s)=f(s+t), s,t\in {\mathbb {R}}\).
Let \(S\alpha \) be the suspended \({\mathbb {Z}}\)-action on \(S{\mathcal {A}}\) (acting by \(\alpha \) on \({\mathcal {A}}\) and trivially on the suspension variable). Note that \(S(\mathrm {Ind}({\mathcal {A}},\alpha ))\cong \mathrm {Ind}(S{\mathcal {A}},S\alpha )\) and \(S({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}})\cong S{\mathcal {A}}\rtimes _{S\alpha }{\mathbb {Z}}\), and write \(S^\bullet _{(\cdot )}\) for the natural suspension isomorphisms \(K_\bullet (\cdot )\rightarrow K_{\bullet -1}(S(\cdot ))\).
For \(\bullet \in {\mathbb {Z}}_2\), let \(\gamma ^\bullet \) be a natural transformation of the functors \(({\mathcal {A}},\alpha )\mapsto K_\bullet (\mathrm {Ind}({\mathcal {A}},\alpha ))\) and \(({\mathcal {A}},\alpha )\mapsto K_{\bullet +1}({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}})\) from \({\mathbb {Z}}\)-algebras to abelian groups, satisfying the following three axioms:
Axiom A.1
(Normalization) If \(({\mathcal {A}},\alpha )=({{\mathbb {C}}},{\mathrm {id}})\), then \(\gamma ^0_{{\mathrm {id}}}:K_0(C({\mathbb {R}}/{\mathbb {Z}}))=K_0(C({\mathbb {T}}))\rightarrow K_1(C^*({\mathbb {Z}}))\) takes \([1_{C({\mathbb {T}})}]\) to the (Bott) generator [b] of \(K_1(C^*({\mathbb {Z}}))\) corresponding to \(1\in {\mathbb {Z}}\) regarded as an element of \(C^*({\mathbb {Z}})\).
Axiom A.2
(Naturality) If \(\rho :({\mathcal {A}},\alpha )\rightarrow ({\mathcal {B}},\beta )\) is a morphism of \({\mathbb {Z}}\)-algebras, then the following diagram commutes:
Axiom A.3
(Suspension) \(\gamma \) is compatible with S in the sense that
Proposition A.4
There is a unique \(\gamma \) satisfying Axioms A.1–A.3.
Proof
Outline: We use a modification of Connes’ argument for the uniqueness of \(\phi \). Axiom A.3 and Bott periodicity ensure that we only need to look at \(\gamma ^0\) (which we will simply denote by \(\gamma \) subsequently). We need to show that \(\gamma _\alpha [p]\in K_1({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}})\) is uniquely determined for any projection \(p\equiv \{p_\theta \}_{\theta \in [0,1]}\) in \(\mathrm {Ind}({\mathcal {A}},\alpha )\). The basic idea is to construct a \({\mathbb {Z}}\)-action \(\alpha '\), exterior equivalent to \(\alpha \), which fixes \(p_0\). Furthermore, the new induced algebra \(\mathrm {Ind}({\mathcal {A}},\alpha ')\), with its translation action \(\tau ^{\alpha '}\), is \({\mathbb {R}}\)-equivariantly isomorphic to the original \(\mathrm {Ind}_{\alpha }{\mathcal {A}}\) with a modified action \(\tau '\), where \(\tau '\) is exterior equivalent to the original \(\tau ^\alpha \) and fixes p. Thus, the projection \(p'\in \mathrm {Ind}({\mathcal {A}},\alpha ')\) corresponding to \(p\in \mathrm {Ind}({\mathcal {A}},\alpha )\) under this isomorphism is itself translation invariant under \(\tau ^{\alpha '}\). Then, the Axioms determine what \(\gamma _{\alpha '}[p']\) has to be. Finally, we need to argue that the modification \(\alpha \mapsto \alpha '\) can be assumed because the above exterior equivalences determine unique maps, consistent with the Axioms, which yield the desired \(\gamma _\alpha [p]\) from \(\gamma _{\alpha '}[p']\).
Details: As in [7], we may assume without loss that \({\mathcal {A}}\) is unital and \(p\in \mathrm {Ind}({\mathcal {A}},\alpha )\). By [7] Proposition 4 (c.f. [9] Lemma 10.16, [44]), we may also assume that on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) there is an action \({\mathbb {R}}\)-action \(\tau '\), exterior equivalent to \(\tau ^\alpha \), which fixes p. Let \(U\equiv \{U_t\}_{t\in {\mathbb {R}}}\) be the 1-cocycle on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) which relates \(\tau ^\alpha \) and \(\tau '\) via \(\tau '_t=\mathrm {Ad}(U_t)\circ \tau ^\alpha _t\). Thus, \(\{U_t\}_{t\in {\mathbb {R}}}\) satisfies the cocycle condition and equivariance condition,
Define the modified \({\mathbb {Z}}\)-action \(\alpha '\) on \({\mathcal {A}}\) via
We can verify, from (31), that the assignment \(u:n\mapsto U_n(0)=:u_n,\, n\in {\mathbb {Z}}\) defines a unitary 1-cocycle \(\{u_n\}_{n\in {\mathbb {Z}}}\) on \(({\mathcal {A}},\alpha )\), i.e. \(u_{m+n}=u_m\alpha ^m(u_n)\). Thus, \({\mathcal {A}}\rtimes _{\alpha '}{\mathbb {Z}}\cong {\mathcal {A}}\rtimes _\alpha {\mathbb {Z}}\) (a canonical isomorphism \(\varphi _u\) is given in Lemma A.5 later).
Since \(\tau '_1=\mathrm {Ad}(U_1)\circ \tau ^\alpha _1\) fixes p, it follows that \(p_0:=p(0)\in {\mathcal {A}}\) fixed by \(\alpha '\). Define the isomorphism \(\Psi _U:\mathrm {Ind}({\mathcal {A}},\alpha )\rightarrow \mathrm {Ind}({\mathcal {A}},\alpha ')\) by
We can verify that \(\Psi _Uf\) does satisfy \(\alpha '\)-equivariance and intertwines \(\tau '\) on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) with the new translation action \(\tau ^{\alpha '}\) on \(\mathrm {Ind}({\mathcal {A}},\alpha ')\), i.e. \((\tau ^{\alpha '}_t(\Psi _U f))= (\Psi _U(\tau '_t f))\).
Observe that \(p'(\theta )=p'_0=p_0\) since \(p'=\Psi _U(p)\) is fixed by \(\tau ^{\alpha '}\). The homomorphism
is \({\mathbb {Z}}\)-equivariant, and we write \(\tilde{\omega }\) for the corresponding inflated map \(\tilde{\omega }:C({\mathbb {T}})\cong \mathrm {Ind}({{\mathbb {C}}},{\mathrm {id}})\rightarrow \mathrm {Ind}({\mathcal {A}},\alpha ')\). Note that
so \(p'=\tilde{\omega }(1_{C({\mathbb {T}})})\). Then naturality and normalization mean that \(\gamma _{\alpha '}[p']\) must be determined by the equation
Corollary A.7 gives the details of how \(\gamma [p]\) is obtained from \(\gamma _{\alpha '}[p']\). \(\square \)
1.2.1 Connes’ \(2\times 2\) matrix trick
Lemma A.5
(c.f. [7] Lemma 2) Let \(\alpha , \alpha '\) be exterior equivalent \({\mathbb {Z}}\)-actions on \({\mathcal {A}}\) related by a unitary 1-cocycle \({\mathbb {Z}}\ni n \mapsto u_n \in U{\mathcal {M}}{\mathcal {A}}\). Then
is a \({\mathbb {Z}}\)-action on \(M_2({\mathcal {A}})\) which restricts to \(\alpha \) in the top-left corner and to \(\alpha '\) in the bottom-right corner. Let \(\iota , \iota '\) be the equivariant inclusions of \({\mathcal {A}}\) into their respective corners in \(M_2({\mathcal {A}})\). There is a unique isomorphism \(\varphi _u:{\mathcal {A}}\rtimes _\alpha {\mathbb {Z}}\rightarrow {\mathcal {A}}\rtimes _{\alpha '}{\mathbb {Z}}\) such that \((\iota '\rtimes {\mathbb {Z}})(\varphi _u(y))=\mathrm {Ad}(\begin{pmatrix} 0 &{}\quad 1 \\ 1 &{}\quad 0\end{pmatrix})[(\iota \rtimes {\mathbb {Z}})(y)]\) for all \(y\in {\mathcal {A}}\rtimes _\alpha {\mathbb {Z}}\).
Similarly, there are inclusions \(\tilde{\iota }, \tilde{\iota '}\) of the induced algebras into the respective corners of \(\mathrm {Ind}_\kappa M_2({\mathcal {A}})\). Let \(\tau ^\alpha , \tau '\) be the exterior equivalent \({\mathbb {R}}\)-actions on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) as in the proof of Proposition A.4, related by the 1-cocycle \(\{U_t\}_{t\in {\mathbb {R}}}\). A straightforward computation shows:
Lemma A.6
Define \(X\in \mathrm {Ind}_{\kappa } M_2({\mathcal {A}})\) by
Then the isomorphism \(\Psi _U\) satisfies \(\tilde{\iota '}(\Psi _U(f))=\mathrm {Ad}(X)[\tilde{\iota }f], f\in \mathrm {Ind}({\mathcal {A}},\alpha )\).
Corollary A.7
Suppose \(\gamma \) satisfies Axioms A.1–A.3, and \(\alpha , \alpha ', U\) are as above. Then \(\gamma ^\bullet _{\alpha '}=(\varphi _u)_*\circ \gamma ^\bullet _\alpha \circ (\Psi _U^{-1})_*\).
Proof
Recall that inner automorphisms induce the identity map in K-theory. Thus, Lemmas A.5 and A.6 show that \((\iota \rtimes {\mathbb {Z}})_*=(\iota '\rtimes {\mathbb {Z}})_*\circ (\varphi _u)_*\) and \(\tilde{\iota }_*=\tilde{\iota '}_*\circ (\Psi _U)_*\). Using the naturality axiom, and dropping the superscript \({}^\bullet \) for now,
so injectivity of \((\iota '\rtimes {\mathbb {Z}})_*\) (see [7] Proposition 2–3) gives the required result. \(\square \)
1.3 Paschke’s isomorphisms
Paschke’s isomorphisms [37]
are first defined for unital \({\mathcal {A}}\) and \(\bullet =0\) on [p], by exhibiting the existence of a path of unitaries \(\theta \mapsto w_\theta \in {\mathcal {A}}\) such that
In particular, \(p_1=\mathrm {Ad}(w_1)(p_0)\). Then \(\gamma ^{0,\mathrm {Paschke}}_\alpha [p]\) is defined to be
where \(L\in {\mathcal {M}}({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}})\) is the unitary implementing \(\alpha \) (i.e. \(\alpha (a)=LaL^*, a\in {\mathcal {A}}\)), with this map shown to be well-defined in K-theory.Footnote 7
The \(\bullet =1\) case is defined by compatibility with suspensions. Since \(\gamma ^{0,\mathrm {Paschke}}_\alpha \) may be expressed using representative projections and unitaries (rather than their K-theory classes), it is easy to see that the naturality Axiom A.2 is satisfied. It is also clear that normalization Axiom A.1 is satisfied up to a minus sign.
On the other hand, there is a commutative diagram due to the Connes–Thom natural isomorphisms,
Composing \(\phi _{\tau ^\alpha }^\bullet \) with the natural K-theory isomorphisms
given by the Morita equivalence \(\mathrm {Ind}({\mathcal {A}},\alpha )\rtimes _{\tau ^\alpha }{\mathbb {R}}\sim _{\mathrm{M.E.}}{\mathcal {A}}\rtimes _\alpha {\mathbb {Z}}\) (this is a special case of Green’s imprimitivity theorem [16]), we obtain another \(\gamma \) satisfying Axioms A.1–A.3: The normalization axiom follows from the fact that \(\phi _{\tau ^{{\mathrm{id}}}}\) is an isomorphism, so there is only one possibility (apart from a sign choice) for \(M_{\mathrm{id}}^{0,{\mathrm{Green}}}\circ \phi _{\tau ^{\mathrm{id}}}:{\mathbb {Z}}[1_{C({\mathbb {T}})}]\rightarrow {\mathbb {Z}}[b]\). Compatibility with suspensions is inherited from the Connes–Thom map, while naturality follows from naturality of implementing the Morita equivalence (see [10] Chapter 4). By Proposition A.4, we have
Theorem A.8
The map \(\gamma ^{\bullet ,\,{{{\mathrm{Paschke}}}}}_\alpha :K_\bullet (\mathrm {Ind}({\mathcal {A}},\alpha ))\rightarrow K_{\bullet +1}({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}})\) is, up to a sign, the composition \(M_\alpha ^{\bullet +1,\,{\mathrm{Green}}}\circ \phi ^\bullet _{\tau ^\alpha }\).
1.3.1 Paschke’s unitaries and Connes’ cocycle
Given a \(p\in \mathrm {Ind}({\mathcal {A}},\alpha )\), we may start from Connes’ cocycle \(\{U_t\}_{t\in {\mathbb {R}}}\) in (31) above and obtain a path of unitaries \(w_\theta :=U^*_\theta (0), \theta \in [0,1]\) in \({\mathcal {A}}\). Then \(w_0=1\) and
thus \(\{w_\theta \}_{\theta \in [0,1]}\) is precisely a Paschke path whose existence was proved in [37].
Conversely, given a Paschke path \(\{w_\theta \}_{\theta \in [0,1]}\) such that \(w_0=1\) and \(\mathrm {Ad}(w_\theta )(p_0)=p_\theta \), we can reconstruct Connes’ cocycle for the action \(\tau ^\alpha \) on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) as follows. Regard \(p\in \mathrm {Ind}({\mathcal {A}},\alpha )\) as a projection-valued function \({\mathbb {R}}\rightarrow {\mathcal {A}}\) through the equivariance condition \(p(s)\equiv p_s=\alpha (p_{s-1}), s\in {\mathbb {R}}\). Similarly, extend Paschke’s \(w:[1,0]\mapsto {\mathcal {A}}\) to a continuous unitary function \(w:{\mathbb {R}}\ni s\mapsto w_s\in {\mathcal {A}}\) by the recursion relation \(w_s=\alpha (w_{s-1})\cdot w_1\). It is easy to check that \(p_s=\mathrm {Ad}(w_s)(p_0)\) for all \(s\in {\mathbb {R}}\) and that \(n\mapsto w_n\) defines a 1-cocycle for \(({\mathcal {A}},\alpha )\). The projection \(p_0\) is then fixed by \(\alpha '_n=\mathrm {Ad}(w^*_n)\circ \alpha , n\in {\mathbb {Z}}\), since
The assignment \(t\mapsto U_t\in \mathrm {Ind}({\mathcal {A}},\alpha )\) defined by
is the desired Connes 1-cocycle for \((\mathrm {Ind}({\mathcal {A}},\alpha ),\tau ^\alpha )\); we can verify that each \(U_t\) is \(\alpha \)-equivariant and satisfies the cocycle condition. If we define the \({\mathbb {R}}\)-action \(\tau '\) on \(\mathrm {Ind}({\mathcal {A}},\alpha )\) by \(\tau '_t=\mathrm {Ad}(U_t)\circ (\tau ^\alpha _t)\), we find that the projection p is now fixed by \(\tau '\).
1.4 Paschke’s formula from axioms
Recall that \(\gamma ^0_\alpha [p]\) can be computed by passing to \(\alpha '\), using \(\gamma ^0_\alpha [p]=(\varphi _u^{-1})_*\circ \gamma ^0_{\alpha '}\circ (\Psi _U)_*[p]\). In (34), we saw that \(\gamma ^0_{\alpha '}\circ (\Psi _U)_*[p]=\gamma ^0_{\alpha '}[p']=(\omega \rtimes {\mathbb {Z}})_*[b].\) Note that even if \({\mathcal {A}}\) is unital, the homomorphism \(\omega \) (and thus \(\omega \rtimes {\mathbb {Z}}\)) is nonunital in general, so the induced map \((\omega \rtimes {\mathbb {Z}})_*\) in \(K_1\) is slightly tricky to compute (c.f. Proposition 8.1.6 of [46]). Namely, we have to append a formal unit \(\mathbf{1}\) to \(C({\mathbb {T}})\) and \({\mathcal {A}}\rtimes _{\alpha '}{\mathbb {Z}}\), replace [b] by \([\mathbf{1}-1_{C({\mathbb {T}})}+b]\), then compute \((\omega \rtimes {\mathbb {Z}})_*\) using the unital extension \((\omega \rtimes {\mathbb {Z}})^+:C({\mathbb {T}})^+\rightarrow ({\mathcal {A}}\rtimes _{\alpha '}{\mathbb {Z}})^+\). This gives
and mapping back to unitaries in \(\mathrm {Ind}({\mathcal {A}},\alpha ')\), we obtain
Finally, recall that the isomorphism \(\varphi _u\) implements the isomorphism \({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}}\cong {\mathcal {A}}\rtimes _{\alpha '}{\mathbb {Z}}\) induced by the exterior equivalence \(\alpha '_n=\mathrm {Ad}(w^*_n)\circ \alpha _n\), so it effects \(w_1^*L\mapsto L'\). Thus,
which, up to a sign, concides with \(\gamma ^{0,{{{\mathrm{Paschke}}}}}_\alpha [p]\).
1.5 The real \(C^*\)-algebra case
A general reference for the K-theory of real \(C^*\)-algebras is [49]. The Connes–Thom isomorphisms and Pimsner–Voiculescu exact sequence also hold for real \(C^*\)-algebras \({\mathcal {A}}\) and real crossed products, see [48, 49]. Similarly, Paschke’s map \(\gamma ^{0,{{{{{\mathrm{Paschke}}}}}}}_\alpha \) still makes sense on real \({\mathbb {Z}}\)-algebras \(({\mathcal {A}},\alpha )\). We can then repeat the arguments in this appendix to obtain the real version of Theorem A.8. The only significant change is in the normalization axiom, and in taking \(\bullet \in {\mathbb {Z}}_8\) rather than in \({\mathbb {Z}}_2\).
Recall that \({\mathbb {C}}\rtimes _{\mathrm{id}}{\mathbb {Z}}=C_{\mathbb {R}}^*({\mathbb {Z}})\cong C({\mathbb {T}};\varsigma )\) where \(\varsigma \) is the involution \(\theta \mapsto -k\theta \) on \({\mathbb {T}}=\widehat{{\mathbb {Z}}}\) inherited from complex conjugation of characters (parametrized by \(\theta \in [0,1]\)), and \(C({\mathbb {T}};\varsigma )\) is the real \(C^*\)-algebra of continuous functions \(f\in {\mathbb {T}}\rightarrow {{\mathbb {C}}}\) such that \(\overline{f(\theta )}=f(-\theta )\). These functions are precisely the ones with real Fourier coefficients. It is known (pp. 40 of [49]) that \(K_1(C({\mathbb {T}};\varsigma ))\cong {\mathbb {Z}}[z]\oplus {\mathbb {Z}}_2[-1_{C({\mathbb {T}},\varsigma )}]\), where z denotes the unitary function \(\theta \mapsto e^{2\pi i\theta }\) with winding number 1. Furthermore, [z] is the Bott element implementing (1,1) periodicity in KR-theory (c.f. Theorem 1.5.4 of [49], Theorem 10.3 of [27]), so we also write it as \([b_r]\). We can also identify it with the unitary L implementing the (trivial) automorphism in \({\mathbb {R}}\rtimes _{\mathrm{id}}{\mathbb {Z}}\).
On the other hand, the induced algebra for \(({\mathbb {R}},{\mathrm{id}})\) is just the continuous real-valued functions on the circle \(C({\mathbb {T}};{\mathbb {R}})\). It is also known that
where \(P_{\mathrm{Mob}}\) is the Möbius projection in \(M_2(C({\mathbb {T}};{\mathbb {R}}))\) given by
It is straightforward to compute the real Paschke map on \(KO_0(C({\mathbb {T}};{\mathbb {R}}))\). For the constant projection 1, the Paschke path of unitaries is trivial, so we have \(\gamma ^{0,{{{\mathrm{Paschke}}}}}_{\mathrm{id}}[1]=[L+1-1]=[L]=[b_r]\). For the Möbius projection, the Paschke path of unitaries is \(w_\theta =R(\theta )\), so \(w_1\) is minus the identity. Then
so \(\gamma ^{0,{{{\mathrm{Paschke}}}}}_{\mathrm{id}}([P_{\mathrm{Mob}}]-[1_{C({\mathbb {T}};{\mathbb {R}})}])=[-1_{C({\mathbb {T}},\varsigma )}]\), i.e. the torsion generators are correctly mapped to each other.
The normalization axiom in the real \(C^*\)-algebra case needs to be replaced by
Axiom A.9
(Normalization) If \(({\mathcal {A}},\alpha )=({\mathbb {R}},{\mathrm {id}})\), then \(\gamma ^0_{{\mathrm {id}}}:KO_0(C({\mathbb {T}};{\mathbb {R}}))\cong KO^0({\mathbb {T}})\rightarrow KO_1(C_{\mathbb {R}}^*({\mathbb {Z}}))\cong KO_1(C({\mathbb {T}};\varsigma ))\) takes \([1_{C({\mathbb {T}};{\mathbb {R}})}]\) to the (Bott) generator \([b_r]\) and \(([P_{\mathrm{Mob}}]-[1_{C({\mathbb {T}};{\mathbb {R}})}])\) to \([-1_{C({\mathbb {T}},\varsigma )}]\).
Theorem A.10
There is a unique natural transformation \(\gamma \) of the functors \(({\mathcal {A}},\alpha )\mapsto KO_\bullet (\mathrm {Ind}({\mathcal {A}},\alpha ))\) and \(({\mathcal {A}},\alpha )\mapsto KO_{\bullet +1}({\mathcal {A}}\rtimes _\alpha {\mathbb {Z}})\), \(\bullet \in {\mathbb {Z}}_8\) , from the category of real \({\mathbb {Z}}\)-algebras to abelian groups, which satisfy Axiom A.9 and Axioms A.2–A.3 with K replaced by KO. Thus, the real version of Corollary A.8 holds: \(\gamma ^{\bullet ,\,{{{{{\mathrm{Paschke}}}}}}}_\alpha =M_\alpha ^{\bullet +1,\,{\mathrm{Green}}}\circ \phi ^\bullet _{\tau ^\alpha }\) up to a sign convention.
Appendix B: Multipliers for lattice groups
Let \(N={\mathbb {Z}}^d\) and for a multiplier \(\sigma \), let \(\widetilde{\sigma }(n,n^\prime ) = \sigma (n,n^\prime )/ \sigma (n^\prime ,n)\) be the antisymmetric bicharacter labelling its class in \(H^2(N,{\mathbb {T}})\). We reconstruct a canonical representative multiplier in this class starting from \(\widetilde{\sigma }\). Choose generators \(\{e_j\}_{j\in J}\), where J is a totally ordered set, and, expanding \(n = \sum _j n_je_j \in N\), and \(n^\prime \) similarly, we define the multiplier
which is also a bicharacter (but not antisymmetric). Then we see that
Thus, we see that \(\widetilde{\sigma }_J = \widetilde{\sigma }\), and consequently, \(\sigma _J\) is cohomologous to \(\sigma \), and so also to any \(\sigma _{J^\prime }\) for any other totally ordered set \(J^\prime \). We note that when \(N = {\mathbb Z}^{2}\) and \(J = \{1,2\}\) indexes the usual generators with the natural ordering, the antisymmetric bicharacter \(\widetilde{\sigma }(n,n^\prime ) = \exp (i(n_1n_2^\prime - n_2n_1^\prime ))\) produces \(\sigma _J(n,n^\prime ) = \exp (i(n_1n_2^\prime ))\).
Rights and permissions
About this article
Cite this article
Hannabuss, K.C., Mathai, V. & Thiang, G.C. T-duality simplifies bulk–boundary correspondence: the noncommutative case. Lett Math Phys 108, 1163–1201 (2018). https://doi.org/10.1007/s11005-017-1028-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-017-1028-x
Keywords
- T-duality
- Topological insulators
- Quantum Hall effect
- Defects
- Bulk–boundary correspondence
- Disorder
- Magnetic fields
- H-flux