Algebraic geometry over algebraic structures.~II. Foundations

E. Yu. Daniyarova ; A. G. Myasnikov ; V. N. Remeslennikov

Fundamentalʹnaâ i prikladnaâ matematika, Tome 17 (2012) no. 1, pp. 65-106.

Résumé

In this paper, we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove so-called unification theorems which describe coordinate algebras of algebraic sets in several different ways.

Bibliographie

[1] Gorbunov V. A., Algebraicheskaya teoriya kvazimnogoobrazii, Nauchnaya kniga, Novosibirsk, 1999 | Zbl

[2] Gupta Ch. K., Romanovskii N. S., “Nëterovost po uravneniyam nekotorykh razreshimykh grupp”, Algebra i logika, 46:1 (2007), 46–59 | MR | Zbl

[3] Gupta Ch. K., Timoshenko E. I., “Chastichno kommutativnye metabelevy gruppy: tsentralizatory i elementarnaya ekvivalentnost”, Algebra i logika, 48:3 (2009), 309–341 | MR | Zbl

[4] Daniyarova E. Yu., Algebraicheskaya geometriya nad svobodnoi metabelevoi algebroi Li. III. Q-algebry i koordinatnye algebry algebraicheskikh mnozhestv, Preprint, Izd-vo OmGU, Omsk, 2005

[5] Daniyarova E. Yu., Osnovy algebraicheskoi geometrii nad algebrami Li, Preprint No 131, Inst. mat. SO RAN, 2004; Вестн. Омск. ун-та, 2007, Специальный выпуск: Комбинаторные методы алгебры и сложность вычислений, 8–39

[6] Daniyarova E. Yu., Kazachkov I. V., Remeslennikov V. N., “Algebraicheskaya geometriya nad svobodnoi metabelevoi algebroi Li. I. U-algebry i universalnye klassy”, Fundament. i prikl. mat., 9:3 (2003), 37–63 http://ofim.okno.ru/~remesl/articles/alggeomfreemetlie1_rus.pdf | MR | Zbl

[7] Daniyarova E. Yu., Kazachkov I. V., Remeslennikov V. N., “Algebraicheskaya geometriya nad svobodnoi metabelevoi algebroi Li. II. Sluchai konechnogo polya”, Fundament. i prikl. mat., 9:3 (2003), 65–87 http://ofim.okno.ru/~remesl/articles/alggeomfreemetlie2_rus.pdf | MR | Zbl

[8] Daniyarova E. Yu., Kazachkov I. V., Remeslennikov V. N., “Poluoblasti i metabelevo proizvedenie metabelevykh algebr Li”, Sovrem. mat. i eë pril., 14, In-t kibernetiki AN Gruzii, 2004, 3–10 http://ofim.okno.ru/~remesl/articles/semidomains_rus.pdf

[9] Daniyarova E. Yu., Myasnikov A. G., Remeslennikov V. N., “Algebraicheskaya geometriya nad algebraicheskimi sistemami. IV. Ekvatsionalnye oblasti i ko-oblasti”, Algebra i logika, 49:6 (2010), 715–756 | MR

[10] Daniyarova E. Yu., Onskul I. V., “Lineinye i bilineinye uravneniya nad svobodnoi antikommutativnoi algebroi”, Vestn. Omsk. un-ta, 2008, Spetsialnyi vypusk: Kombinatornye metody algebry i slozhnost vychislenii, 38–49

[11] Daniyarova E. Yu., Remeslennikov V. N., “Ogranichennaya algebraicheskaya geometriya nad svobodnoi algebroi Li”, Algebra i logika, 44:3 (2005), 269–304 http://ofim.okno.ru/~remesl/articles/bounded_rus.pdf | MR | Zbl

[12] Dvorzhetskii Yu. S., Kotov M. V., “Minimaksnye algebraicheskie sistemy”, Vestn. Omsk. un-ta, 2008, Spetsialnyi vypusk: Kombinatornye metody algebry i slozhnost vychislenii, 130–136

[13] Makanin G. S., “Uravneniya v svobodnoi gruppe”, Izv. AN SSSR. Ser. mat., 46:6 (1982), 1199–1273 | MR | Zbl

[14] Maltsev A. I., Algebraicheskie sistemy, Nauka, M., 1970 | MR | Zbl

[15] Mischenko A. A., Treier A. V., “Grafy kommutativnosti dlya chastichno kommutativnykh dvustupenno nilpotentnykh $\mathbb Q$-grupp”, Sib. Electron. Math. Rep., 4 (2007), 460–481 | MR | Zbl

[16] Mischenko A. A., “Universalnaya ekvivalentnost chastichno kommutativnykh dvustupenno nilpotentnykh $\mathbb Q$-grupp”, Vestn. Omsk. un-ta, 2008, Spetsialnyi vypusk: Kombinatornye metody algebry i slozhnost vychislenii, 61–68

[17] Razborov A. A., “O sistemakh uravnenii v svobodnoi gruppe”, Izv. AN SSSR. Ser. mat., 48:4 (1982), 779–832 | MR | Zbl

[18] Remeslennikov V. N., “$\exists$-svobodnye gruppy”, Sib. mat. zhurn., 30:6 (1989), 153–157 http://ofim.okno.ru/~remesl/articles/efreegroups1.pdf | MR

[19] Remeslennikov V. N., “Razmernost algebraicheskikh mnozhestv nad svobodnoi metabelevoi gruppoi”, Fundam. i prikl. mat., 7:3 (2001), 873–885 http://ofim.okno.ru/~remesl/articles/dimalgsets.pdf | MR | Zbl

[20] Remeslennikov V. N., Romanovskii N. S., “O metabelevykh proizvedeniyakh grupp”, Algebra i logika, 43:3 (2004), 341–352 http://ofim.okno.ru/~remesl/articles/remrom2_rus.pdf | MR | Zbl

[21] Remeslennikov V. N., Romanovskii N. S., “Neprivodimye algebraicheskie mnozhestva v metabelevoi gruppe”, Algebra i logika, 44:5 (2005), 601–621 http://ofim.okno.ru/~remesl/articles/remrom3_rus.pdf | MR | Zbl

[22] Remeslennikov V. N., Timoshenko E. I., “O topologicheskikh razmernostyakh $u$-grupp”, Sib. mat. zhurn., 47:2 (2006), 415–430 http://ofim.okno.ru/~remesl/articles/topdim_rus.pdf | MR | Zbl

[23] Romanovskii N. S., Shestakov I. P., “Nëterovost po uravneniyam universalnoi obërtyvayuschei spletenii abelevykh algebr Li”, Algebra i logika, 47:4 (2008), 475–490 | MR | Zbl

[24] Romanovskii N. S., “Algebraicheskie mnozhestva v metabelevoi gruppe”, Algebra i logika, 46:4 (2007), 503–513 | MR | Zbl

[25] Romanovskii N. S., “Nëterovost po uravneniyam zhëstkikh razreshimykh grupp”, Algebra i logika, 48:2 (2009), 258–279 | MR | Zbl

[26] Timoshenko E. I., “Universalnaya ekvivalentnost chastichno kommutativnykh metabelevykh grupp”, Algebra i logika, 49:2 (2010), 263–290 | MR | Zbl

[27] Khartskhorn R., Algebraicheskaya geometriya, Mir, M., 1970

[28] Chirkov I. V., Shevelin M. A., “Deliteli nulya v svobodnykh proizvedeniyakh algebr Li s ob'edineniem”, Sib. mat. zhurn., 45:1 (2004), 229–238 | MR | Zbl

[29] Shafarevich I. R., Osnovy algebraicheskoi geometrii, MTsNMO, M., 2007

[30] Shevlyakov A. N., “Algebraicheskaya geometriya nad monoidom naturalnykh chisel. Neprivodimye algebraicheskie mnozhestva”, Tr. Inst. mat. i mekh. UrO RAN, 16, no. 4, 2010, 258–269

[31] Appel K. I., “One-variable equations in free groups”, Proc. Am. Math. Soc., 19 (1968), 912–918 | DOI | MR | Zbl

[32] Barr M., Wells C., “Toposes, triples and theories”, Theory Appl. Categ., 1 (2005), 1–289 | MR

[33] Baumslag G., Myasnikov A., Remeslennikov V., “Algebraic geometry over groups. I. Algebraic sets and ideal theory”, J. Algebra, 219 (1999), 16–79 http://ofim.okno.ru/~remesl/articles/algeom1.pdf | DOI | MR | Zbl

[34] Baumslag G., Myasnikov A., Romankov V., “Two theorems about equationally Noetherian groups”, J. Algebra, 194 (1997), 654–664 | DOI | MR | Zbl

[35] Bryant R., “The verbal topology of a group”, J. Algebra, 48 (1977), 340–346 | DOI | MR | Zbl

[36] Casals-Ruiz M., Kazachkov I., “Elements of algebraic geometry and the positive theory of partially commutative groups”, Can. J. Math., 62:3 (2010), 481–519, arXiv: 0710.4077[math.GR] | DOI | MR | Zbl

[37] Casals-Ruiz M., Kazachkov I., On systems of equations over free partially commutative groups, Preprint, arXiv: 0810.4867[math.GR] | MR

[38] Casals-Ruiz M., Kazachkov I., On systems of equations over free products of groups, Preprint, arXiv: 0903.2096[math.GR] | MR

[39] Champetier C., Guirardel V., “Limit groups as limits of free groups: Compactifying the set of free groups”, Israel J. Math., 146 (2005), 1–76, arXiv: math/0401042[math.GR] | DOI | MR

[40] Chapuis O., “$\forall$-free metabelian groups”, J. Symb. Logic, 62 (1997), 159–174 | DOI | MR | Zbl

[41] Chiswell I. M., Remeslennikov V. N., “Equations in free groups with one variable”, J. Group Theory, 3:4 (2000), 445–466 | DOI | MR | Zbl

[42] Daniyarova E., Miasnikov A., Remeslennikov V., “Unification theorems in algebraic geometry”, Aspects of infinite groups, Algebra Discrete Math., 1, World Sci. Publ., 2008, 80–111, arXiv: 0808.2522[math.AR] | DOI | MR | Zbl

[43] Daniyarova E., Miasnikov A., Remeslennikov V., “Algebraic geometry over algebraic structures. III. Equationally Noetherian property and compactness”, Southeast Asian Bull. Math., 35:1 (2011), 35–68, arXiv: 1002.4243[math.AR] | MR | Zbl

[44] Eizenbud D., Commutative Algebra with a View towards Algebraic Geometry, Graduate Texts Math., 150, Springer, Berlin, 1995 | DOI | MR

[45] Gaglione A., Spellman D., “Some model theory of free groups and free algebras”, Houston J. Math., 19 (1993), 327–356 | MR | Zbl

[46] Grigorchuk R. I., Kurchanov P. F., “On quadratic equations in free groups”, Contemp. Math., 131:1 (1992), 159–171 | DOI | MR | Zbl

[47] Groves D., “Limits of (certain) CAT(0) groups. I. Compactification”, Algebraic Geometric Topology, 5 (2005), 1325–1364, arXiv: math/0404440[math.GR] | DOI | MR | Zbl

[48] Groves D., Limits of (certain) CAT(0) groups. II. The Hopf property and the shortening argument, Preprint, 2004, arXiv: math/0408080[math.GR]

[49] Groves D., Limit groups for relatively hyperbolic groups. I. The basic tools, Preprint, 2004, arXiv: math/0412492[math.GR] | MR

[50] Groves D., “Limit groups for relatively hyperbolic groups. II. Makanin–Razborov diagrams”, Geom. Topol., 9 (2005), 2319–2358, arXiv: math/0503045[math.GR] | DOI | MR | Zbl

[51] Guba V., “Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems”, Mat. Zametki, 40:3 (1986), 321–324 | MR | Zbl

[52] Guirardel V., “Limit groups and group acting freely on $\mathbb R^n$-trees”, Geom. Topol., 8 (2004), 1427–1470, arXiv: math/0306306[math.GR] | DOI | MR | Zbl

[53] Hrushovski E., “The Mordell–Lang conjecture for function fields”, J. Amer. Math. Soc., 9 (1996), 667–690 | DOI | MR | Zbl

[54] Kharlampovich O., Myasnikov A., “Irreducible affine varieties over free group. I. Irreducibility of quadratic equations and Nullstellensatz”, J. Algebra, 200:2 (1998), 472–516 | DOI | MR | Zbl

[55] Kharlampovich O., Myasnikov A., “Irreducible affine varieties over free group. II. Systems in triangular quasi-quadratic form and description of residually free groups”, J. Algebra, 200:2 (1998), 517–570 | DOI | MR | Zbl

[56] Kharlampovich O., Myasnikov A., “Algebraic geometry over free groups: Lifting solutions into generic points”, Contemp. Math., 378 (2005), 213–318, arXiv: math/0407110[math.GR] | DOI | MR | Zbl

[57] Kharlampovich O., Myasnikov A., “Elementary theory of free nonabelian groups”, J. Algebra, 302:2 (2006), 451–552 | DOI | MR | Zbl

[58] Kotov M. V., “Equationally Noetherian property and close properties”, Southeast Asian Bull. Math., 35:3 (2011), 419–429 | MR | Zbl

[59] Lyndon R. C., “Groups with parametric exponents”, Trans. Am. Math. Soc., 96 (1960), 518–533 | DOI | MR | Zbl

[60] Marker D., Model Theory: An Introduction, Springer, New York, 2002 | MR | Zbl

[61] McCool J., Pietrowski A., “Some finitely presented subgroups for the automorphism group of a free group”, J. Algebra, 35 (1975), 205–213 | DOI | MR | Zbl

[62] Morar P., Shevlyakov A., “Algebraic geometry over additive positive monoids. Systems of coefficient free equations”, Combinatorial and Geometric Group Theory, Dortmund and Ottawa–Montreal Conferences. Selected papers of the conferences on “Combinatorial and geometric group theory with applications” GAGTA (Dortmund, Germany, August 27–31, 2007), “Fields workshop in asymptotic group theory and cryptography” (Ottawa, Canada, December 14–16, 2007) and the workshop on “Action on trees, non-Archimedian words, and asymptotic cones” (Montreal, Canada, December 17–21, 2007), Trends Math., ed. O. Bogopolski, Birkhäuser, Basel, 2010, 261–278 | MR | Zbl

[63] Myasnikov A., Remeslennikov V., “Exponential groups. 2. Extension of centralizers and tensor completion of CSA-groups”, Int. J. Algebra Comput., 6:6 (1996), 687–711, arXiv: math/9507203[math.GR] | DOI | MR | Zbl

[64] Myasnikov A., Remeslennikov V., “Algebraic geometry over groups. II. Logical foundations”, J. Algebra, 234 (2000), 225–276 http://ofim.okno.ru/~remesl/articles/algeom2.pdf | DOI | MR | Zbl

[65] Myasnikov A., Remeslennikov V., Serbin D., “Regular free length functions on Lyndon's free $\mathbb Z[t]$-group $F^{\mathbb Z[t]}$”, Contemp. Math., 378 (2005), 37–77 http://ofim.okno.ru/~remesl/articles/lyndon.pdf | DOI | MR | Zbl

[66] Myasnikov A., Romanovskiy N., Krull dimension of solvable groups, Preprint, 2008, arXiv: 0808.2932[math.GR] | MR

[67] Plotkin B., “Varieties of algebras and algebraic varieties. Categories of algebraic varieties”, Sib. Adv. Math., 7:2 (1997), 64–97 | MR | Zbl

[68] Plotkin B., “Varieties of algebras and algebraic varieties”, Israel J. Math., 96:2 (1996), 511–522 | DOI | MR | Zbl

[69] Plotkin B., “Algebras with the same (algebraic) geometry”, Matematicheskaya logika i algebra, Sb. statei. K 100-letiyu so dnya rozhdeniya akademika Petra Sergeevicha Novikova, Tr. MIAN, 242, 2003, 176–207, arXiv: math/0210194[math.GM] | MR | Zbl

[70] Razborov A., “On systems of equations in a free groups”, Combinatorial and Geometric Group Theory (Edinburgh 1993), London Math. Soc. Lect. Notes Ser., 204, eds. A. J. Duncan, N. D. Gilbert, J. Howie, Cambridge Univ. Press, Cambridge, 1995, 269–283 | MR | Zbl

[71] Remeslennikov V., Stöhr R., “On the quasivariety generated by a non-cyclic free metabelian group”, Algebra Colloq., 11 (2004), 191–214 http://ofim.okno.ru/~remesl/articles/remstohr1.pdf | MR | Zbl

[72] Remeslennikov V., Stöhr R., “On algebraic sets over metabelian groups”, J. Group Theory, 8 (2005), 491–513 http://ofim.okno.ru/~remesl/articles/remstohr2.pdf | DOI | MR | Zbl

[73] Remeslennikov V., Stöhr R., “The equation $[x,u]+[y,v]=0$ in free Lie algebras”, Int. J. Algebra Comput., 17:5–6 (2007), 1165–1187 http://ofim.okno.ru/~remesl/articles/remstohr3.pdf | DOI | MR | Zbl

[74] Sela Z., “Diophantine geometry over groups. I. Makanin–Razborov diagrams”, Publ. Math. IHES, 93 (2001), 31–105 | DOI | MR | Zbl

[75] Sela Z., “Diophantine geometry over groups. VI. The elementary theory of a free group”, GAFA, 16 (2006), 707–730 | MR | Zbl

[76] Sela Z., Diophantine geometry over groups. VII. The elementary theory of a hyperbolic group, Preprint | MR

[77] Shevlyakov A. N., “Algebraic geometry over natural numbers. The classification of coordinate monoids”, Groups, Complexity Cryptology, 2:1 (2010), 91–111 | DOI | MR | Zbl

[78] Shevlyakov A. N., “Commutative idempotent semigroups at the service of the universal algebraic geometry”, Southeast Asian Bull. Math., 35:1 (2011), 111–136 | MR | Zbl