Filtern
Erscheinungsjahr
- 2007 (14) (entfernen)
Dokumenttyp
- Monographie/Sammelband (5)
- Dissertation (4)
- Wissenschaftlicher Artikel (3)
- Sonstiges (1)
- Preprint (1)
Sprache
- Englisch (14) (entfernen)
Gehört zur Bibliographie
- ja (14) (entfernen)
Schlagworte
- Deligne Cohomology (1)
- Deligne Kohomologie (1)
- Divisionsbäume (1)
- Gerben (1)
- Gerbes (1)
- Global Differentialgeometry (1)
- Globale Differentialgeometrie (1)
- Hauptfaserbündel (1)
- Holonomie (1)
- Holonomy (1)
Institut
- Institut für Mathematik (14) (entfernen)
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.
The field equations following from a Lagrangian L(R) will be deduced and solved for special cases. If L is a non-linear function of the curvature scalar, then these equations are of fourth order in the metric. In the introduction we present the history of these equations beginning with the paper of H. Weyl from 1918, who first discussed them as alternative to Einstein's theory. In the third part, we give details about the cosmic no hair theorem, i.e., the details how within fourth order gravity with L= R + R^2 the inflationary phase of cosmic evolution turns out to be a transient attractor. Finally, the Bicknell theorem, i.e. the conformal relation from fourth order gravity to scalar- tensor theory, will be shortly presented.
Formal poincare lemma
(2007)
The overall program "arborescent numbers" is to similarly perform the constructions from the natural numbers (N) to the positive fractional numbers (Q+) to positive real numbers (R+) beginning with (specific) binary trees instead of natural numbers. N can be regarded as the associative binary trees. The binary trees B and the left-commutative binary trees P allow the hassle-free definition of arbitrary high arithmetic operations (hyper ... hyperpowers). To construct the division trees the algebraic structure "coppice" is introduced which is a group with an addition over which the multiplication is right-distributive. Q+ is the initial associative coppice. The present work accomplishes one step in the program "arborescent numbers". That is the construction of the arborescent equivalent(s) of the positive fractional numbers. These equivalents are the "division binary trees" and the "fractional trees". A representation with decidable word problem for each of them is given. The set of functions f:R1->R1 generated from identity by taking powers is isomorphic to P and can be embedded into a coppice by taking inverses.