1: \begin{abstract}

2: We establish a general theory of optimal strong error estimation for numerical approximations of a second-order parabolic stochastic partial differential equation with monotone drift driven by a multiplicative infinite-dimensional Wiener process.

3: The equation is spatially discretized by Galerkin methods and temporally discretized by drift-implicit Euler and Milstein schemes. 

4: By the monotone and Lyapunov assumptions, we use both the variational and semigroup approaches to derive a spatial Sobolev regularity under the $L_\omega^p L_t^\infty \dot H^{1+\gamma}$-norm and a temporal H\"older regularity under the $L_\omega^p L_x^2$-norm for the solution of the proposed equation with an $\dot H^{1+\gamma}$-valued initial datum for $\gamma\in [0,1]$. 

5: Then we make full use of the monotonicity of the equation and tools from stochastic calculus to derive the sharp strong convergence rates $\OOO(h^{1+\gamma}+\tau^{1/2})$ and 

6: $\OOO(h^{1+\gamma}+\tau^{(1+\gamma)/2})$ for the Galerkin-based Euler and Milstein schemes, respectively.

7: \keywords{monotone stochastic partial differential equation

8: \and stochastic Allen--Cahn equation

9: \and Galerkin finite element method

10: \and Euler scheme

11: \and Milstein scheme

12: }

13: \subclass{65M60 \and 60H15 \and 60H35}

14: \end{abstract}

15: