Dichtebündel

Ein Dichtebündel ist ein Spezialfall eines Vektorbündels und wird im mathematischen Teilgebiet der Differentialgeometrie untersucht. Mit Hilfe dieser Bündel kann man einige aus der Analysis bekannte Objekte auf Mannigfaltigkeiten verallgemeinern. So kann man ähnlich wie mit Differentialformen einen koordinaten-invarianten Integralbegriff auf Mannigfaltigkeiten definieren. Man findet mit Hilfe dieser Bündel Verallgemeinerungen der L^p-Räume und der Distributionenräume auf Mannigfaltigkeiten.

Definition

r-Dichte

Sei V ein reeller, n-dimensionaler Vektorraum und mit ΛⁿV wird die n-te äußere Potenz des Vektorraums V notiert. Für jedes $r \in \R$ definiert man eine r-Dichte als eine Funktion $f : \Lambda^n V \to \R$, so dass

f(λu) = | λ | ^rf(u)

für alle $u \in \Lambda^n V \backslash \{0\}$ und für alle $\lambda \neq 0$ gilt. Der Vektorraum der r-Dichten wird mit | V | ^r notiert.

r-Dichtebündel

Sei M eine glatte, n-dimensionale Mannigfaltigkeit und $r \in \R$ eine reelle Zahl. Mit $\Gamma^\infty$ wird der Raum der globalen Schnitte auf einem Vektorbündel notiert.

Analog zur obigen Definition ist eine r-Dichte auf einer Mannigfaltigkeit eine Abbildung

$\mu :\Gamma^\infty(\Lambda^n(M)) \to C^\infty(M)$

mit

μ(λu) = | λ | ^rμ(u)

für alle $u \in \Lambda^n TM \backslash \{0\}$ und für alle glatten Funktionen $\lambda : M \to \R\backslash\{0\}$.

Das Vektorbündel der r-Dichten ist dann definiert durch

| Λⁿ(M) | ^r: = | Λⁿ(TM) | ^r.

Mit TM wird das Tangentialbündel bezeichnet.

Pullback

→ Hauptartikel: Rücktransport

Für $r\geq 0$ induziert eine glatte Abbildung $\phi : M \to N$ zwischen zwei glatten n-dimensionalen Mannigfaltigkeiten einen Pullback

$\phi^* : \Gamma^\infty(|\Lambda^n(N)|^r) \to \Gamma^\infty(|\Lambda^n(M)|^r),$

welcher für alle $e \in C^\infty(\Lambda^n TM)$ durch

$(\phi^* \mu)(e) = \mu(\det (\phi_*) \cdot e) = |\det(\phi_*)|^r \mu(e)$

definiert ist. Dabei ist ϕ _* der Pushforward von ϕ, sind M und N reelle Untermannigfaltigkeiten so ist ϕ _* die totale Ableitung von ϕ.

Dualraum

1. Sei M wieder eine glatte Mannigfaltigkeit. Da der Vektorraum der 0-Dichten | ΛⁿT_pM | ⁰ nur aus den konstanten Funktionen besteht, gilt für das entsprechende Dichtebündel

   $|\Lambda^n (M)|^0 \cong M \times \R.$

2. Für $\alpha, \beta \in \R$ gilt die Isomorphie

   $|\Lambda^n(M)|^\alpha \otimes |\Lambda^n(M)|^\beta \cong |\Lambda^n(M)|^{\alpha + \beta}.$

3. Aus den Eigenschaften 1. und 2. folgt
   $|\Lambda^n(M)|^\alpha \otimes |\Lambda^n(M)|^{-\alpha} \cong M \times \R$
   und daher ist | Λⁿ(M) | ^α der Dualraum von | Λⁿ(M) | ^{− α} und man schreibt
   $(|\Lambda^n(M)|^{\alpha})' \cong |\Lambda^n(M)|^{-\alpha}.$

Integration auf Mannigfaltigkeiten

Eins-dichten sind insbesondere deshalb wichtig, weil sie (koordinatenunabhängig) auf Mannigfaltigkeiten integriert werden können. Ihr Vorteil gegenüber Differentialformen, welche auch diese Eigenschaft haben, ist, dass man Dichten auch auf nicht orientierbaren Mannigfaltigkeiten integrieren kann.

Definition

Sei also M eine glatte Mannigfaltigkeit und sei $\mu \in \Gamma^\infty_c(|\Lambda^n(M)|^1)$ eine 1-Dichte. Dann ist das Integral $\textstyle \int_M \mu$ von μ über M wie folgt definiert. Sei $(U_i,\kappa_i)_{i \in I}$ eine endliche Familie von Karten, welche $\operatorname{supp}(\mu)$ überdecken. Und sei $(\phi_i)_{i \in I}$ eine subordinierte Zerlegung der Eins. Dann setze

$\int_M \omega := \sum_{i} \int_{\kappa_i(U)} \kappa^*_i(\phi_i \omega).$

Die rechte Seite ist unabhängig von der Wahl der Karte und der Wahl der Zerlegung der Eins.

Eigenschaften

• Das Integral ist invariant bezüglich Diffeomorphismen. Das heißt für alle glatten Mannigfaltigkeit M und N der gleichen Dimension n und jeden Diffeomorphismus $\phi : M \to N$ und jede 1-Dichte $\mu \in \Gamma^\infty_c(|\Lambda^n(N)|^1)$ gilt
  

∫	ϕ * μ =	∫	μ.
M		N

• Das Integral ist lokal, das heißt für jede Teilmenge $U \subset M$ und jede 1-Dichte $\mu \in \Gamma^\infty_c(|\Lambda^n(M)|^1)$ mit $\operatorname{supp}(\mu) \subset U$ gilt
  

∫	μ =	∫	μ.
M		U

• Für jedes $\rho \in C^\infty_c(\R^n)$ gilt
  $\int_{\R^n} \rho|\mathrm{d}v| = \int_{\R^n} \rho \mathrm{d} x.$
  Das rechte Integral ist ein normales Lebesgueintegral einer glatten Funktion mit kompaktem Träger.

L¹-Raum

Sei $\mu \in |\Lambda^n(M)|^1$ eine messbare 1-Dichte mit kompaktem Träger. Existiert das Integral

∫	| μ |
M

, so nennt man μ einen L¹-Schnitt dessen Norm durch

$\|\mu\|_{L^1} := \int_M |\mu|$

gegeben ist. Die Vervollständigung dieser Menge bezüglich der gegebenen Norm liefert den Raum L¹(M, | Λⁿ(M) | ¹). Ist die Mannigfaltigkeit kompakt, so bewirkt die Vervollständigung nichts.

L^p-Räume

Seien nun $\mu \in |\Lambda^n(M)|^r$ und $\nu \in |\Lambda^n(M)|^{1-r}$ und eine der beiden Dichten habe kompakten Träger. Dann ist aufgrund der Eigenschaft zwei aus dem Abschnitt Dualraum $\mu \otimes \nu = \mu \cdot \nu \in |\Lambda^n(M)|^1$ und hat kompakten Träger. Somit ist $\mu \cdot \nu$ integrierbar.

Ist

∫	| μ | p
M

integrierbar so spricht man analog von einem L^p-Schnitt dessen Norm durch

$\|\mu\|_{L^p} := \int_M |\mu|^p$

gegeben ist. Die Vervollständigung liefert den Raum $L^p(M,|\Lambda^n(M)|^{\frac{1}{p}}).$ Ebenfalls wieder wegen Eigenschaft zwei aus dem Abschnitt Dualraum ist der Raum $L^q(M,|\Lambda^n(M)|^{\frac{1}{q}})$ mit $\tfrac{1}{p} + \tfrac{1}{q} = 1$ der Dualraum zu $L^p(M,|\Lambda^n(M)|^{\frac{1}{p}}).$

Beispiele

Koordinatentransformation

Sei $M=\R^n$ die zu betrachtenden Mannigfaltigkeit und sei $e_1, \ldots, e_n$ die kanonische Basis des Tangentialraums $T_p\R^n$, dann ist $e_1 \wedge \cdots \wedge e_n$ eine Basis von $\Lambda^n(T_p\R^n).$ Es gibt dann einen glatten nirgends verschwindenden Schnitt $\textstyle |\mathrm{d} \nu_n| \in |\Lambda^n(M)|^1,$ welcher durch

$|\mathrm{d} \nu_n|(e_1 \wedge \cdots \wedge e_n) = 1$

definiert ist. Für jede glatte Abbildung $f : \R^n \to \R$ ist μ = f | dν_n | eine glatte 1-Dichte. Das Leser kann das Objekt | dν_n | als das Lebesgue-Maß verstehen.

Sei $\phi = (\phi_1, \ldots , \phi_n) : \R^n \to \R^n$ ein glatter Diffeomorphismus, dann gilt

$\phi^*(|\mathrm{d} \nu_n|) = \left|\det\left(\frac{\partial \phi_i}{\partial x^j}\right)\right| \cdot |\mathrm{d} \nu_n|.$

Dabei bezeichnet $\textstyle \left(\frac{\partial \phi_i}{\partial x^j}\right)$ die Jacobi-Matrix von ϕ. Diesen Zusammenhang findet man auch bei der Koordinatentransformation von Integralen, vergleich dazu auch Transformationssatz.

Tensordichte

→ Hauptartikel: Tensordichte

Ersetze in der Definition von | Λⁿ(M) | ^r: = | Λⁿ(TM) | ^r das Tangentialbündel TM durch das Tensorbündel $T^r_s(TM).$ Dann heißt das davon induzierte Dichtebündel $|\Lambda^n(T^r_s(TM))|^r$ das r-Tensordichtebündel. Im Fall r = 0 heißen die Elemente Tensorfelder.

Distributionen

Da man wie weiter oben im Artikel beschrieben 1-Dichten über Teilmengen einer Mannigfaltigkeit integrieren kann, erlaubt dies nun Distributionen auf Mannigfaltigkeiten zu definieren. Sei $\Gamma_c^\infty(|\Lambda^n(M)|^1)$ der Raum der glatten Schnitte $M \to |\Lambda^n(M)|^1$ mit kompaktem Träger. So kann man eine von f induzierte Distribution

$T_f : \Gamma_c^\infty(|\Lambda^n(M)|^1) \to C^\infty(\R)$

definieren durch

$\omega \mapsto \int f \omega.$

Aus diesem Grund setzt man

$\mathcal{D}(M,|\Lambda^n(M)|^1) := \Gamma_c^\infty(|\Lambda^n(M)|^1).$

Dies ist der Raum der glatten Schnitte mit kompaktem Träger, welcher analog zum Raum der Testfunktionen mit kompaktem Träger definiert ist. Der Raum der Distributionen ist dann analog zur reellen Analysis als topologischer Dualraum definiert. Man setzt also

$\mathcal{D}'(M) := (\mathcal{D}(M,|\Lambda^n(M)|^1))'.$

Literatur

• Liviu I. Nicolaescu: Lectures on the geometry of manifolds, World Scientific Pub Co
• S. Simanca: Pseudo-differential operators, Pitman Research Notes in Mathematics, 236. Harlow: Longman Scientific & Technical; New York: John Wiley & Sons Ltd., 1990