Noncommutative geometry is the study of families of (commutative) algebraicvarieties (with specified connecting morphisms) which are locally controlledby noncommutative algebras.