Order embeddings of real matrix domains

문제 정의
본 논문은 행렬 도메인(matrix domains) 상에서의 순서 임베딩(order embeddings)의 일반적인 형태를 규명하는 문제를 다룬다. 구체적으로, $n \ge 2$인 정수 $n$과 $S_n$을 모든 $n \times n$ 실수 대칭 행렬의 집합이라고 하자. 부분집합 $U \subset S_n$이 열려 있고 연결되어 있다면 이를 행렬 도메인이라 정의한다. 사상(map) $\phi: U \to S_n$이 모든 $X, Y \in U$에 대하여 $X \le Y \iff \phi(X) \le \phi(Y)$를 만족할 때, 이를 순서 임베딩이라 한다. 본 연구의 주요 목표는 이러한 사상 $\phi$의 명시적인 구조를 기술하는 것이다.

방법론
본 논문에서 개발된 접근 방식은 무한 차원 홀로모피(infinite-dimensional holomorphy)에 의존했던 복소 에르미트 행렬에 관한 이전 연구(구체적으로 문헌 [17])와는 구별된다. 실수 사례에서는 홀로모픽 기법을 적용할 수 없으므로, 저자는 대수적 동차 공간(algebraic homogeneous spaces)의 기하학과 행렬 기하학에서 영감을 얻은 기하학적 접근 방식을 채택하였다.

주요 방법론적 도구는 다음과 같다:

1. 계수(Rank) 및 트레이스(Trace) 분석: 트레이스 함수를 활용하여 연속성 성질을 확립하고(보조정리 2.1), 행렬 간 차이의 계수를 분석하여 구조적 성질을 보존한다.
2. 계수 1 투영(Rank-One Projections): 계수 1 투영($P \in P^1_n$)과 함수 $\alpha(A, P; B) = \max\{t \in \mathbb{R} : A + tP \le B\}$를 광범위하게 사용한다. 이 함수는 순서 관계와 연속성을 규명하는 핵심 도구 역할을 한다.
3. 연속성 논증: 행렬 도메인 상의 순서 임베딩이 연속임을 증명하고(Proposition 2.35), 닫힌 구간 $[0, I]$ 상의 임베딩이 양 끝점에서 연속적이라면 내부에서의 거동에 의해 결정됨을 확립한다.
4. 극대 확장(Maximal Extensions): 체르의 정리(Zorn's Lemma)를 사용하여 순서 임베딩의 극대 확장의 존재성을 확립하고, 이러한 확장의 유일성을 증명한다(Corollary 3.1).
5. 그라스만 공간 기하학: 행렬 표현의 가역성(invertibility)과 인접성(adjacency, 차이의 계수) 보존을 분석하기 위해 그라스만 공간 $G(n, 2n)$의 기하학을 활용한다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.2): 본 논문은 $U \subset S_n$이 영행렬을 포함하는 행렬 도메인이고 $\phi: U \to S_n$이 $\phi(0)=0$인 순서 임베딩이면, 대칭 행렬 $A \in S_n$와 가역 실수 행렬 $T$가 존재하여 $U \subset U_A$ (여기서 $U_A$는 $XA+I$의 가역성에 의해 정의되는 특정 도메인)를 만족하며, 모든$X \in U$에 대하여 다음이 성립함을 밝힌다:
  $$\phi(X) = T(XA + I)^{-1} X T^t$$

• Proposition 1.1: 사상 $\psi_A(X) = (XA + I)^{-1}X$를 도입하여, 이것이 특정 행렬 도메인 $U_A$와 $U_{-A}$ 사이의 연속 순서 동형 사상(continuous order isomorphism)임을 증명한다. 이 사상은 일반적인 임베딩의 기본 구성 요소 역할을 한다.

• 연속성 결과: 본 논문은 행렬 도메인 상의 순서 임베딩이 모든 곳에서 연속임을 증명한다(Proposition 2.35). 또한, 닫힌 행렬 구간 $[A, B]$에 대하여, 순서 임베딩은 양 끝점을 제외한 모든 곳에서 연속이며, 내부에서의 형태는 위 공식에 의해 엄격하게 결정된다.

• 특수 사례:

  • 열린 구간: 정리 4.1은 $(-I, I)$와 같은 열린 구간 상의 임베딩을 규명하며, 이들이 $\phi(X) = T(XA + I)^{-1}XT^t + B$ (단, $\|A\| \le 1$)의 형태를 가짐을 보여준다.
  • 전체 공간: 정리 4.2는 도메인이 전체 공간 $S_n$인 경우, 임베딩이 $\phi(X) = TXT^t + B$ (즉, $A=0$)인 아핀 변환(affine transformation)이어야 함을 보여준다.
  • 닫힌 구간: 정리 4.3은 $[0, I]$ 상의 임베딩을 설명하며, 해당 사상이 양 끝점 $0$과$I$에서 불연속적일 수 있으나, 내부$(0, I)$에서의 제한은 정리 1.2에서 도출된 일반적인 형태를 따른다는 것을 보여준다.

• 유일성 및 확장: 본 논문은 두 순서 임베딩이 도메인의 공집합이 아닌 열린 부분집합에서 일치하면 전체 도메인에서 동일하다는 항등 정리(Theorem 2.41)를 증명한다. 또한 순서 임베딩의 극대 확장의 존재성과 유일성을 확립한다(Corollary 3.1).

의의 및 연관성
본 논문은 기존의 복소수 사례 방법론이 실패했던 실수 대칭 행렬 설정에서 순서 임베딩에 대한 완전한 기술을 제공한다는 점에서 의의를 갖는다. 저자는 이 결과와 크로노기오메트리(chronogeometry)의 기본 정리 사이의 연관성을 강조한다. 구체적으로, $2 \times 2$ 복소 에르미트 행렬 상의 전단사 인접성 보존 사상을 규명하는 문제는 민코프스키 공간에서 빛의 경로(lightlikeness)를 보존하는 문제와 동치이다(Aleksandrov의 정리). 본 논문에서 사용된 기술들, 특히 계수 1 투영 및 인접성과 관련된 기법들은 최근 크로노기오메트리 정리의 최적 버전(문헌 [18])에서 발견되는 증명 기법들과 관련이 있다.

또한, 본 연구는 순서 임베딩에 관한 유한 차원과 무한 차원 사례의 구조적 차이를 명확히 한다. 유한 차원의 경우 전단사(bijectivity) 가정이 형태를 기술하는 데 필수적이지 않지만, 무한 차원의 경우(문헌 [21]에서 확인되듯) 전단사 가정이 반드시 필요하다는 점을 지적한다.