1: \begin{abstract}

2: We study the Langevin dynamics of a $U(1)$ lattice gauge theory on the torus, and prove that they converge for short time in a suitable gauge to a system of stochastic PDEs driven by space-time white noises. This also yields convergence of some gauge invariant observables on a short time interval.

3: We fix gauge via a DeTurck trick,  and  prove a version of Ward identity which results in cancellation of renormalization constants that would otherwise break gauge symmetry.

4: %We study the local well-posedness of stochastic quantization equation for a gauge theory 

5: %with $U(1)$ gauge invariance on the torus, which is a system of stochastic PDEs

6: %driven by independent space-time white noises.

7: %%The equation also arises as the stochastic Ginzburg-Landau equation

8: %%in superconductivity.

9: %We show that the discretized equations, which is a large system of It\^o diffusions,

10: %converge (in a suitable gauge) to a limiting solution as lattice spacing vanishes.

11: %The evolution system is not parabolic, but we attain parabolicity by 

12: %tuning the gauge 

13: %at each time via

14: %a DeTurck trick. The applicability of this gauge tuning argument

15: %relies on our discretization that preserves gauge symmetry, and a cancellation of 

16: %renormalization constants that would otherwise break gauge symmetry.

17: The proof relies on a discrete version of the theory of regularity structures.

18: %with a ``shift" operation to deal with nonlinearities that are not exactly local.

19: \end{abstract}

20: