Introduction to Algebraic Geometry
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
EXERCISES on LIMITS & COLIMITS Exercise 1. Prove That Pullbacks Of
EXERCISES ON LIMITS & COLIMITS PETER J. HAINE Exercise 1. Prove that pullbacks of epimorphisms in Set are epimorphisms and pushouts of monomorphisms in Set are monomorphisms. Note that these statements cannot be deduced from each other using duality. Now conclude that the same statements hold in Top. Exercise 2. Let 푋 be a set and 퐴, 퐵 ⊂ 푋. Prove that the square 퐴 ∩ 퐵 퐴 퐵 퐴 ∪ 퐵 is both a pullback and pushout in Set. Exercise 3. Let 푅 be a commutative ring. Prove that every 푅-module can be written as a filtered colimit of its finitely generated submodules. Exercise 4. Let 푋 be a set. Give a categorical definition of a topology on 푋 as a subposet of the power set of 푋 (regarded as a poset under inclusion) that is stable under certain categorical constructions. Exercise 5. Let 푋 be a space. Give a categorical description of what it means for a set of open subsets of 푋 to form a basis for the topology on 푋. Exercise 6. Let 퐶 be a category. Prove that if the identity functor id퐶 ∶ 퐶 → 퐶 has a limit, then lim퐶 id퐶 is an initial object of 퐶. Definition. Let 퐶 be a category and 푋 ∈ 퐶. If the coproduct 푋 ⊔ 푋 exists, the codiagonal or fold morphism is the morphism 훻푋 ∶ 푋 ⊔ 푋 → 푋 induced by the identities on 푋 via the universal property of the coproduct. If the product 푋 × 푋 exists, the diagonal morphism 훥푋 ∶ 푋 → 푋 × 푋 is defined dually. Exercise 7. In Set, show that the diagonal 훥푋 ∶ 푋 → 푋 × 푋 is given by 훥푋(푥) = (푥, 푥) for all 푥 ∈ 푋, so 훥푋 embeds 푋 as the diagonal in 푋 × 푋, hence the name. -
Boundary and Shape of Cohen-Macaulay Cone
BOUNDARY AND SHAPE OF COHEN-MACAULAY CONE HAILONG DAO AND KAZUHIKO KURANO Abstract. Let R be a Cohen-Macaulay local domain. In this paper we study the cone of Cohen-Macaulay modules inside the Grothendieck group of finitely generated R-modules modulo numerical equivalences, introduced in [3]. We prove a result about the boundary of this cone for Cohen-Macaulay domain admitting de Jong’s alterations, and use it to derive some corollaries on finite- ness of isomorphism classes of maximal Cohen-Macaulay ideals. Finally, we explicitly compute the Cohen-Macaulay cone for certain isolated hypersurface singularities defined by ξη − f(x1; : : : ; xn). 1. Introduction Let R be a Noetherian local ring and G0(R) the Grothendieck group of finitely generated R-modules. Using Euler characteristic of perfect complexes with finite length homologies (a generalized version of Serre’s intersection multiplicity pair- ings), one could define the notion of numerical equivalence on G0(R) as in [17]. See Section 2 for precise definitions. When R is the local ring at the vertex of an affine cone over a smooth projective variety X, this notion can be deeply related to that of numerical equivalences on the Chow group of X as in [17] and [20]. Let G0(R) be the Grothendieck group of R modulo numerical equivalences. A simple result in homological algebra tells us that if M is maximal Cohen- Macaulay (MCM), the Euler characteristic function will always be positive. Thus, maximal Cohen-Macaulay modules all survive in G0(R), and it makes sense to talk about the cone of Cohen-Macaulay modules inside G (R) : 0 R X C (R) = [M] ⊂ G (R) : CM R≥0 0 R M:MCM The definition of this cone and some of its basic properties was given in [3]. -
A Zariski Topology for Modules
A Zariski Topology for Modules∗ Jawad Abuhlail† Department of Mathematics and Statistics King Fahd University of Petroleum & Minerals [email protected] October 18, 2018 Abstract Given a duo module M over an associative (not necessarily commutative) ring R, a Zariski topology is defined on the spectrum Specfp(M) of fully prime R-submodules of M. We investigate, in particular, the interplay between the properties of this space and the algebraic properties of the module under consideration. 1 Introduction The interplay between the properties of a given ring and the topological properties of the Zariski topology defined on its prime spectrum has been studied intensively in the literature (e.g. [LY2006, ST2010, ZTW2006]). On the other hand, many papers considered the so called top modules, i.e. modules whose spectrum of prime submodules attains a Zariski topology (e.g. [Lu1984, Lu1999, MMS1997, MMS1998, Zah2006-a, Zha2006-b]). arXiv:1007.3149v1 [math.RA] 19 Jul 2010 On the other hand, different notions of primeness for modules were introduced and in- vestigated in the literature (e.g. [Dau1978, Wis1996, RRRF-AS2002, RRW2005, Wij2006, Abu2006, WW2009]). In this paper, we consider a notions that was not dealt with, from the topological point of view, so far. Given a duo module M over an associative ring R, we introduce and topologize the spectrum of fully prime R-submodules of M. Motivated by results on the Zariski topology on the spectrum of prime ideals of a commutative ring (e.g. [Bou1998, AM1969]), we investigate the interplay between the topological properties of the obtained space and the module under consideration. -
Lecture 1 Course Introduction, Zariski Topology
18.725 Algebraic Geometry I Lecture 1 Lecture 1: Course Introduction, Zariski topology Some teasers So what is algebraic geometry? In short, geometry of sets given by algebraic equations. Some examples of questions along this line: 1. In 1874, H. Schubert in his book Calculus of enumerative geometry proposed the question that given 4 generic lines in the 3-space, how many lines can intersect all 4 of them. The answer is 2. The proof is as follows. Move the lines to a configuration of the form of two pairs, each consists of two intersecting lines. Then there are two lines, one of them passing the two intersection points, the other being the intersection of the two planes defined by each pair. Now we need to show somehow that the answer stays the same if we are truly in a generic position. This is answered by intersection theory, a big topic in AG. 2. We can generalize this statement. Consider 4 generic polynomials over C in 3 variables of degrees d1; d2; d3; d4, how many lines intersect the zero sets of each polynomial? The answer is 2d1d2d3d4. This is given in general by \Schubert calculus." 4 3. Take C , and 2 generic quadratic polynomials of degree two, how many lines are on the common zero set? The answer is 16. 4. For a generic cubic polynomial in 3 variables, how many lines are on the zero set? There are exactly 27 of them. (This is related to the exceptional Lie group E6.) Another major development of AG in the 20th century was on counting the numbers of solutions for n 2 3 polynomial equations over Fq where q = p . -
Foundations of Algebraic Geometry Class 13
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 13 RAVI VAKIL CONTENTS 1. Some types of morphisms: quasicompact and quasiseparated; open immersion; affine, finite, closed immersion; locally closed immersion 1 2. Constructions related to “smallest closed subschemes”: scheme-theoretic image, scheme-theoretic closure, induced reduced subscheme, and the reduction of a scheme 12 3. More finiteness conditions on morphisms: (locally) of finite type, quasifinite, (locally) of finite presentation 16 We now define a bunch of types of morphisms. (These notes include some topics dis- cussed the previous class.) 1. SOME TYPES OF MORPHISMS: QUASICOMPACT AND QUASISEPARATED; OPEN IMMERSION; AFFINE, FINITE, CLOSED IMMERSION; LOCALLY CLOSED IMMERSION In this section, we'll give some analogues of open subsets, closed subsets, and locally closed subsets. This will also give us an excuse to define affine and finite morphisms (closed immersions are a special case). It will also give us an excuse to define some im- portant special closed immersions, in the next section. In section after that, we'll define some more types of morphisms. 1.1. Quasicompact and quasiseparated morphisms. A morphism f : X Y is quasicompact if for every open affine subset U of Y, f-1(U) is quasicompact. Equivalently! , the preimage of any quasicompact open subset is quasicom- pact. We will like this notion because (i) we know how to take the maximum of a finite set of numbers, and (ii) most reasonable schemes will be quasicompact. 1.A. EASY EXERCISE. Show that the composition of two quasicompact morphisms is quasicompact. 1.B. EXERCISE. Show that any morphism from a Noetherian scheme is quasicompact. -
Arxiv:2008.00486V2 [Math.CT] 1 Nov 2020
Anticommutativity and the triangular lemma. Michael Hoefnagel Abstract For a variety V, it has been recently shown that binary products com- mute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points π : Pt(C) → C, if and only if Gumm’s shifting lemma holds on pullbacks in V. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain cat- egorical anticommutativity condition. In particular, we show that this anticommutativity and its local version are Mal’tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corol- lary, every locally anticommutative variety V has directly decomposable congruence classes in the sense of Duda, and the converse holds if V is idempotent. 1 Introduction Recall that a category is said to be pointed if it admits a zero object 0, i.e., an object which is both initial and terminal. For a variety V, being pointed is equivalent to the requirement that the theory of V admit a unique constant. Between any two objects X and Y in a pointed category, there exists a unique morphism 0X,Y from X to Y which factors through the zero object. The pres- ence of these zero morphisms allows for a natural notion of kernel or cokernel of a morphism f : X → Y , namely, as an equalizer or coequalizer of f and 0X,Y , respectively. Every kernel/cokernel is a monomorphism/epimorphism, and a monomorphism/epimorphism is called normal if it is a kernel/cokernel of some morphism. -
1 Affine Varieties
1 Affine Varieties We will begin following Kempf's Algebraic Varieties, and eventually will do things more like in Hartshorne. We will also use various sources for commutative algebra. What is algebraic geometry? Classically, it is the study of the zero sets of polynomials. We will now fix some notation. k will be some fixed algebraically closed field, any ring is commutative with identity, ring homomorphisms preserve identity, and a k-algebra is a ring R which contains k (i.e., we have a ring homomorphism ι : k ! R). P ⊆ R an ideal is prime iff R=P is an integral domain. Algebraic Sets n n We define affine n-space, A = k = f(a1; : : : ; an): ai 2 kg. n Any f = f(x1; : : : ; xn) 2 k[x1; : : : ; xn] defines a function f : A ! k : (a1; : : : ; an) 7! f(a1; : : : ; an). Exercise If f; g 2 k[x1; : : : ; xn] define the same function then f = g as polynomials. Definition 1.1 (Algebraic Sets). Let S ⊆ k[x1; : : : ; xn] be any subset. Then V (S) = fa 2 An : f(a) = 0 for all f 2 Sg. A subset of An is called algebraic if it is of this form. e.g., a point f(a1; : : : ; an)g = V (x1 − a1; : : : ; xn − an). Exercises 1. I = (S) is the ideal generated by S. Then V (S) = V (I). 2. I ⊆ J ) V (J) ⊆ V (I). P 3. V ([αIα) = V ( Iα) = \V (Iα). 4. V (I \ J) = V (I · J) = V (I) [ V (J). Definition 1.2 (Zariski Topology). We can define a topology on An by defining the closed subsets to be the algebraic subsets. -
Fundamental Groups of Schemes
Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 E-mail address: [email protected] Chapter 1. Introduction 3 Chapter 2. Galois categories 5 1. Galois categories 5 §1. Definition and elementary properties. 5 §2. Examples and the main theorem 7 §2.1. The topological covers 7 §2.2. The category C(Π) and the main theorem 7 2. Galois objects. 8 3. Proof of the main theorem 12 4. Functoriality of Galois categories 15 Chapter 3. Etale covers 19 1. Some results in scheme theory. 19 2. The category of étale covers of a connected scheme 20 3. Reformulation of functoriality 22 Chapter 4. Properties and examples of the étale fundamental group 25 1. Spectrum of a field 25 2. The first homotopy sequence. 25 3. More examples 30 §1. Normal base scheme 30 §2. Abelian varieties 33 §2.1. Group schemes 33 §2.2. Abelian Varieties 35 §3. Geometrically connected schemes of finite type 39 4. G.A.G.A. theorems 39 Chapter 5. Structure of geometric fundamental groups of smooth curves 41 1. Introduction 41 2. Case of characteristic zero 42 §1. The case k = C 43 §2. General case 43 3. Case of positive characteristic 44 (p0) §1. π1(X) 44 §1.1. Lifting of curves to characteristic 0 44 §1.2. the specialization theory of Grothendieck 45 §1.3. Conclusion 45 ab §2. π1 46 §3. Some words about open curves. 47 Bibliography 49 Contents CHAPTER 1 Introduction The topological fundamental group can be studied using the theory of covering spaces, since a fundamental group coincides with the group of deck transformations of the asso- ciated universal covering space. -
4. Coherent Sheaves Definition 4.1. If (X,O X) Is a Locally Ringed Space
4. Coherent Sheaves Definition 4.1. If (X; OX ) is a locally ringed space, then we say that an OX -module F is locally free if there is an open affine cover fUig of X such that FjUi is isomorphic to a direct sum of copies of OUi . If the number of copies r is finite and constant, then F is called locally free of rank r (aka a vector bundle). If F is locally free of rank one then we way say that F is invertible (aka a line bundle). The group of all invertible sheaves under tensor product, denoted Pic(X), is called the Picard group of X. A sheaf of ideals I is any OX -submodule of OX . Definition 4.2. Let X = Spec A be an affine scheme and let M be an A-module. M~ is the sheaf which assigns to every open subset U ⊂ X, the set of functions a s: U −! Mp; p2U which can be locally represented at p as a=g, a 2 M, g 2 R, p 2= Ug ⊂ U. Lemma 4.3. Let A be a ring and let M be an A-module. Let X = Spec A. ~ (1) M is a OX -module. ~ (2) If p 2 X then Mp is isomorphic to Mp. ~ (3) If f 2 A then M(Uf ) is isomorphic to Mf . Proof. (1) is clear and the rest is proved mutatis mutandis as for the structure sheaf. Definition 4.4. An OX -module F on a scheme X is called quasi- coherent if there is an open cover fUi = Spec Aig by affines and ~ isomorphisms FjUi ' Mi, where Mi is an Ai-module. -
Algebraic Geometry Part III Catch-Up Workshop 2015
Algebraic Geometry Part III Catch-up Workshop 2015 Jack Smith June 6, 2016 1 Abstract Algebraic Geometry This workshop will give a basic introduction to affine algebraic geometry, assuming no prior exposure to the subject. In particular, we will cover: • Affine space and algebraic sets • The Hilbert basis theorem and applications • The Zariski topology on affine space • Irreducibility and affine varieties • The Nullstellensatz • Morphisms of affine varieties. If there's time we may also touch on projective varieties. What we expect you to know • Elementary point-set topology: topological spaces, continuity, closure of a subset etc • Commutative algebra, at roughly the level covered in the Rings and Modules workshop: rings, ideals (including prime and maximal) and quotients, algebras over fields (in particular, some familiarity with polynomial rings over fields). Useful for Part III courses Algebraic Geometry, Commutative Algebra, Elliptic Curves 2 Talk 2.1 Preliminaries Useful resources: • Hartshorne `Algebraic Geometry' (classic textbook, on which I think this year's course is based, although it's quite dense; I'll mainly try to match terminology and notation with Chapter 1 of this book). • Ravi Vakil's online notes `Math 216: Foundations of Algebraic Geometry'. • Eisenbud `Commutative Algebra with a view toward algebraic geometry' (covers all the algebra you might need, with a geometric flavour|it has pictures). 1 • Pelham Wilson's online notes for the `Preliminary Chapter 0' of his Part III Algebraic Geometry course from last year cover much of this catch-up material but are pretty brief (warning: this year's course has a different lecturer so will be different). -
Nakai–Moishezon Ampleness Criterion for Real Line Bundles
NAKAI{MOISHEZON AMPLENESS CRITERION FOR REAL LINE BUNDLES OSAMU FUJINO AND KEISUKE MIYAMOTO Abstract. We show that the Nakai{Moishezon ampleness criterion holds for real line bundles on complete schemes. As applications, we treat the relative Nakai{Moishezon ampleness criterion for real line bundles and the Nakai{Moishezon ampleness criterion for real line bundles on complete algebraic spaces. The main ingredient of this paper is Birkar's characterization of augmented base loci of real divisors on projective schemes. Contents 1. Introduction 1 2. Preliminaries 2 3. Augmented base loci of R-divisors 3 4. Proof of Theorem 1.4 4 5. Proof of Theorem 1.3 5 6. Proof of Theorem 1.5 7 7. Proof of Theorem 1.6 8 References 9 1. Introduction Throughout this paper, a scheme means a separated scheme of finite type over an alge- braically closed field k of any characteristic. We call such a scheme a variety if it is reduced and irreducible. Let us start with the definition of R-line bundles. Definition 1.1 (R-line bundles). Let X be a scheme (or an algebraic space). An R-line bundle (resp. a Q-line bundle) is an element of Pic(X) ⊗Z R (resp. Pic(X) ⊗Z Q) where Pic(X) is the Picard group of X. Similarly, we can define R-Cartier divisors. Definition 1.2 (R-Cartier divisors). Let X be a scheme. An R-Cartier divisor (resp. a Q-Cartier divisor) is an element of Div(X)⊗Z R (resp. Div(X)⊗Z Q) where Div(X) denotes the group of Cartier divisors on X. -
Segre Embedding and Related Maps and Immersions in Differential Geometry
SEGRE EMBEDDING AND RELATED MAPS AND IMMERSIONS IN DIFFERENTIAL GEOMETRY BANG-YEN CHEN Abstract. Segre embedding was introduced by C. Segre (1863–1924) in his famous 1891 article [50]. The Segre embedding plays an important roles in algebraic geometry as well as in differential geometry, mathemat- ical physics, and coding theory. In this article, we survey main results on Segre embedding in differential geometry. Moreover, we also present recent differential geometric results on maps and immersions which are constructed in ways similar to Segre embedding. Table of Contents.1 1. Introduction. 2. Basic formulas and definitions. 3. Differential geometric characterizations of Segre embedding. 4. Degree of K¨ahlerian immersions and homogeneous K¨ahlerian subman- ifolds via Segre embedding. 5. CR-products and Segre embedding. 6. CR-warped products and partial Segre CR-immersions. 7. Real hypersurfaces as partial Segre embeddings. 8. Complex extensors, Lagrangian submanifolds and Segre embedding. 9. Partial Segre CR-immersions in complex projective space. 10. Convolution of Riemannian manifolds. Arab. J. Math. Sci. 8 (2002), 1–39. 2000 Mathematics Subject Classification. Primary 53-02, 53C42, 53D12; Secondary arXiv:1307.0459v1 [math.AG] 1 Jul 2013 53B25, 53C40, 14E25. Key words and phrases. Segre embedding, totally real submanifold, Lagrangian subman- ifold, CR-submanifold, warped product, CR-warped product, complex projective space, geo- metric inequality, convolution, Euclidean Segre map, partial Segre map, tensor product im- mersion, skew Segre embedding. 1 The author would like to express his thanks to the editors for the invitation to publish this article in this Journal 1 2 BANG-YEN CHEN 11. Convolutions and Euclidean Segre maps.