Rekurrenter Tensor

Rekurrente Tensoren oder rekurrente Tensorfelder finden im mathematischen Gebiet der Differentialgeometrie Verwendung.

Definition

In der Differentialgeometrie wird ein rekurrenter Tensor wie folgt definiert: Sei $\nabla$ ein Zusammenhang auf einer Mannigfaltigkeit M. Ein Tensor A (im Sinne eines Tensorfeldes) heißt rekurrent bezüglich des Zusammenhangs $\nabla$, falls es eine Einsform $\omega$ auf M gibt, so dass

$\nabla A=\omega \otimes A$.

Beispiele

Parallele Tensoren

Beispiel für rekurrente Tensoren sind bezüglich eines Zusammenhangs parallele Tensoren ($\nabla A=0$).

Ein Beispiel für einen parallelen Tensor ist eine (semi-)riemannsche Metrik bezüglich ihres Levi-Civita-Zusammenhangs. Sei M also eine Mannigfaltigkeit mit Metrik g, so wird durch die Metrik der Levi-Civita-Zusammenhang $\nabla ^{LC}$ definiert und aus der Definition folgt dann

$\nabla ^{LC}g=0$.

Ein weiteres Beispiel sind rekurrente Vektorfelder, wobei sich hier in besonderen Fällen aus rekurrenten Vektorfeldern parallele Vektorfelder ableiten lassen. Sei $(M,g)$ dazu eine semiriemannschen Mannigfaltigkeit und $X$ ein rekurentes Vektorfeld mit

$\nabla X=\omega \otimes X$,

so folgt aus $d\omega =0$ ($\omega$ geschlossen), dass sich $X$ zu einem parallelen Vektorfeld umskalieren lässt. Insbesondere lässt sich jedes Vektorfelder mit nicht verschwindender Länge zu einem parallelen Vektorfeld umskalieren. Nicht parallele rekurrente Vektorfelder sind also insbesondere lichtartig.

Metrischer Raum

Ein weiteres Beispiel für einen rekurrenten Tensor taucht im Zusammenhang mit Weylstrukturen auf. Historisch entstand die Weylstruktur aus Überlegungen von Hermann Weyl zu Eigenschaften der Parallelverschiebung von Vektoren und deren Länge. Aus der Forderung, eine Mannigfaltigkeit lokal affin beschreiben zu können, entsteht eine Bedingung an den mit der affinen Parallelverschiebung verbundenen Zusammenhang $\nabla$. Er muss torsionsfrei sein:

$T^{\nabla }(X,Y)=\nabla _{X}Y-\nabla _{Y}X-[X,Y]=0$.

Für die zusätzliche Parallelverschiebung der Metrik forderte er als spezielle Eigenschaft, dass zwar nicht die Länge, wohl aber das Längenverhältnis von parallelverschobenen Vektorfeldern erhalten bleibe. Der auf diese Weise definierte Zusammenhang $\nabla '$ erfüllt dann die Eigenschaft

$\nabla 'g=\varphi \otimes g$

für eine Einsform Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} . Insbesondere ist die Metrik also ein rekurrenter Tensor bezüglich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nabla'} . Die so entstehende Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M,g)} mit affinem Zusammenhang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nabla} und rekurrenter Metrik g nannte Weyl nun metrischer Raum. Genau genommen betrachtete Weyl dabei nicht nur eine Metrik, sondern die konforme Struktur Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [g]} über g. Dies kann wie folgt motiviert werden:

Unter einer konformen Änderung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g \rightarrow e^{\lambda}g} transformiert sich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi} in der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi \rightarrow \varphi -d\lambda} , wodurch eine Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F:[g] \rightarrow \Lambda^1(M)} auf der Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M,[g])} mit konformer Struktur Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [g]} induziert wird. Dazu fixiert man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} und definiert:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(e^\lambda g) := \varphi - d\lambda} .

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} erfüllt so die Bedingungen einer Weylstruktur:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(e^\lambda g) = F(g) - d\lambda} .

Literatur

• Hermann Weyl: Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin. 1918, S. 465–480. 
• A. G. Walker: On parallel fields of partially null vector spaces. (PDF) In: The Quarterly Journal of Mathematics. Ser. 1, 20, 1949, S. 135–145, ISSN 0033-5606.
• E. M. Patterson: On symmetric recurrent tensors of the second order. (PDF) In: The Quarterly Journal of Mathematics. 2, 1, 1950, S. 151–158.
• Yung-Chow Wong: Recurrent Tensors on a Linearly Connected Differentiable Manifold. In: Transactions of the American Mathematical Society. 99, 2, May 1961, S. 325–341, ISSN 0002-9947.
• Gerald B. Folland: Weyl Manifolds. (PDF; 113 kB). In: Journal of Differential Geometry. 4, 1970, S. 145–153, ISSN 0022-040X.
• Dmitri V. Alekseevsky, Helga Baum (Hrsg.): Recent developments in pseudo-Riemannian geometry. European Mathematical Society, Zürich 2008, ISBN 978-3-03719-051-7.