삼중 벡터 번들의 이중성 함수와 군 구조

초록

본 논문은 삼중 벡터 번들에 대한 모든 이중화 연산을 체계적으로 분석하여, 그 연산군이 96개의 원소를 갖는 비분리 확장군임을 증명한다. 기존 맥켄지의 72이라는 결과를 정정하고, 이 군이 대칭군 S₄와 클라인 4군의 비분리 확장임을 밝혀낸다. 이중화 연산을 적절한 범주의 함자(Functor)로 해석하고, 자연 동형을 통한 동등성 개념을 도입함으로써 일반적인 n‑중 벡터 번들에도 적용 가능한 방법론을 제시한다.

상세 분석

삼중 벡터 번들(TVB)은 두 단계의 이중 벡터 번들 구조가 겹쳐진 복합 객체로, 각각의 축에 대해 좌우·상하·전후와 같은 여섯 개의 선형 사상과 두 개의 핵심 핵심(핵심) 구조를 가진다. 맥켄지는 이러한 구조에 대해 ‘이중화 연산(dualization)’을 정의하고, 이 연산들의 조합이 형성하는 군을 72개의 원소를 갖는 것으로 제시했으나, 실제 계산에서는 몇몇 동형이 누락된 것이 드러났다. 본 논문은 이 문제를 범주론적 관점에서 재정립한다.

우선, 각 이중화 연산을 ‘함자’로 간주한다. 즉, TVB를 다른 TVB로 보내는 사상으로서, 객체와 사상 모두를 변환한다. 두 함자가 자연 동형(Natural Isomorphism)으로 연결될 경우, 이들은 동일한 연산으로 간주한다. 이러한 정의는 복합적인 변환을 체계적으로 비교하고, 중복을 제거하는 데 필수적이다.

다음으로, 모든 가능한 이중화 함자들의 조합을 조사한다. 기본적인 세 가지 이중화(각 축에 대한 전치)와 그들의 합성, 그리고 항등 변환을 포함한다. 이들을 생성원으로 놓고 자유군을 만든 뒤, 자연 동형 관계에 의해 발생하는 동등 관계를 몫으로 취한다. 계산 과정에서 핵심은 두 종류의 관계식이다. 첫째, 두 연산을 순서 바꾸어도 동일한 결과를 주는 ‘교환 관계’; 둘째, 특정 연산을 네 번 적용하면 항등이 된다는 ‘주기 관계’이다.

이 관계들을 모두 적용하면, 생성된 군은 96개의 원소를 갖는 비분리 확장군으로 수렴한다. 구체적으로, 이 군은 대칭군 S₄(24원소)와 클라인 4군 V₄(4원소)의 확장으로, 정확히는 1 → V₄ → G → S₄ → 1 형태의 짧은 정확열을 이룬다. 여기서 ‘비분리’라는 것은 G가 V₄와 S₄의 직접곱이 아니라, 비자명한 2‑코사이클에 의해 뒤섞여 있음을 의미한다. 이는 군의 중심이 V₄이며, S₄의 작용이 V₄를 비자명하게 뒤섞는 구조로, 군 동형론에서 흥미로운 사례가 된다.

또한, 논문은 이 결과가 왜 72가 아니라 96이 되는지를 명확히 설명한다. 맥켄지의 원래 논문에서는 몇몇 자연 동형을 무시하고, 특정 합성에서 발생하는 ‘중복 관계’를 간과했기 때문이다. 본 논문은 이러한 누락을 보완하고, 모든 가능한 자연 동형을 포괄적으로 고려함으로써 정확한 군 구조를 도출한다.

마지막으로, 이 방법론은 n‑중 벡터 번들에 대한 일반화에도 바로 적용 가능함을 언급한다. n‑중 경우에도 이중화 연산을 함자로 해석하고, 자연 동형을 통해 동등성을 정의하면, 유사한 군 구조를 계산할 수 있다. 특히, n이 커질수록 군의 차수가 급격히 증가하지만, 기본적인 교환·주기 관계는 동일하게 유지된다. 따라서 본 연구는 고차원 복합 선형 구조의 대수적 대칭성을 이해하는 데 중요한 이정표가 된다.