Equivariant topology methods in discrete geometry

Abstract

The first chapter of this thesis is on the colored Tverberg problem, which is joint work with Pavle Blagojević and Günter Ziegler [BMZ09], [BMZ11a], [BMZ11b]. First we present a new and tight colored version of Tverberg's theorem that implies the Bárány-Larman conjecture for primes minus one and asymptotically in general. This in turn improves the bounds in the second selection lemma, which is used in computational complexity for example to bound the number of halving sets of an n-set in R^d . Then we generalize our theorem to a transversal version, a colored version of the Tverberg-Vrećica conjecture, which is a unifying theorem in the sense that it implies the ham sandwich theorem and the center transversal theorem. Finally we generalize our theorem to maps into manifolds. Two results of independent interest are a new parameterized Borsuk-Ulam-type theorem for equivariant vector bundles and the calculation of the Fadell-Husseini index of joins of chessboard complexes. The second chapter is on inscribing squares and rectangles into closed curves in the plane. The results are disjoint from the ones in [Mat08, Chap. III], and they will appear in [Mat09] and [Mat11]. We present two new classes of Jordan curves that fulfill Toeplitz' still unsolved square peg problem from 1911, that is, these curves inscribe squares. One of them strictly contains all previously known classes; the other one is the first known open set of such curves. Then we disprove Cantarella's conjecture on the parity of inscribed squares for immersed plane curves and give the right answer, also for inscribed rectangles. We give another class of Jordan curves that inscribes rectangles of aspect ratio sqrt(3), which is the first known partial result for an aspect ratios other than 1. The appendix summarizes two papers on polytopes. The first one is joint work with Francisco Santos and Christophe Weibel [MSW11] on 5-spindles with large width, which are a building block for new counter-examples of the Hirsch conjecture. The second is joint work with Julian Pfeifle and Vincent Pilaud [MPP11] on productsimplicial-neighborly polytopes, where we construct polytopes that interpolate between being neighborly and cubically neighborly.

Das erste Kapitel behandelt das farbige Tverbergproblem und ist in Zusammenarbeit mit Pavle Blagojević und Günter Ziegler [BMZ09], [BMZ11a], [BMZ11b] entstanden. Zuerst zeigen wir eine neue und optimale farbige Version des Tverbergsatzes, welches die Bárány-Larman-Vermutung für Primzahlen minus Eins und im Allgemeinen asymptotisch impliziert. Das wiederum verbessert die Schranken im Second-Selection-Lemma, was z.B. in der algorithmischen Komplexitätstheorie benutzt wird um die Anzahl der halbierenden Mengen in einer n-Menge im R^d nach oben abzuschätzen. Anschließend verallgemeinern wir unseren Satz zu einer transversalen Variante, einer farbigen Version der Tverberg-Vrećica-Vermutung, welche zudem das Ham-Sandwich-Theorem impliziert und allgemeiner das Center-Transversal-Theorem. Im dritten Abschnitt verallgemeinern wir unseren Satz für Abbildungen in beliebige Mannigfaltigkeiten. Zwei methodische Resultate sind ein neuer parametrisierter Borsuk-Ulam-Satz für äquivariante Vektorbündel und die Berechnung des Fadell- Husseini-Indexes von Joins von Schachbrettkomplexen. Das zweite Kapitel beschäftigt sich mit in Kurven einbeschriebenen Quadraten und Rechtecken. Die Ergebnisse sind disjunkt von denen in [Mat08, Chap. III], und sie werden in [Mat09] und [Mat11] erscheinen. Wir zeigen für zwei neue Klassen von Jordankurven, dass sie die Toeplitz-Vermutung erfüllen, d.h. jede dieser Kurven enthält die vier Punkte eines Quadrats. Die erste Klasse enthält strikt alle bisher bekannten Klassen, und die andere ist die erste bekannte offene Menge solcher Kurven. Dann widerlegen wir eine Vermutung von Cantarella über die Parität der Anzahl von in immersierten planaren Kurven einbeschriebenen Quadraten, und geben die richtige Anzahl an, auch für einbeschriebene Rechtecke. Im zweiten Abschnitt geben wir eine Klasse von Jordankurven an, die Rechtecke des Seitenverhältnisses sqrt(3) einschreiben, welches das erste bekannte Teilergebnis für Seitenverhältnisse ungleich 1 ist. Der Anhang fasst zwei Artikel über Polytope zusammen. Das erste ist eine Zusammenarbeit mit Francisco Santos und Christophe Weibel [MSW11] über breite 5-Spindeln, von welchen neue Gegenbeispiele zur Hirschvermutung konstruiert werden können. Das zweite ist eine Zusammenarbeit mit Julian Pfeifle und Vincent Pilaud [MPP11] über produktsimpliziale nachbarschaftliche Polytope, in der wir unter anderem Polytope konstruieren, die zwischen nachbarschaftlichen und kubisch nachbarschaftlichen Polytopen interpolieren.