1: \begin{abstract} We study the Hilbert scheme $\Hilb_d(\A^\infty)$ from an $\A^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\Hilb_d(\A^\infty)$ is $\A^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\A^\infty$. We then describe the $\A^1$-homotopy type of $\Hilb_d(\A^n)$ in a range, for $n$ large compared to $d$. For example, we compute the integral cohomology of $\Hilb_d(\A^n)(\C)$ in a range.

2: 	We also deduce that the forgetful map $\FFLAT\to\Vect$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\A^1$-equivalence after group completion.

3: 	This implies that the moduli stack $\FFLAT$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\kgl$ representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the $\kgl$-homology of smooth proper schemes over a perfect field. 

4: \end{abstract}

5: