Let Θ be a variety of algebras. In every Θ and every algebra H from Θ one can consider algebraic geometry in Θ over H. We consider also a special categorical invariant K Θ (H) of this geometry. The classical algebraic geometry deals with the variety Θ = Com − P of all associative and commutative algebras over the ground field of constants P . An algebra H in this setting is an extension of the ground field P . Geometry in groups is related to varieties Grp and Grp − G, where G is a group of constants. The case Grp − F where F is a free group, is related to Tarski's problems devoted to logic of a free group.The described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry.For example, a general and natural problem is:When do the algebras H 1 and H 2 have the same geometry?or more specifically,What are the conditions on algebras from a given variety Θ which provide coincidence of their algebraic geometries?We consider two variants of coincidence:2) These categories are equivalent. This problem is highly connected with the following general algebraic problem:Let Θ 0 be the category of all free in Θ algebras W = W (X), where X is finite. Consider the groups of automorphisms Aut (Θ 0 )