정사각형 직교행렬의 마법 같은 분할

초록

본 논문은 대각선이 모두 0인 4×4 특수 직교행렬 집합을 14개의 불가약 곡면(6개의 차원 4 토러스와 8개의 차원 2 구)으로 분해하고, 이들 사이의 교차 구조가 정팔면체의 면·모서리·꼭짓점 관계와 일대일 대응함을 보인다. 이를 이용해 SO(4)의 전실실 실수 증인 집합을 구성하고, 유사한 패턴을 5차원으로 확장하되 6차원에서는 불가능함을 증명한다.

상세 분석

논문은 먼저 “hollow” 조건, 즉 대각 원소가 모두 0인 행렬을 만족하는 SO(4) 부분집합 HSO(4)를 정의한다. 이 집합은 차원 2의 불가약 곡면 14개로 완전히 분해될 수 있음을 정리 1.1에서 증명한다. 구체적으로, 8개의 구(S²)와 6개의 토러스(S¹×S¹)로 이루어지며, 각각은 차수 2와 차수 4의 대수다양체이다. 중요한 점은 이 14개의 곡면과 정팔면체(C)의 14개의 면 사이에 자연스러운 전단사(bijection)가 존재한다는 것이다. 토러스는 정팔면체의 6개의 사각형 면에, 구는 8개의 삼각형 면에 대응한다.

교차 구조는 정팔면체의 면·모서·꼭짓점 관계와 정확히 일치한다. 두 곡면이 공유하는 모서리는 곡면 교차가 1차원 원(S¹)인 경우이며, 공유하는 꼭짓점은 교차가 0차원, 즉 부호가 있는 전치 행렬(±1) 두 개가 된다. 이러한 교차 패턴은 표 3.1과 그림 2, 3을 통해 명확히 제시된다.

다음으로 저자들은 이 분해를 이용해 “전실실 실수 증인 집합”(totally real witness set)을 구성한다. SO(4)의 차수는 40이며, 적절히 선택된 두 개의 선형 초평면 H₁, H₂와의 교차는 정확히 40개의 실수 행렬을 만든다. 이 행렬들은 모두 위에서 정의한 구와 토러스의 교차점이며, 각 행렬은 a=±1/√3 형태의 간단한 대수적 표현을 가진다. 따라서 SO(4)가 전실실 실수 증인 집합을 갖는다는 기존의 추측을 해결한다.

5차원으로의 확장은 “hollow” 패턴이 더 이상 충분히 일반적이지 않음에도 불구하고, 새로운 영(0) 패턴을 찾아 SO⋆(5)라는 부분다양체를 정의한다. 이 집합은 64개의 불가약 곡면(32개의 차수 4 토러스와 32개의 SO(3)·SO(1)·SO(1) 형태)으로 분해되며, 16개의 사중 그룹으로 묶어 3차 입체 P의 16개 면과 대응시킨다. 면·모서·꼭짓점 관계는 다시 교차 구조와 일치한다.

마지막으로 6차원에서는 어떠한 영 패턴도 정다각형(또는 다면체)과 같은 깔끔한 교차 구조를 제공하지 못함을 정리 6.2에서 증명한다. 이는 차수와 차원 사이의 불균형, 그리고 Stiefel 다양체의 복잡한 구조 때문으로 해석된다.

전체적으로 논문은 대수기하, 조합기하, 실수 대수기하의 교차점을 탐구하며, 특정 영 패턴이 직교군의 복잡한 구조를 단순화시키는 사례를 제시한다. 정다각형(정팔면체, 3차 입체 P)과의 대응 관계는 고차원 군의 차수 계산을 순수히 조합적으로 이해하려는 시도에 새로운 통찰을 제공한다.