The Radicals of Crossed Products

We develop a theory of crossed products by "actions" of Hecke pairs $(G, \Gamma)$, motivated by applications in non-abelian $C^*$-duality. Our approach gives back the usual crossed product construction whenever $G / \Gamma$ is a group and retains many of the aspects of crossed products by groups. In this first of two articles we lay the $^*$-algebraic foundations of these crossed products by Hecke pairs and we explore their representation theory.

In the first part of the paper, we develop a theory of crossed products of a $C^*$-algebra $A$ by an arbitrary (not necessarily extendible) endomorphism $\alpha:A\to A$. We consider relative crossed products $C^*(A,\alpha;J)$ where $J$ is an ideal in $A$, and describe up to Morita-Rieffel equivalence all gauge invariant ideals in $C^*(A,\alpha;J)$ and give six term exact sequences determining their $K$-theory. We also obtain certain criteria implying that all ideals in $C^*(A...

Let $(\mathcal G, \Sigma)$ be an ordered abelian group with Haar measure $\mu$, let $(\mathcal A, \mathcal G, \alpha)$ be a dynamical system and let $\mathcal A\rtimes_{\alpha} \Sigma $ be the associated semicrossed product. Using Takai duality we establish a stable isomorphism \[ \mathcal A\rtimes_{\alpha} \Sigma \sim_{s} \big(\mathcal A \otimes \mathcal K(\mathcal G, \Sigma, \mu)\big)\rtimes_{\alpha\otimes {\rm Ad}\: \rho} \mathcal G, \] where $\mathcal K(\mathcal G, \Sigma...

Masuoka proved (2009) that a finite-dimensional irreducible Hopf algebra $H$ in positive characteristic is semisimple if and only if it is commutative semisimple if and only if the Hopf subalgebra generated by all primitives is semisimple. In this paper, we give another proof of this result by using Hochschild cohomology of coalgebras.

Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is concrete realization of general categorical construction. For quantum braided group $(H,{\cal R})$ corresponding braided category ${\cal C}^{\cal R}_H$ of modules is identifyed with full subcategory in ${\cal C}_H^H$. Connection with crossproduc...

The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomology. Now let us consider a Hopf algebra A such that its Jacobson radical J is a nilp...

Let $p,q$ be prime numbers with $p^4<q$, and $k$ an algebraically closed field of characteristic 0. We show that semisimple Hopf algebras of dimension $p^2q^2$ can be constructed either from group algebras and their duals by means of extensions, or from Radford biproduct $R#kG$, where $kG$ is the group algebra of group $G$ of order $p^2$, $R$ is a semisimple Yetter-Drinfeld Hopf algebra in ${}^{kG}_{kG}\mathcal{YD}$ of dimension $q^2$. As an application, the special case that...

In this paper we analyse for a $G$-$C^{*}$-algebra $A$ to which extent one can calculate the $K$-theory of the reduced crossed product $K(A\rtimes_{r}G)$ from the $K$-theory spectrum $K(A)$ with the induced $G$-action. We also consider some cases where one allows to use the $K$-theories of crossed products for some proper subgroups of $G$. Our central goal is to demonstrate the usefulness of a homotopy theoretic approach. We mainly concentrate on finite groups.

We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a fie...

The concept of a crossed tensor product of algebras is studied from a few points of views. Some related constructions are considered. Crossed enveloping algebras and their representations are discussed. Applications to the noncommutative geometry and particle systems with generalized statistics are indicated.