Diese Dissertation untersucht Brill-Noether-Theorie der algebraischen Kurven, unter besonderer Berücksichtigung von Kurven auf K3-Flächen und Del-Pezzo-Flächen. In Kapitel 2 studieren wir den Gieseker-Petri-Ort GP_g im Modulraum M_g der glatten irreduziblen Kurven vom Geschlecht g. Dieser Ort wird definiert durch Kurven mit einer Brill-Noether-Varietät G^r_d(C), die singulär ist oder deren Dimension größer als erwartet ist. Der Satz von Gieseker-Petri impliziert, dass GP_g mindestens Kodimension 1 hat, und es wurde vermutet, dass er von reiner Kodimension 1 ist. Wir beweisen diese Vermutung für Geschlecht höchstens 13. Dies wird dadurch ermöglicht, dass man für kleine Geschlechter die Dimension der irreduziblen Komponenten von GP_g mittels "ad hoc"-Beweisführungen untersuchen kann. Lazarsfelds Beweis des Gieseker-Petri-Theorems mittels Kurven auf allgemeninen K3-Flächen deutet darauf hin, dass die Brill-Noether-Theorie von K3-Schnitten wichtig ist, um den Gieseker-Petri-Ort besser zu verstehen. Linearscharen von Kurven, die auf K3-Flächen liegen, stehen in tiefgehender Beziehung zu sogenannten Lazarsfeld-Mukai-Vektorbündeln. In Kapitel 3 untersuchen wir die Stabilität der Lazarsfeld-Mukai-Vektorbündel vom Rang 3 auf einer K3-Fläche S, und wir zeigen, dass sie viele Informationen über Netze vom Typ g^2_d auf Kurven in S enthalten. Wenn d größ genug ist, erhalten wir eine obere Schranke für die Dimension der Varietät G^2_d(C). Wenn die Brill-Noether-Zahl negativ ist, beweisen wir, dass jedes g^2_d in einer von einem Geradenbündel induzierten Linearschar enthalten ist, wie von Donagi und Morrison vermutet wurde. Kapitel 4 befasst sich mit Syzygien einer gegebenen Kurve C, die auf einer Del-Pezzo-Fläche liegt. Wir insbesondere, dass C die Greens Vermutung erfüllt, die impliziert, dass die Existenz gewisser spezieller Linearscharen auf C von den Gleichungen ihrer kanonischen Einbettung abgelesen werden kann. / We investigate Brill-Noether theory of algebraic curves, with special emphasis on curves lying on $K3$ surfaces and Del Pezzo surfaces. In Chapter 2, we study the Gieseker-Petri locus GP_g inside the moduli space M_g of smooth, irreducible curves of genus g. This consists, by definition, of curves [C] in M_g such that for some r, d the Brill-Noether variety G^r_d(C), which parametrizes linear series of type g^r_d on C, either is singular or has some components exceeding the expected dimension. The Gieseker-Petri Theorem implies that GP_g has codimension at least 1 in M_g and it has been conjectured that it has pure codimension 1. We prove this conjecture up to genus 13; this is possible since, when the genus is low enough, one is able to determine the irreducible components of GP_g and to study their codimension by "ad hoc" arguments. Lazarsfeld''s proof of the Gieseker-Petri-Theorem by specialization to curves lying on general K3 surfaces suggests the importance of the Brill-Noether theory of K3-sections for a better understanding of the Gieseker-Petri locus. Linear series on curves lying on a K3 surface are deeply related to the so-called Lazarsfeld-Mukai bundles. In Chapter 3, we study the stability of rank-3 Lazarsfeld-Mukai bundles on a K3 surface S, and show it encodes much information about nets of type g^2_d on curves C contained in S. When d is large enough and C is general in its linear system, we obtain a dimensional statement for the variety G^2_d(C). If the Brill-Noether number is negative, we prove that any g^2_d is contained in a linear series which is induced from a line bundle on S, as conjectured by Donagi and Morrison. Chapter 4 concerns syzygies of any given curve C lying on a Del Pezzo surface S. In particular, we prove that C satisfies Green''s Conjecture, which implies that the existence of some special linear series on C can be read off the equations of its canonical embedding.

Diese Arbeit widmet sich der Untersuchung von zwei Problemen der abzählenden Geometrie im Zusammenhang mit linearen Systemen auf algebraischen Kurven. Das erste Problem besteht darin, die Frage der Gültigkeit der Jonquières-Formeln zu klären. Diese Formeln berechnen die Anzahl von Divisoren mit vorgeschriebener Multiplizität, genannt de Jonquières-Divisoren, die in einem linearen System auf einer glatten projektiven Kurve enthalten sind. Um dies zu tun, konstruieren wir den Raum der de Jonquières-Divisoren als einen Determinantenzyklus des symmetrischen Produkts der Kurve und beweisen, dass er für eine allgemeine Kurve die erwartete Dimension hat. Dabei beschreiben wir die Degenerationen der Jonquières-Divisoren zu den Knotenkurven sowohl mit linearen Systemen als auch mit kompaktifizierten Picard-Schemata. Das zweite Problem behandelt Zyklen von Untergeordneten-, oder allgemeiner, Sekanten-Divisoren zu einem gegebenen linearen System auf einer Kurve. Wir betrachten den Durchschnitt zweier solcher Zyklen, die Sekanten-Divisoren von zwei verschiedenen linearen Systemen auf der gleichen Kurve entsprechen, und untersuchen die Gültigkeit der enumerativen Formeln, die die Anzahl der Teiler im Durchschnitt zählen. Wir untersuchen einige interessante Fälle mit unerwarteten Transversalitätseigenschaften und etablieren eine allgemeine Methode, um zu überprüfen, wann dieser Durchschnitt leer ist. / This thesis is dedicated to the study of two enumerative geometry problems in the context of linear series on algebraic curves. The first problem is that of settling the issue of the validity of the de Jonquières formulas. These formulas compute the number of divisors with prescribed multiplicity, or de Jonquières divisors, contained in a linear series on a smooth projective curve. To do so, we construct the space of de Jonquières divisors as a determinantal cycle of the symmetric product of the curve and prove that, for a general curve with a general linear series, it is of expected dimension. In doing so, we describe the degenerations of de Jonquières divisors to nodal curves using both limit linear series and compactified Picard schemes. The second problem deals with cycles of subordinate or, more generally, secant divisors to a given linear series on a curve. We consider the intersection of two such cycles corresponding to secant divisors of two different linear series on the same curve and investigate the validity of the enumerative formulas counting the number of divisors in the intersection. We study some interesting cases, with unexpected transversality properties, and establish a general method to verify when this intersection is empty.

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.

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.