ABSTRACT
Does there exist a noncommutative algebraic geometry in the sense of Scheme Theory? If you believe this question makes sense, please write down on a piece of paper, right now, what properties of "classical" algebraic geometry you would like to see preserved in the noncommutative situation.
