Simplicial Objects and Singular Homology

Total Page:16

File Type:pdf, Size:1020Kb

Simplicial Objects and Singular Homology Simplicial Objects and Singular Homology Helen Gilmour 24th October 2002 The Simplicial Category and Simplicial Objects The simplicial category ∆ is the category with objects, all finite ordinal numbers n = 0, 1, . , n and morphisms f : m n all non-decreasing functions (i.e. all functions f{ for which} f(i) 6 f(j) for i 6 j). −→ To the simplicial category we can associate the opposite category ∆op. The objects of ∆op are the objects of ∆, the morphisms of ∆op are the morphisms f op, which are in one-to one correspondence f f op with the morphisms f of ∆. For each morphism f : m n of ∆, the domain and codomain7−→ of the corresponding f op are as in f op : n m, so the−→ direction is reversed. −→ If we take a category A, then a simplicial object S in A is defined to be the functor S : ∆op A i.e. a contavariant functor ∆ A. If A is the category of sets, then the functor S is known−→ as a simplicial set. Similarly we−→ have simplicial groups and simplicial rings etc. We have a presentation for the simplicial category; there are morphisms δn : n n + 1 δn 0, . , n = 0,...,ˆi, . , n + 1 i −→ i { } { } σn : n + 1 n σn(i) = σn(i + 1) i −→ i i n n where δi is an injection and σi a surjection. These morphisms generate the simplicial category ∆ and along with a list of relations, give a presentation of ∆. The simplicial category ∆, has a direct geometric interpretation by affine simplices which give a functor : ∆ Top 4 −→ Singular Homology Groups of a Topological Space The singular homology of a topological space is a classical example of using simplicial objects. In order to define the singular homology groups of a topological space X, it is necessary to introduce some notation and definitions. We take the n-dimensional Euclidean space Rn (this is the space of all n-tuples of real numbers (a1, a2, . , an)). n The line segment joining two points u, v R is the set of all points x0u + x1v where x0 , ∈ x1 are real numbers with x0 + x1 = 1, x0 > 0, x1 > 0. We can say that a subset C of Rn is convex if it contains the line segment joining any two n of its points. If u0, . , um are m + 1 points of R , the set of all points u = x0u0 + ... + xmum, xo + x1 + ... + xm = 1 xi > 0 is the smallest convex set containing the points u0, . , um and is called the convex hull of u0, . , um. Here the real numbers xi are the barycentric coordinates of u relative to u0, . , um. An m-simplex is defined to be the convex hull of m + 1 points, these points are the vertices of the simplex. 1 For each dimension n we can take a standard n-simplex n in the space Rn, labelling the vertices (0, 1, ..., n). This standard n-simplex is the convex4 hull of the standard basis of Rn along with the origin (labelled 0). The standard n-simplex can be expressed by barycentric coordinates relative to the origin and the standard basis of Rn. For any topological space X, a singular n-simplex T in X is just a continuous map T : n X. The word “singular” is used to emphasise that T need not be an embedding. 4 −→ The free abelian group generated by the singular n-simplices of X is denoted Sn(X) and is called the singular chain group of X in dimension n. We can think of the “boundary” of the standard n-simplex n as consisting of certain (n 1)-dimensional singular simplices which are the “faces” of n4. −In general n has n + 1 faces, with it’s ith face being4 the linear singular simplex i n 1 4n i n 1 ε : − , i = 0, . , n, where ε is a map that carries − by a linear homeomorphism onto4 the face−→ (0 4, 1,...,ˆi, . , n) of n, where the vertex i is to4 be omitted. 4 n So if we have any singular n-simplex T : X, it has n + 1 faces diT defined by the composite 4 −→ i n 1 diT = T ε : − X 4 −→ so, the ith face omits the ith vertex. The process of forming iterated faces satisfies the identity didjT = dj 1diT i j − ≤ We can now define the boundary homomorphism ∂ : Sn(X) Sn 1(X) −→ − as the sum of the face homomorphisms diT with alternating signs; that is n n i ∂T = d0T d1T + ... + ( 1) dnT = ( 1) diT n > 0 − − X − i=0 So, ∂T is a formal sum of singular simplices of dimension n 1 which are the “faces” of T . 2 − We can verify that ∂ = 0, that is that the family of groups Sn(X) and homomorphisms ∂ : Sn(X) Sn 1(X) for n 0 forms a chain complex, known as the singular chain complex of X and denoted−→ −S(X). ≥ So we want to prove that the composite ∂∂ : Sn Sn 2 is the zero homomorphism for n > 1. It is sufficient to prove ∂∂T = 0 for singular n-simplex−→ −T : n X. We have 4 −→ n ∂∂T = d0(d0T d1T + ... + ( 1) dnT ) − − n d1(d0T d1T + ... + ( 1) dnT ) − n − − n +( 1) dnT (d0T d1T + ... + ( 1) dnT ) − − − i+j = ( 1) didjT X − This can be split up as i+j i+j ∂∂T = ( 1) didjT + ( 1) didjT X − X − j 1<i i j − ≥ If we use the identity didjT = dj 1diT , i j and switch the labels i and j in the second sum, we get − ≤ i+j i+k ∂∂T = ( 1) dj 1diT + ( 1) dkdiT X − − X − j 1 i k i − ≥ ≥ The two sums are equal, except for sign and so cancel to give ∂∂ = 0 The homology groups of this chain complex are called the singular homology groups of X and are denoted Hn(X). 2 Computation of Singular Homology Groups There are several ways of defining homology groups. So far, we have considered singular groups, however, singular homology theory was introduced as a generalisation of simplicial homology theory. Simplicial homology groups are easy to understand and compute, however, they are defined only for particular triangulable spaces. Singular homology groups however are defined for arbitrary topological spaces and agree with the simplicial homology groups when they are both defined. It is difficult to compute the singular homology groups of even the simplest of spaces. The theory of CW-complexes allows singular homology to be computed fairly readily. As an example, we can compute the homology of a point; a very simple situation, where the answer is found via a straightforward calculation. n We want to calculate Hn( ). There is precisely one map . i.e. one singular n- ∗ 4 −→ ∗ simplex. Therefore, the singular chain group of , Sn( ) (the free abelian group generated by ∗ ∗ n-simplices of ) is Z. If we let αn be the standard generator of the group Sn, then the boundary homomorphism∗ ∂ : Sn( ) Sn 1( ) ∗ −→ − ∗ is given by n i αn 1 n even ∂αn = ( 1) αn 1 = − X − − 0 n odd i=0 Therefore ∂n = 0 when n is odd and ∂n is an isomorphism when n is even. For n = 0, we have Hn( ) = Z. Now assume that n > 0.∗ So the singular homology groups of , are the homology groups of the following singular chain complex; ∗ ∂n+1 ∂n ... Sn+1( ) Sn( ) Sn 1( ) ... −→ ∗ −→ ∗ −→ − ∗ −→ For n odd, then ∂n = 0 implies that Sn( ) = ker ∂n. Also ∂n+1 is an isomorphism (since n + 1 ∗ is even), hence surjective and so Sn( ) = im ∂n+1. Thus ∗ Hn( ) = ker ∂nim ∂n+1 = 0. ∗ For n > 0 and even, then ∂n is an isomorphism, hence injective and so, ker ∂n = 0. And Hn( ) =0 in this case also. ∗ So we have shown that if X is a one point space, then Hn(X) = 0 for all n > 0. This result is known as the Dimension Axiom for Singular Homology Theory. Homology groups of all contractible topological spaces coincide with those of a point. In general, if X is a space with n-components, then H0(X) is n copies of Z. Mayer-Vietoris Sequences If X is the union of two subspaces X1 and X2, we can under suitable hypotheses, produce an exact sequence relating the homology of X with that of X1 and X2. This exact sequence is called the Mayer-Vietoris sequence of the pair X1 and X2. Suppose we have X = X1 X2 and that X1,X2 is an excisive couple. Let A = X1 X2. Then there is an exact sequence∪ { } ∩ φ ψ ... Hp(A) ∗ Hp(X1) Hp(X2) ∗ Hp(X) Hp 1(A) ... −→ −→ ⊕ −→ −→ − −→ called the Mayer-Vietoris sequence of X1,X2 .The homomorphisms are defined by { } φ (a) = (i (a), j (a)) ∗ ∗ − ∗ ψ (x1, x2) = k (x1) + l (x2) ∗ ∗ ∗ 3 where the maps i A X1 −−−→ j k y l y X2 X −−−→ are inclusions. Homology of the Sphere If we let Sn Rn+1 be the n-sphere (of radius 1 and centre the origin), where n 0. Then ⊂ ≥ Z if p = n H (Sn) = p 0 if p = n e 6 n n Here Hp(S ) are called the reduced homology groups of S . These reduced homology groups are more readilye used and for i > 0 the groups Hi(X) and Hi(X) are isomorphic. n To prove the results above we induct onen 0 to show that Hp(S ) is as claimed for all ≥ p 0. e ≥For n = 0, we have the 0-sphere S0, we should note that it consists of two points 1, 1 and is therefore a discrete two-point space.
Recommended publications
  • Some Notes About Simplicial Complexes and Homology II
    Some notes about simplicial complexes and homology II J´onathanHeras J. Heras Some notes about simplicial homology II 1/19 Table of Contents 1 Simplicial Complexes 2 Chain Complexes 3 Differential matrices 4 Computing homology groups from Smith Normal Form J. Heras Some notes about simplicial homology II 2/19 Simplicial Complexes Table of Contents 1 Simplicial Complexes 2 Chain Complexes 3 Differential matrices 4 Computing homology groups from Smith Normal Form J. Heras Some notes about simplicial homology II 3/19 Simplicial Complexes Simplicial Complexes Definition Let V be an ordered set, called the vertex set. A simplex over V is any finite subset of V . Definition Let α and β be simplices over V , we say α is a face of β if α is a subset of β. Definition An ordered (abstract) simplicial complex over V is a set of simplices K over V satisfying the property: 8α 2 K; if β ⊆ α ) β 2 K Let K be a simplicial complex. Then the set Sn(K) of n-simplices of K is the set made of the simplices of cardinality n + 1. J. Heras Some notes about simplicial homology II 4/19 Simplicial Complexes Simplicial Complexes 2 5 3 4 0 6 1 V = (0; 1; 2; 3; 4; 5; 6) K = f;; (0); (1); (2); (3); (4); (5); (6); (0; 1); (0; 2); (0; 3); (1; 2); (1; 3); (2; 3); (3; 4); (4; 5); (4; 6); (5; 6); (0; 1; 2); (4; 5; 6)g J. Heras Some notes about simplicial homology II 5/19 Chain Complexes Table of Contents 1 Simplicial Complexes 2 Chain Complexes 3 Differential matrices 4 Computing homology groups from Smith Normal Form J.
    [Show full text]
  • Fixed Point Theory
    Andrzej Granas James Dugundji Fixed Point Theory With 14 Illustrations %1 Springer Contents Preface vii §0. Introduction 1 1. Fixed Point Spaces 1 2. Forming New Fixed Point Spaces from Old 3 3. Topological Transversality 4 4. Factorization Technique 6 I. Elementary Fixed Point Theorems §1. Results Based on Completeness 9 1. Banach Contraction Principle 9 2. Elementary Domain Invariance 11 3. Continuation Method for Contractive Maps 12 4. Nonlinear Alternative for Contractive Maps 13 5. Extensions of the Banach Theorem 15 6. Miscellaneous Results and Examples 17 7. Notes and Comments 23 §2. Order-Theoretic Results 25 1. The Knaster-Tarski Theorem 25 2. Order and Completeness. Theorem of Bishop-Phelps 26 3. Fixed Points for Set-Valued Contractive Maps 28 4. Applications to Geometry of Banach Spaces 29 5. Applications to the Theory of Critical Points 30 6. Miscellaneous Results and Examples 31 7. Notes and Comments 34 X Contents §3. Results Based on Convexity 37 1. KKM-Maps and the Geometric KKM-Principle 37 2. Theorem of von Neumann and Systems of Inequalities 40 3. Fixed Points of Affine Maps. Markoff-Kakutani Theorem 42 4. Fixed Points for Families of Maps. Theorem of Kakutani 44 5. Miscellaneous Results and Examples 46 6. Notes and Comments 48 §4. Further Results and Applications 51 1. Nonexpansive Maps in Hilbert Space 51 2. Applications of the Banach Principle to Integral and Differential Equations 55 3. Applications of the Elementary Domain Invariance 57 4. Elementary KKM-Principle and its Applications 64 5. Theorems of Mazur-Orlicz and Hahn-Banach 70 6.
    [Show full text]
  • Local Homology of Abstract Simplicial Complexes
    Local homology of abstract simplicial complexes Michael Robinson Chris Capraro Cliff Joslyn Emilie Purvine Brenda Praggastis Stephen Ranshous Arun Sathanur May 30, 2018 Abstract This survey describes some useful properties of the local homology of abstract simplicial complexes. Although the existing literature on local homology is somewhat dispersed, it is largely dedicated to the study of manifolds, submanifolds, or samplings thereof. While this is a vital per- spective, the focus of this survey is squarely on the local homology of abstract simplicial complexes. Our motivation comes from the needs of the analysis of hypergraphs and graphs. In addition to presenting many classical facts in a unified way, this survey presents a few new results about how local homology generalizes useful tools from graph theory. The survey ends with a statistical comparison of graph invariants with local homology. Contents 1 Introduction 2 2 Historical discussion 4 3 Theoretical groundwork 6 3.1 Representing data with simplicial complexes . .7 3.2 Relative simplicial homology . .8 3.3 Local homology . .9 arXiv:1805.11547v1 [math.AT] 29 May 2018 4 Local homology of graphs 12 4.1 Basic graph definitions . 14 4.2 Local homology at a vertex . 15 5 Local homology of general complexes 18 5.1 Stratification detection . 19 5.2 Neighborhood filtration . 24 6 Computational considerations 25 1 7 Statistical comparison with graph invariants 26 7.1 Graph invariants used in our comparison . 27 7.2 Comparison methodology . 27 7.3 Dataset description . 28 7.4 The Karate graph . 28 7.5 The Erd}os-R´enyi graph . 30 7.6 The Barabasi-Albert graph .
    [Show full text]
  • Simplicial Complexes and Lefschetz Fixed-Point Theorem
    Helsingin Yliopisto Matemaattis-luonnontieteellinen tiedekunta Matematiikan ja tilastotieteen osasto Pro gradu -tutkielma Simplicial complexes and Lefschetz fixed-point theorem Aku Siekkinen Ohjaaja: Marja Kankaanrinta October 19, 2019 HELSINGIN YLIOPISTO — HELSINGFORS UNIVERSITET — UNIVERSITY OF HELSINKI Tiedekunta/Osasto — Fakultet/Sektion — Faculty Laitos — Institution — Department Matemaattis-luonnontieteellinen Matematiikan ja tilastotieteen laitos Tekijä — Författare — Author Aku Siekkinen Työn nimi — Arbetets titel — Title Simplicial complexes and Lefschetz fixed-point theorem Oppiaine — Läroämne — Subject Matematiikka Työn laji — Arbetets art — Level Aika — Datum — Month and year Sivumäärä — Sidoantal — Number of pages Pro gradu -tutkielma Lokakuu 2019 82 s. Tiivistelmä — Referat — Abstract We study a subcategory of topological spaces called polyhedrons. In particular, the work focuses on simplicial complexes out of which polyhedrons are constructed. With simplicial complexes we can calculate the homology groups of polyhedrons. These are computationally easier to handle compared to singular homology groups. We start by introducing simplicial complexes and simplicial maps. We show how polyhedrons and simplicial complexes are related. Simplicial maps are certain maps between simplicial complexes. These can be transformed to piecewise linear maps between polyhedrons. We prove the simplicial approximation theorem which states that for any continuous function between polyhedrons we can find a piecewise linear map which is homotopic to the continuous function. In section 4 we study simplicial homology groups. We prove that on polyhedrons the simplicial homology groups coincide with singular homology groups. Next we give an algorithm for calculating the homology groups from matrix presentations of boundary homomorphisms. Also examples of these calculations are given for some polyhedrons. In the last section, we assign an integer called the Lefschetz number for continuous maps from a polyhedron to itself.
    [Show full text]
  • Universal Coefficient Theorem for Homology
    Universal Coefficient Theorem for Homology We present a direct proof of the universal coefficient theorem for homology that is simpler and shorter than the standard proof. Theorem 1 Given a chain complex C in which each Cn is free abelian, and a coefficient group G, we have for each n the natural short exact sequence 0 −−→ Hn(C) ⊗ G −−→ Hn(C ⊗ G) −−→ Tor(Hn−1(C),G) −−→ 0, (2) which splits (but not naturally). In particular, this applies immediately to singular homology. Theorem 3 Given a pair of spaces (X, A) and a coefficient group G, we have for each n the natural short exact sequence 0 −−→ Hn(X, A) ⊗ G −−→ Hn(X, A; G) −−→ Tor(Hn−1(X, A),G) −−→ 0, which splits (but not naturally). We shall derive diagram (2) as an instance of the following elementary result. Lemma 4 Given homomorphisms f: K → L and g: L → M of abelian groups, with a splitting homomorphism s: L → K such that f ◦ s = idL, we have the split short exact sequence ⊂ f 0 0 −−→ Ker f −−→ Ker(g ◦ f) −−→ Ker g −−→ 0, (5) where f 0 = f| Ker(g ◦ f), with the splitting s0 = s| Ker g: Ker g → Ker(g ◦ f). Proof We note that f 0 and s0 are defined, as f(Ker(g ◦ f)) ⊂ Ker g and s(Ker g) ⊂ Ker(g ◦f). (In detail, if l ∈ Ker g,(g ◦f)sl = gfsl = gl = 0 shows that sl ∈ Ker(g ◦f).) 0 0 0 Then f ◦ s = idL restricts to f ◦ s = id. Since Ker f ⊂ Ker(g ◦ f), we have Ker f = Ker f ∩ Ker(g ◦ f) = Ker f.
    [Show full text]
  • Introduction to Homology
    Introduction to Homology Matthew Lerner-Brecher and Koh Yamakawa March 28, 2019 Contents 1 Homology 1 1.1 Simplices: a Review . .2 1.2 ∆ Simplices: not a Review . .2 1.3 Boundary Operator . .3 1.4 Simplicial Homology: DEF not a Review . .4 1.5 Singular Homology . .5 2 Higher Homotopy Groups and Hurweicz Theorem 5 3 Exact Sequences 5 3.1 Key Definitions . .5 3.2 Recreating Groups From Exact Sequences . .6 4 Long Exact Homology Sequences 7 4.1 Exact Sequences of Chain Complexes . .7 4.2 Relative Homology Groups . .8 4.3 The Excision Theorems . .8 4.4 Mayer-Vietoris Sequence . .9 4.5 Application . .9 1 Homology What is Homology? To put it simply, we use Homology to count the number of n dimensional holes in a topological space! In general, our approach will be to add a structure on a space or object ( and thus a topology ) and figure out what subsets of the space are cycles, then sort through those subsets that are holes. Of course, as many properties we care about in topology, this property is invariant under homotopy equivalence. This is the slightly weaker than homeomorphism which we before said gave us the same fundamental group. 1 Figure 1: Hatcher p.100 Just for reference to you, I will simply define the nth Homology of a topological space X. Hn(X) = ker @n=Im@n−1 which, as we have said before, is the group of n-holes. 1.1 Simplices: a Review k+1 Just for your sake, we review what standard K simplices are, as embedded inside ( or living in ) R ( n ) k X X ∆ = [v0; : : : ; vk] = xivi such that xk = 1 i=0 For example, the 0 simplex is a point, the 1 simplex is a line, the 2 simplex is a triangle, the 3 simplex is a tetrahedron.
    [Show full text]
  • Homology Groups of Homeomorphic Topological Spaces
    An Introduction to Homology Prerna Nadathur August 16, 2007 Abstract This paper explores the basic ideas of simplicial structures that lead to simplicial homology theory, and introduces singular homology in order to demonstrate the equivalence of homology groups of homeomorphic topological spaces. It concludes with a proof of the equivalence of simplicial and singular homology groups. Contents 1 Simplices and Simplicial Complexes 1 2 Homology Groups 2 3 Singular Homology 8 4 Chain Complexes, Exact Sequences, and Relative Homology Groups 9 ∆ 5 The Equivalence of H n and Hn 13 1 Simplices and Simplicial Complexes Definition 1.1. The n-simplex, ∆n, is the simplest geometric figure determined by a collection of n n + 1 points in Euclidean space R . Geometrically, it can be thought of as the complete graph on (n + 1) vertices, which is solid in n dimensions. Figure 1: Some simplices Extrapolating from Figure 1, we see that the 3-simplex is a tetrahedron. Note: The n-simplex is topologically equivalent to Dn, the n-ball. Definition 1.2. An n-face of a simplex is a subset of the set of vertices of the simplex with order n + 1. The faces of an n-simplex with dimension less than n are called its proper faces. 1 Two simplices are said to be properly situated if their intersection is either empty or a face of both simplices (i.e., a simplex itself). By \gluing" (identifying) simplices along entire faces, we get what are known as simplicial complexes. More formally: Definition 1.3. A simplicial complex K is a finite set of simplices satisfying the following condi- tions: 1 For all simplices A 2 K with α a face of A, we have α 2 K.
    [Show full text]
  • The Decomposition Theorem, Perverse Sheaves and the Topology Of
    The decomposition theorem, perverse sheaves and the topology of algebraic maps Mark Andrea A. de Cataldo and Luca Migliorini∗ Abstract We give a motivated introduction to the theory of perverse sheaves, culminating in the decomposition theorem of Beilinson, Bernstein, Deligne and Gabber. A goal of this survey is to show how the theory develops naturally from classical constructions used in the study of topological properties of algebraic varieties. While most proofs are omitted, we discuss several approaches to the decomposition theorem, indicate some important applications and examples. Contents 1 Overview 3 1.1 The topology of complex projective manifolds: Lefschetz and Hodge theorems 4 1.2 Families of smooth projective varieties . ........ 5 1.3 Singular algebraic varieties . ..... 7 1.4 Decomposition and hard Lefschetz in intersection cohomology . 8 1.5 Crash course on sheaves and derived categories . ........ 9 1.6 Decomposition, semisimplicity and relative hard Lefschetz theorems . 13 1.7 InvariantCycletheorems . 15 1.8 Afewexamples.................................. 16 1.9 The decomposition theorem and mixed Hodge structures . ......... 17 1.10 Historicalandotherremarks . 18 arXiv:0712.0349v2 [math.AG] 16 Apr 2009 2 Perverse sheaves 20 2.1 Intersection cohomology . 21 2.2 Examples of intersection cohomology . ...... 22 2.3 Definition and first properties of perverse sheaves . .......... 24 2.4 Theperversefiltration . .. .. .. .. .. .. .. 28 2.5 Perversecohomology .............................. 28 2.6 t-exactness and the Lefschetz hyperplane theorem . ...... 30 2.7 Intermediateextensions . 31 ∗Partially supported by GNSAGA and PRIN 2007 project “Spazi di moduli e teoria di Lie” 1 3 Three approaches to the decomposition theorem 33 3.1 The proof of Beilinson, Bernstein, Deligne and Gabber .
    [Show full text]
  • Singular Homology of Arithmetic Schemes Alexander Schmidt
    AlgebraAlgebraAlgebraAlgebra & & & & NumberNumberNumberNumber TheoryTheoryTheoryTheory Volume 1 2007 No. 2 Singular homology of arithmetic schemes Alexander Schmidt mathematicalmathematicalmathematicalmathematicalmathematicalmathematicalmathematical sciences sciences sciences sciences sciences sciences sciences publishers publishers publishers publishers publishers publishers publishers 1 ALGEBRA AND NUMBER THEORY 1:2(2007) Singular homology of arithmetic schemes Alexander Schmidt We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular homology in degree zero and the abelianized modified tame fundamental group. 1. Introduction The objective of this paper is to construct a reasonable singular homology theory on the category of schemes of finite type over a Dedekind domain. Our main criterion for “reasonable” was to find a theory which satisfies the usual properties of a singular homology theory and which has the additional property that, for schemes of finite type over Spec(ޚ), the group h0 serves as the source of a reciprocity map for tame class field theory. In the case of schemes of finite type over finite fields this role was taken over by Suslin’s singular homology; see [Schmidt and Spieß 2000]. In this article we motivate and give the definition of the singular homology groups of schemes of finite type over a Dedekind domain and we verify basic properties, e.g. homotopy
    [Show full text]
  • The Lefschetz Fixed Point Theorem
    D. Becker The Lefschetz fixed point theorem Bachelorscriptie Scriptiebegeleider: dr. G.S. Zalamansky Datum Bachelorexamen: 24 juni 2016 Mathematisch Instituut, Universiteit Leiden 1 Contents 1 The classical Lefschetz fixed point theorem 5 1.1 Singular homology . 5 1.2 Simplicial homology . 6 1.3 Simplicial approximation . 7 1.4 Lefschetz fixed point theorem . 9 2 Lefschetz fixed point theorem for smooth projective varieties 12 2.1 Intersection theory . 12 2.2 Weil cohomology . 14 2.3 Lefschetz fixed point theorem . 18 3 Weil conjectures 21 3.1 Statement . 21 3.2 The Frobenius morphism . 22 3.3 Proof . 23 2 Introduction Given a continuous map f : X ! X from a topological space to itself it is natural to ask whether the map has fixed points, and how many. For a certain class of spaces, which includes compact manifolds, the Lefschetz fixed point theorem answers these questions. This class of spaces are the simplicial complexes, which are roughly speaking topological spaces built up from triangles and their higher dimensional analogues. We start in the first section by constructing singular homology for any space and simplicial homology for simplicial complexes. Both are functors from topological spaces to graded groups, so of the form H∗(X) = L i Hi(X). Thus we can assign algebraic invariants to a map f. In the case of simplicial homology computing these amounts purely to linear algebra. By employing simplicial approximation of continuous maps by simplicial maps we prove the following. Theorem 1 (Lefschetz fixed point theorem). Let f : X ! X be a continuous map of a simplicial complex to itself.
    [Show full text]
  • Algebraic Topology Is the Usage of Algebraic Tools to Study Topological Spaces
    Chapter 1 Singular homology 1 Introduction: singular simplices and chains This is a course on algebraic topology. We’ll discuss the following topics. 1. Singular homology 2. CW-complexes 3. Basics of category theory 4. Homological algebra 5. The Künneth theorem 6. Cohomology 7. Universal coefficient theorems 8. Cup and cap products 9. Poincaré duality. The objects of study are of course topological spaces, and the machinery we develop in this course is designed to be applicable to a general space. But we are really mainly interested in geometrically important spaces. Here are some examples. • The most basic example is n-dimensional Euclidean space, Rn. • The n-sphere Sn = fx 2 Rn+1 : jxj = 1g, topologized as a subspace of Rn+1. • Identifying antipodal points in Sn gives real projective space RPn = Sn=(x ∼ −x), i.e. the space of lines through the origin in Rn+1. • Call an ordered collection of k orthonormal vectors an orthonormal k-frame. The space of n n orthonormal k-frames in R forms the Stiefel manifold Vk(R ), topologized as a subspace of (Sn−1)k. n n • The Grassmannian Grk(R ) is the space of k-dimensional linear subspaces of R . Forming n n the span gives us a surjection Vk(R ) ! Grk(R ), and the Grassmannian is given the quotient n n−1 topology. For example, Gr1(R ) = RP . 1 2 CHAPTER 1. SINGULAR HOMOLOGY All these examples are manifolds; that is, they are Hausdorff spaces locally homeomorphic to Eu- clidean space. Aside from Rn itself, the preceding examples are also compact.
    [Show full text]
  • Singular Homology Groups and Homotopy Groups By
    SINGULAR HOMOLOGY GROUPS AND HOMOTOPY GROUPS OF FINITE TOPOLOGICAL SPACES BY MICHAEL C. McCoRD 1. Introduction. Finite topological spaces have more interesting topological properties than one might suspect at first. Without thinking about it very long, one might guess that the singular homology groups and homotopy groups of finite spaces vanish in dimension greater than zero. (One might jump to the conclusion that continuous maps of simplexes and spheres into a finite space must be constant.) However, we shall show (see Theorem 1) that exactly the same singular homology groups and homotopy groups occur for finite spaces as occur for finite simplicial complexes. A map J X Y is a weatc homotopy equivalence if the induced maps (1.1) -- J, -(X, x) ---> -( Y, Jx) are isomorphisms for all x in X aIld all i >_ 0. (Of course in dimension 0, "iso- morphism" is understood to mean simply "1-1 correspondence," since ro(X, x), the set of path components of X, is not in general endowed with a group struc- ture.) It is a well-known theorem of J.H.C. Whitehead (see [4; 167]) that every weak homotopy equivalence induces isomorphisms on singular homology groups (hence also on singular cohomology rings.) Note that the general case is reduced to the case where X and Y are path connected by the assumption that (1.1) is a 1-1 correspondence for i 0. THEOnnM 1. (i) For each finite topological space X there exist a finite simplicial complex K and a wealc homotopy equivalence f IK[ X. (ii) For each finite sim- plicial complex K there exist a finite topological space-- X and a wealc homotopy equivalence ] "[K[ X.
    [Show full text]