1: \begin{abstract}
2: Surface Stokes and Navier-Stokes equations are used to model fluid flow on surfaces. They have attracted
3: significant recent attention in the numerical analysis literature because approximation of their solutions poses significant challenges
4: not encountered in the Euclidean context. One challenge comes from the need to simultaneously enforce tangentiality and
5: $H^1$ conformity (continuity) of discrete vector fields used to approximate solutions in the velocity-pressure formulation.
6: Existing methods in the literature all enforce one of these two constraints weakly either by penalization or by use of Lagrange multipliers.
7: Missing so far is a robust and systematic construction of surface Stokes finite element spaces which employ
8: nodal degrees of freedom, including MINI, Taylor-Hood, Scott-Vogelius, and other composite elements which can lead to
9: divergence-conforming or pressure-robust discretizations. In this paper we construct surface MINI spaces whose velocity fields are {tangential}.
10: They are not $H^1$-conforming, but do lie in $H({\rm div})$ and do not require penalization %in order
11: to achieve optimal convergence rates. We prove stability and optimal{-order} energy-norm convergence of the method and demonstrate optimal{-order}
12: {convergence} of the velocity field in $L_2$ via numerical experiments. The core advance in the paper is the
13: construction of nodal degrees of freedom for the velocity field. This technique also may be used to construct surface counterparts to
14: many other standard Euclidean Stokes spaces, and we accordingly present numerical experiments indicating optimal{-order} convergence
15: of nonconforming tangential surface Taylor-Hood $\mathbb{P}^2-\mathbb{P}^1$ elements.
16: \end{abstract}
17: