EMBEDDINGS OF HOMOLOGY MANIFOLDS IN CODIMENSION 3 J. L. BRYANT AND W. MIO. 1. Introduction
|
|
- Reginald Short
- 5 years ago
- Views:
Transcription
1 EMBEDDINGS OF HOMOLOGY MANIFOLDS IN CODIMENSION 3 J. L. BRYANT AND W. MIO 1. Introduction Among the many problems attendant to the discovery of exotic generalized manifolds [2, 3] is the \normal bundle" problem, that is, the classication of neighborhoods of generalized manifolds tamely embedded in generalized manifolds (with the disjoint disks property). In this paper we study the normal structure of tame embeddings of a closed generalized manifold n into topological manifolds V n+q, q 3. If the local index {() 6= 1, then the codimension is necessarily 3 (see, e.g., Proposition 5.4 below). The main result is an extension to ENR homology manifolds of the classication of neighborhoods of locally at embeddings of topological manifolds obtained by Rourke and Sanderson in [10]. We show that for q 3 and n+q 5, germs of tame manifold q-neighborhoods of, or equivalently, controlled homeomorphism classes of (q, 1)-spherical manifold approximate brations over are in one-to-one correspondence with [; BT op q ], where BT op q is the classifying space for stable topological q-microbundle pairs [10]. Manifold approximate brations over topological manifolds have been studied by Hughes, Taylor and Williams in [5]. Our approach is to reduce the study of q-neighborhoods of to the classication of q-neighborhoods of a (stable) regular neighborhood of in euclidean space; this is done using the splitting theorem for manifold approximate brations proved in section 4. As applications, we obtain an analogue of Browder's theorem on smoothings and triangulations of Poincare embeddings (Theorem 5.1) and of the Casson-Haeiger-Sullivan-Wall embedding theorem (Corollary 5.2) for generalized manifolds. These were also obtained independently by Johnston in [6]. 2. Preliminaries A generalized n-manifold is a locally compact euclidean neighborhood retract (ENR) such that for each x 2, ( H k (; r fxg; Z) Z; if k = n, = 0; otherwise. A compact generalized n-manifold is orientable if there is a class 2 H n (; Z) such that the inclusion H n (; Z)! H k (; r fxg; Z) sends to a generator of H k (; r fxg; Z) for every x 2. Achoice of is an orientation for. A subset Y is 1-LCC in Y if, for every x 2 and neighborhood U of x in Y, there is a neighborhood V of x 2 Y such that the inclusion induced homomorphism 1 (V r )! 1 (U r ) is trivial. In codimension 3, we also refer to 1-LCC ENR subsets as tame subsets. Partially supported by NSF grant DMS
2 2 J. L. BRYANT AND W. MIO Given a space, a manifold approximate bration with ber F over is an approximate bration p: M!, where M is a topological manifold and the homotopy berofpis homotopy equivalent tof. (Equivalently, each p,1 (x) has the shape of the space F.) A group G ( 1 (F ) in our constructions) is K-at if Wh(G Z k ) = 0, for every k 0. Let p i : M i!, i 2f0;1g, be continuous maps. A controlled map f c from (M 0! ) to(m 1!) is a proper map f : M 0 [0; 1)! M 1 [0; 1) such that the composition M 0 [0; 1) f M 1 [0; 1) proj M 1 p 1 extends continuously to M 0 [0; 1] via p 0 on M 0 f1g. Similarly, controlled maps f c 0 ;fc 1: M 0! M 1 are controlled homotopic if there is a controlled map H c from M 0 I! to M 1! such that H c jm 0 f0g= f c 0 and Hc jm 1 f1g= f c 1. Controlled homeomorphisms and controlled homotopy equivalences are dened in the obvious way. Remark. (i) This denition is similar to that given in [5], except that we do not require controlled maps and homeomorphisms to be level preserving. However, controlled maps f : M 0 [0; 1)! M 1 [0; 1) are controlled homotopic to levelpreserving mappings through linear homotopies. Similarly, level-preserving controlled homotopic maps are controlled homotopic through level-preserving homotopies. (ii) If M 0 and M 1 are closed manifolds, h is a controlled homeomorphism of the manifold approximate brations p i : M i! with ber F, i 2f0;1g, and 1 (F )is K-at, then an innite sequence of applications of the thin h-cobordism theorem [8] allows us to assume that h preserves a sequence of levels converging to 1, that is, h(m 0 ftg)=m 1 ftg for an innite sequence of t's converging to 1. (iii) When we speak of controlled equivalences f c : M 0! M 1 without specifying the control map p 0 on the domain, it is assumed that p 0 = lim p 1 f t and t!1 that the limit exists, where f t (x) =f(x; t). Although part of our discussion could be carried out in greater generality, unless stated otherwise, we assume that manifold approximate brations p: M! have ber S q,1, q 3, that the total space M is a closed manifold, and that the base space is a closed ENR homology manifold. Let p: M! be a manifold approximate bration. A controlled structure on p is a controlled homotopy equivalence f c : N! M, where N! is a manifold approximate bration. The controlled structure set of p, Sc(p), is the collection of all controlled homeomorphism classes of controlled structures on p: M!. For computational purposes, we next identify Sc(p) with a certain bounded structure set, in the sense of Ferry and Pedersen [4]. Given p: M!, assume that is tamely embedded in S N, N large, and that is given the induced metric. Let O() denote the open cone on, and let }: M [0; 1)! O() be dened by ( (p(m);t); if t>0; }(m; t) = 0; if t =0,
3 EMBEDDINGS OF HOMOLOGY MANIFOLDS 3 where 0 denotes the cone point. We wish to identify Sc(p) and S >0 b (}), where S >0 b (}) is the bounded structure set of }: M [0; 1)! O() away from zero (see [4] for more details). Let :[0; 1)! [0; 1) be a homeomorphism. A radial reparametrization (via ) of a controlled structure f c on p: M! may fail to yield a bounded structure (away from 0) on }, ifconvergence near is too slow. This can be corrected with a suitable radial contraction of the given structure, as follows. Let : [0;1)! [0; 1) be a homeomorphism such that (x) x, for every x, and let f c be a controlled structure on p: M! represented, say, by the levelpreserving map f : M 0 [0; 1)! M [0; 1). The -contraction of f c is the controlled structure represented by the composition M 0 [0; 1) id,1 M 0 [0; 1) f M [0; 1) id M [0; 1): If the contraction is ne enough, then its radial reparametrization under gives a bounded structure on }: M [0; 1)! O() away from 0. Appropriate restrictions on admissible functions guarantee that controlled homeomorphic structures are mapped to equivalent bounded structures, thus dening a map Sc(p)! S >0 b (}). Conversely, if f 0 : N 0! M[0; 1) represents a bounded structure away from zero, then N 0 has a simply-connected, tame end with respect to the control map : N 0! given by the composition N 0 f 0 M [0; 1) proj M p : By the end theorem [8] we can assume that, in a neighborhood of the end, N 0 = N [0; 1), and that the maps t : N! given by t (x) =(x; t) converge to a spherical manifold approximate bration 1 : N!, as t! 1. Moreover, 1 : N! is controlled homotopy equivalent top:m!, under the map induced by f 0. This establishes a one-to-one correspondence Sc 0 M # A,! >0 S b between controlled and bounded structure sets. M [0; 1) # O() 1 A 3. Local structure Let n be a closed oriented generalized n-manifold and V n+q a topological manifold, q 3. If is 1-LCC in V and q 3, then has a mapping cylinder neighborhood E = C p, where is a manifold approximate bration with homotopy bers q,1 [8, 12]. Moreover, this spherical manifold approximate bration structure is well dened up to controlled homeomorphismsover. Conversely, by Proposition 3.1 below, any such spherical manifold approximate bration arises as the normal structure of a tame embedding of. This result is a consequence of Edwards-Quinn's characterization of manifolds, and is proven in [8] for polyhedral homology manifolds. Proposition 3.1. If p is a manifold approximate bration with homotopy ber S q,1, q 3, then the mapping cylinder E = C p of p is a topological manifold, provided that n + q 5. Furthermore, is tamely embedded ineas the zero section.
4 H H 4 J. L. BRYANT AND W. MIO Classifying manifold neighborhoods of is, therefore, equivalent to classifying spherical manifold approximate brations over, up to controlled homeomorphisms. We rst address this problem within a xed controlled homotopytype over. Let be a manifold approximate bration with homotopy bers q,1, and let p 1 1! be a manifold approximate bration controlled equivalent to pvia a level-preserving controlled homotopy 1 [0; 1) [0; 1) : p The map induces a homotopy equivalence ~ :(E 1 ;@E 1 )! where E 1 and E are the mapping cylinders of p 1 and p, respectively. Let ( ~ ) 2 [E; G=Top] = [; G=Top] = H n (; G=Top) be the normal invariant of ~. Normal invariants of mapping cylinders induce a map : # 1 A,! Hn (; G=Top) given by ([ c ]) = ( ~ ), for any controlled structure c. Proposition 3.2. is a bijection. Proof. The result follows from a comparison of the controlled surgery exact sequence of with the G=Top-homology Gysin sequence of It is a consequence of the 5-lemma applied to the commutative diagram H n+q (; L) = H n+q,1 (@E; G=Top) H n+q,1 (; L) id = H n+q (E; G=Top) n (; G=Top) n+q,1 (@E; G=Top) n+q,1 (E; G=Top) The rst row is the bounded surgery sequence away from 0 [0; 1)! O(), under the identication of structure sets described in section 2. The second row is the G=Top-homology exact sequence of the pair with the term H n+q G=Top) identied with [E; G=Top] = [; G=Top] = H n (; G=Top), via Poincare duality. For k 1, the isomorphism H n+k (; L) = H n+k (; G=Top) follows from the Atiyah-Hirzebruch spectral sequence. Wenow consider the general classication problem. Let Nq() be the collection of germs of tame codimension q manifold neighborhoods of. Twoembeddings k : n! Vk n+q, k 2f1;2g, represent the same element of Nq(), if there are neighborhoods N k of in V k, and a homeomorphism h: N 1! N 2 such that h 1 = 2. Our previous discussion shows that Nq() is in 1{1 correspondence with controlled homeomorphism classes of (q, 1)-spherical manifold approximate brations over. Let BT op q+k;k denote the classifying space for topological microbundle pairs k k+q, where k denotes the trivial microbundle of rank k. In [10], Rourke and
5 EMBEDDINGS OF HOMOLOGY MANIFOLDS 5 Sanderson showed that if M is a topological manifold, there is a bijection : Nq(M)! [M; BT op q ]; where BT op q = lim k!1 BT op q+k;k.tothe embedding M V, they associate the pair M M V j M M, which represents the \formal" normal bundle of M in V. Here, M is a stable inverse to M. A closed generalized manifold has a canonical (up to controlled homeomorphisms) stable normal spherical manifold approximate bration structure on the Spivak normal bration determined by neighborhoods of embeddings of in large euclidean spaces; we shall denote it. The uniqueness of this stable structure follows from the relative end theorem and the thin h-cobordism theorem [8] applied to a concordance between any twoembeddings of in R N, N large. On the other hand, Ferry and Pedersen have shown that the Spivak normal bration of an ENR homology manifold has a canonical Top reduction fp [4]. Notice that, if the local index of 6= 1,we cannot have a simultaneous geometric realization of both structures since the index is multiplicative. In other words, we cannot have atop-bundle over whose total space is a manifold. Our approach is to use both and fp to reduce the study of q-neighborhoods of to the study of q-neighborhoods of a (stable) neighborhood of in euclidean space. The fact that there is a bijective correspondence between these is stated as Corollary 3.4. We begin by dening : Nq()! [; BT op q ], for any closed generalized manifold. Let n V n+q be a tame embedding, q 3, and let E = C p be a mapping cylinder neighborhood of with projection p: E!. Let W be the total space of = p ( fp ). Since has the same controlled homotopy type as fp, and j = fp, the splitting theorem proved in the next section shows that is controlled homeomorphic to an approximate bration that restricts to over. Moreover, the mapping cylinder N of the projection of is embedded in W as a locally at submanifold. N W E Figure 3:1 A relative version of this construction shows that any two such splittings are concordant. Therefore, the assignment V 7! N j N j W j N j induces a classifying map : Nq()! [; BT op q ], which coincides with the Rourke- Sanderson map when is a topological manifold. Theorem 3.3. Let n be a closed generalized manifold. The map : Nq()! [; BT op q ] is a bijection, provided that q 3 and n + q 5. Using the same notation, dene }: Nq()! Nq(N) by associating to V the q-neighborhood N W. Corollary 3.4. }: Nq()! Nq(N) is a bijection.
6 [N; E 6 J. L. BRYANT AND W. MIO Proof. Neighborhoods of N are classied by 1 : Nq(N)! [N; BT op q ], where 1 ([ V ]) is represented by the microbundle pair N N W j N N [10]. Therefore, there is a commutative diagram Nq() } Nq(N) [; BT op q ] The result follows from Theorem 3.3. = 1 BT op q ]: Proof of Theorem 3.3. is injective. Let p i i!, i 2 f0;1g,be(q,1)-spherical manifold approximate brations such that ( E 0 )=(E 1 ). Adding subscripts to the notation introduced above (see gure 3.1), Theorem 3.2b of [10] implies that W 0 and W 1 are equivalent neighborhoods of N, i.e., there is a homeomorphism H : W 1! W 0 inducing the identity onn. Analogous to BT op q, there is a classifying space BG q for pairs of spherical brations [10]. Since such pairs split uniquely, BG q is homotopy equivalent to the classifying space for spherical brations BG q. Since controlled homotopy classes of approximate brations are in one-to-one correspondence with ber homotopy classes of spherical brations under the path bration map [5], the fact that the image of ( E 0 ) and ( E 1 ) are the same under the forgetful map BT op q! BG q implies that H induces a controlled homotopy equivalence f c 0 over, which gives a homotopy equivalence f ~ : E 1! E 0 of mapping cylinders. By Proposition 3.2, to establish the injectivity of, it suces to show that the normal invariant of f ~ is trivial. Since f ~ restricts to the identity on, and W i is the total space of the bundle over E i obtained as the pull-back of fp under the projection p i : E i!, there is a bundle map F : W 1! W 0 W 1 F W 0 p 1 E 1 ~ f p 0 0 : covering ~ f : E 1! E 0. Therefore, the normal invariants (F ) 2 [W 0 ; G=Top] = [; G=Top] and ( ~ f) 2 [E 0 ; G=Top] = [; G=Top] are the same. Since F can be assumed to be homotopic to H as maps of pairs, it follows that ( ~ f)=(f)=0. is surjective. Let the microbundle pair k q+k represent a given element 2 [; BT op q ]. Let be the (q, 1)-spherical bration underlying, and let E be the mapping cylinder of p. Abusing notation, the natural projection p: E! gives (E;@E) the structure of an arbitrarily ne Poincare space over. Furthermore, as stable spherical brations (3.1) fp = sp E j ; where E sp is the Spivak normal bration of E. Therefore, equation 3.1 determines a Top reduction of E sp j. Since E deformation retracts to, we also obtain a Top
7 EMBEDDINGS OF HOMOLOGY MANIFOLDS 7 reduction of sp E. Let (E;@E) p be a surgery problem associated to this reduction. Crossing with R, we obtain a bounded surgery problem ( ~ M;@ ~ M) ~ (ER;@ER) p 0 O( + ) where + = qfagis a disjoint union, and in \polar coordinates" in O( + ), ( p 0 (x; t); if t>0; (x; t) = (a; jtj); if t 0. By the bounded, theorem [4], we can assume that ~ is a bounded homotopy equivalence. Now, we split this equivalence near 1 to obtain a manifold approximate bration over. ~ M has a tame end (near +1) with respect to the ~ M R p ; we can assume by the end theorem that in a neighborhood of the ~ M ~ E 1 [0; 1). For each 0<t<1, let p t 1! be the 1 ftg proj Then, p 1 = lim t!1 p t 1! is a manifold approximate bration such that the spherical brations underlying ( E 1 ) and are the same. The stability theorem for G q =T op q [10], q 3, gives a pull-back diagram E BT op q BTop p : BG q BG: Hence, the dierence between and ( E 1 ) is stable, and denes an element 2 [; G=Top] = H n (; G=Top). Proposition 3.2 applied to p 1 : E 1! gives a manifold approximate and a controlled equivalence 1 such that ([ c ]) =. Then, ( E) =. This concludes the proof. Corollary 3.5. Let n be a closed generalized manifold. If q 3 and n + q 5, (q, 1)-spherical manifold approximate brations over are classied bybtop q, i.e., there is a one-to-one correspondence between controlled homeomorphism classes of (q, 1)-spherical manifold approximate brations over and [; BT op q ].
8 8 J. L. BRYANT AND W. MIO Since BG q! BG q is a homotopy equivalence and G q =T op q is stable when q 3, the classication of spherical manifold approximate bration structures obtained in Proposition 3.2 can be rephrased in terms of reductions of structural groups, as follows. Corollary 3.6. Let be a closed generalized n-manifold, and let be a(q,1)- spherical bration over. If q 3 and n + q 5, then manifold approximate brations over ber homotopy equivalent to are in 1{1 correspondence with ber homotopy classes of lifts to BT op q of the map! BG q that classies. Remark. The classication of manifold approximate brations with spherical bers obtained in Corollary 3.5, the H-space structure on BTop induced by Whitney sums of bundles, and the stability theorem for G q =T op q, for q 3, suggest possible denitions of Whitney sums and pull-backs of spherical manifold approximate brations over ENR homology manifolds. However, such denitions do not seem to be entirely satisfactory. For example, one would not obtain product formulae for characteristic classes, since 0-dimensional classes (like the local index of a homology manifold) are not visible to the operation in BTop arising from Whitney sums of bundles. In order to account for these, it appears to be necessary to address the more general classication problem of tame neighborhoods of generalized manifolds in generalized manifolds with the disjoint disks property. We conjecture that these q-neighborhoods are classied by BT op q Z. From the viewpoint ofthe techniques utilized in this paper, the main obstacles to completing such a study are the validity of the s-cobordism theorem and of the simply-connected end theorem for generalized manifolds with the disjoint disks property. 4. A splitting theorem Let E m be a compact topological m-manifold, and p: M m+r! E be a manifold approximate bration with homotopy ber F, where F is a closed r-manifold. For the duration of this section we adopt the following notation: if A E, then ^A = p,1 (A) M. Let n E m be a closed ENR homology manifold tamely embedded in E, and let q : ^! denote the restriction of p to ^. In this generality, ^ is not necessarily an ANR, and q may not be an approximate bration. Denition 4.1. p: M! E is split along, if ^is a closed (n + r)-manifold tamely embedded in M, and q = pj ^ : ^! is an approximate bration. Suppose q 1 : N! is an approximate bration with homotopy berf, where N is a closed (n + r)-manifold Theorem 4.2. If q 1 : N! is berwise shape equivalent to q : ^! over, m, n 3, r 3, n + r 5, and 1 (F ) is K-at, then p: M! E is controlled homeomorphic to an approximate bration p 1 : M! E, which is split along and restricts to q 1 over. Proof. Let V be a mapping cylinder neighborhood of in E with mapping cylinder projection : V!. Then int ^V has a tame end (the control map being the composition of p with projection on a collar ). Since 1 (F )=0, ^V has a controlled collar at 1 [8]. Let U be a compact manifold in int ^V containing ^ obtained by removing a small open collar from the end of ^V. Then
9 EMBEDDINGS OF HOMOLOGY MANIFOLDS 9 the inclusion ^ U is a shape equivalence. The map p: U r ^! also has a tame end, hence a controlled collar at 1. Thus U has a \mapping-cylinder-like" structure over ^, controlled over, in the sense that small neighborhoods of ^ in U can be isotopied arbitrarily close to ^ by isotopies that x ^ and are controlled over. (That is, ^ is a tame FANR in U over.) Since the manifold approximate bration q 1 : N! is berwise shape equivalent top: ^!, there is a controlled homotopy equivalence G c : N! U over. Let G: N [0; 1)! U [0; 1) represent G c. As in section 2, under an appropriate radial reparametrization, we may assume that G is a bounded homotopy equivalence over O(), the open cone on. By the bounded analogue of the Casson-Haeiger- Sullivan-Wall embedding theorem [11], after a bounded homotopy over O(), we can assume that G is an embedding. Pushing the image of G toward ^ using the mapping-cylinder-like structure on U, wemay also assume that G(N ftg) ^V t, where V t V is the part of the mapping cylinder having mapping cylinder parameter t. Set Z = G(N [0; 1) [ ^ f1g) U[0; 1]. Then U [0; 1]rZ has a tame end over, hence, a controlled collar over. The closed region between a boundary of the end [0; 1] is a thin h-cobordism of triples (over ), hence, a product. Thus, there is a controlled homeomorphism ([0; 1]; 0; 1) [0; 1)! U ([0; 1]; 0; 1) r Z over, with j@u [0; 1] [0;] = id for some >0. It is not dicult to show that (@U [0; 1]ftg)isan(t)-thin h-cobordism over, where (t)! 0ast!1. Thus, an innite sequence of applications of the thin h-cobordism theorem yields a homeomorphism h: (Ur^)[0; 1]! (U [0; 1]rZ), controlled over. The composition pprojh,1 :(U[0; 1]rZ)! V r extends to a map H : U [0; 1]! V. Since h is the identity in a neighborhood H can be used to deform p to an approximate bration p 1 that agrees with p outside U and with q 1 on N = G(N f0g), and is controlled homeomorphic to p. 5. Taming Poincare embeddings Let n be a closed generalized manifold and V n+q a compact topological manifold. Following [1] (see also [7, 11]), we dene a Poincare embedding of in V to be a triple consisting of (i) a (q, 1)-spherical bration over, with projection ; (ii) a nite Poincare pair (iii) a (simple) homotopy equivalence h: C [ E! V, where E is the mapping cylinder of p, and C \ E Remark. 1. If is tamely embedded in V, let the spherical manifold approximate - bration represent the normal structure to. Under the path bration construction, this approximate bration determines a spherical bration over which is controlled homotopy equivalent to p:@e!. Thus, underlying any tame embedding, there is a Poincare embedding of in V. 2. Lemma 11.1 of [11] shows that (ii) follows from (iii), when q 3. As in smoothing theory, we rst consider reductions of the structural group of p: E! to T op q. GivenaPoincare embedding h: C E! V, let f s be the
10 10 J. L. BRYANT AND W. MIO composition i E C E h V i V R k ; k large. By general position, we can assume that f s is a tame embedding. Since any other embedding homotopic to f s is concordant tof s, the stable controlled homeomorphism type of the normal spherical manifold approximate bration is well-dened. Thus, associated to a Poincare embedding h: C E! V, there is a natural stable Top-reduction The stability theorem [10] for G q =T op q, q 3, implies the same unstably, that is, associated to a Poincare embedding, there is a canonical T op q -reduction We now state the extension of Browder's \Top-Hat" theorem to embeddings of ENR homology manifolds into topological manifolds (see also [6]). For smooth or PL manifolds, a proof of this result is given in [11]. Theorem 5.1. Let (;(C; E);h) be a Poincare embedding of a closed generalized manifold n into a compact topological manifold V n+q, with q 3 and n + q 5. Then, there is a tame embedding of in V inducing the given Poincare embedding. Proof. The proof follows much the same line as the proof of Theorem 11.3 of [11]. Let represent the canonical Top q -reduction is a (q, 1)-spherical manifold approximate bration. Since c induces a simple homotopy equivalence : ~ E! E, wemayassume that E = E and h: C [@E E! V. Let g : V! C E be a homotopy inverse to h. After removing a small open collar from E, we can assume that g is transverse Let A = g,1 (E). Then gja: is a degree 1 normal with normal invariant 2 [ E; G=Top] = [ ; G=Top ] = H n (; G=Top). Proposition 3.2 implies that there is a manifold approximate bration p 1 1! and a controlled homotopy equivalence c such that ( ~) =. Hence, there is a normal bordism F 1 :(U; U 0 )! between g and ~: (E 1 ;@E 1 Identify A U with A f1gv f1gv I to obtain W =(VI)[ A U. There is a degree-one normal map F :(W;Vf0g;@ + W)! (C[EI;C[Ef0g;C[Ef1g) inducing h on V f0g and ~ on E + W.By the, theorem we can do surgery on W rel V f0g[e 1 to get an s-cobordism W 0 between V f0gand V 0, with E 2 V 0. By the s-cobordism theorem W 0 = V I; hence, we get an embedding f : E 1,! V realizing the given Poincare embedding. Notice that 1! arises as the normal structure to under the embedding 1! is controlled homeomorphic Corollary 5.2. Suppose n is a closed generalized n-manifold, V n+q is a compact topological (n + q)-manifold, (n + q) 5, q 3, and f :! V is a homotopy equivalence. Then f is homotopic to a tame embedding. Proof. Identical to the proof of Corollary of [11]. Corollary 5.3. Suppose that is a closed generalized n-manifold, n 5. Then there is a tame embedding of into a topological manifold of dimension n +3. Proof. By [4], the Spivak normal bration of admits a Top-reduction, which gives a degree-one normal map f : M!, where M is a topological n-manifold. By the, theorem, we can do surgery on f id: M B 3! B 3, to get a (simple)
11 EMBEDDINGS OF HOMOLOGY MANIFOLDS 11 homotopy equivalence F )! ( B 3 ; S 2 ). Apply 5.2 to a homotopy inverse of F restricted to. In contrast to 5.3 we have the following well-known fact. Proposition 5.4. If is a closed generalized n-manifold and () 6= 1, then there is no compact topological manifold ) controlled homotopy equivalent to ( B 2 ;S 1 ) over. Proof. If there were, the innite cyclic cover U corresponding to the Z-factor of 1 (@V )would have a tame end over. The end theorem would then produce a completion U of the end over, hence, a cell-like that is, a resolution of. But this would imply that () = 1[9]. References [1] W. Browder, Embedding smooth manifolds, Proc. Internat. Cong. Mathematicians, Moscow (1968), 712{719. [2] J. Bryant, S. Ferry, W. Mio and S. Weinberger, Topology of homology manifolds, Bull. Amer. Math. Soc. 28 (1993), 324{328. [3], Topology of homology manifolds, Ann. of Math. 143 (1996), 435{467. [4] S. C. Ferry and E. K. Pedersen, Epsilon surgery theory, in Novikov conjectures, index theorems and rigidity,vol. 2 (Oberwolfach, 1993), 167{226, London Math. Soc. Lecture Ser., 227, Cambridge University Press, Cambridge, [5] C. B. Hughes, L. R. Taylor and E. B. Williams, Bundle theories for topological manifolds, Trans. Amer. Math. Soc. 319 (1990), 1{65. [6] H. Johnston, Transversality for non-manifolds, Thesis, The University of Chicago, [7] N. Levitt, On the structure of Poincare duality spaces, Topology 7 (1968), 369{388. [8] F. Quinn, Ends of maps I, Ann. of Math. 110 (1979), 275{331. [9], An obstruction to the resolution of homology manifolds, Michigan Math. J. 301 (1987), 285{292. [10] C. P. Rourke and B. J. Sanderson, On topological neighborhoods, Compositio Math. 22 (1970), 387{424. [11] C. T. C. Wall, Surgery on compact manifolds, Academic Press, [12] J. E. West, Mapping Hilbert cube manifolds to ANR's: a solution to a conjecture of Borsuk, Ann. of Math. 106 (1977), 1{18. Department of Mathematics, Florida State University, Tallahassee, FL address, J. L. Bryant: bryant@math.fsu.edu address, W. Mio: mio@math.fsu.edu
EMBEDDINGS OF TOPOLOGICAL MANIFOLDS
EMBEDDINGS OF TOPOLOGICAL MANIFOLDS ERIK KJÆR PEDERSEN It is the purpose of this paper to combine the methods of [8] and [9] to prove Haefliger type embedding theorems for topological manifolds. We prove
More informationarxiv: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 informationUV k -Mappings. John Bryant, Steve Ferry, and Washington Mio. February 21, 2013
UV k -Mappings John Bryant, Steve Ferry, and Washington Mio February 21, 2013 Continuous maps can raise dimension: Peano curve (Giuseppe Peano, ca. 1890) Hilbert Curve ( 1890) Lyudmila Keldysh (1957):
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationEXOTIC 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 informationarxiv:math/ v1 [math.gt] 16 Aug 2000
arxiv:math/0008118v1 [math.gt] 16 Aug 2000 Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms J. Scott Carter University of South Alabama Mobile, AL 36688 cartermathstat.usouthal.edu Masahico
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More 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)
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 informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA 1, DENISE DE MATTOS 2, AND EDIVALDO L. DOS SANTOS 3 Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationOn the homotopy invariance of string topology
On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative
More informationDesingularizing homology manifolds
Geometry & Topology 11 (2007) 101 999 101 Desingularizing homology manifolds J BRYANT S FERRY W MIO S WEINBERGER We prove that if n, n 6, is a compact ANR homology n manifold, we can blow up the singularities
More informationINERTIA 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 informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationENDS OF MANIFOLDS: RECENT PROGRESS
ENDS OF MANIFOLDS: RECENT PROGRESS CRAIG R. GUILBAULT Abstract. In this note we describe some recent work on ends of manifolds. In particular, we discuss progress on two different approaches to generalizing
More informationREAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba
REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationTopological 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 informationEpsilon 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 informationSURGERY ON POINCARÉ AND NORMAL SPACES 1
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 2, March 1972 SURGERY ON POINCARÉ AND NORMAL SPACES 1 BY FRANK QUINN Communicated by M. F. Atiyah, October 4, 1971 1. The object of this
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationTHE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES
THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES SPUR FINAL PAPER, SUMMER 2017 JUAN CARLOS ORTIZ MENTOR: JACKSON HANCE Abstract Given a manifold M, Milnor and Stasheff studied in [1] the diagonal cohomology
More informationTHE TOTAL SURGERY OBSTRUCTION III
THE TOTAL SURGERY OBSTRUCTION III TIBOR MACKO Abstract. The total surgery obstruction s(x) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group S n(x) with the property
More informationMANIFOLDS 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 informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
More informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationComparing the homotopy types of the components of Map(S 4 ;BSU(2))
Journal of Pure and Applied Algebra 161 (2001) 235 243 www.elsevier.com/locate/jpaa Comparing the homotopy types of the components of Map(S 4 ;BSU(2)) Shuichi Tsukuda 1 Department of Mathematical Sciences,
More informationL 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 informationCOMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY
COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY MARK MCLEAN arxiv:1109.4466v1 [math.sg] 21 Sep 2011 Abstract. For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic
More information3-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 informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationEXACT 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 informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More informationarxiv: v1 [math.gt] 23 Mar 2018 a Dipartimento di Matematica "Federigo Enriques", Università degli Studi di Milano,
The relationship of generalized manifolds to Poincaré duality complexes and topological manifolds Friedrich Hegenbarth a and Dušan Repovš b March 26, 2018 arxiv:1803.08701v1 [math.gt] 23 Mar 2018 a Dipartimento
More informationEXCISION ESTIMATES FOR SPACES OF DIFFEOMORPHISMS. Thomas G. Goodwillie. Brown University
EXCISION ESTIMATES FOR SPACES OF DIFFEOMORPHISMS Thomas G. Goodwillie Brown University Abstract. [This is not finished. The surgery section needs to be replaced by a reference to known results. The obvious
More informationAN EXPLICIT FAMILY OF EXOTIC CASSON HANDLES
proceedings of the american mathematical society Volume 123, Number 4, April 1995 AN EXPLICIT FAMILY OF EXOTIC CASSON HANDLES 2ARKO BIZACA (Communicated by Ronald Stern) Abstract. This paper contains a
More informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
More informationEZ-structures and topological applications.
EZ-structures and topological applications. F. T. Farrell & J.-F. Lafont May 7, 2004 Abstract In this paper, we introduce the notion of an EZ-structure on a group, an equivariant version of the Z-structures
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationThe relationship between framed bordism and skew-framed bordism
The relationship between framed bordism and sew-framed bordism Pyotr M. Ahmet ev and Peter J. Eccles Abstract A sew-framing of an immersion is an isomorphism between the normal bundle of the immersion
More informationProposition 5. Group composition in G 1 (N) induces the structure of an abelian group on K 1 (X):
2 RICHARD MELROSE 3. Lecture 3: K-groups and loop groups Wednesday, 3 September, 2008 Reconstructed, since I did not really have notes { because I was concentrating too hard on the 3 lectures on blow-up
More informationNONTANGENTIAL HOMOTOPY EQUIVALENCES
PACIFIC JOURNAL OF MATHEMATICS Vol. 36, No. 3, 1971 NONTANGENTIAL HOMOTOPY EQUIVALENCES VICTOR A. BELFI The purpose of this paper is to apply surgery techniques in a simple, geometric way to construct
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationSIMPLE WHITNEY TOWERS, HALF-GROPES AND THE ARF INVARIANT OF A KNOT. Rob Schneiderman
SIMPLE WHITNEY TOWERS, HALF-GROPES AND THE ARF INVARIANT OF A KNOT Rob Schneiderman A geometric characterization of the Arf invariant of a knot in the 3 sphere is given in terms of two kinds of 4 dimensional
More informationMathematische Zeitschrift
Math. Z. 177, 187-192 (1981) Mathematische Zeitschrift 9 Springer-Verlag 1981 Spherical Fibrations and Manifolds Cornelia Wissemann-Hartmann Institut ffir Mathematik, Ruhr-Universit~t Bochum, D-4630 Bochum,
More informationEQUIVARIANT 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 informationCLOSED (J-I)-CONNECTED (2J+1)-MANIFOLDS, s = 3, 7.
CLOSED (J-I)-CONNECTED (2J+1)-MANIFOLDS, s = 3, 7. DAVID L. WILKENS 1. Introduction This paper announces certain results concerning closed (s l)-connected (2s +1)- manifolds P, where s = 3 or 7. (Here
More informationSURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds relate
SURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds related to nite type invariants. The rst one requires to
More informationarxiv: v3 [math.gt] 20 Jan 2019
LIFTS OF SPHERICAL MORSE FUNCTIONS arxiv:1805.05852v3 [math.gt] 20 Jan 2019 NAOKI KITAZAWA Abstract. In studies of smooth maps with good differential topological properties such as immersions and embeddings,
More informationIntroduction to Poincare Conjecture and the Hamilton-Perelman program
Introduction to Poincare Conjecture and the Hamilton-Perelman program David Glickenstein Math 538, Spring 2009 January 20, 2009 1 Introduction This lecture is mostly taken from Tao s lecture 2. In this
More informationTHREE LECTURES ON TOPOLOGICAL MANIFOLDS
THREE LECTURES ON TOPOLOGICAL MANIFOLDS ALEXANDER KUPERS Abstract. We introduce the theory of topological manifolds (of high dimension). We develop two aspects of this theory in detail: microbundle transversality
More informationInvariants of knots and 3-manifolds: Survey on 3-manifolds
Invariants of knots and 3-manifolds: Survey on 3-manifolds Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 10. & 12. April 2018 Wolfgang Lück (MI, Bonn)
More informationEMBEDDINGS IN GENERALIZED MANIFOLDS J. L. BRYANT AND W. MIO. Abstract. We prove that a (2m, n + 1)-connected map f : M m! X n from
EMBEDDINGS IN GENERALIZED MANIFOLDS J. L. BRYANT AND W. MIO Abstract. We prove that a (2m, n + 1)-connected map f : M m! X n from a compact PL m-manifold M to a generalized n-manifold X with the disjoint
More informationHYPERBOLIC GROUPS WITH BOUNDARY AN n-dimensional SIERPINSKI SPACE
HYPERBOLIC GROUPS WITH BOUNDARY AN n-dimensional SIERPINSKI SPACE JEAN-FRANÇOIS LAFONT AND BENA TSHISHIKU Abstract. For n 7, we show that if G is a torsion-free hyperbolic group whose visual boundary G
More informationRIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1
More informationManifolds homotopy equivalent to RP 4 #RP 4
Manifolds homoy equivalent to RP 4 #RP 4 1 Manifolds homoy equivalent to RP 4 #RP 4 By BJØRN JAHREN Dept of Math, University of Oslo, Po.box 1053 Blindern, 0316 Oslo, Norway e-mail: bjoernj@math.uio.no
More informationOn open 3-manifolds proper homotopy equivalent to geometrically simply-connected polyhedra
arxiv:math/9810098v2 [math.gt] 29 Jun 1999 On open 3-manifolds proper homotopy equivalent to geometrically simply-connected polyhedra L. Funar T.L. Thickstun Institut Fourier BP 74 University of Grenoble
More informationThe homotopies of admissible multivalued mappings
Cent. Eur. J. Math. 10(6) 2012 2187-2199 DOI: 10.2478/s11533-012-0115-6 Central European Journal of Mathematics The homotopies of admissible multivalued mappings Research Article Mirosław Ślosarski 1 1
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationCoarse Geometry. Phanuel Mariano. Fall S.i.g.m.a. Seminar. Why Coarse Geometry? Coarse Invariants A Coarse Equivalence to R 1
Coarse Geometry 1 1 University of Connecticut Fall 2014 - S.i.g.m.a. Seminar Outline 1 Motivation 2 3 The partition space P ([a, b]). Preliminaries Main Result 4 Outline Basic Problem 1 Motivation 2 3
More informationCutting and pasting. 2 in R. 3 which are not even topologically
Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.
More informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More informationExotic 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 informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS On self-intersection of singularity sets of fold maps. Tatsuro SHIMIZU.
RIMS-1895 On self-intersection of singularity sets of fold maps By Tatsuro SHIMIZU November 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On self-intersection of singularity
More informationSYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO
SYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO. Introduction A Lefschetz pencil is a construction that comes from algebraic geometry, but it is closely related with symplectic geometry. Indeed,
More informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
More informationClassification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres
Classification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres John Milnor At Princeton in the fifties I was very much interested in the fundamental problem of understanding
More informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationON KIRBY CALCULUS FOR NULL-HOMOTOPIC FRAMED LINKS IN 3-MANIFOLDS
ON KIRBY CALCULUS FOR NULL-HOMOTOPIC FRAMED LINKS IN 3-MANIFOLDS KAZUO HABIRO AND TAMARA WIDMER Abstract. Kirby proved that two framed links in S 3 give orientationpreserving homeomorphic results of surgery
More informationA DECOMPOSITION FORMULA FOR EQUIVARIANT STABLE HOMOTOPY CLASSES
A DECOMPOSITION FORMULA FOR EQUIARIANT STABLE HOMOTOPY CLASSES WAC LAW MARZANTOWICZ AND CARLOS PRIETO Dedicated to Albrecht Dold and Ed Fadell Abstract. For any compact Lie group G, we give a decomposition
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationOxford 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 informationFIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets.
FIRST SSIGNMENT DUE MOND, SEPTEMER 19 (1) Let E be an equivalence relation on a set. onstruct the set of equivalence classes as colimit in the category Sets. Solution. Let = {[x] x } be the set of equivalence
More informationA Theorem of Sanderson on Link Bordisms in Dimension 4
ISSN 1472-2739 (on-line) 1472-2747 (printed) 299 Algebraic & Geometric Topology Volume 1 (2001) 299 310 Published: 23 May 2001 ATG A Theorem of Sanderson on Link Bordisms in Dimension 4 Abstract J. Scott
More informationPIECEWISE LINEAR TOPOLOGY
PIECEWISE LINEAR TOPOLOGY J. L. BRYANT Contents 1. Introduction 2 2. Basic Definitions and Terminology. 2 3. Regular Neighborhoods 9 4. General Position 16 5. Embeddings, Engulfing 19 6. Handle Theory
More informationGeometry of subanalytic and semialgebraic sets, by M. Shiota, Birkhäuser, Boston, MA, 1997, xii+431 pp., $89.50, ISBN
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 36, Number 4, ages 523 527 S 0273-0979(99)00793-4 Article electronically published on July 27, 1999 Geometry of subanalytic and semialgebraic
More informationarxiv: v1 [math.gt] 25 Jan 2011
AN INFINITE FAMILY OF CONVEX BRUNNIAN LINKS IN R n BOB DAVIS, HUGH HOWARDS, JONATHAN NEWMAN, JASON PARSLEY arxiv:1101.4863v1 [math.gt] 25 Jan 2011 Abstract. This paper proves that convex Brunnian links
More informationSome 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 informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More informationThe 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 informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationMULTIPLE 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 informationTHE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*
THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated
More informationStabilization as a CW approximation
Journal of Pure and Applied Algebra 140 (1999) 23 32 Stabilization as a CW approximation A.D. Elmendorf Department of Mathematics, Purdue University Calumet, Hammond, IN 46323, USA Communicated by E.M.
More informationGlobalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1
Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed
More information1. 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 informationHOMOLOGICAL DIMENSIONS AND REGULAR RINGS
HOMOLOGICAL DIMENSIONS AND REGULAR RINGS ALINA IACOB AND SRIKANTH B. IYENGAR Abstract. A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the
More informationMicro-support of sheaves
Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book
More informationOn the Asphericity of One-Point Unions of Cones
Volume 36, 2010 Pages 63 75 http://topology.auburn.edu/tp/ On the Asphericity of One-Point Unions of Cones by Katsuya Eda and Kazuhiro Kawamura Electronically published on January 25, 2010 Topology Proceedings
More informationLecture 4: Knot Complements
Lecture 4: Knot Complements Notes by Zach Haney January 26, 2016 1 Introduction Here we discuss properties of the knot complement, S 3 \ K, for a knot K. Definition 1.1. A tubular neighborhood V k S 3
More information