In der vorliegenden Arbeit verallgemeinern wir im Wesentlichen zwei Theoreme von
Mackaay-Picken und Picken (2002, 2004). Im ihrem Artikel zeigen Mackaay und Picken,dass es eine bijektive Korrespodenz zwischen Deligne 2-Klassen $xi in check{H}^2(M, mathcal{D}^2)$ und Holonomie Abbildungen von der zweiten dünnen Homotopiegruppe $pi_2^2(M)$ in die abelsche Gruppe $U(1)$ gibt. Im zweiten Artikel wird eine Verallgemeinerung dieses Theorems bewiesen: Picken zeigt, dass es eine Bijektion gibt zwischen Deligne 2-Kozykeln und gewissen 2-dimensionalen topologischen Quantenfeldtheorien.
In dieser Arbeit zeigen wir, dass diese beiden Theoreme in allen Dimensionen gelten.Wir betrachten zunächst den Holonomie Fall und können mittels simplizialen Methoden nachweisen, dass die Gruppe der glatten Deligne $d$-Klassen isomorph ist zu der Gruppe der glatten Holonomie Abbildungen von der $d$-ten dünnen Homotopiegruppe $pi_d^d(M)$ nach $U(1)$, sofern $M$ eine $(d-1)$-zusammenhängende Mannigfaltigkeit ist.
Wir vergleichen dieses Resultat mit einem Satz von Gajer (1999). Gajer zeigte, dass jede Deligne $d$-Klasse durch eine andere Klasse von Holonomie-Abbildungen
rekonstruiert werden kann, die aber nicht nur Holonomien entlang von Sphären, sondern auch entlang von allgemeinen $d$-Mannigfaltigkeiten in $M$ enthält. Dieser Zugang benötigt dann aber nicht, dass $M$ hoch-zusammenhängend ist. Wir zeigen, dass im Falle von flachen Deligne $d$-Klassen unser Rekonstruktionstheorem sich von Gajers unterscheidet, sofern $M$ nicht als $(d-1)$, sondern nur als $(d-2)$-zusammenhängend angenommen wird. Stiefel Mannigfaltigkeiten besitzen genau diese Eigenschaft, und wendet man unser Theorem auf diese an und vergleicht das Resultat mit dem von Gajer, so zeigt sich, dass es zuviele Deligne Klassen rekonstruiert. Dies bedeutet, dass unser Rekonstruktionsthreorem ohne die Zusatzbedingungen an die Mannigfaltigkeit M nicht auskommt, d.h. unsere Rekonstruktion benötigt zwar weniger Informationen über die Holonomie entlang von d-dimensionalen Mannigfaltigkeiten, aber dafür muss M auch $(d-1)$-zusammenhängend angenommen werden.
Wir zeigen dann, dass auch das zweite Theorem verallgemeinert werden kann: Indem wir das Konzept einer Picken topologischen Quantenfeldtheorie in beliebigen Dimensionen einführen, können wir nachweisen, dass jeder Deligne $d$-Kozykel eine solche $d$-dimensionale Feldtheorie mit zwei besonderen Eigenschaften, der
dünnen Invarianz und der Glattheit, induziert. Wir beweisen, dass jede $d$-dimensionale topologische Quantenfeldtheorie nach Picken mit diesen zwei Eigenschaften auch eine Deligne $d$-Klasse definiert und prüfen nach, dass diese Konstruktion sowohl surjektiv als auch injektiv ist. Demzufolge sind beide Gruppen isomorph. / In this thesis we mainly generalize two theorems from Mackaay-Picken and Picken
(2002, 2004). In the first paper, Mackaay and Picken show that there is a bijective correspondence between Deligne 2-classes $xi in check{H}^2(M,mathcal{D}^2)$ and holonomy maps from the second thin-homotopy group $pi_2^2(M)$ to $U(1)$. In the second one, a generalization of this theorem to manifolds with boundaries is given: Picken shows that there is a bijection
between Deligne 2-cocycles and a certain variant of 2-dimensional topological quantum field theories.
In this thesis we show that these two theorems hold in every dimension. We consider first the holonomy case, and by using simplicial methods we can prove that the group of smooth Deligne $d$-classes is isomorphic to the group of smooth holonomy maps from the $d^{th}$ thin-homotopy group $pi_d^d(M)$ to $U(1)$, if $M$ is $(d-1)$-connected.
We contrast this with a result of Gajer (1999). Gajer showed that Deligne $d$-classes can be reconstructed by a different class of holonomy maps, which not only include holonomies along spheres, but also along general $d$-manifolds in $M$. This approach does not require the manifold $M$ to be $(d-1)$-connected.
We show that in the case of flat Deligne $d$-classes, our result differs from Gajers, if $M$ is not $(d-1)$-connected, but only $(d-2)$-connected. Stiefel manifolds do have this property, and if one applies our theorem to these and compare the result with that of Gajers theorem, it is revealed that our theorem
reconstructs too many Deligne classes. This means, that our reconstruction
theorem cannot live without the extra assumption on the manifold $M$, that is our reconstruction needs less informations about the holonomy of $d$-manifolds in $M$ at the price of assuming $M$ to be $(d-1)$-connected.
We continue to show, that also the second theorem can be generalized: By introducing the concept of Picken-type topological quantum field theory in arbitrary dimensions, we can show that every Deligne $d$-cocycle induces such a $d$-dimensional field theory with two special properties, namely thin-invariance and smoothness. We show that any $d$-dimensional topological quantum field theory with these two properties gives rise to a Deligne $d$-cocycle and verify that this construction is surjective and injective, that is both groups are isomorphic.
| Identifer | oai:union.ndltd.org:Potsdam/oai:kobv.de-opus-ubp:1375 |
| Date | January 2007 |
| Creators | Demircioglu, Aydin |
| Publisher | Universität Potsdam, Mathematisch-Naturwissenschaftliche Fakultät. Institut für Mathematik, Extern. Extern |
| Source Sets | Potsdam University |
| Language | English |
| Detected Language | English |
| Type | Text.Thesis.Doctoral |
| Format | application/pdf |
| Rights | http://creativecommons.org/licenses/by-nc-sa/3.0/ |
Page generated in 0.0022 seconds