TY - THES A1 - Kraus, Daniela T1 - Conformal pseudo-metrics and some applications T1 - Konforme Pseudo-Metriken und einige Anwendungen N2 - The point of departure for the present work has been the following free boundary value problem for analytic functions $f$ which are defined on a domain $G \subset \mathbb{C}$ and map into the unit disk $\mathbb{D}= \{z \in \mathbb{C} : |z|<1 \}$. Problem 1: Let $z_1, \ldots, z_n$ be finitely many points in a bounded simply connected domain $G \subset \mathbb{C}$. Show that there exists a holomorphic function $f:G \to \mathbb{D}$ with critical points $z_j$ (counted with multiplicities) and no others such that $\lim_{z \to \xi} \frac{|f'(z)|}{1-|f(z)|^2}=1$ for all $\xi \in \partial G$. If $G=\mathbb{D}$, Problem 1 was solved by K?nau [5] in the case of one critical point, and for more than one critical point by Fournier and Ruscheweyh [3]. The method employed by K?nau, Fournier and Ruscheweyh easily extends to more general domains $G$, say bounded by a Dini-smooth Jordan curve, but does not work for arbitrary bounded simply connected domains. In this paper we present a new approach to Problem 1, which shows that this boundary value problem is not an isolated question in complex analysis, but is intimately connected to a number of basic open problems in conformal geometry and non-linear PDE. One of our results is a solution to Problem 1 for arbitrary simply connected domains. However, we shall see that our approach has also some other ramifications, for instance to a well-known problem due to Rellich and Wittich in PDE. Roughly speaking, this paper is broken down into two parts. In a first step we construct a conformal metric in a bounded regular domain $G\subset \mathbb{C}$ with prescribed non-positive Gaussian curvature $k(z)$ and prescribed singularities by solving the first boundary value problem for the Gaussian curvature equation $\Delta u =-k(z) e^{2u}$ in $G$ with prescribed singularities and continuous boundary data. This is related to the Berger-Nirenberg problem in Riemannian geometry, the question which functions on a surface R can arise as the Gaussian curvature of a Riemannian metric on R. The special case, where $k(z)=-4$ and the domain $G$ is bounded by finitely many analytic Jordan curves was treated by Heins [4]. In a second step we show every conformal pseudo-metric on a simply connected domain $G\subseteq \mathbb{C}$ with constant negative Gaussian curvature and isolated zeros of integer order is the pullback of the hyperbolic metric on $\mathbb{D}$ under an analytic map $f:G \to \mathbb{D}$. This extends a theorem of Liouville which deals with the case that the pseudo-metric has no zeros at all. These two steps together allow a complete solution of Problem 1. Contents: Chapter I contains the statement of the main results and connects them with some old and new problems in complex analysis, conformal geometry and PDE: the Uniformization Theorem for Riemann surfaces, the problem of Schwarz-Picard, the Berger-Nirenberg problem, Wittich's problem, etc.. Chapter II and III have preparatory character. In Chapter II we recall some basic results about ordinary differential equations in the complex plane. In our presentation we follow Laine [6], but we have reorganized the material and present a self-contained account of the basic features of Riccati, Schwarzian and second order differential equations. In Chapter III we discuss the first boundary value problem for the Poisson equation. We shall need to consider this problem in the most general situation, which does not seem to be covered in a satisfactory way in the existing literature, see [1,2]. In Chapter IV we turn to a discussion of conformal pseudo-metrics in planar domains. We focus on conformal metrics with prescribed singularities and prescribed non-positive Gaussian curvature. We shall establish the existence of such metrics, that is, we solve the corresponding Gaussian curvature equation by making use of the results of Chapter III. In Chapter V we show that every constantly curved pseudo-metric can be represented as the pullback of either the hyperbolic, the euclidean or the spherical metric under an analytic map. This is proved by using the results of Chapter II. Finally we give in Chapter VI some applications of our results. [1,2] Courant, H., Hilbert, D., Methoden der Mathematischen Physik, Erster/ Zweiter Band, Springer-Verlag, Berlin, 1931/1937. [3] Fournier, R., Ruscheweyh, St., Free boundary value problems for analytic functions in the closed unit disk, Proc. Amer. Math. Soc. (1999), 127 no. 11, 3287-3294. [4] Heins, M., On a class of conformal metrics, Nagoya Math. J. (1962), 21, 1-60. [5] K?nau, R., L?gentreue Randverzerrung bei analytischer Abbildung in hyperbolischer und sph?ischer Geometrie, Mitt. Math. Sem. Giessen (1997), 229, 45-53. [6] Laine, I., Nevanlinna Theory and Complex Differential Equations, de Gruyter, Berlin - New York, 1993. N2 - Der Ausgangspunkt dieser Arbeit war das folgende freie Randwertproblem f? analytische Funktionen $f$, die auf einem Gebiet $G \subset \mathbb{C}$ definiert sind und in den Einheitskreis $\mathbb{D}= \{z \in \mathbb{C} : |z|<1 \}$ abbilden. Problem 1: Es seien $z_1, \ldots, z_n$ endlich viele Punkte in einem beschr?kten einfach zusammenh?genden Gebiet $G \subset \mathbb{C}$. Existiert eine holomorphe Funktion $f:G \to \mathbb{D}$, die genau und nur in $z_j$ kritische Punkte (mit Vielfachheiten gez?lt) besitzt und $\lim_{z \to \xi} \frac{|f'(z)|}{1-|f(z)|^2}=1$ f? alle $\xi \in \partial G$ erf?lt. F? $G=\mathbb{D}$ wurde Problem 1 von K?nau [5] im Fall eines kritischen Punktes gel?t und f? mehr als einen kritischen Punkt von Fournier and Ruscheweyh [3]. Die Methode, die von K?nau, Fournier and Ruscheweyh benutzt wurde, l?st sich auf allgemeinere Gebiete $G$ ?ertragen, aber nicht auf beliebige beschr?kte einfach zusammenh?gende Gebiete. In dieser Arbeit wird ein Zugang zu Problem 1 dargestellt, der das Randwertproblem der Komplexen Analysis mit einer Reihe offener Probleme in der Konformen Geometrie und der Theorie nicht-linearer PDE in Zusammenhang bringt. Insbesondere wird Problem 1 f? beliebige einfach zusammenh?gende Gebiete gel?t. Es wird gezeigt, dass der gew?lte Zugang weitere Verzweigungen aufweist, z.B. zu einem wohlbekannten Problem von Rellich und Wittich in PDE. Die Arbeit besteht aus zwei Hauptteilen. In einem ersten Schritt werden konforme Metriken in einem beschr?kten regul?en Gebiet $G \subset \mathbb{C}$ mit vorgeschriebener nicht-positiver Gau?cher Kr?mung $k(z)$ und vorgeschriebenen Singularit?en konstruiert, indem das erste Randwertproblem f? die Gau?che Kr?mungsgleichung $\Delta u=-k(z) e^{2u}$ in $G$ mit vorgeschriebenen Singularit?en und stetigen Randwerten gel?t wird. Dies steht in Zusammenhang mit dem Berger-Nirenberg Problem, der Frage, welche Funktionen auf einer Riemannschen Fl?he R als Gau?che Kr?mung einer Riemannschen Metrik auf R auftreten k?nen. Der Spezialfall, dass $k(z)=-4$ und das Gebiet $G$ durch endlich viele analytische Jordankurven berandet ist, wurde von Heins [4] gel?t. In einem zweiten Schritt wird gezeigt, dass jede konforme Pseudo-Metrik auf einem einfach zusammenh?genden Gebiet $G \subseteq \mathbb{C}$ mit konstanter negativer Gau?cher Kr?mung und isolierten Nullstellen ganzzahliger Ordnung die Zur?kholung der hyperbolischen Metrik auf $\mathbb{D}$ unter einer holomorphen Funktion $f:G \to \mathbb{D}$ ist. Dies erweitert einen Satz von Liouville, der den Fall einer nullstellenfreien Pseudo-Metrik behandelt. Die beschriebenen zwei Schritte l?en Problem 1 vollst?dig. Inhaltsangabe: Kapitel I enth?t die Ergebnisse der Arbeit und stellt den Zusammenhang mit alten und neuen Problemen in Komplexer Analysis, Konformer Geometrie, und PDE dar: dem Uniformisierungssatz f? Riemannsche Fl?hen, dem Problem von Schwarz-Picard, dem Berger-Nirenberg Problem, Wittichs Problem, etc.. In Kapitel II wird an grundlegende Ergebnisse gew?nlicher Differentialgleichungen in der komplexen Ebene erinnert. Die Darstellung folgt Laine [6]. Das Material ist reorganisiert und enth?t eine Auflistung der wichtigsten Gesichtspunkte von Riccati und Schwarzschen Differentialgleichungen sowie Differentialgleichungen zweiter Ordnung. In Kapitel III wird das erste Randwertproblem f? die Poisson Gleichung diskutiert. Es wird in gr秤ter Allgemeinheit betrachtet, da es scheinbar in der vorhandenen Literatur nicht in einer befriedigenden Weise behandelt wird, siehe [1,2]. In Kapitel IV werden Pseudo-Metriken in ebenen Gebieten diskutiert. Im Mittelpunkt stehen Metriken mit vorgeschriebenen Singularit?en und vorgeschriebener nicht-positiver Gau?cher Kr?mung. Die Existenz solcher Metriken wird mithilfe der Ergebnisse aus Kapitel III bewiesen. In Kapitel V wird gezeigt, dass sich jede Pseudo-Metrik konstanter Kr?mung als Zur?kholung der hyperbolischen, der euklidischen oder der sph?ischen Metrik unter einer analytischen Funktion darstellen l?st. Hierf? werden die Ergebnisse aus Kapitel II herangezogen. Einige Anwendungen der Ergebnisse befinden sich in Kaptil VI. [1,2] Courant, H., Hilbert, D., Methoden der Mathematischen Physik, Erster/ Zweiter Band, Springer-Verlag, Berlin, 1931/1937. [3] Fournier, R., Ruscheweyh, St., Free boundary value problems for analytic functions in the closed unit disk, Proc. Amer. Math. Soc. (1999), 127 no. 11, 3287-3294. [4] Heins, M., On a class of conformal metrics, Nagoya Math. J. (1962), 21, 1-60. [5] K?nau, R., L?gentreue Randverzerrung bei analytischer Abbildung in hyperbolischer und sph?ischer Geometrie, Mitt. Math. Sem. Giessen (1997), 229, 45-53. [6] Laine, I., Nevanlinna Theory and Complex Differential Equations, de Gruyter, Berlin - New York, 1993. KW - Freies Randwertproblem KW - Pseudometrik KW - konforme Pseudo-Metriken KW - freies Randwertproblem KW - Darstellung vonPseudo-Metriken KW - Poisson Gleichung KW - erstes Randwertproblem in PDE KW - conformal pseudo-metrics KW - representation of pseudo-metrics KW - Poisson equation KW - first boundary value problem in PDE Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-9193 ER - TY - THES A1 - Nagel, Christian T1 - Glättungsverfahren für semidefinite Programme T1 - Smoothing-type Methods for Semidefinite Programs N2 - In dieser Arbeit werden Algorithmen zur Lösung von linearen semidefiniten Programmen beschrieben. Unter einer geeigneten Regularitätsvoraussetzung ist ein semidefinites Programm äquivalent zu seinen Optimalitätsbedingungen. Die Optimalitätsbedingungen bzw. die Zentralen-Pfad-Bedingungen überführen wir zunächst durch matrixwertige NCP-Funktionen in ein nichtlineares Gleichungssystem. Dieses nichtlineare und teilweise nicht differenzierbare Gleichungssystem lösen wir dann mit einem Newton-ähnlichen Verfahren. Durch die Umformulierung in ein nichtlineares Gleichungssystem muss während der Iteration nicht mehr explizit die positive (Semi-)Definitheit der beteiligten Matrizen beachtet werden. Weiter wird gezeigt, dass dieser Ansatz im Gegensatz zu Inneren-Punkte-Methoden sofort symmetrische Suchrichtungen erzeugt. Um globale Konvergenz zu erhalten, werden verschiedene Globalisierungsstrategien (Schrittweitenbestimmung, Trust-Region-Ansatz) untersucht. Für das betrachtete Prädiktor-Korrektor-Verfahren und das Trust-Region-Verfahren wird lokal superlineare Konvergenz unter strikter Komplementarität und Nichtdegeneriertheit gezeigt. Die theoretische Untersuchung eines nichtglatten Newton-Verfahrens liefert ein lokal quadratisches Konvergenzverhalten ohne strikte Komplementarität, wenn die Nichtdegeneriertheitsvoraussetzung geeignet modifiziert wird. N2 - In this thesis we consider algorithms to compute a solution of linear semidefinite programs. Under a suitable regularity condition a semidefinite program is equivalent to its optimality conditions. These optimality conditions, or central-path-conditions, are reformulated as a nonlinear system of equations via matrix-valued NCP-functions. This nonlinear and partly nonsmooth system of equations is solved with a Newton-type method. Because of the reformulation as a nonlinear system of equations, we do not need the iterates to be positive (semi-)definite. Moreover, this reformulation automatically computes symmetric search directions, in contrast to interior point methods. To obtain global convergence, different globalizations (line search, trust-region) are considered. For the predictor-corrector method and the trust-region-method global and local superlinear convergence is shown under strikt complementarity and nondegeneracy. The theoretical investigation of a nonsmooth version of Newton's methods yields locally quadratic convergence without strict complementarity if the nondegeneracy conditon is modified in a suitable way. KW - Semidefinite Optimierung KW - Semidefinite Programme KW - Newton-Verfahren KW - Glättungsverfahren KW - NCP-Funktionen KW - semidefinite programming KW - Newton's method KW - smoothing-type methods KW - NCP-functions Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-8099 ER - TY - THES A1 - Fleischmann, Peter T1 - Bildung reiner Hüllen in vollständig zerlegbaren torsionsfreien abelschen Gruppen T1 - Pure subgroups of completely decomposable torsionfree abelian groups N2 - Reine Untergruppen von vollständig zerlegbaren torsionsfreien abelschen Gruppen werden Butlergruppen genannt. Eine solche Gruppe läßt sich als endliche Summe von rationalen Rang-1-Gruppen darstellen. Eine solche Darstellung ist nicht eindeutig. Daher werden Methoden entwickelt, die zu einer Darstellung mit reinen Summanden führen. Weiter kann aus dieser Darstellung sowohl die kritische Typenmenge als auch die Typuntergruppen direkt abgelesen werden. Dies vereinfacht die Behandlung von Butlergruppen mit dem Computer und gestattet darüberhinaus eine elegantere Darstellung. N2 - A pure subgroup of a completely decomposable torsion free abelian group is called Butler group. These groups can be represented as sum of rational subgroups. A representation with pure summands is developed, such that the critical typeset can be read off and every type-subgroup can be represented as sum of these summands. KW - Torsionsfreie Abelsche Gruppe KW - Abelsche Gruppe KW - Hüllenbildung KW - Reine Untergruppen KW - torsionsfreie abelsche Gruppen KW - pure subgroups KW - torsionfree abelian groups Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-5979 ER - TY - THES A1 - Preiß, Martin T1 - Analytizitätseigenschaften gewichteter zentraler Pfade bei monotonen Komplementaritätsproblemen und ihre Ausnutzung T1 - Analyticity properties of weighted central paths arising with monotone complementarity problems and their exploitation N2 - Die vorliegende Arbeit untersucht die Analytizitätseigenschaften unzulässiger Innerer-Punkte Pfade bei monotonen Komplementaritätsproblemen und diskutiert mögliche algorithmische Anwendungen. In Kapitel 2 werden einige matrixanalytische Konzepte und Resultate zusammengestellt, die für die Beweisführung in den folgenden Kapiteln benötigt werden. Kapitel 3 gibt eine genaue Definition der Begriffe "monotones lineares Komplementaritätsproblem" (LCP) bzw. "semidefinites monotones lineares Komplementaritätsproblem" (SDLCP) und zeigt die Grundidee hinter den Innere-Punkte-Verfahren zur Lösung solcher Probleme. Kapitel 4 beinhaltet die analytischen Hauptresultate für monotone Komplementaritätsprobleme. In Abschnitt 4.1 werden einige wohlbekannte Resultate über die Analytizitätseigenschaften unzulässiger Innerer-Punkte-Pfade für LCP's wiedergegeben. Diese werden in Abschnitt 4.2 auf den semidefiniten Fall übertragen. Unter der Annahme, dass das zugrundeliegende SDLCP eine strikt komplementäre Lösung besitzt, wird gezeigt, dass die Inneren-Punkte-Pfade sogar noch im Randpunkt analytisch sind. Kapitel 5 benutzt die Resultate aus Kapitel 4, um die lokal hohe Konvergenzordnung einer Langschrittmethode zur Lösung von SDLCP's zu zeigen. Kapitel 6 führt eine neue Methode zur Lösung von LCP's und SDLCP's mit Hilfe von Inneren-Punkte-Techniken ein. Dabei werden die Pfadfunktionen derart gewählt, dass alle Iterierten auf unzulässigen zentralen Pfaden liegen. Es wird globale und lokale Konvergenz des Verfahrens bewiesen. N2 - This thesis investigates the analyticity properties of infeasible interior point paths arising with monotone complementarity problems and discusses possible algorithmic applications. Chapter 2 summarizes some matrix analytical concepts and results that are needed for the proofs in the following chapters. Chapter 3 defines the terms "monotone linear complementarity problem" (LCP) and "semidefinite monotone linear complementarity problem" (SDLCP) exactly and shows the basic concept behind interior point methods for solving them. Chapter 4 contains the main analytical results for monotone complementarity problems. After repeating some well-known results on the analyticity properties of infeasible interior point paths for LCP's in section 4.1 these results are extended to the semidefinite case in section 4.2. Under the assumption that the underlying SDLCP has a strictly complementary solution it is shown that the interior point paths are analytical even at the boundary point. Chapter 5 uses the results of chapter 4 to show the locally high order of convergence of a long step method for solving SDLCP's. Chapter 6 introduces a new method for solving LCP's and SDLCP's respectively using interior point techniques. Here, the path functions are chosen in such a way that all the iterates are lying on infeasible central paths. Global and local convergence proofs are given. KW - Innere-Punkte-Methode KW - Innere-Punkte-Verfahren KW - unzulässige Innere-Punkte-Pfade KW - semidefinite Komplementaritätsprobleme KW - analytische Fortsetzung KW - Langschrittmethoden KW - interior point methods KW - infeasible interior point paths KW - semidefinite complementarity problems KW - analytical continuation KW - long step methods Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-3969 ER - TY - THES A1 - Bletz-Siebert, Oliver T1 - Homogeneous spaces with the cohomology of sphere products and compact quadrangles T1 - Homogene Räume mit der Kohomologie von Sphärenprodukten und kompakte Vierecke N2 - We consider homogeneous spaces G/H with the same rational homotopy as a product of a 1-sphere and a (m+1)-sphere. We show that these spaces have also the rational cohomology of such a sphere product if H is connected and if the quotient has dimension m+2. Furthermore, we prove that if additionally the fundamental group of G/H is cyclic, then G/H is locally a product of a 1-torus and ofA/H, where A/H is a simply connected rational cohomology (m+1)-sphere (and hence classified). If H fails to be connected, then with U as the connected component of H the G-action on the covering space G/U of G/H has connected stabilizers, and the results apply to G/U. To show that under the assumptions above every natural number may be realized as the order of the group of connected components of H we calculate the cohomology of certain homogeneous spaces. We also determine the rational cohomology of the fibre bundle U-->G-->G/U if G/H meets the assumptions above. This is done by considering the respective Leray-Serre spectral sequence. The structure of the cohomology of U-->G-->G/U then gives a second proof for the structure of compact connected Lie groups acting transitively on spaces with the rational homotopy of a product of a 1-sphere and a (m+1)-sphere. Since a quotient of a homogeneous space with the same rational homotopy or cohomology as a product of a 1-sphere and a (m+1)-sphere is not simply connected, there often arises the question whether or not a considered fibre bundle or fibration is orientable. A large amount of space will therefore be given to the problem of showing that certain fibrations are orientable. For compact connected (m+2)-manifolds with cyclic fundamental groups and with the rational homotopy of a product of a 1-sphere and a (m+1)-sphere we show the following: if a connected Lie group acts transitively on the manifold, then the maximal compact subgroups are either transitive, or their orbits are simply connected rational cohomology spheres of codimension 1. Homogeneous spaces with the same rational cohomology or homotopy as a a product of a 1-sphere and a (m+1)-sphere play a role in the study of different types of geometrical objects. They appear for example as focal manifolds of isoparametric hypersurfaces with four distinct principal curvatures. Further examples of such spaces are the point spaces and the line spaces of compact connected generalized quadrangles. We determine the isometry groups of isoparametric hypersurfaces with 4 principal curvatures of multiplicities 1 and m which are transitive on the focal manifold with non-trivial fundamental group. Buildings were introduced by Jacques Tits to give interpretations of simple groups of Lie type. They are a far-reaching generalization of projective spaces, in particular a generalization of projective planes. There is another generalization of projective planes called generalized polygons. A projective plane is the same as a generalized triangle. The generalized polygons are also contained in the class of buildings: they are the buildings of rank 2. To compact quadrangles one can assign a pair of natural numbers called the topological parameters of the quadrangles. We treat the case k=1. It turns out that there are no other point-transitive compact connected Lie groups for (1,m)-quadrangles than the ones for the real orthogonal quadrangles. Furthermore, we solve the problem of three infinite series of group actions which Kramer left as open problems; there are no quadrangles with the homogeneous spaces in question as point spaces (up to maybe a finite number of small parameters in one of the three series). N2 - Es werden homogene Räume G/H mit der rationalen Homotopie von Produkten von einer 1-Sphäre mit einer (m+1)-Sphäre untersucht. Die Ergebnisse werden auf kompakte Vierecke (das sind die sphärischen kompakten Tits-Gebäude vom Typ C2) und auf isoparametrische Hyperflächen angewandt. Wir zeigen, dass die obigen homogenen Räume auch die rationale Kohomologie des jeweiligen Sphärenprodukts haben, falls H zusammenhängend ist und der Quotient die Dimension m+2 besitzt. Die Kohomologie gewisser homogener Räume wird bestimmt, um zu zeigen, dass die Gruppe der Komponenten von H jede beliebige natürliche Zahl als Ordnung besitzen kann. Falls die Fundamentalgruppe von G/H zyklisch ist, dann ist G/H lokal von der Form Tx(A/H) mit einer eindimensionalen Torusgruppe T und einer homogenen einfach-zusammenhängenden rationalen (m+1)-Kohomologiesphäre A/H; letztere sind klassifiziert. Wir bestimmen mit Hilfe der Leray-Serre-Spektralsequenz auch die rationale Kohomologie des Faserbündels U-->G-->G/U für die Zusammenhangskomponente U von H. Ein Quotient mit der rationalen Homotopie eines Produktes einer 1-Sphäre und einer (m+1)-Sphäre ist nicht einfach zusammenhängend. Deshalb tritt häufig die Frage auf, ob gewisse Faserungen orientierbar sind. Diesem Bereich wird viel Raum gewidmet. Wirkt eine Liegruppe transitiv auf einer kompakten Mannigfaltigkeit mit endlicher Fundamentalgruppe, dann wirkt nach einem Ergebnis von Montgomery auch jede maximale kompakte Untergruppe noch transitiv. Dies ist im Allgemeinen falsch für unendliche Fundamentalgruppen. Aber hier wird gezeigt: Wirkt eine zusammenhängende Liegruppe transitiv auf einer kompakten (m+2)-dimensionalen Mannigfaltigkeit mit zyklischer Fundamentalgruppe und mit der rationalen Homotopie eines Produktes einer 1-Sphäre und einer (m+1)-Sphäre, dann sind die maximalen kompakten Untergruppen transitiv oder ihre Bahnen sind alle einfach zusammenhängende rationale (m+1)-Kohomologiesphären. Diese topologischen Ergebnisse werden auf zwei verschieden Arten von geometrischen Objekten angewandt, nämlich auf Fokalmannigfaltigkeiten isoparametrischer Hyperflächen und auf Punkträume kompakter verallgemeinerter Vierecke. Isoparametrische Hyperflächen in Sphären sind abgeschlossene Untermannigfaltigkeiten mit konstanten Hauptkrümmungen. Wir wenden unsere obigen Resultate an und bestimmen die transitiven isometrischen Wirkungen auf einer Fokalmannigfaltigkeit, falls es vier Hauptkrümmungen gibt und die Fokalmannigfaltigkeit die rationalen Homotopie eines Produktes einer 1-Sphäre mit einer (m+1)-Sphäre besitzt. Viele kompakte zusammenhängende Polygone gestatten eine transitive Wirkung ihrer Automorphismengruppe auf ihrem Punkt- oder Geradenraum. Wegen der Dualität der Rolle von Punkt- und Geradenraum genügt es Punkt-homogene Vierecke zu betrachten. Einem Punkt-homogenen kompakten zusammenhängenden Viereck lässt sich ein Paar (k,m) natürlicher Zahlen zuordnen, die topologischen Parameter des Viereck. Wir behandeln hier den Fall k=1. Es zeigt sich, dass es keine anderen Punkt-transitive Liegruppen gibt als diejenigen für die reellen orthogonalen Vierecke. Zusätzlich beweisen wir, dass es für drei bestimmte Serien von homogenen Räumen (für die die Frage, ob sie zu verallgemeinerten Vierecken gehören, ein offenes Problem war) keine entsprechenden Vierecke mit den homogenen Räumen als Punkträumen gibt. KW - Homogener Raum KW - Kohomologie KW - homogene Raüme KW - Kohomologie KW - Liegruppen KW - verallgemeinerte Vierecke KW - Gebäude KW - homogeneous spaces KW - cohomology KW - Lie groups KW - generalized quadrangles KW - buildings Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-3994 ER - TY - THES A1 - Grahl, Jürgen T1 - Blochsches Prinzip, Lückenreihen und Semidualität T1 - Bloch's Principle, Gap Power Series and Semiduality N2 - Ein bekanntes heuristisches Prinzip von A. Bloch beschreibt die Korrespondenz zwischen Kriterien für die Konstanz ganzer Funktionen und Normalitätskriterien. In der vorliegenden Dissertation untersuchen wir die Gültigkeit des Blochschen Prinzip bei Lückenreihenproblemen sowie Zusammenhänge zwischen Normalitätsfragen und der Semidualität von einer bzw. von zwei Funktionen. Die ersten beiden Kapitel stellen die im folgenden benötigten Hilfsmittel aus der Nevanlinnaschen Wertverteilungstheorie und der Normalitätstheorie bereit. Im dritten Kapitel beweisen wir ein neues Normalitätskriterium für Familien holomorpher Funktionen, für die ein Differentialpolynom einer bestimmten Gestalt nullstellenfrei ist. Dies verallgemeinert frühere Resultate von Hayman, Drasin, Langley und Chen & Hua. Kapitel 4 ist dem Beweis eines unserer im folgenden wichtigsten Hilfsmittel gewidmet: eines tiefliegenden Konvergenzsatzes von H. Cartan über Familien von p-Tupeln holomorpher nullstellenfreier Funktionen, welche einer linearen Relation unterliegen. In Kapitel 5 werden die Konzepte der Dualität und Semidualität eingeführt und die Verbindung zu Normalitätsfragen diskutiert. Die neuen Ergebnisse über Lückenreihen finden sich im sechsten Kapitel. Der Schwerpunkt liegt hierbei zum einen auf sog. AP-Lückenreihen, zum anderen auf allgemeinen Konstruktionsverfahren, mit denen sich neue semiduale Lückenstrukturen aus bereits bekannten gewinnen lassen. Zahlreiche unserer Beweise beruhen wesentlich auf dem Satz von Cartan aus Kapitel 4. Im siebten Kapitel erweitern wir unsere Semidualitätsuntersuchungen auf Mengen aus zwei Funktionen. Wir ziehen Normalitätskriterien (vor allem das in Kapitel 3 bewiesene sowie den Satz von Cartan) heran, um spezielle Mengen als nichtsemidual zu identifizieren. Zuletzt konstruieren wir ein Beispiel einer semidualen Menge aus zwei Funktionen. N2 - A well-known heuristic principle by A. Bloch describes the correspondence between criteria for an entire function being constant and normality criteria. In this thesis we investigate Bloch's Principle in the context of gap power series and connections between normality questions and the question of semiduality of a single function or a set of two functions. The first two chapters provide necessary tools from Nevanlinna's Theory of value distribution and from normality theory. In the third chapter we prove a new normality criterion for families of analytic functions for which a differential polynomial of a certain type is nonvanishing. This extends former results of Hayman, Drasin, Langley and Chen & Hua. Chapter 4 is devoted to the proof of a tool essential for our further investigations: a deep convergence theorem of H. Cartan about families of p-tuples of zero-free analytic functions satisfying a linear relation. In chapter 5 we introduce the concepts of duality and semiduality and discuss connections to normality questions. Our new results on gap power series can be found in chapter 6. Here we focus on so-called AP-gaps and on general methods how to construct new semidual gap structures from already known semidual gap structures. Cartan's Theorem as stated in chapter 4 is crucial for proving most of these results. In chapter 7 we extend our considerations to the question whether sets consisting of two functions are semidual or not. We apply suitable normality criteria (in particular the criterion proved in chapter 3 and Cartan's Theorem) to identify special sets as non-semidual. Finally, we construct an example of a semidual set consisting of two functions. KW - Blochsches Prinzip KW - Semidualtität KW - Lückenreihe KW - Blochsches Prinzip KW - Semidualität KW - Dualität KW - Faltung KW - Lückenreihen KW - normale Familien KW - Satz von Cartan KW - Bloch's Principle KW - semiduality KW - duality KW - convolution KW - gap power series KW - normal families KW - Cartan's Theorem Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-3477 ER - TY - THES A1 - Wolfrom, Martin T1 - Isoparametric hypersurfaces with a homogeneous focal manifold T1 - Isoparametrische Hyperflächen mit einer homogenen Fokalmannigfaltigkeit N2 - The classification of isoparametric hypersurfaces in spheres with a homogeneous focal manifold is a project that has been started by Linus Kramer. It extends results by E. Cartan and Hsiang and Lawson. Kramer does most part of this classification in his Habilitationsschrift. In particular he obtains a classification for the cases where the homogeneous focal manifold is at least 2-connected. Results of E. Cartan, Dorfmeister and Neher, and Takagi also solve parts of the classification problem. This thesis completes the classification. We classify all closed isoparametric hypersurfaces in spheres with g>2 distinct principal curvatures one of whose multiplicities is 2 such that the lower dimensional focal manifold is homogeneous. The methods are essentially the same as in Kramer's 'Habilitationsschrift'. The cohomology of the focal manifolds in question is known. This leads to two topological classification problems, which are also solved in this thesis. We classify simply connected homogeneous spaces of compact Lie groups with the same integral cohomology ring as a product of spheres S^2 x S^m and m odd on the one hand and a truncated polynomial ring Q[a]/(a^m) with one generator of even degree and m > 1 as its rational cohomology ring on the other hand. N2 - Die Klassifikation der isoparametrischen Hyperflächen mit einer homogenen Fokalmannigfaltigkeit ist ein Projekt, das von Linus Kramer initiiert wurde. Es verallgemeinert Ergebnisse von E. Cartan und von Hsiang und Lawson. Kramer vollzieht den Großteil dieser Klassifikation in seiner Habilitationsschrift. Genauer gesagt, erhält er eine Klassifikation für die Fälle, in denen die homogene Fokalmannigfaltigkeit mindestens 2-zusammenhängend ist. Ergebnisse von E. Cartan, von Dorfmeister und Neher und von Takagi lösen ebenfalls Teile des Problems. Diese Dissertation schließt die Klassifikation ab. Wir klassifizieren alle abgeschlossenen isoparametrischen Hyperflächen in Sphären mit g>2 verschiedenen Hauptkrümmungen, deren eine Vielfachheit 2 ist, wobei die der Dimension nach kleinere Fokalmannigfaltigkeit homogen ist. Die Methoden sind im Wesentlichen die gleichen wie in Kramers Habilitationsschrift. Die Kohomologie der fraglichen Fokalmannigfaltigkeiten ist bekannt. Dies führt zu zwei topologischen Klassifikationsproblemen, die ebenfalls in dieser Dissertation gelöst werden. Wir klassifizieren einfach zusammenhängende homogene Räume kompakter Lie-Gruppen, welche einerseits den gleichen ganzzahligen Kohomologiering haben wie ein Sphären-Produkt S^2 x S^m, m ungerade, oder andererseits einen abgeschnittenen Polynomring Q[a]/(a^m) in einem Erzeuger von geradem Grad und m>1 als Kohomologiering haben. KW - Isoparametrische Hyperfläche KW - Sphäre KW - Fokalmannigfaltigkeit KW - Klassifikation KW - Homogener Raum KW - Kompakte Lie-Gruppe KW - Kohomologie Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-3505 ER - TY - THES A1 - Joachim, Silvia T1 - Regulatorketten in Butlergruppen T1 - Regulator Chains of Butler Groups N2 - Die fast vollständig zerlegbaren Gruppen bilden eine Teilklasse der Butlergruppen. Das Konzept des Regulators, d.h. der Durchschnitt aller regulierenden Untergruppen, ist unverzichtbar für fast vollständig zerlegbare Gruppen. Dieses Konzept lässt sich in natürlicher Weise auf die ganze Klasse der Butlergruppen fortsetzen. Allerdings lässt sich die Regulatorbildung im allgemeineren Fall der Butlergruppen a priori iterieren. Damit stellt sich erst einmal die Frage, ob es überhaupt Butlergruppen gibt mit Regulatorketten, der Länge größer als 1. Ein erstes Beispiel der Länge 2 wurde 1997 von Lehrmann und Mutzbauer konstruiert. In dieser Dissertation wurden mit konzeptionell neuen Techniken Butlergruppen mit beliebiger vorgegebener endlicher Kettenlänge angegeben. Grundsätzliche Schwierigkeiten bei diesem Unterfangen resultieren aus dem Fehlen, bzw. der Unmöglichkeit, einer kanonischen Darstellung von Butlergruppen. Man verwendet die allseits gebrauchte Summendarstellung für Butlergruppen. Genau an dieser Stelle bedarf es völlig neuer Methoden, verglichen mit den fast vollständig zerlegbaren Gruppen mit ihrer kanonischen Regulatordarstellung. Alle Teilaufgaben bei der anstehenden Konstruktion von Butlergruppen, die für fast vollständig zerlegbare Gruppen Standard sind, werden hierbei problematisch, u.a. die Bildung reiner Hüllen, die Bestimmung regulierender Untergruppen und die Regulatorbildung. N2 - The almost completely decomposable groups form a subclass of the Butler groups. The concept of a regulator, i. e., the intersection of all regulating subgroups, is inevitable for almost completely decomposable groups. This concept can be transferred and continued to the whole class of Butler groups in a natural way. However, forming the regulator for Butler groups usually allows proper iteration. Thus, the primary question is, if there are any Butler groups at all with longer regulator chains, the length longer than 1. A first example of length 2 was constructed by Lehrmann and Mutzbauer in 1997. In this doctoral dissertation Butler groups were constructed of an arbitrarily given finite chain length, using conceptually new techniques. Basic difficulties resulted from the lack, or respectively, the impossibility, of any canonical descriptions of Butler groups. Usually Butler groups are given by the so called sum representation. Precisely here completely new methods are necessary to be applied, compared with the almost completely decomposable groups and their canonical regulator representation. All detailed tasks for the indicated construction of Butler groups, which are standard for almost completely decomposable groups, become problematic, among other things the forming of pure hulls, the determination of regulating subgroups, and the construction of the regulator. KW - Butlergruppe KW - Regulator KW - Butlergruppe KW - regulierende Untergruppen KW - Regulator KW - Butler group KW - regulating subgroup KW - regulator Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-10438 ER - TY - THES A1 - Kurniawan, Indra T1 - Controllability Aspects of the Lindblad-Kossakowski Master Equation : A Lie-Theoretical Approach T1 - Kontrollierbarkeitsaspekte der Lindblad-Kossakowski Master-Gleichung : Ein Lie-theoretischer Ansatz N2 - One main task, which is considerably important in many applications in quantum control, is to explore the possibilities of steering a quantum system from an initial state to a target state. This thesis focuses on fundamental control-theoretical issues of quantum dynamics described by the Lindblad-Kossakowski master equation which arises as a bilinear control system on some underlying real vector spaces, e.g controllability aspects and the structure of reachable sets. Based on Lie-algebraic methods from nonlinear control theory, the thesis presents a unified approach to control problems of finite dimensional closed and open quantum systems. In particular, a simplified treatment for controllability of closed quantum systems as well as new accessibility results for open quantum systems are obtained. The main tools to derive the results are the well-known classifications of all matrix Lie groups which act transitively on Grassmann manifolds, and respectively, on real vector spaces without the origin. It is also shown in this thesis that accessibiity of the Lindblad-Kossakowski master equation is a generic property. Moreover, based on the theoretical accessibility results, an algorithm is developed to decide when the Lindblad-Kossakowski master equation is accessible. N2 - Eine Hauptaufgabe, mit zahlreichen wichtigen Anwendungen in dem Gebiet der Quantenkontrolle, ist die Untersuchung der Möglichkeit zur Steuerung eines quantenmechanischen Systems von einem Anfangszustand zum einem Zielszustand. Diese Arbeit konzentriert sich auf die grundlegenden kontrolltheoretischen Fragen, wie z.B solche zur Erreichbarkeits- und Kontrollierbarkeit, über quantendynamische Systeme, die durch die Lindblad-Kossakowski Master Gleichungen beschrieben werden. Diese Gleichungen bilden bilineare Kontrollsysteme auf einem reellen Vektorraum. Basierend auf Lie-algebraische Methoden der nicht-linearen Kontrolltheorie, wird in dieser Arbeit ein vereinheitlichter Zugang präsentiert um die kontrolltheoretischen Fragen in endlichdimensionalen, geschlossenen wie offenen Quantensystemen zu beantworten. Insbesondere, werden eine vereinfachte Verarbeitung der Kontrollierbarkeitsfragen geschlossener Systeme sowie neue Ergebnisse zur Frage der Zugänglichkeit offener Systeme ausgearbeitet. Der Hauptansatz, um dieser Ergebnisse abzuleiten, besteht in der bekannten Klassifizierung aller Matrix-Lie Gruppen, die auf Grassmann Mannigfaltigkeiten bzw. reellen Vektorräumen ohne Ursprung, transitiv operieren. In dieser Arbeit, werden auch generische Eigenschaften zur Zugänglichkeit der Lindblad-Kossakowski Master Gleichung ausgeführt. Ferner wird, mit Hilfsmittel von theoretischer Ergebnisse, ein Algorithmus zur Bestimmung der Zugänglichkeit der Lindblad-Kossakowski Master Gleichung entwickelt. KW - Kontrolltheorie KW - Quantenmechanisches System KW - Master-Gleichung KW - Lie-Gruppe KW - Controllability KW - Blinear Quantum Control Systems KW - Lindblad-Kossakowski Master Equation KW - Transitive Lie Groups Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-48815 ER - TY - THES A1 - König, Joachim T1 - The inverse Galois problem and explicit computation of families of covers of \(\mathbb{P}^1\mathbb{C}\) with prescribed ramification T1 - Das Umkehrproblem der Galoistheorie und explizite Berechnung von Familien von Überlagerungen des \(\mathbb{P}^1\mathbb{C}\) mit vorgegebener Verzweigung N2 - In attempting to solve the regular inverse Galois problem for arbitrary subfields K of C (particularly for K=Q), a very important result by Fried and Völklein reduces the existence of regular Galois extensions F|K(t) with Galois group G to the existence of K-rational points on components of certain moduli spaces for families of covers of the projective line, known as Hurwitz spaces. In some cases, the existence of rational points on Hurwitz spaces has been proven by theoretical criteria. In general, however, the question whether a given Hurwitz space has any rational point remains a very difficult problem. In concrete cases, it may be tackled by an explicit computation of a Hurwitz space and the corresponding family of covers. The aim of this work is to collect and expand on the various techniques that may be used to solve such computational problems and apply them to tackle several families of Galois theoretic interest. In particular, in Chapter 5, we compute explicit curve equations for Hurwitz spaces for certain families of \(M_{24}\) and \(M_{23}\). These are (to my knowledge) the first examples of explicitly computed Hurwitz spaces of such high genus. They might be used to realize \(M_{23}\) as a regular Galois group over Q if one manages to find suitable points on them. Apart from the calculation of explicit algebraic equations, we produce complex approximations for polynomials with genus zero ramification of several different ramification types in \(M_{24}\) and \(M_{23}\). These may be used as starting points for similar computations. The main motivation for these computations is the fact that \(M_{23}\) is currently the only remaining sporadic group that is not known to occur as a Galois group over Q. We also compute the first explicit polynomials with Galois groups \(G=P\Gamma L_3(4), PGL_3(4), PSL_3(4)\) and \(PSL_5(2)\) over Q(t). Special attention will be given to reality questions. As an application we compute the first examples of totally real polynomials with Galois groups \(PGL_2(11)\) and \(PSL_3(3)\) over Q. As a suggestion for further research, we describe an explicit algorithmic version of "Algebraic Patching", following the theory described e.g. by M. Jarden. This could be used to conquer some problems regarding families of covers of genus g>0. Finally, we present explicit Magma implementations for several of the most important algorithms involved in our computations. N2 - Das Umkehrproblem der Galoistheorie und explizite Berechnung von Familien von Überlagerungen des \(\mathbb{P}^1\mathbb{C}\) mit vorgegebener Verzweigung KW - Galoistheorie KW - Galois theory KW - Hurwitz-Raum KW - Algebraische Kurve KW - Funktionenkörper KW - Monodromie KW - Hurwitz spaces KW - Algebraic Curves KW - Function Fields KW - Monodromy Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-100143 ER -