Additive preservers of mutual strong Birkhoff-James orthogonality on finite-dimensional $C^\ast$-algebras

기술적 요약: 유한 차원 C-대수에서의 상호 강한 버크호프-제임스 직교성 보존 가법 사상*

문제 제기
본 논문은 유한 차원 복소 C*-대수 $A$ 위에서 "상호 강한 버크호프-제임스 (BJ) 직교성"을 한 방향으로 보존하는 가법 전단사 사상 $\Phi: A \to A$의 구조를 조사한다. 노름 공간 $X$에서 두 벡터 $x, y$가 모든 스칼라 $\lambda$에 대해 $\|x + \lambda y\| \ge \|x\|$를 만족할 때 버크호프-제임스 (BJ) 직교 ($x \perp_{BJ} y$) 한다고 한다. $X$가 C*-대수 $A$ 위의 오른쪽 힐베르트 C*-모듈일 때, 모든 $c \in A$에 대해 $\|x + yc\| \ge \|x\|$를 만족하면 $x$는 $y$에 대해 강한 BJ 직교 ($x \perp^S_{BJ} y$) 한다. 저자들은 $x \perp^S_{BJ} y$와 $y \perp^S_{BJ} x$가 모두 성립하는 상호 버전, 즉 $x \perp\perp^S_{BJ} y$에 초점을 맞춘다.

구체적인 설정은 행렬 대수의 직접 합과 동형인 유한 차원 C*-대수 $A$이다:
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
핵심 질문은 다음을 만족하는 모든 가법 전단사 사상 $\Phi$를 분류하는 것이다:
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

방법론
저자들은 직교성 보존을 특이성 (비가역성) 보존과 연결하는 축소 전략을 사용한다.

1. 특이성으로의 축소: 핵심 기술적 도구는 행렬 대수의 직접 합 위에서 특이 요소를 특이 요소로 보내는 가법 전단사 사상을 특징짓는 정리 1.4 이다. 이 정리의 증명은 다음에 의존한다:

   • 랭크 1 보존: 그러한 사상이 랭크 1 연산자를 랭크 1 연산자 또는 영 (zero) 으로 보낸다는 것을 보임 (Lemma 2.2).
   • 블록 치환: 사상이 대수의 블록 성분을 치환함을 보임 (Lemma 2.3).
   • 행렬 기하학의 기본 정리: 각 블록에서의 사상의 구체적인 형태를 결정하기 위해 랭크나 특이성을 보존하는 가법 사상에 대한 알려진 결과를 적용함 (체 준동형과 가역 행렬을 포함).

2. 직교성에서 특이성으로: Lemma 3.1 은 유한 차원 C*-대수 (특정 저차원 경우인 $\mathbb{C} \oplus \mathbb{C}$ 등 제외) 에 대해 상호 강한 BJ 직교성을 보존하는 임의의 가법 사상은 특이성도 보존해야 함을 확립한다. 이는 특이값 분해와 관련된 구체적인 직교 관계를 구성하고 특이 요소를 가역 요소로 보내는 것이 모순을 초래함을 보임으로써 증명된다.

3. 블록의 구조적 분석: 사상이 블록 치환과 체 준동형을 포함하는 형태로 축소되면, 저자들은 직교성 조건이 특정 성분에 부과하는 제약을 분석한다:

   • 차원 $n \ge 2$인 블록에 대해 전치 기반 형태 (예: $A \mapsto A^T$) 를 배제함 (Lemma 3.3).
   • 체 준동형 $\sigma$가 항등사상이거나 복소 켤레여야 함을 결정함 (Lemma 3.4).
   • 관련된 가역 행렬이 유니타리 연산자의 스칼라 배수여야 하며, 블록 간의 스케일링 인자가 균일해야 함을 증명함 (Lemma 3.6, 3.7, 3.8).

주요 결과

• 정리 1.2 (주요 분류): $A$가 $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$, 또는 $M_2(\mathbb{C})$와 동형이 아닌 유한 차원 복소 C*-대수라고 하자. 가법 전단사 사상 $\Phi: A \to A$가 상호 강한 BJ 직교성을 보존할 필요충분조건은 다음이 존재하는 것이다:

  1. $A$의 최소 아이디얼들의 차원을 존중하는 치환 $\pi$.
  2. 양의 스칼라 $\gamma$.
  3. 유니타리 원소 $u, v \in A$.
  4. 어떤 최소 아이디얼에서는 항등사상으로 작용하고 다른 최소 아이디얼에서는 (고정된 정규 직교 기저에 대해) 성분별 켤레로 작용하는 사상 $a \mapsto a^\dagger$.

  다음을 만족한다:
  $$\Phi(a) = \gamma u \pi(a)^\dagger v.$$

• 계 1.3: 동일한 가정 하에, 상호가 아닌 강한 BJ 직교성을 보존하는 사상에 대한 분류는 상호 경우와 동일하다.

• 정리 1.4 (특이성 보존자): 특성 0 인 체 위의 행렬 대수의 직접 합에 대해, 가법 전단사 사상이 특이성을 보존할 필요충분조건은 블록을 치환하고 각 블록에 대해 $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ 또는 $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$ 형태의 사상으로 작용하는 것이다. 여기서 $\sigma_i$는 체 준동형이다.

예외 및 반례
본 논문은 $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$, $M_2(\mathbb{C})$ 형태의 대수에 대해서는 주요 정리가 성립하지 않음을 명시적으로 지적한다:

• $A = \mathbb{C}$인 경우, 모든 가법 사상이 관계를 보존한다.
• $A = \mathbb{C} \oplus \mathbb{C}$인 경우, 유니타리/스칼라 형태에 부합하지 않는 비표준 선형 보존자가 존재한다 (예 3.2, 예 4.2).
• $A = M_2(\mathbb{C})$인 경우, 구조가 다르다. 구체적으로, $P, Q$가 유니타리의 스칼라 배수인지 여부와 상관없이 가역인 $P, Q$에 대한 $\Phi(A) = PAQ$ 형태의 모든 사상이 상호 강한 BJ 직교성을 보존한다 (예 4.3).

의의와 범위
저자들은 이 작업을 선형 보존자와 노름 공간에서의 직교성에 대한 이전 결과를 확장한 가법 보존자의 분류로 위치시킨다. 그 의의는 다음과 같다:

1. 직교성 이론의 확장: C*-대수에서의 강한 BJ 직교성 맥락에서 선형 보존자에서 가법 전단사 사상으로 이동.
2. 개념 연결: 기하학적 개념인 상호 강한 BJ 직교성과 대수적 개념인 특이성 보존 사이의 엄밀한 연결 확립.
3. 분류 완성: 일반적인 유한 차원 경우에 대한 완전한 구조적 설명을 제공하면서, 구조가 더 관대한 예외적인 저차원 경우를 신중하게 구분.

본 논문은 새로운 응용이나 실험적 프레임워크를 제안하지 않고, 이러한 보존자들의 대수적 특징화에 엄격히 초점을 맞춘다. 저자들은 가법성 가정이 없으면 보존자의 클래스가 "야만적 (wild)"이 된다고 지적하며 (주석 4.4), 비선형 보존자에 대한 기존 문헌을 인용한다.