Morse-Forman-Conley theory for combinatorial multivector fields
|
|
- Osborne Chandler
- 6 years ago
- Views:
Transcription
1 1 Discrete, Computational and lgebraic Topology Copenhagen, 12th November 2014 Morse-Forman-Conley theory for combinatorial multivector fields (research in progress) P Q L M N O G H I J K C D E F Marian Mrozek Jagiellonian University, Kraków, Poland
2 Goals 2 C E D 1) ring Forman s combinatorial vector fields into the framework of classical topological dynamics.
3 Goals 3 2) Extend the theory to combinatorial multivector fields.
4 Goals 4 C E D 3) Construct bridges between the combinatorial dynamics on the family of cells of CW complexes and continuous dynamics on the topological space of the complex.
5 Outline 5 Topology of finite sets and Lefschetz complexes Combinatorial multivector fields and the associated dynamics Isolated invariant sets and the Conley index Morse decompositions Relation to classical dynamics (joint with T. Kaczynski and Th. Wanner)
6 Topology of finite sets. 6 Theorem. (P.S. lexandroff, 1937) There is a one-to-one correspondence between T 0 topologies and partial orders on a finite set X. cl := { x X y x y } x y : x cl{y} The order complex of a finite poset (X, ) is the abstract simplicial complex consisting of linearly ordered subsets of X. Theorem. (M.C. McCord, 1966) Each finite topological space X is weakly homotopy equivalent to its order complex. Theorem. (J.. armak, 2011) Each h-regular CW complex K is weakly homotopy equivalent to the order complex of the collection of its cells.
7 Lefschetz complexes 7 X = (X q ) q Z - a finite set with gradation κ : X X R s.t. κ(s, t) 0 implies s X q, t X q 1 κ : R(X) R(X) given by κ (s) := t X κ(s, t)t Lefschetz complex - a pair (X, κ) s.t. (R(X), κ ) is a free chain complex. H κ (X) - homology of (R(X), κ ) t κ s : κ(s, t) 0 induces κ - the Lefschetz partial order T 0 Lefschetz topology on X - given by κ
8 Homology of Lefschetz complexes 8 H κ (X) = H(X) need not be true. It is true if X is the collection of cells of a CW complex.
9 Homology of Lefschetz complexes 9 E F G H C D H κ (X) = H(X) need not be true. It is true if X is the collection of cells of a CW complex.
10 Homology of Lefschetz complexes 10 H κ (X) = H(X) need not be true. It is true if X is the collection of cells of a CW complex.
11 Homology of Lefschetz complexes 11 H κ (X) = H(X) need not be true. It is true if X is the collection of cells of a CW complex.
12 κ-subcomplexes 12 X is a κ-subcomplex of X if (, κ ) is a Lefschetz complex. mo := cl \ - mouth of is proper if mo is closed. Proposition. Every proper subset of X is a κ-subcomplex. In particular open and closed sets (in the Lefschetz topology) are κ-subcomplexes.
13 κ-subcomplexes 13 X is a κ-subcomplex of X if (, κ ) is a Lefschetz complex. mo := cl \ - mouth of is proper if mo is closed. Proposition. Every proper subset of X is a κ-subcomplex. In particular open and closed sets (in the Lefschetz topology) are subcomplexes. proper X is a zero space if H κ () = 0.
14 Combinatorial multivector fields 14 multivector is a proper V X with a unique maximal element. multivector field is a partition V of X into multivectors. V is regular if V is a zero space. Otherwise it is critical.
15 Combinatorial multivector fields 15 E F G H C D multivector is a proper V X with a unique maximal element. multivector field is a partition V of X into multivectors. V is regular if V is a zero space. Otherwise it is critical.
16 Forman s paths 16 Forman s path: a sequence of V-arrows x = (x i, x+ i )n i=1 such that x+ i x i+1 path is closed if x + n = x 1
17 Forman s paths 17 Forman s path: + n + a sequence of V-arrows x = (x i, xi )i=1 such that xi xi+1 path is closed if x+ n = x1
18 Forman s paths 18 Forman s path: + n + a sequence of V-arrows x = (x i, xi )i=1 such that xi xi+1 path is closed if x+ n = x1
19 Combinatorial multivalued map 19 E F G H C D x + := max[x] { V [x] V x V := [x] V \ {x + } if [x] V is regular, otherwise. Definition. The multivalued map Π V : X X given by { {x + } if x < x +, Π V (x) = cl x \ x V otherwise. is the combinatorial multivalued map associated with V.
20 Solutions and paths 20 P Q L M N O G H I J K C D E F partial map γ : Z X is a solution of V if γ(i + 1) Π V (γ(i)) for i, i + 1 dom γ.
21 Solutions and paths 21 P Q L M N O G H I J K C D E F partial map γ : Z X is a solution of V if γ(i + 1) Π V (γ(i)) for i, i + 1 dom γ.
22 Solutions and paths 22 P Q L M N O G H I J K C D E F partial map γ : Z X is a solution of V if γ(i + 1) Π V (γ(i)) for i, i + 1 dom γ.
23 Invariant sets and V-compatibility 23 C Inv := { x ϱ : Z a solution s.t. ϱ(0) = x. } Let S X. Definition. S is V-invariant if Inv S = S. Definition. X is V-compatible iff x [x] V
24 Isolated invariant sets 24 P Q L M N O G H I J K C D E F Definition. S is an isolated invariant set of V if it is invariant, V-compatible and mo S is closed.
25 Isolated invariant sets 25 P Q L M N O G H I J K C D E F Definition. S is an isolated invariant set of V if it is invariant, V-compatible and mo S is closed.
26 Index pairs 26 P Q L M N O G H I J K C D E F Definition. pair P = (P 1, P 2 ) of closed subsets of X is an index pair for S iff (i) x P 2, y P 1 Π V (x) y P 2, (ii) x P 1, Π V (x) \ P 1 x P 2, (iii) S = Inv(P 1 \ P 2 ).
27 Conley index 27 P Q L M N O G H I J K C D E F Theorem. For every S an isolated invariant set (cl S, mo S) is an index pair for S. If P and Q are index pairs for S, then H κ (P 1 \ P 2 ) and H κ (Q 1 \ Q 2 ) are isomorphic.
28 Conley index 28 Definition. for any index pair P of S. The Conley index of S is the homology H κ (P 1 \ P 2 ) = H κ (P 1, P 2 ) The Conley polynomial of S is p S (t) := where β i (S) := rank H i (P 1, P 2 ). β i (S)t i, i=0
29 ttractors 29 P Q L M N O G H I J K C D E F Let S X be isolated invariant. N S is a trapping region if for every solution γ : Z + S condition γ(0) N implies im γ N. is an attractor in S if iff there is a trapping region N such that = Inv N.
30 ttractors 30 P Q L M N O G H I J K C D E F Let S X be isolated invariant. N S is a trapping region if for every solution γ : Z + S condition γ(0) N implies im γ N. is an attractor in S if iff there is a trapping region N such that = Inv N.
31 ttractors 31 P Q L M N O G H I J K C D E F Theorem. The following conditions are equivalent: (i) is an attractor, (ii) is invariant and closed in S, (iii) is isolated invariant and closed in S.
32 Repellers 32 P Q L M N O G H I J K C D E F N S is a backward trapping region if N is V-compatible and for every solution γ : Z S condition γ(0) N implies im γ N. R is an repeller in S if iff there is a backward trapping region N such that R = Inv N.
33 Repellers 33 P Q L M N O G H I J K C D E F Theorem. The following conditions are equivalent: (i) R is a repeller, (ii) R is isolated invariant and open in S.
34 Hyperbolic fixed point 34 P Q L M N O G H I J K C D E F
35 α and ω limit sets 35 P Q L M N O G H I J K C D E F ϱ : Z S - a full solution. The α and ω limit sets of ϱ are α(ϱ) := Inv im ϱ Z, ω(ϱ) := Inv im ϱ Z +.
36 Morse decompositions 36 P Q L M N O G H I J K C D E F Definition. The collection M = { M p p P } is a Morse decomposition of S if M is a family of mutually disjoint invariant subsets of S and for every solution ϱ such that ϱ(0) S \ p P M p there exists p, p P such that p < p, α(ϱ) S 1, ω(ϱ) S 2.
37 Morse-Conley graph 37 P Q L M N O G H I J K C D E F Σ 1 Σ 2 Σ 2 Σ 2 Σ 1 Σ 1 Σ 0 Σ 0 Σ 1
38 Morse inequalities 38 Theorem. Given a Morse decomposition M = { M ι ι P } of an isolated invariant set S we have p Mι (t) = p S (t) + (1 + t)q(t) ι P for some non-negative polynomial q. Σ 1 Σ 2 Σ 0 Σ 1 Σ 2 Σ 0 Σ 1 Σ 1 Σ 2 p 1 (t) = 1 p 2 (t) = 1 + t p 3 (t) = t p 4 (t) = t p 5 (t) = t + t 2 p 6 (t) = t 2 p 7 (t) = t 2 p Mι (t) = 2 + 4t + 3t 2 = 1 + (1 + t)(1 + 3t) = p S (t) + (1 + t)q(t) ι P
39 Concise Morse decomposition 39 P Q L M N O G H I J K C D E F In the setting of CW complexes: the cells not in a Morse set may be quotiented out.
40 Relation to classical theory 40 X - the collection of cells of a CW complex X = X. Conjecture. Given a Morse decomposition M = { M p p P } of X, there exists a flow ϕ on X and a Morse decomposition M = { M p p P } of ϕ such that for any interval I in P the Conley indexes of M(I) and M(I) coincide. Theorem. (T. Kaczynski, MM, Th. Wanner) ssume X is the collection of cells of a simplicial complex X = X. Given a Morse decomposition M = { Mp p P } of X, there exists an usc, acyclic valued, homotopic to identity, multivalued map F : X X and a Morse decomposition M = { M p p P } of the induced multivalued dynamical system such that for any interval I in P the Conley indexes of M(I) and M(I) coincide.
41 Conclusion and future work 41 Morse-Conley theory for combinatorial multivector fields may be constructed. It resembles in many, but not all aspects the classical theory. It provides a very concise description of dynamics. isolating neighborhoods? properties of the Conley index connection matrix theory concise approximation of classical dynamics time-discrete dynamical systems
Computational Homology in Topological Dynamics
1 Computational Homology in Topological Dynamics ACAT School, Bologna, Italy MAY 26, 2012 Marian Mrozek Jagiellonian University, Kraków Outline 2 Dynamical systems Rigorous numerics of dynamical systems
More informationThe Conley Index and Rigorous Numerics of Attracting Periodic Orbits
The Conley Index and Rigorous Numerics of Attracting Periodic Orbits Marian Mrozek Pawe l Pilarczyk Conference on Variational and Topological Methods in the Study of Nonlinear Phenomena (Pisa, 2000) 1
More informationComputational homology in dynamical systems
1 Computational homology in dynamical systems Marian Mrozek Jagiellonian University, Kraków National University of Ireland, Galway 29 June - 10 July 2009 Outline 2 Dynamical systems Rigorous numerics of
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationDiscrete Morse functions on infinite complexes
Discrete Morse functions on infinite complexes Neža Mramor Kosta joint work with Rafael Ayala, Gregor Jerše, José Antonio Vilches University of Ljubljana, Slovenia Discrete, Computational and Algebraic
More informationPerfect discrete Morse functions
Perfect discrete Morse functions Neža Mramor Kosta joint work with Hanife Vari, Mehmetcik Pamuk University of Ljubljana, Slovenia Middle Eastern Technical University, Ankara, Turkey GETCO 2015, Aalborg
More informationThe Cubical Cohomology Ring: An Algorithmic Approach
The Cubical Cohomology Ring: An Algorithmic Approach Tomasz Kaczynski Université de Sherbrooke and Marian Mrozek Jagiellonian University in Kraków and WSB-NLU in Nowy S acz September 27, 2012 Abstract
More informationDISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY
DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY Abstract. We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack
More informationTOWARDS AUTOMATED CHAOS VERIFICATION
TOWARDS AUTOMATED CHAOS VERIFICATION SARAH DAY CDSNS, Georgia Institute of Technology, Atlanta, GA 30332 OLIVER JUNGE Institute for Mathematics, University of Paderborn, 33100 Paderborn, Germany KONSTANTIN
More informationThe Topology of Intersections of Coloring Complexes
The Topology of Intersections of Coloring Complexes Jakob Jonsson October 19, 2005 Abstract In a construction due to Steingrímsson, a simplicial complex is associated to each simple graph; the complex
More informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
More informationTopological Dynamics: Rigorous Numerics via Cubical Homology
1 Topological Dynamics: Rigorous Numerics via Cubical Homology AMS Short Course on Computational Topology New Orleans, January 4, 2010 Marian Mrozek Jagiellonian University, Kraków, Poland Outline 2 I.
More informationAn introduction to discrete Morse theory
An introduction to discrete Morse theory Henry Adams December 11, 2013 Abstract This talk will be an introduction to discrete Morse theory. Whereas standard Morse theory studies smooth functions on a differentiable
More information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
More informationNeural Codes and Neural Rings: Topology and Algebraic Geometry
Neural Codes and Neural Rings: Topology and Algebraic Geometry Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: Curto, Carina; Itskov, Vladimir; Veliz-Cuba, Alan; Youngs, Nora,
More informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
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 informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More informationAN ALGORITHM FOR THE FUNDAMENTAL GROUP OF REGULAR CW COMPLEXES.
AN ALGORITHM FOR THE FUNDAMENTAL GROUP OF REGULAR CW COMPLEXES. PIOTR BRENDEL, GRAHAM ELLIS, MATEUSZ JUDA, AND MARIAN MROZEK Abstract. We describe an algorithm for computing a presentation of the fundamental
More informationThe method of topological sections in the rigorous numerics of dynamical systems
1 Marian Mrozek Jagiellonian University, Kraków The method of topological sections in the rigorous numerics of dynamical systems Fourth International Workshop on Taylor Methods Boca Raton, December 17th,
More informationEquivalence of Graded Module Braids and Interlocking Sequences
J Math Kyoto Univ (JMKYAZ) (), Equivalence of Graded Module Braids and Interlocking Sequences By Zin ARAI Abstract The category of totally ordered graded module braids and that of the exact interlocking
More informationRewriting Systems and Discrete Morse Theory
Rewriting Systems and Discrete Morse Theory Ken Brown Cornell University March 2, 2013 Outline Review of Discrete Morse Theory Rewriting Systems and Normal Forms Collapsing the Classifying Space Outline
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationarxiv: v1 [math.gr] 23 May 2018
A STRONGER REFORMULATION OF WEBB S CONJECTURE IN TERMS OF FINITE TOPOLOGICAL SPACES arxiv:1805.09374v1 [math.gr] 23 May 2018 KEVIN IVÁN PITERMAN Abstract. We investigate a stronger formulation of Webb
More informationThe Conley index over a phase space for flows
The Conley index over a phase space for flows Jacek Szybowski Faculty of Applied Mathematics, AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Kraków, Poland Abstract We construct the
More informationLattice Structures for Attractors II
Lattice Structures for Attractors II WILLIAM D. KALIES Florida Atlantic University 777 Glades Road Boca Raton, FL 33431, USA KONSTANTIN MISCHAIKOW Rutgers University 110 Frelinghusen Road Piscataway, NJ
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationCubical Cohomology Ring: Algorithmic Approach
Cubical Cohomology Ring: Algorithmic Approach Tomasz Kaczynski Université de Sherbrooke and Marian Mrozek Jagiellonian University in Kraków and WSB-NLU in Nowy S acz October 16, 2011 Abstract A cohomology
More informationAn Algorithmic Approach to Chain Recurrence
An Algorithmic Approach to Chain Recurrence W.D. Kalies, K. Mischaikow, and R.C.A.M. VanderVorst October 10, 2005 ABSTRACT. In this paper we give a new definition of the chain recurrent set of a continuous
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationCOMPUTATION OF CONNECTION MATRICES USING THE SOFTWARE PACKAGE conley
COMPUTATION OF CONNECTION MATRICES USING THE SOFTWARE PACKAGE conley MOHAMED BARAKAT AND STANISLAUS MAIER-PAAPE Abstract. In this paper we demonstrate the power of the computer algebra package conley,
More informationAutomorphisms of RAAGs and Partially symmetric automorphisms of free groups. Karen Vogtmann joint work with R. Charney November 30, 2007
Automorphisms of RAAGs and Partially symmetric automorphisms of free groups Karen Vogtmann joint work with R. Charney November 30, 2007 Right-angled Artin groups! = simplicial graph The right-angled Artin
More informationBRAIDED CONNECTING ORBITS IN PARABOLIC EQUATIONS VIA COMPUTATIONAL HOMOLOGY
BRAIDED CONNECTING ORBITS IN PARABOLIC EQUATIONS VIA COMPUTATIONAL HOMOLOGY JAN BOUWE VAN DEN BERG, SARAH DAY, AND ROBERT C. VANDERVORST Abstract. We develop and present a computational method for producing
More informationHomework 3 MTH 869 Algebraic Topology
Homework 3 MTH 869 Algebraic Topology Joshua Ruiter February 12, 2018 Proposition 0.1 (Exercise 1.1.10). Let (X, x 0 ) and (Y, y 0 ) be pointed, path-connected spaces. Let f : I X y 0 } and g : I x 0 }
More informationNonlinear Dynamical Systems Eighth Class
Nonlinear Dynamical Systems Eighth Class Alexandre Nolasco de Carvalho September 19, 2017 Now we exhibit a Morse decomposition for a dynamically gradient semigroup and use it to prove that a dynamically
More informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationOn the Topology of Simplicial Complexes Related to 3-connected and Hamiltonian Graphs
On the Topology of Simplicial Complexes Related to 3-connected and Hamiltonian Graphs Jakob Jonsson 1 Philipps-Universität Marburg, Fachbereich Mathematik und Informatik, Hans Meerwein Strasse, Lahnberge,
More informationREFINMENTS OF HOMOLOGY. Homological spectral package.
REFINMENTS OF HOMOLOGY (homological spectral package). Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH In analogy with linear algebra over C we propose REFINEMENTS of the simplest
More informationThe poset of proper divisibility
6th Combinatorics Day Almada - July 14, 2016 The poset of proper divisibility Antonio Macchia joint work with Davide Bolognini, Emanuele Ventura, Volkmar Welker Classical divisibility and direct product
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 informationFIXED POINT SETS AND LEFSCHETZ MODULES. John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State University
AMS Sectional Meeting Middle Tennessee State University, Murfreesboro, TN 3-4 November 2007 FIXED POINT SETS AND LEFSCHETZ MODULES John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationALGEBRAIC PROPERTIES OF BIER SPHERES
LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as
More informationHomology index braids in infinite-dimensional Conley index theory
CADERNOS DE MATEMÁTICA 05, 289 327 October (2004) ARTIGO NÚMERO SMA#208 Homology index braids in infinite-dimensional Conley index theory Maria C. Carbinatto * Departamento de Matemática, Instituto de
More informationMultivalued Maps As a Tool in Modeling and Rigorous Numerics
Multivalued Maps As a Tool in Modeling and Rigorous Numerics Tomasz Kaczynski Dedicated to Felix Browder on his 80th birthday Abstract. Applications of the fixed point theory of multivalued maps can be
More informationPROPAGATION OF RESONANCE. Alex Suciu. Northeastern University. Joint work with Graham Denham and Sergey Yuzvinsky
COMBINATORIAL COVERS, ABELIAN DUALITY, AND PROPAGATION OF RESONANCE Alex Suciu Northeastern University Joint work with Graham Denham and Sergey Yuzvinsky Algebra, Topology and Combinatorics Seminar University
More informationThe rational cohomology of real quasi-toric manifolds
The rational cohomology of real quasi-toric manifolds Alex Suciu Northeastern University Joint work with Alvise Trevisan (VU Amsterdam) Toric Methods in Homotopy Theory Queen s University Belfast July
More informationCompact n-manifolds via (n + 1)-colored graphs: a new approach
Compact n-manifolds via (n + 1)-colored graphs: a new approach arxiv:1811.08147v1 [math.gt] 20 Nov 2018 Luigi GRASSELLI * and Michele MULAZZANI ** * Dipartimento di Scienze e Metodi dell Ingegneria, Università
More informationGrzegorz Jabłoński. Uniwersytet Jagielloński. The persistent homology of a self-map. Praca semestralna nr 3 (semestr zimowy 2010/11)
Grzegorz Jabłoński Uniwersytet Jagielloński The persistent homology of a self-map Praca semestralna nr 3 (semestr zimowy 2010/11) Opiekun pracy: prof. dr hab. Marian Mrozek The Persistent Homology of a
More informationThe Cheeger-Müller theorem and generalizations
Presentation Universidade Federal de São Carlos - UFSCar February 21, 2013 This work was partially supported by Grant FAPESP 2008/57607-6. FSU Topology Week Presentation 1 Reidemeister Torsion 2 3 4 Generalizations
More informationCompactifying string topology
Compactifying string topology Kate Poirier UC Berkeley Algebraic Topology: Applications and New Developments Stanford University, July 24, 2012 What is the algebraic topology of a manifold? What can we
More informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationGraphs Representations and the Topology of Real and Angle valued maps (an alternative approach to Morse-Novikiov theory)
Graphs Representations and the Topology of Real and Angle valued maps (an alternative approach to Morse-Novikiov theory) Dan Burghelea Department of mathematics Ohio State University, Columbus, OH Tianjin,
More information(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions
(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions Ryan Kaliszewski Drexel University rlk72@drexel.edu July 17, 2014 Ryan Kaliszewski (Drexel University) Hook Coefficients July
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationMATH 215B HOMEWORK 5 SOLUTIONS
MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,
More informationThe Existence of Chaos in the Lorenz System
The Existence of Chaos in the Lorenz System Sheldon E. Newhouse Mathematics Department Michigan State University E. Lansing, MI 48864 joint with M. Berz, K. Makino, A. Wittig Physics, MSU Y. Zou, Math,
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationarxiv:math/ v1 [math.co] 11 May 1997
COMPLEXES OF NOT i-connected GRAPHS arxiv:math/9705219v1 [math.co] 11 May 1997 ERIC BABSON, ANDERS BJÖRNER, SVANTE LINUSSON, JOHN SHARESHIAN, AND VOLKMAR WELKER Abstract. Complexes of (not) connected graphs,
More informationCatalan functions and k-schur positivity
Catalan functions and k-schur positivity Jonah Blasiak Drexel University joint work with Jennifer Morse, Anna Pun, and Dan Summers November 2018 Theorem (Haiman) Macdonald positivity conjecture The modified
More informationThe homology of the cycle matroid of a coned graph
European Journal of Combinatorics 28 (2007) 734 741 www.elsevier.com/locate/ejc The homology of the cycle matroid of a coned graph Woong Kook Department of Mathematics, University of Rhode Island, Kingston,
More informationA quasisymmetric function generalization of the chromatic symmetric function
A quasisymmetric function generalization of the chromatic symmetric function Brandon Humpert University of Kansas Lawrence, KS bhumpert@math.ku.edu Submitted: May 5, 2010; Accepted: Feb 3, 2011; Published:
More informationEXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
More informationDiscrete Morse theory and graph braid groups
ISSN 1472-2739 on-line) 1472-2747 printed) 1075 Algebraic & Geometric Topology Volume 5 2005) 1075 1109 Published: 31 August 2005 ATG Discrete Morse theory and graph braid groups Daniel Farley Lucas Sabalka
More informationA duality on simplicial complexes
A duality on simplicial complexes Michael Barr 18.03.2002 Dedicated to Hvedri Inassaridze on the occasion of his 70th birthday Abstract We describe a duality theory for finite simplicial complexes that
More informationOn the topology of the permutation pattern poset
On the topology of the permutation pattern poset Peter R. W. McNamara a,1, Einar Steingrímsson b,2 a Department of Mathematics, Bucknell University, Lewisburg, PA 17837, USA b Department of Computer and
More informationFORMALITY OF THE COMPLEMENTS OF SUBSPACE ARRANGEMENTS WITH GEOMETRIC LATTICES
FORMALITY OF THE COMPLEMENTS OF SUBSPACE ARRANGEMENTS WITH GEOMETRIC LATTICES EVA MARIA FEICHTNER AND SERGEY YUZVINSKY Abstract. We show that, for an arrangement of subspaces in a complex vector space
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationEssential hyperbolicity versus homoclinic bifurcations. Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals
Essential hyperbolicity versus homoclinic bifurcations Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals Generic dynamics Consider: M: compact boundaryless manifold,
More informationThe van der Waerden complex
The van der Waerden complex Richard EHRENBORG, Likith GOVINDAIAH, Peter S. PARK and Margaret READDY Abstract We introduce the van der Waerden complex vdw(n, k) defined as the simplicial complex whose facets
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More information3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.
Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least
More informationCombinatorial Models for M (Lecture 10)
Combinatorial Models for M (Lecture 10) September 24, 2014 Let f : X Y be a map of finite nonsingular simplicial sets. In the previous lecture, we showed that the induced map f : X Y is a fibration if
More informationA (computer friendly) alternative to Morse Novikov theory for real and angle valued maps
A (computer friendly) alternative to Morse Novikov theory for real and angle valued maps Dan Burghelea Department of mathematics Ohio State University, Columbus, OH based on joint work with Stefan Haller
More informationTHE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER
THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER arxiv:1409.2041v2 [math.ac] 11 Sep 2014 Abstract. We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationDYNAMICS AND CHAOS FOR MAPS AND THE CONLEY INDEX. Sarah Day 1
DYNAMICS AND CHAOS FOR MAPS AND THE CONLEY INDEX Sarah Day 1 Discrete-time dynamical systems modeled by iteration of continuous maps exhibit a wide variety of interesting behaviors. One illustrative example
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationarxiv: v2 [math.ac] 17 Apr 2013
ALGEBRAIC PROPERTIES OF CLASSES OF PATH IDEALS MARTINA KUBITZKE AND ANDA OLTEANU arxiv:1303.4234v2 [math.ac] 17 Apr 2013 Abstract. We consider path ideals associated to special classes of posets such as
More informationOn the Homological Dimension of Lattices
On the Homological Dimension of Lattices Roy Meshulam August, 008 Abstract Let L be a finite lattice and let L = L {ˆ0, ˆ1}. It is shown that if the order complex L satisfies H k L 0 then L k. Equality
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 informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationComputational Homology in Topological Dynamics
1 Computational Homology in Topological Dynamics ACAT School, Bologna, Italy May 26, 2012 Marian Mrozek Jagiellonian University, Kraków Weather forecasts for Galway, Ireland from Weather Underground 2
More information8.8. Codimension one isoperimetric inequalities Distortion of a subgroup in a group 283
Contents Preface xiii Chapter 1. Geometry and topology 1 1.1. Set-theoretic preliminaries 1 1.1.1. General notation 1 1.1.2. Growth rates of functions 2 1.1.3. Jensen s inequality 3 1.2. Measure and integral
More informationFrom RNA-seq Time Series Data to Models of Regulatory Networks
From RNA-seq Time Series Data to Models of Regulatory Networks Konstantin Mischaikow Dept. of Mathematics, Rutgers mischaik@math.rutgers.edu Brown, Dec 2017 A Model Problem Malaria Estimated number of
More informationKathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationSimplicial Homology. Simplicial Homology. Sara Kališnik. January 10, Sara Kališnik January 10, / 34
Sara Kališnik January 10, 2018 Sara Kališnik January 10, 2018 1 / 34 Homology Homology groups provide a mathematical language for the holes in a topological space. Perhaps surprisingly, they capture holes
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationEpsilon Nielsen coincidence theory
Cent. Eur. J. Math. 12(9) 2014 1337-1348 DOI: 10.2478/s11533-014-0412-3 Central European Journal of Mathematics Epsilon Nielsen coincidence theory Research Article Marcio Colombo Fenille 1 1 Faculdade
More informationFormulas for the Reidemeister, Lefschetz and Nielsen Coincidenc. Infra-nilmanifolds
Formulas for the Reidemeister, Lefschetz and Nielsen Coincidence Number of Maps between Infra-nilmanifolds Jong Bum Lee 1 (joint work with Ku Yong Ha and Pieter Penninckx) 1 Sogang University, Seoul, KOREA
More informationMinimal free resolutions that are not supported by a CW-complex.
Minimal free resolutions that are not supported by a CW-complex. Mauricio Velasco Department of Mathematics, Cornell University, Ithaca, NY 4853, US Introduction The study of monomial resolutions and their
More informationKey words. database, dynamical system, Conley index, Morse decomposition, Leslie population models, combinatorial dynamics, multiparameter system
DATABASES FOR THE GLOBAL DYNAMICS OF MULTIPARAMETER SYSTEMS ZIN ARAI, WILLIAM KALIES, HIROSHI KOKUBU, KONSTANTIN MISCHAIKOW, HIROE OKA, AND PAWE L PILARCZYK Abstract. A generally applicable, automatic
More informationProbability Measures in Gödel Logic
Probability Measures in Gödel Logic Diego Valota Department of Computer Science University of Milan valota@di.unimi.it Joint work with Stefano Aguzzoli (UNIMI), Brunella Gerla and Matteo Bianchi (UNINSUBRIA)
More informationSOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds
SOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds DAMIEN BOULOC Abstract. This paper contains some more results on the topology of a nondegenerate action of R n on a compact connected
More information