1: \begin{abstract}
2: This paper is devoted to study the Arnold-Winther mixed finite element method
3: for two dimensional Stokes eigenvalue problems using the stress-velocity formulation.
4: A~priori error estimates for the eigenvalue and eigenfunction errors are presented.
5: To improve the approximation for both eigenvalues and eigenfunctions, we propose a local post-processing.
6: With the help of the local post-processing, we derive a reliable a~posteriori error estimator which is shown
7: to be empirically efficient.
8: We confirm numerically the proven higher order convergence of the post-processed eigenvalues for convex domains
9: with smooth eigenfunctions.
10: On adaptively refined meshes we obtain numerically optimal higher orders of convergence of the post-processed eigenvalues
11: even on nonconvex domains.
12: \end{abstract}
13: