Barcodes for closed one form; Alternative to Novikov theory
|
|
- Imogene Martin
- 6 years ago
- Views:
Transcription
1 Barcodes for closed one form; Alternative to Novikov theory Dan Burghelea 1 Department of mathematics Ohio State University, Columbus, OH Tel Aviv April 2018
2 Classical MN-theory Input: Output M n smooth manifold, (X, ω) X smooth vector field which is Morse Smale ω closed one form Lyapunov for X κ a field. A field κ(ω), the Novikov field A chain complex (C, ) of κ(ω) vector spaces generated by the rest points and the visible trajectories of X
3 One of the main results of MN-theory claims that - The homology H r (C, ) calculates the r th Novikov homology, - The complex depends only on ω and is determined up to a non canonical isomorphism by two of the three collections of numbers: β N r := dim H r (C, r ), ρ N r = rank( r ), c N r := dim C r. The chain complex (C, ) 1 provides the exact number of rest points of Morse index r 2 give a good information about the instantons between rest points, 3 establishes the existence of closed trajectories. (when combined with standard Betti numbers) Computer friendly means computable by computer implementable algorithms. κ(ω) and r are not computer friendly
4 In view of potential interest outside mathematics we like: 1 to derive the collection of numbers β r, ρ r, c r as computer friendly invariants and without any reference to the field κ(ω), 2 to extend the result to a larger class of situations, i.e. a compact ANR X (e.g. finite simplicial complex) instead of manifold M n, TC1- form ω on X instead of a smooth closed one form ω on M n. Done in [1] and implicitly in [3] in case the TC1-form ω is exact and in case ω represents an integral cohomology class. ("TC1-form" abbreviation for "topological closed one form")
5 TC1-form, first definition Let X be a topological space Note the change in notation Definition A multi-valued map is a systems {U α, f α : U α R, α A} s.t. 1 U α are open sets with X = U α, 2 f α are continuous maps s.t f α f β : U α U β R is locally constant Two multi-valued maps are equivalent if together remain a multi-valued map. A TC1-form is an equivalence class of multi-valued maps A TC1-form ω determines a cohomology class ξ(ω) H 1 (X; R). Denote by: Z 1 (X) the set of all TC1-forms Z 1 (X; ξ) := {ω Z 1 (X) ξ(ω) = ξ}.
6 TC1-form, second definition Let ξ H 1 (X; R) = Hom(H 1 (X; Z) R) and Γ = Γ(ξ) := (imgξ) R. (Γ Z k ; k degree of irrationality of ξ) The surjective homorphism ξ : H 1 (X; Z) Γ defines the associated Γ principal cover, π : X X i.e. the free action µ : Γ X X with π the quotient map X X/Γ = X. Consider f : X R, Γ equivariant maps, i.e. f (µ(g, x)) = f (x) + g. Definition A TC1- form of cohomology class ξ is an equivalence class of Γ equivariant maps with f g iff f g is locally constant. One denotes: Z 1 (X; ξ) the set of TC-1 forms in the class ξ Z 1 (X) = ξ H 1 (X;R) Z(X; ξ)
7 The two definitions are equivalent Examples 1 A smooth closed one form on a manifold 2 A simplicial one co-cycle on a simplicial complex
8 Tameness Let f : X R and t R. Denote by R f (t) := dim H ( X t f, X <t) f + dim H ( X f t >t, X f ). X f t = f 1 ((, t]), X f <t = f 1 ((, t)) = t <t Xt, X f t = f 1 >t ([t, )), X = f 1 t ((t, )) = f t >t X ). Definition 1 t regular value if R f (t) = 0 2 t critical value if R f (t) 0 3 CR(f ) := {t R R f (t) 0} O(f ) := CR(f )/Γ
9 Definition The Γ equivariant map f : X R is tame if 1 X is a compact ANR. 2 R f (t) < for any t R, 3 the set O(f ) is a finite set. The TC1-form ω Z 1 (X) is tame if one (and then any) f ω is tame. Denote by Ztame 1 ( ) := {ω Z1 ( ) ω tame} Examples of tame TC1-forms: - closed one form which are locally polynomials on a closed manifold - simplicial one-cocycle on a finite simplicial complex
10 AMN-theory For any tame TC-1 form ω Z(X; ξ), field κ and nonnegative integer r we define two configurations δ ω r : R Z 0 and γ ω r : R + Z 0 and the numbers β ω r, ρ ω r and c ω r, β ω r := t R δ ω r (t), ρ ω r := t R + γ ω r (t) and c ω r = β ω r + ρ ω r + ρ ω r 1, which satisfy the following three theorems.
11 Topological properties Theorem Let ω Ztame 1 (X). One has 1 δ ω r (t) 0 or γ ω r (t) 0 implies that for any f ω, t = c c with c, c CR(f ), 2 β ω r = t R δ ω r (t) = β N r (X; ξ) 3 for any f ω and a o o O(f ), c ω r = δ ω r (t) + γ ω r (t) + γ ω r 1 (t) = t R t R + t R + = dim H r ( X a f o, X <a f o ) o O(f ) Recall X f ao = f 1 ((, a 0 ]), X f <ao = f 1 ((, a 0 )).
12 Note that if X is a smooth closed manifold and ω is a smooth Morse form then the number of critical points (= the rest points of the vector field) of Morse index r is equal to o O(f ) dim H r ( X f a o, X f <a o ). Corollary The Novikov complex of the Morse form ω in Hodge form is given by C r = Cr C r + H r with H r = κ βω r, Cr = C + r 1 = κρω r r = Id
13 Relation to other work [4]and [3] The points in suppδ ω r suppγr ω with their multiplicity correspond bijectively to UZ verbose r bar codes. In case ξ(ω) integral to the BD- closed r barcodes plus BD-open (r 1) barcodes plus closed-open r barcodes cf [2] or [3]. In the case ξ(ω) is trivial the points in suppγ ω with their r multiplicity correspond bijectively to the finite barcodes in classical ELZ-persistence and in the case ξ(ω) is integral to closed-open r barcodes in angle valued persistence.
14 Poincaré Duality properties Theorem Suppose X is a closed topological n dimensional manifold and ω Z 1 tame (M). 1 δ ω r (t) = δ ω n r ( t), 2 γ ω r (t) = γ ω n r 1 (t).
15 The set of TC-1 forms Z 1 (X; ξ) is an R vector space equipped with the distance ω ω := inf { f ω g ω sup f (x) g(x). x X The space of configurations Conf N (Y ) := {δ : Y Z 0 δ(y) = N} is equipped with the obvious collision topology. For K closed subset of Y the space of configurations Conf (Y \ K ) is equipped with the bottleneck topology provided by the pair K Y.
16 Stability properties Theorem 1 the assignment Ztame 1 (X; ξ) ω δω r Conf β N r (X;ξ)(R) is continuous. 2 the assignment Ztame 1 (X; ξ) ω γω Conf ([0, ) \ 0) is r continuous.
17 Definition of δ ω r and γ ω r. Let ω Z 1 tame (X) and f ω, f : X R with f (µ(g, x)) = f (x) + g. First one defines the maps δr f : R 2 Z 0 and γr f : R 2 + Z 0. R 2 + := {(x, y) x < y} Denote: X a = f 1 ((, a]), X<a = f 1 ((, a)) = a <a Xa, X a = f 1 ([a, )), X >a = f 1 ((a, )) = a >a X a.
18 Define 1 I f a(r) := img(h r ( X a ) H r ( X)), I f a(r) H r ( X) I f <a(r) := a <ai f a (r), I f (r) = a I f a(r), 2 I a f (r) := img(h r ( X a ) H r ( X)), I a f (r) H r ( X) I >a f (r) := a >ai a f (r), I + f (r) = a I a f (r), 3 (For a < b T f r (a, b) := ker(h r ( X a ) H r (X b )), T r (a, < b) := b <bt r (a, b ) T r (a, b), 4 For a < a let i : T r (a, b) T r (a, b) the induced map and T r (< a, b) := a <ai(t r (a, b)) T r (a, b).
19 Next define for a, b R ˆδ f r (a, b) := I a (r) I b (r) I <a (r) I b (r) + I a (r) I >b (r), δf r (a, b) := dim ˆδ f r (a, b) for a, b R, a < b ˆγ f r (a, b) := T r (a, b) T r (< a.b) + T r (a, < b), γf r (a, b) := dim ˆγ f r (a, b). and for t R F f r (t) := { a b t, a, b CR(f ) I a (r) I b (r)
20 One can show that: Proposition 1 δ f r (a, b) = δ f r (a + g, b + g) and γ f r (a, b) = γ f r (a + g, b + g) for any g Γ, 2 for a regular value suppδ f r (a R) and suppγ f r (a (a, )) is empty, 3 for a critical value suppδ f r (a R) and suppγ f r (a (a, )) is finite, 4 for b regular value suppδ f r (R b) and suppγ f r ((, b) b) is empty, 5 for b critical value suppδ f r (R b) and suppγ f r ((, b) b) is finite.
21 For ω Ztame 1 (X) define O(ω) := f ω O(f )/, O(f 1 ) o 1 o 2 O(f 2 ), f 2 = f 1 + s, iff θ(s) : O(f 1 ) O(f 2 ), the bijective correspondence induced the translation θ(s)(t) = t + s satisfies θ(s)(o 1 ) = o 2. Observation For a o o O(f ), f ω, δ f r (a o, a o + t) and γ f r (a o, a o + t) are independent on a o and f.
22 Define δ ω o,r (t) := δr f (a o, a o + t) and then δ ω r (t) = δ ω o,r (t). o O(ω) Define γ ω o,r (t) := γf r (a o, a o + t) and then γ f r (t) = γ f o,r (t). o O(ω)
23 About the proof H r ( X), I f (r), I f (r) H r ( X) are f.g. κ[γ] module. Denote by TH r ( X) the submodule of torsion elements. For f ω Z 1 tame (X) I (r) = F f r ( ) F f r (t ) F f r (t) F f r ( ) = H r ( X), t < t, is a filtration of f.g. κ[γ] modules. There are finitely many t s where the rank of F r (t) jumps.
24 First theorem (Topological properties) follows essentially from Proposition 1 I f (r) = I f (r) = TH r ( X) 2 F f r (t)/th r ( X) { a b t, a, b CR(f ) ˆδ f r (a, b) 3 if a is a regular value then H r ( X f a, X f <a) = 0 and if a o O(f ) then dim H r ( X a, X <a ) = δ ω o,r (t) + γ ω o,r (t) + γ ω o,r 1 (t) t R t R + t R +
25 To prove the second theorem (PD property) use Borel-Moore homology to define the analogues BM ˆδ and BM ˆγ of ˆδ and ˆγ and then BM ˆδ and BM ˆγ. Prove Proposition BM δ f r (a, b) = δ f r (a, b) and BM γ f r (a, b) = γ f r (a, b). Derive the result using similar arguments as in the proof of Theorems 5.6 and 6.2 in [1] (which contain Theorem 7 as a particular case ω of degree of irrationality zero or one.
26 To prove third theorem (Stability properties) proceed as follows: Suppose f ω 1, g ω 2, ω 1, ω 2 Z tame (X; ξ) and verify Proposition If f g < ɛ then F f r (t) F g r (t + 2ɛ) F f r (t + 4ɛ) The finiteness of the support of δ ω r implies analogues of Proposition 5.7 in [1], Adapt the arguments of Theorem 5.2 in [1]. These steps establish item 1.
27 Consider the configuration λ ω r : R + Z 0 defined by λ r (t) = δ ω r (t) + γ ω r (r) + γω r 1 (t), and establish the continuity of the assignment Z tame (X; ξ) ω λ ω r Conf ([0, ) \ 0). Use Item 1 to conclude the continuity for the assignment given by the restriction of the configuration δ ω r to R + denoted by δ ω r +. Observe that the configuration λ r can be derived from the restriction of the map f ω to a compact fundamental domain of µ : Γ M M. These steps establish Item 2. This last fact is also established in [4]
28 Applications 1. MN theory on M S1 2. Data analysis 3. Dynamics
29 Dan Burghelea, New topological invariants for real- and angle-valurd maps; an altrnative to Morse-Novikov theory Word scientific Publishing Co. Pte. Ltd, 2017 D. Burghelea and T. K. Dey, Persistence for circle valued maps. Discrete Comput. Geom pp69-98 ; arxiv: Dan Burghelea, Stefan Haller, Topology of angle valued maps, bar codes and Jordan blocks, J. Appl. and Comput. Topology, vol 1, pp , 2017; arxiv: ; Max Plank preprints Michael Usher and Juo Zhang, Persistent homology and Floer-Novikov theory Geom. Topol. Volume 20, Number 6 (2016),
REFINMENTS 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 informationA COMPUTATIONAL ALTERNATIVE TO MORSE-NOVIKOV THEORY
A COMPUTATIONAL ALTERNATIVE TO MORSE-NOVIKOV THEORY Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH Shanghai, July 2017 summary A brief summary of what AMN-theory does The AMN
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 informationarxiv: v1 [math.at] 4 Apr 2019
Comparison between Parametrized homology via zigzag persistence and Refined homology in the presence of a real-valued continuous function arxiv:1904.02626v1 [math.at] 4 Apr 2019 Dan Burghelea Abstract
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 informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationWitten Deformation and analytic continuation
Witten Deformation and analytic continuation Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH Bonn, June 27, 2013 Based on joint work with STEFAN HALLER Departments of Mathematics
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 informationDYNAMICS, Topology and Spectral Geometry
DYNAMICS, Topology and Spectral Geometry Dan Burghelea Department of Mathematics Ohio State University, Columbuus, OH Iasi, June 21 Prior work on the topic: S. Smale, D.Fried, S.P.Novikov, A.V. Pajitnov,
More informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
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 informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
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 informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
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 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 informationMORSE THEORY DAN BURGHELEA. Department of Mathematics The Ohio State University
MORSE THEORY DAN BURGHELEA Department of Mathematics The Ohio State University 1 Morse Theory begins with the modest task of understanding the local maxima, minima and sadle points of a smooth function
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 informationPersistence modules in symplectic topology
Leonid Polterovich, Tel Aviv Cologne, 2017 based on joint works with Egor Shelukhin, Vukašin Stojisavljević and a survey (in progress) with Jun Zhang Morse homology f -Morse function, ρ-generic metric,
More informationNOTES ON THE ARTICLE: A CURRENT APPROACH TO MORSE AND NOVIKOV THEORIES
Rendiconti di Matematica, Serie VII Volume 36, Roma (2015), 89 94 NOTES ON THE ARTICLE: A CURRENT APPROACH TO MORSE AND NOVIKOV THEORIES REESE HARVEY BLAINE LAWSON The following article, A current approach
More informationTHE MORSE-BOTT INEQUALITIES VIA DYNAMICAL SYSTEMS
THE MORSE-BOTT INEQUALITIES VIA DYNAMICAL SYSTEMS AUGUSTIN BANYAGA AND DAVID E. HURTUBISE Abstract. Let f : M R be a Morse-Bott function on a compact smooth finite dimensional manifold M. The polynomial
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationG-MORSE THEORY REVISITED DAN BURGHELEA. Department of Mathematics The Ohio State University
G-MORSE THEORY REVISITED DAN BURGHELEA Department of Mathematics The Ohio State University 1 ELEMENTARY MORSE THEORY. M closed manifold, h : M R smooth function X : M T M smooth vector field. h Morse function
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
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 informationRIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1
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 informationMultiplicity of singularities is not a bi-lipschitz invariant
Multiplicity of singularities is not a bi-lipschitz invariant Misha Verbitsky Joint work with L. Birbrair, A. Fernandes, J. E. Sampaio Geometry and Dynamics Seminar Tel-Aviv University, 12.12.2018 1 Zariski
More informationIntersection of stable and unstable manifolds for invariant Morse functions
Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationarxiv: v4 [cs.cg] 2 Feb 2015
The Theory of the Interleaving Distance on Multidimensional Persistence Modules Michael Lesnick Institute for Mathematics and its Applications arxiv:1106.5305v4 [cs.cg] 2 Feb 2015 Abstract In 2009, Chazal
More informationMULTIVALUED FUNCTIONS AND FUNCTIONALS. AN ANALOGUE OF THE MORSE THEORY
MULTIVALUED FUNCTIONS AND FUNCTIONALS. AN ANALOGUE OF THE MORSE THEORY S. P. NOVIKOV I. Let M be a finite or infinite dimensional manifold and ω a closed 1-form, dω = 0. Integrating ω over paths in M defines
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
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 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 informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
More informationFunctoriality and duality in Morse Conley Floer homology
J. Fixed Point Theory Appl. 16 2014 437 476 DOI 10.1007/s11784-015-0223-6 Published online April 4, 2015 Journal of Fixed Point Theory 2015 The Authors and Applications This article is published with open
More informationUNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah
UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES AUGSBURG, MAY 2007 Claude Sabbah Introduction Let f : (C ) n C be a Laurent polynomial, that I assume to be convenient and non-degenerate,
More informationKOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse
KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES by Benoit Fresse Abstract. The goal of this article is to make explicit a structured complex computing the cohomology of a
More informationCohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
More informationHARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES
HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz
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 informationPersistent homology and Floer-Novikov theory
1001 999 1001 Persistent homology and Floer-Novikov theory MICHAEL USHER JUN ZHANG We construct barcodes for the chain complexes over Novikov rings that arise in Novikov s Morse theory for closed one-forms
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
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 informationTiling Dynamical Systems as an Introduction to Smale Spaces
Tiling Dynamical Systems as an Introduction to Smale Spaces Michael Whittaker (University of Wollongong) University of Otago Dunedin, New Zealand February 15, 2011 A Penrose Tiling Sir Roger Penrose Penrose
More informationLINKING AND THE MORSE COMPLEX. x 2 i
LINKING AND THE MORSE COMPLEX MICHAEL USHER ABSTRACT. For a Morse function f on a compact oriented manifold M, we show that f has more critical points than the number required by the Morse inequalities
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationMorse-Bott Homology. Augustin Banyaga. David Hurtubise
Morse-Bott Homology (Using singular N-cube chains) Augustin Banyaga Banyaga@math.psu.edu David Hurtubise Hurtubise@psu.edu s u TM s z S 2 r +1 q 1 E u f +1 1 p Penn State University Park Penn State Altoona
More informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
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 informationEmbedded contact homology and its applications
Embedded contact homology and its applications Michael Hutchings Department of Mathematics University of California, Berkeley International Congress of Mathematicians, Hyderabad August 26, 2010 arxiv:1003.3209
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationarxiv:math/ v2 [math.at] 2 Oct 2004
arxiv:math/0409412v2 [math.at] 2 Oct 2004 INTERSECTION HOMOLOGY AND ALEXANDER MODULES OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. Let V be a degree d, reduced, projective hypersurface in CP n+1,
More informationThese slides available at joyce/talks.html
Kuranishi (co)homology: a new tool in symplectic geometry. II. Kuranishi (co)homology Dominic Joyce Oxford University, UK work in progress based on arxiv:0707.3572 v5, 10/08 summarized in arxiv:0710.5634
More informationL 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS
L 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. In [DJL07] it was shown that if A is an affine hyperplane arrangement in C n, then at most one of the L 2 Betti numbers i (C n \
More informationGauge theory and Rasmussen's invariant
Gauge theory and Rasmussen's invariant The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Kronheimer,
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationConnected Sums of Simplicial Complexes
Connected Sums of Simplicial Complexes Tomoo Matsumura 1 W. Frank Moore 2 1 KAIST 2 Department of Mathematics Wake Forest University October 15, 2011 Let R,S,T be commutative rings, and let V be a T -module.
More informationDonaldson Invariants and Moduli of Yang-Mills Instantons
Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
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 informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
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 informationChow rings of Complex Algebraic Groups
Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationOn the Alexander stratification in the deformation space of Galois characters
On the Alexander stratification in the deformation space of Galois characters Masanori MORISHITA Abstract. Following the analogy between primes and knots, we give an arithmetic analogue of a theorem by
More informationC n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },
Complex projective space The complex projective space CP n is the most important compact complex manifold. By definition, CP n is the set of lines in C n+1 or, equivalently, CP n := (C n+1 \{0})/C, where
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationModuli spaces of graphs and homology operations on loop spaces of manifolds
Moduli spaces of graphs and homology operations on loop spaces of manifolds Ralph L. Cohen Stanford University July 2, 2005 String topology:= intersection theory in loop spaces (and spaces of paths) of
More informationOn embedding all n-manifolds into a single (n + 1)-manifold
On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem
More informationSeminar on Motives Standard Conjectures
Seminar on Motives Standard Conjectures Konrad Voelkel, Uni Freiburg 17. January 2013 This talk will briefly remind you of the Weil conjectures and then proceed to talk about the Standard Conjectures on
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationIntroduction to higher homotopy groups and obstruction theory
Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
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 informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationAPPLICATIONS OF HOFER S GEOMETRY TO HAMILTONIAN DYNAMICS
APPLICATIONS OF HOFER S GEOMETRY TO HAMILTONIAN DYNAMICS FELIX SCHLENK Abstract. We prove that for every subset A of a tame symplectic manifold (W, ω) the π 1 -sensitive Hofer Zehnder capacity of A is
More informationDeligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities
Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about
More informationDerived Functors and Explicit Projective Resolutions
LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A
More informationarxiv: v2 [math.na] 8 Sep 2015
OMPLEXES OF DISRETE DISTRIBUTIONAL DIFFERENTIAL FORMS AND THEIR HOMOLOGY THEORY MARTIN WERNER LIHT arxiv:1410.6354v2 [math.na] 8 Sep 2015 Abstract. omplexes of discrete distributional differential forms
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationIterated integrals, diagonal cycles and rational points on elliptic curves
Iterated integrals, diagonal cycles and rational points on elliptic curves November 2, 2011 Classical Heegner points Let E /Q be an elliptic curve and f = n 1 a n q n S 2 (N) with L(E, s) = L(f, s). The
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationMET Workshop: Exercises
MET Workshop: Exercises Alex Blumenthal and Anthony Quas May 7, 206 Notation. R d is endowed with the standard inner product (, ) and Euclidean norm. M d d (R) denotes the space of n n real matrices. When
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
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 informationA homology theory for Smale spaces. Ian F. Putnam, University of Victoria
A homology theory for Smale spaces Ian F. Putnam, University of Victoria 1 Let (X, d) be a compact metric space, ϕ be a homeomorphism of X such that (X, d, ϕ) is an irreducible Smale space or the basic
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationMorse Theory for Lagrange Multipliers
Morse Theory for Lagrange Multipliers γ=0 grad γ grad f Guangbo Xu Princeton University and Steve Schecter North Carolina State University 1 2 Outline 3 (1) History of Mathematics 1950 2050. Chapter 1.
More informationGROUPS DEFINABLE IN O-MINIMAL STRUCTURES
GROUPS DEFINABLE IN O-MINIMAL STRUCTURES PANTELIS E. ELEFTHERIOU Abstract. In this series of lectures, we will a) introduce the basics of o- minimality, b) describe the manifold topology of groups definable
More informationMoment map flows and the Hecke correspondence for quivers
and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013 The Grassmannian and flag varieties Correspondences in Morse
More information