Linear representations of manifolds

TL;DR

This paper introduces a novel concept of linear manifold representations that generalize group representations to G-manifolds, providing explicit bounds and constructive methods for equivariant embeddings.

Contribution

It defines linear representations of G-manifolds, generalizes classical embeddings, and offers explicit, sharp bounds for Mostow-Palais G-equivariant embeddings with constructive methods.

Findings

Provided explicit bounds for minimal-dimensional G-equivariant embeddings.

Generalized group representations to G-manifolds and homogeneous spaces.

Offered constructive methods with explicit expressions for embeddings.

Abstract

A finite-dimensional linear representation of a group or an algebra may be regarded as a map into a space of matrices, endowing abstract elements with coordinates, and encoding algebraic operations as matrix products. With this in mind, we define a linear representation of a $\mathsf{G}$-manifold $\mathcal{M} $ as a map into a space of matrices, representing points as matrices and the $\mathsf{G}$-action as matrix products. We show that this generalizes group representations to any $\mathsf{G}$-manifold that may not have a group structure, with homogeneous spaces $\mathsf{G}/\mathsf{H}$ an important special case; and in this case it also generalizes Cartan embeddings of symmetric spaces to more general $\mathsf{G}/\mathsf{H}$. To demonstrate the utility of such manifold representations, we use them to provide effective bounds for Mostow-Palais $\mathsf{G}$-equivariant embeddings of $\mathsf{G}$-manifolds into $\mathsf{G}$-modules $\mathbb{V}$. Unlike Whitney and Nash embeddings, Mostow-Palais embeddings have no known effective bounds; before our work, it was only known that $\dim \mathbb{V} < \infty$ if $\mathsf{G}$ is compact. We will give explicit values for $\dim \mathbb{V}$ and show that our bounds are sharp. Furthermore, our method is constructive, giving explicit expressions for these minimal-dimensional Mostow-Palais embeddings.