Related papers: Invariant metrics on finite groups

We prove that for any constant $K>0$ there exists a separable group equipped with a complete bi-invariant metric bounded by $K$, isometric to the Urysohn sphere of diameter $K$, that is of `almost-universal disposition'. It is thus an…

We study homogeneous Einstein metrics on indecomposable non-K\"ahlerian C-spaces, i.e. even-dimensional torus bundles $M=G/H$ with $\mathsf{rank} G>\mathsf{rank} H$ over flag manifolds $F=G/K$ of a compact simple Lie group $G$. Based on the…

We provide techniques for studying the nonnegatively curved left-invariant metrics on a compact Lie group. For "straight" paths of left-invariant metrics starting at bi-invariant metrics and ending at nonnegatively curved metrics, we deduce…

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…

Gaussian quasi-invariant measures on groups of diffeomorphisms and loop groups G relative to dense subgroups G' were constructed. In the non-Archimedean case the wider class of measures was investigated, than in the real case. The cases of…

We discuss in this paper the conformal geometry of bi-invariant metrics on compact semisimple Lie groups. For this purpose we develop a conformal Cartan calculus adapted to this problem. In particular, we derive an explicit formula for the…

Global internal symmetries act unitarily on local observables or states of a quantum system. In this note, we aim to generalise this statement to extended observables by considering unitary actions of finite global 2-group symmetries…

Let $(N, J)$ be a simply connected $2n$-dimensional nilpotent Lie group endowed with an invariant complex structure. We define a left invariant Riemannian metric on $N$ compatible with $J$ to be minimal, if it minimizes the norm of the…

Mathematical core of quantum mechanics is the theory of unitary representations of symmetries of physical systems. We argue that quantum behavior is a natural result of extraction of "observable" information about systems containing…

Given a finite simplicial graph ${\cal G}$, the graph group $G{\cal G}$" is the group with generators in one-to-one correspondence with the vertices of ${\cal G}$ and with relations stating two generators commute if their associated…

The first part deals with piecewise fractional linear maps with three branches. Given a map $T$ a map $S$ is called a related map if some branches of $T$ are replaced by a 'flipped' branch, namely a branch of $1-T$. The main question is if…

In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions. We specialize to certain gaugeable cases, specifically, fusion categories of the form Rep(H) for H a suitable Hopf algebra (which includes the special…

Units equivariance (or units covariance) is the exact symmetry that follows from the requirement that relationships among measured quantities of physics relevance must obey self-consistent dimensional scalings. Here, we express this…

Let $G$ be a finite group. By a sequence over $G$, we mean a finite unordered string of terms from $G$ with repetition allowed, and we say that it is a product-one sequence if its terms can be ordered so that their product is the identity…

Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product…

Determining the measurement uncertainty region is a difficult problem for generic sets of observables. For this reason the literature on exact measurement uncertainty regions is focused on symmetric sets of observables, where the symmetries…

We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$…

A homogeneous quasimorphism $\phi$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $\phi(gxg^{-1}) = \phi(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic…

On a smooth closed oriented $4$-manifold $M$ with a smooth action of a finite group $G$ on a Spin$^c$ structure, $G$-monopole invariant is defined by "counting" $G$-invariant solutions of Seiberg-Witten equations for any $G$-invariant…

We investigate the existence problem of group invariant matrices using algebraic approaches. We extend the usual concept of multipliers to group rings with cyclotomic integers as coefficients. This concept is combined with the field descent…