Quadratic maps between non-abelian groups

TL;DR

This paper advances the inverse theory for higher-order uniformity norms of matrix-valued functions on non-abelian groups, focusing on perfect groups and classifying quadratic maps.

Contribution

It provides a complete classification of Leibman's quadratic maps between non-abelian groups through an explicit universal construction.

Findings

Classified quadratic maps on arbitrary abelian groups.

Proved no nontrivial polynomial maps of degree > 1 exist on perfect groups.

Established stability results for approximate polynomial maps.

Abstract

Gowers and Hatami initiated the inverse theory for the uniformity norms $U^k$ of matrix-valued functions on non-abelian groups by proving a $1\%$-inverse theorem for the $U^2$-norm and relating it to stability questions for almost representations. In this article, we take a step toward an inverse theory for higher-order uniformity norms of matrix-valued functions on arbitrary groups by examining the $99\%$ regime for the $U^k$-norm on perfect groups of bounded commutator width. This analysis prompts a classification of Leibman's quadratic maps between non-abelian groups. Our principal contribution is a complete description of these maps via an explicit universal construction. From this classification we deduce several applications: A full classification of quadratic maps on arbitrary abelian groups; a proof that no nontrivial polynomial maps of degree greater than one exist on perfect groups; stability results for approximate polynomial maps.