Bruno de Mendonç Braga, Chris Gartland, Gilles Lancien, Pavlos Motakis, Eva Pernecká, Thomas Schlumprecht
We show that if a sequence of expander graphs equi-coarsely embeds into a Banach space, then this Banach space fails Kasparov and Yu's Property (H). Consequently, no Banach space with Property (H) can be coarsely universal for all countable groups. We provide a Lean verification of our results.