Filtered and Intersection Homology
|
|
- Delphia Clark
- 7 years ago
- Views:
Transcription
1 Filtered and Intersection Homology Jon Woolf, work in progress with Ryan Wissett April, 2016
2 Part I Review of intersection homology
3 Singular intersection homology Perversities A perversity on a topologically stratified space X is a function p : {strata of X } Z. If 1. p(s) = p(codim S) for some p : N Z 2. p(k) = 0 for k 2 3. p(k + 1) = p(k) or p(k) + 1. then it is a Goresky MacPherson (GM) perversity.
4 Singular intersection homology Perversities A perversity on a topologically stratified space X is a function p : {strata of X } Z. If 1. p(s) = p(codim S) for some p : N Z 2. p(k) = 0 for k 2 3. p(k + 1) = p(k) or p(k) + 1. then it is a Goresky MacPherson (GM) perversity. Examples the zero perversity 0(k) = 0 the top perversity t(k) = max{k 2, 0} the lower middle perversity m(k) = max{ (k 2)/2, 0} the upper middle perversity n(k) = max{ (k 2)/2, 0} GM perversities p and q are complementary if p + q = t.
5 Intersection homology and Poincaré duality Intersection homology A perversity picks out a subcomplex of intersection chains in S X : i σ X p-allowable σ 1 S (i codim S + p(s)) -skeleton c S i X p-allowable all simplices in c are p-allowable Let I p S X = {c c, c are p-allowable} and I p H X its homology.
6 Intersection homology and Poincaré duality Intersection homology A perversity picks out a subcomplex of intersection chains in S X : i σ X p-allowable σ 1 S (i codim S + p(s)) -skeleton c S i X p-allowable all simplices in c are p-allowable Let I p S X = {c c, c are p-allowable} and I p H X its homology. Theorem (Goresky MacPherson 80) X pseudomfld, p GM perversity = I p H X topological invariant.
7 Intersection homology and Poincaré duality Intersection homology A perversity picks out a subcomplex of intersection chains in S X : i σ X p-allowable σ 1 S (i codim S + p(s)) -skeleton c S i X p-allowable all simplices in c are p-allowable Let I p S X = {c c, c are p-allowable} and I p H X its homology. Theorem (Goresky MacPherson 80) X pseudomfld, p GM perversity = I p H X topological invariant. Theorem (Goresky MacPherson 80) X compact, oriented n-dim pseudomfld, p, q complementary GM perversities = intersection pairing which is non-degenerate over Q. I p H i X I q H n i X Z
8 Part II Filtered homology
9 Filtered spaces and depth functions Filtered spaces A filtered space X α is a topological space with a filtration = X 1 X 0 X 1 X 2 X = X. A filtered map f : X α Y β is a map with f (X k ) Y k k N.
10 Filtered spaces and depth functions Filtered spaces A filtered space X α is a topological space with a filtration = X 1 X 0 X 1 X 2 X = X. A filtered map f : X α Y β is a map with f (X k ) Y k k N. Depth functions The filtration on X α is encoded in the depth function α: X N where α(x) = k x X k X k 1 so X k = α 1 {0,..., k} and f : X α Y β filtered α β f.
11 Examples of filtered spaces 1. A filtered space of depth 1 is a pair X 0 X 1 = X ; a filtered map of such is a map of pairs.
12 Examples of filtered spaces 1. A filtered space of depth 1 is a pair X 0 X 1 = X ; a filtered map of such is a map of pairs. 2. Filtering a CW complex by its skeleta fully faithfully embeds CW complexes and cellular maps into filtered spaces.
13 Examples of filtered spaces 1. A filtered space of depth 1 is a pair X 0 X 1 = X ; a filtered map of such is a map of pairs. 2. Filtering a CW complex by its skeleta fully faithfully embeds CW complexes and cellular maps into filtered spaces. 3. Let n δ be the standard simplex filtered by depth function δ(t 0,..., t n ) = #{i t i = 0}, e.g The face maps i 1 δ+1 i δ are filtered.
14 Filtered homology For filtered X α define S i X α = Z{ i δ X α}. Note : S i X α S i 1 X α 1 where (α 1)(x) = max{α(x) 1, 0}.
15 Filtered homology For filtered X α define S i X α = Z{ i δ X α}. Note : S i X α S i 1 X α 1 where (α 1)(x) = max{α(x) 1, 0}. Definition The filtered i-chains on X α are FS i X α = {c S i X α c S i 1 X α }. The filtered homology FH X α is the homology of FS X α.
16 Properties of filtered homology Functoriality Filtered f : X α Y β induces a chain map FS X α FS Y β and f : FH X α FH Y β.
17 Properties of filtered homology Functoriality Filtered f : X α Y β induces a chain map FS X α FS Y β and f : FH X α FH Y β. Filtered homotopy invariance If f and g are filtered homotopic then f = g : FH X α FH Y β.
18 Properties of filtered homology Functoriality Filtered f : X α Y β induces a chain map FS X α FS Y β and f : FH X α FH Y β. Filtered homotopy invariance If f and g are filtered homotopic then f = g : FH X α FH Y β. Relative long exact sequence For filtered f : X α Y β where the underlying map is an inclusion we define FH i (Y β, X α ) = H i ( FS Y β / FS X α ). There is a LES FH X α FH Y β FH (Y β, X α ) FH 1 X α
19 Properties of filtered homology Functoriality Filtered f : X α Y β induces a chain map FS X α FS Y β and f : FH X α FH Y β. Filtered homotopy invariance If f and g are filtered homotopic then f = g : FH X α FH Y β. Relative long exact sequence For filtered f : X α Y β where the underlying map is an inclusion we define FH i (Y β, X α ) = H i ( FS Y β / FS X α ). There is a LES FH X α FH Y β FH (Y β, X α ) FH 1 X α Excision For Z α Y α X α with Z Y o there are isomorphisms FH (X α Z α, Y α Z α ) = FH (X α, Y α ).
20 Simple examples of filtered homology Cones For [x, t] CX, the cone on X, and d > 1 have { { α(x) t > 0 β[x, t] = d t = 0 = FH icx β FH i X α i < d 1 = 0 i d 1. When d 1 obtain homology of a point.
21 Simple examples of filtered homology Cones For [x, t] CX, the cone on X, and d > 1 have { { α(x) t > 0 β[x, t] = d t = 0 = FH icx β FH i X α i < d 1 = 0 i d 1. When d 1 obtain homology of a point. Suspended torus Let X α = ΣT 2 where α(x) = 2 at suspension points and 0 elsewhere. Then Z i = 0 0 i = 1 FH i X α = Z 2 i = 2 Z i = 3.
22 Simple examples of filtered homology Cones For [x, t] CX, the cone on X, and d > 1 have { { α(x) t > 0 β[x, t] = d t = 0 = FH icx β FH i X α i < d 1 = 0 i d 1. When d 1 obtain homology of a point. Suspended torus Let X α = ΣT 2 where α(x) = 3 at suspension points and 0 elsewhere. Then Z i = 0 Z 2 i = 1 FH i X α = 0 i = 2 Z i = 3.
23 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q.
24 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q. Setting X k = codim S k S gives Xˆ0 = ( X 0 X 1 X k X )
25 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q. Setting X k = codim S k S gives Xˆ0 = ( X 0 X 1 X k X ) Xˆt = ( X 0 X 1 X )
26 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q. Setting X k = codim S k S gives Xˆ0 = ( X 0 X 1 X k X ) Xˆt = ( X 0 X 1 X ) X ˆm = ( X 0 X 1 X 2 X 4 X )
27 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q. Setting X k = codim S k S gives Xˆ0 = ( X 0 X 1 X k X ) Xˆt = ( X 0 X 1 X ) X ˆm = ( X 0 X 1 X 2 X 4 X ) Xˆn = ( X 0 X 1 X 3 X 5 X )
28 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q. Setting X k = codim S k S gives Xˆ0 = ( X 0 X 1 X k X ) Xˆt = ( X 0 X 1 X ) X ˆm = ( X 0 X 1 X 2 X 4 X ) Xˆn = ( X 0 X 1 X 3 X 5 X ) p is a Goresky Macpherson perversity Xˆp is filtration by those X k with p(k) = p(k + 1)
29 Perversities and filtrations Given stratified X and perversity p define a depth function ˆp(x) = codim S p(s) for x S. The identity Xˆp Xˆq is filtered p q. Setting X k = codim S k S gives Xˆ0 = ( X 0 X 1 X k X ) Xˆt = ( X 0 X 1 X ) X ˆm = ( X 0 X 1 X 2 X 4 X ) Xˆn = ( X 0 X 1 X 3 X 5 X ) p is a Goresky Macpherson perversity Xˆp is filtration by those X k with p(k) = p(k + 1) Complementary perversities p and q give complementary filtrations: X k with k 2 appears in either Xˆp or Xˆq.
30 Intersection homology is filtered homology An elementary calculation gives i δ σ Xˆp filtered σ 1 S (i codim S + p(s)) -skeleton σ p-allowable
31 Intersection homology is filtered homology An elementary calculation gives i δ σ Xˆp filtered σ 1 S (i codim S + p(s)) -skeleton σ p-allowable Corollary FS Xˆp = I p S X and FH Xˆp = I p H X.
32 Intersection homology is filtered homology An elementary calculation gives i δ σ Xˆp filtered σ 1 S (i codim S + p(s)) -skeleton σ p-allowable Corollary FS Xˆp = I p S X and FH Xˆp = I p H X. Remarks Functoriality of FH = known functoriality of IH
33 Intersection homology is filtered homology An elementary calculation gives i δ σ Xˆp filtered σ 1 S (i codim S + p(s)) -skeleton σ p-allowable Corollary FS Xˆp = I p S X and FH Xˆp = I p H X. Remarks Functoriality of FH = known functoriality of IH Intersection homology is a filtered homotopy invariant
34 Intersection homology is filtered homology An elementary calculation gives i δ σ Xˆp filtered σ 1 S (i codim S + p(s)) -skeleton σ p-allowable Corollary FS Xˆp = I p S X and FH Xˆp = I p H X. Remarks Functoriality of FH = known functoriality of IH Intersection homology is a filtered homotopy invariant Filtered homology LES gives relative LES for IH, and obstruction sequence for change of perversities.
35 Part III Spectral sequence of a filtered space
36 The spectral sequence For filtered X α the singular complex S X has natural filtration 0 S X α S X α 1 S X
37 The spectral sequence For filtered X α the singular complex S X has natural filtration 0 S X α S X α 1 S X yielding a spectral sequence with E 0 -page S 0 X α S 1 X α S 2 X α 0 S 0 X α 1 S 0 X α S 1 X α 1 S 1 X α 0 0 S 0 X α 2 S 0 X α 1 converging to Gr H X where Gr i H j X = {[c] H jx c S j X α i } {[c] H j X c S j X α i+1 }.
38 The spectral sequence The singular complex S X of filtered X α has natural filtration 0 S X α S X α 1 S X yielding a spectral sequence with E 1 -page FS 0 X α FS 1 X α FS 2 X α 0 FS 0 X α 1 S 0 X α+ S 1 X α FS 1 X α 1 S 1 X α+ S 2 X α 0 0 FS 0 X α 2 S 0 X α 1 + S 1 X α 1 converging to Gr H X where Gr i H j X = {[c] H jx c S j X α i } {[c] H j X c S j X α i 1 }.
39 The spectral sequence The singular complex S X of filtered X α has natural filtration 0 S X α S X α 1 S X yielding a spectral sequence with E 2 -page FH 0 X α FH 1 X α FH 2 X α 0 FH 0 (X α 1, X α ) FH 1 (X α 1, X α ) 0 0 FH 0 (X α 2, X α 1 ) converging to Gr H X where Gr i H j X = {[c] H jx c S j X α i } {[c] H j X c S j X α i 1 }.
40 The spectral sequence The singular complex S X of filtered X α has natural filtration 0 S X α S X α 1 S X yielding a spectral sequence with E -page Gr 0 H 0 X Gr 0 H 1 X Gr 0 H 2 X 0 Gr 1 H 0 X Gr 1 H 1 X converging to Gr H X where 0 0 Gr 2 H 0 X Gr i H j X = {[c] H jx c S j X α i } {[c] H j X c S j X α i 1 }.
41 Examples of the spectral sequence X α CW-complex with skeletal filtration E 2 -page is cellular chain complex: FH 0 X α FH 1 (X α 1, X α ) 0 0 0
42 Examples of the spectral sequence X α CW-complex with skeletal filtration E 3 = E -page is cellular homology: H cell 0 X H cell 1 X 0 0 0
43 Examples of the spectral sequence X α = ΣT 2 with α(suspension points) = 3 E 2 -page: Z Z 2 0 Z Z
44 Examples of the spectral sequence X α = ΣT 2 with α(suspension points) = 3 E 3 = E -page: Z 0 0 Z Z
45 Part IV Cap products and Poincaré Duality?
46 Alternative filtration for simplices Let n δ denote the n-simplex with filtration δ (t 0,..., t n ) = min{i t n i 0} and FS X α the associated complex of filtered chains Proposition There is a homotopy equivalence FS X α FS X α provided by composition with id : n δ n δ and barycentric subdivision. So filtered homology can be computed using either complex.
47 Cap products Filtered homology as a module The inclusions of the back faces of n δ are filtered. The usual cap product formula restricts to S i X S j X α S j i X α inducing H i X FH j X α FH j i X α, so that FH X α is an H X -module.
48 Cap products Filtered homology as a module The inclusions of the back faces of n δ are filtered. The usual cap product formula restricts to S i X S j X α S j i X α inducing H i X FH j X α FH j i X α, so that FH X α is an H X -module. Generalised Poincaré duality? A more refined approach should yield a cap product where p + q = t. FH i Xˆp FH j Xˆ0 FH j ixˆq 1
49 Cap products Filtered homology as a module The inclusions of the back faces of n δ are filtered. The usual cap product formula restricts to S i X S j X α S j i X α inducing H i X FH j X α FH j i X α, so that FH X α is an H X -module. Generalised Poincaré duality? A more refined approach should yield a cap product FH i Xˆp FH j Xˆ0 FH j ixˆq 1 where p + q = t. If we can improve this to FH i Xˆp FH j Xˆ0 FH j ixˆq then generalised Poincaré duality would follow.
ORIENTATIONS. Contents
ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which
More informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche
More informationClassification of Bundles
CHAPTER 2 Classification of Bundles In this chapter we prove Steenrod s classification theorem of principal G - bundles, and the corresponding classification theorem of vector bundles. This theorem states
More informationCOMPUTING WITH HOMOTOPY 1- AND 2-TYPES WHY? HOW? Graham Ellis NUI Galway, Ireland
COMPUTING WITH HOMOTOPY 1- AND 2-TYPES WHY? HOW? Graham Ellis NUI Galway, Ireland Why: 1. potential applications to data analysis 2. examples for generating theory How: 3. discrete Morse theory 4. homological
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by
More informationKyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto
Kyoto University Kyoto-Math 2013-02 Note on the cohomology of finite cyclic coverings by Yasuhiro Hara and Daisuke Kishimoto April 2013 Department of Mathematics Faculty of Science Kyoto University Kyoto
More informationUniversitat de Barcelona
Universitat de Barcelona GRAU DE MATEMÀTIQUES Final year project Cohomology of Product Spaces from a Categorical Viewpoint Álvaro Torras supervised by Prof. Carles Casacuberta January 18, 2016 2 3 Introduction
More informationHow To Prove The Cellosauric Cardinal Compactness (For A Cardinal Cardinal Compact)
Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.
More informationEffective homotopy of the fiber of a Kan fibration
Effective homotopy of the fiber of a Kan fibration Ana Romero and Francis Sergeraert 1 Introduction Inspired by the fundamental ideas of the effective homology method (see [5] and [4]), which makes it
More informationHomological Algebra Workshop 02-03-15/06-03-15
Homological Algebra Workshop 02-03-15/06-03-15 Monday: Tuesday: 9:45 10:00 Registration 10:00 11:15 Conchita Martínez (I) 10:00 11:15 Conchita Martínez (II) 11:15 11:45 Coffee Break 11:15 11:45 Coffee
More informationEVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA
EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA Abstract. We review the relation between the evaluation fiber sequence of mapping spaces and the various higher homotopy commutativities.
More informationTOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS
TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable
More informationSurface bundles over S 1, the Thurston norm, and the Whitehead link
Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In
More informationChapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but
Chapter 7 Homotopy 7. Basic concepts of homotopy Example: but γ z dz = γ z dz γ 2 z dz γ 3 z dz. Why? The domain of /z is C 0}. We can deform γ continuously into γ 2 without leaving C 0}. Intuitively,
More informationSMOOTH CASE FOR T or Z
SMOOTH CASE FOR T or Z Preliminaries. Theorem [DDK] Let F be a simply finite connected CW-complex and E 0 (F ) be the connected component of identity of the space of all homotopy equivalences F F. Then
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationOnline publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and
More informationOn the existence of G-equivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationA homotopy-theoretic view of Bott Taubes integrals
Stanford University November 8, 2009 Intro We will construct cohomology classes in spaces of knots K where K = Emb(S 1, R n ) or Emb(R, R n ) (n 3). Connected components of K correspond to isotopy classes
More informationFixed Point Theory. With 14 Illustrations. %1 Springer
Andrzej Granas James Dugundji Fixed Point Theory With 14 Illustrations %1 Springer Contents Preface vii 0. Introduction 1 1. Fixed Point Spaces 1 2. Forming New Fixed Point Spaces from Old 3 3. Topological
More informationCROSS-EFFECTS OF HOMOTOPY FUNCTORS AND SPACES OF TREES. WARNING: This paper is a draft and has not been fully checked for errors.
CROSS-EFFECTS OF HOMOTOPY FUNCTORS AND SPACES OF TREES MICHAEL CHING WARNING: This paper is a draft and has not been full checked for errors. 1. Total homotop fibres of cubes of based spaces Definition
More informationBP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space
BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and
More informationSymplectic structures on fiber bundles
Symplectic structures on fiber bundles François Lalonde Université du Québec à Montréal (flalonde@math.uqam.ca) Dusa McDuff State University of New York at Stony Brook (dusa@math.sunysb.edu) Aug 27, 2000,
More informationA NOTE ON TRIVIAL FIBRATIONS
A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More information1 Local Brouwer degree
1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.
More informationHow To Prove The Classic Milnor S Theorem
INTERSECTION COHOMOLOGY, MONODROMY, AND THE MILNOR FIBER David B. Massey Abstract. We say that a complex analytic space,, is an intersection cohomology manifold if and only if the shifted constant sheaf
More informationFIXED POINT SETS OF FIBER-PRESERVING MAPS
FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationAlgebraic Morava K-theories and the. higher degree formula
Algebraic Morava K-theories and the higher degree formula 1 Contents Chapter 1. Introduction 1 Chapter 2. The construction of an algebraic Morava K-theory spectrum 5 Chapter 3. The theorem in the general
More informationPunch Maps in Numerology
Math. Proc. Camb. Phil. Soc. (1986), 99, 59 59 Printed in Qreat Britain Note on desuspending the Adams map BY F. R. COHEN AND J. A. NEISENDORFER University of Kentucky and Ohio State University (Received
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationFiber Polytopes for the Projections between Cyclic Polytopes
Europ. J. Combinatorics (2000) 21, 19 47 Article No. eujc.1999.0319 Available online at http://www.idealibrary.com on Fiber Polytopes for the Projections between Cyclic Polytopes CHRISTOS A. ATHANASIADIS,
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationBOUNDED COHOMOLOGY CHARACTERIZES HYPERBOLIC GROUPS
BOUNDED COHOMOLOGY CHARACTERIZES HYPERBOLIC GROUPS by IGOR MINEYEV (University of South Alabama, Department of Mathematics & Statistics, ILB 35, Mobile, AL 36688, USA) [Received June 00] Abstract A finitely
More informationHypersurface complements, Milnor fibers and higher homotopy groups of arrangments
Annals of Mathematics, 158 (2003), 473 507 Hypersurface complements, Milnor fibers and higher homotopy groups of arrangments By Alexandru Dimca and Stefan Papadima Introduction The interplay between geometry
More informationYou Could Have Invented Spectral Sequences
You Could Have Invented Spectral Sequences Timothy Y Chow Introduction The subject of spectral sequences has a reputation for being difficult for the beginner Even G W Whitehead (quoted in John McCleary
More informationFiber sums of genus 2 Lefschetz fibrations
Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity
More informationCyber Graphics. Abstract. 1. What is cyber graphics? 2. An incrementally modular abstraction hierarchy of shape invariants
Preprint of the Keynote Paper: Tosiyasu L. Kunii, Cyber Graphics, Proceedings of the First International Symposium on Cyber Worlds (CW2002), November 6-8 2002 Tokyo, Japan, in press, IEEE Computer Society
More informationCOHOMOLOGY OF GROUPS
Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general
More informationIntroduction. and set F = F ib(f) and G = F ib(g). If the total fiber T of the square is connected, then T >
A NEW ELLULAR VERSION OF LAKERS-MASSEY WOJIEH HAHÓLSKI AND JÉRÔME SHERER Abstract. onsider a push-out diaram of spaces A, construct the homotopy pushout, and then the homotopy pull-back of the diaram one
More informationConvex Rationing Solutions (Incomplete Version, Do not distribute)
Convex Rationing Solutions (Incomplete Version, Do not distribute) Ruben Juarez rubenj@hawaii.edu January 2013 Abstract This paper introduces a notion of convexity on the rationing problem and characterizes
More informationPOSET FIBER THEOREMS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Xxxx XXXX, Pages 000 000 S 0002-9947(XX)0000-0 POSET FIBER THEOREMS ANDERS BJÖRNER1, MICHELLE L. WACHS 2, AND VOLKMAR WELKER 3 Abstract.
More informationTropical cycles and Chow polytopes
Tropical cycles and Chow polytopes Alex Fink Department of Mathematics University of California, Berkeley Tropical Geometry in Combinatorics and Algebra MSRI October 16, 2009 Alex Fink (UC Berkeley) Tropical
More informationFinite covers of a hyperbolic 3-manifold and virtual fibers.
Claire Renard Institut de Mathématiques de Toulouse November 2nd 2011 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group
More informationOn the Product Formula for the Oriented Degree for Fredholm Maps of Index Zero between Banach Manifolds
On the Product Formula for the Oriented Degree for Fredholm Maps of Index Zero between Banach Manifolds Pierluigi Benevieri Massimo Furi Maria Patrizia Pera Dipartimento di Matematica Applicata, Università
More informationChapter 8. Lagrangian submanifolds in semi-positive symplectic manifolds. 1. 34. Statement of the results in Chapter 8.
Chapter 8. Lagrangian submanifolds in semi-positive symplectic manifolds. 1 34. Statement of the results in Chapter 8. So far we have been studying Floer cohomology with rational coefficients. If we put
More informationA PRIMER ON HOMOTOPY COLIMITS. Contents 1. Introduction 1
A PRIMER ON HOMOTOPY COLIMITS DANIEL DUGGER Contents 1. Introduction 1 Part 1. Getting started 4 2. First examples 4 3. Simplicial spaces 9 4. Construction of homotopy colimits 15 5. Homotopy limits and
More informationA Concise Course in Algebraic Topology. J. P. May
A Concise Course in Algebraic Topology J. P. May Contents Introduction 1 Chapter 1. The fundamental group and some of its applications 5 1. What is algebraic topology? 5 2. The fundamental group 6 3.
More informationTHE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS. Fernanda S. P. Cardona Peter N.-S. Wong. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 2, 2003, 3 45 THE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS Fernanda S. P. Cardona Peter N.-S. Wong Dedicated
More informationThe Topology of Fiber Bundles Lecture Notes. Ralph L. Cohen Dept. of Mathematics Stanford University
The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen Dept. of Mathematics Stanford University Contents Introduction v Chapter 1. Locally Trival Fibrations 1 1. Definitions and examples 1 1.1. Vector
More informationSurvey and remarks on Viro s definition of Khovanov homology
RIMS Kôkyûroku Bessatsu B39 (203), 009 09 Survey and remarks on Viro s definition of Khovanov homology By Noboru Ito Abstract This paper reviews and offers remarks upon Viro s definition of the Khovanov
More informationCOORDINATE-FREE COVERAGE IN SENSOR NETWORKS WITH CONTROLLED BOUNDARIES VIA HOMOLOGY
COORDINATE-FREE COVERAGE IN SENSOR NETWORKS WITH CONTROLLED BOUNDARIES VIA HOMOLOGY V. DE SILVA AND R. GHRIST ABSTRACT. We introduce tools from computational homology to verify coverage in an idealized
More informationSingular fibers of stable maps and signatures of 4 manifolds
359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a
More informationHIGH DIMENSIONAL MANIFOLD TOPOLOGY THEN AND NOW
1 HIGH DIMENSIONAL MANIFOLD TOPOLOGY THEN AND NOW Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Orsay 7,8,9 December 2005 An n-dimensional topological manifold M is a paracompact Hausdorff
More informationInvariant Option Pricing & Minimax Duality of American and Bermudan Options
Invariant Option Pricing & Minimax Duality of American and Bermudan Options Farshid Jamshidian NIB Capital Bank N.V. FELAB, Applied Math Dept., Univ. of Twente April 2005, version 1.0 Invariant Option
More informationWORKSHOP ON TOPOLOGY AND ABSTRACT ALGEBRA FOR BIOMEDICINE
WORKSHOP ON TOPOLOGY AND ABSTRACT ALGEBRA FOR BIOMEDICINE ERIC K. NEUMANN Foundation Medicine, Cambridge, MA 02139, USA Email: eneumann@foundationmedicine.com SVETLANA LOCKWOOD School of Electrical Engineering
More informationGRAPH THEORY LECTURE 4: TREES
GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection
More informationE3: PROBABILITY AND STATISTICS lecture notes
E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................
More informationALMOST COMMON PRIORS 1. INTRODUCTION
ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type
More informationNumeraire-invariant option pricing
Numeraire-invariant option pricing Farshid Jamshidian NIB Capital Bank N.V. FELAB, University of Twente Nov-04 Numeraire-invariant option pricing p.1/20 A conceptual definition of an option An Option can
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More informationTopological Data Analysis Applications to Computer Vision
Topological Data Analysis Applications to Computer Vision Vitaliy Kurlin, http://kurlin.org Microsoft Research Cambridge and Durham University, UK Topological Data Analysis quantifies topological structures
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationOn Computability and Triviality of Well Groups
On Computability and Triviality of Well Groups Peter Franek 1 and Marek Krčál 2 1 Institute of Computer Science, Academy of Sciences, Prague, Czech Republic franek@cs.cas.cz 2 IST Austria, Am Campus 1
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationLECTURE NOTES ON GENERALIZED HEEGAARD SPLITTINGS
LECTURE NOTES ON GENERALIZED HEEGAARD SPLITTINGS TOSHIO SAITO, MARTIN SCHARLEMANN AND JENNIFER SCHULTENS 1. Introduction These notes grew out of a lecture series given at RIMS in the summer of 2001. The
More informationIntroduction to Characteristic Classes
UNIVERSITY OF COPENHAGEN Faculty of Science Department of Mathematical Sciences Mauricio Esteban Gómez López Introduction to Characteristic Classes Supervisors: Jesper Michael Møller, Ryszard Nest 1 Abstract
More informationFIBER BUNDLES AND UNIVALENCE
FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference
More informationOn using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems
Dynamics at the Horsetooth Volume 2, 2010. On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems Eric Hanson Department of Mathematics Colorado State University
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationCLASSIFYING SPACES FOR FAMILIES OF SUBGROUPS FOR SYSTOLIC GROUPS
CLASSIFYING SPACES FOR FAMILIES OF SUBGROUPS FOR SYSTOLIC GROUPS DAMIAN OSAJDA AND TOMASZ PRYTU LA Abstract. We determine the large scale geometry of the minimal displacement set of a hyperbolic isometry
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationA CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT
Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally
More informationWalrasian Demand. u(x) where B(p, w) = {x R n + : p x w}.
Walrasian Demand Econ 2100 Fall 2015 Lecture 5, September 16 Outline 1 Walrasian Demand 2 Properties of Walrasian Demand 3 An Optimization Recipe 4 First and Second Order Conditions Definition Walrasian
More informationSPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM
SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM ALEX WRIGHT 1. Intoduction A fixed point of a function f from a set X into itself is a point x 0 satisfying f(x 0 ) = x 0. Theorems which establish the
More informationSolving Linear Systems, Continued and The Inverse of a Matrix
, Continued and The of a Matrix Calculus III Summer 2013, Session II Monday, July 15, 2013 Agenda 1. The rank of a matrix 2. The inverse of a square matrix Gaussian Gaussian solves a linear system by reducing
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationBUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES
BUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES CHRIS KOTTKE Contents Introduction 1 1. Bundles 2 1.1. Pullback 2 1.2. Sections 3 1.3. Fiber bundles as fibrations 4 2. Vector bundles 4 2.1. Whitney
More informationHomotopy groups of spheres and low-dimensional topology
Homotopy groups of spheres and low-dimensional topology Andrew Putman Abstract We give a modern account of Pontryagin s approach to calculating π n+1 (S n ) and π n+2 (S n ) using techniques from low-dimensional
More informationComputational homology of n-types
Computational homology of n-types Graham Ellis Graham Ellis, School of Mathematics, National University of Ireland, Galway Le Van Luyen Le Van Luyen, School of Mathematics, National University of Ireland,
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationGeometry and Topology from Point Cloud Data
Geometry and Topology from Point Cloud Data Tamal K. Dey Department of Computer Science and Engineering The Ohio State University Dey (2011) Geometry and Topology from Point Cloud Data WALCOM 11 1 / 51
More informationDistributed Coverage Verification in Sensor Networks Without Location Information Alireza Tahbaz-Salehi and Ali Jadbabaie, Senior Member, IEEE
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 8, AUGUST 2010 1837 Distributed Coverage Verification in Sensor Networks Without Location Information Alireza Tahbaz-Salehi and Ali Jadbabaie, Senior
More informationHow To Know The Limit Set Of A Fuchsian Group On A Boundary Of A Hyperbolic Plane
Reading material on the limit set of a Fuchsian group Recommended texts Many books on hyperbolic geometry and Kleinian and Fuchsian groups contain material about limit sets. The presentation given here
More informationHomological Sensor Networks
Homological Sensor Networks Vin de Silva and Robert Ghrist Sensors and Sense-ability A sensor is a device that measures some feature of a domain or environment and returns a signal from which information
More informationmathematicae ~) Springer-Verlag 1989
Invent. math. 98, 623-637 (1989) ~nve~ltiones mathematicae ~) Springer-Verlag 1989 Classification of overtwisted contact structures on 3-manifolds Y. Eliashberg*'** Department of Mathematics, University
More informationManifolds: Where Do We Come From? What Are We? Where Are We Going
Manifolds: Where Do We Come From? What Are We? Where Are We Going Misha Gromov September 13, 2010 Contents 1 Ideas and Definitions. 2 2 Homotopies and Obstructions. 4 3 Generic Pullbacks. 9 4 Duality and
More informationON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction
ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity
More informationTuring Degrees and Definability of the Jump. Theodore A. Slaman. University of California, Berkeley. CJuly, 2005
Turing Degrees and Definability of the Jump Theodore A. Slaman University of California, Berkeley CJuly, 2005 Outline Lecture 1 Forcing in arithmetic Coding and decoding theorems Automorphisms of countable
More informationChapter 7. Permutation Groups
Chapter 7 Permutation Groups () We started the study of groups by considering planar isometries In the previous chapter, we learnt that finite groups of planar isometries can only be cyclic or dihedral
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free
More informationTopological Methods for the Representation and Analysis of Exploration Data in Oil Industry
University of Kaiserslautern Department of Mathematics Research Group Algebra, Geometry and Computeralgebra Dissertation Topological Methods for the Representation and Analysis of Exploration Data in Oil
More informationLECTURE 5: DUALITY AND SENSITIVITY ANALYSIS. 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method
LECTURE 5: DUALITY AND SENSITIVITY ANALYSIS 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method Introduction to dual linear program Given a constraint matrix A, right
More information4.6 Linear Programming duality
4.6 Linear Programming duality To any minimization (maximization) LP we can associate a closely related maximization (minimization) LP. Different spaces and objective functions but in general same optimal
More information(2) the identity map id : S 1 S 1 to the symmetry S 1 S 1 : x x (here x is considered a complex number because the circle S 1 is {x C : x = 1}),
Chapter VI Fundamental Group 29. Homotopy 29 1. Continuous Deformations of Maps 29.A. Is it possible to deform continuously: (1) the identity map id : R 2 R 2 to the constant map R 2 R 2 : x 0, (2) the
More informationPSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2
PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 Abstract. We prove a Bruckner-Garg type theorem for the fiber structure of a generic map from a continuum X into the unit interval I. We
More information