Assume that there is an smooth structure of the matrix algebra $M\_{n}(\mathbb{R})$ on fibers of the tangent bundle of a $n^2$ dimensional manifold.



> 
> Is there a Riemannian metric on $M$ such that all operator of parallel transports would be an algebra isomorphism?
> 
> 
> 



Parallel transport as algebra isomorphism
It is a classic theorem in linear algebra that any ($\mathbb{R}$-linear) automorphism $\phi$ of the the ring $M\_n(\mathbb{R})$ is *inner*, i.e., of the form $\phi(x) = axa^{-1}$ for some invertible $a\in M\_n(\mathbb{R})$. In particular, the group of automorphisms of the algebra is $\mathrm{PGL}(n,\mathbb{R})$, a simple group of dimension $n^2{-}1$, whose maximal compact subgroups are all conjugate to $\mathrm{PO}(n) = \mathrm{O}(n)/\{\pm I\_n\}$.


To avoid trivial cases, assume that $n>1$ and, at least to start with, assume also that $M$ be simply connected. If $M^{n^2}$ carried a Riemannian metric $g$ whose Levi-Civita connection $\nabla$ preserved an $M\_n(\mathbb{R})$ algebra structure on $TM$, then, because its holonomy would be compact, there would be an underlying $\nabla$-parallel $\mathrm{PO}(n)$-structure on $M$. 


Now, the representation of $\mathrm{PO}(n)$ on $M\_n(\mathbb{R})$ is reducible, being the sum of three terms:  

$$
M\_n(\mathbb{R}) = \mathbb{R}{\cdot}I\_n\ \oplus\ A\_n(\mathbb{R})\ \oplus\ S\_n(\mathbb{R}), 
$$
where $A\_n(\mathbb{R})\subset M\_n(\mathbb{R})$ consists of the skew-symmetric $n$-by-$n$ matrices, while $S\_n(\mathbb{R})\subset M\_n(\mathbb{R})$ consists of the traceless symmetric $n$-by-$n$ matrices.


When $n>2$, the representations of $\mathrm{PO}(n)$ on both $A\_n(\mathbb{R})$ and $S\_n(\mathbb{R})$ are irreducible and (almost) faithful. By the Bianchi identities, the two corresponding subbundles of $TM$ will be $\nabla$-parallel and, hence by the reducibility of the holonomy, the metric on $M$ will locally split as a product into three factors The (almost) faithfulness of two of the representations guarantees (by the second Bianchi identity), that the curvature of $\nabla$ must vanish identically. Hence, the only case that occurs is the locally flat structure. One can, of course, do things with open sets and discrete quotients, but, locally, the flat case is the only case.


When $n=2$, things are different. The group $\mathrm{PO}(2)$ acts on $A\_2(\mathbb{R})\simeq \mathbb{R}$ as $\{\pm1\}\simeq \mathbb{Z}\_2$, and it acts on $S\_2(\mathbb{R})\simeq \mathbb{R}^2$ as $\mathrm{O}(2)$. Since $M$ is simply connected, it follows that, at least locally, $(M,g)$ can be written as a metric product
$$
M = \mathbb{R}\times \mathbb{R}\times \Sigma,
$$ 
where $(\Sigma,h)$ is an oriented Riemannian surface, which, hence, has an associated orthogonal complex structure $J$ and area form $\omega$. Then one can define an $M\_2(\mathbb{R})$ structure on $T\_pM$ = $T\_x\mathbb{R}\times T\_y\mathbb{R}\times T\_z\Sigma = \mathbb{R}\oplus\mathbb{R}\oplus T\_z\Sigma$ by the rule
$$
(a,b,v)(a',b',v') = (aa'{-}bb'{+}h(v,v'),\ ab'{+}a'b{+}\omega(v,v'),\ av'{+}a'v{+}b\,Jv' {+} b'\,Jv).
$$
Thus, the general solution essentially depends on a Riemannian metric in dimension $2$, which is one function of two variables, up to diffeomorphism.


If one is willing to consider pseudo-Riemannian metrics instead of only Riemannian ones, there are other solutions. For example, when $n=2$, $\mathrm{PGL}(2,\mathbb{R})$ acts preserving the irreducible splitting
$$
M\_2(\mathbb{R}) = \mathbb{R}{\cdot}I\_2\ \oplus Z\_2(\mathbb{R})
$$
where $Z\_2(\mathbb{R})\simeq \mathbb{R}^3$ is the space of $2$-by-$2$ traceless matrices. The action of $\mathrm{PGL}(2,\mathbb{R})$ on $Z\_2(\mathbb{R})$ preserves a Lorentzian inner product $\langle,\rangle$ that satisfies $\langle v,v\rangle = \det(v)$, so that $v^2 = -\langle v,v\rangle I\_2$ and the 'outer' or 'skew' product $[v,w] = vw-wv$. 


Consequently, if $(M^4,g)$ is a simply-connected Lorentzian $4$-manifold whose holonomy preserves a $M\_2(\mathbb{R})$ algebra structure on $TM$, then $M$ can be written locally as a metric product 
$$
M^4 = \mathbb{R} \times \Sigma^3
$$
where $(\Sigma^3,h)$ is an oriented Lorentzian $3$-manifold and $g$-parallel algebra structure on $TM= T\mathbb{R}\oplus T\Sigma$ can be written in the form
$$
(a,v)(a',v') = (aa'-h(v,v'),\ av' + a'v + v{\times}v')
$$
where $v{\times}v' = \ast\_h(v\wedge v')$ and where $\ast\_h:\Lambda^2(T\Sigma)\to T\Sigma$ is the Hodge star associated to the Lorentzian metric $h$ and the orientation. This gives a family of (Lorentzian) solutions depending on $3$ functions of $3$ variables locally.


Finally, when $n>2$, there is the natural bi-invariant $M\_n(\mathbb{R})$ structure on $M=\mathrm{GL}(n,\mathbb{R})$ itself, regarded as a pseudo-Riemannian symmetric space, together its dual symmetric space $M^\* = \mathrm{GL}(n,\mathbb{C})/\mathrm{GL}(n,\mathbb{R})$. By Berger's classification of non-symmetric holonomies (or by simply computing the space of curvatures of this particular $\mathrm{PGL}(n,\mathbb{R})$-structure and seeing that the only possibility is the locally symmetric one), these are, locally, the only examples when $n>2$.


