noncommutative scheme