Differential of the Stretch Tensor for Any Dimension with Applications to Quotient Geodesics
The polar decomposition $X=WR$, with $X \in \mathrm{GL}(n, \mathbb{R})$, $W \in \mathcal{S}_+(n)$, and $R \in \mathcal{O}_n$, suggests a right action of the orthogonal group $\mathcal{O}_n$ on the general linear group $\mathrm{GL}(n, \mathbb{R})$. Equipped with the Frobenius metric, the $ \mathcal{O...
Saved in:
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Académie des sciences
2024-11-01
|
Series: | Comptes Rendus. Mathématique |
Subjects: | |
Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.692/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | The polar decomposition $X=WR$, with $X \in \mathrm{GL}(n, \mathbb{R})$, $W \in \mathcal{S}_+(n)$, and $R \in \mathcal{O}_n$, suggests a right action of the orthogonal group $\mathcal{O}_n$ on the general linear group $\mathrm{GL}(n, \mathbb{R})$. Equipped with the Frobenius metric, the $ \mathcal{O}_n $-principal bundle $\pi : X \in \mathrm{GL}(n, \mathbb{R}) \mapsto X\mathcal{O}_n \in \mathrm{GL} (n, \mathbb{R}) / \mathcal{O}_n$ becomes a Riemannian submersion. In this note, we derive an expression for the derivative of its unique symmetric section $ s \circ \pi $ in any dimension, in terms of a solution to a Sylvester equation. We discuss how to solve this type of equation and verify that our formula coincides with those derived in the literature for low dimensions. We apply our result to the characterization of geodesics of the Frobenius metric in the quotient space $\mathrm{GL} (n, \mathbb{R}) / \mathcal{O}_n$. |
---|---|
ISSN: | 1778-3569 |