대수적 다형성 연구

초록

본 논문에서는 불변 측도를 갖는 특수한 다형성 클래스, 즉 컴팩트 군의 대수적 다형성을 다룬다. 일반적인 다형성은 정의상 불변 측도를 가진 다값 함수이며, 그 켤레 연산자는 마르코프 연산자(즉, $L^{2}$ 상에서 양의 연산자이며 노름이 1이고 상수 함수를 보존함)이다. 대수적 경우 다형성은 대수기하학에서의 대응관계(correspondence)으로 볼 수 있지만, 여기서는 동역학적 관점에서 이를 탐구한다. 가장 중요한 예는 토러스의 대수적 다형성으로, 우리는 토러스 다형성 반군을 유리 행렬을 이용해 매개화하고, 해당 마르코프 연산자의 스펙트럼을 기술한다.

상세 요약

다형성(polymorphism)은 전통적인 함수 개념을 확장한 것으로, 하나의 입력에 대해 여러 개의 출력값을 가질 수 있는 ‘다값 지도’이다. 이때 중요한 구조적 제약이 ‘불변 측도(invariant measure)’의 존재이다. 측도가 불변한다는 것은 다형성에 의해 정의된 확률적 전이 과정이 전체 공간의 확률 질량을 보존한다는 의미이며, 이는 확률론적 동역학에서 마르코프 연산자의 핵심 조건과 일치한다. 마르코프 연산자는 $L^{2}$ 공간 위에서 정의된 양의 선형 연산자로, 연산자의 노름이 1이고 상수 함수를 고정한다. 이러한 연산자는 확률 과정의 전이 확률을 함수 형태로 표현하므로, 다형성의 켤레 연산자는 자연스럽게 마르코프 연산자가 된다.

‘대수적 다형성(algebraic polymorphism)’이라는 용어는 다형성을 대수기하학적 대응관계(correspondence)로 해석한다는 점에서 특별하다. 구체적으로, 컴팩트 군 $G$ 위의 대수적 다형성은 $G\times G$ 안에 정의된 대수적 부분다양체 $C\subset G\times G$ 로서, 첫 번째 사영과 두 번째 사영이 각각 전사이며, 이 사영들은 Haar 측도와 호환되는 구조를 가진다. 따라서 $C$는 전통적인 함수가 아니라 ‘관계’이며, 각 점 $x\in G$에 대해 $C$가 정의하는 ‘다중 이미지’는 $x$와 연결된 $y$들의 집합이다. 이 관계가 불변 측도를 보존한다는 것은 Haar 측도가 $C$에 의해 정의된 전이 확률을 통해 그대로 유지된다는 뜻이다.

논문에서 특히 주목하는 사례는 $n$-차원 토러스 $\mathbb{T}^{n}= \mathbb{R}^{n}/\mathbb{Z}^{n}$ 위의 대수적 다형성이다. 토러스는 아벨 군이면서 동시에 리만 측도(레베그 측도)와 Haar 측도가 일치하는 대표적인 컴팩트 리만 다양체이다. 저자들은 토러스 다형성의 반군을 ‘유리 행렬(rational matrix)’을 이용해 매개화한다. 구체적으로, $A\in M_{n}(\mathbb{Q})$ 를 택하고, 대응관계 $C_{A}$를
\