군 불변 지속 동류론

초록

본 논문은 기존 지속 동류론을 일반적인 자기동형사상군이 아닌, 특정 부분군 G 에 대해 불변하도록 확장한다. G‑불변 체인 복합체를 이용해 지속 베티 수 함수를 정의하고, 자연 의사거리 d_G 에 대한 안정성을 증명한다. 또한 삼각가능한 공간을 가정함으로써 튜밍 가정 없이도 베티 수가 유한함을 보장한다. 실용적인 형태 비교에서 G가 전체 홈오몰피즘군의 진부분일 때 얻을 수 있는 향상된 하한을 제시한다.

상세 분석

논문은 먼저 기존 지속 동류론이 전체 홈오몰피즘군 Homeo(X) 에 대한 불변성을 전제로 한다는 점을 지적한다. 실제 응용에서는 회전, 대칭, 평행 이동 등 제한된 변환군 G 에 대해서만 형태가 동일하다고 판단하는 경우가 많다. 이를 반영하기 위해 저자들은 G‑불변 체인 복합체 (C^{G}_{*}(X)) 를 정의한다. 이 복합체는 G 의 작용에 대해 닫혀 있는 체인들의 집합으로, 각 체인은 G‑궤도 (G\cdot\sigma) 를 포함한다. 따라서 체인 복합체 자체가 G‑불변성을 내재한다는 점이 핵심이다.

다음으로, 실함수 (f:X\to\mathbb{R}) 에 대한 서브레벨 집합 (X^{a}=f^{-1}(-\infty,a]) 을 고려하고, (C^{G}{*}(X^{a})) 를 이용해 지속 호몰로지를 전개한다. 이때 얻어지는 지속 베티 수 함수 (\beta^{G}{k}(a,b)) 는 (a\le b) 구간에서 (k)‑차 호몰로지의 차원을 기록한다. 중요한 점은 (C^{G}_{*}) 가 삼각가능한 복합체에 한정되므로, 복합체가 유한 개의 단순체만을 포함하게 되어 베티 수가 자동으로 유한한다. 이는 기존 지속 동류론에서 흔히 요구되는 tameness 가정(예: 서브레벨 집합이 유한 복합체로 동형)과 동일한 효과를 제공한다.

안정성 정리는 두 함수 (f,g) 에 대해 자연 의사거리 (d_{G}(f,g)=\inf_{h\in G}|f-g\circ h|_{\infty}) 를 정의하고, 이 거리와 지속 베티 수 함수 사이의 보편적인 L∞‑노름 차이가 동일하게 제한된다는 것을 보인다. 즉,
\