Constructing complicated spheres

dc.contributor.advisorLutz, Frank Hagenen
dc.contributor.advisorSullivan, John Matthewen
dc.contributor.authorTsuruga, Mimien
dc.contributor.grantorTechnische Universität Berlin, Fakultät II - Mathematik und Naturwissenschaftenen
dc.contributor.refereeLutz, Frank Hagenen
dc.contributor.refereeSullivan, John Matthewen
dc.contributor.refereeMischaikow, Konstantinen
dc.date.accepted2015-07-01
dc.date.accessioned2015-11-21T01:02:00Z
dc.date.available2015-09-11T12:00:00Z
dc.date.issued2015-09-11
dc.date.submitted2015-08-13
dc.description.abstractDie Akbulut-Kirby Sphären gibt eine unendliche Familie von (glatten) 4-Mannigfaltigkeiten, die diffeomorph zur Standardsphäre sind; sie haben jeweils eine handlebody Zersetzung, die durch eine bestimmte nicht-triviale Vorstellung der trivialen Gruppe beschrieben wird. Diese Sphären wurden als Kandidaten Gegenbeispiele zum reibungslosen Poincaré-Vermutung in Dimension 4. Die glatte Poincaré-Vermutung in Dimension 4 vorgeschlagen wird, ist noch offen heute, sondern die ganze Familie von Kugeln sind nicht mehr exotisch Kandidaten. In Dimension 4 die Kategorien PL und DIFF zusammenfallen, so PL Triangulierungen der Akbulut-Kirby Kugeln sind Standard PL 4-Sphären. Wir beschreiben drei verschiedene Möglichkeiten, explizite Triangulierungen der Akbulut-Kirby Sphären zu konstruieren. Aber um zu zeigen, dass diese PL Triangulierungen sind in der Tat PL 4-Sphären ist keine einfache Aufgabe. Das Problem der PL Kugel Anerkennung in Dimension 4 ist auch noch offen. In Dimension 3 ist Sphäre Erkennung bekannt, in der Komplexitätsklasse NP sein. In höheren Dimensionen sind PL Sphären nicht wiederzuerkennen. Es gibt jedoch heuristische Algorithmen, die Kugeln effektiv auf vielen Beispielen erkennen kann. Wir werden einige dieser Algorithmen und ihre Grenzen zu diskutieren. Unsere Experimente zeigen, dass die Heuristik - selbst wenn sie in Kombination verwendet werden - nicht in der Lage, den Großteil der Akbulut-Kirby erkennen trianguliert PL 4-Sphären. Wir werden auch kurz auf unsere Bau einer Triangulation von Mazur 4-Verteiler, die viele der Werkzeuge, die wir entwickelt, um die Dreiecks Akbulut-Kirby Kugeln bauen verwendet. Mazur 4-Verteilers ist eine zusammenziehbare 4-Verteiler, der eine Grenze, die eine Homologie Kugel, die nicht die Standard-3-Kugel hat. Wir verwenden diese Triangulation, eine zusammenklappbare nicht-PL 5-Ball und eine nicht-PL 5-Sphäre zu bauen.de
dc.description.abstractThe Akbulut-Kirby spheres are an infinite family of (smooth) 4-manifolds that are diffeomorphic to the standard sphere; they each have a handlebody decomposition that is described by a certain nontrivial presentation of the trivial group. These spheres were proposed as candidate counterexamples to the smooth Poincare conjecture in dimension 4. The smooth Poincare conjecture in dimension 4 is still open today, but the entire family of spheres are no longer exotic candidates. In dimension 4, the categories PL and DIFF coincide, so PL triangulations of the Akbulut-Kirby spheres are standard PL 4-spheres. We describe three different ways to construct explicit triangulations of the Akbulut-Kirby spheres. However, to show that these PL triangulations are indeed PL 4-spheres is no simple task. The problem of PL sphere recognition in dimension 4 is also still open. In dimension 3, sphere recognition is known to be in the complexity class NP. In higher dimensions, PL spheres are unrecognizable. There are, however, heuristic algorithms that can recognize spheres effectively on many examples. We will discuss some of these algorithms and their limitations. Our experiments show that the heuristics—-even when used in combination—-were not able to recognize the majority of the Akbulut-Kirby triangulated PL 4-spheres. We will also briefly discuss our construction of a triangulation of Mazur's 4-manifold, which used many of the tools we designed to build the triangulated Akbulut-Kirby spheres. Mazur's 4-manifold is a contractible 4-manifold that has a boundary that is a homology sphere that is not the standard 3-sphere. We use this triangulation to build a collapsible non-PL 5-ball and a non-PL 5-sphere.en
dc.identifier.uriurn:nbn:de:kobv:83-opus4-70640
dc.identifier.urihttp://depositonce.tu-berlin.de/handle/11303/4941
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-4644
dc.languageEnglishen
dc.language.isoenen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.ddc514 Topologieen
dc.subject.otherAkbulut-kirby spheresen
dc.subject.otherdiscrete morse theoryen
dc.subject.otherbistellar simplificationen
dc.subject.othersimplicial complexesen
dc.subject.otherMSC 57Q15en
dc.subject.otherMSC 57Q05en
dc.subject.otherMSC 57N13en
dc.subject.otherMSC 57R60en
dc.subject.otherMSC 52B70en
dc.subject.otherMSC 52B05en
dc.subject.otherMSC 55N35en
dc.titleConstructing complicated spheresen
dc.title.translatedÜber die Konstruktion komplizierter Kugelnde
dc.typeDoctoral Thesisen
dc.type.versionpublishedVersionen
tub.accessrights.dnbfree*
tub.affiliationFak. 2 Mathematik und Naturwissenschaften>Inst. Mathematikde
tub.affiliation.facultyFak. 2 Mathematik und Naturwissenschaftende
tub.affiliation.instituteInst. Mathematikde
tub.identifier.opus47064
tub.publisher.universityorinstitutionTechnische Universität Berlinen
Files
Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tsuruga_mimi.pdf
Size:
2.63 MB
Format:
Adobe Portable Document Format
Description:
Collections