In universal algebraic geometry (UAG), some primary notions of classical algebraic geometry are applied to an arbitrary variety of algebras Theta and an arbitrary algebra H. Theta. We consider an algebraic geometry in Theta over the distinguished algebra H and we also analyze H from the point of view of its geometric properties. This insight leads to a system of new notions and stimulates a number of new problems. They are new with respect to algebra, algebraic geometry and even with respect to the classical algebraic geometry. In our approach, there are two main aspects: the first one is a study of the algebra H and its geometric properties, while the second is focused on studying algebraic sets and algebraic varieties over a "good", particular algebra H. Considering the subject from the second standpoint, the main goal is to get forward as far as possible in a classification of algebraic sets over the given H. The first approach does not require such a classification which is itself an independent and extremely difficult task. We also consider some geometric relations between different H-1 and H-2 in Theta. The present paper should be viewed as a brief review of what has been done in universal algebraic geometry. We also give a list of unsolved problems for future work.
机构:
Sobolev Inst Math, Pevtsova St 13, Novosibirsk 644099, Russia
Omsk State Tech Univ, Pr Mira 11, Omsk 644077, RussiaSobolev Inst Math, Pevtsova St 13, Novosibirsk 644099, Russia