DOCSLIB.ORG

INTRODUCTION to ALGEBRAIC GEOMETRY Contents 1. Affine Geometry 2 1.1. Closed Algebraic Subsets of Affine Spaces 2 1.2. Regular F

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
INTRODUCTION to ALGEBRAIC GEOMETRY Contents 1. Affine Geometry 2 1.1. Closed Algebraic Subsets of Affine Spaces 2 1.2. Regular F INTRODUCTION TO ALGEBRAIC GEOMETRY Contents 1. Affine Geometry 2 1.1. Closed algebraic subsets of affine spaces 2 1.2. Regular functions 4 1.3. Regular maps 5 1.4. Irreducible subsets 8 1.5. Rational functions 10 1.6. Rational maps 11 1.7. Composition of rational maps 12 2. Projective Geometry 15 2.1. Closed subsets of projective space 15 2.2. Example of projective varieties 17 2.3. Regular functions and regular maps on quasiprojective algebraic sets 20 2.4. Rational functions and rational maps for quasiprojective varieties 24 2.5. Projective algebraic sets are universally closed 25 3. Finite maps 29 3.1. Local study of finite maps 31 4. Dimension 34 4.1. Dimension of intersection with a hypersurface 35 4.2. The dimension of the fibers of a regular map 36 4.3. Lines on surfaces 38 5. Nonsingular varieties 41 5.1. Tangent space 41 5.2. Singular points 47 5.3. Codimension one subvarieties 48 5.4. Nonsingular subvarieties of nonsingular varieties 49 6. Blow-ups 51 6.1. The blow-up of P2 at one point 51 7. Divisors and Class Group 53 8. B´ezout's Theorem 55 8.1. Arbitrary smooth projective surfaces 58 9. Appendix 61 9.1. Classical algebraic structures 61 9.2. Commutative algebra 62 9.3. Topology 72 9.4. Categories 73 References 75 1 2 INTRODUCTION TO ALGEBRAIC GEOMETRY 1. Affine Geometry 1.1. Closed algebraic subsets of affine spaces. Throughout this course, unless otherwise specified, we work over an algebraically closed field k = k¯. Let's see what space we will work in (for now): n Definition 1.1. The n-dimensional affine space over k is Ak . As a set this is just kn := k × ::: × k; | {z } n times but we will put more structure on it: a topology such that the only continuous functions n 1 n Ak ! Ak are polynomial. We also ignore the vector space structure on k . n A polynomial function on Ak is a polynomial P (X1;:::;Xn) with coefficients in k. The set of all such is the polynomial ring k[X1;:::;Xn]. We may also denote by P (X) when we don't want to write all indices X1;:::;Xn. Definition 1.2. An affine algebraic variety1 or closed subset of affine space is a n subset Y ⊂ Ak given by the vanishing of a family of polynomials Pi(X1;:::;Xn) and we denote Y = V ((Pi)i). Similarly we write V (T ) for the common vanishing locus of all polynomials in a set T ⊂ k[X]. We may allow non-algebraically closed fields k in this definition. Example 1.3. The following are examples of closed algebraic subsets: • A line in A2 is V (aX + bY + c). • In general, a d-dimensional linear subspace of An is given by the simultaneous van- ishing of d linear equations. • A curve in the affine plane is the set of zeros of one nonzero polynomial P (X; Y ). n • The union of closed subsets in Ak is also closed: If Y1 = V ((Pi)i), and Y2 = V ((Qj)j), then Y1 [ Y2 = V ((Pi · Qj)i;j). n • The intersection of close subsets in Ak is also closed: If Y1;Y2 are as above, then Y1 \ Y2 = V ((Pi)i; (Qj)j). n • If Y = V (f) in Ak is a hypersurface (given by the vanishing of just one polynomial), then n D(f) := Ak n Y n+1 is also an affine variety... but in Ak . In fact D(f) = V (Xn+1f − 1). We'll believe this more when we learn about morphisms and isomorphisms. • The closed subsets of A1 are: { ;. { Finite subsets of points. { A1. This is because a polynomial of degree n in one variable X has at most n zeros. Also, 1 if Y = fx1; : : : ; xng are n points in Ak, then P (X) = (X − x1) · ::: · (X − xn) is a polynomial with Y = V (P ). n Definition/Theorem 1.4. The Zariski topology on Ak is the topology whose closed sets n are all the closed algebraic subsets in Ak . 1Soon, affine algebraic variety will mean irreducible closed algebraic subset INTRODUCTION TO ALGEBRAIC GEOMETRY 3 Proof. What needs checking is that the union of two closed subsets is closed, the intersection of arbitrarily (indexed by any n family, not necessarily finite or countable) many closed subsets is closed, and that the empty set and Ak are both closed. All are clear. Question. How can we change the equations of an affine variety without changing the variety itself? Example 1.5. Let Y = V ((Pi)i). If we add to the given list of equations of Y one or P arbitrarily many equations of the form QjPj, where Qj are finitely many polynomials in k[X] and Pj are among fPigi2I , then we do not change Y . In particular, if we replace fPigi2I by the ideal (Pi)i that they generate inside k[X], we still get the same common vanishing locus Y . Related to this we make the following definition. n Definition/Theorem 1.6. If Y ⊂ Ak is a subset (usually an affine variety), the ideal of Y is the ideal I(Y ) ¢ k[X] containing all the polynomials P such that P vanishes on Y (i.e. Y ⊆ V (P )). Proof. All you need to check is that I(Y ) is indeed an ideal, and this is a consequence of the previous example. Directly from the definition we see Y ⊆ V (I(Y )). In fact equality holds, and several other strong results hold as well. Theorem 1.7. p (i) V (a) = V ( a) for any a ¢ k[X]. (ii) I(Y ) is a radical ideal, i.e. P r 2 I(Y ) ) P 2 I(Y ). (iii) If Y1 ⊂ Y2, then I(Y1) ⊃ I(Y2). (iv) If a ⊂ b, then V (a) ⊃ V (b). (v) More generally, I(Y1 [ Y2) = I(Y1) \ I(Y2) ⊇ I(Y1) · I(Y2). n (vi) If Y ⊂ Ak is an affine variety, then Y = V (I(Y )). n (vii) More generally, if Y ⊂ Ak is just a subset, then V (I(Y )) = Y is the closure of Y in the n Zariski topology on Ak . p (viii) Hilbert Nullstellensatz: If a ¢ k[X] is an ideal, then a = I(V (a)). Proof. Since (i) through (v) are easy and (vii) ! (vi), it remains to prove the Nullstellensatz and (vii). We prove the latter and leave (viii) for later. Clearly Y ⊂ V (I(Y )), hence Y ⊆ V (I(Y )). Conversely, let W be closed with W ⊇ Y . The definition of closed sets implies W = V (a) for some a ¢ k[X]. Then V (a) ⊇ Y implies a ⊆ I(V (a)) ⊆ I(Y ) and W = V (a) ⊃ V (I(Y )). In particular V (I(Y )) is the smallest closed subset containing Y , which is by definition Y . Corollary 1.8. There is a natural correspondence given by V (·) and I(·) between n fclosed subsets of Ak g fradical ideals of k[X]g: Corollary 1.9. If T and S are two sets of equations (polynomials in k[X]). Then they n p p describe the same affine variety Y ⊂ Ak (this means Y = V (T ) = V (S)) iff (T ) = (S), where (T ) and (S) are the ideals generated by T and S in k[X]. Question. OK, going the other way: If we have infinitely many equations for an affine variety Y , can we extract finitely many whose vanishing locus is still exactly Y ? More precisely: If T ⊂ k[X] is a an arbitrary subset of polynomials, does there exist a finite subset fP1;:::;Prg ⊂ T such that V (P1;:::;Pr) = V (T )? The answer is yes, and it comes from the: 4 INTRODUCTION TO ALGEBRAIC GEOMETRY Theorem 1.10 (Hilbert Basis Theorem). Any ideal I ¢ k[X] is generated by finitely many elements. Equivalently, k[X] is a Noetherian ring. Proof. See appendix x9.2.5. Assuming this theorem, then Y = V (T ) = V ((T )) = V (P1;:::;Pr), where P1;:::;Pr are a finite set of generators of (T ). n The theorem also shows that Ak is a Noetherian space (decreasing sequences of closed subsets are eventually constant). Indeed if Y1 ⊃ Y2 ⊃ ::: is a decreasing sequence of closed algebraic subsets, then I(Y1) ⊂ I(Y2) ⊂ ::: is an increasing sequence of ideals of k[X]. Since this is a Noetherian ring, this sequence is eventually constant. But Yi = V (I(Yi)) for all i and the conclusion follows. 1.2. Regular functions. n Definition 1.11. Let Y ⊂ Ak be a closed algebraic subset. A function f : Y ! k is called regular if there exists a polynomial F 2 k[X] such that F (y) = f(y) for all y 2 Y . In the above, if we know F then we know f, but if we know f, then usually there are 0 0 several options for F . More precisely, if F jY = F jY = f, then (F − F )jY = 0, which means that the polynomial F − F 0 vanishes on Y . By definition, this happens precisely when (F − F 0) 2 I(Y ). So two polynomials give the same regular function on Y when they are equl modulo I(Y ). n Definition/Theorem 1.12. The set of regular functions on the closed Y ⊂ Ak is k[X] k[Y ] := ; I(Y ) which is an algebra of finite type over k. n Example 1.13. • k[Ak ] = k[X] (0) = k[X] : • k[;] = k[X] (1) = 0: n • If Y = (1;:::; 1) is a point in Ak , then k[Y ] = k[X] I(Y ).
Load more

Recommended publications
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Algebraic Geometry Michael Stoll
    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 Algebraic Sets 6 4. Projective Closure and Affine Patches 9 5. Morphisms and Rational Maps 11 6. Curves — Local Properties 14 7. B´ezout’sTheorem 18 2 1. What Is Algebraic Geometry? Linear Algebra can be seen (in parts at least) as the study of systems of linear equations. In geometric terms, this can be interpreted as the study of linear (or affine) subspaces of Cn (say). Algebraic Geometry generalizes this in a natural way be looking at systems of polynomial equations. Their geometric realizations (their solution sets in Cn, say) are called algebraic varieties. Many questions one can study in various parts of mathematics lead in a natural way to (systems of) polynomial equations, to which the methods of Algebraic Geometry can be applied. Algebraic Geometry provides a translation between algebra (solutions of equations) and geometry (points on algebraic varieties). The methods are mostly algebraic, but the geometry provides the intuition. Compared to Differential Geometry, in Algebraic Geometry we consider a rather restricted class of “manifolds” — those given by polynomial equations (we can allow “singularities”, however). For example, y = cos x defines a perfectly nice differentiable curve in the plane, but not an algebraic curve. In return, we can get stronger results, for example a criterion for the existence of solutions (in the complex numbers), or statements on the number of solutions (for example when intersecting two curves), or classification results.
    [Show full text]
  • 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.
    [Show full text]
  • Asymptotic Behavior of the Length of Local Cohomology
    ASYMPTOTIC BEHAVIOR OF THE LENGTH OF LOCAL COHOMOLOGY STEVEN DALE CUTKOSKY, HUY TAI` HA,` HEMA SRINIVASAN, AND EMANOIL THEODORESCU Abstract. Let k be a field of characteristic 0, R = k[x1, . , xd] be a polynomial ring, and m its maximal homogeneous ideal. Let I ⊂ R be a homogeneous ideal in R. In this paper, we show that λ(H0 (R/In)) λ(Extd (R/In,R(−d))) lim m = lim R n→∞ nd n→∞ nd e(I) always exists. This limit has been shown to be for m-primary ideals I in a local Cohen Macaulay d! ring [Ki, Th, Th2], where e(I) denotes the multiplicity of I. But we find that this limit may not be rational in general. We give an example for which the limit is an irrational number thereby showing that the lengths of these extention modules may not have polynomial growth. Introduction Let R = k[x1, . , xd] be a polynomial ring over a field k, with graded maximal ideal m, and I ⊂ R d n a proper homogeneous ideal. We investigate the asymptotic growth of λ(ExtR(R/I ,R)) as a function of n. When R is a local Gorenstein ring and I is an m-primary ideal, then this is easily seen to be equal to λ(R/In) and hence is a polynomial in n. A theorem of Theodorescu and Kirby [Ki, Th, Th2] extends this to m-primary ideals in local Cohen Macaulay rings R. We consider homogeneous ideals in a polynomial ring which are not m-primary and show that a limit exists asymptotically although it can be irrational.
    [Show full text]
  • 4 Jul 2018 Is Spacetime As Physical As Is Space?
    Is spacetime as physical as is space? Mayeul Arminjon Univ. Grenoble Alpes, CNRS, Grenoble INP, 3SR, F-38000 Grenoble, France Abstract Two questions are investigated by looking successively at classical me- chanics, special relativity, and relativistic gravity: first, how is space re- lated with spacetime? The proposed answer is that each given reference fluid, that is a congruence of reference trajectories, defines a physical space. The points of that space are formally defined to be the world lines of the congruence. That space can be endowed with a natural structure of 3-D differentiable manifold, thus giving rise to a simple notion of spatial tensor — namely, a tensor on the space manifold. The second question is: does the geometric structure of the spacetime determine the physics, in particular, does it determine its relativistic or preferred- frame character? We find that it does not, for different physics (either relativistic or not) may be defined on the same spacetime structure — and also, the same physics can be implemented on different spacetime structures. MSC: 70A05 [Mechanics of particles and systems: Axiomatics, founda- tions] 70B05 [Mechanics of particles and systems: Kinematics of a particle] 83A05 [Relativity and gravitational theory: Special relativity] 83D05 [Relativity and gravitational theory: Relativistic gravitational theories other than Einstein’s] Keywords: Affine space; classical mechanics; special relativity; relativis- arXiv:1807.01997v1 [gr-qc] 4 Jul 2018 tic gravity; reference fluid. 1 Introduction and Summary What is more “physical”: space or spacetime? Today, many physicists would vote for the second one. Whereas, still in 1905, spacetime was not a known concept. It has been since realized that, even in classical mechanics, space and time are coupled: already in the minimum sense that space does not exist 1 without time and vice-versa, and also through the Galileo transformation.
    [Show full text]
  • Arxiv:1703.06832V3 [Math.AC]
    REGULARITY OF FI-MODULES AND LOCAL COHOMOLOGY ROHIT NAGPAL, STEVEN V SAM, AND ANDREW SNOWDEN Abstract. We resolve a conjecture of Ramos and Li that relates the regularity of an FI- module to its local cohomology groups. This is an analogue of the familiar relationship between regularity and local cohomology in commutative algebra. 1. Introduction Let S be a standard-graded polynomial ring in finitely many variables over a field k, and let M be a non-zero finitely generated graded S-module. It is a classical fact in commutative algebra that the following two quantities are equal (see [Ei, §4B]): S • The minimum integer α such that Tori (M, k) is supported in degrees ≤ α + i for all i. i • The minimum integer β such that Hm(M) is supported in degrees ≤ β − i for all i. i Here Hm is local cohomology at the irrelevant ideal m. The quantity α = β is called the (Castelnuovo–Mumford) regularity of M, and is one of the most important numerical invariants of M. In this paper, we establish the analog of the α = β identity for FI-modules. To state our result precisely, we must recall some definitions. Let FI be the category of finite sets and injections. Fix a commutative noetherian ring k. An FI-module over k is a functor from FI to the category of k-modules. We write ModFI for the category of FI-modules. We refer to [CEF] for a general introduction to FI-modules. Let M be an FI-module. Define Tor0(M) to be the FI-module that assigns to S the quotient of M(S) by the sum of the images of the M(T ), as T varies over all proper subsets of S.
    [Show full text]
  • Affine and Euclidean Geometry Affine and Projective Geometry, E
    AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda CHAPTER II: AFFINE AND EUCLIDEAN GEOMETRY AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda 1. AFFINE SPACE 1.1 Definition of affine space A real affine space is a triple (A; V; φ) where A is a set of points, V is a real vector space and φ: A × A −! V is a map verifying: 1. 8P 2 A and 8u 2 V there exists a unique Q 2 A such that φ(P; Q) = u: 2. φ(P; Q) + φ(Q; R) = φ(P; R) for everyP; Q; R 2 A. Notation. We will write φ(P; Q) = PQ. The elements contained on the set A are called points of A and we will say that V is the vector space associated to the affine space (A; V; φ). We define the dimension of the affine space (A; V; φ) as dim A = dim V: AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda Examples 1. Every vector space V is an affine space with associated vector space V . Indeed, in the triple (A; V; φ), A =V and the map φ is given by φ: A × A −! V; φ(u; v) = v − u: 2. According to the previous example, (R2; R2; φ) is an affine space of dimension 2, (R3; R3; φ) is an affine space of dimension 3. In general (Rn; Rn; φ) is an affine space of dimension n. 1.1.1 Properties of affine spaces Let (A; V; φ) be a real affine space. The following statemens hold: 1.
    [Show full text]
  • Topics in Complex Analytic Geometry
    version: February 24, 2012 (revised and corrected) Topics in Complex Analytic Geometry by Janusz Adamus Lecture Notes PART II Department of Mathematics The University of Western Ontario c Copyright by Janusz Adamus (2007-2012) 2 Janusz Adamus Contents 1 Analytic tensor product and fibre product of analytic spaces 5 2 Rank and fibre dimension of analytic mappings 8 3 Vertical components and effective openness criterion 17 4 Flatness in complex analytic geometry 24 5 Auslander-type effective flatness criterion 31 This document was typeset using AMS-LATEX. Topics in Complex Analytic Geometry - Math 9607/9608 3 References [I] J. Adamus, Complex analytic geometry, Lecture notes Part I (2008). [A1] J. Adamus, Natural bound in Kwieci´nski'scriterion for flatness, Proc. Amer. Math. Soc. 130, No.11 (2002), 3165{3170. [A2] J. Adamus, Vertical components in fibre powers of analytic spaces, J. Algebra 272 (2004), no. 1, 394{403. [A3] J. Adamus, Vertical components and flatness of Nash mappings, J. Pure Appl. Algebra 193 (2004), 1{9. [A4] J. Adamus, Flatness testing and torsion freeness of analytic tensor powers, J. Algebra 289 (2005), no. 1, 148{160. [ABM1] J. Adamus, E. Bierstone, P. D. Milman, Uniform linear bound in Chevalley's lemma, Canad. J. Math. 60 (2008), no.4, 721{733. [ABM2] J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for flatness, to appear in Amer. J. Math. [ABM3] J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for openness of an algebraic morphism, preprint (arXiv:1006.1872v1). [Au] M. Auslander, Modules over unramified regular local rings, Illinois J.
    [Show full text]
  • Phylogenetic Algebraic Geometry
    PHYLOGENETIC ALGEBRAIC GEOMETRY NICHOLAS ERIKSSON, KRISTIAN RANESTAD, BERND STURMFELS, AND SETH SULLIVANT Abstract. Phylogenetic algebraic geometry is concerned with certain complex projec- tive algebraic varieties derived from finite trees. Real positive points on these varieties represent probabilistic models of evolution. For small trees, we recover classical geometric objects, such as toric and determinantal varieties and their secant varieties, but larger trees lead to new and largely unexplored territory. This paper gives a self-contained introduction to this subject and offers numerous open problems for algebraic geometers. 1. Introduction Our title is meant as a reference to the existing branch of mathematical biology which is known as phylogenetic combinatorics. By “phylogenetic algebraic geometry” we mean the study of algebraic varieties which represent statistical models of evolution. For general background reading on phylogenetics we recommend the books by Felsenstein [11] and Semple-Steel [21]. They provide an excellent introduction to evolutionary trees, from the perspectives of biology, computer science, statistics and mathematics. They also offer numerous references to relevant papers, in addition to the more recent ones listed below. Phylogenetic algebraic geometry furnishes a rich source of interesting varieties, includ- ing familiar ones such as toric varieties, secant varieties and determinantal varieties. But these are very special cases, and one quickly encounters a cornucopia of new varieties. The objective of this paper is to give an introduction to this subject area, aimed at students and researchers in algebraic geometry, and to suggest some concrete research problems. The basic object in a phylogenetic model is a tree T which is rooted and has n labeled leaves.
    [Show full text]
  • Chapter II. Affine Spaces
    II.1. Spaces 1 Chapter II. Affine Spaces II.1. Spaces Note. In this section, we define an affine space on a set X of points and a vector space T . In particular, we use affine spaces to define a tangent space to X at point x. In Section VII.2 we define manifolds on affine spaces by mapping open sets of the manifold (taken as a Hausdorff topological space) into the affine space. Ultimately, we think of a manifold as pieces of the affine space which are “bent and pasted together” (like paper mache). We also consider subspaces of an affine space and translations of subspaces. We conclude with a discussion of coordinates and “charts” on an affine space. Definition II.1.01. An affine space with vector space T is a nonempty set X of points and a vector valued map d : X × X → T called a difference function, such that for all x, y, z ∈ X: (A i) d(x, y) + d(y, z) = d(x, z), (A ii) the restricted map dx = d|{x}×X : {x} × X → T defined as mapping (x, y) 7→ d(x, y) is a bijection. We denote both the set and the affine space as X. II.1. Spaces 2 Note. We want to think of a vector as an arrow between two points (the “head” and “tail” of the vector). So d(x, y) is the vector from point x to point y. Then we see that (A i) is just the usual “parallelogram property” of the addition of vectors.
    [Show full text]
  • The Euler Characteristic of an Affine Space Form Is Zero by B
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 81, Number 5, September 1975 THE EULER CHARACTERISTIC OF AN AFFINE SPACE FORM IS ZERO BY B. KOST ANT AND D. SULLIVAN Communicated by Edgar H. Brown, Jr., May 27, 1975 An affine space form is a compact manifold obtained by forming the quo­ tient of ordinary space i?" by a discrete group of affine transformations. An af­ fine manifold is one which admits a covering by coordinate systems where the overlap transformations are restrictions of affine transformations on Rn. Affine space forms are characterized among affine manifolds by a completeness property of straight lines in the universal cover. If n — 2m is even, it is unknown whether or not the Euler characteristic of a compact affine manifold can be nonzero. The curvature definition of charac­ teristic classes shows that all classes, except possibly the Euler class, vanish. This argument breaks down for the Euler class because the pfaffian polynomials which would figure in the curvature argument is not invariant for Gl(nf R) but only for SO(n, R). We settle this question for the subclass of affine space forms by an argument analogous to the potential curvature argument. The point is that all the affine transformations x \—> Ax 4- b in the discrete group of the space form satisfy: 1 is an eigenvalue of A. For otherwise, the trans­ formation would have a fixed point. But then our theorem is proved by the fol­ lowing p THEOREM. If a representation G h-• Gl(n, R) satisfies 1 is an eigenvalue of p(g) for all g in G, then any vector bundle associated by p to a principal G-bundle has Euler characteristic zero.
    [Show full text]
  • 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).
    [Show full text]