Source author record

D. Crowley

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.GT

Catalog footprint

Research overview

2works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Embeddings of non-simply-connected 4-manifolds in 7-space. II. On the smooth classification

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$ , where $H_q := H_q(N; \mathbb Z)$ . Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to isotopy, with an indeterminancy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9. The group of knots $S^4\to\mathbb R^7$ acts on the set of embeddings $N\to\mathbb R^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1\ne0$ , with an indeterminancy. Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008. For $N=S^1\times S^3$ we give a geometrically defined 1--1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set $\mathbb Z\oplus\mathbb Z\oplus\mathbb Z_{12}$ .

preprint2019arXiv

Embeddings of non-simply-connected 4-manifolds in 7-space. I. Classification modulo knots

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$ , where $H_q:=H_q(N;Z)$ . Our main result is a complete readily calculable classification of embeddings $N\to R^7$ , up to the equivalence relation generated by isotopy and embedded connected sum with embeddings $S^4\to R^7$ . Such a classification was already known only for $H_1=0$ by the work of Boéchat, Haefliger and Hudson from 1970. Our classification involves the Boéchat-Haefliger invariant $\varkappa(f)\in H_2$ , Seifert bilinear form $λ(f):H_3\times H_3\to Z$ and $β$ -invariant $β(f)$ which assumes values in a quotient of $H_1$ defined by values of $\varkappa(f)$ and $λ(f)$ . In particular, for $N=S^1\times S^3$ we give a geometrically defined 1-1 correspondence between the set of equivalence classes of embeddings and an explicit quotient of the set $Z\oplus Z$ . Our proof is based on development of Kreck modified surgery approach, involving some simpler reformulations, and also uses parametric connected sum.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.