크레모나 군의 위상과 구조
초록
본 논문은 차원 $n\ge2$인 크레모나 군 $\operatorname{Cr}_n(k)$이 무한 차원의 대수군(ind‑group) 구조를 가질 수 없음을 보이고, 그 원인이 위상적 장애임을 설명한다. 또한 고전적인 부분군들의 유클리드 위상을 확장하여 전체 크레모나 군에 자연스러운 토폴로지 그룹 구조를 부여하는 방법을 제시한다.
상세 분석
논문은 먼저 크레모나 군 $\operatorname{Cr}_n(k)$을 $k$-체 위의 정규 사영공간 $\mathbb{P}^n$의 유리 변환들의 군으로 정의한다. $n=1$인 경우는 $\operatorname{PGL}_2(k)$와 동형이며, 이는 유한 차원의 대수군이다. 그러나 $n\ge2$에서는 변환이 다항식 비율로 표현될 수 있는 자유도가 급격히 증가한다. 저자들은 이 자유도를 정밀히 분석하기 위해 두 가지 위상 구조를 도입한다. 첫 번째는 전통적인 ind‑variety 구조로, 무한 차원의 대수군으로서의 정의를 시도한다. 여기서 핵심은 $\operatorname{Cr}_n(k)$을 차수별로 필터링된 유한 차원 대수다양체들의 직합으로 나타낼 수 있는가이다. 저자는 차수 $d$ 이하의 변환들을 매개변수화하는 사영공간 $\operatorname{Rat}_d(\mathbb{P}^n,\mathbb{P}^n)$를 고려하고, 이들의 직접극한이 $\operatorname{Cr}_n(k)$ 전체를 재구성한다는 가정을 검증한다. 그러나 차수 증가에 따라 발생하는 ‘베이스 포인트’와 ‘불연속성’이 존재함을 보인다. 구체적으로, 차수 $d$와 $d+1$ 사이의 포함 사상은 일반적으로 폐쇄 사상이 아니며, 이는 직접극한 위에 자연스러운 대수다양체 구조를 부여할 수 없게 만든다. 이러한 현상은 특히 $n\ge2$에서 나타나는 ‘점의 폭발(blow‑up)’과 ‘점의 축소(contraction)’ 현상과 연관된다. 저자는 이를 ‘위상적 장애(topological obstruction)’라 명명하고, 차수 필터링이 연속적인 체인 복합체를 형성하지 못함을 증명한다.
두 번째 위상 구조는 유클리드 토폴로지를 이용한다. $\operatorname{Cr}n(\mathbb{C})$를 복소수 체 위에서 고려할 때, 각 변환을 좌표 함수들의 복소다항식 계수들의 집합으로 식별하고, 이 계수 공간에 표준 유클리드 거리(또는 $L^2$‑노름)를 부여한다. 차수 제한을 없애고 모든 차수의 변환을 포함하도록 완비화하면, 변환들의 합성 연산이 연속성을 유지함을 보인다. 특히, $\operatorname{PGL}{n+1}(\mathbb{C})$, $\operatorname{Aut}(\mathbb{A}^n)$, $\operatorname{Bir}(\mathbb{P}^n)$와 같은 고전적인 부분군들은 기존의 유클리드 위상과 일치한다. 저자는 이 위상이 완비 거리 공간을 형성하고, 군 연산이 연속인 토폴로지 군을 만든다는 점을 강조한다.
결과적으로, 논문은 $\operatorname{Cr}_n(k)$이 ind‑group 구조를 가질 수 없는 근본적인 이유가 차수 필터링 사이의 위상적 불연속성에 있음을 밝히며, 대신 유클리드 위상이 자연스럽고 강력한 대안임을 제시한다. 이는 크레모나 군의 구조를 이해하고, 대수기하학·동역학·복소해석학 사이의 교차점을 탐구하는 새로운 틀을 제공한다.