Relative Invariants from Moving Frames on an Extended Manifold
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909986716647424 |
|---|---|
| author | Bedratyuk, Leonid |
| author_facet | Bedratyuk, Leonid |
| contents | A constructive modification of the moving frame method is developed in this paper for the construction of relative invariants of regular Lie group actions. Let a relative invariant $I$ of weight $ω$ transform according to the rule $$ I(g \cdot \boldsymbol x) = μ(g, \boldsymbol x)^ω I(\boldsymbol x), $$ where $μ: G \times \mathcal{M} \to \mathbb{R}^\times$ is a scalar multiplier (1-cocycle). It is shown that the cocycle property of $μ$ is equivalent to the well-definedness of the twisted group action on the extended manifold $\widehat{\mathcal{M}} = \mathcal{M} \times \mathbb{R}^\times$, and that relative invariants on $\mathcal{M}$ are in one-to-one correspondence with absolute invariants of this action on $\widehat{\mathcal{M}}$.
The main result is that, given a moving frame, the invariantization of the multiplier is a canonical relative invariant of weight $-1$. This enables the constructive realization of any weight and yields an explicit formula for an arbitrary relative invariant in terms of the fundamental absolute invariants and the invariantized multiplier. Examples are provided to demonstrate the application of the proposed approach for the projective group $PGL(3, \mathbb{R})$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_06660 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Relative Invariants from Moving Frames on an Extended Manifold Bedratyuk, Leonid Rings and Algebras Differential Geometry A constructive modification of the moving frame method is developed in this paper for the construction of relative invariants of regular Lie group actions. Let a relative invariant $I$ of weight $ω$ transform according to the rule $$ I(g \cdot \boldsymbol x) = μ(g, \boldsymbol x)^ω I(\boldsymbol x), $$ where $μ: G \times \mathcal{M} \to \mathbb{R}^\times$ is a scalar multiplier (1-cocycle). It is shown that the cocycle property of $μ$ is equivalent to the well-definedness of the twisted group action on the extended manifold $\widehat{\mathcal{M}} = \mathcal{M} \times \mathbb{R}^\times$, and that relative invariants on $\mathcal{M}$ are in one-to-one correspondence with absolute invariants of this action on $\widehat{\mathcal{M}}$. The main result is that, given a moving frame, the invariantization of the multiplier is a canonical relative invariant of weight $-1$. This enables the constructive realization of any weight and yields an explicit formula for an arbitrary relative invariant in terms of the fundamental absolute invariants and the invariantized multiplier. Examples are provided to demonstrate the application of the proposed approach for the projective group $PGL(3, \mathbb{R})$. |
| title | Relative Invariants from Moving Frames on an Extended Manifold |
| topic | Rings and Algebras Differential Geometry |
| url | https://arxiv.org/abs/2601.06660 |