🔢 mathematics

Surjectivity of Engel Maps over trace zero matrices in $\mathrm{M}_2(\mathcal{O})$

This paper establishes that the surjectivity of the $(m+1)$ -th Engel map on trace-zero matrices over a complete local principal ideal ring $\mathcal{O}$ is entirely determined by its surjectivity over the residue field $k$ , thereby proving that every element in $\mathfrak{sl}_2^{\circ}(\mathcal{O})$ can be expressed as an Engel polynomial under mild conditions on $k$ .

Original authors: Ayon Roy, Anupam Singh

Published 2026-08-20

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ayon Roy, Anupam Singh

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of mathematics, there is a branch dedicated to understanding how things change when they interact. One of the most fundamental ways to describe interaction is through a simple operation called a commutator. Imagine taking two objects, say a and b, and performing a specific sequence of actions: first do a then b, and then do b then a. If you subtract the result of the second sequence from the first, you get a new object. In the world of numbers and matrices, this new object often has a special property: its "trace," which is a specific sum of numbers inside it, is always zero. For decades, mathematicians have asked a deceptively simple question: if you have a matrix with a zero trace, can you always find two other matrices that, when combined in this specific way, produce it? The answer is yes for many types of numbers, but the story becomes much more complex when the numbers come from a system that is built up in layers, like a tower of rings where each layer rests on the one below it.

This complexity is the focus of a new study by Ayon Roy and Anupam Singh, who investigated a more intricate version of this interaction. Instead of just swapping the order of two actions once, they looked at what happens when you repeat a specific type of interaction many times in a row. This repeated process is known as an Engel map. It is a way of taking two matrices and repeatedly applying a rule that involves swapping and subtracting, layer after layer. The researchers were particularly interested in a specific setting: a local principal ideal ring, which is a mathematical structure that behaves like a complete, layered system with a "residue field" at its base. They wanted to know if the ability to generate every possible zero-trace matrix using this repeated interaction at the bottom layer of the system guarantees that the same is true for the entire layered structure above it.

The researchers focused their attention on 2-by-2 matrices, which are small grids of numbers, within a system where the underlying field of numbers does not have a characteristic of two. They set out to determine if the surjectivity of these Engel maps—meaning the ability to reach every possible target matrix—could be lifted from the simple base layer to the complex, complete structure. Their work confirms that the behavior at the bottom truly dictates the behavior at the top. They proved that if every zero-trace matrix at the base level can be formed by this repeated interaction, then every zero-trace matrix in the entire layered system can also be formed in the same way. This is a significant result because it allows mathematicians to solve difficult problems in complex systems by simply checking the much simpler system at the foundation.

To reach this conclusion, the team had to navigate the subtle differences between the layers of the mathematical structure. They developed a method to "lift" solutions from one layer to the next, ensuring that the properties of the matrices were preserved as they moved up the tower. A key part of their strategy involved analyzing the "fibers" of the map, which are the sets of input pairs that produce a specific output. By studying these sets, particularly for matrices that behave in a regular, predictable way, they were able to show that the necessary conditions for a solution to exist at the base were sufficient to guarantee a solution at every higher level. They also had to account for matrices that are zero at the base but non-zero in the layers above, proving that even these "hidden" elements could be generated by the same process.

The findings are definitive and rely on rigorous proof rather than simulation or suggestion. The authors demonstrated that the surjectivity of the Engel map on the trace-zero matrices of the complete local ring is equivalent to the surjectivity of the map on the residue field. In simpler terms, the entire system works perfectly if and only if the foundation works perfectly. This equivalence holds true for any number of repetitions in the interaction, provided the number of repetitions is at least one. The study also clarifies that the inputs used to generate these matrices can themselves be chosen to have a zero trace, a detail that was not guaranteed in earlier, simpler versions of the problem.

This work resolves a specific question about the structure of these mathematical interactions, confirming that the complexity of the layered system does not introduce new obstacles that are not already present in the base layer. It provides a clear bridge between the simple and the complex, showing that the rules governing the smallest, most fundamental part of the system extend all the way up. For mathematicians studying these algebraic structures, this means that the difficult task of understanding the full system can often be reduced to understanding its simplest component. The results stand as a solid confirmation that in this specific corner of algebra, the whole is indeed determined by the sum of its parts, and that the ability to generate every possible outcome in the complex world depends entirely on the ability to do so in the simple one beneath it.

Technical Summary: Surjectivity of Engel Maps over Trace Zero Matrices in $M_2(\mathcal{O})$

Problem Statement
The paper investigates the surjectivity of Engel maps on the Lie algebra of trace-zero matrices over a specific class of rings. Let $\mathcal{O}$ be a local principal ideal ring (PIR) that is complete with respect to its maximal ideal $\mathfrak{m} = (\pi)$ , with a residue field $k$ of characteristic $\neq 2$ . The authors focus on the set of trace-zero matrices $\mathfrak{sl}^\circ_2(\mathcal{O}) = \{ A \in M_2(\mathcal{O}) \mid \text{tr}(A) = 0 \}$ .

The central problem addresses two related questions regarding the $(m+1)$ -th Engel map, defined by the polynomial $e_{m+1}(x,y) = [\dots[[x,y],y],\dots,y]$ ( $m+1$ times):

Lifting Question: If the image of the $(m+1)$ -th Engel map over the residue field $k$ (denoted $\bar{e}_{m+1}$ ) covers the entire space $\mathfrak{sl}_2(k)$ , does the corresponding map over the ring $\mathcal{O}$ ( $e^{\mathcal{O}}_{m+1}$ ) cover the entire space $\mathfrak{sl}^\circ_2(\mathcal{O})$ ?
Restricted Surjectivity: If the Engel map restricted to trace-zero matrices over $k$ is surjective, is the corresponding map restricted to trace-zero matrices over $\mathcal{O}$ also surjective?

These questions arise from the broader context of commutator problems in matrix rings. While it is known that every trace-zero matrix over a field (or PID) is a single commutator, and that under certain conditions (char $k \neq 2$ ) these commutators can be chosen to have trace zero, the behavior of higher-order Engel words under lifting from the residue field to the complete local ring remained to be established.

Methodology
The authors employ a "lifting strategy" combined with a detailed analysis of the fibers of the Engel map. The methodology proceeds through the following key steps:

Inductive Lifting via Derivative Maps: The paper utilizes the canonical isomorphism between $M_n(\mathcal{O})$ and the inverse limit of $M_n(\mathcal{O}_j)$ (where $\mathcal{O}_j = \mathcal{O}/\pi^j\mathcal{O}$ ). To lift a solution from level $j$ to $j+1$ , the authors analyze the derivative map $D e^{\mathcal{O}_{j+1}}_{m+1}$ associated with the Engel polynomial. They derive an explicit recursive formula for this derivative map acting on the Lie algebra $\mathfrak{sl}_2(\mathcal{O}_{j+1})$ .
Surjectivity of Derivative Maps: A crucial technical component is proving that the derivative map is surjective under specific conditions on the "base" elements in the residue field. Specifically, they show that if the centralizers of the input matrices satisfy certain intersection properties (e.g., $Z(\bar{g}_2) \cap Z(\bar{g}_2)^\perp = \{0\}$ ), the derivative map is surjective. This allows the application of Nakayama's Lemma to lift solutions from the residue field to the complete ring.
Classification of Fibers in $\mathfrak{sl}_2(k)$ : The authors classify the fibers of the Engel map over the residue field $k$ $k$ based on the nature of the target element $g \in \mathfrak{sl}_2(k)$ $g \in sl_{2} (k)$ :
- Cyclic Non-Semisimple Elements: They prove that for cyclic nilpotent elements, the fiber contains pairs where one element is nilpotent and the other is regular semisimple.
- Regular Semisimple Elements: They establish that if a regular semisimple element is in the image of the Engel map, the second argument of the map must also be regular semisimple.
- Zero Element: They handle the lifting of the zero matrix (non-trivial lifts) by decomposing them into scalar and trace-zero parts, showing that non-zero lifts of zero are also in the image if the residue field map is surjective.

Key Contributions and Results
The paper provides affirmative answers to the motivating questions, establishing a direct correspondence between the surjectivity of Engel maps over the residue field and the complete local ring.

Theorem 4.4: The image of the $(m+1)$ -th Engel map over $\mathcal{O}$ is exactly $\mathfrak{sl}^\circ_2(\mathcal{O})$ if and only if the image of the corresponding map over the residue field $k$ is $\mathfrak{sl}_2(k)$ . This result holds for any $m \ge 1$ .
Theorem 4.6: The $(m+1)$ -th Engel map restricted to $\mathfrak{sl}^\circ_2(\mathcal{O}) \times \mathfrak{sl}^\circ_2(\mathcal{O})$ is surjective if and only if the corresponding map restricted to $\mathfrak{sl}_2(k) \times \mathfrak{sl}_2(k)$ is surjective.
Corollary 4.7: By combining their results with previous work by Bandman et al. (who proved surjectivity for large fields), the authors conclude that for a sufficiently large residue field $k$ with characteristic $\neq 2$ , every element in $\mathfrak{sl}^\circ_2(\mathcal{O})$ can be expressed as an $(m+1)$ -th Engel word of two trace-zero matrices in $\mathfrak{sl}^\circ_2(\mathcal{O})$ .

Significance
The paper's significance lies in extending the understanding of non-commutative polynomial maps from fields to complete local principal ideal rings. It demonstrates that the surjectivity of Engel maps on trace-zero matrices is a property that is preserved under the lifting process from the residue field to the complete ring, provided the characteristic is not 2.

The authors explicitly state that their work is motivated by the lifting problems in the context of commutators and Engel maps. They do not propose new applications or experimental proposals but rather provide a rigorous algebraic framework connecting the structure of Lie algebras over local rings to their residue fields. The results generalize known commutator theorems (such as those by Lissner and Stasinski) to the context of higher-order Engel words and trace-zero constraints.

More like this