1: \begin{abstract}

2: In Benzi \& Olshanskii (SIAM J.~Sci.~Comput., 28(6) (2006)) a preconditioner of

3: augmented Lagrangian type was presented for the two-dimensional stationary

4: incompressible Navier--Stokes equations that exhibits convergence almost

5: independent of Reynolds number. The algorithm relies on a highly specialized multigrid

6: method involving a custom prolongation operator and for robustness requires the

7: use of piecewise constant finite elements for the pressure. However, the

8: prolongation operator and velocity element used do not directly extend to three

9: dimensions: the local solves necessary in the prolongation operator do not

10: satisfy the inf-sup condition. In this work we generalize the preconditioner to

11: three dimensions, proposing alternative finite elements for the velocity and

12: prolongation operators for which the preconditioner works robustly.  The solver

13: is effective at high Reynolds number: on a three-dimensional lid-driven

14: cavity problem with approximately one billion degrees of freedom, the average

15: number of Krylov iterations per Newton step varies from 4.5 at $\Re = 10$ to 3

16: at $\Re = 1000$ and 5 at $\Re = 5000$.

17: \end{abstract}

18: