그라포이드 차원과 유리 벡터 함수의 위상적 특성

본 논문은 “그라포이드”라는 개념을 중심으로, 두 변수의 유리 함수들로 이루어진 가산 가족 \(F\subset\mathbb R(x,y)\)가 정의하는 위상적 구조를 체계적으로 탐구한다. 1. **기본 정의와 설정** - 유리 함수 \(f=p/q\)는 다항식 \(p,q\)가 서로소일 때, 정의역 \(\operatorname{dom}(f)=\mathbb R^2\setminus\{p=0\}\cap\{q=0\}\)에서 연속적으로 \(\bar{\mathbb R}= \mathbb R\cup\{\infty\}\)로 값을 가진다. - 가산 가족 \(F\)에 대해 공통 정의역 \(\operatorname{dom}(F)=\bigcap_{f\in F}\operatorname{dom}(f)\)는 \(\bar{\mathbb R}^2\)의 조밀한 \(G_\delta\)집합이며, 여기서 \(F\)를 연속 함수 \(F:\operatorname{dom}(F)\to\bar{\mathbb R}^F\)로 본다. - 그래프 \(\Gamma(F)=\{(x,f(x))\mid x\in\operatorname{dom}(F), f\in F\}\)를 \(\bar{\mathbb R}^2\times\bar{\mathbb R}^F\)에 폐쇄한 집합을 \(\bar\Gamma(F)\)라 정의하고, 이를 “그라포이드”라 부른다. 2. **그라포이드 연장 \(\bar F\)와 상한 반연속성** - \(\bar\Gamma(F)\)는 다값 함수 \(\bar F:\bar{\mathbb R}^2\multimap\bar{\mathbb R}^F\)의 그래프와 동일하며, \(\bar F\)는 모든 좌표 투사와 합성했을 때 원래 유리 함수들의 그래프 연장과 일치한다. - \(\bar F\)는 상한 반연속(upper‑semi‑continuous)이며, 정의역이 전체 \(\bar{\mathbb R}^2\)가 된다. 이는 컴팩트 목표공간 \(\bar{\mathbb R}^F\)에 대한 완전성(perfectness)과 연관된다. 3. **주요 정리와 차원 결과** - **정리 1.2**: 모든 가산 \(F\subset\mathbb R(x,y)\)에 대해 \(\dim\bar\Gamma(F)=2\). 즉, 그라포이드는 2‑차원 위상 공간으로서 최소 차원을 갖는다. - **정리 1.3**: \(F\)가 모든 선형 분수 변환 \(f_{a,b}(x,y)=\frac{x-a}{y-b}\) (\((a,b)\)가 조밀 집합 \(D\subset\mathbb R^2\)에 속함)를 포함하면, 임의의 비자명 2‑분할 가능한 아벨 군 \(G\)에 대해 \(\dim_G\bar\Gamma(F)=1\)이 된다. 따라서 \(\bar\Gamma(F)\)는 코호몰로지 차원에서 1을 보이며, 차원 전부를 차지하지 않는 ‘dimensionally non‑full‑valued’ 공간이 된다. 4. **증명 전략** - **국소 구조 분석**: 평면 대수곡선 \(A=\{p=0\}\)의 원점 근처 구조를 푸시에우 전개와 \(\varepsilon\)-elementary curve 개념으로 기술한다. 각 곡선은 유한 개의 ‘branch’와 그 ‘공액 branch’로 분리되며, 이는 그래프가 원점에서 어떻게 겹치는지를 설명한다. - **푸시에우‑분석**: 푸시에우‑분석 함수는 \(\varphi(x)=\psi(m\sqrt{x})\) 형태로 표현되며, 여기서 \(m\)은 푸시에우 분모이다. 두 공액 함수 \(\varphi,\varphi^*\)는 같은 유리 함수에 대해 동일한 극한값을 갖는다(정리 2.2). 이는 그라포이드가 정의되지 않은 점들에서도 연속성을 유지하게 한다. - **확장 차원(e‑dim) 접근**: 위상 차원 \(\dim X\le n\)와 확장 차원 \(\mathrm{e\!-\!dim}X\le S^n\)가 동치임을 이용한다. 정리 1.2는 \(\mathrm{e\!-\!dim}\bar\Gamma(F)\le S^2\)를 보이며, 정리 1.3은 \(\mathrm{e\!-\!dim}\bar\Gamma(F)\le K(G,1)\)를 증명한다. 두 불등식이 동시에 성립함으로써 \(\dim_G\bar\Gamma(F)=1<\dim\bar\Gamma(F)=2\)가 된다. - **조합적·대수적 도구**: 베주트 정리, 대수곡선의 유한 분기, 그리고 복소 해석을 통한 연속성 검증이 핵심적인 보조 정리들(정리 3.1 등)로 활용된다. 5. **의의와 응용** - \(\bar\Gamma(F)\)는 Pontryagin 표면과 유사하게, 차원 전부를 차지하지 않는 콤팩트 공간의 전형적인 예를 제공한다. Pontryagin 표면은 점마다 Möbius 띠를 붙여 만든 2‑차원 복합체인데, 여기서는 선형 분수 변환들의 무한 집합이 같은 효과를 만든다. - 이 결과는 실수 장소(real places) 공간의 차원 연구에 직접적인 영향을 미친다. 특히,