Sharp weak-type estimate for local lifted Hardy–Littlewood maximal operators with applications to generators of linear operator families and Hardy(–Sobolev) spaces | Synapse