Glatter Funktor

Ein glatter Funktor, oder auch $C^{\infty }$-Funktor, ist eine Art von Funktor (im Sinne der Kategorientheorie), der im mathematischen Teilgebiet der Differentialtopologie Anwendung findet.

Definition

Im Folgenden bezeichne $\mathrm {Vekt} _{\mathbb {R} }$ die Kategorie der endlich-dimensionalen reellen Vektorräume, deren Morphismen die linearen Abbildungen sind, und $L(V,W)$ die Menge aller linearen Abbildungen von $V$ nach $W$ für alle $V,W\in \mathrm {Vekt} _{\mathbb {R} }$.

Sei ${\mathcal {F}}:\mathrm {Vekt} _{\mathbb {R} }\to \mathrm {Vekt} _{\mathbb {R} }$ ein kovarianter Funktor der Kategorie $\mathrm {Vekt} _{\mathbb {R} }$ in sich selbst, das heißt ${\mathcal {F}}$ induziert für alle Vektorräume $V,W\in \mathrm {Vekt} _{\mathbb {R} }$ eine Abbildung ${\mathcal {F}}:L(V,W)\to L({\mathcal {F}}(V),{\mathcal {F}}(W))$, sodass die folgenden beiden Bedingungen erfüllt sind:

• ${\mathcal {F}}(\mathrm {id} _{V})=\mathrm {id} _{{\mathcal {F}}(V)}$ für alle $V\in \mathrm {Vekt} _{\mathbb {R} }$.
• ${\mathcal {F}}(g\circ f)={\mathcal {F}}(g)\circ {\mathcal {F}}(f)$ für alle linearen Abbildungen $f\in L(V,W)$ und $g\in L(W,U)$ und für alle $V,W,U\in \mathrm {Vekt} _{\mathbb {R} }$.

Man bezeichnet den Funktor ${\mathcal {F}}$ als „glatt“, wenn die Abbildung ${\mathcal {F}}:L(V,W)\to L({\mathcal {F}}(V),{\mathcal {F}}(W))$ für alle Vektorräume $V,W\in \mathrm {Vekt} _{\mathbb {R} }$ glatt ist.

In analoger Weise definiert man glatte kontravariante Funktoren. Des Weiteren, lässt sich das Konzept auf Funktoren mehrerer Variablen (siehe Multifunktor), welche kovariant in einigen Variablen und kontravariant in anderen sein können, ausweiten.

Anwendung

Eine der wichtigsten Anwendungen dieses Konzepts ist die Konstruktion von Vektorbündeln. Es gilt nämlich folgender Satz:

Es sei ${\mathcal {M}}$ eine glatte Mannigfaltigkeit, $(E_{i},{\mathcal {M}},\pi _{i})_{i=1,\dots ,N}$ eine Familie von glatten, reellen Vektorbündeln und ${\mathcal {F}}$ ein glatter Funktor von $N$ Variablen. Dann ist $(E,{\mathcal {M}},\pi )$ mit

$E:=\bigcup _{p\in {\mathcal {M}}}{\mathcal {F}}(E_{1}\vert _{p},\dots ,E_{N}\vert _{p})$

ein reelles und glattes Vektorbündel, wobei $\pi :E\to {\mathcal {M}}$ die Funktion bezeichne, welche Elemente von ${\mathcal {F}}(E_{1}\vert _{p},\dots ,E_{N}\vert _{p})$ auf $p$ abbildet. Die Mengen $E_{i}\vert _{p}:=\pi _{i}^{-1}(\{p\})$ bezeichnen dabei die Fasern der Vektorbündel $(E_{i},{\mathcal {M}},\pi _{i})_{i=1,\dots ,N}$.

Zusammengefasst besagt der obige Satz, dass sich Operationen von Vektorräumen auf Vektorbündel übertragen lassen, wenn sie faserweise angewandt werden.

Ein wichtiges Beispiel ist das Tensorprodukt von einigen Kopien des Tangentialbündels $T{\mathcal {M}}$ mit einigen Kopien des Kotangentialbündels $T^{\ast }{\mathcal {M}}$. Das daraus erhaltene Vektorbündel wird als Tensorbündel bezeichnet. Glatte Schnitte dieses Bündels sind gerade die Tensorfelder. Ein weiteres wichtiges Beispiel bildet das Bündel alternierender $r$-Former, das sich durch anwenden des Funktors ${\mathcal {F}}(V):=\bigwedge ^{r}V^{\ast }$ auf das Tangentialbündel ergibt. Schnitte in diesem Bündel werden als Differentialformen vom Grad $r$ bezeichnet.

Literatur

• J. M. Lee: Manifolds and Differential Geometry (= Graduate Studies of Mathematics. Band 107). American Mathematical Society, Rhode Island 2009. 
• J. M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics. Band 218). 2. Auflage. Springer, 2018. 
• A. Kriegl, P. Michor: The convenient setting of global analysis (= Mathematical Surveys and Monographs. Band 53). American Mathematical Society, Rhode Island 1997. 

V

Kategorientheorie

>