Rational invariants of even ternary forms under the orthogonal group

Abstract : In this article we determine a generating set of rational invariants of minimal cardinality for the action of the orthogonal group O3 on the space $R[x, y, z]_2d$ of ternary forms of even degree 2d. The construction relies on two key ingredients: On one hand, the Slice Lemma allows us to reduce the problem to determining the invariants for the action on a subspace of the finite subgroup B3 of signed permutations. On the other hand, our construction relies in a fundamental way on specific bases of harmonic polynomials. These bases provide maps with prescribed B3-equivariance properties. Our explicit construction of these bases should be relevant well beyond the scope of this paper. The expression of the B3-invariants can then be given in a compact form as the composition of two equivariant maps. Instead of providing (cumbersome) explicit expressions for the O3-invariants, we provide efficient algorithms for their evaluation and rewriting. We also use the constructed B3-invariants to determine the O3-orbit locus and provide an algorithm for the inverse problem of finding an element in $R[x, y, z]_2d$ with prescribed values for its invariants. These are the computational issues relevant in brain imaging.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01570853
Contributor : Evelyne Hubert <>
Submitted on : Thursday, July 12, 2018 - 11:23:46 AM
Last modification on : Thursday, February 7, 2019 - 3:13:20 PM

File

GoHuPa17.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Paul Görlach, Evelyne Hubert, Théo Papadopoulo. Rational invariants of even ternary forms under the orthogonal group. Foundations of Computational Mathematics, Springer Verlag, In press, ⟨10.1007/s10208-018-9404-1⟩. ⟨hal-01570853v4⟩

Share

Metrics

Record views

216

Files downloads

158