The Riemann-Roch Theorem
|
|
- Amanda Norris
- 5 years ago
- Views:
Transcription
1 The Riemann-Roch Theorem
2 In this lecture F/K is an algebraic function field of genus g. Definition For A D F, is called the index of specialty of A. i(a) = dim A deg A + g 1 Definition An adele of F/K is a mapping α : P F F such that α(p ) = α P O P for almost all P P F. We regard an adele as an element of the direct product use the notation α = (α P ) P PF or α = (α P ). The set A F = {α : α is an adele of F/K} P P F F and, therefore, is called the adele space of F/K. It is regarded as a vector space over K. 1
3 The principal adele of an element x F is the adele all of whose components are equal to x. This gives an embedding of F into A F. A valuation v P of F/K extends naturally to A F by setting v P (α) = v P (α P ). By definition, v P (α) 0 for almost all P P F. Definition For A D F we define A F (A) = {α A F : v P (α) v P (A) for all P P F }. Obviously, this is a K-subspace of A F. Theorem Let A D F. Then Corollary Proof of the corollary i(a) = dim(a F /(A F (A) + F )) g = dim(a F /(A F (0) + F )) i(0) = dim(0) deg(0) + g 1 = g 1 = g 2
4 Lemma Let A 1, A 2 D F be such that A 1 A 2. Then (1) A F (A 1 ) A F (A 2 ) and (2) dim(a F (A 2 )/A F (A 1 )) = deg A 2 deg A 1 dim((a F (A 2 )+F )/(A F (A 1 )+F )) = (deg A 2 dim A 2 ) (deg A 1 dim A 1 ) Proof (1) The inclusion A F (A 1 ) A F (A 2 ) is immediate, and it suffices to prove the equality in the case of A 2 = A 1 + P, where P P F (the general case follows by induction). Let t F be such that v P (t) = v P (A 1 ) + 1 = v P (A 2 ). Then the K-linear map ϕ : A F (A 2 ) F P defined by ϕ(α) = (tα P )(P ) is surjective (why?) and Ker ϕ = A F (A 1 ) (why?). Therefore, dim(a F (A 2 )/A F (A 1 )) = [F P : K] = deg P = deg A 2 deg A 1. 3
5 (2) We contend that the sequence of linear mappings below is exact. 0 L(A 2 )/L(A 1 ) σ 1 A F (A 2 )/A F (A 1 ) σ 2 (A F (A 2 ) + F )/(A F (A 1 ) + F ) 0 The only non-trivial part is to show that Ker σ 2 Im σ 1. Let α A F (A 2 ) be such that σ 2 (α + A F (A 1 )) = 0. Then α A F (A 1 ) + F, i.e., for some x F, α x A F (A 1 ) A F (A 2 ). Therefore, implying x A F (A 2 ) F = L(A 2 ), α + A F (A 1 ) = x + A F (A 1 ) = σ 1 (x + L(A 1 )) Im σ 1. Form the exactness of the above sequence and part (1) of the lemma we obtain dim(a F (A 2 ) + F )/(A F (A 1 ) + F ) = dim(a F (A 2 )/A F (A 1 )) dim(l(a 2 )/L(A 1 )) = (deg A 2 dim A 2 ) (deg A 1 dim A 1 ). 4
6 Corollary Let B, B 1 D F be such that dim B = deg B + 1 g and B 1 B. Then dim B 1 = deg B g. Proof It follows from 0 dim(a F (B 1 ) + F )/(A F (B) + F ) = (deg B 1 dim B 1 ) (deg B dim B) that dim B 1 deg B 1 + dim B deg B = deg B g. Since also dim B 1 deg B g (why?), the corollary follows. Lemma Let B D F be such that dim B = deg B + 1 g. Then A F = A F (B) + F. Proof Let α A F such a B 1?). Since and let B 1 B be such that α A F (B 1 ) (why there is dim(a F (B 1 ) + F )/(A F (B) + F ) = (deg B 1 dim B 1 ) (deg B dim B) = 0, A F (B 1 ) + F = A F (B) + F, and, therefore, α A F (B) + F. 5
7 Proof of the theorem Let A 1 A be such that dim A 1 = deg A g (why there is such an A 1?). Then A F = A F (A 1 ) + F, implying dim(a F /(A F (A) + F )) = dim((a F (A 1 ) + F )/(A F (A) + F )) = (deg A 1 dim A 1 ) (deg A dim A) = (g 1) + dim A deg A = i(a). 6
8 Definition A Weil differential of F/K is a K-linear map ω : A F K vanishing on A F (A) + F for some divisor A D F. The set of all differentials is denoted by Ω F and for a divisor A D F the set of differentials Ω F (A) is defined by Ω F (A) = {ω Ω F : ω vanishes on A F (A) + F }. Remark (1) If ω Ω F (A) and a K, then aω Ω F (A). (2) If A 1, A 2, A 3 D F are such that A 1, A 2 A 3 and ω i Ω F (A i ), i = 1, 2, then ω 1 + ω 2 Ω F (A 3 ). Therefore, Ω F is a vector space over K and Ω F (A) is its subspace. 7
9 Lemma Let A D F. Then dim Ω F (A) = i(a). Proof By definition, Ω F (A) is isomorphic to the space of linear forms on A F /(A F (A) + F ) whose dimension equals to that of A F /(A F (A) + F ), which is i(a). Corollary Ω F {0}. Proof Let A D F be such that deg A 2. Then dim Ω F dim Ω F (A) = dim A deg A + g
10 Definition Let x F and let ω Ω F. The mapping xω : A F K is defined by (xω)(α) = ω(xα), where x(α P ) P PF = (xα P ) P PF. Remark If ω vanishes on A F (A) + F, then xω vanishes on A F (A + (x)) + F. Thus, xω is again a Weil differential, and the above definition makes Ω F a vector space over F. Proposition Ω F is a one-dimensional vector space over F. 9
11 Proof Let 0 ω 1 Ω F and let ω 2 Ω F. We have to show that for some z F, ω 2 = zω 1. We may assume that ω 2 0 as well (why?). Let A i D F be such that ω i Ω F (A i ), i = 1, 2 and let B D F. Consider maps ϕ i : L(A i +B) Ω F ( B) defined by ϕ i (x) = xω i, i = 1, 2. These maps are K-linear and injective (why?). We contend that for some B D F, ϕ 1 (L(A 1 + B)) ϕ 2 (L(A 2 + B)) {0}. If this is indeed so, then there are x 1 L(A 1 + B) and x 2 L(A 2 + B) such that x 1 ω 1 = x 2 ω 2 0, and ω 2 = (x 1 /x 2 )ω 1, as desired (z = x 1 /x 2 ). 10
12 It remains to prove the contention: Let B D F, B > 0, be such that dim(a i + B) = deg(a i + B) + 1 g, and let U i = ϕ i (L(A i + B)) Ω F ( B), i = 1, 2. Since dim Ω F ( B) = i( B) = dim( B) deg( B) + g 1 = deg B + g 1, we have im(u 1 U 2 ) dim U 1 + dim U 2 dim Ω F ( B) = deg(a 1 + B) + 1 g + deg(a 2 + B) + 1 g (deg B + g 1) = deg B + (deg A 1 + deg A 2 + 3(1 g)). Thus, if deg B is sufficiently large, U 1 U 2 {0}. 11
13 For a non-zero differential ω we define the set of divisors M(ω) by M(ω) = {A D F : ω Ω F (A)}. Lemma A W. There is a unique divisor W M(ω) such that for all A M(ω), Proof The uniqueness of W, if exists, is obvious, and for the proof of existence, let c Z be such that for all A D F, deg A c implies i(a) = 0 (why there is such a c?). Since for all A M(ω), (why?), for all A M(ω), deg A < c. i(a) = dim(a F /A F (A) + F )) 0 12
14 Let W be an element of M(ω) of the maximum degree and assume to the contrary that there are A 0 M(ω) and Q P F such that v Q (A 0 ) > v Q (W ). We shall prove that W + Q M(ω), in contradiction with maximality of deg W (what is the contradiction?). Let α A F (W + Q). Then α = α + α, where α P = { αp, if P Q 0, if P = Q and α P = { 0, if P Q α P, if P = Q. Then α A F (W ) and α A F (A 0 ), implying ω(α) = ω(α ) + ω(α ) = 0. That is, ω vanishes on A F (W + Q) + F and the proof is complete. 13
15 Definition (a) The divisor (ω) of a Weil differential ω 0 is the unique divisor such that (1) ω vanishes on A F ((ω)) + F, and (2) if ω vanishes on A F (A) + F, then A (ω). (b) For 0 ω Ω F and P P F, v P (ω) is defined by v P (ω) = v P ((ω)). (c) A place P is zero (respectively, pole) of ω, if v P (ω) > 0 (respectively, v P (ω) < 0). ω is regular at P, if v P (ω) 0, and is regular (or holomorphic), if it is regular at all P P F. (d) A divisor W is canonical, if W = (ω) for some ω Ω F. 14
16 Remark Ω F (A) = {ω Ω F : (ω) A} {0}. Ω F (0) = {ω Ω F : ω is regular}. dim Ω(0) = g Proposition (a) If 0 x F and 0 ω Ω F, then (xω) = (x) + (ω). (b) All canonical divisors are equivalent. Proof (a) If A M(ω), then A + (x) M(xω), implying (x) + (ω) (xω), and, similarly, (x 1 ) + (xω) (x 1 xω) = (ω). Therefore, (x) + (ω) (xω) (x 1 ) + (ω) = (x) + (ω) (b) follows from (a) and dim Ω F = 1. 15
17 Corollary The set of all canonical divisors is a class in C F. This class is called the canonical class of F/K. Theorem Let A D F and let W = (ω) be a canonical divisor. Then the mapping µ : L(W A) Ω F (A) defined by µ(x) = xω is an isomorphism of K-vector spaces. In particular, Proof Let x L(W A). Then i(a) = dim(w A) (µ(x)) = (xω) = (x) + (ω) (W A) + W = A, implying µ(x) Ω F (A) (how?). Clearly, µ is linear and injective (why?), and it remains to show that µ is surjective. Let ω 1 Ω F (A). There is an x F such that ω 1 = xω (why?). Since (x) + W = (x) + (ω) = (xω) = (ω 1 ) A, (x) (W A). That is, x L(W A), and ω 1 = µ(x). 16
18 Corollary (Riemann-Roch Theorem) Let W be a canonical divisor. Then for all A D F, dim A = deg A + 1 g + dim(w A) Corollary Let W be a canonical divisor. Then deg W = 2g 2 and dim W = g. Proof Substitution of 0 for A in the Riemann-Roch theorem results in dim W = g. Then substitution of W for A results in deg W = 2g 2. Theorem Let A D F be such that deg A 2g 1. Then dim A = deg A + 1 g. Proof Let W be a canonical divisor. Then i(a) = dim(w A) (why?). Since deg W = 2g 2 and deg A 2g 1, dim(w A) = 0 (why?). 17
19 Remark It follows from the las corollary that for a canonical divisor W, i(w ) = 1. Therefore, c = 2g 1 is the minimum integer for which the Riemann theorem holds (what is the Riemann theorem?). 18
Some consequences of the Riemann-Roch theorem
Some consequences of the Riemann-Roch theorem Proposition Let g 0 Z and W 0 D F be such that for all A D F, dim A = deg A + 1 g 0 + dim(w 0 A). Then g 0 = g and W 0 is a canonical divisor. Proof We have
More informationFrom now on we assume that K = K.
Divisors From now on we assume that K = K. Definition The (additively written) free abelian group generated by P F is denoted by D F and is called the divisor group of F/K. The elements of D F are called
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationRIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016.
RIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016. A PRELIMINARY AND PROBABLY VERY RAW VERSION. OLEKSANDR IENA Contents Some prerequisites for the whole lecture course. 5 1. Lecture 1 5 1.1. Definition
More informationThe Riemann Roch Theorem
The Riemann Roch Theorem Well, a Riemann surface is a certain kind of Hausdorf space You know what a Hausdorf space is, don t you? Its also compact, ok I guess it is also a manifold Surely you know what
More informationThe Riemann-Roch Theorem: a Proof, an Extension, and an Application MATH 780, Spring 2019
The Riemann-Roch Theorem: a Proof, an Extension, and an Application MATH 780, Spring 2019 This handout continues the notational conentions of the preious one on the Riemann-Roch Theorem, with one slight
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More information1 Invariant subspaces
MATH 2040 Linear Algebra II Lecture Notes by Martin Li Lecture 8 Eigenvalues, eigenvectors and invariant subspaces 1 In previous lectures we have studied linear maps T : V W from a vector space V to another
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More information15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationRIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY
RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationNotes on Field Extensions
Notes on Field Extensions Ryan C. Reich 16 June 2006 1 Definitions Throughout, F K is a finite field extension. We fix once and for all an algebraic closure M for both and an embedding of F in M. When
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationAlgebraic Geometry Codes. Shelly Manber. Linear Codes. Algebraic Geometry Codes. Example: Hermitian. Shelly Manber. Codes. Decoding.
Linear December 2, 2011 References Linear Main Source: Stichtenoth, Henning. Function Fields and. Springer, 2009. Other Sources: Høholdt, Lint and Pellikaan. geometry codes. Handbook of Coding Theory,
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationOn Weierstrass semigroups arising from finite graphs
On Weierstrass semigroups arising from finite graphs Justin D. Peachey Department of Mathematics Davidson College October 3, 2013 Finite graphs Definition Let {P 1, P 2,..., P n } be the set of vertices
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationLinear Vector Spaces
CHAPTER 1 Linear Vector Spaces Definition 1.0.1. A linear vector space over a field F is a triple (V, +, ), where V is a set, + : V V V and : F V V are maps with the properties : (i) ( x, y V ), x + y
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationElliptic Curves and Elliptic Functions
Elliptic Curves and Elliptic Functions ARASH ISLAMI Professor: Dr. Chung Pang Mok McMaster University - Math 790 June 7, 01 Abstract Elliptic curves are algebraic curves of genus 1 which can be embedded
More informationTopological Vector Spaces III: Finite Dimensional Spaces
TVS III c Gabriel Nagy Topological Vector Spaces III: Finite Dimensional Spaces Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationSolutions to Homework 1. All rings are commutative with identity!
Solutions to Homework 1. All rings are commutative with identity! (1) [4pts] Let R be a finite ring. Show that R = NZD(R). Proof. Let a NZD(R) and t a : R R the map defined by t a (r) = ar for all r R.
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement
More informationOn a theorem of Ziv Ran
INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae
More information1. Divisors on Riemann surfaces All the Riemann surfaces in this note are assumed to be connected and compact.
1. Divisors on Riemann surfaces All the Riemann surfaces in this note are assumed to be connected and compact. Let X be a Riemann surface of genus g 0 and K(X) be the field of meromorphic functions on
More informationgφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l
Global Riemann-Roch formulas Let K be a number field, Γ = Gal( K/K), M a finite Γ-module of exponent m; ie mm = (0) If S is a finite set of places of K we let Γ S = Gal(K S /K), where K S is the union
More informationAbelian varieties. Chapter Elliptic curves
Chapter 3 Abelian varieties 3.1 Elliptic curves An elliptic curve is a curve of genus one with a distinguished point 0. Topologically it is looks like a torus. A basic example is given as follows. A subgroup
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationIntroduction to Arithmetic Geometry Fall 2013 Problem Set #10 Due: 12/3/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Problem Set #10 Due: 12/3/2013 These problems are related to the material covered in Lectures 21-22. I have made every effort to proof-read them, but
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
More informationExercises for algebraic curves
Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationA CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction
A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationPicard Groups of Affine Curves
Picard Groups of Affine Curves Victor I. Piercey University of Arizona Math 518 May 7, 2008 Abstract We will develop a purely algebraic definition for the Picard group of an affine variety. We will then
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationDirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017
Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C
More informationA Humble Example of Notions of Divisor
A Humble Example of Notions of Divisor Gohan May 16, 2013 I must apologize for my morbid procrastination. Due to my incapability of understanding advanced mathematics, I was rather tortured by my previous
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationElliptic Functions and Modular Forms
Elliptic Functions and Modular Forms DRAFT, Release 0.8 March 22, 2018 2 I have prepared these notes for the students of my lecture. The lecture took place during the winter term 2017/18 at the mathematical
More informationNormality of secant varieties
Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X
More informationLECTURE 11: TRANSVERSALITY
LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image
More information4 Etale algebras, norm and trace
18.785 Number theory I Fall 2017 Lecture #4 09/18/2017 4 Etale algebras, norm and trace 4.1 Separability In this section we briefly review some standard facts about separable and inseparable field extensions
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationLECTURE 13. Quotient Spaces
LECURE 13 Quotient Spaces In all the development above we have created examples of vector spaces primarily as subspaces of other vector spaces Below we ll provide a construction which starts with a vector
More informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
More informationGeometry of the theta divisor of a compactified jacobian
J. Eur. Math. Soc. 11, 1385 1427 c European Mathematical Society 2009 Lucia Caporaso Geometry of the theta divisor of a compactified jacobian Received October 16, 2007 and in revised form February 21,
More informationOn the floor and the ceiling of a divisor
Finite Fields and Their Applications 12 (2006) 38 55 http://www.elsevier.com/locate/ffa On the floor and the ceiling of a divisor Hiren Maharaj, Gretchen L. Matthews 1 Department of Mathematical Sciences,
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More information0.1 Universal Coefficient Theorem for Homology
0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a
More informationLecture 6. s S} is a ring.
Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 4
COMPLEX ALGEBRAIC SURFACES CLASS 4 RAVI VAKIL CONTENTS 1. Serre duality and Riemann-Roch; back to curves 2 2. Applications of Riemann-Roch 2 2.1. Classification of genus 2 curves 3 2.2. A numerical criterion
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More information2.4 Algebra of polynomials
2.4 Algebra of polynomials ([1], p.136-142) In this section we will give a brief introduction to the algebraic properties of the polynomial algebra C[t]. In particular, we will see that C[t] admits many
More informationLECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS
LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationRUUD PELLIKAAN, HENNING STICHTENOTH, AND FERNANDO TORRES
Appeared in: Finite Fields and their Applications, vol. 4, pp. 38-392, 998. WEIERSTRASS SEMIGROUPS IN AN ASYMPTOTICALLY GOOD TOWER OF FUNCTION FIELDS RUUD PELLIKAAN, HENNING STICHTENOTH, AND FERNANDO TORRES
More information2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d
ON THE BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Abstract. On an arbitrary compact Riemann surface, necessary and sucient conditions are found for the
More informationTHE WEIL PAIRING ON ELLIPTIC CURVES
THE WEIL PAIRING ON ELLIPTIC CURVES Background Non-Singular Curves. Let k be a number field, that is, a finite extension of Q; denote Q as its separable algebraic closure. The absolute Galois group G k
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationConstructions of digital nets using global function fields
ACTA ARITHMETICA 105.3 (2002) Constructions of digital nets using global function fields by Harald Niederreiter (Singapore) and Ferruh Özbudak (Ankara) 1. Introduction. The theory of (t, m, s)-nets and
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More information