1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
%&pdfelatex
%% This is intended to be a working example of using the amsrefs
%% backrefs option in conjunction with hyperref. It works for me using
%% pdflatex [mjd,2002-01-03]. Cf testbib.tex in the hyperref distrib.
%%
%% This is pdfTeX, Version 3.14159-14h-released-20010417 (Web2C 7.3.3.1)
%% (format=pdflatex 2001.12.21)
%% Package: hyperref 2000/01/22 v6.69c Hypertext links for LaTeX
\documentclass{article}
\usepackage{times}
\usepackage[colorlinks,citecolor=red,pagebackref,hypertexnames=false]{hyperref}
\usepackage[backrefs]{amsrefs}
\newtheorem{thm}{Theorem}[section]
\providecommand{\MR}{}
\begin{document}
\title{Testing amsrefs with the hyperref package}
\author{MJD}
\maketitle
The following examples are derived from
\emph{Homology manifold bordism} by Heather Johnston and Andrew
Ranicki (Trans.\ Amer.\ Math.\ Soc.\ \textbf{352} no 11 (2000), PII: S
0002-9947(00)02630-1).
\setcounter{section}{3}
\section{Homology manifold bordism}
The results of Johnston \cite{Jo} on homology
manifolds are extended here. It is not
possible to investigate transversality by
geometric methods---as in \cite{Jo} we employ
bordism and surgery instead.
%Kirby and Siebenmann \cite{KS} (III,\S 1),
The proof of transversality is indirect,
relying heavily on surgery theory\mdash see
Kirby and Siebenmann \cite{KS}*{III, \S 1},
Marin \cite{M} and Quinn \cite{Q3}. We shall
use the formulation in terms of topological
block bundles of Rourke and Sanderson
\cite{RS}.
$Q$ is a codimension $q$ subspace by Theorem
4.9 of Rourke and Sanderson \cite{RS}.
(Hughes, Taylor and Williams \cite{HTW}
obtained a topological regular neighborhood
theorem for arbitrary submanifolds \dots.)
%Wall \cite{Wa} (Chapter 11) obtained a
Wall \cite{Wa}*{Chapter 11} obtained a
codimension $q$ splitting obstruction \dots.
\dots\ following the work of Cohen \cite{Co}
on $PL$ manifold transversality.
In this case each inverse image is
automatically a $PL$ submanifold of
codimension $\sigma$ (Cohen \cite{Co}), so
there is no need to use $s$-cobordisms.
%Quinn (\cite{Q2}, 1.1) proved that \dots
Quinn \cite{Q2}*{1.1} proved that \dots
\begin{thm}[The additive structure of
homology manifold bordism, Johnston
\cite{Jo}]
\dots
\end{thm}
For $m\geq 5$ the Novikov-Wall surgery theory
for topological manifolds gives an exact
sequence (Wall \cite{Wa}*{Chapter 10}.
The surgery theory of topological manifolds
was extended to homology manifolds in Quinn
\cites{Q1,Q2} and Bryant, Ferry, Mio
and Weinberger \cite{BFMW}.
The 4-periodic obstruction is equivalent to
an $m$-dimensional homology manifold, by
\cite{BFMW}.
Thus, the surgery exact sequence of
\cite{BFMW} does not follow Wall \cite{Wa} in
relating homology manifold structures and
normal invariants.
\dots\ the canonical $TOP$ reduction
(\cite{FP}) of the Spivak normal fibration of
$M$ \dots
\begin{thm}[Johnston \cite{Jo}]
\dots
\end{thm}
Actually \cite{Jo}*{(5.2)} is for $m\geq 7$,
but we can improve to $m\geq 6$ by a slight
variation of the proof as described below.
(This type of surgery on a Poincar\'e space
is in the tradition of Lowell Jones
\cite{Jn}.)
\bibliographystyle{amsxport}
\bibliography{jr}
\end{document}
|
