In dieser Arbeit behandeln wir die birationale Geometrie verschiedener Modulräume; die Modulräume von Kurven mit einem k-Differential mit vorgeschierbenen Nullen, besser bekannt als Strata von Differenzialen, Moduln von K3 Flächen mit markierten Punkten und Moduln von Kurven. Für bestimmte Geschlechter nennen wir Abschätzungen der Kodaira-Dimension, konstruieren unirationale Parametrisierungen, rationale deckende Kurven und unterschiedliche birationale Modelle. In Kapitel 1 führen wir die zu untersuchenden Objekte ein und geben einen kurzen Überblick ihrer wichtigsten Eigenschaften und offenen Problemen. In Kapitel 2 konstruieren wir einen Hilfsmodulraum, der als Brücke zwischen bestimmten finiten Quotienten von Mgn für kleines g und den Moduln der polarisierten K3 Flächen vom Geschlecht 11 dient. Wir entwickeln die Deformationstheorie, die nötig ist, um die Eigenschaften und die oben genannten Modulräume zu erforschen. In Kapitel 3 bedienen wir uns dieser Werkzeuge, um birationale Modelle für Moduln polarisierter K3 Flächen vom Geschlecht 11 mit markierten Punkten zu konstruieren. Diese nutzen wir, um Resultate über die Kodaira-Dimension herzuleiten. Wir beweisen, dass der Modulraum von polarisierten K3 Flächen vom Geschlecht 11 mit n markierten Punkten unirational ist, falls n<=6, und uniruled, falls n<=7. Wir beweisen auch, dass die Kodaira-Dimension von Modulraum von polarisierten K3 Flächen vom Geschlecht 11 mit n markierten Punkten nicht-negativ ist für n>= 9. Im letzten Kapitel gehen wir noch auf die fehlenden Fälle der Kodaira-Klassifizierung von Mgnbar ein. Schliesslich behandeln wir in Kapitel 4 die birationale Geometrie mit Blick auf die Strata von holomorphen und quadratischen Differentialen. Wir zeigen, dass die Strata holomorpher und quadratischer Differentiale von niedrigem Geschlecht uniruled sind, indem wir rationale Kurven mit pencils auf K3 und del Pezzo Flächen konstruieren. Durch das Beschränken des Geschlechts 3<= g<=6 bilden wir projektive Bündel über rationale Varietäten, die die holomorphe Strata mit maximaler Länge g-1 dominieren. Also zeigen wir auch, dass diese Strata unirational sind. / In this thesis we investigate the birational geometry of various moduli spaces; moduli spaces of curves together with a k-differential of prescribed vanishing, best known as strata of differentials, moduli spaces of K3 surfaces with marked points, and moduli spaces of curves. For particular genera, we give estimates for the Kodaira dimension, construct unirational parameterizations, rational covering curves, and different birational models. In Chapter 1 we introduce the objects of study and give a broad brush stroke about their most important known features and open problems. In Chapter 2 we construct an auxiliary moduli space that serves as a bridge between certain finite quotients of Mgn for small g and the moduli space of polarized K3 surfaces of genus eleven. We develop the deformation theory necessary to study properties of the mentioned moduli space. In Chapter 3 we use this machinery to construct birational models for the moduli spaces of polarized K3 surfaces of genus eleven with marked points and we use this to conclude results about the Kodaira dimension. We prove that the moduli space of polarized K3 surfaces of genus eleven with n marked points is unirational when n<= 6 and uniruled when n<=7. We also prove that the moduli space of polarized K3 surfaces of genus eleven with n marked points has non-negative Kodaira dimension for n>= 9. In the final section, we make a connection with some of the missing cases in the Kodaira classification of Mgnbar. Finally, in Chapter 4 we address the question concerning the birational geometry of strata of holomorphic and quadratic differentials. We show strata of holomorphic and quadratic differentials to be uniruled in small genus by constructing rational curves via pencils on K3 and del Pezzo surfaces respectively. Restricting to genus 3<= g<=6 we construct projective bundles over rational varieties that dominate the holomorphic strata with length at most g-1, hence showing in addition, these strata are unirational.

<p>In this thesis, we give two constructions for Riemannian metrics on Seiberg-Witten moduli spaces. Both these constructions are naturally induced from the L2-metric on the configuration space. The construction of the so called quotient L2-metric is very similar to the one construction of an L2-metric on Yang-Mills moduli spaces as given by Groisser and Parker. To construct a Riemannian metric on the total space of the Seiberg-Witten bundle in a similar way, we define the reduced gauge group as a subgroup of the gauge group. We show, that the quotient of the premoduli space by the reduced gauge group is isomorphic as a U(1)-bundle to the quotient of the premoduli space by the based gauge group. The total space of this new representation of the Seiberg-Witten bundle carries a natural quotient L2-metric, and the bundle projection is a Riemannian submersion with respect to these metrics. We compute explicit formulae for the sectional curvature of the moduli space in terms of Green operators of the elliptic complex associated with a monopole. Further, we construct a Riemannian metric on the cobordism between moduli spaces for different perturbations. The second construction of a Riemannian metric on the moduli space uses a canonical global gauge fixing, which represents the total space of the Seiberg-Witten bundle as a finite dimensional submanifold of the configuration space.</p> <p>We consider the Seiberg-Witten moduli space on a simply connected K&auml;uhler surface. We show that the moduli space (when nonempty) is a complex projective space, if the perturbation does not admit reducible monpoles, and that the moduli space consists of a single point otherwise. The Seiberg-Witten bundle can then be identified with the Hopf fibration. On the complex projective plane with a special Spin-C structure, our Riemannian metrics on the moduli space are Fubini-Study metrics. Correspondingly, the metrics on the total space of the Seiberg-Witten bundle are Berger metrics. We show that the diameter of the moduli space shrinks to 0 when the perturbation approaches the wall of reducible perturbations. Finally we show, that the quotient L2-metric on the Seiberg-Witten moduli space on a K&auml;hler surface is a K&auml;hler metric.</p> / <p>In dieser Dissertationsschrift geben wir zwei Konstruktionen Riemannscher Metriken auf Seiberg-Witten-Modulr&auml;umen an. Beide Metriken werden in nat&uuml;rlicher Weise durch die L2-Metrik des Konfiguartionsraumes induziert. Die Konstruktion der sogenannten Quotienten-L2-Metrik entspricht der durch Groisser und Parker angegebenen Konstruktion einer L2-Metrik auf Yang-Mills-Modulr&auml;umen. Zur Konstruktion einer Quotienten-Metrik auf dem Totalraum des Seiberg-Witten-B&uuml;ndels f&uuml;hren wir die sogenannte reduzierte Eichgruppe ein. Wir zeigen, dass der Quotient des Pr&auml;modulraumes nach der reduzierten Eichgruppe als U(1)-B&uuml;ndel isomorph ist zu dem Quotienten nach der basierten Eichgruppe. Dadurch tr&auml;gt der Totalraum des Seiberg-Witten B&uuml;ndels eine nat&uuml;rliche Quotienten-L2-Metrik, bzgl. derer die B&uuml;ndelprojektion eine Riemannsche Submersion ist. Wir berechnen explizite Formeln f&uuml;r die Schnittr&uuml;mmung des Modulraumes in Ausdr&uuml;cken der Green-Operatoren des zu einem Monopol geh&ouml;rigen elliptischen Komplexes. Ferner konstruieren wir eine Riemannsche Metrik auf dem Kobordismus zwischen Modulr&auml;umen zu verschiedenen St&ouml;rungen. Die zweite Konstruktion einer Riemannschen Metrik auf Seiberg-Witten-Modulr&auml;umen benutzt eine kanonische globale Eichfixierung, verm&ouml;ge derer der Totalraum des Seiberg-Witten-B&uuml;ndels als endlich-dimensionale Untermannigfaltigkeit des Konfigurationsraumes dargestellt werden kann.</p> <p>Wir betrachten speziell die Seiberg-Witten-Modulr&auml;ume auf einfach zusammenh&auml;ngenden K&auml;hler-Mannigfaltigkeiten. Wir zeigen, dass der Seiberg-Witten-Modulraum (falls nicht-leer) im irreduziblen Fall ein komplex projektiver Raum its und im reduziblen Fall aus einem einzelnen Punkt besteht. Das Seiberg-Witten-B&uuml;ndel l&auml;&szlig;t sich mit der Hopf-Faserung identifizieren. Die L2-Metrik des Modulraumes auf der komplex projektiven Fl&auml;che CP2 (mit einer speziellen Spin-C-Struktur) ist die Fubini-Study-Metrik; entsprechend sind die Metriken auf dem Totalraum Berger-Metriken. Wir zeigen, dass der Durchmesser des Modulraumes gegen 0 konvergiert, wenn die St&ouml;rung sich dem reduziblen Fall n&auml;hert. Schlie&szlig;lich zeigen wir, dass die Quotienten-L2-Metrik auf dem Seiberg-Witten-Modulraum einer K&auml;hlerfl&auml;che eine K&auml;hler-Metrik ist.</p>

Using the orbicell decomposition of the Deligne-Mumford compactification of the moduli space of Riemann surfaces studied before by the author, a chain complex based on semistable ribbon graphs is constructed which is an extension of the Konsevich’s graph homology. / En este trabajo mediante la descomposicion orbicelular de la compacticacion de Deligne-Mumford del espacio de moduli de supercies de Riemann (estudiada antes por el autor) construimos un complejo basado en grafos de cinta semiestables, lo cual constituye una extension de la homologa de grafos de Kontsevich.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-26T14:32:26Z No. of bitstreams: 1 juanantoniopachecocruz.pdf: 674238 bytes, checksum: 5fbe428a7cb6ca56e7ceb6582082376f (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-26T15:14:36Z (GMT) No. of bitstreams: 1 juanantoniopachecocruz.pdf: 674238 bytes, checksum: 5fbe428a7cb6ca56e7ceb6582082376f (MD5) / Made available in DSpace on 2017-05-26T15:14:36Z (GMT). No. of bitstreams: 1 juanantoniopachecocruz.pdf: 674238 bytes, checksum: 5fbe428a7cb6ca56e7ceb6582082376f (MD5) Previous issue date: 2015-11-19 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Um complexo de retas quadrático, ou simplesmente um complexo quadrático, é um conjunto de retas do espaço projetivo Pn (n = 3, no nosso caso) que satisfazem uma equação quadrática. Um complexo quadrático também pode ser considerado como um feixe de quádricas e portanto tem um símbolo de Segre bem definido. Sabe-se que as retas de um dado complexo, passando por um ponto p ∈P3, formam em geral um cone quadrático. Os pontos nos quais esses cones são a união de dois planos formam uma superfície em P3, chamada Superfície Singular do complexo. O objetivo desse trabalho é, fixado um símbolo de Segre, construir o espaço de Moduli dos complexos quadráticos, o espaço de Moduli das superfícies singulares desses complexos e então estudar a relação entre esse espaços. / A quadratic line complex, or a quadratic complex, is by definition a set of lines in a projective space Pn (n = 3, in our case) which satisfy a given quadratic equation. A quadratic complex can also be considered as a pencil of quadrics. Hence, it has a well defined Segre symbol. It is a classical fact that lines of a given complex through any point p ∈P3 form in general a quadratic cone. The points such that theses cones break up into two planes form a surface, the Singular Surface of the complex. The objective of this work is, for a fixed Segre symbol, to construct the Moduli space of quadratic complex, the Moduli space of corresponding singular surfaces and to study the relation between them.

Cette thèse est consacrée à l'étude de quelques questions soulévées par le théorème de Nesterenko sur l'indépendance algébrique de valeurs des séries d'Eisentein E₂, E₄, E₆. Elle est divisée en deux parties.Dans la première partie, constituée des deux premiers chapitres, on généralise les équations différentielles algébriques satisfaites par les séries d'Eisenstein qui se trouvent dans le coeur de la méthode de Nesterenko, les équations de Ramanujan. Ces généralisations, appélées 'équations de Ramanujan supérieures', sont obtenues géométriquement à partir de champs de vecteurs définis, de manière naturelle, sur certains espaces de modules de variétés abéliennes. Afin de justifier l'intérêt des équations de Ramanujan supérieures en théorie de transcendance, on montre aussi que les valeurs d'une solution particulière remarquable de ces équations sont liées aux 'périodes' de variétés abéliennes.Dans la deuxième partie (troisième chapitre), on étudie la méthode de Nesterenko per se. On établit un énoncé géométrique, contenant le théorème de Nesterenko, sur la transcendance de valeurs d'applications holomorphes d'un disque vers une variété quasi-projective sur $overline{mathbf{Q}}$ définies comme des courbes intégrales d'un champ de vecteurs. Ces applications doivent aussi satisfaire une propriété d'intégralité, ainsi qu'une condition de croissance et une forme renforcée de la densité de Zariski, conditions qui sont naturelles pour des courbes intégrales de champs de vecteurs. / This thesis is devoted to the study of some questions motivated by Nesterenko's theorem on the algebraic independence of values of Eisenstein series E₂, E₄, E₆. It is divided in two parts.In the first part, comprising the first two chapiters, we generalize the algebraic differential equations satisfied by Eisenstein series that lie in the heart of Nesterenko's method, the Ramanujan equations. These generalizations, called 'higher Ramanujan equations', are obtained geometrically from vector fields naturally defined on certain moduli spaces of abelian varieties. In order to justify the interest of the higher Ramanujan equations in Transcendence Theory, we also show that values of a remarkable particular solution of these equations are related to 'periods' of abelian varieties.In the second part (third chapter), we study Nesterenko's method per se. We establish a geometric statement, containing the theorem of Nesterenko, on the transcendence of values of holomorphic maps from a disk to a quasi-projective variety over $overline{mathbf{Q}}$ defined as integral curves of some vector field. These maps are required to satisfy some integrality property, besides a growth condition and a strong form of Zariski-density that are natural for integral curves of algebraic vector fields.

Ziel dieser Arbeit ist die explizite Berechnung gewisser geometrischer Zykel in Modulräumen von Kurven. In den letzten Jahren wurden Divisoren auf $\Mbar_{g,n}$ ausgiebig untersucht. Durch die Berechnung von Klassen in Kodimension 1 konnten wichtige Ergebnisse in der birationalen Geometrie der Räume $\Mbar_{g,n}$ erzielt werden. In Kapitel 1 geben wir einen Überblick über dieses Thema. Im Gegensatz dazu sind Klassen in Kodimension 2 im Großen und Ganzen unerforscht. In Kapitel 2 betrachten wir den Ort, der im Modulraum der Kurven vom Geschlecht 2k durch die Kurven mit einem Büschel vom Grad k definiert wird. Da die Brill-Noether-Zahl hier -2 ist, hat ein solcher Ort die Kodimension 2. Mittels der Methode der Testflächen berechnen wir die Klasse seines Abschlusses im Modulraum der stabilen Kurven. Das Ziel von Kapitel 3 ist es, die Klasse des Abschlusses des effektiven Divisors in $\Mbar_{6,1}$ zu berechnen, der durch punktierte Kurven [C, p] gegeben ist, für die ein ebenes Modell vom Grad 6 existiert, bei dem p auf einen Doppelpunkt abgebildet wird. Wie Jensen gezeigt hat, erzeugt dieser Divisor einen extremalen Strahl im pseudoeffektiven Kegel von $\Mbar_{6,1}$. Ein allgemeines Ergebnis über gewisse Familien von Linearsystemen mit angepasster Brill-Noether-Zahl 0 oder -1 wird eingeführt, um die Berechnung zu vervollständigen. / The aim of this thesis is the explicit computation of certain geometric cycles in moduli spaces of curves. In recent years, divisors of $\Mbar_{g,n}$ have been extensively studied. Computing classes in codimension one has yielded important results on the birational geometry of the spaces $\Mbar_{g,n}$. We give an overview of the subject in Chapter 1. On the contrary, classes in codimension two are basically unexplored. In Chapter 2 we consider the locus in the moduli space of curves of genus 2k defined by curves with a pencil of degree k. Since the Brill-Noether number is equal to -2, such a locus has codimension two. Using the method of test surfaces, we compute the class of its closure in the moduli space of stable curves. The aim of Chapter 3 is to compute the class of the closure of the effective divisor in $\M_{6,1}$ given by pointed curves [C,p] with a sextic plane model mapping p to a double point. Such a divisor generates an extremal ray in the pseudoeffective cone of $\Mbar_{6,1}$ as shown by Jensen. A general result on some families of linear series with adjusted Brill-Noether number 0 or -1 is introduced to complete the computation.

Ce mémoire porte sur l'étude des surfaces minimales et de courbure moyenne constante dans les espaces homogènes de dimension 3. Nous établissons les formules de Sym-Bobenko pour les surfaces de courbure moyenne constante 1/2 de H^2xR et minimales du groupe de Heisenberg, et donnons des exemples de construction de telles immersions par la méthode DPW. Nous montrons également que des propriétés de symétrie passent aux correspondances de type surfaces sœurs et cousines, ce qui entraîne l'existence de graphes entiers de courbure moyenne constante 1/2 à bout vertical dans H^2xR qui ne sont pas de révolution. Nous reprenons ensuite l'étude des bouts verticaux d'immersions de courbure moyenne constante 1/2 dans H^2xR. Nous munissons une famille de graphes entiers d'une structure de variété lisse et en déduisons un analogue pour H^2xR d'un théorème de A. E. Treibergs pour l'espace de Minkowski. Nous nous intéressons également aux déformations des anneaux de révolution. Une conséquence directe est l'existence d'anneaux immergés qui ne sont pas de révolution. Nous construisons notamment des anneaux dont les bouts n'ont pas le même axe. Enfin, nous décrivons les invariants de Nœther correspondant aux isométries des espaces homogènes pour les surfaces minimales et de courbure moyenne constante. Nous utilisons le formalisme de la géométrie de contact qui permet l'écriture de formules explicites en toute généralité, et nous étudions l'évolution des formes de Nœther sous l'action des isométries des espaces homogènes. Nous calculons ces invariants dans le cas des anneaux déformés de H^2xR, et dans celui des anneaux horizontaux du groupe de Heisenberg / The present dissertation deals with the study of minimal and constant mean curvature surfaces in 3-dimensional homogeneous spaces. In a first part, we establish Sym-Bobenko formulæ for constant mean curvature 1/2 surfaces in H^2xR and minimal surfaces in the Heisenberg group, and give examples of construction of such immersions using the DPW method. We also show that certain symmetry properties are shared by sister or cousin surfaces, which implies the existence non rotational entire graphs of constant mean curvature 1/2 in H^2xR with a vertical end.In a second part, we treat in more details the study of vertical ends of constant mean curvature 1/2 immersions in H^2xR. We endow a particular family entire graphs with a structure of smooth manifold and deduce an analogue in H^2xR to a theorem by A. E. Treibergs in the Minkowski space. We are also interested in deforming rotational annuli. A direct consequence is the existence of immersed non rotational annuli, and in particular we construct annuli with ends that do not have the same axis. Finally, we describe the Nœther invariants corresponding to isometries of the ambient homogeneous space for minimal and constant mean curvature surfaces. To do so, we use the formalism of contact geometry which allows general and explicit formulæ. We then study the evolution of Nœther form under the action of isometries in homogeneous spaces. We compute these invariants in the case of deformed annuli in H^2xR, and in the case of horizontal annuli in Heisenberg group

Diese Dissertation befasst sich mit Fragen über den Modulraum M_{0,n} der stabilen punktierten rationalen Kurven, die durch das Mori-Programm motiviert sind. Insbesondere studieren wir den nef-Kegel (Chapter 2), den Cox-Ring (Chapter 3), und den Kegel der beweglichen Kurven (Chapter 4). In Kapitel 2 beweisen wir Fultons Vermutung für M_{0,n}, n / We investigate questions motivated by Mori''s program for the moduli space of stable pointed rational curves, M_{0,n}. In particular, we study its nef cone (Chapter 2), its Cox ring (Chapter 3), and its cone of movable curves (Chapter 4). In Chapter 2, we prove Fulton''s conjecture for M_{0,n} for n less than or equal to 7, which states that any divisor on these moduli spaces non-negatively intersecting all so-called F-curves is linearly equivalent to an effective sum of boundary divisors. As a corollary, it follows that a divisor is nef if and only if the divisor intersects all F-curves non-negatively. By duality, we thus recover Keel and McKernan''s result that the F-curves generate the closed cone of curves when n is less than or equal to seven, but with methods that do not rely on negativity properties of the canonical bundle that fail for higher n. Chapter 3 initiates a study of relations among generators of the Cox ring of M_{0,n}. We first prove a `relation-free'' result that exhibits polynomial subrings of the Cox ring in boundary section variables. In the opposite direction, we exhibit multidegrees such that the corresponding graded parts meet the ideal of relations non-trivially. In Chapter 4, we study the so-called complete intersection cone for the three-fold M_{0,6}. For a smooth projective variety X, this cone is defined as the closure of curve classes obtained as intersections of the dimension of X minus one very ample divisors. The complete intersection cone is contained in the cone of movable curves, which is dual to the cone of pseudoeffective divisors. We show that, for a series of toric birational models for M_{0,6}, the complete intersection and movable cones coincide, while for M_{0,6}, there is strict containment.

Diese Arbeit untersucht verschiedene Fragen hinsichtlich der birationalen Geometrie der Modulräume $\Mbar_g$ und $\Mbar_{g,n}$, mit besonderem Augenmerk auf der Berechnung effektiver Divisorklassen. In Kapitel 2 definieren wir für jedes $n$-Tupel ganzer Zahlen $\d$, die sich zu $g-1$ summieren, einen geometrisch bedeutsamen Divisor auf $\Mbar_{g,n}$, der durch Zurückziehen des Thetadivisors einer universellen Jacobi-Varietät mittels einer Abel-Jacobi-Abbildung erhalten wird. Er ist eine Verallgemeinerung verschiedener in der Literatur verwendeten Arten von Divisoren. Wir berechnen die Klasse dieses Divisors und zeigen, dass er für bestimmte $\d$ irreduzibel und extremal im effektiven Kegel von $\Mbar_{g,n}$ ist. Kapitel 3 beschäftigt sich mit einem birationalen Modell $X_6$ von $\Mbar_6$, das durch quadrische Hyperebenenschnitte auf der del-Pezzo-Fläche vom Grad $5$ erhalten wird. Wir berechnen die Klasse des großen Divisors, der die birationale Abbildung $\Mbar_6 \dashrightarrow X_6$ induziert, und erhalten so eine obere Schranke an die bewegliche Steigung von $\Mbar_6$. Wir zeigen, dass $X_6$ der letzte nicht-triviale Raum im log-minimalen Modellprogramm für $\Mbar_6$ ist. Weiterhin geben wir einige Resultate bezüglich der Unirationalität der Weierstraßorte auf $\Mbar_{g,1}$. Für $g = 6$ hängen diese mit der del-Pezzo-Konstruktion zusammen, die benutzt wurde, um das Modell $X_6$ zu konstruieren. Kapitel 4 konzentriert sich auf den Fall $g = 0$. Castravet and Tevelev führten auf $\Mbar_{0,n}$ kombinatorisch definierte Hyperbaumdivisoren ein, die für $n = 6$ zusammen mit den Randdivisoren den effektiven Kegel erzeugen. Wir berechnen die Klasse des Hyperbaumdivisors auf $\Mbar_{0,7}$, der bis auf Permutation der markierten Punkte eindeutig ist. Wir geben eine geometrische Charakterisierung für ihn an, die zu der von Keel und Vermeire für den Fall $n = 6$ gegebenen analog ist. / This thesis investigates various questions concerning the birational geometry of the moduli spaces $\Mbar_g$ and $\Mbar_{g,n}$, with a focus on the computation of effective divisor classes. In Chapter 2 we define, for any $n$-tuple $\d$ of integers summing up to $g-1$, a geometrically meaningful divisor on $\Mbar_{g,n}$ that is essentially the pullback of the theta divisor on a universal Jacobian variety under an Abel-Jacobi map. It is a generalization of various kinds of divisors used in the literature, for example by Logan to show that $\Mbar_{g,n}$ is of general type for all $g \geq 4$ as soon as $n$ is big enough. We compute the class of this divisor and show that for certain choices of $\d$ it is irreducible and extremal in the effective cone of $\Mbar_{g,n}$. Chapter 3 deals with a birational model $X_6$ of $\Mbar_6$ that is obtained by taking quadric hyperplane sections of the degree $5$ del Pezzo surface. We compute the class of the big divisor inducing the birational map $\Mbar_6 \dashrightarrow X_6$ and use it to derive an upper bound on the moving slope of $\Mbar_6$. Furthermore we show that $X_6$ is the final non-trivial space in the log minimal model program for $\Mbar_6$. We also give a few results on the unirationality of Weierstraß loci on $\Mbar_{g,1}$, which for $g = 6$ are related to the del Pezzo construction used to construct the model $X_6$. Finally, Chapter 4 focuses on the case $g = 0$. Castravet and Tevelev introduced combinatorially defined hypertree divisors on $\Mbar_{0,n}$ that for $n = 6$ generate the effective cone together with boundary divisors. We compute the class of the hypertree divisor on $\Mbar_{0,7}$, which is unique up to permutation of the marked points. We also give a geometric characterization of it that is analogous to the one given by Keel and Vermeire in the $n = 6$ case.

In dieser Arbeit untersuchen wir drei Fragestellungen. Zwei beschäftigen sich mit Divisoren auf Modulräumen von Kurven mit Levelstruktur, die dritte handelt von Stabilitätseigenschaften der Normalenbündel von kanonischen Kurven. Die erste Frage, die in Kapitel 2 studiert wird, beschäftigt sich mit der Kodairadimension des Modulraums R15,2 von Prym-Varietäten vom Geschlecht 15. Wir studieren einen neuen Divisor auf diesem Modulraum und berechnen seine Klasse in der Standardbasis der Picardgruppe. Mit Hilfe dieser Klasse können wir schlussfolgern, dass R15,2 von allgemeinem Typ ist. In Kapitel 3 setzen wir unsere Untersuchung von Kurven mit Levelstruktur fort und untersuchen für jede Primzahl l Theta-Divisoren auf den Modulräumen R6,l und R8,l. Die Divisoren werden mit Hilfe der Mukai-Bündel von Kurven vom Geschlecht 6 beziehungsweise 8 definiert. Diese Bündel liefern kanonische Einbettungen unserer Kurven in Grassmann-Varietäten und beschreiben fundamentale geometrische Aspekte von Kurven dieser Geschlechter. Indem wir die Klasse des Divisors für g = 8 und l = 3 berechnen, können wir zeigen, dass R8,3 ebenfalls von allgemeinem Typ ist. Schließlich studieren wir in Kapitel 4 die Stabilität des Normalenbündels kanonischer Kurven vom Geschlecht 8 und beweisen, dass das Bündel auf einer generischen Kurve stabil ist. Für kanonische Kurven vom Geschlecht 9 beweisen wir die Stabilität zumindest im Bezug auf Unterbündel von niedrigem Rang. Ebenfalls liefern wir zusätzliche Hinweise für die Vermutung von M. Aprodu, G. Farkas und A. Ortega, die besagt, dass eine generische kanonische Kurve jedes Geschlechts g >= 7 ein stabiles Normalenbündel besitzt. / In this thesis we investigate three questions. Two are about divisors on moduli spaces of level curves, and about the consequences for the birational geometry of these spaces. The third asks about the stability properties of normal bundles of canonical curves. The first question, to be studied in Chapter 2, is about the Kodaira dimension of the moduli space R15,2 of Prym varieties of genus 15. We study a new divisor on this space and calculate its class in terms of the standard basis of the Picard group. This allows us to conclude that R15,2 is of general type. Continuing the study of level curves in Chapter 3, we investigate, for every l, theta divisors on R6,l and R8,l defined in terms of the Mukai bundle of genus 6 and 8 curves, respectively. These bundles provide canonical embeddings of our curves in Grassmann varieties and describe fundamental aspects of the geometry of curves of these genera. Using the class of the divisor for g = 8 and l = 3, we are able to prove that R8,3 is of general type as well. Finally, in Chapter 4 we study the stability of the normal bundle of canonical genus 8 curves and prove that on a general curve the bundle is stable. For canonical genus 9 curves we prove stability at least with respect to subbundles of low ranks. We also provide some more evidence for the conjecture of M. Aprodu, G. Farkas, and A. Ortega that a a general canonical curve of every genus g >= 7 has stable normal bundle.