The two-weight fractional Poincar\'e-Sobolev sandwich

We establish a two-weight fractional Poincar\'e-Sobolev sandwich, consisting of a two-weight fractional Poincar\'e-Sobolev inequality and a two-weight embedding from the first-order Sobolev space to a Triebel-Lizorkin space defined via a difference norm. Our constants are asymptotically sharp as the fractional parameter approaches $1$. Our results are new even in the one-weight case. For each inequality we give explicit quantitative dependence on Muckenhoupt weight characteristics and treat both subcritical and critical regimes, the former via elementary methods and the latter via sparse domination. As one of our main tools, we establish a new sparse domination result for Triebel-Lizorkin difference norms. Our methods unify, simplify and significantly extend various earlier approaches.