1: \begin{abstract}

2: In this paper we present an arbitrary-order fully discrete Stokes complex on general polyhedral meshes.

3: We enriche the fully discrete de Rham complex with the addition of a full gradient operator defined on vector fields 

4: and fitting into the complex.

5: We show a complete set of results on the novelties of this complex:

6: exactness properties, uniform Poincaré inequalities and primal and adjoint consistency.

7: The Stokes complex is especially well suited for problem involving Jacobian, divergence and curl,

8: like the Stokes problem or magnetohydrodynamic systems.

9: The framework developed here eases the design and analysis of scheme for such problems. 

10: Schemes built that way are nonconforming and benefit from the exactness of the complex.

11: We illustrate with the design and study of a scheme to solve the Stokes equations 

12: and validate the convergence rates with various numerical tests.

13: \medskip\\

14: \textbf{Keywords:} Discrete Stokes complex, Discrete de Rham complex, compatible discretization, polyhedral methods, arbitrary order

15: \smallskip\\

16: \textbf{MSC2010 classification:} 65N30, 65N99, 76D07

17: \end{abstract}

18: