NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008

Size: px
Start display at page:

Download "NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008"

Transcription

1 1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar Heidelberg, 17th December, 2008

2 Noncommutative localization Localizations of noncommutative rings such as group rings Z[π] are rings with complicated properties in algebra and interesting applications to topology. The applications are to spaces X with infinite fundamental group π 1 (X ), e.g. amalgamated free products and HNN extensions, such as occur when X is a knot or link complement. The surgery classification of high-dimensional manifolds and Poincaré complexes, finite domination, fibre bundles over S 1, open books, circle-valued Morse theory, Morse theory of closed 1-forms, rational Novikov homology, codimension 1 and 2 splitting, homology surgery, knots and links. High-dimensional knot theory, Springer (1998) Survey: e-print AT in Noncommutative localization in algebra and topology, LMS Lecture Notes 330, Cambridge University Press (2006) 2

3 3 The cobordism/concordance groups of boundary links An n-dimensional µ-component boundary link is a link l : µ S n S n+2 such that there exists a µ-component Seifert surface M n+1 = µ i=1 M i S n+2 with M = l( µ S n ) S n+2. Boundary condition equivalent to the existence of a surjection π 1 (S n+2 \l( µ S n )) F µ sending the µ meridians to µ generators of the free group F µ of rank µ. Let C n (F µ ) be the cobordism group of n-dimensional µ-component boundary links. A 1-component boundary link is a knot k : S n S n+2, and C n (F 1 ) = C n is the knot cobordism group. Problem Compute C n (F µ )!

4 A 2-component boundary link l : S 1 S 1 S 3 4

5 5 Brief history of the knot cobordism groups C (Fox-Milnor 1957) Definition of C 1. (Kervaire 1966) Definition of C for > 1 and C 2 = 0. (Levine 1969) C = C +4 for > 1. Computation of C 2 +1 for > 0, using Seifert forms over Z, S 1 Z = Q and signatures C 2 +1 = Z Z 2 Z 4. (Kearton 1975) Expression of C 2 +1 for > 0, using a commutative localization S 1 Z[z, z 1 ] and S 1 Z[z, z 1 ]/Z[z, z 1 ]-valued Blanchfield forms. (Casson-Gordon 1976) ker(c 1 C 5 ) 0 using commutative localization. (Cochran-Orr-Teichner 2003) Near-computation of C 1, using noncommutative Ore localization of group rings and L 2 -signatures.

6 Brief history of the boundary link cobordism groups C (F µ ) (Cappell-Shaneson 1980) Geometric expression of C (F µ ) for > 1 as relative Γ-groups, and C 2 (F µ ) = 0. (Duval 1984) Algebraic expression of C 2 +1 (F µ ) for > 0, using a noncommutative localization Σ 1 Z[F µ ] and Σ 1 Z[F µ ]/Z[F µ ]-valued Blanchfield forms. (Ko 1989) Algebraic expression of C 2 +1 (F µ ) for > 0, using Seifert forms over Z[F µ ]. (Sheiham 2003) Computation of C 2 +1 (F µ ) for > 0, using noncommutative signatures C 2 +1 (F µ ) = Z Z 2 Z 4 Wishful thinking Compute C 1 (F µ ) for µ > 1 using noncommutative localization. Z 8. 6

7 7 Alexander duality in H and H but not in π 1 Want to investigate knotting properties of submanifolds N n M m, especially in codimension m n = 2, using the complement P = M\N. Alexander duality for H, H. The homology and cohomology of M, N, P are related by Z-module isomorphisms H (M, P) = H m (N), H (M, P) = H m (N). Failure of Alexander duality for π 1. The group morphisms π 1 (P) π 1 (M) induced by P M are isomorphisms for n m 3, but not in general for n m = 1 or 2. The Z[π 1 (P)]-module homology H ( P) of the universal cover P depends on the knotting of N M, whereas the Z-module homology H (P) does not.

8 8 Change of rings For a ring A let Mod(A) be the category of left A-modules. Given a ring morphism φ : A B regard B as a (B, A)-bimodule by B B A B ; (b, x, a) b.x.φ(a). Use this to define the change of rings a functor φ = B A : Mod(A) Mod(B) ; M B A M. An A-module chain complex C is B-contractible if the B-module chain complex B A C is contractible.

9 9 Knotting and unknotting Slogan The fundamental group π 1 detects knotting for n m = 1 or 2, whereas Z-coefficient homology and cohomology do not. The applications of algebraic K- and L-theory to knots and links use the chain complexes of the universal covers of the complements. They involve the algebraic K- and L-theory of B-contractible A-module chain complexes for augmentations φ = ɛ : A = Z[π 1 ] B = Z ; n g g g. g π 1 g π 1 In favourable circumstances (e.g. π 1 = F µ ) there exists a stably flat noncommutative localization A Σ 1 A such that an A-module chain complex C is B-contractible if and only if C is Σ 1 A-contractible. The algebraic K- and L-theory of such C can be then described entirely in terms of A.

10 Algebraic K-theory I. Let A be an associative ring with 1. The projective class group K 0 (A) is the abelian group with one generator [P] for each isomorphism class of f.g. projective A-modules P, and relations [P Q] = [P] + [Q] K 0 (A). A finite f.g. projective A-module chain complex C has a chain homotopy invariant projective class [C] = ( ) i [C i ] K 0 (A). i=0 Example K 0 (Z) = Z. The projective class of a finite f.g. free A-module chain complex is just the Euler characteristic the projective class [C] = χ(c) = ( ) i dim A (C i ) im(k 0 (Z) K 0 (A)). i=0 10

11 11 Algebraic K-theory II. The Whitehead group K 1 (A) is the abelian group with one generator τ(f ) for each automorphism f : P P of a f.g. projective A-module P, and relations τ(f f ) = τ(f ) + τ(f ), τ(gfg 1 ) = τ(f ) K 1 (A). The Whitehead torsion of a contractible finite based f.g. free A-module chain complex C is τ(c) = τ(d + Γ : C odd C even ) K 1 (A) with Γ : 0 1 : C C any chain contraction dγ + Γd = 1 : C r C r. Can generalize K 0 (A), K 1 (A) to K (A) for all Z.

12 Change of rings in algebraic K-theory 12 A ring morphism φ : A B induces an exact sequence of algebraic K-groups K n (A) φ K n (B) K n (φ) K n 1 (A)... A B-contractible finite f.g. free A-module chain complex C with χ(c) = 0 Z has a Reidemeister torsion τ[c] ker(k 1 (φ) K 0 (A)) = im(k 1 (B) K 1 (φ)) = coker(φ : K 1 (A) K 1 (B)) given by τ(b A C) K 1 (B) for any choice of bases for C. (Milnor 1966) Whitehead torsion interpretation of the Reidemeister torsion of a knot using the augmentation φ : A = Z[z, z 1 ] B = F for any field F.

13 13 Commutative localization The localization of a commutative ring A inverting a multiplicatively closed subset S A of non-zero divisors with 1 S is the ring S 1 A of fractions a/s (a A, s S), where a/s = b/t if and only if at = bs. Usual addition and multiplication a/s + b/t = (at + bs)/(st), (a/s)(b/t) = (as)/(bt) and canonical embedding A S 1 A; a a/1. For an integral domain A and S = A {0} S 1 A = quotient field(a). Example If A = Z then S 1 A = Q.

14 The standard example k : S n S n+2 I. The exterior of an n-dimensional knot k is an (n + 2)-dimensional manifold with boundary (X, X ) = (cl.(s n+2 \(k(s n ) D 2 )), S n S 1 ) with X S n+2 \S n a deformation retract of the complement. The generator 1 H 1 (X ) = Z is realized by a homology equivalence (f, f ) : (X, X ) (X 0, X 0 ) with (X 0, X 0 ) the exterior of the trivial knot k 0 : S n S n+2 = S n D 2 D n+1 S 1 with X 0 = D n+1 S 1 S 1, and f a homeomorphism. Theorem (Dehn+P. for n = 1, Kervaire+Levine for n 2) k is unknotted if and only if f is a homotopy equivalence. The circle S 1 has universal cover S 1 = R, with π 1 (S 1 ) = Z, Z[π 1 (S 1 )] = Z[z, z 1 ]. The homology equivalence f : X S 1 lifts to a Z-equivariant map f : X R with X = f R the pullback infinite cyclic cover of X. 14

15 The standard example k : S n S n+2 II. The Blanchfield localization S 1 A of A = Z[z, z 1 ] inverts S = ɛ 1 (1) A, with ɛ : A Z; z 1 the augmentation. The cellular A-module chain map f : C(X ) C(R) induces a chain equivalence f = 1 f : Z A C(X ) = C(X ) Z A C(R) = C(S 1 ). The algebraic mapping cone C = C(f ) is a finite f.g. free A-module chain complex such that H (Z A C) = 0, S 1 H (C) = 0, χ(c) = 0. The Reidemeister torsion is an isotopy invariant τ[c] = (1 φ(z))/ (k) K 1 (φ) = coker(φ : K 1 (A) K 1 (S 1 A)) = (S 1 A) /A with (k) S the Alexander polynomial of k. The localization φ : A S 1 A first used by Blanchfield (1957) in the study of the duality properties of H (X ). 15

16 The noncommutative Ore localization 16 (Ore 1931) The Ore localization S 1 A is defined for a multiplicatively closed subset S A with 1 S, and such that for all a A, s S there exist b A, t S with ta = bs A. E.g. central, sa = as for all a A, s S. The Ore localization is the ring of fractions S 1 A = (S A)/, with (s, a) (t, b) if and only if there exist u, v A with us = vt S, ua = vb A. An element of S 1 A is a noncommutative fraction s 1 a = equivalence class of (s, a) S 1 A with addition and multiplication more or less as usual. Example A commutative localization is an Ore localization.

17 17 Ore localization is flat The Ore localization S 1 A is a flat A-module, i.e. the functor S 1 : Mod(A) Mod(S 1 A) ; M S 1 M = S 1 A A M is exact. For any A-module M Tor A i (S 1 A, M) = 0 (i 1). For any A-module chain complex C H (S 1 C) = S 1 H (C). Proposition For any finite f.g. free S 1 A-module chain complex D there exists a finite f.g. free A-module chain complex C with an S 1 A-module isomorphism S 1 C = D. Proof Clear denominators!

18 Universal localization I. 18 Given a ring A and a set Σ of elements, matrices, morphisms,..., it is possible to construct a new ring Σ 1 A, the localization of A inverting all the elements in Σ. In general, A and Σ 1 A are noncommutative, and A Σ 1 A is not injective. Original algebraic motivation: construction of noncommutative analogues of the quotient field of an integral domain. Topological applications to knots and links use the algebraic K- and L-theory of A and Σ 1 A, in two separate situations: Given a ring morphism φ : A B there exists a factorization φ : A Σ 1 A B such that a free A-module chain complex C is B-contractible if and only if C is Σ 1 A-contractible. If a ring R is an amalgamated free product or an HNN extension then for k = 2 or 3 the matrix ring M k (R) is Σ 1 A for a triangular matrix ring A M k (R) : gives all known decomposition theorems for K (R) and L (R).

19 19 Universal localization II. A = ring, Σ = a set of morphisms s : P Q of f.g. projective A-modules. A ring morphism A B is Σ-inverting if each 1 s : B A P B A Q (s Σ) is a B-module isomorphism. (P.M. Cohn 1970) The universal localization Σ 1 A is a ring with a Σ-inverting morphism A Σ 1 A such that any Σ-inverting morphism A B has a unique factorization A Σ 1 A B. The universal localization Σ 1 A exists (and it is unique); but it could be 0 e.g if 0 Σ. In general, Σ 1 A is not a flat A-module. Σ 1 A is a flat A-module if and only if Σ 1 A is an Ore localization (Beachy, Teichner, 2003).

20 The normal form I. 20 (Gerasimov, Malcolmson 1981) Assume Σ consists of all the morphisms s : P Q of f.g. projective A-modules such that 1 s : Σ 1 P Σ 1 Q is a Σ 1 A-module isomorphism. (Can enlarge any Σ to have this property). Every element x Σ 1 A is of the form x = fs 1 g for some (s : P Q) Σ, f : P A, g : A Q. For f.g. projective A-modules M, N every Σ 1 A-module morphism x : Σ 1 M Σ 1 N is of the form x = fs 1 g for some (s : P Q) Σ, f : P N, g : M Q M Addition by g P s Q f N. fs 1 g +f s 1 g = (f f )(s s ) 1 (g g ) : Σ 1 M Σ 1 N Similarly for composition.

21 The normal form II. For f.g. projective M, N, a Σ 1 A-module morphism fs 1 g : Σ 1 M Σ 1 N is such that fs 1 g = 0 if and only if there is a commutative diagram of A-module morphisms s 0 0 g 0 s s 2 g 2 f f P P 1 P 2 M ( p p1 p 2 m Q Q 1 Q 2 N ) ( q q1 q 2 n ) T L with s, s 1, s 2, ( p p 1 p 2 ), ( q q1 q 2 ) T Σ. (Exercise: diagram = fs 1 g = 0). 21

22 Localization in algebraic K-theory I. 22 Assume each (s : P Q) Σ is injective and A Σ 1 A is injective. The torsion exact category T (A, Σ) has objects A-modules T with Σ 1 T = 0, hom. dim. (T ) = 1. E.g., T = coker(s) for s Σ. Theorem (Bass 1968 for central, Schofield 1985 for universal Σ 1 A). Exact sequence K 1 (A) K 1 (Σ 1 A) K 0 (T (A, Σ)) K 0 (A) K 0 (Σ 1 A) with ( τ(fs 1 g : Σ 1 M Σ 1 N) ) = [ ( ) f 0 coker( : P M N Q) ] [ coker(s : P Q) ] s g Theorem (Quillen 1972, Grayson 1980) Higher K-theory localization exact sequence for Ore localization Σ 1 A, by flatness.

23 Universal localization is not flat 23 In general, if M is an A-module and C is an A-module chain complex Tor A (Σ 1 A, M) 0, H (Σ 1 C) Σ 1 H (C). True for Ore localization Σ 1 A, by flatness. Example The universal localization Σ 1 A of the free product A = Z x 1, x 2 = Z[x 1 ] Z[x 2 ] inverting Σ = {x 1 } is not flat. The 1-dimensional f.g. free A-module chain complex d C = (x 1 x 2 ) : C 1 = A A C 0 = A is a resolution of H 0 (C) = Z and H 1 (Σ 1 C) = Tor A 1 (Σ 1 A, H 0 (C)) = Σ 1 A Σ 1 H 1 (C) = 0.

24 24 Chain complex lifting I. A lift of a f.g. free Σ 1 A-module chain complex D is a f.g. projective A-module chain complex C with a chain equivalence Σ 1 C D. For an Ore localization Σ 1 A one can lift every n-dimensional f.g. free Σ 1 A-module chain complex D, for any n 0. For a universal localization Σ 1 A one can only lift for n 2 in general. Proposition (Neeman+R., 2001) For n 3 there are lifting obstructions in Tor A i (Σ 1 A, Σ 1 A) for i 2. Tor A 1 (Σ 1 A, Σ 1 A) = 0 always.

25 25 Chain complex lifting II. Example The boundary map in the Schofield exact sequence for an injective universal localization A Σ 1 A : K 1 (Σ 1 A) K 0 (T (A, Σ)) ; τ(d) [C] sends the Whitehead torsion τ(d) of a contractible based f.g. free Σ 1 A-module chain complex D to the projective class [C] of any f.g. projective A-module chain complex C such that Σ 1 C D.

26 26 Stable flatness A universal localization Σ 1 A is stably flat if Tor A i (Σ 1 A, Σ 1 A) = 0 (i 2). For stably flat Σ 1 A have stable exactness: H (Σ 1 C) = lim B Σ 1 H (B) with maps C B such that Σ 1 C Σ 1 B. Flat = stably flat. If Σ 1 A is flat (i.e. an Ore localization) then Tor A i (Σ 1 A, M) = 0 (i 1) for every A-module M. The special case M = Σ 1 A gives that Σ 1 A is stably flat.

27 A localization which is not stably flat Given a ring extension R S and an S-module M let K(M) = ker(s R M M). Theorem (Neeman, R. and Schofield) (i) The universal localization of the ring R 0 0 A = S R 0 = P 1 P 2 P 3 (columns) S S R inverting Σ = {P 3 P 2, P 2 P 1 } is Σ 1 A = M 3 (S). (ii) If S is a flat R-module then Tor A n 1(Σ 1 A, Σ 1 A) = M n (K n (S)) (n 3). (iii) If R is a field and dim R (S) = d then K n (S) = K(K(... K(S)... )) = R (d 1)nd. If d 2, e.g. S = R[x]/(x d ), then Σ 1 A is not stably flat. (e-print RA , Math. Proc. Camb. Phil. Soc. 2004). 27

28 28 Localization in algebraic K-theory II. Theorem (Neeman + R., 2001) If A Σ 1 A is injective and stably flat then : fibration sequence of exact categories T (A, Σ) P(A) P(Σ 1 A) with P(A) the category of f.g. projective A-modules, and every finite f.g. free Σ 1 A-module chain complex can be lifted, there are exact localization sequences K n (A) K n (Σ 1 A) K n 1 (T (A, Σ)) K n 1 (A)... e-print RA , Geometry and Topology (2004)

29 The standard example l : µ S n S n+2 I. 29 The exterior of an n-dimensional boundary link l is an (n + 2)-dimensional manifold with boundary (X, X ) = (cl.(s n+2 \((l( µ S n ) D 2 )), S n S 1 ) with X S n+2 \S n a deformation retract of the complement. (Cappell-Shaneson 1980) There is a homology equivalence (f, f ) : (X, X ) (X 0, X 0 ) with (X 0, X 0 ) the exterior of the trivial boundary link l 0 X 0 = #(S D n+1 ) µ S 1 µ 1 S n+1 µ π 1 (X 0 ) = F µ, and f a homeomorphism. The universal F µ -cover X 0 of X 0 and the pullback cover X = f X0 are such that f lifts to an F µ -equivariant map f : X X0 with C( f ) a Z-contractible f.g. free Z[F µ ]-module chain complex.

30 The standard example l : µ S n S n+2 II. The Blanchfield universal localization Σ 1 A of A = Z[F µ ] inverts the set Σ of all Z-invertible square matrices in A. (Sontag-Dicks 1978, Farber-Vogel 1986) Σ 1 A is stably flat. (R.-Sheiham 2003-) The algebraic mapping cone C = C( f ) is a finite f.g. free A-module chain complex such that H (Σ 1 C) = 0, giving an isotopy invariant τ[c] = 1/ (l) K 1 (φ) = coker(φ : K 1 (A) K 1 (S 1 A)) K 0 (T (A, Σ)) with (l) Σ the Alexander matrix of l. Isotopy invariant: mild generalization of the noncommutative Alexander polynomials of Farber (1986) and Garoufalidis-Kricker (2003). (R.-S.) Blanchfield and Seifert algebra in high-dimensional boundary link theory I. Algebraic K-theory, e-print AT , Geometry and Topology (2006) 30

31 31 Algebraic L-theory Let A be an associative ring with 1, and with an involution A A; a ā used to identify left A-modules = right A-modules. Example A group ring A = Z[π] with ḡ = g 1 for g π. The algebraic L-group L n (A) is the abelian group of cobordism classes (C, ψ) of n-dimensional f.g. projective A-module chain complexes C with an n-dimensional quadratic Poincaré duality ψ : H n (C) = H (C). These are the Wall (1970) surgery obstruction groups L (A), originally defined using quadratic forms and their automorphisms.

32 Localization in algebraic L-theory 32 Theorem (R for Ore, Vogel 1982 in general) For any injective universal localization A Σ 1 A of a ring with involution A there is an exact sequence of algebraic L-groups L n (A) L n (Σ 1 A) L n (A, Σ) L n 1 (A)... with L n (A, Σ) the cobordism group of Σ 1 A-contractible (n 1)-dimensional quadratic Poincaré complexes (C, ψ) over A. Corollary (Duval R. 2008) For n 2 the cobordism class of a boundary link l : µ S n S n+2 is the cobordism class of the Z-contractible (n + 2)-dimensional quadratic Poincaré complex (C( f ), ψ) over Z[F µ ] l = (C( f ), ψ) C n (F µ ) = L n+3 (Z[F µ ], Σ) with f : X X 0 the homology equivalence between the exteriors of l and l 0.

THE QUADRATIC FORM E 8 AND EXOTIC HOMOLOGY MANIFOLDS

THE QUADRATIC FORM E 8 AND EXOTIC HOMOLOGY MANIFOLDS THE QUADRATIC FORM E 8 AND EXOTIC HOMOLOGY MANIFOLDS Washington Mio (Tallahassee) Andrew Ranicki (Edinburgh) The Bryant-Mio-Ferry-Weinberger construction of 2n-dimensional exotic homology manifolds for

More information

EXACT BRAIDS AND OCTAGONS

EXACT BRAIDS AND OCTAGONS 1 EXACT BRAIDS AND OCTAGONS Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Lewisfest, Dublin, 23 July 2009 Organized by Eva Bayer-Fluckiger, David Lewis and Andrew Ranicki. 2 3 Exact braids

More information

SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction

SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS C. KEARTON AND S.M.J. WILSON Abstract. A necessary and sufficient algebraic condition is given for a Z- torsion-free simple q-knot, q >, to be the r-fold branched

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Algebraic Topology II Notes Week 12

Algebraic Topology II Notes Week 12 Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other

More information

COBORDISM OF DISK KNOTS

COBORDISM OF DISK KNOTS ISRAEL JOURNAL OF MATHEMATICS 163 (2008), 139 188 DOI: 10.1007/s11856-008-0008-3 COBORDISM OF DISK KNOTS BY Greg Friedman Department of Mathematics, Texas Christian University 298900 Fort Worth, TX 76129

More information

Oxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall

Oxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall Oxford 13 March 2017 Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall In 1956 Milnor amazed the world by giving examples of smooth manifolds homeomorphic but not diffeomorphic

More information

Knot concordance, Whitney towers and L 2 -signatures arxiv:math/ v2 [math.gt] 9 Feb 2004

Knot concordance, Whitney towers and L 2 -signatures arxiv:math/ v2 [math.gt] 9 Feb 2004 Annals of Mathematics, 157 (2003), 433 519 Knot concordance, Whitney towers and L 2 -signatures arxiv:math/9908117v2 [math.gt] 9 Feb 2004 By Tim D. Cochran, Kent E. Orr, and Peter Teichner* Abstract We

More information

Introduction to surgery theory

Introduction 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 information

HIGHER-ORDER LINKING FORMS FOR KNOTS

HIGHER-ORDER LINKING FORMS FOR KNOTS HIGHER-ORDER LINKING FORMS FOR KNOTS CONSTANCE LEIDY Abstract. We construct examples of knots that have isomorphic nth-order Alexander modules, but non-isomorphic nth-order linking forms, showing that

More information

A Second Order Algebraic Knot Concordance Group

A Second Order Algebraic Knot Concordance Group 2010 Mathematics Subject Classification 57M25, 57N70, 57M27, 57R67, 57M10, 57R65 A Second Order Algebraic Knot Concordance Group MARK POWELL Let C be the topological knot concordance group of knots S 1

More information

The A-B slice problem

The A-B slice problem The A-B slice problem Slava Krushkal June 10, 2011 History and motivation: Geometric classification tools in higher dimensions: Surgery: Given an n dimensional Poincaré complex X, is there an n manifold

More information

Twisted Alexander Polynomials Detect the Unknot

Twisted Alexander Polynomials Detect the Unknot ISSN numbers are printed here 1 Algebraic & Geometric Topology Volume X (20XX) 1 XXX Published: XX Xxxember 20XX [Logo here] Twisted Alexander Polynomials Detect the Unknot Daniel S. Silver Susan G. Williams

More information

Some non-trivial PL knots whose complements are homotopy circles

Some non-trivial PL knots whose complements are homotopy circles Some non-trivial PL knots whose complements are homotopy circles Greg Friedman Vanderbilt University May 16, 2006 Dedicated to the memory of Jerry Levine (May 4, 1937 - April 8, 2006) 2000 Mathematics

More information

On the signature of fibre bundles and absolute Whitehead torsion. Andrew John Korzeniewski

On the signature of fibre bundles and absolute Whitehead torsion. Andrew John Korzeniewski On the signature of fibre bundles and absolute Whitehead torsion. Andrew John Korzeniewski Doctor of Philosophy University of Edinburgh 2005 Declaration I declare that this thesis was composed by myself

More information

Double L groups and doubly slice knots. 1 Introduction PATRICK ORSON

Double L groups and doubly slice knots. 1 Introduction PATRICK ORSON Double L groups and doubly slice knots PATRICK ORSON We develop a theory of chain complex double-cobordism for chain complexes equipped with Poincaré duality. The resulting double-cobordism groups are

More information

arxiv: v3 [math.gt] 14 Sep 2008

arxiv: v3 [math.gt] 14 Sep 2008 KNOT CONCORDANCE AND HIGHER-ORDER BLANCHFIELD DUALITY arxiv:0710.3082v3 [math.gt] 14 Sep 2008 TIM D. COCHRAN, SHELLY HARVEY, AND CONSTANCE LEIDY Abstract. In 1997, T. Cochran, K. Orr, and P. Teichner [12]

More information

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

Geometry and Topology, Lecture 4 The fundamental group and covering spaces 1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic

More information

A Primer on Homological Algebra

A 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 information

Math 752 Week s 1 1

Math 752 Week s 1 1 Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following

More information

Cobordism of fibered knots and related topics

Cobordism of fibered knots and related topics Advanced Studies in Pure Mathematics 46, 2007 Singularities in Geometry and Topology 2004 pp. 1 47 Cobordism of fibered knots and related topics Vincent Blanlœil and Osamu Saeki Abstract. This is a survey

More information

GENERALIZED ARF INVARIANTS IN ALGEBRAIC L-THEORY. Contents

GENERALIZED ARF INVARIANTS IN ALGEBRAIC L-THEORY. Contents GENERALIZED ARF INVARIANTS IN ALGEBRAIC L-THEORY MARKUS BANAGL AND ANDREW RANICKI Abstract. The difference between the quadratic L-groups L (A) and the symmetric L-groups L (A) of a ring with involution

More information

Knots, von Neumann Signatures, and Grope Cobordism

Knots, von Neumann Signatures, and Grope Cobordism ICM 2002 Vol. II 437 446 Knots, von Neumann Signatures, and Grope Cobordism Peter Teichner Abstract We explain new developments in classical knot theory in 3 and 4 dimensions, i.e. we study knots in 3-space,

More information

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017 Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course

More information

THE TOTAL SURGERY OBSTRUCTION III

THE 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 information

AN INJECTIVITY THEOREM FOR CASSON-GORDON TYPE REPRESENTATIONS RELATING TO THE CONCORDANCE OF KNOTS AND LINKS

AN INJECTIVITY THEOREM FOR CASSON-GORDON TYPE REPRESENTATIONS RELATING TO THE CONCORDANCE OF KNOTS AND LINKS AN INJECTIVITY THEOREM FOR CASSON-GORDON TYPE REPRESENTATIONS RELATING TO THE CONCORDANCE OF KNOTS AND LINKS STEFAN FRIEDL AND MARK POWELL Abstract. In the study of homology cobordisms, knot concordance

More information

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy

More information

VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES

VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES THOMAS HÜTTEMANN Abstract. We present an algebro-geometric approach to a theorem on finite domination of chain complexes over

More information

Some examples of free actions on products of spheres

Some examples of free actions on products of spheres Topology 45 (2006) 735 749 www.elsevier.com/locate/top Some examples of free actions on products of spheres Ian Hambleton Department of Mathematics and Statistics, McMaster University, Hamilton, ON L8S

More information

arxiv:math/ v2 [math.at] 2 Oct 2004

arxiv: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 information

A SURGERY VIEW OF BOUNDARY LINKS STAVROS GAROUFALIDIS AND ANDREW KRICKER

A SURGERY VIEW OF BOUNDARY LINKS STAVROS GAROUFALIDIS AND ANDREW KRICKER A SURGERY VIEW OF BOUNDARY LINKS STAVROS GAROUFALIDIS AND ANDREW KRICKER Abstract. A celebrated theorem of Kirby identifies the set of closed oriented connected 3-manifolds ith the set of framed links

More information

/ 2 Andrew Ranicki spectrum of Z, and the generalized homology groups are the (1-connective) L- theory of the X-controlled Z-module category A (Z; X)

/ 2 Andrew Ranicki spectrum of Z, and the generalized homology groups are the (1-connective) L- theory of the X-controlled Z-module category A (Z; X) Doc. Math. J. DMV 1 Singularities, Double Points, Controlled Topology and Chain Duality Andrew Ranicki Received: August 7, 1998 Revised: February 10, 1999 Communicated by Joachim Cuntz Abstract. A manifold

More information

Hungry, Hungry Homology

Hungry, Hungry Homology September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of

More information

Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück

Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück July 11, 2006 Abstract The Borel Conjecture predicts that closed aspherical manifolds are topological rigid. We want to investigate

More information

On orderability of fibred knot groups

On orderability of fibred knot groups Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On orderability of fibred knot groups By BERNARD PERRON Laboratoire de Topologie, Université de Bourgogne, BP 47870 21078 - Dijon Cedex,

More information

MANIFOLDS WITH FUNDAMENTAL GROUP A GENERALIZED FREE PRODUCT. I

MANIFOLDS WITH FUNDAMENTAL GROUP A GENERALIZED FREE PRODUCT. I BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 6, November 1974 MANIFOLDS WITH FUNDAMENTAL GROUP A GENERALIZED FREE PRODUCT. I BY SYLVAIN E. CAPPELL* Communicated by William Browder, February

More information

Algebraic Topology Final

Algebraic 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 information

MAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS. Peter Teichner

MAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS. Peter Teichner Mathematical Research Letters 4, 283 293 (1997) MAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS Peter Teichner Abstract. We show that if the lower central series of the fundamental group of a closed oriented

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

More information

Math Homotopy Theory Hurewicz theorem

Math 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 information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

Betti numbers of abelian covers

Betti 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

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY 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 information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 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 information

SIGNATURES OF COLORED LINKS WITH APPLICATION TO REAL ALGEBRAIC CURVES

SIGNATURES OF COLORED LINKS WITH APPLICATION TO REAL ALGEBRAIC CURVES Journal of Knot Theory and Its Ramifications c World Scientific Publishing Company SIGNATURES OF COLORED LINKS WITH APPLICATION TO REAL ALGEBRAIC CURVES V. FLORENS Universidad de Valladolid vincent florens@yahoo.fr

More information

arxiv:math.at/ v1 22 Sep 1999

arxiv:math.at/ v1 22 Sep 1999 TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Xxxx XXXX, Pages 000 000 S 0002-9947(XX)0000-0 HOMOLOGY MANIFOLD BORDISM HEATHER JOHNSTON AND ANDREW RANICKI arxiv:math.at/9909130

More information

Lecture on Equivariant Cohomology

Lecture 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 information

3. Signatures Problem 27. Show that if K` and K differ by a crossing change, then σpk`q

3. Signatures Problem 27. Show that if K` and K differ by a crossing change, then σpk`q 1. Introduction Problem 1. Prove that H 1 ps 3 zk; Zq Z and H 2 ps 3 zk; Zq 0 without using the Alexander duality. Problem 2. Compute the knot group of the trefoil. Show that it is not trivial. Problem

More information

Fibered knots in low and high dimensions

Fibered knots in low and high dimensions Fibered knots in low and high dimensions Vincent Blanlœil Abstract. This paper is a survey of cobordism theory for knots. We first recall the classical results of knot cobordism, and next we give some

More information

Introduction (Lecture 1)

Introduction (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 information

Some distance functions in knot theory

Some 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 information

S. P. NOVIKOV. Date: Received 25 Nov 69. Translated by: L. Longdon. 1

S. P. NOVIKOV. Date: Received 25 Nov 69. Translated by: L. Longdon. 1 ALGEBRAIC CONSTRUCTION AND PROPERTIES OF HERMITIAN ANALOGS OF K-THEORY OVER RINGS WITH INVOLUTION FROM THE VIEWPOINT OF HAMILTONIAN FORMALISM. APPLICATIONS TO DIFFERENTIAL TOPOLOGY AND THE THEORY OF CHARACTERISTIC

More information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

SELF-EQUIVALENCES OF DIHEDRAL SPHERES

SELF-EQUIVALENCES OF DIHEDRAL SPHERES SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)

More information

L 2 ETA INVARIANTS AND THEIR APPROXIMATION BY UNITARY ETA INVARIANTS

L 2 ETA INVARIANTS AND THEIR APPROXIMATION BY UNITARY ETA INVARIANTS L 2 ETA INVARIANTS AND THEIR APPROXIMATION BY UNITARY ETA INVARIANTS STEFAN FRIEDL Abstract. Cochran, Orr and Teichner introduced L 2 eta invariants to detect highly non trivial examples of non slice knots.

More information

arxiv:math/ v1 [math.gt] 2 Nov 1999

arxiv:math/ v1 [math.gt] 2 Nov 1999 A MOVE ON DIAGRAMS THAT GENERATES S-EQUIVALENCE OF KNOTS Swatee Naik and Theodore Stanford arxiv:math/9911005v1 [math.gt] 2 Nov 1999 Abstract: Two knots in three-space are S-equivalent if they are indistinguishable

More information

Algebraic Topology exam

Algebraic 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 information

1. Algebraic vector bundles. Affine Varieties

1. 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 information

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0 NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of

More information

3-manifolds and their groups

3-manifolds and their groups 3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their

More information

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

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)

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) 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 information

L 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS

L 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 information

Double L-theory. P. H. Orson

Double L-theory. P. H. Orson Double L-theory P. H. Orson Doctor of Philosophy University of Edinburgh 2015 Declaration The candidate confirms that the work submitted is his own, except where work which has formed part of jointly-authored

More information

Math 6510 Homework 10

Math 6510 Homework 10 2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained

More information

p-divisible Groups and the Chromatic Filtration

p-divisible Groups and the Chromatic Filtration p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This

More information

1.1 Definition of group cohomology

1.1 Definition of group cohomology 1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to

More information

Seifert forms and concordance

Seifert forms and concordance ISSN 1364-0380 (on line) 1465-3060 (printed) 403 Geometry & Topology Volume 6 (2002) 403 408 Published: 5 September 2002 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Seifert forms and concordance

More information

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized

More information

Intersection Alexander polynomials

Intersection Alexander polynomials Intersection Alexander polynomials Greg Friedman Yale University Dept. of Mathematics 10 Hillhouse Ave PO Box 208283 New Haven, CT 06520 friedman@math.yale.edu Tel. 203-432-6473 Fax: 203-432-7316 April

More information

AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY

AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY 1 AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY Andrew Ranicki and Daniele Sepe (Edinburgh) http://www.maths.ed.ac.uk/ aar Maslov index seminar, 9 November 2009 The 1-dimensional Lagrangians

More information

MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS

MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS THOMAS G. GOODWILLIE AND JOHN R. KLEIN Abstract. Still at it. Contents 1. Introduction 1 2. Some Language 6 3. Getting the ambient space to be connected

More information

A Second Order Algebraic Knot Concordance Group. Mark Powell

A Second Order Algebraic Knot Concordance Group. Mark Powell A Second Order Algebraic Knot Concordance Group Mark Powell Doctor of Philosophy University of Edinburgh May 15, 2011 Declaration I declare that this thesis was composed by myself and that the work contained

More information

The Classification of (n 1)-connected 2n-manifolds

The Classification of (n 1)-connected 2n-manifolds The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected

More information

CONSTRUCTING PIECEWISE LINEAR 2-KNOT COMPLEMENTS

CONSTRUCTING PIECEWISE LINEAR 2-KNOT COMPLEMENTS CONSTRUCTING PIECEWISE LINEAR 2-KNOT COMPLEMENTS JONATHAN DENT, JOHN ENGBERS, AND GERARD VENEMA Introduction The groups of high dimensional knots have been characteried by Kervaire [7], but there is still

More information

Slice Knots. and the Concordance Group

Slice Knots. and the Concordance Group Slice nots and the Concordance Group Author: John Lesieutre Advisor: Prof. Peter ronheimer Submitted to the Harvard University Department of Mathematics in partial fulfillment of the requirements for the

More information

Topological K-theory, Lecture 3

Topological K-theory, Lecture 3 Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

On the non-existence of elements of Kervaire invariant one

On the non-existence of elements of Kervaire invariant one On the non-existence of elements of Kervaire invariant one Michael University of Virginia ICM Topology Session, Seoul, Korea, 2014 Poincaré Conjecture & Milnor s Question Milnor s Questions How many smooth

More information

AN INFINITE-DIMENSIONAL PHENOMENON IN FINITE-DIMENSIONAL METRIC TOPOLOGY

AN INFINITE-DIMENSIONAL PHENOMENON IN FINITE-DIMENSIONAL METRIC TOPOLOGY AN INFINITE-DIMENSIONAL PHENOMENON IN FINITE-DIMENSIONAL METRIC TOPOLOGY ALEXANDER N. DRANISHNIKOV, STEVEN C. FERRY, AND SHMUEL WEINBERGER Abstract. We show that there are homotopy equivalences h : N M

More information

Epsilon Surgery Theory

Epsilon Surgery Theory Epsilon Surgery Theory Steven C. Ferry and Erik K. Pedersen Contents 1. Introduction 168 2. Algebraic preliminaries 170 3. Bounded Poincaré complexes 174 4. Spivak normal fibre space 176 5. Surgery below

More information

INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319

INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319 Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher

More information

FORMAL GLUEING OF MODULE CATEGORIES

FORMAL GLUEING OF MODULE CATEGORIES FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on

More information

A duality on simplicial complexes

A 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 information

Geometry 9: Serre-Swan theorem

Geometry 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 information

On embedding all n-manifolds into a single (n + 1)-manifold

On 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 information

CW-complexes. Stephen A. Mitchell. November 1997

CW-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 information

arxiv: v1 [math.gt] 27 Dec 2018

arxiv: v1 [math.gt] 27 Dec 2018 THE DIHEDRAL GENUS OF A KNOT PATRICIA CAHN AND ALEXANDRA KJUCHUKOVA arxiv:181.1084v1 [math.gt] 7 Dec 018 Abstract. Let K S 3 be a Fox p-colored knot and assume K bounds a locally flat surface S B 4 over

More information

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,

More information

ALEXANDER-LIN TWISTED POLYNOMIALS

ALEXANDER-LIN TWISTED POLYNOMIALS Journal of Knot Theory and Its Ramifications c World Scientific Publishing Company ALEXANDER-LIN TWISTED POLYNOMIALS DANIEL S. SILVER and SUSAN G. WILLIAMS Department of Mathematics and Statistics, University

More information

Math 530 Lecture Notes. Xi Chen

Math 530 Lecture Notes. Xi Chen Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary

More information

1. Classifying Spaces. Classifying Spaces

1. Classifying Spaces. Classifying Spaces Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.

More information

On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group

On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group J. Harlander a, Jacqueline A. Jensen b, a Department of Mathematics, Western Kentucky University, Bowling Green, KY 42101, USA b Department

More information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

More information

Noncommutative localisation in algebraic K theory I

Noncommutative localisation in algebraic K theory I ISSN 1364-0380 (on line) 1465-3060 (printed) 1385 Geometry & Topology Volume 8 (2004) 1385 1425 Published: 27 October 2004 Noncommutative localisation in algebraic K theory I Amnon Neeman Andrew Ranicki

More information

38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form

38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form 38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines

More information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

Homological mirror symmetry via families of Lagrangians

Homological 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 information