Hypersurfaces with many singularities

1. Teil: Bekannte Konstruktionen. Die vorliegende Arbeit gibt zunächst einen ausführlichen Überblick über die bisherigen Entwicklungen auf dem klassischen Gebiet der Hyperflächen mit vielen Singularitäten. Die maximale Anzahl mu^n(d) von Singularitäten auf einer Hyperfläche vom Grad d im P^n(C) ist nur in sehr wenigen Fällen bekannt, im P^3(C) beispielsweise nur für d<=6. Abgesehen von solchen Ausnahmen existieren nur obere und untere Schranken. 2. Teil: Neue Konstruktionen. Für kleine Grade d ist es oft möglich, bessere Resultate zu erhalten als jene, die durch allgemeine Schranken gegeben sind. In dieser Arbeit beschreiben wir einige algorithmische Ansätze hierfür, von denen einer Computer Algebra in Charakteristik 0 benutzt. Unsere anderen algorithmischen Methoden basieren auf einer Suche über endlichen Körpern. Das Liften der so experimentell gefundenen Hyperflächen durch Ausnutzung ihrer Geometrie oder Arithmetik liefert beispielsweise eine Fläche vom Grad 7 mit $99$ reellen gewöhnlichen Doppelpunkten und eine Fläche vom Grad 9 mit 226 gewöhnlichen Doppelpunkten. Diese Konstruktionen liefern die ersten unteren Schranken für mu^3(d) für ungeraden Grad d>5, die die allgemeine Schranke übertreffen. Unser Algorithmus hat außerdem das Potential, auf viele weitere Probleme der algebraischen Geometrie angewendet zu werden. Neben diesen algorithmischen Methoden beschreiben wir eine Konstruktion von Hyperflächen vom Grad d im P^n mit vielen A_j-Singularitäten, j>=2. Diese Beispiele, deren Existenz wir mit Hilfe der Theorie der Dessins d'Enfants beweisen, übertreffen die bekannten unteren Schranken in den meisten Fällen und ergeben insbesondere neue asymptotische untere Schranken für j>=2, n>=3. 3. Teil: Visualisierung. Wir beschließen unsere Arbeit mit einer Anwendung unserer neuen Visualisierungs-Software surfex, die die Stärken mehrerer existierender Programme bündelt, auf die Konstruktion affiner Gleichungen aller 45 topologischen Typen reeller kubischer Flächen.

Reaktivität von Dihypersilylhalogenorganylplumbanen

Organylhalogenide RX reagieren formal gemäß einer oxidativen 1,1-Addition mit Dihypersilylplumbylen) PbHyp2 zu Dihypersilyl-halogenorganylplumbanen PbHyp2RX. Diese Umsetzung gelingt mit nahezu allen untersuchten Organylresten, lediglich beispielsweise der Mesitylrest erweist sich als zu sperrig (R = Me, Et, nPr, iPr, tBu, Hx, cHx, Ad, Ph, C6F5, oTo, mTo, pTo, Naph, Anthr).rnrnFür einige Halogenorganyle wird eine analoge Addition auch an das zinnhomologe Dihypersilylstannylen beschrieben.rnrnDie untersuchten Addukte sind thermisch und gegenüber UV-Strahlung, Sauerstoff und Wasser deutlich weniger empfindlich als vergleichbare andere blei- und zinnorganische Verbindungen.rnrnUmfangreiche NMR-Datensätze beschreiben eine markante Hoch-feldverschiebung der Hypersilylprotonen beim Übergang von PbHyp2 hin zu PbHyp2RX, die für Arylreste stärker ausfällt als für Alkylreste.rnrnEin Großteil der Addukte wurde einkristallin erhalten und wird anhand der röntgendiffraktometrisch ermittelten Strukturparameter detailliert charakterisiert. rnrnEs finden sich gegenüber dem idealen Tetraderwinkel auffällig stark aufgeweitete Si Pb Si-Winkel von 130-143°, während die anderen Winkel mehrheitlich unter dem theoretischen Idealwert bleiben (Si Pb X: 94 103°; Si Pb C: 98-112°; C Pb X: 95-103°). Insbesondere größere, weichere Reste und planare Arylplumbane rücken näher an das Halogen heran.rnDie insgesamt recht hohen Blei-Halogen-Abstände nehmen von den Chloriden hin zu den Iodiden zu. Die Iodoplumbane zeigen dabei generell die kleinsten Pb Si und die größten Pb C Abstände. Alkylplumbane weisen längere Pb C Bindungen auf als ansonsten vergleichbare Arylplumbane.rnrnViele der gefundenen Molekülstrukturen zeigen Anzeichen hoher sterischer Spannung in Form von Substituentenverzerrungen. rnrnDie Bildungsgeschwindigkeit der Addukte ist auch bei tiefen Temperaturen hoch. Sie nimmt von X = Cl über Br hin zu I zu und ist für Alkylreste höher als für Aryle. Die Zerfallsgeschwindigkeiten verhalten sich genau entgegengesetzt. Bei den Thermolysen wird regelmäßig Hypersilylhalogenid eliminiert. Dabei entstehen in Abwesenheit koordinierender Solventien Dihypersilyl-diorganylplumbane PbHyp2R2.rnAndere, unbekannte Zerfallskanäle führen zu unerwarteten Produkten, wie dem Iodonium-verbrückten, cyclischen Tetraplumbetan Pb4I(C6F5)Hyp3.rnrnIn Anwesenheit von Lewis-Basen hingegen können sich hetero-leptische Plumbylene bilden, wie am Beispiel eines Bitolyldiylbisplumbylens gezeigt wird. Dieses zeigt auch, dass prinzipiell eine zweifache Addition von Dihalogenorganylen an zwei Äqui-valente Dihypersilylplumbylen möglich ist. Entsprechende Untersuchungen beschäftigen sich ausführlich mit dafür geeigneten und ungeeigneten Organdiylresten.rnrnUnter günstigen reduktiven Bedingungen lassen sich mittels Metal-lierungsreagenz aus den Dihypersilylhalogenorganylplumbanen unter Halogenidentzug Plumbanide erhalten, die in Form getrennter Ionenpaare isolierbar sind. Diese lassen sich in Ana-logie zu den zuvor beschriebenen Plumbanen ebenfalls als Addukt aus Dihypersilylplumbylen und Lithiumorganylen darstellen.rnrnUnter geeigneten speziellen Bedingungen sind neben metallierten auch formal hydridierte Halogenplumbanide zugänglich.rnrnEntsprechend einer geringen Hybridisierung am zentralen Blei-atom, also eines hohen p-AO-Charakters der bindenden Molekülorbitale und s-AO-Charakters des LEP-Orbitals ergeben sich keine trigonal-planaren, sondern Strukturen mit Substituenten-winkeln sogar nahe bei 90°. Die Bindungslängen zum Blei sind deutlich größere als bei den entsprechenden Halogenplumbanen.rnrnEin besonderes Augenmerk der Arbeit liegt auf der Betrachtung von langlebigen und persistenten heteroleptischen Plumbyl-Radikalen, die durch milde Oxidation mittels PbNsi23) aus den Dihypersilylorganylplumbaniden erhalten werden. Während bislang nur homoleptische Vertreter bekannt waren, die aufgrund des sterischen Anspruchs der Substituenten und aufgrund von Hyperkonjugation von axialsymmetrischer nahezu planarer Geometrie sind, findet sich für die heteroleptischen Plumbyle dieser Arbeit eine stärker pyramidale Geometrie. Ausführlich diskutierte EPR-Experimente liefern Spektren, die gut mit Simulationen für die entsprechenden Radikale übereinstimmen.rnrnDie im Zentrum der Betrachtungen dieser Arbeit stehenden Dihypersilylhalogenorganylplumbane stellen somit einen aussichtsreichen und darüber hinaus persistenten und gut zu handhabenden Ausgangspunkt bei der Darstellung neuartiger und interessanter Spezies dar.

Modellkomplexe zur Untersuchung der Radikal-Metall-Wechselwirkung innerhalb des wasseroxidierenden Zentrums im Photosystem II

Im Rahmen dieser Arbeit wurden zweikernige Modellkomplexe zur Untersuchung der Radikal-Metallwechselwirkung innerhalb des wasseroxidierenden Zentrums des Photo¬systems II synthetisiert und eine magneto-strukturelle Korrelation dieser Komplexe erstellt. Als Liganden wurden diverse sechs- bis siebenzähnige Chelatliganden verwendet, welche über zwei Koordinationstaschen und eine verbrückende Phenolatgruppe verfügen. Zwei daran gebundene Manganionen liegen in einer wohl definierten Umgebung nicht koordinativ gesättigt vor. An die freien Koordinationsstellen können weitere ein bis zwei Brückenliganden binden, bei denen es sich in dieser Arbeit hauptsächlich um Carboxylate handelt. Durch die Verwendung eines diamagnetischen Brückenliganden konnte die magnetische Spin-Spin-Austauschwechselwirkung zwischen den spintragenden Manganionen über die verbrücken¬de Phenolatgruppe bestimmt werden. Komplexe, welche über Manganionen in den gleichen Oxidationsstufen, aber über unterschiedliche Carboxylatbrückenliganden verfügen, weisen ähnliche magnetische Austauschwechselwirkungen zwischen den Metallzentren auf. Diese Beobachtung konnte durch eine strukturelle Ähnlichkeit dieser Komplexe erklärt werden. Mittels Aufsummieren der Bindungslängen der verbrückenden Phenolateinheit zu beiden Zentralionen kann innerhalb dieser Komplexe jeweils die Länge des Wechselwirkungspfades erhalten werden, welcher die magnetische Austauschwechselwirkung maßgeblich beein¬flusst. Je länger der Wechselwirkungspfad ist, desto kleiner ist die Austausch¬wechsel¬wirkung. Durch Austausch der diamagnetischen Carboxylate durch paramagnetische benzoat¬substituierte Nitronyl Nitroxid Radikale wurden den Komplexen ein bis zwei weitere Spinzentren hinzugefügt, welche mit den Spins der Zentralionen wechselwirken können. Simulationen der magnetischen Suszeptibilitätsmessungen liefern Werte für die magneti¬schen Austausch¬wechselwirkungen zwischen den Nitronyl Nitroxid Radikalen und den Manganionen, die in allen Fällen schwach ferromagnetisch zwischen 0 und 4,7 cm-1 sind. In einer Auftragung dieser Austauschwechselwirkungen gegen die Mangan-Carboxylat-Bindungs¬längen von strukturell charakterisierten äquivalenten acetatverbrückten Komplexen, kann eine lineare Abhängigkeit gezeigt werden.

Studium hochkomplexer atomarer Spektren mittels Methoden der Laserresonanzionisation

In dieser Arbeit wurden umfangreiche laserspektroskopische Studien mit dem Zielrneines verbesserten Verständnisses höchst komplexer Spektren der Lanthanide und Aktinide durchgeführt. Einen Schwerpunkt bildete die Bestimmung bisher nicht oder mit unbefriedigender Genauigkeit bekannter erster Ionisationspotentiale für diese Elemente.rnHierzu wurden drei unterschiedliche experimentelle Methoden eingesetzt. Die Bestimmung des Ionisationspotentiales aus Rydbergserien wurde an den Beispielen Eisen, Mangan und Kobalt mit gemessenen Werten von IPFe = 63737, 6 ± 0, 2stat ± 0, 1syst cm−1, IPMn = 59959, 6 ± 0, 4 cm−1 beziehungsweise IPCo = 63564, 77 ± 0, 12 cm−1 zunächst erfolgreich erprobt. Die bestehenden Literaturwerte konnten in diesen Fällen bestätigt werden und bei Eisen und Kobalt die Genauigkeit etwa um einen Faktor drei bzw. acht verbessert werden. Im Falle der Lanthaniden und Aktiniden jedoch ist die Komplexität der Spektren derart hoch, dass Rydbergserien in einer Vielzahl weiterer Zustände beliebiger Konfiguration nicht oder kaum identifiziert werden können.rnUm dennoch das Ionisationspotential bestimmen zu können, wurde die verzögerte, gepulste Feldionisation wie auch das Verfahren der Isolated Core Excitation am Beispiel des Dysprosiums erprobt. Aus den so identifizierten Rydbergserien konnten Werte von IPFeld = 47899 ± 3 cm−1 beziehungsweise IPICE = 47900, 4 ± 1, 4 cm−1 bestimmt werden. Als komplementärer Ansatz, der auf ein möglichst reichhaltiges Spektrum in der Nähe des Ionisationspotentiales angewiesen ist, wurde zusätzlich die Sattelpunktsmethode erfolgreich eingesetzt. Das Ionisationspotential des Dysprosium wurde damit zu IPDy = 47901, 8±0, 3 cm−1 bestimmt, wobei am Samarium, dessen Ionisationspotential aus der Literatur mit höchster Genauigkeit bekannt ist, bestätigt werden konnte, dassrnauftretende systematische Fehler kleiner als 1 cm−1 sind. Das bisher sehr ungenau bekannte Ionisationspotential des Praseodyms wurde schließlich zu IPPr = 44120, 0 ± 0, 6 cm−1 gemessen. Hiermit wird der bisherige Literaturwert bei einer Verbesserung der Genauigkeit um zwei Größenordnungen um etwa 50 cm−1 nach oben korrigiert. Aus der Systematik der Ionisationspotentiale der Lanthaniden konnte schließlich das Ionisationspotential des radioaktiven Promethiums mit IPPm = 44985 ± 140 cm−1 vorhergesagt werden. Abschließend wurde die Laserresonanzionisation des Elements Protactinium demonstriertrnund das Ionisationspotential erstmals experimentell bestimmt. Ein Wert vonrn49000±110 cm−1 konnte aus dem charakteristischen Verhalten verschiedener Anregungsschemata gefolgert werden. Dieser Wert liegt etwa 1500 cm−1 höher als der bisherige Literaturwert, theoretische Vorhersagen weichen ebenfalls stark ab. Beide Abweichungen können über eine Betrachtung der Systematik der Ionisationspotentiale in der Aktinidenreihe hervorragend verstanden werden.

Deriving Deligne-Mumford stacks with perfect obstruction theories

Intersection theory on moduli spaces has lead to immense progress in certain areas of enumerative geometry. For some important areas, most notably counting stable maps and counting stable sheaves, it is important to work with a virtual fundamental class instead of the usual fundamental class of the moduli space. The crucial prerequisite for the existence of such a class is a two-term complex controlling deformations of the moduli space. Kontsevich conjectured in 1994 that there should exist derived version of spaces with this specific property. Another hint at the existence of these spaces comes from derived algebraic geometry. It is expected that for every pair of a space and a complex controlling deformations of the space their exists, under some additional hypothesis, a derived version of the space having the chosen complex as cotangent complex. In this thesis one version of these additional hypothesis is identified. We then show that every space admitting a two-term complex controlling deformations satisfies these hypothesis, and we finally construct the derived spaces.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.