직교군의 일반 표현 사영함자와 Fquad 범주

초록

본 논문은 F₂-벡터 공간에 비퇴화 이차형식을 부여한 범주 Fquad 의 표준 사영 객체에 대한 새로운 필터링을 정의하고, 이를 이용해 처음 두 표준 사영 객체를 완전하게 분해한다. 이 분해를 바탕으로 Fquad 범주의 다항식 함자를 전부 기술한다.

상세 분석

이 연구는 이전 두 논문에서 제시된 Fquad 범주의 기초 구조를 확장한다. Fquad 은 비퇴화 이차형식을 가진 유한 차원 F₂-벡터 공간을 객체로 하고, 이들 사이의 등거리 사상들을 사상으로 하는 함자 범주이다. 저자는 먼저 표준 사영 객체 P_V (V는 이차형식이 주어진 벡터 공간) 에 대해 ‘차수 필터링’이라 부르는 일련의 서브펑터를 정의한다. 이 필터링은 V의 차원과 이차형식의 종류(양성/음성)에 따라 단계별로 구성되며, 각 단계는 기존의 사영 객체를 더 작은 인덱스의 사영 객체와 특정 동형 사상으로 연결한다. 특히, 차수 0 단계는 영함자를, 차수 1 단계는 기본적인 1‑차 다항식 함자를 포착한다.

필터링을 정밀히 분석한 결과, 차수 1 이하인 표준 사영 객체 P_{H_0}와 P_{H_1} (여기서 H_0, H_1은 차원 2의 표준 이차형식 공간) 가 각각 두 개의 비자명한 인듀서블 성분으로 분해됨을 보였다. 구체적으로, P_{H_0}는 ‘대칭 사영’과 ‘반대칭 사영’이라는 두 불변 부분으로 나뉘며, 각각은 기존의 F 범주(선형 함자 범주)에서 유도된 사영 객체와 새로운 ‘이차형식 전용’ 사영 객체의 텐서 곱 형태를 띤다. P_{H_1} 역시 유사한 구조를 가지지만, 차수 1 성분이 하나 더 포함되어 있어 보다 복잡한 직교군의 표준 표현을 반영한다.

이러한 분해는 Fquad 범주의 다항식 함자를 정의하고 분류하는 데 핵심적인 역할을 한다. 저자는 다항식 함자를 ‘차수 필터링이 유한히 안정되는’ 함자들로 정의하고, 앞서 얻은 사영 객체의 분해 결과를 이용해 모든 다항식 함자가 차수 ≤ 1인 사영 객체들의 직접합으로 표현될 수 있음을 증명한다. 즉, 다항식 함자는 기본적인 선형 함자와 이차형식에 특화된 두 종류의 기본 함자들의 텐서 조합으로 완전히 기술된다.

이 논문의 주요 기여는 다음과 같다. 첫째, 표준 사영 객체에 대한 새로운 필터링을 도입해 구조적 이해를 심화시켰다. 둘째, 차수 1 이하의 사영 객체들을 명시적으로 분해함으로써 Fquad 범주의 인듀서블 성분들을 구체화했다. 셋째, 이러한 구조를 활용해 다항식 함자를 완전하게 기술함으로써, 기존 선형 함자 이론을 이차형식이 부여된 상황으로 자연스럽게 확장했다. 마지막으로, 연구 방법론은 사영 함자와 필터링을 통한 범주론적 분해 기법이 다른 대수적 구조(예: 스핀군, 대칭군)에도 적용 가능함을 시사한다.