🔢 mathematics

2-Local and local derivations on Jordan matrix rings over commutative involutive rings

This paper establishes that every 2-local inner derivation on Jordan rings of self-adjoint matrices over commutative involutive rings is a derivation, and extends these results to prove that 2-local and local spatial derivations on specific infinite-dimensional Jordan algebras of self-adjoint matrix-valued maps are also derivations.

Original authors: Sh. A. Ayupov, F. N. Arzikulov, N. M. Umrzaqov, O. O. Nuriddinov

Published 2026-05-04

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Sh. A. Ayupov, F. N. Arzikulov, N. M. Umrzaqov, O. O. Nuriddinov

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

Imagine a vast, complex city called Jordan Land. In this city, the buildings are not made of brick and mortar, but of mathematical rules. Specifically, this city is built on a special kind of "multiplication" called Jordan multiplication. Instead of just multiplying numbers $A \times B$ , the city uses a rule that averages the order: $\frac{1}{2}(AB + BA)$ . This makes the city symmetrical and balanced, much like a perfectly reflected image.

The paper you are asking about is a detective story about the "workers" of this city. These workers are called derivations.

The Workers: Derivations

Think of a derivation as a rule-following inspector. If you have two buildings, $X$ and $Y$ , and you combine them, the inspector checks the result. A "good" inspector (a true derivation) follows a strict law:

"If I inspect the combination of $X$ and $Y$ , my report must be the same as inspecting $X$ alone, then $Y$ alone, and adding the results together."

In math terms, this is the Leibniz rule: $D(XY) = D(X)Y + XD(Y)$.

The Imposters: 2-Local and Local Derivations

Now, imagine there are imposters in the city. They look like inspectors, but they might not follow the rules everywhere.

Local Derivations (The "One-on-One" Imposters):
Imagine an imposter who claims to be an inspector. If you show them one specific building ( $X$ ), they can produce a real inspector's report for that specific building. If you show them a different building ( $Y$ ), they can produce a different real inspector's report for that one.
- The Question: If this imposter can mimic a real inspector for every single building you pick, are they actually a real inspector for the whole city? Or are they just a master of disguise who changes their act every time?
2-Local Derivations (The "Two-at-a-Time" Imposters):
This is a slightly stricter test. The imposter must be able to mimic a real inspector for any pair of buildings you choose ( $X$ and $Y$ ) simultaneously. They have to produce a single report that works perfectly for both $X$ and $Y$ at the same time.
- The Question: If they can handle any pair of buildings perfectly, does that mean they are a genuine, city-wide inspector?

The Setting: The City of Matrices

The authors of this paper focus on a very specific, highly structured district of Jordan Land: The District of Self-Adjoint Matrices.

Think of these as square grids of numbers (matrices) that are perfectly symmetrical (if you flip them over their diagonal, they look the same).
These grids are built over a foundation called an involutive commutative ring. In plain English, this is a set of numbers with special symmetry rules (like real or complex numbers, but more general).

The Big Discovery

For a long time, mathematicians knew that in some simple districts of Jordan Land, these imposters were actually just real inspectors in disguise. But in the complex "Self-Adjoint Matrix" district, it was an open mystery. Could these imposters fool the city?

The authors' main claim is: No.

They proved that in this specific district:

Every "2-Local" imposter is actually a real inspector. If you can mimic the rules for any two buildings, you are following the rules for the whole city.
Every "Local" imposter is also a real inspector. If you can mimic the rules for any single building, you are following the rules for the whole city.

How Did They Solve It? (The Detective Work)

The authors didn't just guess; they built a mathematical "fingerprint" for these imposters.

The "Shadow" Element: They realized that every real inspector in this city is actually generated by a specific "shadow" element (a special matrix) that pushes and pulls the buildings around.
The Consistency Check: They showed that even though the imposter might pick a different "shadow" for every pair of buildings they inspect, the math forces those shadows to be consistent.
The "Chain" Trick: They used a clever chain of connections (like linking dominoes) across the matrix grid. They proved that if the imposter acts correctly on one pair, the rules of the city force them to act correctly on the next pair, and the next, until the entire city is covered by a single, consistent rule.

The Bigger Picture

The paper also extends this detective work to infinite cities (where the matrices are infinite, representing operators on a Hilbert space, which is a concept used in quantum physics and advanced calculus).

They proved that even in these infinite, complex versions of the city (specifically for maps from a set $\Omega$ to these operators), the imposters still can't fool the system. If they can mimic the rules locally or for pairs, they are genuine city-wide inspectors.

Summary in a Nutshell

The Problem: Can a mathematical "imposter" who mimics a rule perfectly for one or two items at a time trick us into thinking they are a rule-follower for everything?
The Setting: A specific type of mathematical city made of symmetrical matrices.
The Result: No. In this specific city, if you can mimic the rule for any pair (or any single item), you are mathematically forced to be a genuine rule-follower for the entire system. The "imposters" are actually just the real thing in disguise.

The paper does not discuss medical applications, engineering, or future technologies. It is purely a proof about the internal logic and structure of these mathematical systems, confirming that the "local" behavior of these maps is always consistent with their "global" behavior.

1. Problem Statement

The paper addresses the classification of 2-local derivations and local derivations on specific classes of Jordan rings and Jordan algebras.

Context: A derivation $D$ on a ring/algebra is a linear map satisfying the Leibniz rule ($D(xy) = D(x)y + xD(y)$). A 2-local derivation $\Delta$ is a map such that for any two elements $x, y$ , there exists a derivation $D_{x,y}$ (depending on $x$ and $y$ ) such that $\Delta(x) = D_{x,y}(x)$ and $\Delta(y) = D_{x,y}(y)$ . A local derivation satisfies this condition for single elements.
The Core Question: Under what conditions is every 2-local (or local) derivation actually a global derivation?
Specific Gap: Previous work (e.g., Semrl, and extensions by the authors in [3]) established this property for symmetric matrices over commutative rings with trivial involution. However, the problem remained open for:
1. Jordan rings of self-adjoint matrices $H_n(\mathcal{R})$ over a general unital involutive commutative associative ring $\mathcal{R}$ (where the involution is not necessarily trivial).
2. Jordan algebras of self-adjoint operator-valued maps on arbitrary sets.
3. The distinction between "inner" derivations and general spatial derivations in these infinite-dimensional settings.

2. Methodology

The authors employ a constructive approach based on the properties of the underlying associative multiplication and the structure of matrix units.

Reduction to Associative Rings: The authors leverage the fact that the Jordan ring $H_n(\mathcal{R})$ is embedded in the associative matrix ring $M_n(\mathcal{R})$ . They utilize the relationship between Jordan derivations and inner derivations of the enveloping associative algebra.
Construction of a Global Generator: The core strategy involves proving that for any 2-local inner derivation $\Delta$ , there exists a single element $\bar{a}$ (specifically a skew-adjoint or self-adjoint element depending on the context) in the enveloping algebra such that $\Delta(x) = \bar{a}x - x\bar{a}$ for all $x$ .
Peirce Decomposition and Matrix Units: The proofs rely heavily on analyzing the action of derivations on specific matrix units ( $e_{i,j}$ $e_{i, j}$ ) and their symmetric counterparts ( $\bar{e}_{i,j} = e_{i,j} + e_{j,i}$ $\overset{e}{ˉ}_{i, j} = e_{i, j} + e_{j, i}$ ).
- They define specific coefficients $a_{i,j}$ derived from the local derivations $D_{x,y}$ .
- They establish that these coefficients are consistent across different pairs of elements, allowing the construction of a global element $\bar{a} = \sum a_{i,j}$ .
Inductive and Limit Arguments:
- For finite dimensions ( $n \times n$ ), the proof is algebraic, using induction on indices and properties of Peirce components.
- For infinite-dimensional operator algebras (involving Hilbert spaces), the authors use a sequence of finite-dimensional projections and limits, utilizing the countable cardinality of the Hilbert space basis.
Modification of Previous Techniques: The authors explicitly note that methods from their previous work [3] (which assumed trivial involution) fail for general involutive rings because certain commutator identities do not hold. They introduce new propositions (e.g., Proposition 7 in the paper) and modify the choice of auxiliary elements (e.g., using $\bar{e}_{i,j}$ instead of $e_{i,j}$ ) to overcome these obstructions.

3. Key Contributions and Results

A. Finite Dimensional Case: Jordan Rings of Matrices

Theorem 4 (Main Result): Let $\mathcal{R}$ $R$ be a unital involutive commutative associative ring. Then every 2-local inner derivation on the Jordan ring $H_n(\mathcal{R})$ $H_{n} (R)$ of self-adjoint $n \times n$ $n \times n$ matrices is a derivation.
- Significance: This resolves the open problem for general involutive rings, extending previous results that were limited to trivial involutions.
Theorem 11: The result extends to Jordan algebras $H_n(A)$ where $A$ is a unital commutative involutive associative algebra.

B. Infinite Dimensional Case: Operator-Valued Maps

Theorem 19: Let $\Omega$ be an arbitrary set and $H$ a separable Hilbert space. Let $J$ be a Jordan subalgebra of $M(\Omega, B(H)_{sa})$ containing specific matrix units and a specific element $x_0$ . Then every 2-local spatial derivation on $J$ is a derivation.
Corollaries:
- Theorem 20: Applies to the full algebra $M(\Omega, B(H)_{sa})$ .
- Theorem 21: Applies to the self-adjoint part of a real von Neumann algebra of Type I.
- Theorem 22: Applies to the Jordan algebra of continuous maps $C(\Omega, K_{sa}(H))$ (compact operators).

C. Local Derivations

Theorem 23: The authors prove that every local spatial derivation on Jordan algebras of the form $M(\Omega, A)$ $M (Ω, A)$ or $C(\Omega, A)$ $C (Ω, A)$ (where $A$ $A$ is $B(H)_{sa}$ $B (H)_{s a}$ or $K_{sa}(H)$ $K_{s a} (H)$ ) is a derivation.
- Methodology: They utilize a point-evaluation homomorphism $\phi_t$ to reduce the problem to the local derivation problem on the underlying algebra $A$ , which is known to be true for $B(H)_{sa}$ .

4. Technical Nuances

Inner vs. Spatial: The paper distinguishes between "inner" derivations (generated by elements within the algebra) and "spatial" derivations (implemented by elements from a larger enveloping algebra). The results show that 2-local inner derivations are global inner derivations, and 2-local spatial derivations are global spatial derivations.
Handling Non-Trivial Involution: A critical technical hurdle was that in rings with non-trivial involution, the sum of commutators $[a_k, b_k]$ does not necessarily vanish on the diagonal in the same way as in the trivial case. The authors circumvented this by constructing a specific skew-adjoint element $\bar{a}$ directly from the coefficients of the local derivations, proving its existence without relying on the vanishing of diagonal commutators.

5. Significance

Resolution of Open Problems: The paper successfully closes the gap regarding 2-local derivations on Jordan rings with non-trivial involutions, a problem that had resisted previous methods.
Generalization: It unifies results for finite-dimensional matrix rings and infinite-dimensional operator algebras under a single theoretical framework.
Methodological Advancement: The techniques developed (specifically the construction of the global generator $\bar{a}$ via coefficient consistency) provide a robust toolkit for future investigations into non-associative algebras and local/2-local maps.
Applications: These results are fundamental in the structural theory of Jordan algebras, with implications for quantum mechanics (where self-adjoint operators represent observables) and the study of operator algebras (von Neumann algebras, C*-algebras).

In summary, the paper establishes that the "local" behavior of derivations on these specific Jordan structures is rigid: any map that locally mimics a derivation must globally be a derivation. This confirms the stability of the derivation property in these algebraic systems.