Pure type I supergravity and DE(10)

We establish a dynamical equivalence between the bosonic part of pure type I supergravity in D=10 and a D=1 non-linear sigma-model on the Kac-Moody coset space DE(10)/K(DE(10)) if both theories are suitably truncated. To this end we make use of a decomposition of DE(10) under its regular SO(9,9) subgroup. Our analysis also deals partly with the fermionic fields of the supergravity theory and we define corresponding representations of the generalized spatial Lorentz group K(DE(10)).