DIVISORS AND LINE BUNDLES

Size: px
Start display at page:

Download "DIVISORS AND LINE BUNDLES"

Transcription

1 DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function f x defined on U x such that V U x is the zero-set of f x. Such an f x is called a local defining function for V near x. The quotient of any two local defining functions around x is a non-vanishing holomorphic function around x. An analytic hypersurface V is called irreducible if it can not be written as the union of two smaller analytic hypersurfaces. Every analytic hypersurface is a finite union of its irreducible components. Definition 1. A divisor D on M is a locally finite formal linear combination of irreducible analytic hypersurfaces on M. D = a i V i Remark 1. Locally finite here means that for any p M, there exists a neighborhood of p meeting only finite number of the V i s appearing in D; of course, if M is compact, this just means that the sum is finite. The set of divisors in M is naturally an additive group denoted Div(M). Definition 2. A divisor is effective if a i 0 for all i; we write D 0 for D effective. An analytic hypersurface V will usually be identified with V i where the V i s are just the irreducible components of V. Let V M be an irreducible analytic hypersurface, p V any point, and f a local defining function for V near p. For any holomorphic function g defined near p, we define the order ord V,p (g) of g along V at p to be the largest integer a such that in the local ring O M,p g = f a h. Well this is according to [1], but they unfortunately don t tell me what h is! I think the correct definition of order is the largest positive integer a such that g/fx a is holomorphic around x. Evidently relatively prime elements of O M,p stay relatively prime in nearby local rings, thusly for a holomorphic function g, the function ord V,p (g) is independent of p. Thus we can define the order of g along V, ord V, to be the order of g along V at any point p V. Note that for g, h any holomorphic functions, V any irreducible hypersurface, Date: April 8, ord V (gh) = ord V (g) + ord V (h).

2 Now let f be a meromorphic function on M, written locally as f = g/h with g, h holomorphic and relatively prime. For V an irreducible hypersurface, we define ord V (f) = ord V (g) ord V (h). We usually say that f has a zero of order a along V if ord V (f) = a > 0, and that f has a pole of order a along V if ord V (f) = a < 0. We define the divisor (f) of the meromorphic function f by (f) = V ord V (f) V. If f is written locally as g/h, we take the divisor of zeros (f) 0 of f to be (f) 0 = V ord V (g) V and the divisor of poles (f) to be (f) = V ord V (h) V. Clearly these are well-defined as long as we require g and h to be relatively prime, and (f) = (f) 0 (f). 2. Weil divisors and meromorphic functions Divisors can also be described in sheaf-theoretic terms, as follows: Recall that a meromorphic function on an open set U M is given locally as the quotient of two holomorphic functions, i.e. for some covering {U i } of U, f Ui = g i /h i, where g i, h i are relatively prime in O(U i ) and g i h j = g j h i in O(U i U j ). A meromorphic function is not, strictly speaking, a function even if we consider a value: at points where g i = h i = 0, it is not defined. The sheaf of meromorphic functions is denoted M and the multiplicative sheaf of meromorphic functions not identically zero is denoted M. Also recall that O denotes the multiplicative sheaf of not identically zero holomorphic functions. Clearly O M. So we have the following short exact sequence 0 O M M /O 0. The quotient sheaf M /O is denoted called the sheaf of divisors on M. A global section of M /O is just a divisor on M. On the one hand, a global section {f} of M /O is given by an open cover {U α } of M and a meromorphic functions f α 0 in U α with for any V M, then and we can associate to {f} the divisor f α O (U α U β ); ord V (f α ) = ord V ( ), D = V ord V (f α ) V, 2

3 where for each V we choose α such that V U α. On the other hand, given D = V i α i V i, we can find an open cover {U α } of M such that in each U α, every V i appearing in D has a local defining function g iα O(U α ). We can then set f α = i g a i iα M (U α ) to obtain a global section of M /O. The f α s are called local defining functions for D. It follows immediately from the definitions that the identification H 0 (M, M /O ) = Div(M) is in fact a homomorphism. Given a holomorphic map π : M N of complex manifolds, we define the map π : Div(N) Div(M) by associating to every divisor D = ({U α }, {f}) on N the pullback divisor π D = ({π 1 U α }, {π f α }) on M; this is well-defined as long as π(m) D. Note that for a divisor on N given by an analytic hypersurface V N, π V on M lies over V but need not coincide with the analytic hypersurface π (V ) M - multiplicities may occur. We want to make one more remark before going on to consider bundles. On a Riemann surface M, any point is an irreducible analytic hypersurface, and so clearly Div(M) is always large. This is, in a sense, misleading; a complex manifold M of dimension greater than one need not have any non-zero divisors on it at all. If, however M is embedded in projective space P N, the intersections of M with hyperplanes in P N generate a large number of divisors. In fact among all compact complex manifolds those which are embeddable in a projective space can be characterized by having sufficiently many divisors, in a sense that we shall make more precise in later sections. 3. Line bundles All line bundles discussed in this section are taken to be holomorphic. Recall that for any holomorphic line bundle L π M on the complex manifold M, we can find an open cover {U α } of M and trivializations φ α : L Uα U α C of L Uα = π 1 (U α ). We derive the tranistion function g αβ : U α U β C for L relative to the trivializations {φ α } by g αβ (z) = (φ α φ 1 β ) L z C. The functions g αβ are cleary holomorphic, nonvanishing and satisfy { gαβ g (1) βα = 1, g αβ g βγ g γα = 1; 3

4 conversely, given a collection of functions {g αβ O (U α U β )} satisfying these identities, we can construct a line bundle L with transition functions {g αβ } by taking the union of U α C over all α identifying {z} C in U α C and U β C via multiplication by g αβ (z). Now, given L as above, for any collection of nonzero holomorphic functions f α O (U α ) we can define alternate trivializations of L over {U α } by φ α = f α φ α ; transition functions g αβ for L relative to {φ α} will then be given by (2) g αβ = f α g αβ One the other hand, any other trivializations of L over {U α } can be obtained in this way, and so we see that collections {g αβ } and {g αβ } of transition functions define the same line bundle if and only if there exist functions f α O (U α ) satisfying (2). The description of the line bundles by transition functions lends itself well to a sheaftheoretic interpretation. First, the transition functions {g αβ O (U α U β )} for a line bundle L M represent a Čech 1-cochain on M with coefficients in O ; the relation (1) simply asserts that {g αβ } and {g αβ } define the same line bundle if and only if their difference is {g αβ g 1 αβ } is a Čech coboundary; consequently the set of line bundles on M is just H 1 (M, O ). We can give the set of line bundles on M the structure of a group, multiplication being given by a tensor product and inverses by dual bundles. If L is given by data {g αβ }, L by {g αβ }, we have seen that L L {gαβg αβ}, L {g 1 αβ } so the group structure on the set of line bundles on M is the same as the group structure on H 1 (M, O ). The group H 1 (M, O ) is then called the Picard group of M, denoted Pic(M). 4. Divisors and line bundles We now describe the basic correspondence between divisors and line bundles. Essentially what we will see is that do any divisor D we can associate a line bundle [D] on M. Let D be a divisor on M, with local defining functions f α M (U α ) over some open cover {U α } of M. Then the functions g αβ = f α are holomorphic and nonzero in U α U β, and in U α U β U γ we have g αβ g βγ g γα = f α fβ f γ fγ f α = 1 The line bundle given by the transition function {g αβ = f α / } is called the associated line bundle of D, and written [D]. We check that it is well-defined: if {f α} are alternate 4

5 local data for D, then h α = f α /f α O (U α ), and for each α, β. g αβ = f α f β = g αβ hα h β Example 1. The tautological line bundle on CP n is defined as the complex line bundle π : L CP n whose fibre L [z] over some point [z] CP n is the complex line z C n+1. Let H denote the dual of L, called the hyperplane line bundle. In other words, the fibre of H over some point [z] CP n is the set of C-linear maps zc C. Let H denote the hyperplane {z 0 = 0} in CP n and consider the usual open covering U i = {z i 0} of CP n. Then 1 is a local defining function for H on U 0 and z 0 /z i are local defining functions on U i. Then line bundle [H] has thus transition functions g αβ = z β /z α, which are exactly the transition functions of the hyperplane line bundle above. Proposition 1. The correspondence [ ] has these immediate properties: First, if D and D are two divisors given by local data {f α } and {f α}, resp. then D + D is given by {f α f α}; if follows that so the map [D + D ] = [D] [D ] [ ]: Div(M) Pic(M) is a homomorphism. Second, if D = (f) for some meromorphic function f on M, we may take as local data for D over any cover {U α } the functions f α = f Uα ; then f α / = 1 and so [D] is trivial. Conversely, if D is given by local data {f α } and the line bundle [D] is trivial, then there exist function h α O (U α ) such that f α = g αβ = h α h β ; f = f α h 1 α = h 1 β is then a global meromorphic function on M with divisor D. The the line [D] associated to a divisor D on M is trivial if and only if D is the divisor of a meromorphic function. We say that two divisors D, D on M are linearly equivalent and write D D if D = D + (f) for some f M (M), or equivalently if [D] = [D ]. Remark 2. In about 30 more pages of [1], in particular on page 161, we will get an interesting characterization of the kernel associated to the homomorphism above. Essentially L(D), to be defined shortly, forms and equivalence class, such that Div(M) = Pic(M) Also, note that [ ] is functorial: that is, if f : M N is a holomorphic map of complex manifolds, it is easy to check that for any D Div(N), π ([D]) = [π (D)], 5

6 All these assertions are implicit in the following cohomological interpretation of the correspondence [ ]. The exact sheaf sequence 0 O M j M /O 0 on M gives us, in part, the exact sequence the exact sequence H 0 (M, M ) j H 0 (M, M /O ) δ H 1 (M, O ) of cohomology groups. The reader may easily verify that under the natural identifications Div(M) = H 0 (M, M /O ) and Pic(M) = H 1 (M, O ) for any meromorphic function f on M, j f = (f), and for any divisor D on M, δd = [D]. Indeed, we will generally violate the previous multiplicative notation and write L + L for the tensor production of two line bundles or ml for the m th tensor power L m of L. 5. Sections of line bundles Now we wish to discuss holomorphic and meromorphic sections of line bundles. Let L M be a holomorphic line bundle, with trivializations φ α : L Uα U α C over an open cover {U α } of M and transition functions {g αβ } relative to {φ α }. As we have seen, the trivializations φ α induce isomorphism φ α : O(L)(U α ) O(U α ) we see via the correspondence s O(L)(U) {s α = φ α(s) O(U U α ) that a section of L over U M is given exactly by a collection of functions s α O(U U α ) satisfying s α = g αβ s β in U U α U β. In the same way a meromorphic section s of L over U - defined to be a section of the sheaf O(L) O M - is given by a collection of meromorphic functions s α inm(u U α ) satisfying s α = g αβ s β in U U α U β. Note that the quotient of two meromorphic sections s, s 0 of L is a well-defined meromorphic function. If s is a global meromorphic section of L, s α /s β O (U α U β ), and so for any irreducible hypersurface V M, ord V (s α ) = ord V (s β ). Thus we can define the order of s along V by ord V (s) = ord V (s α ) for any α such that U α V ; we take the divisor (s) of the meromorphic section s to be given by (s) = ord V (s) V. V With this convention s is holomorphic if and only if s is effective. Now if D Div(M) is given by local data f α M(U α ), then the functions f α clearly give a meromorphic section s f of D with (s f ) = D. 6

7 conversely, if L is given by trivializations φ α with transition functions g αβ and s is any global meromorphic section of L, we see that s α s β = g αβ, i.e., L = [(s)]. Thus if D is any divisor such that [D] = L, there exists a meromorphic section s of L with (s) = D, and for any meromorphic section s of L, L = [(s)]. In particular, we see that L is the line bundle associated to some divisor D on M if and only if it has a global meromorphic section not identically zero; it is the line bundle of an effective divisor if and only if it has a nontrivial global holomorphic section. Definition 3. L:et L(D) denote the space of meromorphic functions f on M such that D + (f) 0, i.e. that are holomorphic on M \ V i with ord Vi (f) a i. In other words, we only allow f L(D) if f has poles no worse that D. We denote by D Div(M) the set of all effective divisors linearly equivalent to D; if L = [D], we write L for D. Given this notation, we can also view this correspondence as follows: Proposition 2. Proof. For some divisor L(D) = H 0 (M, O([D])) D = a i V i on M, set s 0 be a global meromorphic section [D] with (s 0 ) = D. holomorphic sections s of [D], the quotient Then for any global is a meromorphic function on M with f s = s s 0 (f s ) = (s) (s 0 ) D, i.e. f s L(D) and (s) = D + (f s ) D. On the other hand, for any f L(D) the section s = f s 0 of [D] is holomorphic. Thus multiplication by s 0 gives an identification L(D) s 0 H 0 (M, O([D])). Proposition 3. Now suppose that M is compact. D = P(L(D)) = P(H 0 (M, O([D]))) Proof. On the the hand, if M is compact, for every D D. There exists f L(D) such that D = D + (f), and conversely any two such functions f, f differ by a non-zero constant, i.e. note that (s) = D + (f s ) D. Thus we have the additional correspondence Definition 4. In general, the family of effective divisors on M corresponding to a linear subspace of P(H 0 (M, O(L))) for some L M is called a linear system of divisors. A linear system is called complete if it is of the form D, i.e. if it contains every effective divisor linearly equivalent to any of its members. When we speak of dimension of a linear system, 7

8 we will refer to the dimension of the projective space parametrizing it; thus we write dim D for the dimension of the complete linear system associated to a divisor D, we have dim D = h 0 (M, O(D)) 1. A linear system of dimension 1 is called a pencil, of dimension 2 a net, and of dimension 3 a web. We will mention here two special properties of linear systems. the first is elementary; if E = {D λ } λ P n is a linear system, then for any λ 0,..., λ n linearly independent in P n, D λ0 D λn = λ P n D λ. The common intersection of the divisors in a linear system is called the base locus of the system; in particular, a divisor F in the base locus that is, such that D λ F 0 for all λ is called a fixed component of E. The second property is more remarkable; like the first, it is peculiar to linear systems and is not the case for general families of divisors, even general families of linearly equivalent divisors. Theorem 1 (Bertini s Theorem). The generic element of a linear system is smooth away from the base locus of the system. Proof. If the generic element of a linear system is singular away from the base locus, one could find a pencil with the same property. Thus we may assume that we have a pencil. Suppose that {D λ ) λ P 1 is a pencil, given in local coordinates on M by D λ = (f(z 1,..., z n ) + λg(z 1, z n ) = 0), and suppose that p λ is a singular point of the divisor D λ (λ 0, ), but not in the base locus of the pencil. We have f(p λ ) + λg(p λ ) = 0, and f (p λ ) + λ g (p λ ) = 0, i = 1,..., n. z i z i As p λ B, at least one of f and g does not vanish at p λ and so both don t vanish there. Thus λ = f(p λ )/g(p λ ), and so f (p λ ) f(p λ) g (p λ ) = 0, i = 1,..., n. z i g(p λ ) z i Therefore ( ) f = 0. z i g Let V be the singular locus of the divisors belonging to the pencil. Then V is defined by the equations above, and so V is analytic. Now f/g is constant on any component of V, away from the base locus, by the calculations above. Hence {λ: V D λ } B <. References [1] Griffiths, P., Harris, J., Principles of Algebraic Geometry,

Divisors and Linebundles

Divisors and Linebundles Synopsis for Thursday, October 11 Divisors and Linebundles Divorsors By a divisor D X in a variety is simple meant a finite linear combination of hypersurfaces. In particular if X is a curve, then a divisor

More information

Proof. The map. G n i. where d is the degree of D.

Proof. The map. G n i. where d is the degree of D. 7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS 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 information

DIVISORS. div f = C is a root of f

DIVISORS. div f = C is a root of f DIVISORS by Ashley K. Wheeler (talks given at the OMNI Seminar at University of Arkansas Monday 27 Oct and Monday 10 Nov, 2014) Last modified: 9 November 2014 These notes are a work in progress. Stated

More information

14. Divisors on Curves

14. Divisors on Curves 14. Divisors on Curves 113 14. Divisors on Curves In its version for curves, Bézout s Theorem determines the number of zeroes of a homogeneous polynomial on a projective curve (see Corollaries 12.20 and

More information

= mult V f, where the sum ranges over every irreducible subvariety V X of codimension

= mult V f, where the sum ranges over every irreducible subvariety V X of codimension 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 information

Applying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence

Applying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence 3. Divisors on toric varieties We start with computing the class group of a toric variety. Recall that the class group is the group of Weil divisors modulo linear equivalence. We denote the class group

More information

Example 5.2. There are two interesting examples of universal homeomorphisms, which exist in all characteristics:

Example 5.2. There are two interesting examples of universal homeomorphisms, which exist in all characteristics: 5. Characteristic p Let us consider what happens in characteristic p. The key difference between characteristic zero and characteristic p is the existence of nontrivial universal homeomorphisms: Definition

More information

Appendix A: Analytic Cycles and Intersections

Appendix A: Analytic Cycles and Intersections Appendix A: Analytic Cycles and Intersections We wish to consider schemes, cycles, and sets. Frequently, we will be in the algebraic setting and, hence, we may use algebraic schemes, cycles, and sets.

More information

2 F. Angelini for d 3. Xu's proof is based on an estimate for the self-intersection of moving singular curves in P 2. The same estimate was obtained a

2 F. Angelini for d 3. Xu's proof is based on an estimate for the self-intersection of moving singular curves in P 2. The same estimate was obtained a Ample divisors on the blow up of P 3 at points Flavio Angelini We prove a theorem that gives a necessary and sufficient condition for certain divisors on the blow upofp 3 at points in general position

More information

P ic(x) = (divisors)/(principal divisors)

P ic(x) = (divisors)/(principal divisors) 1. Overview We look at complex line bundles from the topological viewpoint, and then from the holomorphic viewpoint. Tensor product defines a group structure on the space of line bundles over a space X,

More information

Line Bundles and Divisors: Some examples

Line Bundles and Divisors: Some examples Line Bundles and Divisors: Some examples Dennis November 15, 2008 Abstract In the text below you find some examples of how to connect Cartier divisors and line bundles. By means of these examples, we present

More information

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

More information

8.1 Examples, definitions, and basic properties

8.1 Examples, definitions, and basic properties 8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

More information

VARIATIONS OF HODGE STRUCTURES AFTER SCHMID AND STEENBRINK

VARIATIONS OF HODGE STRUCTURES AFTER SCHMID AND STEENBRINK VARIATIONS OF HODGE STRUCTURES AFTER SCHMID AND STEENBRINK TUDOR PĂDURARIU Contents 1. Introduction 1 2. Pure and mixed Hodge structures 2 3. Variations of Hodge structures over the punctured unit disk

More information

The topology of smooth divisors and the arithmetic of abelian varieties

The topology of smooth divisors and the arithmetic of abelian varieties The topology of smooth divisors and the arithmetic of abelian varieties Burt Totaro We have three main results. First, we show that a smooth complex projective variety which contains three disjoint codimension-one

More information

Algebra 2. Rings and fields. Finite fields. A.M. Cohen, H. Cuypers, H. Sterk. Algebra Interactive

Algebra 2. Rings and fields. Finite fields. A.M. Cohen, H. Cuypers, H. Sterk. Algebra Interactive 2 Rings and fields A.M. Cohen, H. Cuypers, H. Sterk A.M. Cohen, H. Cuypers, H. Sterk 2 September 25, 2006 1 / 20 For p a prime number and f an irreducible polynomial of degree n in (Z/pZ)[X ], the quotient

More information

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a

More information

Introduction to finite fields

Introduction to finite fields Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at

More information

Exercise implies that V(I) = V(F ) for any generating set F of the ideal I. In the opposite direction we have a map

Exercise implies that V(I) = V(F ) for any generating set F of the ideal I. In the opposite direction we have a map 44 4. ALGEBRA-GEOMETRY CORRESPONDENCE 4.1. Ideal-variety correspondence The correspondence between algebra and geometry about to be discussed is the core of the area called algebraic geometry, which uses

More information

ALGEBRA HANDOUT 2: IDEALS AND QUOTIENTS. 1. Ideals in Commutative Rings In this section all groups and rings will be commutative.

ALGEBRA HANDOUT 2: IDEALS AND QUOTIENTS. 1. Ideals in Commutative Rings In this section all groups and rings will be commutative. ALGEBRA HANDOUT 2: IDEALS AND QUOTIENTS PETE L. CLARK 1. Ideals in Commutative Rings In this section all groups and rings will be commutative. 1.1. Basic definitions and examples. Let R be a (commutative!)

More information

Linearly reductive algebraic groups and Hilbert s theorem

Linearly reductive algebraic groups and Hilbert s theorem Linearly reductive algebraic groups and Hilbert s theorem Matei Ionita, Nilay Kumar May 15, 2014 Throughout this note, we fix an algebraically closed field k of characteristic zero. All algebraic varieties

More information

SINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces

SINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI Enriques-Kodaira classification of Complex Algebraic Surfaces

More information

Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

More information

Resolution of Singularity

Resolution of Singularity Resolution of Singularity Ka Laam Chan November, 2011 Abstract We will follow the first two sections of Kirwan Chapter 7 to give us a description of the resolution of singularity C of a sinuglar curve

More information

Appendix A. Appendix. A.1 Algebra. Fields and Rings

Appendix A. Appendix. A.1 Algebra. Fields and Rings Appendix A Appendix A.1 Algebra Algebra is the foundation of algebraic geometry; here we collect some of the basic algebra on which we rely. We develop some algebraic background that is needed in the text.

More information

The Mordell-Weil Theorem

The Mordell-Weil Theorem The Mordell-Weil Theorem Riccardo Brasca 1 Abelian Varieties Let us recall the definition and the basic properties of abelian varieties, all proofs are contained in [6]. Let K denote a field and let K

More information

THE HILBERT SCHEME OF POINTS ON A SURFACE

THE HILBERT SCHEME OF POINTS ON A SURFACE THE HILBERT CHEME OF POINT ON A URFACE DANIEL LITT 1. Hilbert and Quot chemes as Functors Let ch/ be the category of locally Noetherian schemes over a Noetherian scheme ; let X be an object of ch/, where

More information

An Introduction to Abelian Varieties

An Introduction to Abelian Varieties An Introduction to Abelian Varieties Stefano Filipazzi August 31, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar,

More information

The Lie algebra of an algebraic group

The Lie algebra of an algebraic group The Lie algebra of an algebraic group Gabor Wiese November 4, 2002 Contents 1 Introduction 1 2 Tangent spaces 4 2.1 Concept of points.................................. 4 2.2 Tangent space in affine setting...........................

More information

NOTES ON CARTIER AND WEIL DIVISORS

NOTES ON CARTIER AND WEIL DIVISORS NOTES ON CARTIER AND WEIL DIVISORS AKHIL MATHEW Recall: Abstract. These are notes on divisors from Ravi Vakil s book [2] on scheme theory that I prepared for the Foundations of Algebraic Geometry seminar

More information

K 0 top(x) = [X, BU Z].

K 0 top(x) = [X, BU Z]. Lecture III. Topological K-theory and Algebraic Geometry In this lecture, we will develop some of the machinery which makes topological K-theory both useful and computable. Not only is this of considerable

More information

LOCAL CLASS GROUPS SCOTT NOLLET

LOCAL CLASS GROUPS SCOTT NOLLET LOCAL CLASS GROUPS SCOTT NOLLET All rings considered here are commutative with identity 1. 1. Local rings and localization Definition 1.1. A ring R is local if it has a unique maximal ideal m, emphasized

More information

INTRODUCTION TO MORI THEORY. Cours de M2 2010/2011. Université Paris Diderot

INTRODUCTION TO MORI THEORY. Cours de M2 2010/2011. Université Paris Diderot INTRODUCTION TO MORI THEORY Cours de M2 2010/2011 Université Paris Diderot Olivier Debarre March 11, 2016 2 Contents 1 Aim of the course 7 2 Divisors and line bundles 11 2.1 Weil and Cartier divisors......................................

More information

some algebra prelim solutions

some algebra prelim solutions some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

More information

MATH 304 Linear Algebra Lecture 11: Basis and dimension.

MATH 304 Linear Algebra Lecture 11: Basis and dimension. MATH 304 Linear Algebra Lecture 11: Basis and dimension. Linear independence Definition. Let V be a vector space. Vectors v 1,v 2,...,v k V are called linearly dependent if they satisfy a relation r 1

More information

5. Linear algebra I: dimension

5. Linear algebra I: dimension 5. Linear algebra I: dimension 5.1 Some simple results 5.2 Bases and dimension 5.3 Homomorphisms and dimension 1. Some simple results Several observations should be made. Once stated explicitly, the proofs

More information

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 19. KZ functor I: double centralizer property The notation W, S, c, α s, αs has the same meaning as in the previous lecture. We have the category O

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

MATH232A SINGULAR POINTS, TANGENT SPACE AT A POINT. Contents

MATH232A SINGULAR POINTS, TANGENT SPACE AT A POINT. Contents MATH232A SINGULAR POINTS, TANGENT SPACE AT A POINT JONATHAN MBOYO ESOLE Contents 1. Singularities and differential calculus 1 1.1. Partial derivatives and derivations 1 1.2. Derivation 2 1.3. Jacobian

More information

MATH 502: REAL AND COMPLEX ANALYSIS SPRING 2003 A.Katok SHORT SYLLABUS

MATH 502: REAL AND COMPLEX ANALYSIS SPRING 2003 A.Katok SHORT SYLLABUS SHORT SYLLABUS 1. Geometry of Banach and Hilbert spaces including the three principles of linear analysis. 2. Complex analysis. 3. Elements of spectral theory of linear operators in Banach and Hilbert

More information

RANK AND NULLITY. x 1. x m

RANK AND NULLITY. x 1. x m RANK AND NULLITY. The row and column spaces Let A be an m n matrix. Then A has n columns, each of which is a vector in R m. The linear span of the columns is a subspace of R n. It s called the column space

More information

HOLOMORPHIC MAPPINGS: SURVEY OF SOME RESULTS AND DISCUSSION OF OPEN PROBLEMS 1

HOLOMORPHIC MAPPINGS: SURVEY OF SOME RESULTS AND DISCUSSION OF OPEN PROBLEMS 1 BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 3, May 1972 HOLOMORPHIC MAPPINGS: SURVEY OF SOME RESULTS AND DISCUSSION OF OPEN PROBLEMS 1 BY PHILLIP A. GRIFFITHS 1. Introduction. Our purpose

More information

INTERSECTION THEORY ON SURFACES I. (Last edited March 20, 2015 at 8:22pm.) 1. Introduction

INTERSECTION THEORY ON SURFACES I. (Last edited March 20, 2015 at 8:22pm.) 1. Introduction INTERSECTION THEORY ON SURFACES I MINSEON SHIN Abstract. I wrote some notes for myself while preparing for a UC Berkeley student algebraic geometry seminar (SAGS) talk on Fri, Sep 12, 2014. (Last edited

More information

4.6 Null Space, Column Space, Row Space

4.6 Null Space, Column Space, Row Space NULL SPACE, COLUMN SPACE, ROW SPACE Null Space, Column Space, Row Space In applications of linear algebra, subspaces of R n typically arise in one of two situations: ) as the set of solutions of a linear

More information

1 Chapter I Solutions

1 Chapter I Solutions 1 Chapter I Solutions 1.1 Section 1 (TODO) 1 2 Chapter II Solutions 2.1 Section 1 1.16b. Given an exact sequence of sheaves 0 F F F 0 over a topological space X with F flasque show that for every open

More information

Cup product and intersections

Cup product and intersections Cup product and intersections Michael Hutchings March 15, 2011 Abstract This is a handout for an algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,

More information

The Dirichlet Unit Theorem

The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE

GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric

More information

Remark: The space of homogeneous forms in X, Y, Z of degree 3 has dimension 10.

Remark: The space of homogeneous forms in X, Y, Z of degree 3 has dimension 10. Chasles Theorem: Let C 1, C 2, C 3 be cubic curves in P 2. Assume that C 1 C 2 is a set of 9 distinct points Γ = {P 1,..., P 9 }. If C 3 passes through 8 of these, then C 3 passes through the ninth point.

More information

Finite-Dimensional Vector Spaces

Finite-Dimensional Vector Spaces Chapter 2 Finite-Dimensional Vector Spaces In the last chapter we learned about vector spaces. Linear algebra focuses not on arbitrary vector spaces, but on finite-dimensional vector spaces, which we introduce

More information

LECTURE 20: BASIC REPRESENTATION THEORY

LECTURE 20: BASIC REPRESENTATION THEORY LECTURE 20: BASIC REPRESENTATION THEORY 1. Representations of Lie Groups and Lie Algebras We have studied the Lie group actions on smooth manifolds. A very important special case is that the manifolds

More information

Lecture 4 Cohomological operations on theories of rational type.

Lecture 4 Cohomological operations on theories of rational type. Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem

More information

(4) (identity element for +) There is an element e in R such that. (5) (inverse element for +) For all a R there exists x R so that.

(4) (identity element for +) There is an element e in R such that. (5) (inverse element for +) For all a R there exists x R so that. Chapter 12 - Introduction to Rings We now study of an algebraic structure called a ring This is in some sense a minimal list of characteristics of the system of integers We will see that many other systems

More information

EE464: Algebraic Geometric Dictionary

EE464: Algebraic Geometric Dictionary EE464: Algebraic Geometric Dictionary 2 algebraic geometry One way to view linear algebra is as the study of equations of the form a 11 x 1 + a 12 x 2 + + a 1n x n = y 1 a 21 x 2 + a 22 x 2 + + a 2n x

More information

The Perverse Study of the Milnor Fiber

The Perverse Study of the Milnor Fiber The Perverse Study of the Milnor Fiber David B. Massey Abstract In this note, we provide a quick introduction to the study of the Milnor fibration via the derived category and perverse sheaves. This is

More information

Algebraic Topology. The Fundamental Group

Algebraic Topology. The Fundamental Group Algebraic Topology The Fundamental Group Homotopy Given two maps f 1, f 2 : X Y, a homotopy from f 1 to f 2 is a map F : [0, 1] X Y such that F (0, x) = f 1 (x) and F (1, x) = f 2 (x). If there is a homotopy

More information

Sec 4.1 Vector Spaces and Subspaces

Sec 4.1 Vector Spaces and Subspaces Sec 4. Vector Spaces and Subspaces Motivation Let S be the set of all solutions to the differential equation y + y =. Let T be the set of all 2 3 matrices with real entries. These two sets share many common

More information

Algebra 3: algorithms in algebra

Algebra 3: algorithms in algebra Algebra 3: algorithms in algebra Hans Sterk 2003-2004 ii Contents 1 Polynomials, Gröbner bases and Buchberger s algorithm 1 1.1 Introduction............................ 1 1.2 Polynomial rings and systems

More information

SUBSPACES. Chapter Introduction. 3.2 Subspaces of F n

SUBSPACES. Chapter Introduction. 3.2 Subspaces of F n Chapter 3 SUBSPACES 3. Introduction Throughout this chapter, we will be studying F n, the set of all n dimensional column vectors with components from a field F. We continue our study of matrices by considering

More information

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003 Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties

More information

The j invariant. Sacha Schweizer. November 22 and 29, L = ω 1 Z + ω 2 Z, ω 1, ω 2 C, G k (λl) = L τ = γl τ = (aτ + b)z + (cτ + d)z

The j invariant. Sacha Schweizer. November 22 and 29, L = ω 1 Z + ω 2 Z, ω 1, ω 2 C, G k (λl) = L τ = γl τ = (aτ + b)z + (cτ + d)z The j invariant Sacha Schweizer November 22 and 29, 2006 Introduction We pursue the discussion of modular functions, studying their relationship with homogeneous lattice functions and the Weierstrass function,

More information

Review: Vector space

Review: Vector space Math 2F Linear Algebra Lecture 13 1 Basis and dimensions Slide 1 Review: Subspace of a vector space. (Sec. 4.1) Linear combinations, l.d., l.i. vectors. (Sec. 4.3) Dimension and Base of a vector space.

More information

MA106 Linear Algebra lecture notes

MA106 Linear Algebra lecture notes MA106 Linear Algebra lecture notes Lecturers: Martin Bright and Daan Krammer Warwick, January 2011 Contents 1 Number systems and fields 3 1.1 Axioms for number systems......................... 3 2 Vector

More information

Group Actions. Patrick J. Morandi

Group Actions. Patrick J. Morandi Group Actions Patrick J. Morandi There are a number of results of group theory presented in Herstein [1] (the counting principles in Sections 2.5 and 2.11, Cayley s theorem in Section 2.9 and the Sylow

More information

Basic Algebraic Geometry Example Sheet 2

Basic Algebraic Geometry Example Sheet 2 Basic Algebraic Geometry Example Sheet 2 A. C. Michaelmas 2002 () A projective variety X P n is said to be a local complete intersection if, for every point x X, there is an affine neighbourhood x U P

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS

DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS KUAT YESSENOV Abstract. In this expository paper we present a proof of the Dirichlet s theorem on the existence of infinitely many prime numbers

More information

NOTES ON COX RINGS JOAQUÍN MORAGA

NOTES ON COX RINGS JOAQUÍN MORAGA NOTES ON COX RINGS JOAQUÍN MORAGA Abstract. These are introductory notes to Cox Rings. The aim of this notes is to give a self-contained explanation of a talk given by the author in the students seminar

More information

INTRODUCTION TO LIMIT MIXED HODGE STRUCTURES

INTRODUCTION TO LIMIT MIXED HODGE STRUCTURES INTRODUCTION TO LIMIT MIXED HODGE STRUCTURES DONU ARAPURA 1. Hodge theory for a smooth projective curve Let X be a smooth projective curve over C, then the classical Hodge decomposition yields a decomposition

More information

1 Differentiable manifolds: definitions and examples

1 Differentiable manifolds: definitions and examples 1 Differentiable manifolds: definitions and examples Last updated: 14 (27) September 2016 Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set whose points

More information

THE EXISTENCE AND UNIQUENESS OF A SIMPLE GROUP OF ORDER 168

THE EXISTENCE AND UNIQUENESS OF A SIMPLE GROUP OF ORDER 168 THE EXISTENCE AND UNIQUENESS OF A SIMPLE GROUP OF ORDER 168 TIMOTHY L. VIS Abstract. The study of simple groups has been, and continues to be, the most significant area of work in group theory. In this

More information

FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

More information

Whenever we come across some abstract construction such as K[C], it is important to construct lots of examples to get a feeling for these objects.

Whenever we come across some abstract construction such as K[C], it is important to construct lots of examples to get a feeling for these objects. Chapter 13 Coordinate Rings 13.1 Definition So far we have studied algebraic curves C : f(x, Y ) = 0 for some f K[X, Y ] mainly using geometric means: tangents, singular points, parametrizations,.... Now

More information

The Kolchin Topology

The Kolchin Topology The Kolchin Topology Phyllis Joan Cassidy City College of CUNY November 2, 2007 hyllis Joan Cassidy City College of CUNY () The Kolchin Topology November 2, 2007 1 / 35 Conventions. F is a - eld, and A

More information

Completion. Chapter Graded Rings and Modules Definitions and Comments

Completion. Chapter Graded Rings and Modules Definitions and Comments Chapter 4 Completion The set R of real numbers is a complete metric space in which the set Q of rationals is dense. In fact any metric space can be embedded as a dense subset of a complete metric space.

More information

Chapter 2. Topological Spaces. 2.1 Metric spaces. Definition A metric space consists of a set X together with a function d : X X R + s.t.

Chapter 2. Topological Spaces. 2.1 Metric spaces. Definition A metric space consists of a set X together with a function d : X X R + s.t. Chapter 2 Topological Spaces 2.1 Metric spaces Definition 2.1.1 A metric space consists of a set X together with a function d : X X R + s.t. 1. d(x, y) = 0 x = y 2. d(x, y) = d(y, x) x, y 3. d(x, z) d(x,

More information

Unit 20 Linear Dependence and Independence

Unit 20 Linear Dependence and Independence Unit 20 Linear Dependence and Independence The idea of dimension is fairly intuitive. Consider any vector in R m, (a 1, a 2, a 3,..., a m ). Each of the m components is independent of the others. That

More information

Completion of rings and modules

Completion of rings and modules Completion of rings and modules Let (Λ, ) be a directed set. This is a partially ordered set in which for any two elements λ, µ there is an element ν such that λ < µ and µ < ν. Examples include any totally

More information

Fiber bundles and non-abelian cohomology

Fiber bundles and non-abelian cohomology Fiber bundles and non-abelian cohomology Nicolas Addington April 22, 2007 Abstract The transition maps of a fiber bundle are often said to satisfy the cocycle condition. If we take this terminology seriously

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 25

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 25 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 25 RAVI VAKIL Contents 1. The genus of a nonsingular projective curve 1 2. The Riemann-Roch Theorem with Applications but No Proof 2 2.1. A criterion for closed

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 11 AND 12

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 11 AND 12 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 11 AND 12 RAVI VAKIL CONTENTS 1. Associated points continued 1 2. Introduction to morphisms of schemes 4 3. Morphisms of ringed spaces 6 4. From locally ringed

More information

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold: Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),

More information

Introductory Geometry

Introductory Geometry Introductory Geometry Course No. 100 351 Fall 2005 Second Part: Algebraic Geometry Michael Stoll Contents 1. What Is Algebraic Geometry? 2 2. Affine Spaces and Algebraic Sets 3 3. Projective Spaces and

More information

On Boris Moishezon s multiple planes

On Boris Moishezon s multiple planes On Boris Moishezon s multiple planes Vik.S. Kulikov arxiv:math/9807153v1 [math.ag] 27 Jul 1998 Introduction. Every nonsingular projective surface S over C defines three underline structures vs, ds, ts,

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Algebra, Analysis and Differential Equations II

Algebra, Analysis and Differential Equations II SECOND PUBLIC EXAMINATION Honour School of Mathematics Part A: Paper AC2 Honour School of Mathematics and Statistics Part A: Paper AC2 Algebra, Analysis and Differential Equations II TRINITY TERM 2012

More information

is birationally equivalent to P n for some n.

is birationally equivalent to P n for some n. Tuesday, Lecture 2, Ronald van Luijk, rmluijk@gmail.com Please let us know about mistakes in these notes! Much of this lecture is directly copied from Chapter 6 of Bjorn Poonen s notes [6]. 1. Del Pezzo

More information

LECTURE I: INTRODUCTION TO VECTOR SPACES MAT FALL 2006 PRINCETON UNIVERSITY

LECTURE I: INTRODUCTION TO VECTOR SPACES MAT FALL 2006 PRINCETON UNIVERSITY LECTURE I: INTRODUCTION TO VECTOR SPACES MAT 204 - FALL 2006 PRINCETON UNIVERSITY ALFONSO SORRENTINO [Read also 2.1, 2.3 and appendix A in the textbook] 1. Vector spaces and subspaces Roughly speaking,

More information

A Before starting a new topic, let us recall what we did so far. Can you briefly describe this in your own words, sparing all details?

A Before starting a new topic, let us recall what we did so far. Can you briefly describe this in your own words, sparing all details? COMPLEX ANALYSIS PART 4: MEROMORPHIC FUNCTIONS AND RESIDUES Q What are we going to discuss today? A Before starting a new topic, let us recall what we did so far. Can you briefly describe this in your

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

On Fundamental Groups of Class VII Surfaces

On Fundamental Groups of Class VII Surfaces On Fundamental Groups of Class VII Surfaces by James A. Carlson and Domingo Toledo January 25, 1995 Revised August 7, 1995 1. Introduction The purpose of this note is to obtain a restriction on the fundamental

More information

Section 4.4 Inner Product Spaces

Section 4.4 Inner Product Spaces Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

More information

Math 231b Lecture 35. G. Quick

Math 231b Lecture 35. G. Quick Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

More information

RIEMANN ROCH THEOREM

RIEMANN ROCH THEOREM RIEMANN ROCH THEOREM VALERIYA TALOVIKOVA Abstract. This paper presents a brief introduction to algebraic geometry and provides several theorems and lemmas with proofs, along with many examples that allow

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

Algebraic and Transcendental Numbers

Algebraic and Transcendental Numbers Pondicherry University July 2000 Algebraic and Transcendental Numbers Stéphane Fischler This text is meant to be an introduction to algebraic and transcendental numbers. For a detailed (though elementary)

More information