Lifting strongly graded rings via overgroups

RESUMO

Motivated by lifting problems for principal bundles, we study the following algebraic problem. Let $\smash{\widehat{G}}$ be a group with identity element $e$, let $G \leq \smash{\widehat{G}}$, and let $S$ be a strongly $G$-graded unital ring with principal component $R:=S_e$. We ask whether the given grading extends to a strong $\smash{\widehat{G}}$-grading without altering its $G$-homogeneous components. For every extension $\smash{\widehat{p}}$ of the Picard homomorphism of $S$, we construct a characteristic class in the relative third cohomology group \[ H^3_{\smash{\widehat{p}}}(\smash{\widehat{G}},G;\operatorname{U}(Z(R))), \] where $Z(R)$ denotes the center of $R$ and $\operatorname{U}(Z(R))$ its group of units. The~vanishing of this class is equivalent to the existence of a lift. When it vanishes, the relative second cohomology group \[ H^2_{\smash{\widehat{p}}}(\smash{\widehat{G}},G;\operatorname{U}(Z(R))) \] acts simply transitively on the equivalence classes of lifts with Picard homomorphism $\smash{\widehat{p}}$. We also prove that an $H$-grading is strong if and only if both its restriction to a normal subgroup $N \trianglelefteq H$ and its induced $H/N$-grading are strong. We illustrate the theory through a range of examples.