Automorphic and geometric equivalence in subvarieties of groups

Let Θ\Theta be a subvariety of the variety of all groups. In this setting, automorphic equivalence and geometric equivalence are the two equivalence relations on algebras in Θ\Theta considered in the source.

Automorphic–geometric equivalence conjecture. In every subvariety Θ\Theta of the variety of all groups, automorphic equivalence coincides with geometric equivalence.

The conjecture would extend the known coincidence for the variety of all groups, the variety of all abelian groups, and the varieties of nilpotent groups of fixed class, while addressing the possibility of nontrivial groups A/Y\mathfrak{A/Y} in other group varieties. The source reports no resolution.

Sources & referencesView supporting material

Primary source

A. Tsurkov, “Categories and functors of universal algebraic geometry. Automorphic equivalence of algebras”, arXiv:2602.01821 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.