Arcs schemes, derivations and Lipmanʼs theorem

In this article, we prove that a projective plane curve defined over a subfield k of C is smooth over k if and only if its associated arcs scheme is reduced.