Inverse and stability theorems for approximate representations of finite groups

DOI10.1070/SM8872MaRDI QIDQ4610201zbMATH OpenOpenAlexFDO

Authors O. Hatami, W. Timothy Gowers

Publication date 6 April 2018

Published in Sbornik: Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.04085

zbMATH Keywords

finite groupSchatten \(p\)-normapproximating representation

Mathematics Subject Classification ID

Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Stability, separation, extension, and related topics for functional equations (39B82) Representation theory of groups (20C99)

Abstract: The $U^2$ norm gives a useful measure of quasirandomness for real- or complex-valued functions defined on finite (or, more generally, locally compact) groups. A simple Fourier-analytic argument yields an inverse theorem, which shows that a bounded function with a large $U^2$ norm defined on a finite Abelian group must correlate significantly with a character. In this paper we generalize this statement to functions that are defined on arbitrary finite groups and that take values in M${}_n(mathbbC)$. The conclusion now is that the function correlates with a representation -- though with the twist that the dimension of the representation is shown to be within a constant of $n$ rather than being exactly equal to $n$. There are easy examples that show that this weakening of the obvious conclusion is necessary. The proof is much less straightforward than it is in the case of scalar functions on Abelian groups. As an easy corollary, we prove a stability theorem for near representations. It states that if $G$ is a finite group and $f:Go$M${}_n(mathbbC)$ is a function that is close to a representation in the sense that $f(xy)-f(x)f(y)$ has a small Hilbert-Schmidt norm (also known as the Frobenius norm) for every $x,yinG$, then there must be a representation $ho$ such that $f(x)-ho(x)$ has small Hilbert-Schmidt norm for every $x$. Again, the dimension of $ho$ need not be exactly $n$, but it must be close to $n$. We also obtain stability theorems for other Schatten $p$-norms. A stability theorem of this kind was obtained for the operator norm by Grove, Karcher and Ruh in 1974 and in a more general form by Kazhdan in 1982. (For the operator norm, the dimension of the approximating representation is exactly $n$.)

Recommendations

• OPERATOR ALGEBRAIC APPROACH TO INVERSE AND STABILITY THEOREMS FOR AMENABLE GROUPS
• On uniform Hilbert Schmidt stability of groups
• Approximate representations, approximate homomorphisms, and low-dimensional embeddings of groups
• Group Representations and Stability of Functional Equations
• On approximate group homomorphisms

Cites work

• scientific article; zbMATH DE number 3141308 (Why is no real title available?)
• scientific article; zbMATH DE number 1318047 (Why is no real title available?)
• scientific article; zbMATH DE number 3301479 (Why is no real title available?)
• scientific article; zbMATH DE number 967931 (Why is no real title available?)
• Approximate representations, approximate homomorphisms, and low-dimensional embeddings of groups
• Approximately Multiplicative Maps Between Banach Algebras
• Group actions and curvature
• Jacobi fields and Finsler metrics on compact Lie groups with an application to differentiable pinching problems
• On Ulam stability
• On \(\varepsilon\)-representations
• Quasirandom Groups
• Quasirepresentations of amenable groups: results, errors, and hopes
• Roughness and approximation of quasi-representations of amenable groups

Cited in

(13)

• OPERATOR ALGEBRAIC APPROACH TO INVERSE AND STABILITY THEOREMS FOR AMENABLE GROUPS
• Quasihomomorphisms from the integers into Hamming metrics
• Embedding Graphs into Larger Graphs: Results, Methods, and Problems
• Bounds on Dimension Reduction in the Nuclear Norm
• Failure of the trilinear operator space Grothendieck theorem
• On uniform Hilbert Schmidt stability of groups
• Approximate representations, approximate homomorphisms, and low-dimensional embeddings of groups
• Constant-sized robust self-tests for states and measurements of unbounded dimension
• Testability in group theory
• Arkhipov's theorem, graph minors, and linear system nonlocal games
• Positive definite maps on amenable groups
• Generalizations of Fourier analysis, and how to apply them
• \(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes' embedding problem and Tsirelson's problem

This page was built for publication: Inverse and stability theorems for approximate representations of finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4610201)