Elimination of cusps in dimension 4 and its applications

Stefan Behrens, Kenta Hayano

Research output: Contribution to journalArticle

Abstract

We study a class of homotopies between maps from 4-manifolds to surfaces which we call cusp merges. These homotopies naturally appear in the uniqueness problems for certain pictorial descriptions of 4-manifolds derived from maps to the 2-sphere (for example, broken Lefschetz fibrations, wrinkled fibrations, or Morse 2-functions). Our main results provide a classification of cusp merge homotopies in terms of suitably framed curves in the source manifold, as well as a fairly explicit description of a parallel transport diffeomorphism associated to a cusp merge homotopy. The latter is the key ingredient in understanding how the aforementioned pictorial descriptions change under homotopies involving cusp merges. We apply our methods to the uniqueness problem of surface diagrams of 4-manifolds and describe algorithms to obtain surface diagrams for total spaces of (achiral) Lefschetz fibrations and 4-manifolds of the form M × S1where M is a 3-manifold. Along the way we provide extensive background material about maps to surfaces and homotopies thereof and develop a theory of parallel transport that generalizes the use of gradient flows in Morse theory.

Original languageEnglish
Pages (from-to)674-724
Number of pages51
JournalProceedings of the London Mathematical Society
Volume113
Issue number5
DOIs
Publication statusPublished - 2016 Jan 1

Fingerprint

4-manifold
Cusp
Elimination
Lefschetz Fibration
Diagram
Uniqueness
Morse Theory
Gradient Flow
Diffeomorphism
Fibration
Homotopy
Generalise
Curve

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Elimination of cusps in dimension 4 and its applications. / Behrens, Stefan; Hayano, Kenta.

In: Proceedings of the London Mathematical Society, Vol. 113, No. 5, 01.01.2016, p. 674-724.

Research output: Contribution to journalArticle

@article{39a84d1ce1024cd1acb6e96a72e23ebd,
title = "Elimination of cusps in dimension 4 and its applications",
abstract = "We study a class of homotopies between maps from 4-manifolds to surfaces which we call cusp merges. These homotopies naturally appear in the uniqueness problems for certain pictorial descriptions of 4-manifolds derived from maps to the 2-sphere (for example, broken Lefschetz fibrations, wrinkled fibrations, or Morse 2-functions). Our main results provide a classification of cusp merge homotopies in terms of suitably framed curves in the source manifold, as well as a fairly explicit description of a parallel transport diffeomorphism associated to a cusp merge homotopy. The latter is the key ingredient in understanding how the aforementioned pictorial descriptions change under homotopies involving cusp merges. We apply our methods to the uniqueness problem of surface diagrams of 4-manifolds and describe algorithms to obtain surface diagrams for total spaces of (achiral) Lefschetz fibrations and 4-manifolds of the form M × S1where M is a 3-manifold. Along the way we provide extensive background material about maps to surfaces and homotopies thereof and develop a theory of parallel transport that generalizes the use of gradient flows in Morse theory.",
author = "Stefan Behrens and Kenta Hayano",
year = "2016",
month = "1",
day = "1",
doi = "10.1112/plms/pdw042",
language = "English",
volume = "113",
pages = "674--724",
journal = "Proceedings of the London Mathematical Society",
issn = "0024-6115",
publisher = "Oxford University Press",
number = "5",

}

TY - JOUR

T1 - Elimination of cusps in dimension 4 and its applications

AU - Behrens, Stefan

AU - Hayano, Kenta

PY - 2016/1/1

Y1 - 2016/1/1

N2 - We study a class of homotopies between maps from 4-manifolds to surfaces which we call cusp merges. These homotopies naturally appear in the uniqueness problems for certain pictorial descriptions of 4-manifolds derived from maps to the 2-sphere (for example, broken Lefschetz fibrations, wrinkled fibrations, or Morse 2-functions). Our main results provide a classification of cusp merge homotopies in terms of suitably framed curves in the source manifold, as well as a fairly explicit description of a parallel transport diffeomorphism associated to a cusp merge homotopy. The latter is the key ingredient in understanding how the aforementioned pictorial descriptions change under homotopies involving cusp merges. We apply our methods to the uniqueness problem of surface diagrams of 4-manifolds and describe algorithms to obtain surface diagrams for total spaces of (achiral) Lefschetz fibrations and 4-manifolds of the form M × S1where M is a 3-manifold. Along the way we provide extensive background material about maps to surfaces and homotopies thereof and develop a theory of parallel transport that generalizes the use of gradient flows in Morse theory.

AB - We study a class of homotopies between maps from 4-manifolds to surfaces which we call cusp merges. These homotopies naturally appear in the uniqueness problems for certain pictorial descriptions of 4-manifolds derived from maps to the 2-sphere (for example, broken Lefschetz fibrations, wrinkled fibrations, or Morse 2-functions). Our main results provide a classification of cusp merge homotopies in terms of suitably framed curves in the source manifold, as well as a fairly explicit description of a parallel transport diffeomorphism associated to a cusp merge homotopy. The latter is the key ingredient in understanding how the aforementioned pictorial descriptions change under homotopies involving cusp merges. We apply our methods to the uniqueness problem of surface diagrams of 4-manifolds and describe algorithms to obtain surface diagrams for total spaces of (achiral) Lefschetz fibrations and 4-manifolds of the form M × S1where M is a 3-manifold. Along the way we provide extensive background material about maps to surfaces and homotopies thereof and develop a theory of parallel transport that generalizes the use of gradient flows in Morse theory.

UR - http://www.scopus.com/inward/record.url?scp=85045839936&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85045839936&partnerID=8YFLogxK

U2 - 10.1112/plms/pdw042

DO - 10.1112/plms/pdw042

M3 - Article

VL - 113

SP - 674

EP - 724

JO - Proceedings of the London Mathematical Society

JF - Proceedings of the London Mathematical Society

SN - 0024-6115

IS - 5

ER -