Simply-connected -manifolds with a given boundary

Author:
Steven Boyer

Journal:
Trans. Amer. Math. Soc. **298** (1986), 331-357

MSC:
Primary 57N13; Secondary 57N10

MathSciNet review:
857447

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a closed, oriented, connected -manifold. For each bilinear, symmetric pairing , our goal is to calculate the set of all oriented homeomorphism types of compact, -connected, oriented -manifolds with boundary and intersection pairing isomorphic to .

For each pair which presents , we construct a double coset space and a function . The set is the quotient of the group of all link-pairing preserving isomorphisms of the torsion subgroup of by two naturally occuring subgroups.

When is an even pairing, we construct another double coset space , a function and a projection such that .

Our main result states that when is even the function is injective, as is the function when is odd. Here is a Kirby-Siebenmann obstruction to smoothing. It follows that the sets are finite and of an order bounded above by a constant depending only on . We also show that when and is even, is injective.

It seems likely that via the functions and , the sets and calculate when is respectively odd and even. We verify this in several cases, most notably when is free abelian.

The results above are based on a theorem which gives necessary and sufficient conditions for the existence of a homeomorphism between two -connected -manifolds extending a given homeomorphism of their boundaries.

The theory developed is then applied to show that there is an , depending only on , such that for any self-homeomorphism of , extends to a self-homeomorphism of any -connected, compact -manifold with boundary .

**[**M. F. Atiyah and I. M. Singer,**A,S**]*The index of elliptic operators. III*, Ann. of Math. (2)**87**(1968), 546–604. MR**0236952****[**S. Boyer,**B**]*Shake-slice knots*, Ph.D. Thesis, Cornell University, 1983.**[**Marshall M. Cohen,**C**]*A course in simple-homotopy theory*, Springer-Verlag, New York-Berlin, 1973. Graduate Texts in Mathematics, Vol. 10. MR**0362320****[**Michael Hartley Freedman,**Fr**]*The topology of four-dimensional manifolds*, J. Differential Geom.**17**(1982), no. 3, 357–453. MR**679066****[**Shinji Fukuhara,**Fu**]*On an invariant of homology lens spaces*, J. Math. Soc. Japan**36**(1984), no. 2, 259–277. MR**740317**, 10.2969/jmsj/03620259**[**C. McA. Gordon and R. A. Litherland,**G,L**]*On the signature of a link*, Invent. Math.**47**(1978), no. 1, 53–69. MR**0500905****[**Steve J. Kaplan,**Ka**]*Constructing framed 4-manifolds with given almost framed boundaries*, Trans. Amer. Math. Soc.**254**(1979), 237–263. MR**539917**, 10.1090/S0002-9947-1979-0539917-X**[**Michel A. Kervaire,**K**]*Relative characteristic classes*, Amer. J. Math.**79**(1957), 517–558. MR**0090051****[**J. Milnor,**Mi**]*Spin structures on manifolds*, Enseignement Math. (2)**9**(1963), 198–203. MR**0157388****[**J. Morgan, Letter to R. Kirby, 1975.**Mo**]**[**Frank Quinn,**Q**]*Ends of maps. III. Dimensions 4 and 5*, J. Differential Geom.**17**(1982), no. 3, 503–521. MR**679069****[**Dale Rolfsen,**Rlf**]*Knots and links*, Publish or Perish, Inc., Berkeley, Calif., 1976. Mathematics Lecture Series, No. 7. MR**0515288****[**L. C. Siebenmann,**S**]*Topological manifolds*, Actes du Congrès International des Mathématiciens (Nice, 1970) Gauthier-Villars, Paris, 1971, pp. 133–163. MR**0423356****[**Laurence R. Taylor,**Ta**]*Relative Rochlin invariants*, Topology Appl.**18**(1984), no. 2-3, 259–280. MR**769295**, 10.1016/0166-8641(84)90014-2**[**V. G. Turaev,**Tu**]*Cohomology rings, linking forms and invariants of spin structures of three-dimensional manifolds*, Math. USSR Sb.**48**(1984), 65-79.**[**P. Vogel,**V**]*Simply-connected**-manifolds*, Sem. Notes 1, Aarhus Univ., Aarhus, 1982, pp. 116-119.**[**C. T. C. Wall,**W1**]*On simply-connected 4-manifolds*, J. London Math. Soc.**39**(1964), 141–149. MR**0163324****[**C. T. C. Wall,**W2**]*Quadratic forms on finite groups, and related topics*, Topology**2**(1963), 281–298. MR**0156890****[**W. T. Wu,**Wu**]*Classes caractéristiques et**-carrés dans une variété*, C. R. Acad. Sci. Paris Vie Académique,**230**(1950), 508-511.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
57N13,
57N10

Retrieve articles in all journals with MSC: 57N13, 57N10

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1986-0857447-6

Article copyright:
© Copyright 1986
American Mathematical Society