In this article we use the theories of relative algebraic geometry and of homotopical algebraic geometry (cf. [HAGII]) to construct some categories of schemes defined under Specℤ. We define the categories of ℕ-schemes, 1-schemes, -schemes, +-schemes and 1-schemes, where (from an intuitive point of view) ℕ is the semi-ring of natural numbers, 1 is the field with one element, is the ring spectra of integers, + is the semi-ring spectra of natural numbers and 1 is the ring spectra with one element. These categories of schemes are linked together by base change functors, and all of them have a base change functor to the category of ℤ-schemes. We show that the linear group Gln and the toric varieties can be defined as objects in these categories.

Starting from a sheaf of associative algebras over a scheme we show that its deformation theory is described by cohomologies of a canonical object, called the cotangent complex, in the derived category of sheaves of bi-modules over this sheaf of algebras. The passage from deformations to cohomology is based on considering a site which is naturally constructed out of our sheaf of algebras. It turns out that on the one hand, cohomology of certain sheaves on this site control deformations, and on the other hand, they can be rewritten in terms of the category of sheaves of bi-modules.