  In this paper we show various new structural properties of free group factors
using the recent resolution (due independently to Belinschi-Capitaine and
Bordenave-Collins) of the Peterson-Thom conjecture. These results include the
resolution to the coarseness conjecture independently due to the first-named
author and Popa, a generalization of Ozawa-Popa's celebrated strong solidity
result using vastly more general versions of the normalizer (and in an
ultraproduct setting), a dichotomy result for intertwining of maximal amenable
subalgebras of interpolated free group factors, as well as application to
ultraproduct embeddings of nonamenable subalgebras of interpolated free group
factors.
