1: \begin{abstract}

2:   In this work we introduce and analyze a novel Hybrid High-Order method for the steady incompressible Navier--Stokes equations.

3:   The proposed method is inf-sup stable on general polyhedral meshes, supports arbitrary approximation orders, and is (relatively) inexpensive thanks to the possibility of statically condensing a subset of the unknowns at each nonlinear iteration.

4:   We show under general assumptions the existence of a discrete solution, which is also unique provided a data smallness condition is verified.

5:   Using a compactness argument, we prove convergence of the sequence of discrete solutions to minimal regularity exact solutions for general data.

6:   For more regular solutions, we prove optimal convergence rates for the energy-norm of the velocity and the $L^2$-norm of the pressure under a standard data smallness assumption.

7:   More precisely, when polynomials of degree $k\ge 0$ at mesh elements and faces are used, both quantities are proved to converge as $h^{k+1}$ (with $h$ denoting the meshsize).

8:   %% Additionally, we numerically show convergence of the $L^2$-norm of the velocity as $h^{k+2}$.

9:   \medskip \\

10:   \noindent\emph{2010 Mathematics Subject Classification:} 65N08, 65N30, 65N12, 35Q30, 76D05

11:   \smallskip \\

12:   \noindent\emph{Keywords:} Hybrid High-Order, incompressible Navier--Stokes, polyhedral meshes, compactness, error estimates

13: \end{abstract}

14: