Derived Jet Schemes And Arc Spaces, And Arithmetic Arc Space Representability