Cyclic-Homology Chern–Weil Theory for Families of Principal Coactions

Viewing the space of cotraces in the structural coalgebra of a principal coaction as a noncommutative counterpart of the classical Cartan model, we construct the cyclic-homology Chern–Weil homomorphism. To realize the thus constructed Chern–Weil homomorphism as a Cartan model of the homomorphism tautologically induced by the classifying map on cohomology, we replace the unital subalgebra of coaction-invariants by its natural H-unital nilpotent extension (row extension). Although the row-extension algebra provides a drastically different model of the cyclic object, we prove that, for any row extension of any unital algebra over a commutative ring, the row-extension Hochschild complex and the usual Hochschild complex are chain homotopy equivalent. It is the discovery of an explicit homotopy formula that allows us to improve the homological quasi-isomorphism arguments of Loday and Wodzicki. We work with families of principal coactions, and instantiate our noncommutative Chern–Weil theory by computing the cotrace space and analyzing a dimension-drop-like effect in the spirit of Feng and Tsygan for the quantum-deformation family of the standard quantum Hopf fibrations.


Introduction
Gauge theory of principal bundles very successfully serves particle physics through the celebrated Yang-Mills theory, which is the mathematical backbone of the Standard Model. Yang-Mills theory is also a centerpiece of mathematics used by Simon Donaldson in his famous work on invariants of differentiable structures on four-dimensional manifolds [20], and the subject of one of the Millenium Problems concerning the conjecture that the lowest excitations of Yang-Mills theory without matter fields have a finite mass gap.
Another big virtue of Yang-Mills theory is that it is amenable not only to standard tools of physics such as perturbation and renormalization theory, lattice and numerical approaches, but also to generalizations to noncommutative geometry. Alain Connes, together with his numerous collaborators, exerted an enormous effort to provide a viable noncommutative-geometric extension of the Standard Model by following closely physical predictions necessitated by his theory (see [15,50] and references therein).
Herein, rather than directly following hints from the nature, we conceptualize and abstract the very mathematical foundations of Chern-Weil theory [7], whose objective is to provide characteristic classes of principal bundles taking values in homotopy-invariant cohomology theory, to the general setting of principal coactions of coalgebras [10]. Thus, we arrive at a very general, and rich in potential applications, noncommutativetopological framework for gauge theory based on the concepts of cyclic homology and quantum groups.
Let us now explain how the concept of group actions can be abstracted to coactions of coalgebras. Let G be a compact Hausdorff topological group acting by automorphisms on a unital C*-algebra A. Then, to define the freeness of such an action α, we need to dualize it to a coaction δ: δ : A −→ C(G, A) = A ⊗ min C(G), (δ(a))(g) := α g a. (1.1) Here C(G, A) is the C*-algebra of all norm continuous functions from G to A naturally identified with the complete tensor product C*-algebra (e.g. see [51,Corollary T.6.17]). Now we can replace C(G) by the C*-algebra of a compact quantum group [55,56], and define freeness as a density condition [21]. Furthermore, we can define the Peter-Weyl functor [4] from the category of unital C*-algebras equipped with an action of a compact quantum group (i.e. a coaction of its C*-algebra) to the category of comodule algebras over the Hopf algebra of regular functions on the compact quantum group [56]. The main theorem of [4] states that the aforementioned density condition defining the freeness of an action of a compact quantum group on a unital C*-algebra is, via the Peter-Weyl functor, equivalent to the principality of the coaction of the Hopf algebra of the compact quantum group. Thus, the algebraic condition of principality of an appropriate comodule algebra encodes the analytical freeness condition of a compact-quantum-group action on a unital C*-algebra.
In the commutative case, through the Gelfand-Naimark equivalence between the category of commutative unital C*-algebras and the category of compact Hausdorff spaces [24], the analytical freeness condition is equivalent to the freeness of a continuous compact-Hausdorf-group action on a compact Hausdorff space. All this gives us a C*algebraic and Hopf-algebraic formulation of compact Hausdorff principal bundles [5], which is a main concept of gauge theory.
However, the category of principal comodule algebras, despite being very ample and enjoyable, does not encompass all interesting examples coming from quantizations along Poisson structures. A way to obtain a quantum group is by deforming a Poisson-Lie group along its Poisson structure. It is well known that Poisson-Lie groups admit few Poisson-Lie subgroups, so it is important to consider coisotropic subgroups of Poisson-Lie groups. But the deformation quantization along the Poisson structure of the natural action of a coisotropic subgroup on its Poisson-Lie group leads to a coaction of a coalgebra rather than a Hopf algebra [14,43]. Such examples motivated the development of general theory of principal coactions δ : A → A ⊗ C of coalgebras on algebras [10][11][12]. Furthermore, since any deformation quantization is a parameterized family of algebras, we consider coactions on algebras over the commutative algebra generated by deformation parameters. Hence, the setting of our paper is based on the concept of coactions of coalgebras on algebras over a commutative algebra R over a field.
A formula computing the Chern character of the finitely generated projective module associated with a given finite-dimensional corepresentation uses a strong connection [11,19,31] and an iterated comultiplication applied to the character of the corepresentation to produce a cycle in the complex computing the cyclic homology of the algebra of coaction invariants (fixed-point subalgebra) B := {b ∈ A | ∀ a ∈ A : δ(ba) = bδ(a)}. (1.2) Its homology class is called the Chern-Galois character [11] of the corepresentation. The Chern-Galois character is a fundamental tool in calculating K 0 -invariants of modules associated to principal coactions of coalgebras on algebras, in particular to principal comodule algebras in Hopf-Galois theory [33]. The goal of this paper is to construct a cyclic-homology Chern-Weil homomorphism from the space of cotraces of the structural coalgebra to the even cyclic homology of the fixed-point subalgebra enjoying analogous properties as its classical counterpart. Our construction works at a very high level of generality of families of principal coactions. In particular, our Chern-Weil homomorphism always exists for compact quantum principal bundles (Hopf-Galois extensions with cosemisimple Hopf algebras), and is independent of the choice of a strong connection, which reflects very well the classical situation. The space of cotraces can be understood as a cyclic-homology Cartan model of the generalized classifying space of the structural coalgebra. We justify this point of view by the graded-space construction associated with the Ad-invariant m-adic filtration on class functions on a compact Lie group, where m is the maximal ideal of all functions vanishing at the neutral element of the group, which produces the classical space of Ad-invariant polynomials on the Lie algebra. We show that this can be related also with the Block-Getzler equivariant cyclic homology. Furthermore, the noncommutative counterpart of homotopy invariance of our cyclic-homological extension of the classical Chern-Weil homomorphism is stability under Connes' periodicity operator.
In [49], the question of a possibility of a universal characterization of the Chern character as a natural transformation from the even K-group to the even cyclic homology is answered in the positive. We extend the classical relation between the Chern character and Chern-Weil theory to the noncommutative realm by constructing a commutative diagram which can be interpreted as corresponding to the classifying map of the aforementioned natural transformation from K 0 to HC even .
The classifying space in our approach is replaced by the category of corepresentations. In other words, we think of it as a homotopy quotient stack of the one-point space. Here the Grothendieck group of corepresentations should be understood as the K 0 -group of this classifying space, and the space of cotraces as its even cyclic homology. More precisely, the abelian group completion Corep(C) of the monoid of finite-dimensional C-comodules can be understood as a generalized K 0 -group of the classifying space of the coalgebra C, the two decompositions of the Chern-Galois character can be understood as the naturality of the Chern character ch n under the generalized classifying map for a noncommutative principal bundle.
All this can be subsumed by the following commutative diagram: Here the map [A C (−)] associating a finitely generated projective module with a given corepresentation should be understood as the map induced by the classifying map on Ktheory, the character χ of a corepresentation should be understood as the Chern character for the classifying space, and the cyclic-homology Chern-Weil homomorphism chw n should be understood as the map induced by the classifying map on cyclic homology. The Chern-Galois character chg n is the diagonal composite in this diagram.
The above commutative diagram can be interpreted as a noncommutative counterpart of the naturality of the Chern character under the family cl : Y → BG of classifying maps (parameterized by a space S) of a family X → Y → S of G-principal bundles of spaces over S. These bundles correspond to a principal G-action X × G → X over S with the family of orbit spaces Y = X/G over S. Thus, we obtain the following commutative diagram: (1.4) We achieve our goal of constructing a cyclic-homology Chern-Weil homomorphism by applying an abstract construction which we call abstract cyclic-homology Chern character. Just as to express K-theory in terms of matrix idempotents one introduces the functor of forming an H-unital algebra of locally finite matrices M ∞ (−), to embrace the symmetry of a principal bundle in terms of representations of the symmetry, we introduce another H-unital algebra M which is the Ehresmann-Schauenburg quantum groupoid with a non-standard multiplication.
The abstract cyclic-homology Chern character prompts a unified approach to both constructions which can be subsumed in the following commutative diagram: x x r r r r r r r r r r r r r r r r r r r r r r HC 2n (M | R) Here the bottom horizontal arrows are isomorphisms of H-unital models of cyclic homology of B, and the vertical arrows are tautological constructions. Thus the left-hand-side factorization of the Chern-Galois character becomes analogous to the well-known righthand-side factorization of the Chern character.
The aforementioned H-unital-algebra construction obtained from the Ehresmann-Schauenburg quantum groupoid leads to a general concept of a row extension. We prove that the Hochschild homology is invariant under such extensions by providing an explicit chain homotopy equivalence of complexes. Our consistent use of complexes up to chain homotopy equivalence rather than their homology is motivated by the fact that, although the invariance of Hochschild homology under row extensions can be established by the Wodzicki excision argument [53,54], there is a problem (signalled in [9]) of making this argument explicit in the resulting inverse excision isomorphism. We overcome this difficulty by constructing an explicit chain homotopy compatible with an analogue of the filtration from [26].
The fact that all homotopies we use are natural and explicit suggests a higher homotopy landscape behind our construction, according to the ideas surveyed in [36]. Our Theorem 2.1, replacing the Homological Perturbation Theory evoked in [36], could be of independent interest. Much in the same way as Homological Perturbation Theory is used as a tool in computing Hochschild and cyclic homology and the Chern character [3,39,41], we use our Theorem 2.1 in calculations in the homotopy category of chain complexes. An additional substantiation of homotopical approach is the fact that it is a natural environment for classical Chern-Weil theory [23] as theory induced by the homotopy class of the classifying map.
Further motivation for the homotopical reinforcement of cyclic (and Hochschild) homology is the need for their more subtle version valid for families. For instance, the fact that quasi-isomorphic chain complexes parameterized by a commutative base ring different from a field are not necessarily chain homotopy equivalent could be a potential way of more detailed analysis of the dimension-drop phenomena in deformation quantization [22]. Notice that, although in some cases the dimension drop can be prevented by the use of twisted Hochschild (and cyclic) homology [27][28][29][30], the Chern character always takes values in the untwisted cyclic homology.
To put our construction in a historical perspective, let us compare it to other approaches to the Chern-Weil homomorphism in noncommutative geometry. Apparently, the first instance of a connection between cotraces and Chern-Weil theory goes back to Quillen's work [47]. The coalgebra therein is the bar construction of an algebra, and the analogy with the Chern-Weil homomorphism is explicitly stressed.
Next, in [2,45] Alexeev and Meinrenken introduced noncommutative Chern-Weil theory based on a specific noncommutative deformation of the classical Weil model aiming to extend the Duflo isomorphism for quadratic Lie algebras to the level of equivariant cohomology. However, they work only with the universal enveloping algebra of a Lie algebra instead of arbitrary Hopf algebras, and without referring to cyclic homology.
Finally, in [17], Crainic considers a Weil model in the context of Hopf-cyclic homology of Hopf algebras. However, his characteristic map based on the characteristic map of Connes and Moscovici takes values in the cyclic homology of a Hopf-module algebra instead of the cyclic homology of the algebra of coaction invariants. As such, it cannot be a noncommutative counterpart of the classical Chern-Weil homomorphism.

The Homotopy Category of Chain Complexes
In the present section, we allow complexes in any abelian category, though our main concern is the category of modules over a commutative integral domain R, in which we fix a maximal ideal m (a closed point of Spec(R)), and the embedding of R into its field of fractions F (the general point of Spec(R)). For us, the most important examples are the algebra of Laurent polynomials R = k[q, q −1 ] with m = (q − 1) and the field of fractions F = k(q) (rational functions), and the algebra of formal power series R = k [[h]] with m = (h) and the field of fractions F = k((h)) (formal Laurent series).
A complex over such a ring R can be regarded as a family of complexes parameterized by Spec(R). At a general point, a quasi-isomorphism of complexes has a chain-homotopy inverse defined over the field of fractions F. Regarded as a rational function on Spec(R), such an inverse can have a pole at the closed point. Therefore, the minimal possible order of such a pole can measure the degeneracy in the family of quasi-isomorphism classes of complexes parameterized by Spec(R)\{m} and degenerating at m. Note that considering only the quasi-isomorphism class of a complex or its homology is not enough for such an analysis.
An example of a degeneracy of this type is provided by the phenomenon called dimension drop discovered by Feng and Tsygan in [22]. Therein, under an h-deformation of the embedding of the normalizer of a Cartan subgroup into a connected complex algebraic group, the induced map of cyclic modules provides a homotopy equivalence of Hochschild and cyclic complexes at the general point of the deformation. It is obviously not even a quasi-isomorphism at the closed point (h = 0). In this paper, we analyze another degeneration phenomenon: the infinite number of pairwise distinct components of the cyclic-homology Chern-Weil homomorphism in a q-deformation degenerates to the common value 1 at q = 1.

Killing contractible complexes.
The following theorem should have been proved sixty years ago. Strangely enough, the first approximation to it can be found in Loday's book, without any further reference, under the name "Killing contractible complexes" [42]. Regretfully, the claim therein is about a quasi-isomorphism only instead of a homotopy equivalence. Moreover, that quasi-isomorphism does not respect the obvious structure of the short exact sequence of complexes. The homotopy equivalence was achieved by Crainic [18] only in 2004 by constructing the explicit homotopy inverse using the homological perturbation method. Still, his perturbed maps do not respect the obvious structure of the short exact sequence of complexes. In contrast to these results, in our present approach, we perturb neither the differential nor the structure of the short exact sequence. Instead, we perturb a given splitting in the category of graded objects to make it a splitting in the category of complexes by providing an explicit homotopy inverse. We focus on split short exact sequences of complexes since only such complexes can produce distinguished triangles in the homotopy category of chain complexes.

Theorem 2.1. Assume that
is a short exact sequence of complexes in an abelian category. Assume also that it is split in the category of graded objects. Then, provided X is contractible, π is a homotopy equivalence.
Proof. For the sake of brevity, in this proof, we will denote all compositions of maps by juxtaposition, all differentials by d, and all identity morphisms by 1. Consider a splitting and a homotopy h contracting X . (The dashed arrows are not necessarily chain maps.) This is tantamount to the following identities. (2.10) Next, we define the following expressions Together with (2.9), (2.7) and (2.10) implies that (2.14) After squaring both sides of (2.14), we use (2.2) on the right hand side, and on the left hand side we use the following identities: (implied by (2.9)), α 2 = 0 (implied by (2.6) and (2.2)), so σ is a chain map. Furthermore, by (2.7), (2.10) and (2.8), Next, using the identities: we can complete (2.18) to By (2.14), the formula (2.20) reads as Together with (2.12), the above means that σ is a homotopy inverse to π .
Since the above lemma holds in any abelian category, an immediate consequence is its dual version.

Corollary 2.2. Assume that
is a short exact sequence of complexes in an abelian category. Assume that it is split in the category of graded objects. Then, provided Z is contractible, ι is a homotopy equivalence.

2.2.
Other homotopy lemmas. The next lemmas are R-balanced and homotopy versions of some homological results collected in [42]. For the convenience of the reader, we sketch their proofs by showing the explicit homotopy inverses and homotopies as in [42]. We consider the first quadrant bicomplex CC(B | R) (see (2.22)), whose total complex computes cyclic homology, and the total complex of the sub-bicomplex CC {2} (B | R) consisting of the first two columns that computes the Hochschild homology of the Ralgebra B over a unital commutative ring R.
The following lemma leads to a distinguished triangle in the homotopy category of complexes. The distinguished triangle, after applying the homology functor, induces the long exact I S B-sequence relating Hochschild and cyclic homology [42].

Lemma 2.3. The short exact sequence of total complexes
defines a distinguished triangle in the homotopy category of complexes.
Proof. Since graded-split short exact sequences induce distinguished triangles in the homotopy category of complexes, it suffices to note that the sequence (2.23) is canonically graded split.
The next lemma enables, in the special case of our interest, a substancial simplification of the complex computing Hochschild homology to a complex CC {1} (B | R) consisting of the first column of CC(B | R).

Lemma 2.4. Provided B is left unital, the short exact sequence of complexes
is graded split with contractible kernel (the bar complex) and yields a chain homotopy equivalence Proof. The bar complex B(B | R) with the differential b is isomorphic (up to a shift) with the second column of CC(B | R). As in [42], it admits a contracting homotopy defined using the left unit e ∈ B: Since the graded splitting is obvious, the rest follows from Theorem 2.1.

Lemma 2.5. If the R-algebra B is unital, the maps
induced by the map of R-algebras form a homotopy equivalence of complexes.
Proof. Following [42], we take an obvious left inverse to inc n : Up to the explicit homotopy where E i j (b) denotes the elementary matrix with a single possibly non-zero entry b ∈ B at the (i, j)-place, this is also a right inverse to inc n .
induces the trivial action on the object C(M ∞ (B) | R) of the homotopy category of complexes.
Proof. The action of γ on M ∞ (B) by algebra automorphisms is realized as a simultaneous application of the two well-defined actions: β → γβ and β → βγ −1 . Since R is unital and commutative, they induce the action of γ on C(M ∞ (B) | R) given by (2.27) and the homotopy between the identity and the action (2.27) provided by which concludes the proof.

The abstract cyclic-homology Chern character.
Note first that, for any cyclic object X = (X m ) in a category of modules, we can consider sequences x = (x m ) satisfying the following two conditions when acted on by the cyclic operator t and any face operator Forming a module K(X ) consisting of such sequences is a functor. For any x ∈ K(X ), we can construct a natural sequence of even chains in Tot CC(X ) of the form to obtain a sequence of natural transformations.
This means that the chain ch n (x) is a cycle in Tot CC 2n (X ). Finally, also the formal argument for stability under Connes' periodicity operator from the proof of [42, Lemma-Notation 8.3.3] is still valid in our situation.
We call the resulting natural transformation the abstract cyclic character. The motivating example comes from the construction of the Chern character from matrix idempotents. Let us recall the well-known fact that the Chern character taking values in the cyclic homology of an R-algebra B goes, in fact, to the cyclic homology of a nonunital algebra M ∞ (B) of locally finite matrices. This is due to the fundamental equivalence between the iso-classes of finitely generated projective modules over to the element ch n (e), one gets the Chern character ch n (e) depending only on the class in K 0 (B) defined by the idempotent e ∈ M ∞ (B).
Another example of an abstract cyclic-homology Chern character will come from a tautological construction of a cyclic-homology Chern-Weil homomorphism. The corresponding model of the cyclic homology of a given H-unital algebra will need another class of H-unital algebra extensions, which we will introduce in the next section.

Row Extensions of Algebras
All rings in this section are associative and possibly non-unital. Let R be a commutative ring, B an R-algebra, and M be a (B, R)-bimodule that is symmetric as an R-bimodule. Next, let ε M : M → B be a (B, R)-bimodule map. We call such a structure an augmented module over an R-algebra B. We define a non-unital algebra-over-R structure on M depending on this data as follows. As an R-bimodule, it is the underlying R-bimodule of the (B, R)-bimodule M. The multiplication of elements of M is defined as the (B, R)bimodule map (3.1) By the left B-linearity of ε M , we have the identity which amounts to the associativity of the multiplication.
Here ω : J ⊗ R J → I is an R-bimodule map satisfying This means that ω is a Hochschild coboundary of λ. By the theory of Hochschild extensions, this is tantamount to the fact that the automorphism

Proposition 3.3. The R-algebra map ε M induces an isomorphism of relative periodic cyclic homology of R-algebras
Proof. The claim is a consequence of the Goodwillie theorem [25] (see Theorem 7.3 of [16] for the non-unital case) applied to the Kadison R-algebra periodic cyclic homology [38] of the R-algebra extension (3.3) by the nilpotent ideal I . Let us observe now that a row extension fits into a ring extension of the form

The
Shortening the middle term to T , we can rewrite it as Since our extension satisfies the assumption of purity, one can use Wodzicki's excision theorem [53,54] for a left unital (hence H-unital) R-algebra M to obtain a long exact sequence of Hochschild homology groups which, by (3.15) and (3.16), reads as Furthermore, as in every row the first arrow goes into the first direct summand via the map induced by ε M , and every second arrow is a projection onto a second direct summand, we conclude that ε M induces a quasi-isomorphism of Hochschild chain complexes. Our next step is to promote the quasi-isomorphism to a chain homotopy equivalence. Using an R-module splitting M = I ⊕ B coming from an R-algebra splitting (3.11), we can form split short exact sequences of symmetric R-bimodules (⊗ R stands for the R-balanced tensor product of symmetric R-bimodules) Since ε M is an R-algebra map, and the multiplication of M restricted to the image of B under the R-algebra splitting of M coincides with the original multiplication of B, the collection of the induced maps ε ⊗ R n+1 M is a morphism of cyclic objects computing the Hochschild, cyclic, periodic and negative cyclic homology of R-algebras. Now we show that, for row extensions of left unital R-algebras, the induced map on the Hochschild chain complexes is a homotopy equivalence. This is an excision-free way to see that the map induces an isomorphism on the Hochschild homology. Hence, by virtue of [42, Proposition 5.1.6], we conclude that the induced maps on cyclic, periodic and negative cyclic homology are also isomorphisms.
We are now ready for a main technical result of this article:

Theorem 3.4. Let M be a left unitary row extension of a left unital R-algebra B. Then the ε M -induced map of the Hochschild chain complexes
is graded-split surjective and has a contractible kernel. In particular, it is a chain homotopy equivalence.

The cyclic-homology Chern-Weil Homomorphism
To help the reader understand what follows, we refer to [10,11] for basic facts and definitions about coalgebra-Galois extensions. The only modification we need is allowing, instead of a base field k, an integral domain R over k, as the base of unital algebras under consideration, and assuming that the coaction is R-linear. This means that we consider a family of coalgebra-Galois extensions parameterized by Spec(R). The unoadorned tensor product symbol denotes the tensor product over k. Let a unital R-algebra A be a right comodule for a coalgebra C with a group-like element e ∈ C. We will denote the R-linear C-coaction on A using the Heyneman-Sweedler notation (1) . (4.1) The R-subalgebra of invariants of this coaction we denote by B, i.e.
We assume that B ⊆ A is a C-Galois extension, which means that both the canonical map (1) , (4.3) and the canonical entwining (4.4) are invertible. Now one can define an R-linear left C-coaction on A as follows: (1) ).
and prove that it is a C-bicolinear map with respect to the left and right coactions of C on the left and right tensorand of A ⊗ B A, respectively. A strong connection [11] is a unital ( (e) = 1 ⊗ 1) C-bicolinear lifting of the translation map τ , The same arguments as for algebras over a field prove that for a coalgebra-Galois extension, the existence of a non-unital strong connection is equivalent to the R-relative equivariant projectivity of A viewed as a left B-module right C-comodule [11]. Such coalgebra-Galois extensions are called principal. When R is more general than a field, we call them families of principal coalgebra-Galois extensions. Finally, note that we will use non-unital strong connections just as in [8] because the unitality will not play a role in the sequel.

The standard quantum Hopf fibration. Let
be the fundamental matrix of the *-Hopf algebra O (SU q (2)). The *-algebra O(SU q (2)) is generated by x and v subject to the relations The comultiplication is provided by and the right coaction of O(U (1)) = k[t, t −1 ] is given by (4.11) The subalgebra O(S 2 q ) of coaction invariants is known as the algebra of the standard Podleś quantum sphere [46], and O(S 2 q ) ⊂ O(SU q (2)) is an example of a family of O(U (1))-Hopf-Galois extensions parameterized by Spec(R).

The Ehresmann-Schauenburg quantum groupoid. Provided
A is a faithfully flat (as a left B-module) C-Galois extension of B, one introduces the Ehresmann-Schauenburg B-coring in terms of the cotensor product of two (one right and one left) C-comodules [13,48]. Since we are interested in families parameterized by Spec(R), we have to modify the above notion of the cotensor product to allow both C-comodule structures to be R-linear. Definition 4.1. Let X and Y be, respectively, a right and a left R-module equipped, respectively, with a right and a left C-coaction that is R-linear in the following sense: for any r ∈ R, x ∈ X and y ∈ Y , (4.12) Then we define their R-balanced cotensor product as the equalizer (the difference kernel) where the pair of parallel maps is given by Here R ⊗ C is equipped with the structure of a symmetric R-bimodule induced from R.
The correctness of the above definition can be seen from the fact that the conditions (4.12) equip respectively X and Y with a right and a left comodule structures over an R-coalgebra R ⊗ C, and thus make X C R Y a cotensor product of comodules over this R-coalgebra.
In terms of the R-balanced cotensor product C R , given a C-Galois extension B ⊆ A of R-algebras, one can construct an R-module M := A C R A. It is canonically an Rsymmetric B-bimodule with the canonical B-coring structure However, in what follows, we will need only the fact that (M, ε M ) is a left B-module with the augmentation equal to the counit of the coring. According to Sect. 3, it leads to a row extension of B. Note that the Ehresmann-Schauenburg groupoid equipped with the new multiplication defined by ε M becomes a row extension, and is not a subring of A ⊗ R A op anymore.
For Hopf-Galois extensions, the canonical row extension corresponding to the counit of the Ehresmann-Schauenburg quantum groupoid ε M : M → B can be described as the canonically split extension of left B-modules Here by 1 (A | R) we denote the A-bimodule of universal noncommutative R-linear differentials of an R-algebra A, and by σ we denote the canonical left B-linear splitting defined by σ (b) := b ⊗ 1. It is easy to see that σ is an R-algebra map from B = A coH to the row extension M = (A ⊗ R A) coH . Therefore, we obtain the following complete description of the structure of our row extension where, on the right-hand side, we use the universal R-linear derivation 16) and the A-bimodule structure of 1 (A | R).

The cyclic-homology Chern-Weil homomorphism from a strong connection.
For any coalgebra C, we define the subspace equalizing the comultiplication and the comultiplication composed with the flip. Note that the canonical map C tr → C is the dual counterpart of the universal trace map for an algebra A, and an element of C tr defines canonically a trace on the dual convolution algebra C * . Therefore, we call the elements of C tr cotraces. The classical case, when C = O(G) is the coordinate algebra of a linear algebraic group G with the comultiplication equivalent to the algebraic group law, sheds some light on the the relation between C tr and the Chern-Weil map as follows. First of all, it is easy to see that where the right-hand side is the algebra of Ad-invariants (invariants with respect to the action of G on itself by conjugations). In other words, this is the algebra of class functions.
Furthermore, the kernel of the counit ε of C is the maximal ideal m corresponding to the neutral element of G, and the m-adic filtration of O(Ad(G)) is G-invariant. Hence, the filtration passes to the Ad-invariants of the associated graded algebra, and one gets the algebra Sym n g * G (4.19) of Ad-invariant polynomials on the Lie algebra g. The latter is the domain of the classical Chern-Weil map and the infinitesimal counterpart of the right-hand side of (4.18). Observe also that replacing the Lie algebra g by the G-space Ad(G) plays a fundamental role in the construction of G-equivariant cyclic homology (see the paper [6] by Block and Getzler).
Below, we will use the associativity of the cotensor product of bicomodules over a coalgebra [13, 11.6] and the tensor-cotensor associativity [13, 10.6]. They both hold because our coalgebra C is defined over a field, so R ⊗ C is a flat R-coalgebra.

Lemma 4.2. For any m ∈ N, the m-fold comultiplication map of the coalgebra C defines a linear isomorphism
Here the right coaction of C ⊗ C op on C is given by c → c (2) ⊗ (c (3) ⊗ c (1) ), and the left coaction of C ⊗C op on the iterated cotensor product is given by (1) denotes the C-bicomodule structure of the iterated cotensor product coming from the standard left and the standard right C-coaction on, respectively, the left-most and the right-most copy of C.
Proof. Since C is the unit object of the monoidal category of bicomodules with respect to the cotensor product, it is enough to prove (4.20) for m = 0. Then it is easy to check that the comultiplication restricted to the elements from C tr ⊆ C lands in C C⊗C op C, and the application of the counit to the first cotensor factor provides the inverse.
Note that, by applying the counit to the left-most factor C in the cotensor product we can identify it with the circular cotensor product of C-bicomodules V 0 , . . . , V m . For example, for m = 5 it looks as follows: (4.22) In the following two lemmas, we think of C tr as a circular cotensor product as in (4.20). (A close relation of these lemmas to results in [11] will be explained in Sect. 4.4.) (1) ) ⊗ R · · · ⊗ R (c (m+1) ).

Lemma 4.3. A strong connection : C −→ A ⊗ R A induces the linear map
(4.23) (Here we think of M ⊗ R (m+1) as a circular tensor power.) Proof. Since is a morphism of C-bicomodules, it can be applied to an element of the circular cotensor power of C to get an element of the circular cotensor power of A ⊗ R A. By the tensor-cotensor associativity, it can be written as an element of the circular tensor power of M = A C R A. For example, c 5 ( ) reads as the dashed arrow in the following commutative diagram:  (4.25) belongs to the cyclic-symmetric part of M ⊗ R m+1 . Here c 1 ⊗ R c 2 := (c) is the Heyneman-Sweedler-type notation for .
Proof. Note first that, by the very definition of C tr , applying the comultiplication to any c ∈ C tr , we obtain a symmetric tensor c (1) ⊗ c (2) = c (2) ⊗ c (1) . (4.26) Applying the iterated comultiplication m to c yields the same result as applying m−1 ⊗ id C to both sides of (4.26). Hence, we obtain (1) , (4.27) which proves that the right-hand side of (4.25) is a cyclic-symmetric tensor as well. (4.29) Combining above lemmas, we arrive at the centerpiece result of the article:

A factorization of the Chern-Galois character.
For any coalgebra C, we consider the group completion Corep(C) of the monoid of the isomorphism classes of finitedimensional left C-comodules, which we call corepresentations. If V is a corepresentation, then, given a basis (v i ) i∈I of V , the left C-comodule structure V → C ⊗ V is equivalent to a finite matrix (c i j ) i, j∈I with entries in C. It is defined by v i → j c i j ⊗v j and satisfies Clearly, the element is independent of the choice of basis, and hence depends only on the isomorphism class [V ] of V . We will call it the character of the corepresentation V . Since for any short exact sequence of corepresentations we conclude that χ factorizes through Corep(C). By the obvious symmetry property (1) , (4.35) the character of a corepresentation defines a map Now, after applying the map induced by the algebra map ε M : M → B, we obtain

The independence of the choice of a strong connection.
The fundamental property of the classical Chern-Weil homomorphism is its independence of the choice of a connection. As we do not know how to reproduce the classical argument in the noncommutative context, herein we use the independence of the Chern-Galois character of the choice of a strong connection to argue such an independence for the cyclic-homology Chern-Weil homomorphism.
We will say that C has enough characters iff C tr is linearly spanned by the characters of its corepresentations. Note that the algebra of class functions on a semi-simple connected algebraic group has a linear basis consisting of characters of irreducible rational representations [37, 3.2]. It is well known that the same is true for finite groups.
In fact, both cases are particular cases of cosemisimple coalgebras by Woronowicz-Peter-Weyl theory rewritten in purely coalgebraic language as in [1]. (The theory covers the Hopf algebras corresponding to compact quantum groups in the sense of Woronowicz.) Cosemisimplicity of C means that it is a direct sum of finite-dimensional cosimple sub-coalgebras where C V = V * ⊗ V is a co-matrix coalgebra corresponding to an irreducible left C-comodule V . Then where C tr V = span(χ (V )). (4.40) Indeed, given a dual basis (v i , v * i ) i∈I of any finite-dimensional vector space V , the co-matrix coalgebra C V = V * ⊗ V satisfies and any left C-comodule structure on V is equivalent to the coalgebra map For instance, the characters χ (n) and χ (n+ 1 2 ) of integer and half-integer spin corepresentations in the direct-sum decomposition of the Hopf algebra of SU q (2) into cosimple coalgebras, using the notation as in Section 4.1, can be expressed in terms of the little q-Jacobi polynomials [44, 2.2] as follows: (1 − q j−n−1 )(1 − q j−n−k ) (1 − q j ) 2 (v * v) m (4.45) are the little q-Jacobi polynomials P (l,k) n in the variable v * v at the special value l = 0. Hence, the domain of our cyclic-homology Chern-Weil homomorphism for a quantum principal SU q (2)-bundle (O(SU q (2))-Galois extension) reads as O(SU q (2)) tr = span χ (n) , χ (n+ 1 2 ) | n ∈ N . (4.46) Note that all the coefficients are defined at q = 1, so we have Now, by restricting to the maximal torus of SU (2), one can easily see that for q = 1 the above characters coincide with the classical ones.
The following proposition provides a noncommutative analog of the independence of the classical Chern-Weil homomorphism of the choice of connection. Proof. By the results of [11], the Chern-Galois character of a corepresentation V computes the Chern character of a finitely generated projective B-module A C V associated through a given corepresentation V with a principal C-Galois extension B ⊆ A. Hence the Chern-Galois character is independent of the choice of the strong connection . Combining Corollary 4.7 with the assumption that C tr is linearly spanned by the characters of corepresentations, we infer that chw n ( ) is independent of the choice of the strong connection as claimed.
The above proposition allows us to skip in the notation for our cyclic-homology Chern-Weil homomorphism: chw n := chw n ( ). where n k q := (q − 1)...(q n − 1) (q − 1)...(q k − 1)(q − 1)...(q n−k − 1) (4.49) are the q-binomial coefficients (e.g., see Section IV.2 in [40]). Let also define q-shifted binomial coefficients by the formula (1 + q i t), (4.50) where t is a formal variable. For C being the cocommutative coalgebra underlying the Hopf algebra C[t, t −1 ] corresponding to U (1), we have (see [32]) chw 0 (t n ) =  On the other hand, by the index pairing argument [32, Theorem 2.1], all chw 0 (t ν ) are pairwise distinct for q = 1. This means that the family of cyclic-homology Chern-Weil homomorphisms paremeterized by q degenerates at a special point q = 1. Although it is not so obvious from the algebraic form of coefficients of the right-hand side in the formulas (4.51)-(4.52), the same index pairing argument implies that, in (4.54), the order of the common value at q = 1 is equal to one.
Interestingly enough, contrary to the Feng-Tsygan dimension-drop phenomenon, passing from q = 1 to the general point of the deformation family of the standard quantum Hopf fibrations, blows up the single value of chw 0 on all t ν to the infinite set of pairwise distinct values.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.