Related papers: Any compact group is a gauge group

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

We consider faithful actions of simple algebraic groups on self-dual irreducible modules, and on the associated varieties of totally singular subspaces, under the assumption that the dimension of the group is at least as large as the…

For every countable group G we construct a compact path connected subspace K of R^4 whose fundamental group is isomorphic to G. Our construction is much simpler than the one found recently by Virk.

Symmetry packaging is the phenomenon whereby, upon particle creation, all the internal quantum numbers (IQNs) become locked into a single irreducible representation (irrep) block of the gauge group, as required by locality and gauge…

In gauge theories and gravity, field variables are generally not gauge-invariant observables, but such observables may be constructed by "dressing" these or more general operators. Dressed operators create particles, together with their…

Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$,…

Gauge-invariant observables for quantum gravity are described, with explicit constructions given primarily to leading order in Newton's constant, analogous to and extending constructions first given by Dirac in quantum electrodynamics.…

The purely algebraic notion of CQG algebra (algebra of functions on a compact quantum group) is defined. In a straightforward algebraic manner, the Peter-Weyl theorem for CQG algebras and the existence of a unique positive definite Haar…

Assuming that the natural gauge group of gravity is given by the group of isometries of a given space, for a maximally symmetric space we derive a model in which gravity is essentially a gauge theory of translations. Starting from first…

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

Let (G,X) be a locally compact transformation group, in which G acts freely on X. We show that the associated transformation-group C^*-algebra is a Fell algebra if and only if X is a Cartan G-space.

We apply gauge theory to study the space $F_k(M)$ of smooth codimension-$k$ framed foliations on a smooth manifold $M$. The quotient of Maurer-Cartan elements by the action of an infinite dimensional non-abelian gauge groupoid forms a…

Let V be a compact Kahler manifold. Let G' be a commutative subgroup of Aut(V) and U the set of elements of zero entropy of G'. Then U is a group and G' is isomorphic to the direct product of groups U and G where G is a subgroup of G' such…

If a compact quantum group acts faithfully and smoothly (in the sense of Goswami 2009) on a smooth, compact, oriented, connected Riemannian manifold such that the action induces a natural bimodule morphism on the module of sections of the…

The Fourier transform, known in classical analysis, and generalized in abstract harmonic analysis, can also be considered in the theory of locally compact quantum groups. In this note, I discuss some aspects of this more general Fourier…

Let $\mathfrak{g}$ be a Lie algebra over an algebraically closed field $\Bbbk$ of characteristic zero. Define the universal grading group $\mathcal{C}(\mathfrak{g})$ as having one generator $g_{\rho}$ for each irreducible…

For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $\phi:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a…

The paper deals with weighted spaces $L_p^w(G)$ on a locally compact group G. If w is a positive measurable function on G then we define the space $L_p^w(G)$, $p\ge1$, as $L_p^w(G)=\{f:fw\in L_p(G)\}$. We consider weights such that these…

We construct a graded Lie algebra $\mathcal{E}$ in which the Maurer-Cartan equation is equivalent to the vacuum Einstein equations. The gauge groupoid is the groupoid of rank 4 real vector bundles with a conformal inner product, over a…

We show that a compact quantum group all whose irreducible representations have dimension bounded by a fixed constant must be of Kac type, in other words, its Haar measure is a trace. The proof is based on establishing several facts…