Related papers: Any compact group is a gauge group

An inclusion of observable nets satisfying duality induces an inclusion of canonical field nets. Any Bose net intermediate between the observable net and the field net and satisfying duality is the fixed-point net of the field net under a…

The relation between manifold topology, observables and gauge group is clarified on the basis of the classification of the representations of the algebra of observables associated to positions and displacements on the manifold. The guiding,…

This note is devoted to proving the following result: given a compact metrizable group G, there is a compact metric space K such that G is isomorphic (as a topological group) to the isometry group of K.

A locally compact group $G$ is compact if and only if $L^1(G)$ is an ideal in $L^1(G)^{**}$, and the Fourier algebra $A(G)$ of $G$ is an ideal in $A(G)^{**}$ if and only if $G$ is discrete. On the other hand, $G$ is discrete if and only if…

We introduce a non commutative analog of the Bohr compactification. Starting from a general quantum group G we define a compact quantum group bG which has a universal property such as the universal property of the classical Bohr…

We study how the problem of observables is fully resolved for background independent theories defined on finite graphs. We argue the correct analogue of coordinate independence is the invariance under changes of graph labels, a kind of…

This note focuses the problem of motivating the use of gauge symmetries (being the identity on the observables) from general principles, beyond their practical success, starting from global gauge symmetries and then by emphasizing the…

In this paper we use the recent developments in the representation theory of locally compact quantum groups, to assign, to each locally compact quantum group $\mathbb{G}$, a locally compact group $\tilde \mathbb{G}$ which is the quantum…

Parallel transport as dictated by a gauge field determines a collection of local reference systems. Comparing local reference systems in overlapping regions leads to an ensemble of algebras of relational kinematical observables for gauge…

Let G be any locally compact, unimodular, metrizable group. The main result of this paper, roughly stated, is that if F<G is any finitely generated free group and \Gamma < G any lattice, then up to a small perturbation and passing to a…

Let $G$ be a locally compact group. Consider the C$^*$-algebra $C_0(G)$ of continuous complex functions on $G$, tending to 0 at infinity. The product in $G$ gives rise to a coproduct $\Delta_G$ on the C$^*$-algebra $C_0(G)$. A locally…

We introduce the coherent algebra of a compact metric measure space by analogy with the corresponding concept for a finite graph. As an application we show that upon topologizing the collection of isomorphism classes of compact metric…

We show that a compact group $G$ has finite conjugacy classes, i.e., is an FC-group if and only if its center $Z(G)$ is open if and only if its commutator subgroup $G'$ is finite. Let $d(G)$ denote the Haar measure of the set of all pairs…

Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…

The gauge theoretical formulation of general relativity is presented. We are only concerned with local intrinsic geometry, i.e. our space-time is an open subset of a four-dimensional real vector space. Then the gauge group is the set of…

This paper considers the problem of consistently defining subsystems in gravitational theories. It is argued that a subsystem is a spacetime subregion in which the observables form a closed Poisson algebra. In a generally covariant theory,…

Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…

A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends…

In this article we observe that a locally compact group $G$ is completely determined by the algebraic properties of its Feichtinger's Segal algebra $S_0(G).$ Let $G$ and $H$ be locally compact groups. Then any linear (not necessarily…

A classification of the possible symmetric principal bundles with a compact gauge group, a compact symmetry group and a base manifold which is regularly foliated by the orbits of the symmetry group is derived. A generalization of Wang's…