On the undecidability of Markov properties for Lie superalgebras
DOI:
https://doi.org/10.13069/jacodesmath.v12i1.321Keywords:
Markov properties, Lie superalgebra, HNN-extension, UndecidabilityAbstract
In this note, we address an algorithmic problem for Lie superalgebras. As a starting point, we use the Theory of Gröbner-Shirshov bases in order to find a normal form for Higman-Neumann-Neumann-extension (HNN-extension, for short) of Lie superalgebras. Then by using HNN-extension we show that there is no algorithm to determine whether a finitely presented Lie superalgebra satisfies Markov properties.
Received: 11 March 2024 | Accepted: 3 November 2024Downloads
References
S. I. Adian, On algorithmic problems in effectively complete classes of groups, Dokl. Akad. Nauk SSSR 123 (1958) 13–16.
Y. A. Bahturin, A. A. Mikhalev, M. V. Zaitsev, and V. M. Petrogradsky, Infinite Dimensional Lie Superalgebras, Walter de Gruyter, Berlin (1992).
L. A. Bokut, Undecidability of certain algorithmic problems for Lie algebras, Algebra Log. 13 (1974) 145–152.
L. A. Bokut and Y. Chen, Gröbner–Shirshov bases and their calculation, Bull. Math. Sci. 4(3) (2014) 325–395.
L. A. Bokut, Y. Chen, K. Kalorkoti, P. S. Kolesnikov, and V. E. Lopatkin, Gröbner–Shirshov Bases: Normal Forms, Combinatorial and Decision Problems in Algebra, World Scientific Publishing Company, Singapore (2020).
L. A. Bokut, S. J. Kang, K. H. Lee, and P. Malcolmson, Gröbner–Shirshov bases for Lie superalgebras and their universal enveloping algebras, J. Algebra 217(2) (1999) 461–495.
L. A. Bokut and G. P. Kukin, Algorithmic and Combinatorial Algebra, Kluwer Academic Publishers, Dordrecht (1994).
D. D’Angeli, E. Rodaro, and J. P. Wächter, Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness, Israel J. Math. 237(1) (2020) 15–52.
B. He and S. Gao, The nonisospectral super integrable hierarchies associated with Lie superalgebra $\mathfrak{sl}(1, 2)$, Rep. Math. Phys. 93(3) (2024) 327–351.
X. García-Martínez, E. Khalmadze, and M. Ladra, Non-abelian tensor product and homology of Lie superalgebras, J. Algebra 440 (2015) 464–488.
M. Gerstenhaber, The cohomology structure of an associative ring, Ann. of Math. 78(2) (1963) 267–288.
M. Gerstenhaber, On the deformation of rings and algebras, Ann. of Math. 79(1) (1964) 59–103.
V. Gubarev and P. Kolesnikov, Embedding of dendriform algebras into Rota–Baxter algebras, Open Math. 11(2) (2013) 226–245.
T. Harju, A simple undecidable problem for free groups, Theoret. Comput. Sci. 1003 (2024) 114629.
G. Higman, B. H. Neumann, and H. Neumann, Embedding theorems for groups, J. London Math. Soc. 24(4) (1949) 247–254.
G. Klein and C. Zargeh, Operadic approach to HNN-extensions of Leibniz algebras, Quasigroups Related Systems 30(1) (2022) 101–114.
M. Ladra, P. Páez-Guillán, and C. Zargeh, HNN-extension of Lie superalgebras, Bull. Malaysian Math. Sci. Soc. 43(2) (2020) 1959–1970.
M. Ladra, M. Shahryari, and C. Zargeh, HNN-extensions of Leibniz algebras, J. Algebra 532 (2019) 183–200.
D. I. Lee, Gröbner–Shirshov bases for exceptional Lie superalgebras, Algebra Colloq. 22(1) (2015) 1–10.
R. C. Lyndon and P. E. Schupp, Combinatorial Group Theory, Springer, Berlin (1977).
A. Markov, Impossibility of algorithms for recognising some properties of associative systems, Dokl. Akad. Nauk SSSR 77 (1951) 953–956.
A. A. Mikhalev, Subalgebras of free colored Lie superalgebras, Math. Notes 37(5) (1985) 356–360.
A. A. Mikhalev, Embedding of Lie superalgebras of countable rank in Lie superalgebras with two generators, Russian Math. Surveys 45(6) (1990) 162–163.
C. F. Miller, Decision problems for groups — survey and reflections, in: G. Baumslag and C. F. Miller (Eds.), Algorithms and Classification in Combinatorial Group Theory, Mathematical Sciences Research Institute Publications, Springer, New York (1992) 1–59.
B. A. Omirov, I. S. Rakhimov, and G. O. Solijanova, The description of solvable Lie superalgebras of maximal rank, Linear Algebra Appl. 695 (2024) 136–162.
B. Poonen, Undecidability in number theory, Notices Amer. Math. Soc. 55(3) (2008) 344–350.
B. Poonen, Undecidability everywhere, Cantrell Lecture 3, University of Georgia (2008).
B. Poonen, Undecidable problems: a sampler, in: J. Kennedy (Ed.), Interpreting Gödel: Critical Essays, Cambridge University Press, Cambridge (2014) 211–241.
M. O. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. 67(1) (1958) 172–174.
K. Schrempf, A standard form in (some) free fields: How to construct minimal linear representations, Open Math. 18(1) (2020) 1365–1386.
A. I. Shirshov, Some algorithmic problems for Lie algebras, Sibirsk. Mat. Zh. 3 (1962) 292–296 (in Russian); English translation: ACM SIGSAM Bull. 33(2) (1999) 3–6.
S. Silvestrov and C. Zargeh, HNN-extension of involutive multiplicative Hom-Lie algebras, in: S. Silvestrov and A. Malyarenko (Eds.), Non-commutative and Non-associative Algebra and Analysis Structures, SPAS 2019, Springer Proc. Math. Stat., vol. 422, Springer, Cham (2023) 791–804.
H. Wang and B. He, A class of extended Lie superalgebras and their applications, Chaos Solitons Fractals 168 (2023) 113145.
H. Wang, Y. Zhang, and C. Li, A multi-component super integrable Dirac hierarchy, Phys. Lett. B 847 (2023) 138323.
A. Wasserman, A derivation HNN construction for Lie algebras, Israel J. Math. 106(1) (1998) 79–92.
C. Zargeh, Existentially closed Leibniz algebras and an embedding theorem, Commun. Math. 29(2) (2021) 163–170.
C. Zargeh, A normal form for HNN-extensions of dialgebras, Missouri J. Math. Sci. 35(1) (2023) 85–94.
