*-Structures on Module-Algebras

TL;DR

This chapter develops a comprehensive framework for ( extasteriskcentered)-structures on module-algebras over Hopf ( extasteriskcentered)-algebras, including definitions, properties, and interactions with tensor products, duality, and braidings.

Contribution

It introduces a systematic approach to defining and analyzing ( extasteriskcentered)-structures on module-algebras, extending to tensor algebras and exploring their compatibility with various algebraic structures.

Findings

( extasteriskcentered)-structure on modules lifts uniquely to tensor algebras

Tensor algebra possesses a universal property for ( extasteriskcentered)-modules

Interaction between ( extasteriskcentered)-structures, R-matrices, and braidings is characterized

Abstract

This chapter lays out a framework for discussing (\ast)-structures on module-algebras over a Hopf (\ast)-algebra (H). We define a complex conjugation functor (V \mapsto \bar{V}), which is an involution on the module category (\hmod), and discuss its interaction with natural constructions such as direct sums, duality, Hom, and tensor products. We define (\ast)-structures first at the level of modules. We say that (V) is a (\ast)-module if there is an isomorphism (\ast : \bar{V} \to V) in (\hmod) which is involutive in an appropriate sense. Then we define (\ast)-structures on algebras in (\hmod) by requiring compatibility with multiplication. We show that a (\ast)-structure on a module lifts uniquely to the tensor algebra, and we prove that the tensor algebra has a universal mapping properly for morphisms of (\ast)-modules. We also discuss inner products and adjoints in this framework. Finally, we discuss the interaction between (\ast)-structures, (R)-matrices, and braidings.