In dieser Arbeit untersuchen wir Varietäten singulärer, quadratischer Hyperflächen, die eine projektive Kurve enthalten, und effektive Divisoren im Modulraum von Kurven, die mittels verschiedener Eigenschaften von quadratischen Hyperflächen definiert werden. In Kapitel 2 berechnen wir die Klasse des effektiven Divisors im Modulraum von Kurven mit Geschlecht g und n markierten Punkten, der als der Ort von solchen markierten Kurven definiert ist, dass das Projektion der kanonischen Abbildung der Kurve von den markierten Punkten auf einer quadratischen Hyperfläche liegt. Mithilfe dieser Klasse zeigen wir, dass die Modulräume mit Geschlecht 16, 17 und 8 markierten Punkten Varietäten von allgemeinem Typ sind. In Kapitel 3 stratifizieren wir den Raum von quadratischen Hyperflächen, die eine projektive Kurve enthalten, mithilfe des Rangs dieser Hyperflächen. Wir zeigen, dass jedes Stratum die erwartete Dimension hat, falls die Kurve ein allgemeines Element des Hilbertschemas ist. Mit Rücksicht auf Rang von quadratischen Hyperflächen, eine ähnliche Konstruktion wie in Kapitel 2 ergibt neue Divisoren im Modulraum von Kurven. Wir berechnen die Klasse von diesen Divisoren und zeigen, dass der Modulraum von Kurven mit Geschlecht 15 und 9 markierten Punkten eine Varietät von allgemeinem Typ ist. In Kapitel 4 präsentieren wir unterschiedliche Resultate, die mit Themen von vorigen Kapiteln im Zusammenhang stehen. Zum Ersten berechnen wir die Klasse von Divisoren im Modulraum von Kurven, die als die Orte von Kurven definiert sind, wo die maximale Rang Vermutung nicht gilt. Zweitens zeigen wir, dass jedes Geradenbündel als Tensorprodukt von zwei Geradenbündeln mit zwei Schnitten geschrieben werden kann, falls die Kurve allgemein ist und eine gewisse numerische Bedingung erfüllt ist. Zuletzt benutzen wir bekannte Divisorklassen zu zeigen, dass der Modulraum von Kurven mit Geschlecht 12 und 10 markierten Punkten eine Varietät von allgemeinem Typ ist. / In this thesis, we study varieties of singular quadrics containing a projective curve and effective divisors in the moduli space of pointed curves defined via various constructions involving quadric hypersurfaces. In Chapter 2, we compute the class of the effective divisor in the moduli space of n-pointed genus g curves, which is defined as the locus of pointed curves such that the projection of the canonical model of the curve from the marked points lies on a quadric hypersurface. Using this class, we show that the moduli spaces of 8-pointed genus 16 and 17 curves are varieties of general type. In Chapter 3, we stratify the space of quadrics that contain a given curve in the projective space, using the ranks of the quadrics. We show, in a certain numerical range, that each stratum has the expected dimension if the curve is general in its Hilbert scheme. By incorporating the datum of the rank of quadrics, a similar construction as the one in Chapter 2 yields new divisors in the moduli space of pointed curves. We compute the class of these divisors and show that the moduli space of 9-pointed genus 15 curves is a variety of general type. In Chapter 4, we present miscellaneous results, which are related with our main work in the previous chapters. Firstly, we consider divisors in the moduli space of genus g curves, which are defined as the failure locus of maximal rank conjecture for hypersurfaces of degree greater than two. We illustrate three examples of such divisors and compute their classes. Secondly, using the classical correspondence between rank 4 quadrics and pencils on curves, we show that the map that associates to a pair of pencils their tensor product in the Picard variety is surjective, when the curve is general and obvious numerical assumptions are satisfied. Finally, we use divisor classes, that are already known in the literature, to show that the moduli space of 10-pointed genus 12 curves is a variety of general type.

In dieser Doktorarbeit untersuchen wir einige Modulräume der Prym-Paaren, Prym-Varietäten und Spin-Kurven. Nachdem der passende theoretische Rahmen eingeführt wird, erhalten wir neue Ergebnisse zu zwei verschiedenen Aspekten ihrer Geometrie, die wir in zwei entsprechenden Kapiteln beschreiben. In Kapitel 1 betrachten wir die universelle Prym-Varietät über dem Modulraum R_g der Prym-Paaren vom Geschlecht g und bestimmen ihre Unirationalität für g=3. Dazu bilden wir eine explizite rationale Parametrisierung der universellen 2-fachen Prym-Kurve über R_3, die die universelle Prym-Varietät durch die globale Version der Abel-Prym-Abbildung dominiert. Darüber hinaus passen wir den Beweis an den Rahmen von Nikulin-Flächen an und zeigen, dass die universelle doppelte Nikulin-Fläche ebenfalls unirational ist. In Kapitel 2 untersuchen wir die Wechselwirkung zwischen R_g und dem Modulraum S_g der (stabilen) Spin-Kurven vom Geschlecht g. Wenn man den Divisor der Kurven, die mit einem verschwindenden Thetanull ausgestattet sind, von S_g^+ nach R_g versetzt, erhält man zwei geometrische Divisoren der (stabilen) Prym-Kurven mit einem verschwindenden Thetanull. Wir verwenden Testkurventechniken, um die Klassen dieser (Prym-Null-)Divisoren für g>=5 zu berechnen, und werten die Prymnull-Klassen auf einigen weiteren Familien von Kurven aus, um ihre verschwindenden Thetanulls zu analysieren. Darüber hinaus diskutieren wir am Ende von Kapitel 2 eine mögliche Kompaktifizierung des Modulraums der Kurven, die eine doppelte Quadratwurzel tragen. Anschließend untersuchen wir den Rand des Modulraums RS_g der (stabilen) Prym-Spin-Kurven vom Geschlecht g und überprüfen die Prymnull-Klassen anhand des Diagramms R_g<--RS_g-->S_g. Zum Schluss schlagen wir eine Erweiterung des Produkts von Wurzeln, das über glatten Kurven durch das Tensorprodukt definiert ist, zu einer Operation auf stabilen Doppelwurzeln vor. / In this thesis, we study several moduli spaces of Prym pairs, Prym varieties, and spin curves. After the appropriate theoretical framework is introduced, we obtain new results concerning two different aspects of their geometry, which we describe across two corresponding chapters. In Chapter 1, we consider the universal Prym variety over the moduli space R_g of Prym pairs of genus g, and determine its unirationality for g=3. To do this, we build an explicit rational parametrization of the universal 2-fold Prym curve over R_3, which dominates the universal Prym variety through the global version of the Abel-Prym map. Furthermore, we adapt the proof to the setting of Nikulin surfaces and show that the universal double Nikulin surface is also unirational. In Chapter 2, we explore the interaction between R_g and the moduli space S_g of (stable) spin curves of genus g. When the divisor of curves equipped with a vanishing theta-null is moved from S_g^+ to R_g, it yields two geometric divisors of (stable) Prym curves with a vanishing theta-null. We use test curve techniques to compute the classes of these (Prym-null) divisors for g>=5, and evaluate the Prym-null classes on some more families of curves in order to analyse their vanishing theta-nulls. In addition, at the end of Chapter 2 we discuss a potential compactification of the moduli space of curves carrying a double square root. We then examine the boundary of the moduli space RS_g of (stable) Prym-spin curves of genus g and check the Prym-null classes against the diagram R_g<--RS_g-->S_g. Finally, we propose an extension of the product of roots, defined over smooth curves by the tensor product, to an operation on stable double roots.

Wir studieren die perturbative Quantisierung von Eichtheorien und Gravitation. Unsere Untersuchungen beginnen mit der Geometrie von Raumzeiten und Teilchenfeldern. Danach diskutieren wir die verschiedenen Lagrangedichten in der Kopplung der (effektiven) Quanten-Allgemeinen-Relativitätstheorie zum Standardmodell. Desweiteren studieren wir den zugehörigen BRST-Doppelkomplex von Diffeomorphismen und Eichtransformationen. Danach wenden wir Connes--Kreimer-Renormierungstheorie auf die perturbative Feynmangraph-Entwicklung an: In dieser Formulierung werden Subdivergenzen mittels des Koprodukts einer Hopfalgebra strukturiert und die Renormierungsoperation mittels einer algebraischen Birkhoff-Zerlegung beschrieben. Dafür verallgemeinern und verbessern wir bekannte Koprodukt-Identitäten und ein Theorem von van Suijlekom (2007), das (verallgemeinerte) Eichsymmetrien mit Hopfidealen verbindet. Insbesondere lässt sich unsere Verallgemeinerung auf Gravitation anwenden, wie von Kreimer (2008) vorgeschlagen. Darüberhinaus sind unsere Resultate anwendbar auf Theorien mit mehreren Vertexresuiden, Kopplungskonstanten und ebensolchen mit einer transversalen Struktur. Zusätzlich zeigen wir Kriterien für die Kompatibilität dieser Hopfideale mit Feynmanregeln und dem gewählten Renormierungsschema. Als nächsten Schritt berechnen wir die entsprechenden Gravitations-Materie Feynmanregeln für alle Vertexvalenzen und mit einem allgemeinen Eichparameter. Danach listen wir alle Propagator- und dreivalenten Vertex-Feynmanregeln auf und berechnen die entsprechenden Kürzungsidentitäten. Abschließend stellen wir geplante Folgeprojekte vor: Diese schließen eine Verallgemeinerung von Wigners Klassifikation von Elementarteilchen für linearisierte Gravitation ein, ebenso wie die Darstellung von Kürzungsidentitäten mittels Feynmangraph-Kohomologie und eine Untersuchung der Äquivalenz verschiedener Definitionen des Gravitonfeldes. Insbesondere argumentieren wir, dass das richtige Setup um perturbative BRST-Kohomologie zu studieren eine differentialgraduierte Hopfalgebra ist. / We study the perturbative quantization of gauge theories and gravity. Our investigations start with the geometry of spacetimes and particle fields. Then we discuss the various Lagrange densities of (effective) Quantum General Relativity coupled to the Standard Model. In addition, we study the corresponding BRST double complex of diffeomorphisms and gauge transformations. Next we apply Connes--Kreimer renormalization theory to the perturbative Feynman graph expansion: In this framework subdivergences are organized via the coproduct of a Hopf algebra and the renormalization operation is described as an algebraic Birkhoff decomposition. To this end, we generalize and improve known coproduct identities and a theorem of van Suijlekom (2007) that relates (generalized) gauge symmetries to Hopf ideals. In particular, our generalization applies to gravity, as was suggested by Kreimer (2008). In addition, our results are applicable to theories with multiple vertex residues, coupling constants and such with a transversal structure. Additionally, we also provide criteria for the compatibility of these Hopf ideals with Feynman rules and the chosen renormalization scheme. We proceed by calculating the corresponding gravity-matter Feynman rules for any valence and with a general gauge parameter. Then we display all propagator and three-valent vertex Feynman rules and calculate the respective cancellation identities. Finally, we propose planned follow-up projects: This includes a generalization of Wigner's classification of elementary particles to linearized gravity, the representation of cancellation identities via Feynman graph cohomology and an investigation on the equivalence of different definitions for the graviton field. In particular, we argue that the appropriate setup to study perturbative BRST cohomology is a differential-graded Hopf algebra.