Hyperbolicity and dismantlability

点击翻译按钮获取中文摘要

The program consists of studying geometric topology and group theory questions as hyperbolicity or the fixed-point theorem using combinatorial methods with the prominent role of a graph-theoretic property called dismantlability. The long-term objectives are:**I. Find more classes of hyperbolic groups that are residually finite.*II. Apply dismantlability in geometric topology. **I. Examples of hyperbolic groups are groups acting geometrically on the hyperbolic space, small cancellation groups, random groups, and high dimensional 7-systolic groups constructed by Haglund and Januszkiewicz-Swiatkowski. These act geometrically on 7-systolic complexes, i.e. flag simplicial complexes without full cycles of length 1/4 a random group has property (T). Is it then residually finite?**3.Coxeter groups**Are Coxeter groups cubulated cocompactly? The second question I am pursuing in Coxeter groups is my work with Caprace to prove Muehlherr's conjecture classifying isomorphisms between Coxeter groups.**4.Curve complex**Dismantlability approach allowed me with Hensel and Webb to give a short proof of the famous Masur-Minksy theorem that the curve graph is hyperbolic. We intend to generalize this to disc graphs and sphere graphs. Is the graph obtained from the curve graph by adding edges between curves intersecting once dismantlable? What is its dimension?**5.Dismantlability and realization**We used dismantlability with Hensel and Osajda to find a combinatorial solution to the Nielsen Realization Problem for surfaces with boundary and to realization problems for the handlebody group and Out(F_n). I would like to obtain a similar result for finite subgroups G of Out(F), where F is any right-angled Artin group. Is there a fixed point of the action of G on some naturally arising Outer space, say the one defined by Crisp, Charney and Vogtmann? *I would like to use dismantlability to solve the Nielsen Realization Problem for closed surfaces as well. The strategy is based on verifying that every isometrically embedded subgraph of the 1-skeleton of a CAT(0) cube complex, after adding cube diagonals, is dismantlable.