k멱과 혼합 조던 거듭 제곱 보존자 구조

초록

본 논문은 대수적으로 폐쇄된 체 위의 n×n 행렬대수 Mₙ(F)에서, 정규화된 조던 곱 A∘B=(AB+BA)/2와 임의의 자연수 k에 대해 ϕ(Aᵏ∘B)=ϕ(A)ᵏ∘ϕ(B)를 만족하는 모든 사상 ϕ를 완전히 분류한다. 결과는 ϕ가 (k+1)-멱을 고정하는 상수 사상이거나, 가역 행렬 T, 체 동형 ω, k번째 단위근 ε에 의해 ϕ(X)=ε T ω(X) T⁻¹ 혹은 ϕ(X)=ε T ω(X)ᵗ T⁻¹ 형태임을 보이며, 비상수 해는 반드시 가법적이다.

상세 분석

논문은 먼저 조던 곱 ∘와 k‑멱 Aᵏ∘B를 결합한 혼합 형태의 보존자를 연구한다. 핵심은 (k+1)‑멱, 즉 P∈Mₙ(F)에서 P^{k+1}=P인 행렬을 어떻게 보존하는가에 있다. 저자들은 Potₖ₊₁(Mₙ(F)) 집합에 대해 두 가지 구조적 도구를 도입한다. 첫째는 일반적인 아이디엠포턴트에 대한 부분 순서 ≤를 k‑멱에 맞게 확장한 ⪯ 관계이며, 이는 p⪯q ⇔ pq=qp=p² 로 정의된다. 둘째는 서로 직교(pq=qp=0)인 k‑멱들의 합이 다시 k‑멱이 되는 ortho‑additivity 성질이다. Lemma 2.5와 Lemma 2.7을 통해 ⪯가 실제 부분 순서임을 확인하고, 직교합에 대한 랭크 함수 r(P) 가 ortho‑additive함을 보인다. 이러한 성질은 ϕ가 (k+1)‑멱을 보존하면 자동으로 랭크와 ⪯ 관계도 보존한다는 중요한 결론을 만든다.

다음 단계에서는 ϕ가 영이 아닌 (k+1)‑멱을 보존한다는 가정 하에, 그 이미지가 전체 Mₙ(F) 전체에 걸쳐 충분히 풍부함을 보인다. 특히, 최소 비자명 (k+1)‑멱을 이용해 ϕ가 단위 행렬 I를 보내는 경우와 그렇지 않은 경우를 구분한다. I를 보존하는 경우, ϕ는 직교 투영들의 집합을 보존하므로, 기존의 Jordan‑multiplicative map 이론에 따라 ϕ가 선형(가법)이며, 결국 행렬 동형 T와 체 동형 ω에 의해 표현될 수 있음을 보인다. I를 보존하지 않을 경우, 적절한 상수 ε∈S₁ₖ(ℱ)와 가역 행렬 T를 곱해 I를 보존하도록 변환한 뒤 위와 동일한 논리를 적용한다. 전치 연산이 나타나는 경우는 ω가 반대칭(anti‑automorphism)일 때 발생하며, 이는 전통적인 Jodeit–Lam 정리와 일치한다.

마지막으로, ϕ가 상수 사상인 경우는 (k+1)‑멱이자 영이 아닌 행렬을 고정하는 경우만 가능함을 보인다. 이는 (k+1)‑멱의 고유값 구조와 특성 2와의 차이에 의존한다. 전체 증명은 기존의 Jordan 보존자 결과(