Exercises to Algebraic Geometry II

Size: px
Start display at page:

Download "Exercises to Algebraic Geometry II"

Transcription

1 We fix a principal ideal domain A for exercises Exercise 1.1. The Smith normal form I We say that a matrix M = (m ij ) Mat(n k, A) has Smith normal form, when m ij = δ ij m j and we have a descending chain of ideals (m 1 ) (m 2 ) (m min(n,k) ). We say that N Mat(n k, A) has Smith normal form M, if M has Smith normal form and there exist invertible matrices S GL k (A), and T GL n (A) such that M = T 1 NS. Two Smith normal forms M, M Mat(n k, A) are equivalent, if the ideals in the above chain coincide, that is (m i ) = (m i) for all i = 1... min(n, k). Show the uniqueness of the Smith normal form: Suppose N Mat(n k, A) has Smith normal forms M and M. Then M and M are equivalent. Exercise 1.2. The Smith normal form II Show the existence of a Smith normal form for any N Mat(n k, A). Furthermore, give the Smith normal form for the matrix N = Mat(3 3, Z) Hint: The idea is more or less an adaption of the Gaussian elimination algorithm to matrices with coefficients in A. More precisely: (1) Show that there exist matrices S GL k (A), and T GL n (A) such that N = T 1 NS has a smallest element n i 0 j 0. (Here smallest means (n ij ) (n i0 j 0 ).) If not use that A is a principal ideal domain, to find a transformation N T 1 NS: Take an element a of the matrix entries and suppose that there exists another matrix entry a such that neither (a) (a ) nor (a ) (a). Then we have (a ) = (a, a ) and a is a A-linear combination of a and a. Use this to find a transformation N T 1 NS with a as a matrix entry. Show that this process terminates. (2) Now proceed like in the Gaussian elimination algorithm to move the smallest element to n 11, make all the n 1i = 0 and n i1 = 0 for i 2 and proceed by induction on n + k. (3) It may be a good idea to start with the above example. Exercise 1.3. Structure theorem for finitely generated A-modules Prove that any finitely generated A-module V possesses an isomorphism V = A r A/(a 1 )... A/(a k ) with r, k uniquely given integers and a unique ideal chain (a 1 ) (a 2 ) (a k ). Exercise 1.4. Here we consider the ring A = Z[ 5]. Show that the ideal M = (2, 1 + 5) is not isomorphic to A, and give an isomorphism between M M and A A.

2 Exercise 2.1. Valuations on Q Let ν : Q G be a valuation of the rational numbers. (We assume ν to be surjective.) Show that either G is the trivial valuation (ν 0 (q) = 1 for all q Q) or isomorphic to the valuation ν p for a prime number p. Hint: Show that ν is given by its values on N Q. Show next that ν(n) 0 for all natural numbers n > 0. Suppose that ν is not trivial, show that the minimal n with ν(n) > 0 is a prime number. Then show ν(m) = 1 for all integers m (n). Then conclude the above statement for the unique decomposition into prime numbers. Exercise 2.2. Valuations on finite algebraic extensions L/Q We consider a finite field extension L/Q. Since any valuation of L defines a valuation on Q we obtain a map from the valuations of L to the valuations of Q. Show that this map is surjective but not injective. Hint: Consider the extension of Dedekind rings Z A = Z L, and the previous exercise. Exercise 2.3. Ostrowki s theorem I A norm on a field K is map K R with λ λ R 0 such that: λ = 0 λ = 0, λ µ = λ µ, and λ + µ λ + µ holds. The valuation is called non archimedean, if λ + µ max{ λ, µ } holds. Two norms are equivalent when they define the same topology on K. Classify all equivalence classes of non archimedean norms on Q. Hint: Show that for a non archimedean norm K R the function K R given by λ log λ defines a valuation on K. Exercise 2.4. Ostrowki s theorem II Show that there exists only one equivalence class of archimedean valuations on Q, the class of the absolute value.

3 Exercise 3.1. We consider the smooth affine curve C = V (y 2 x 3 + 6x). Extend the morphism (C \ {(3, 3)}) P 1 (x, y) (x 3 : y 3) from C \ (3, 3) to C and compute the value of the extension at the point (3, 3). Exercise 3.2. We consider the morphism k 2 \ {(0, 0)} P 1 k which assigns the point (x, y) (x : y). Show that for any point (a : b) P 1 (k) there exists a curve C K 2 such that (i) C contains (0, 0). (ii) ψ C\{(0,0)} extends uniquely to ψ : C P 1. (iii) ψ(0, 0) = (a : b). Exercise 3.3. We consider the two affine curves C = V (Y 2 X 3 X 2 ) ι ψ ι A 2 and C = V (Y 2 X 3 ) A 2. Show that neither C or C are nonsingular. Compute the normalizations ψ : C C and ψ : C C. Show that the morphism A \ {(0, 0)} ϕ P 1 given by ϕ(x, y) = (x : y) extends to C and C. Does it extend to C or to C? Give a geometric explanation. Exercise 3.4. Let X = Spec(k[X, Y ]), and suppose we are given nonzero functions f 0, f 1,..., f n k[x, Y ]. Show that there exist a finite set of closed points {P 1,..., P m } X such that the function ψ : X P n ψ(x) = (f 0 (x) : f 1 (x) : : f n (x)) is well defined on the open subset U = X \ {P 1,..., P m }.

4 Exercise 4.1. Let B be a base scheme. Is the functor representable? (B schemes) (sets) X O X (X) Exercise 4.2. Show that the Zariski topology on A 2 k = A1 Spec(k) A 1 k is not the product topology for the two projections from A 2 to A 1. Exercise 4.3. We consider the morphism X = Spec(k[x, t]/(x n f t)) Y = Spec(k[t]) given by the inclusion of rings k[t] t [t] k[x, t]/(x n t). We assume k = k of arbitrary characteristic. Determine the fibers X y for all points (including the generic one!) y of Y. Exercise 4.4. We consider the following morphism between two affine k-varieties X = A 3 f k A 3 k = Y f(x, y, z) = (xz, yz, z). Show that X Y X is not irreducible. Determine the irreducible components and give their dimensions.

5 Exercise 5.1. Let B be a finite A algebra. Show that the map Spec(B) Spec(A) is proper. Exercise 5.2. Let X and Y be two schemes over Z, and = U X be open. Suppose that (i) X is integral (in particular reduced), and (ii) Y is separated. Show that two morphisms f, g : X Y which coincide on U are identical. Give two examples which prove, that both conditions (i) and (ii) are necessary. Exercise 5.3. Which of the following ring morphisms define proper morphism of their spectra? (i) R C. (ii) A A[X] (iii) A A[X]/(X 2 7) (iv) k[x] k[x, Y ]/(XY 1) (v) k[x] k[x, Y ]/(X 2 Y ) (vi) k[x] k[x, Y ]/(X 2 + Y 2 1) Exercise 5.4. Let X be a variety over an algebraic closed field k. Decide, whether the following equivalence holds: X Spec(k) is proper O X (X) = k. Give a proof or a counterexample for each direction.

6 Exercise 6.1. the resolution by value (a) Let X/k be a scheme over an algebraically closed field k. For which schemes is the sheaf k X(k) which is given by U { maps from U(k) k} divisible? (b) We have a natural sheaf morphism O X k X(k) which assigns a regular function its values at the closed points. For which schemes X is this morphism injective? (c) What is the answer to the question in (b) when k is not algebraic closed? (d) For which irreducible k -schemes is O X k X(k) an injective resolution? (e) For which irreducible k -schemes is O X k X(k) a flabby resolution? Exercise 6.2. the constant resolution Let A be a domain with fraction field K. (a) Is K a divisible A-module? (b) Show that any quotient of a divisible module is divisible. (c) Show that for a principal domain A and a short exact sequence 0 M M M 0 we obtain for any A-module N a long exact sequence 0 Hom(M, N) Hom(M, N) Hom(M, N) Ext 1 (M, N) Ext 1 (M, N) Ext 1 (M, N) 0 Exercise 6.3. Interpretation of Ext 1 part I Let C be an abelian category with enough injectivities. We define Ext i (M, N) to be the ith derived functor of N Hom(M, N). Write down the long exact cohomology sequence. Show that any short exact sequence 0 M M M 0 defines an element η Ext 1 (M, M ). Show that η = 0 the sequence splits. Exercise 6.4. Interpretation of Ext 1 part II Take an injective resolution M I 0 d 0 I 1 d 1 I And a class η Ext 1 (M, M ). Show that η can be represented by a morphism [η] : M I 1 such that d 1 [η] = 0. Define a module M(η) := {(m, i) M I 0 d 0 (i) = [η](m )}. Show that the natural morphism M(η) M is surjective, and the kernel is isomorphic to M. Thus, we obtain a short exact sequence 0 M M(η) M 0. Show that this construction is the inverse of the construction in part one.

7 Exercise 7.1. We consider the Z-module M = n N Z, and its submodule M = {(a n ) n N a n (2 n )}. Let T 1 be the (2)-adic topology on M, and T 2 be the restriction of the (2)-adic topology on M to M. Which of the maps (M, T 1 ) (M, T 2 ), and (M, T 2 ) (M, T 1 ) is continuous? Exercise 7.2. Let A be a noetherian ring. For a finitely generated A-module M and some open subset U Spec(A) with U = X \ V (a), show that the following two definitions coincide H 0 a(m) := ker( M(X) M(U)), and H 0 a(m) := {m M a n m = 0 for n 0}. Use the first definition to define on a scheme X, with some closed subscheme Z, for any coherent sheaf F a presheaf H 0 Z F. Show that this presheaf is a sheaf. Exercise 7.3. Let A be a noetherian ring. For any ideal a A show that the functor M H 0 a(m) is left exact. Use injective resolutions, to define the right derived functors H i a(m). Show that for A = Z, a = (3), M = A the module H 1 a(m) 0. Exercise 7.4. Let X be a scheme with a closed subscheme Y. Show that F is flabby = H 0 ZF is flabby.

8 Exercise 8.1. We consider a k-rational point P P 1 k, and an integer m Z. Compute the Čech cohomology Ȟk (U, O P 1(mP )) using the standard open covering U = {U 0, U 1 }. Exercise 8.2. We consider the elliptic curve E P 2 k defined by E = V (Y 2 Z X 3 +XZ 2 ). Show that U 0 = {Y 0} E, and U 1 = {Z 0} E form an open affine cover. Compute the Čech cohomology Ȟm (U, O E ) for U = {U 0, U 1 }. Exercise 8.3. We consider the projective curve X P 2 k defined by X = V (g) for some homogeneous polynomial in (X, Y, Z) of degree d. Assume that E does not contain the point (1 : 0 : 0). Compute the dimension of the Čech cohomology groups Ȟ0 (U, O X ) and Ȟ 1 (U, O X ) with U = {{Y 0} X, {Z 0} X}. Exercise 8.4. Let X be a projective curve over some field k. Let A = O X O X with algebra structure defined by (a b) (a b ) := aa (ab + a b). Let X be the Spec(A). Note that the algebra morphisms A (a b) a O X defines an embedding X X. Show that X cannot be embedded into P 2 k.

9 Exercise 9.1. Let B = n 0 B n, a graded ring. We assume that A = B 0 is noetherian, B 1 is a finitely generated A-module, and B 1 generates B as a A-algebra. Let M be a finitely generated graded B-module. We define the r-truncation M [r] M to be the submodule given by M [r],n = M n for n r, and M [r],n = 0 for n < r. (i) Show that on X = Proj(B) we have M [r] = M. (ii) Suppose we have Ñ = M for two finitely generated graded B-modules. Show that N [r] = M[r] for some r 0. (iii) Suppose M [r] = 0 for some r Z. Show that the support of M in Spec(B) is contained in Spec(A). Exercise 9.2. The rational quartic curve We consider the following homogeneous ideal I in C = k[x, Y, Z, T ]. I = (XT Y Z, Y 3 X 2 Z, Z 3 Y T 2, XZ 2 Y 2 T ). Let B = C/I, and X = Proj(B). (i) Show that B is not a normal ring. (ii) Set B := k 0 Γ(O X (k)). Show that the natural morphism B ν B is the normalization of B. In particular ν is not an isomorphism. Hint: The rational quartic curve which appears in the title is the image of the morphism P 1 k P3 k given by (u : v) (u4 : u 3 v : uv 3 : v 4 ). Exercise 9.3. Show the following implication for a coherent sheaf F on P n A : F is globally generated = H n (F ( n)) = 0. Is the converse also true? (Hint: Consider the ideal sheaf of a point in P 2 k.) Exercise 9.4. Let k be an algebraically closed field. Show that for any coherent sheaf F on P 1 k we have an equivalence: F is globally generated H 1 (F ( 1)) = 0. Can you replace (P 1 k, O1 P (1)) by an arbitrary projective curve X and a very ample line bundle O X (1) on it?

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 CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

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

A result of Gabber. by A.J. de Jong

A result of Gabber. by A.J. de Jong A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasi-compact and separated. 1.1 Theorem.

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

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and non-singular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

Algebraic Geometry. Keerthi Madapusi

Algebraic Geometry. Keerthi Madapusi Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

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

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

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

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R: 30 3. RINGS, IDEALS, AND GRÖBNER BASES 3.1. Polynomial rings and ideals The main object of study in this section is a polynomial ring in a finite number of variables R = k[x 1,..., x n ], where k is an

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9 Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned

More information

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

More information

DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES.

DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. JAN O. KLEPPE Abstract. Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade

More information

How To Prove The Dirichlet Unit Theorem

How To Prove 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

OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

More information

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

More information

Row Ideals and Fibers of Morphisms

Row Ideals and Fibers of Morphisms Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

More information

Gröbner Bases and their Applications

Gröbner Bases and their Applications Gröbner Bases and their Applications Kaitlyn Moran July 30, 2008 1 Introduction We know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated [3]. However,

More information

ALGEBRA HW 5 CLAY SHONKWILER

ALGEBRA HW 5 CLAY SHONKWILER ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product

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

3 1. Note that all cubes solve it; therefore, there are no more

3 1. Note that all cubes solve it; therefore, there are no more Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEY-ABRAHAMSON Abstract. These are notes for a talk in the MIT-Northeastern Spring 2015 Geometric Representation Theory Seminar. The main source

More information

Introduction to Modern Algebra

Introduction to Modern Algebra Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

More information

MODULES OVER A PID KEITH CONRAD

MODULES OVER A PID KEITH CONRAD MODULES OVER A PID KEITH CONRAD Every vector space over a field K that has a finite spanning set has a finite basis: it is isomorphic to K n for some n 0. When we replace the scalar field K with a commutative

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

On The Existence Of Flips

On The Existence Of Flips On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry

More information

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Adam Boocher 1 Rings and Ideals 1.1 Rings and Ring Homomorphisms A commutative ring A with identity is a set with two binary

More information

University of Lille I PC first year list of exercises n 7. Review

University of Lille I PC first year list of exercises n 7. Review University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

( ) which must be a vector

( ) which must be a vector MATH 37 Linear Transformations from Rn to Rm Dr. Neal, WKU Let T : R n R m be a function which maps vectors from R n to R m. Then T is called a linear transformation if the following two properties are

More information

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field 1. Throughout this section, F is a field and F [x] is the ring of polynomials with coefficients in F. We will

More information

Galois representations with open image

Galois representations with open image Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group

More information

Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

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

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

A New Generic Digital Signature Algorithm

A New Generic Digital Signature Algorithm Groups Complex. Cryptol.? (????), 1 16 DOI 10.1515/GCC.????.??? de Gruyter???? A New Generic Digital Signature Algorithm Jennifer Seberry, Vinhbuu To and Dongvu Tonien Abstract. In this paper, we study

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

More information

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES MATH 101A: ALGEBRA I PART B: RINGS AND MODULES In the unit on rings, I explained category theory and general rings at the same time. Then I talked mostly about commutative rings. In the unit on modules,

More information

From Factorial Designs to Hilbert Schemes

From Factorial Designs to Hilbert Schemes From Factorial Designs to Hilbert Schemes Lorenzo Robbiano Università di Genova Dipartimento di Matematica Lorenzo Robbiano (Università di Genova) Factorial Designs and Hilbert Schemes Genova, June 2015

More information

NOTES ON CATEGORIES AND FUNCTORS

NOTES ON CATEGORIES AND FUNCTORS NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category

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

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

Free resolutions talk at the ACAGM Summer School Leuven 2011- p. 1

Free resolutions talk at the ACAGM Summer School Leuven 2011- p. 1 Free resolutions talk at the ACAGM Summer School Leuven 2011- p. 1 Free resolutions talk at the ACAGM Summer School Leuven 2011 - Hans Schönemann hannes@mathematik.uni-kl.de Department of Mathematics University

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

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

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

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

Using morphism computations for factoring and decomposing general linear functional systems

Using morphism computations for factoring and decomposing general linear functional systems Using morphism computations for factoring and decomposing general linear functional systems Thomas Cluzeau and Alban Quadrat Abstract Within a constructive homological algebra approach we study the factorization

More information

Factoring Polynomials

Factoring Polynomials Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

More information

1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES 1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

More information

MATH PROBLEMS, WITH SOLUTIONS

MATH PROBLEMS, WITH SOLUTIONS MATH PROBLEMS, WITH SOLUTIONS OVIDIU MUNTEANU These are free online notes that I wrote to assist students that wish to test their math skills with some problems that go beyond the usual curriculum. These

More information

Group Theory. Contents

Group Theory. Contents Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

More information

T ( a i x i ) = a i T (x i ).

T ( a i x i ) = a i T (x i ). Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)

More information

COHOMOLOGY OF GROUPS

COHOMOLOGY OF GROUPS Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

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

Nilpotent Lie and Leibniz Algebras

Nilpotent Lie and Leibniz Algebras This article was downloaded by: [North Carolina State University] On: 03 March 2014, At: 08:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I. Ronald van Luijk, 2012 Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

More information

RESEARCH STATEMENT AMANDA KNECHT

RESEARCH STATEMENT AMANDA KNECHT RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i

More information

Finite dimensional C -algebras

Finite dimensional C -algebras Finite dimensional C -algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for self-adjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n

More information

The Ideal Class Group

The Ideal Class Group Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

More information

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013

More information

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,

More information

Kenji Matsuki and Martin Olsson

Kenji Matsuki and Martin Olsson Mathematical Research Letters 12, 207 217 (2005) KAWAMATA VIEHWEG VANISHING AS KODAIRA VANISHING FOR STACKS Kenji Matsuki and Martin Olsson Abstract. We associate to a pair (X, D), consisting of a smooth

More information

26. Determinants I. 1. Prehistory

26. Determinants I. 1. Prehistory 26. Determinants I 26.1 Prehistory 26.2 Definitions 26.3 Uniqueness and other properties 26.4 Existence Both as a careful review of a more pedestrian viewpoint, and as a transition to a coordinate-independent

More information

On the Connectedness of the Spectrum of Forcing Algebras

On the Connectedness of the Spectrum of Forcing Algebras Revista Colombiana de Matemáticas Volumen 48(2014)1, páginas 1-19 On the Connectedness of the Spectrum of Forcing Algebras Sobre la conexidad del espectro de álgebras de forzado Holger Brenner, Danny de

More information

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006 Spectra associated with Artin-Schreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the

More information

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

More information

Geometric Transformations

Geometric Transformations Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted

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

Test1. Due Friday, March 13, 2015.

Test1. Due Friday, March 13, 2015. 1 Abstract Algebra Professor M. Zuker Test1. Due Friday, March 13, 2015. 1. Euclidean algorithm and related. (a) Suppose that a and b are two positive integers and that gcd(a, b) = d. Find all solutions

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 RAVI VAKIL Contents 1. Degree of a line bundle / invertible sheaf 1 1.1. Last time 1 1.2. New material 2 2. The sheaf of differentials of a nonsingular curve

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Global analytic geometry and the functional equation 1

Global analytic geometry and the functional equation 1 Global analytic geometry and the functional equation 1 (master course and exercices) Frédéric Paugam September 6, 2012 1 This text was typed in the flow of a course during one month at IMPA and thus certainly

More information

by the matrix A results in a vector which is a reflection of the given

by the matrix A results in a vector which is a reflection of the given Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

More information

Degree Bounds for Gröbner Bases in Algebras of Solvable Type

Degree Bounds for Gröbner Bases in Algebras of Solvable Type Degree Bounds for Gröbner Bases in Algebras of Solvable Type Matthias Aschenbrenner University of California, Los Angeles (joint with Anton Leykin) Algebras of Solvable Type... introduced by Kandri-Rody

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18 of Gallian s Contemporary Abstract Algebra. Most of the important

More information

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any.

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. Algebra 2 - Chapter Prerequisites Vocabulary Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. P1 p. 1 1. counting(natural) numbers - {1,2,3,4,...}

More information

ALGEBRAIC CURVES. An Introduction to Algebraic Geometry WILLIAM FULTON

ALGEBRAIC CURVES. An Introduction to Algebraic Geometry WILLIAM FULTON ALGEBRAIC CURVES An Introduction to Algebraic Geometry WILLIAM FULTON January 28, 2008 Preface Third Preface, 2008 This text has been out of print for several years, with the author holding copyrights.

More information

Basic theory of group schemes.

Basic theory of group schemes. Chapter III. Basic theory of group schemes. As we have seen in the previous chapter, group schemes come naturally into play in the study of abelian varieties. For example, if we look at kernels of homomorphisms

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

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

3 Factorisation into irreducibles

3 Factorisation into irreducibles 3 Factorisation into irreducibles Consider the factorisation of a non-zero, non-invertible integer n as a product of primes: n = p 1 p t. If you insist that primes should be positive then, since n could

More information

26 Ideals and Quotient Rings

26 Ideals and Quotient Rings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed

More information

Factorization Algorithms for Polynomials over Finite Fields

Factorization Algorithms for Polynomials over Finite Fields Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is

More information