Maximal function estimates and self-improvement results for Poincaré inequalities

Our main result is an estimate for a sharp maximal function, which implies a Keith-Zhong type self-improvement property of Poincaré inequalities related to differentiable structures on metric measure spaces. As an application, we give structure independent representation for Sobolev norms and universality results for Sobolev spaces.