Braid group proof shows 7-strand is CAT(0).
problem Proving the 7-strand braid group is CAT(0).
method Elaborating on Haettel, Kielak, and Schwer's argument.
result The 7-strand braid group is proven to be CAT(0).
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Braid group proof shows 7-strand is CAT(0).
This paper uses work of Haettel to classify all subgroups of PGL(4,R) isomorphic to (R^3 , +), up to conjugacy. We use this to show there are 4 families of generalized cusps up to projective equivalence in dimension 3.
This paper refines bounds on random walk speed in Teichmüller space.
Reduces conjecture for Artin groups to simpler cases.