A characterization of the dependence of the Riemannian metric on the curvature tensor by Young symmetrizers (Q1381128): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(6 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Bernd Fiedler / rank | |||
Property / author | |||
Property / author: Bernd Fiedler / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: PERMS / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: MathTensor / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5719436 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A use of ideal decomposition in the computer algebra of tensor expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal forms for tensor polynomials. I. The Riemann tensor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spinorkalkül und Normalkoordinaten / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040088 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3952291 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representations of permutation groups. Part I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4887322 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5797085 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3947818 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5772226 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.4171/zaa/813 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2012242895 / rank | |||
Normal rank |
Latest revision as of 11:14, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of the dependence of the Riemannian metric on the curvature tensor by Young symmetrizers |
scientific article |
Statements
A characterization of the dependence of the Riemannian metric on the curvature tensor by Young symmetrizers (English)
0 references
27 January 1999
0 references
The first method for the determination of a Riemannian metric from the components of the curvature tensor in normal coordinates was given by Herglotz. The so-called Herglotz relations are nonlinear differential equations and give (at least in the analytic case) the power series expansion of the metric. The related coefficients are determined by the symmetrized partial derivatives of the curvature tensor. Later on, P. Günther found a power series expansion of the metric with explicit coefficients which depend on covariant derivatives of the curvature tensor symmetrized in a certain way. In the paper under review, the author studies the difference between both kind of symmetrizations. For this reason the representation theory of the symmetric group \({\mathcal S}_r\) is used. The partial derivatives \(\partial_{i_1}\dots\partial_{i_r} R_{ijkl}\) induce group ring elements belonging to a direct sum \(J_{(r)}\oplus\widehat J_{(r)} \oplus \breve J_{(r)}\) of three minimal left ideals of the group ring \(\mathbb{C} [{\mathcal S}_{r+4}]\). Then the symmetrized partial derivatives \(\partial_{(i_1}\dots\partial_{i_r} R_{| a| i_{r+1} i_{r+2})b}\) correspond to a linear mapping of the direct sum into \(J_{ (r)} \cdot \varepsilon\), \(\varepsilon\in \mathbb{C} [{\mathcal S}_{r+4}]\) which maps \(\widehat J_{(r)} \oplus \breve J_{(r)}\) to 0. For the symmetrized covariant derivatives \(\nabla_{(i_1} \dots \nabla_{i_r)} R_{ijkl}\) and \(\nabla_{(i_1}\dots\nabla_{i_r} R_{| a| i_{r+1} i_{r+2})b}\) only the ideals \(J_{(r)}\) and \(J_{(r)} \cdot \varepsilon\) do appear. So, the inverse mapping \(J_{(r)} \cdot \varepsilon \to J_{(r)}\) gives a relation between both kinds of symmetrized covariant derivatives. This shows \({\mathcal R}= {\mathcal R}^s\), where \({\mathcal R}\) is the algebra of tensor polynomials generated by \(\nabla_{(i_1} \dots \nabla_{i_r)} R_{ijkl}\) and \({\mathcal R}^s\) is the algebra generated by \(\nabla_{(i_1} \dots \nabla_{i_r} R_{| k| i_{r+1} i_{r+2})l}\). To prove these results, the author uses purely algebraic methods like Young symmetrizers and the Littlewood-Richardson rule. Furthermore, the author constructs examples of metrics for which the group ring elements induced by \(\partial^{(r)}R\) belong to \(J_{(r)}\) only or admit a nontrivial part in the ideal \(\widehat J_{(r)} \oplus \breve J_{(r)}\).
0 references
algebras of tensor polynomials
0 references
symmetrization
0 references
Herglotz relations
0 references
partial derivatives of the curvature tensor
0 references