Standard monomials and invariant theory for arc spaces I: General linear group

This is the first in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field K, we construct a standard monomial basis for the arc space of the determinantal variety over K. As an application, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the general linear group.