Analysis of an exactly mass conserving space-time hybridized discontinuous Galerkin method for the time-dependent Navier-Stokes equations.