Persistent Local Systems
|
|
- Amie Henry
- 5 years ago
- Views:
Transcription
1 Persistent Local Systems Amit Patel Department of Mathematics Colorado State University joint work with Robert MacPherson School of Mathematics Institute for Advanced Study Abel Symposium on Topological Data Analysis June 5-7, 2018
2 Lays foundation for a theory of persistence in the setting of constructible maps to manifolds X M f Real Algebraic Maps Real Analytic Maps Proper Piecewise Linear Maps Structurally Stable Smooth Maps Involves new (co)sheaf theoretic methods
3 Point Cloud P R n What is the shape of this point cloud at all scales?
4 Grow Balls X(r) [ p2p B p (r)
5 Grow Bigger Balls X(r) [ p2p B p (r)
6 Filtration X(0),! X(r 1 ),! X(r 2 ),!,! X(1) =R n HX(0)! HX(r 1 )! HX(r 2 )!! HX(1) Using coefficients in a field k F :(R, apple)! Vect k
7 What Persists? F :(R, apple)! Vect k Given two values r apple s what persists along the entire interval [r, s]? Answer: the persistent homology group which is the image of the map F(r apple s) Edelsbrunner, Letcher, Zomorodian. Topological persistence and simplification. 2002
8 Property I of the PH Group F :(R, apple)! Vect k Consider two intervals of the real line: [p, s] [q, r] F(p) F(q) F(s) F(r) rank F(p apple s) apple rank F(q apple r)
9 Property I of the PH Group F :(R, apple)! Vect k Consider two intervals of the real line: [p, s] [q, r] Contravariant F(p) F(q) Covariant F(s) F(r) rank F(p apple s) apple rank F(q apple r)
10 Property II of the PH Group F, G :(R, apple)! Vect k - interleaved For every long enough interval [p, q] F(p) G(p + ) F(q) G(q ) rank F(p apple q) apple rank G(p + apple q )
11 Constructible Persistence Modules The persistence diagram can be defined solely from persistent homology groups Let S = {s 1,...,s n } be a finite set of real numbers A persistence module F is S-constructible if F(p) =0, for all p<s 1 for s i apple p apple q<s i+1, F(p apple q) is an isomorphism for s n apple p, F(p apple q) is an isomorphism s 1 s 2 s 3 s 4
12 Poset of Intervals Dgm Dgm poset of half-open intervals of the form [r, s) [r, 1) and
13 Persistence Diagram A persistence diagram is a map that is nonzero on finitely many intervals P : Dgm! Z
14 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
15 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
16 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
17 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
18 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
19 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
20 Construction of P. Diagram F :(R, apple)! Vect Möbius Inversion df : Dgm! Z P F : Dgm! Z
21 Persistence and the Möbius Inversion The Inclusion-Exclusion construction of the persistence diagram is by Cohen-Steiner, Edelsbrunner, and Harer. Stability of persistence diagrams Recognized as a Möbius Inversion leading to persistence diagrams for constructible persistence modules valued in small symmetric monoidal categories A. Patel. Generalized Persistence Diagrams There is even bottleneck stability in the case of an abelian category A. McCleary, A. Patel. Bottleneck Stability for Generalized Persistence Diagrams. arxiv See also T. Leinster. Notions of Möbius Inversion. 2012
22 X f Maps to Manifolds We don t have sublevel sets, but we have level sets or fibers of the map. M Leray invented sheaf theory to study the fibers of a map We believe the persistent homology group is the fundamental unit of persistence. For each open set of the map over U perturbations? U M we ask, what is the fiberwise homology that is stable to infinitesimally small Our answer is the persistent local system. It behaves like the persistent homology group.
23 What is a Local System? A local system of abelian groups over a manifold is: A representation of the fundamental groupoid L : Fund(M)! Ab A locally constant cosheaf L : Open(M)! Ab A locally constant sheaf L : Open op (M)! Ab
24 Examples of Local Systems f g Take fiberwise one-dimensional homology L f is the trivial local system with fiber Z L g is the Möbius local system with fiber Z
25 Fiberwise Stable Homology R 2 B f R 2
26 Cap Product Given a constructible map f : X! M Suppose the target is oriented For each point U M of p p 2 M and a small enough open neighborhood H +m X, X f 1 (U) H m X, X f 1 _ (U)! H f 1 (U) f? H m (M,M U) = H m (M) = Z
27 Fiberwise Stable Homology R 2 B H 2 X, X f 1 (U) f _ f? (O u ) R 2 H 0 f 1 (U) image is 0
28 Fiberwise Stable Homology H 2 X, X f 1 (U) f _ f? (O u ) H 0 f 1 (U) Image has rank 1
29 Bisheaf
30 Persistence Stack X Given a map M f to an oriented manifold we construct some structure F d where for each open set U M F d+m (U) Episheaf over U (some kind of sheaf over U) F d (U) Monocosheaf under U (some kind of cosheaf under U) The image is the persistent local system over U
31 Property I For each inclusion of open sets i : V U we have i? F d+m (U) F d+m (V ) i? F(U) F(V ) i? F d (U) F d (V ) rank i? F(U) apple rank F(V )
32 Property II For an open set U M fix any > 0 and shrink U by U U Shrink
33 Property II X then there is > 0 such that for any second constructible map where Dist(f,g) < M g i? F d+m (U) G d+m (U ) i? F(U) i : U U G(U ) i? F d (U) G m (U ) rank i? F(U) apple rank G(U )
34 Ongoing Work Given a constructible map, we create a persistence stack. For each open set of the target space, we have a map from an episheaf to a monocosheaf. The image of this map is the persistent local system over this open set. The persistent local system behaves like the persistent homology group What is the persistence diagram of a persistence stack?
35 Thank You This research was supported by NSF grant CCF
Canonical Stratifications along Bisheaves
Canonical Stratifications along Bisheaves Vidit Nanda and Amit Patel Abstract. A theory of bisheaves has been recently introduced to measure the homological stability of fibers of maps to manifolds. A
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationPersistent Homology. 128 VI Persistence
8 VI Persistence VI. Persistent Homology A main purpose of persistent homology is the measurement of the scale or resolution of a topological feature. There are two ingredients, one geometric, assigning
More informationStability of Critical Points with Interval Persistence
Stability of Critical Points with Interval Persistence Tamal K. Dey Rephael Wenger Abstract Scalar functions defined on a topological space Ω are at the core of many applications such as shape matching,
More information7. The Stability Theorem
Vin de Silva Pomona College CBMS Lecture Series, Macalester College, June 2017 The Persistence Stability Theorem Stability Theorem (Cohen-Steiner, Edelsbrunner, Harer 2007) The following transformation
More informationMetrics on Persistence Modules and an Application to Neuroscience
Metrics on Persistence Modules and an Application to Neuroscience Magnus Bakke Botnan NTNU November 28, 2014 Part 1: Basics The Study of Sublevel Sets A pair (M, f ) where M is a topological space and
More informationLearning from persistence diagrams
Learning from persistence diagrams Ulrich Bauer TUM July 7, 2015 ACAT final meeting IST Austria Joint work with: Jan Reininghaus, Stefan Huber, Roland Kwitt 1 / 28 ? 2 / 28 ? 2 / 28 3 / 28 3 / 28 3 / 28
More informationConstructions of Derived Equivalences of Finite Posets
Constructions of Derived Equivalences of Finite Posets Sefi Ladkani Einstein Institute of Mathematics The Hebrew University of Jerusalem http://www.ma.huji.ac.il/~sefil/ 1 Notions X Poset (finite partially
More informationTopological Simplification in 3-Dimensions
Topological Simplification in 3-Dimensions David Letscher Saint Louis University Computational & Algorithmic Topology Sydney Letscher (SLU) Topological Simplification CATS 2017 1 / 33 Motivation Original
More informationEuler Characteristics of Categories and Homotopy Colimits
Euler Characteristics of Categories and Homotopy Colimits Thomas M. Fiore joint work with Wolfgang Lück and Roman Sauer http://www-personal.umd.umich.edu/~tmfiore/ Outline 1 2 3 4 5 6 I.. The most basic
More informationHomology through Interleaving
Notes by Tamal K. Dey, OSU 91 Homology through Interleaving 32 Concept of interleaving A discrete set P R k is assumed to be a sample of a set X R k, if it lies near to it which we can quantify with the
More informationPersistent Homology. 24 Notes by Tamal K. Dey, OSU
24 Notes by Tamal K. Dey, OSU Persistent Homology Suppose we have a noisy point set (data) sampled from a space, say a curve inr 2 as in Figure 12. Can we get the information that the sampled space had
More informationLECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES
LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain
More informationSome Topics in Computational Topology. Yusu Wang. AMS Short Course 2014
Some Topics in Computational Topology Yusu Wang AMS Short Course 2014 Introduction Much recent developments in computational topology Both in theory and in their applications E.g, the theory of persistence
More informationMath 147, Homework 5 Solutions Due: May 15, 2012
Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is
More informationTopological K-theory
Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More information24 PERSISTENT HOMOLOGY
24 PERSISTENT HOMOLOGY Herbert Edelsbrunner and Dmitriy Morozov INTRODUCTION Persistent homology was introduced in [ELZ00] and quickly developed into the most influential method in computational topology.
More informationPersistence based Clustering
July 9, 2009 TGDA Workshop Persistence based Clustering Primoz Skraba joint work with Frédéric Chazal, Steve Y. Oudot, Leonidas J. Guibas 1-1 Clustering Input samples 2-1 Clustering Input samples Important
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationMetric shape comparison via multidimensional persistent homology
Metric shape comparison via multidimensional persistent homology Patrizio Frosini 1,2 1 Department of Mathematics, University of Bologna, Italy 2 ARCES - Vision Mathematics Group, University of Bologna,
More informationD-manifolds and derived differential geometry
D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
More informationarxiv: v2 [math.at] 10 Nov 2013
SKETCHES OF A PLATYPUS: A SURVEY OF PERSISTENT HOMOLOGY AND ITS ALGEBRAIC FOUNDATIONS MIKAEL VEJDEMO-JOHANSSON arxiv:1212.5398v2 [math.at] 10 Nov 2013 Computer Vision and Active Perception Laboratory KTH
More informationPersistent Homology: Course Plan
Persistent Homology: Course Plan Andrey Blinov 16 October 2017 Abstract This is a list of potential topics for each class of the prospective course, with references to the literature. Each class will have
More informationSome Topics in Computational Topology
Some Topics in Computational Topology Yusu Wang Ohio State University AMS Short Course 2014 Introduction Much recent developments in computational topology Both in theory and in their applications E.g,
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationInterleaving Distance between Merge Trees
Noname manuscript No. (will be inserted by the editor) Interleaving Distance between Merge Trees Dmitriy Morozov Kenes Beketayev Gunther H. Weber the date of receipt and acceptance should be inserted later
More informationMatthew L. Wright. St. Olaf College. June 15, 2017
Matthew L. Wright St. Olaf College June 15, 217 Persistent homology detects topological features of data. For this data, the persistence barcode reveals one significant hole in the point cloud. Problem:
More informationStratified Morse Theory: Past and Present
Stratified Morse Theory: Past and Present David B. Massey In honor of Robert MacPherson on his 60th birthday 1 Introduction In 1974, Mark Goresky and Robert MacPherson began their development of intersection
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationAnalysis of Scalar Fields over Point Cloud Data
Analysis of Scalar Fields over Point Cloud Data Frédéric Chazal Leonidas J. Guibas Steve Y. Oudot Primoz Skraba Abstract Given a real-valued function f defined over some metric space X, is it possible
More information5. Persistence Diagrams
Vin de Silva Pomona College CBMS Lecture Series, Macalester College, June 207 Persistence modules Persistence modules A diagram of vector spaces and linear maps V 0 V... V n is called a persistence module.
More informationPersistent Homology of Data, Groups, Function Spaces, and Landscapes.
Persistent Homology of Data, Groups, Function Spaces, and Landscapes. Shmuel Weinberger Department of Mathematics University of Chicago William Benter Lecture City University of Hong Kong Liu Bie Ju Centre
More informationSheaves, Co-Sheaves, and Verdier Duality
Sheaves, Co-Sheaves, and Verdier Duality Justin M. Curry March 16, 2012 Abstract This note demonstrates that the derived category of cellular sheaves is covariantly equivalent to the derived category of
More informationPersistent homology and nonparametric regression
Cleveland State University March 10, 2009, BIRS: Data Analysis using Computational Topology and Geometric Statistics joint work with Gunnar Carlsson (Stanford), Moo Chung (Wisconsin Madison), Peter Kim
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State Texas A&M University College Station, Texas, USA April 4, 2014 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology?
More informationProximity of Persistence Modules and their Diagrams
Proximity of Persistence Modules and their Diagrams Frédéric Chazal David Cohen-Steiner Marc Glisse Leonidas J. Guibas Steve Y. Oudot November 28, 2008 Abstract Topological persistence has proven to be
More informationTowards homotopical algebraic quantum field theory
Towards Homotopical Algebraic Quantum Field Theory Towards homotopical algebraic quantum field theory Alexander Schenkel Alexander Schenkel School of Mathematical Sciences, University of Nottingham School
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationJOHN FRANCIS. 1. Motivation
POINCARÉ-KOSZUL DUALITY JOHN FRANCIS Abstract. For g a dgla over a field of characteristic zero, the dual of the Hochschild homology of the universal enveloping algebra of g completes to the Hochschild
More informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
More information1. THE CONSTRUCTIBLE DERIVED CATEGORY
1. THE ONSTRUTIBLE DERIVED ATEGORY DONU ARAPURA Given a family of varieties, we want to be able to describe the cohomology in a suitably flexible way. We describe with the basic homological framework.
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationMath 535a Homework 5
Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector
More informationLOGARITHMIC STABLE MAPS TO DELIGNE FALTINGS PAIRS I
LOGARITHMIC TABLE MAP TO DELIGNE FALTING PAIR I QILE CHEN Contents 1. Introduction 1 2. Algebricity of the stack of log maps 4 3. Minimal logarithmic maps to rank one Deligne-Faltings log pairs 16 4. The
More informationPARAMETRIZED HOMOLOGY VIA ZIGZAG PERSISTENCE
PARAMETRIZED HOMOLOGY VIA ZIGZAG PERSISTENCE GUNNAR CARLSSON, VIN DE SILVA, SARA KALIŠNIK VEROVŠEK, DMITRIY MOROZOV Abstract. This paper develops the idea of homology for 1-parameter families of topological
More informationMultivariate Topological Data Analysis
Cleveland State University November 20, 2008, Duke University joint work with Gunnar Carlsson (Stanford), Peter Kim and Zhiming Luo (Guelph), and Moo Chung (Wisconsin Madison) Framework Ideal Truth (Parameter)
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationOn the problem of gauge theories in locally covariant QFT
On the problem of gauge theories in locally covariant QFT Alexander Schenkel Department of Mathematics, Heriot-Watt University, Edinburgh Workshop: Operator and Geometric Analysis on Quantum Theory September
More informationINTRODUCTION TO PART IV: FORMAL GEOMTETRY
INTRODUCTION TO PART IV: FORMAL GEOMTETRY 1. What is formal geometry? By formal geometry we mean the study of the category, whose objects are PreStk laft-def, and whose morphisms are nil-isomorphisms of
More informationApplications of Sheaf Cohomology and Exact Sequences on Network Codings
Applications of Sheaf Cohomology and Exact Sequences on Network Codings Robert Ghrist Departments of Mathematics and Electrical & Systems Engineering University of Pennsylvania Philadelphia, PA, USA Email:
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Some constructions using universal properties, old and new 1 2. Adjoint functors 3 3. Sheaves 6 Last day: What is algebraic geometry? Crash
More informationMath 205C - Topology Midterm
Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,
More informationDefn 3.1: An n-manifold, M, is a topological space with the following properties:
Chapter 1 all sections 1.3 Defn: M is locally Euclidean of dimension n if for all p M, there exists an open set U p such that p U p and there exists a homeomorphism f p : U p V p where V p R n. (U p, f)
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationVector Bundles and Projective Modules. Mariano Echeverria
Serre-Swan Correspondence Serre-Swan Correspondence If X is a compact Hausdorff space the category of complex vector bundles over X is equivalent to the category of finitely generated projective C(X )-modules.
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 RAVI VAKIL CONTENTS 1. Proper morphisms 1 Last day: separatedness, definition of variety. Today: proper morphisms. I said a little more about separatedness of
More informationSheaves. S. Encinas. January 22, 2005 U V. F(U) F(V ) s s V. = s j Ui Uj there exists a unique section s F(U) such that s Ui = s i.
Sheaves. S. Encinas January 22, 2005 Definition 1. Let X be a topological space. A presheaf over X is a functor F : Op(X) op Sets, such that F( ) = { }. Where Sets is the category of sets, { } denotes
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State TIFR Mumbai, India 20 February, 2013 THE RIEMANN-ROCH THEOREM Topics in this talk : 1. Classical Riemann-Roch 2. Hirzebruch-Riemann-Roch (HRR) 3. Grothendieck-Riemann-Roch
More informationTHE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*
THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationScalar Field Analysis over Point Cloud Data
DOI 10.1007/s00454-011-9360-x Scalar Field Analysis over Point Cloud Data Frédéric Chazal Leonidas J. Guibas Steve Y. Oudot Primoz Skraba Received: 19 July 2010 / Revised: 13 April 2011 / Accepted: 18
More informationStratification Learning through Homology Inference
Stratification Learning through Homology Inference Paul Bendich Sayan Mukherjee Institute of Science and Technology Austria Department of Statistical Science Klosterneuburg, Austria Duke University, Durham
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 3
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 3 RAVI VAKIL CONTENTS 1. Kernels, cokernels, and exact sequences: A brief introduction to abelian categories 1 2. Sheaves 7 3. Motivating example: The sheaf of differentiable
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationLocally Free Sheaves
Locally Free Sheaves Patrick Morandi Algebra Seminar, Spring 2002 In these talks we will discuss several important examples of locally free sheaves and see the connection between locally free sheaves and
More informationVertex Algebras Associated to Toroidal Algebras
Vertex Algebras Associated to Toroidal Algebras Jackson Walters June 26, 2017 Outline Factorization algebras Outline Factorization algebras Vertex Algebras Associated to Factorization Algebras Outline
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationDifferential geometry for physicists - Lecture 2
Differential geometry for physicists - Lecture 2 Manuel Hohmann 17. February 2015 4 Fiber bundles In the last lecture we have introduced the direct product of manifolds. We now discuss an important concept,
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY WILLIAM FULTON NOTES BY DAVE ANDERSON In this appendix, we collect some basic facts from algebraic topology pertaining to the
More informationTOPICS IN ALGEBRA COURSE NOTES AUTUMN Contents. Preface Notations and Conventions
TOPICS IN ALGEBRA COURSE NOTES AUTUMN 2003 ROBERT E. KOTTWITZ WRITTEN UP BY BRIAN D. SMITHLING Preface Notations and Conventions Contents ii ii 1. Grothendieck Topologies and Sheaves 1 1.1. A Motivating
More informationAtiyah-Singer Revisited
Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator
More informationMath 225C: Algebraic Topology
Math 225C: Algebraic Topology Michael Andrews UCLA Mathematics Department June 16, 2018 Contents 1 Fundamental concepts 2 2 The functor π 1 : Ho(Top ) Grp 3 3 Basic covering space theory and π 1 (S 1,
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More informationFormal Homotopy Quantum Field Theories and 2-groups.
Formal Homotopy Quantum Field Theories and 2-groups. ex-university of Wales, Bangor; ex-univertiy of Ottawa; ex-nui Galway, still PPS Paris, then...? All have helped! June 21, 2008 1 Crossed Modules, etc
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationMini-Course on Moduli Spaces
Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationOn the homotopy invariance of string topology
On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative
More informationA multiplicative deformation of the Möbius function for the poset of partitions of a multiset
Contemporary Mathematics A multiplicative deformation of the Möbius function for the poset of partitions of a multiset Patricia Hersh and Robert Kleinberg Abstract. The Möbius function of a partially ordered
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationNotes on Spivak, Differential Geometry, vol 1.
Notes on Spivak, Differential Geometry, vol 1. Chapter 1. Chapter 1 deals with topological manifolds. There is some discussion about more subtle topological aspects (pp. 2 7) which we can gloss over. A
More information