Partial Regularity of Navier-Stokes Equations

We prove, with a more geometric approach, that the solutions to the Navier-Stokes equations are regular up to a set of Hausdorff dimension 1. The main tool for the proof is a new compactness lemma and the monotonicity property of harmonic functions.