  A natural isomorphism between the cyclic object computing the relative cyclic
homology of a homogeneous quotient-coalgebra-Galois extension, and the cyclic
object computing the cyclic homology of a Galois coalgebra with SAYD
coefficients is presented. The isomorphism can be viewed as the
cyclic-homological counterpart of the Takeuchi-Galois correspondence between
the left coideal subalgebras and the quotient right module coalgebras of a Hopf
algebra. A spectral sequence generalizing the classical computation of
Hochschild homology of a Hopf algebra to the case of arbitrary homogeneous
quotient-coalgebra-Galois extensions is constructed. A Pontryagin type
self-duality of the Takeuchi-Galois correspondence is combined with the cyclic
duality of Connes in order to obtain dual results on the invariant cyclic
homology, with SAYD coefficients, of algebras of invariants in homogeneous
quotient-coalgebra-Galois extensions. The relation of this dual result with the
Chern character, Frobenius reciprocity, and inertia phenomena in the local
Langlands program, the Chen-Ruan-Brylinski-Nistor orbifold cohomology and the
Clifford theory is discussed.
