Graphs Representations and the Topology of Real and Angle valued maps (an alternative approach to Morse-Novikiov theory)
|
|
- Valentine Cox
- 5 years ago
- Views:
Transcription
1 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, May 8
2 Based on joint work with TAMAL K. DEY Department of Computer Sciences Ohio State University, Columbus, OH STEFAN HALLER Univ. of Vienna, Austria Preceeded by work on Persistent Homology of H.Edelsbruner, D.Letscher, A. Zamorodian, G.Carlsson, V. de Silva
3 Consider TAME maps f : X R and f : X S 1 Our theory recovers the topology of the UNDERLYING SPACE X from computable invariants associated with a TAME map f In our theory the key elements are: critical values, bar codes between critical values Jordan cells and the canonical long exact sequence. Morse theory recovers the topology of the UNDERLYING manifold M from elemets associated with a Morse map f : M R, f : M S 1 In Morse theory the key elements are: critical points, instantons between critical points, closed trajectories and the Morse complex).
4 CONTENTS Background Topology Tame (real and angle valued) maps Bar codes and Jordan cells Graph representations Definitions and Results Invariants for a tame map The results The mathematics behind About the proof Others (computation, what the bar codes tell)
5 Topology κ a field, κ its algebraic closure. κ[t, t 1 ] resp. κ[[t, t 1 ] the ring resp. field of Laurent polynomials resp. formal power series. κ[t, t 1 ] κ[[t, t 1 ]. X be a compact ANR. H r (X) the singular homology with coefficients in κ Betti numbers β r (X) = dim H r (X).
6 (X, ξ), ξ H 1 (X, Z). X X the infinite cyclic cover associated with ξ. T : X X the deck transformation. H r ( X) is a κ[t, t 1 ] module with the multiplication by t induced by T. NH r (X, ξ) = H r ( X) κ[t,t 1 ] κ[[t, t 1 ] the Novikov homology is a vector space over the field κ[[t, t 1 ]. Novikov- Betti numbers βn r (X; ξ) = dim κ[[t,t 1 ] NH r (X; ξ).
7 Consider V (ξ) := ker{h r ( X) NH r (X; ξ)} induced by tensoring H r ( X) by κ[t, t 1 ] κ[[t, t 1 ]. V (ξ) is a finite dimensional vector space over κ T (ξ) : V (ξ) V (ξ) is induced by the multiplication by t, κ linear isomorphism. The monodromy associated with ξ is the pair (V (ξ), T (ξ)).
8 Tame maps Definition A continuous map f : X R resp. f : X S 1, X a compact ANR, is tame if: 1 Any fiber X θ = f 1 (θ) is the deformation retract of an open neighborhood. 2 Away from a finite set of numbers/angles Σ = {θ 1,, θ m } R, resp. S 1 the restriction of f to X \ f 1 (Σ) is a fibration. To f : X R resp. f : X S 1 a tame map one associates via graph representations bar codes resp. bar codes and Jordan cells.
9 Bar codes and Jordan cells Bar codes are finite intervals I of real numbers of four types: 1 Type 1, closed, [a, b] with a b, 2 Type 2, open, (a, b) with a < b, 3 Type 3, left open right closed(a, b] with a < b, 4 Type 4, left closed right open [a, b) with a < b. Jordan cells are pairs J = (λ κ, n Z 0 ) = (κ n, T (λ, n) It should be interpreted as a a matrix λ λ 1... T (λ, n) = λ λ
10 Graphs and graph representations The oriented graph Z : b i 1 x 2i 1 The oriented graph G 2m : a i b x 2i i x 2i+1 a i+1 b x 2i+2 i+1 x 3 x 4 b 2 a 2 b 1 x 2 a1 x 1 b m x 2m 2 a m x 2m x 2m 1
11 A Z or a G 2m representation ρ is given by x i V i ρ = a i α i : V 2i 1 V 2i b i β i : V 2i+1 V 2i A finitely supported Z-representation 1, or a G 2m -representation ρ can be uniquely decomposed as a sum of indecomposable representations. For the graph Z the indecomposable representations with finite support are indexed by the four types of bar codes intervals with ends i, j Z : closed, open, left-closed right-open and left-open right-closed. 1 i.e. all but finitely many vector spaces V x have dimension zero
12 The indecomposable Z representations with finite support : 1 ρ([i, j]), i j has V r = κ for r = {2i, 2i + 1, 2j} and V r = 0 if r [2i, 2j], 2 ρ((i, j)), i < j has V r = κ for r = {2i + 1, 2i + 2, 2j 1} and V r = 0 if r [2i + 1, 2j 1], 3 ρ((i, j]), i < j has V r = κ for r = {2i + 1, 2i + 2, 2j} and V r = 0 if r [2i + 1, 2j], 4 ρ([i, j)), i < j has V r = κ for r = {2i, 2i + 1, 2j 1} and V r = 0 if r [2i, 2j 1], with all α i and β i the identity provided that the source and the target are both non zero.
13 For G 2m the indecomposable representations are indexed by similar intervals (bar codes) with ends i, j + mk, 1 i, j m, k Z 0, i j with 1 i m and by Jordan cells. bar codes: For any triple of integers {i, j, k}, 1 i, j m, k 0, we have the representations denoted by 1 ρ I ([i, j]; k) ρ I ([i, j + mk]), 2 ρ I ((i, j]; k) ρ I ((i, j + mk]), 3 ρ I ([i, j); k) ρ I ([i, j + mk)), 4 ρ I ((i, j); k) ρ I ((i, j + mk)), Jordan cell: ρ II (λ, k) = {V r = λ k, α 1 = T (λ, k), α i = Id i 1, β i = Id}.
14 i i and β i : V x2i+1 V x2i be the linear maps defined on bases and extended by linearity as follows: assign to e l 2i±1 the vector eh 2i Vxi if eh 2i is an adjacent intersection point to the points el 2i±1 on the spiral. If eh 2i does not exist, e l 2i±1 are assigned zero. If el 2i±1 do not go to zero, h has to be l, l 1, or l + 1. The construction above provides a representation on G 2m which is indecomposable. One can also think these representations as the bar codes [s i, s j + 2kπ], (s i, s j + 2kπ], [s i, s j + 2kπ), and (s i, s j + 2kπ). ox 2j ox 2i V x3 s j o s i e 2 2i e 3 2i e 1 2i 1 ox 2i 1 e 2 2i 1 e 2 2i V x4 e 3 2i V x2 V x1 e 1 2i 1 e2 2i 1 V x2m V x2m 1 Figure 3: The spiral for [s i, s j + 4π). Figure: The spiral for [i, j + 2m). For any Jordan cell (λ, k) we associate a representation ρ J (λ, k) defined as follows. Assign the vector space with base e 1, e 2,, e k to each x i and take all linear maps α i but one (say α 1) and β i the identity. The map α 1 is given by the Jordan cell matrix (λ, k). Again this representation is indecomposable. It follows from the work of [10, 14, 15] that bar codes and Jordan cells as constructed above are all and only indecomposable representations of the quiver G 2m. Observation 4.1 If a representation ρ does not contain any indecomposable representations of type ρ I in its decomposition, all linear maps α is and β is are isomorphisms. For such a representation, starting with an index i, consider the linear isomorphism T i = Author, βi 1 αanother i βi 1 1 αi 1 Short β 1 2 Paper α 2 βtitle 1 1 α 1 βm 1 αm β 1 m 1 αm 1 β 1 i+1 αi+1.
15 Notations: For a Z or G 2m representation ρ denote by B c (ρ) closed bar codes B o (ρ) open bar codes B co (ρ) left closed right open bar codes B oc (ρ) left open right closed bar codes and B(ρ) = B c B o B co B oc all bar codes For a G 2m representation ρ denote by J (ρ) the collection of all Jordan cells.
16 Invariants for a tame map Let f be a tame map. Consider (real valued) the critical values < θ 1 < θ 2 < < θ m < (angle valued) the critical angles 0 < θ 1 < < θ m 2π. Choose t i, i = 1, 2,..., m, with θ 1 < t 1 < θ 2 < < t m 1 < θ m < t m, and for f angle valued 2π < t m < θ 1 + 2π. The tameness of f - when real valued induces the diagram : b i 1 X ti 1 a i b X θi i X ti a i+1 b X θi+1 i+1
17 - when angle valued induces the diagram: b 1 X t1 X θ1 a 1 X tm X θ2 a 2 X tm 2 b m X θm a m X tm 1 a m 1 b m 1 X θm 1
18 For r dim X let ρ r (f ) be the Z- resp. G 2m -representation defined by: V 2i = H r (X θi ), V 2i+1 = H r (X ti ) α i : V 2i 1 V 2i, β i : V 2i+1 V 2i induced by the continuous maps a i and b i. Consider the decomposition of ρ r in indecomposable components. Convert the intervals {i, j} into {θ i, θ j } (for f real valued) resp. the intervals {i, j + km}, 1 i, j m, into {θ i, θ j + 2πk} (for f angle valued). Denote the set of these intervals whose ends are critical values/angles by B r (f ) and the sets of Jordan cells by J r (f ).
19 The r invariants. Definition 1. For f : X R the sets B r (f ), r = 1, 2, dim X are the r-invariants of the map f. 2. For f : X S 1 the sets B r (f ), and J r (f ), r = 1, 2, dim X are the r-invariants of the map f. Call the pair (V r (f ), T r (f )) = (λ,k) J r (f ) (κk, T (λ, k)) the r-monodromy of the angle valued f. Note One has two types of monodromy : associated to an angle valued map derived from Jordan cells, associated to ξ H 1 (X; Z) via algebraic topology.
20 The main results Theorem If f : X R is a tame map and X t = f 1 (t) then Definition 1. β r (X t ) = { I B r (f ) I t } 2. dim im ( H r (X t ) H r (X) ) = { I B c r (f ) I t } 3. β r (X) = B c r (f ) + B o r 1 (f ) For an interval I R and an angle θ (0, 2π] denote by n θ (I) = {k Z θ + 2πk I}. For J J r write J = (λ(j), k(j)
21 Theorem If f : X S 1 is a tame map, ξ f H 1 (X; Z) represents f and X θ = f 1 (θ) then: 1. β r (X θ ) = I B r (f ) n θ (I) + J J r (f ) k(j) 2. dim im ( H r (X θ ) H r (X) ) = { I Br c (f ) } θ I + Br c (f ) + Br 1 o (f )+ 3. β r (X) = { (λ, k) J r (f ) λ = 1 } + { (λ, k) J r 1 (f ) λ = 1 } 4. βn r (X; ξ f ) = Br c (f ) + Br 1 o (f ).
22 Theorem 1. V r (ξ f ) := ker(h r ( X) Hr N (X; ξ f )) is a finite dimensional κ-vector space and (V r (ξ f ) κ, T r (ξ f )) κ) = (V r (f ), T r (f )) 2. H r ( X) = κ[t 1, t] N V r (ξ f ) as κ[t 1, t]-modules with N = βn r (f ) = Br c (f ) + Br 1 o (f ).
23 Remark: For f real valued the numbers Br c + Br 1 o homotopy invariants. For f circle valued te numbers B c r + B o r 1 collections J r (f ) are homotopy invariants. Define Cr r (f ) as a configuration of points in: C (for f : X R) consisting of r closed bar code [s, s ] z = s + s i C (r 1) open bar code (s, s ) z = s + is C (= βr (X)) are (= βnr (X) and the C \ 0 (for f : X S 1 ) consisting of r closed bar code [s, s ] z = e (s s)+2πsi C \ 0 (r 1) open bar code (s, s ) z = e (s s )+2πs i C \ 0
24 blue r closed barcodes, red (r 1) open bar codes
25 Cr(f ) can be regarded as points in the symmetric product S βr (X) (R 2 ) resp. S βnr (X;ξ f ) (C \ 0). N {}}{ S N (M) = ( M M M)/Σ N, Σ N - the N symmetric group. C 0 tame(m; R) resp.c 0 tame(m; S 1 ) the space of tame maps dense in the space C 0 (M; R) resp.c 0 (M; S 1 ) of all continuous maps. Theorem The assignments f Cr r (f ) is a continuous map on C 0 tame(m; R) resp. C 0 tame(m; S 1 ) hence has a continuous extension to the entire C 0 (M; R) resp. C 0 tame(m; S 1 ).
26 As a consequence The closed and open bar codes as well as the Jordan cells can be defined for any continuous maps. The monic polynomials P r (f )(z) whose roots are the points of Cr(f )are well defined for any continuous map and the assignment f P r (f )(z) is continuous. The collection J (f ) r remains constant on a connected component of C 0 (M; S 1 ).
27 About proof Start with f : X S 1 X θ1 X t1 b 1 a 1 X tm X θ2 a 2 X tm 2 Consider R = 1 i m X ti, X = 1 i m X si. a m 1 X θm 1 b m 1 b m X θm a m X tm 1
28 Derive the long exact sequence (the canonical sequence ) H r (R) M(ρr ) H r (X ) H r (X) H r 1 (R) M(ρ r 1) H r 1 (X ) with α1 r β r α2 r β r M(ρ r ) = αm 1 r βm 1 r βm r 0 0 αm r. α r i : H r (R i ) H r (X i ) and β r i : H r (R i+1 ) H r (X i ) induced by the maps a i and b i.
29 Examples Spaces : Y map ϕ : Y 0 Y 1 X := Y ϕ Maps: p : Y [0, 2π] R, f : X S 1, ϕ = φ 1 circle circle 2 circle 3 Y 0 Y Y 1 0 θ 1 θ 2 θ 3 θ 4 θ 5 θ 6 2π map φ r-invariants
30 r-invariants for p dimension bar codes 0 [0, 2π] [0, 2π] [0, 2π] 1 [0, θ 1 ] [θ 2, θ 3 ] (θ 3, θ 5 ) (θ 6, 2π] Table 1: r-invariants of f dimension bar codes Jordan cells 0 (1, 1) (θ 6, θ 1 + 2π] (2, 2) 1 [θ 2, θ 3 ] (θ 4, θ 5 ) Table 2.
31 Calculations: Input Record X as a square N N matrix, N the total number of simplicee of X with entries the numbers I(τ, σ), and record the values of f on vertices as an additional row. Output 1: ρ r = {α r, β r } Output 2 A table of boxes with two columns ( bar codes, Jordan cells) and dim X rows : r = 1, 2, dim X.
32 The meaning of bar codes 0 x H r (X t ) : dead (right) at t > t if image in H r (X [t,t ]) vanishes, dead (left) at t < t if image in H r (X [t,t]) vanishes, observable at t if image in H r (X [t,t ]) is not trivial and lies in the image of H r (X t ). N{s i, s j } = { maximal number of linearly independent elements in H r (X t ) which are dead/ observable at s i /s j but not before/after s i /s j.}
33 REFERENCES 1. D. Burghelea and T. K. Dey, Persistence for circle valued maps. (arxiv: ), D. Burghelea and S. Haller, Graph representations and the topology of real and angle valued maps, (arxiv: ), D. Burghelea, On the bar codes of continuous real and angle valued maps. (in preparation) 4. G. Carlsson, V. de Silva and D. Morozov, Zigzag persistent homology and real-valued functions, Proc. of the 25th Annual Symposium on Computational Geometry 2009,
A (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 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 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 informationTopological Persistence for Circle Valued Maps
Topological Persistence for Circle Valued Maps Dan Burghelea Tamal K. Dey Abstract We study circle valued maps and consider the persistence of the homology of their fibers. The outcome is a finite collection
More informationBarcodes for closed one form; Alternative to Novikov theory
Barcodes for closed one form; Alternative to Novikov theory Dan Burghelea 1 Department of mathematics Ohio State University, Columbus, OH Tel Aviv April 2018 Classical MN-theory Input: Output M n smooth
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 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 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 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 information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
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 informationTopology of Nonarchimedean Analytic Spaces
Topology of Nonarchimedean Analytic Spaces AMS Current Events Bulletin Sam Payne January 11, 2013 Complex algebraic geometry Let X C n be an algebraic set, the common solutions of a system of polynomial
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationQuadratic differentials of exponential type and stability
Quadratic differentials of exponential type and stability Fabian Haiden (University of Vienna), joint with L. Katzarkov and M. Kontsevich January 28, 2013 Simplest Example Q orientation of A n Dynkin diagram,
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 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 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 information1. Quivers and their representations: Basic definitions and examples.
1 Quivers and their representations: Basic definitions and examples 11 Quivers A quiver Q (sometimes also called a directed graph) consists of vertices and oriented edges (arrows): loops and multiple arrows
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationDivisor class groups of affine complete intersections
Divisor class groups of affine complete intersections Lambrecht, 2015 Introduction Let X be a normal complex algebraic variety. Then we can look at the group of divisor classes, more precisely Weil divisor
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 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 informationNodal symplectic spheres in CP 2 with positive self intersection
Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic
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 informationSome distance functions in knot theory
Some distance functions in knot theory Jie CHEN Division of Mathematics, Graduate School of Information Sciences, Tohoku University 1 Introduction In this presentation, we focus on three distance functions
More informationExamples of Semi-Invariants of Quivers
Examples of Semi-Invariants of Quivers June, 00 K is an algebraically closed field. Types of Quivers Quivers with finitely many isomorphism classes of indecomposable representations are of finite representation
More informationThe Jordan Canonical Form
The Jordan Canonical Form The Jordan canonical form describes the structure of an arbitrary linear transformation on a finite-dimensional vector space over an algebraically closed field. Here we develop
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
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 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 informationCalabi-Yau Geometry and Mirror Symmetry Conference. Cheol-Hyun Cho (Seoul National Univ.) (based on a joint work with Hansol Hong and Siu-Cheong Lau)
Calabi-Yau Geometry and Mirror Symmetry Conference Cheol-Hyun Cho (Seoul National Univ.) (based on a joint work with Hansol Hong and Siu-Cheong Lau) Mirror Symmetry between two spaces Mirror symmetry explains
More informationHomotopy Techniques for Tensor Decomposition and Perfect Identifiability
Homotopy Techniques for Tensor Decomposition and Perfect Identifiability Luke Oeding Auburn University with Hauenstein (Notre Dame), Ottaviani (Firenze) and Sommese (Notre Dame) Oeding (Auburn) Homotopy
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 informationMorse-Forman-Conley theory for combinatorial multivector fields
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
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationConformal field theory in the sense of Segal, modified for a supersymmetric context
Conformal field theory in the sense of Segal, modified for a supersymmetric context Paul S Green January 27, 2014 1 Introduction In these notes, we will review and propose some revisions to the definition
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 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 informationLecture 17: The Alexander Module II
Lecture 17: The Alexander Module II Notes by Jonier Amaral Antunes March 22, 2016 Introduction In previous lectures we obtained knot invariants for a given knot K by studying the homology of the infinite
More informationCOMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY
COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY MARK MCLEAN arxiv:1109.4466v1 [math.sg] 21 Sep 2011 Abstract. For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationMulti-parameter persistent homology: applications and algorithms
Multi-parameter persistent homology: applications and algorithms Nina Otter Mathematical Institute, University of Oxford Gudhi/Top Data Workshop Porquerolles, 18 October 2016 Multi-parameter persistent
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationPULLBACK MODULI SPACES
PULLBACK MODULI SPACES FRAUKE M. BLEHER AND TED CHINBURG Abstract. Geometric invariant theory can be used to construct moduli spaces associated to representations of finite dimensional algebras. One difficulty
More informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
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 information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
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 informationA NOTE ON E 8 -INTERSECTION FORMS AND CORRECTION TERMS
A NOTE ON E 8 -INTERSECTION FORMS AND CORRECTION TERMS MOTOO TANGE Abstract. In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to E 8. We
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
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 informationHomotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals
Homotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals Toshitake Kohno The University of Tokyo August 2009 Plan Part 1 : Homotopy types of the complements
More informationThe Mountaintop Guru of Mathematics
The Mountaintop Guru of Mathematics New Directions in Boij-Söderberg Theory The cone of Betti diagrams over a hypersurface ring of low embedding dimension Courtney Gibbons University of Nebraska Lincoln
More informationPolynomials in knot theory. Rama Mishra. January 10, 2012
January 10, 2012 Knots in the real world The fact that you can tie your shoelaces in several ways has inspired mathematicians to develop a deep subject known as knot theory. mathematicians treat knots
More informationLecture 19: Equivariant cohomology I
Lecture 19: Equivariant cohomology I Jonathan Evans 29th November 2011 Jonathan Evans () Lecture 19: Equivariant cohomology I 29th November 2011 1 / 13 Last lecture we introduced something called G-equivariant
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 informationNon-isolated Hypersurface Singularities and Lê Cycles
Contemporary Mathematics Non-isolated Hypersurface Singularities and Lê Cycles David B. Massey Abstract. In this series of lectures, I will discuss results for complex hypersurfaces with non-isolated singularities.
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 informationExtensions of Stanley-Reisner theory: Cell complexes and be
: Cell complexes and beyond February 1, 2012 Polyhedral cell complexes Γ a bounded polyhedral complex (or more generally: a finite regular cell complex with the intersection property). Polyhedral cell
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More informationQuiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.
Quiz-1 Algebraic Topology 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. 2. Let X be an Euclidean Neighbourhood Retract space and A a closed subspace of X
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationGeneralized Moment-Angle Complexes, Lecture 3
Generalized Moment-Angle Complexes, Lecture 3 Fred Cohen 1-5 June 2010 joint work with Tony Bahri, Martin Bendersky, and Sam Gitler Outline of the lecture: This lecture addresses the following points.
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 informationT -equivariant tensor rank varieties and their K-theory classes
T -equivariant tensor rank varieties and their K-theory classes 2014 July 18 Advisor: Professor Anders Buch, Department of Mathematics, Rutgers University Overview 1 Equivariant K-theory Overview 2 Determinantal
More informationNotes 9: Eli Cartan s theorem on maximal tori.
Notes 9: Eli Cartan s theorem on maximal tori. Version 1.00 still with misprints, hopefully fewer Tori Let T be a torus of dimension n. This means that there is an isomorphism T S 1 S 1... S 1. Recall
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
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 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 information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
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 informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationQUADRATIC DIFFERENTIALS, MEASURED FOLIATIONS AND METRIC GRAPHS ON THE PUNCTURED PLANE
QUADRATIC DIFFERENTIALS, MEASURED FOLIATIONS AND METRIC GRAPHS ON THE PUNCTURED PLANE KEALEY DIAS, SUBHOJOY GUPTA, AND MARIA TRNKOVA Abstract. A meromorphic quadratic differential on CP 1 with two poles
More informationChapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View
Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View As discussed in Chapter 2, we have complete topological information about 2-manifolds. How about higher dimensional manifolds?
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationMilnor Fibers of Line Arrangements
Milnor Fibers of Line Arrangements Alexandru Dimca Université de Nice, France Lib60ber Topology of Algebraic Varieties Jaca, Aragón June 25, 2009 Outline Outline 1 Anatoly and me, the true story... 2 Definitions,
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
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 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 informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
More informationTHE TOTAL SURGERY OBSTRUCTION III
THE TOTAL SURGERY OBSTRUCTION III TIBOR MACKO Abstract. The total surgery obstruction s(x) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group S n(x) with the property
More informationComparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp(1)
Comparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp() Jeffrey D. Carlson January 3, 4 Introduction In this note, we aim to prove the Weyl integration
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationMirror Symmetry: Introduction to the B Model
Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds
More informationValued Graphs and the Representation Theory of Lie Algebras
Axioms 2012, 1, 111-148; doi:10.3390/axioms1020111 Article OPEN ACCESS axioms ISSN 2075-1680 www.mdpi.com/journal/axioms Valued Graphs and the Representation Theory of Lie Algebras Joel Lemay Department
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More information4-MANIFOLDS AS FIBER BUNDLES
4-MANIFOLDS AS FIBER BUNDLES MORGAN WEILER Structures on 4-Manifolds I care about geometric structures on 4-manifolds because they allow me to obtain results about their smooth topology. Think: de Rham
More informationIntroduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials. Jorge Martín-Morales
Introduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials Jorge Martín-Morales Centro Universitario de la Defensa de Zaragoza Academia General Militar Differential Algebra and
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
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 informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More information