arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.26590

Reduction of structure groups for noncommutative principal bundles

Stefan Wagner
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $G$ be a compact group and let $H \subseteq G$ be a closed subgroup. We study reduction of the structure group for noncommutative principal bundles, modelled by free C${}^*$-dynamical systems in the sense of Ellwood. We first describe how induction from $H$ to $G$ behaves on associated correspondences and their tensor structure. Using reconstruction, this leads to a Tannakian characterization of reduction of the structure group in terms of the associated tensor functor. For normal subgroups, we characterize reduction in terms of central equivariant homomorphisms and derive module- and $K$-theoretic obstructions. We conclude with a noncommutative $O(n)$-example which admits no reduction to $SO(n)$.

Explore related subjects

math.OAmath-phmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stefan Wagner. 2026-10-19. Reduction of structure groups for noncommutative principal bundles. https://arxiv.org/abs/2610.26590

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Relative Biexactness of Amalgamated Free Product von Neumann Algebras

Given weakly exact tracial von Neumann algebras $M_{1}, M_{2}$ with a common injective von Neumann subalgebra $B$, we prove that the amalgamated free product $M_{1}\overline{*}_{B}M_{2}$ is biexact relative to $\{M_{1},M_{2}\}$. When $M_1$ and $M_2$ are injective but not necessarily tracial, we further show that $M_{1}\overline{*}_{B}M_{2}$ is biexact relative to the amalgam $B$, and if $B$ is mixing in each of $M_1$ and $M_2$, $M_{1}\overline{*}_{B}M_{2}$ itself is biexact. We also develop a new criterion for upgrading relative biexactness and obtain structural decomposition and subalgebra absorption results for amalgamated free product von Neumann algebras that generalize the group case.

math.OA↗
arXiv2026

Equivalence of categories of bivariant K-theory for C*-algebras over topological spaces via reflection functors

In this paper, for various pairs of topological spaces $X$ and $Y$, we introduce an analogue of the Bernšte\uın-Gel'fand-Ponomarev reflection functors between the categories of C*-algebras over $X$ and $Y$. We prove that these functors induce equivalences $\mathfrak{KK}(X)_{\mathrm{loc}} \simeq \mathfrak{KK}(Y)_{\mathrm{loc}}$ between Meyer and Nest's localizing subcategories in Kirchberg's ideal-related KK-theory, and $\mathfrak{E}(X) \simeq \mathfrak{E}(Y)$ between the entire categories in Dadarlat and Meyer's ideal-related E-theory. Both equivalences restrict to the respective bootstrap categories: $\mathcal{B}(X) \simeq \mathcal{B}(Y)$ and $\mathcal{B}_{\mathrm{E}}(X) \simeq \mathcal{B}_{\mathrm{E}}(Y)$. Combining these equivalences with a combinatorial argument in quiver representation theory, we obtain the same equivalences for any two finite $T_0$-spaces whose Hasse diagrams are orientations of the same tree. Moreover, we prove a rearrangement property of reflection functors, which yields an analogue of Coxeter functors. Finally, we apply reflection functors to give a conceptual alternative proof of Bentmann and Köhler's universal coefficient theorem for filtrated K-theory over finite $T_0$-spaces whose Hasse diagrams are orientations of Dynkin diagrams of type A.

math.OA↗
arXiv2026

Commutative Counterexamples to Arveson's Hyperrigidity Conjecture

We construct counterexamples to Arveson's hyperrigidity conjecture for operator systems in commutative $C^*$-algebras. In each example, every irreducible representation of the $C^*$-envelope is a boundary representation, but hyperrigidity fails. The first example is the operator system of continuous affine functions on an infinite-dimensional weighted $\ell^p$ ball. In the second infinite-dimensional example, we start with commuting operators and construct a nontrivial dilation. The final example comes from a compact truncated epigraph of a strictly convex function and yields a finite-dimensional operator system.

math.OA↗