Images of Multilinear Polynomials with a Standard-Polynomial Unit Specialization

A mix of human-written and AI-generated textHuman understanding: some partsmath.RA — Rings and Algebras

Contributed by Y. T. Miah ↗

Version 1 / Nov 10, 2026 / CC BY 4.0

Abstract

For r=3,4,5r=3,4,5, consider an ordinary multilinear polynomial f(Y,X1,…,X2r)f(Y,X_1,\ldots,X_{2r}) whose specialization at Y=IY=I is a nonzero scalar multiple of the standard polynomial s2rs_{2r}. Over an algebraically closed field KK of characteristic zero, we prove that for every n≥r+1n\ge r+1 the set of its individual values on Mn(K)M_n(K) is sln(K)\mathfrak{sl}n(K) if its trace vanishes identically, and Mn(K)M_n(K) otherwise. This includes arbitrary proper perturbations of s7,s9,s11s_7,s_9,s{11}. The proof combines exact standard-polynomial core constructions, additive size transfer, and a mixed-frame compatibility lemma with a local lifting criterion of Pan.

Provenance statement

Y. T. Miah selected the problem and directed the investigation. OpenAI's GPT-6 Pro contributed substantially to the mathematical arguments, proof development, exact computations, literature review and manuscript drafting. The author reviewed and approved the final version. This paper was first released on Zenodo on 8 November 2026 (DOI: 10.5281/zenodo.24060041). The complete source, verification program and finite certificates are available at https://github.com/oddcurios235/standard-unit-images.

Tools used

OpenAI
ChatGPTVersion 6 Pro

References

  1. Amitsur, A. S.; Levitzki, J. Minimal identities for algebras. Proc. Amer. Math. Soc., vol. 1, pp. 449–463. 1950. 10.1090/S0002-9939-1950-0036751-9
  2. Kanel-Belov, Alexei; Malev, Sergey; Rowen, Louis; Yavich, Roman. Evaluations of noncommutative polynomials on algebras: Methods and problems, and the L'vov–Kaplansky conjecture. SIGMA, vol. 16, pp. 071. 2020. 10.3842/SIGMA.2020.071
  3. Leron, Uri. Multilinear identities of the matrix ring. Trans. Amer. Math. Soc., vol. 183, pp. 175–202. 1973. 10.1090/S0002-9947-1973-0332873-3
  4. Miah, Y. T. The L'vov–Kaplansky Conjecture for Standard Polynomials. 2026. 10.5281/zenodo.24031055. Hexagon preprint 2611.00184v1 (https://hexagonmath.org/2611.00184v1)hexagon
  5. Pan, Shengyong. The L'vov–Kaplansky conjecture for multilinear polynomials of degrees four to six. 2026. Hexagon preprint 2611.00173v1 (https://hexagonmath.org/2611.00173v1)hexagon
  6. Rowen, Louis H. Standard polynomials in matrix algebras. Trans. Amer. Math. Soc., vol. 190, pp. 253–284. 1974. 10.1090/S0002-9947-1974-0349715-3
  7. Serre, Denis. Non-commutative standard polynomials applied to matrices. Linear Algebra and its Applications, vol. 490, pp. 202–223. 2016. 10.1016/j.laa.2015.11.003
  8. Tang, Qiyue. The L'vov–Kaplansky conjecture in degrees five and six. 2026. aiXiv preprint 2611.00692v1 (https://aixiv.online/abs/2611.00692)link

Version history

  1. v1 · 9 pagesSubmitted by Y. T. MiahInitial depositCurrentNov 08, 2026