Diagrams for contractible spaces of 4-manifolds

Series
Geometry Topology Seminar
Time
Monday, October 24, 2022 - 4:30pm for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
David Gay – University of Georgia – https://euclidlab.org/david-gay
Organizer
W. Bloomquist, A. Christian, C. Köse, M. Kuzbary, J. Simone, L. Tovstopyat-Nelip, H. Turner

Please Note: Joint Topology Seminar @ GaTech

There exist many different diagrammatic descriptions of 4-manifolds, with the usual claim that "such and such a diagram uniquely determines a smooth 4-manifold up to diffeomorphism". This raises higher order questions: Up to what diffeomorphism? If the same diagram is used to produce two different 4-manifolds, is there a diffeomorphism between them uniquely determined up to isotopy? Are such isotopies uniquely determined up to isotopies of isotopies? Such questions become important if one hopes to use "diagrams" to study spaces of diffeomorphisms between manifolds. One way to achieve these higher order versions of uniqueness is to ask that a diagram uniquely determine a contractible space of 4-manifolds (i.e. a 4-manifold bundle over a contractible space). I will explain why some standard types of diagrams do not do this and give at least one type of diagram that does do this.