Inverse and stability theorems for approximate representations of finite groups

W. T. Gowers   ; O. Hatami

Sbornik. Mathematics, Tome 208 (2017) no. 12, pp. 1784-1817

Résumé

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 $\mathrm{M}_n(\mathbb{C})$. 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\colon G\to\mathrm{M}_n(\mathbb{C})$ 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,y\in G$, then there must be a representation $\rho$ such that $f(x)-\rho(x)$ has small Hilbert-Schmidt norm for every $x$. Again, the dimension of $\rho$ need not be exactly $n$, but it must be close to $n$. We also obtain stability theorems for other Schatten $p$-norms. Bibliography: 14 titles.

Détail

Keywords: finite group, approximating representation, Schatten $p$-norm.

Bibliographie

[1] L. Babai, K. Friedl, A. Lukács, Near representations of finite groups, Manuscript, 2003

[2] R. Bhatia, Matrix analysis, Grad. Texts in Math., 169, reprint of the 1st ed. 1997, Springer-Verlag, New York, 2013, xii+347 pp. | DOI | MR | Zbl

[3] M. Burger, N. Ozawa, A. Thom, “On Ulam stability”, Israel J. Math., 193:1 (2013), 109–129 | DOI | MR | Zbl

[4] W. T. Gowers, “Quasirandom groups”, Combin. Probab. Comput., 17:3 (2008), 363–387 | DOI | MR | Zbl

[5] K. Grove, H. Karcher, E. A. Ruh, “Group actions and curvature”, Invent. Math., 23 (1974), 31–48 | DOI | MR | Zbl

[6] K. Grove, H. Karcher, E. A. Ruh, “Jacobi fields and Finsler metrics on compact Lie groups with an application to differentiable pinching problems”, Math. Ann., 211 (1974), 7–21 | DOI | MR | Zbl

[7] B. E. Johnson, “Approximately multiplicative maps between Banach algebras”, J. London Math. Soc. (2), 37:2 (1988), 294–316 | DOI | MR | Zbl

[8] D. Kazhdan, “On $\varepsilon$-representations”, Israel J. Math., 43:4 (1982), 315–323 | DOI | MR | Zbl

[9] C. Moore, A. Russell, “Approximate representations, approximate homomorphisms, and low-dimensional embeddings of groups”, SIAM J. Discrete Math., 29:1 (2015), 182–197 | DOI | MR | Zbl

[10] Zh.-P. Serr, Lineinye predstavleniya konechnykh grupp, Mir, M., 1970, 132 pp. ; J.-P. Serre, Représentations linéaires des groupes finis, Hermann, Paris, 1967, xii+135 pp. (not consecutively paged) ; J.-P. Serre, Linear representations of finite groups, Grad. Texts in Math., 42, Springer-Verlag, New York–Heidelberg, 1977, x+170 с. | Zbl | MR | Zbl | MR | Zbl

[11] A. I. Shtern, “Roughness and approximation of quasi-representations of amenable groups”, Math. Notes, 65:6 (1999), 760–769 | DOI | DOI | MR | Zbl

[12] A. I. Shtern, “Quasirepresentations of amenable groups: results, errors, and hopes”, Russ. J. Math. Phys., 20:2 (2013), 239–253 | DOI | MR | Zbl

[13] A. Terras, Fourier analysis on finite groups and applications, London Math. Soc. Stud. Texts, 43, Cambridge Univ. Press, Cambridge, 1999, x+442 pp. | DOI | MR | Zbl

[14] S. M. Ulam, A collection of mathematical problems, Interscience Tracts in Pure and Applied Mathematics, 8, Interscience Publishers, New York–London, 1960, xiii+150 pp. | MR | Zbl | Zbl