$C^0$-Analogue of Ismagilov's Theorem

기술 요약: Ismagilov 정리의 $C^0$-유사성(Analogue)

문제 정의
본 논문은 Ismagilov의 코호몰로지 정리를 매끄러운(smooth) 범주에서 위상적(topological) 범주로 확장하는 문제를 다룬다. 고전적으로 Ismagilov의 정리는 매끄러운 부피 보존 미분동상군($G^\infty_\Omega(M)$)의 항등원 연결 성분의 첫 번째 연속 코호몰로지가 기저가 되는 폐곡선 방향성을 가진 유향 다양체 $M$의 첫 번째 드 람(de Rham) 코호몰로지와 동형임을 확립한다. 이 결과는 교차 호모모피즘(crossed homomorphisms)이 닫힌 미분 1-형식에 의해 결정됨을 해석하며, 이는 고전적인 부피 플럭스(volume flux)에 대한 코호몰로지적 이해를 제공한다.

핵심 문제는, 그룹이 $C^0$-위상을 갖춘 부피 보존 홈오모피즘($Homeo^\Omega_0(M)$)으로 대체될 때 이 대응 관계가 지속되는가 하는 점이다. 위상적 설정에서의 미분 가능성 결여는 고전적인 부피 플럭스 호모모피즘 및 Ismagilov 정리의 근간이 되는 매끄러운 논증들을 직접 적용하는 것을 방해한다. 본 논문은 $Homeo^\Omega_0(M)$의 첫 번째 연속 코호몰로지를 연속 제로 평균 함수들의 바나흐 공간($C^0_0(M)$)의 첫 번째 드 람 코호몰로지 $H^1(M; \mathbb{R})$와 동일하게 식별함으로써, 이 정리에 대한 $C^0$-유사성을 확립하고자 한다.

방법론
증명은 위상적 역학(topological dynamics)과 고전적인 매끄러운 코호몰로지를 잇는 "4단계 전략"에 의존하며, 이는 부피 보존 이소토피(isotopies)를 위한 **위상적 수송 이론(topological transport theory)**의 개발을 중심으로 한다.

1. 이소토피의 근사(Approximation of Isotopies): 저자는 차원이 $n \neq 4$인 경우, 매끄러운 부피 보존 이소토피가 연속 부피 보존 이소토피 공간 내에서 균등하게 $C^0$-조밀하다는 사실(Müller와 Sikorav의 근사 정리에 기반함)을 활용한다. 이러한 조밀성은 매끄러운 개념을 위상적 설정으로 확장할 수 있게 한다.
2. 위상적 코사이클의 구성: 항등원 연결 성분의 국소적 축약성(local contractibility)과 매끄러운 이소토피의 조밀성을 이용하여, 저자는 내재적인 연속 플럭스를 정의한다. 닫힌 1-형식 $\alpha$에 대하여, 저자는 근사하는 매끄러운 이소토피 시퀀스들과 연관된 매끄러운 플럭스 함수들의 균등 $C^0$-극한을 취함으로써 전역적으로 잘 정의된 연속 1-코사이클 $\tau_\alpha(h)$를 구축한다. 핵심적인 기술적 도구는 플럭스 범함수가 이소토피에 대한 $C^0$-거리 상에서 균등 연속임을 보여주는 추정치(Lemma 2.6)이다.
3. 부트스트래핑을 통한 단사성 증명: 드 람 코호몰로지에서 연속 그룹 코호몰로지로 가는 사상이 단사임을 증명하기 위해, 저자는 코사이클 $\tau_\alpha$가 코바운더리(즉, $\tau_\alpha(h) = f - f \circ h$를 만족하는 연속 함수 $f$가 존재함)라고 가정한다. 이를 위해 $h$를 매끄러운 부피 보존 흐름(flows)으로 제한하고 발산이 없는 벡터장(divergence-free vector fields)을 따라 방향 도함수를 취함으로써, $f$의 정칙성(regularity)을 "부트스트래핑(bootstrap)"하여 $f$가 반드시 매끄러워야 함을 증명한다. 그 후 고전적인 Ismagilov 정리를 인용하여 코호몰로지 클래스 $[\alpha]$가 반드시 영(zero)이어야 함을 결론짓는다.
4. $C^0$-조밀성을 통한 전사성 증명: 임의의 연속 1-코사이클에 대하여, 저자는 이를 매끄러운 미분동상들의 조밀한 부분군으로 제한한다. 고전적 정리에 의해, 이 제한은 닫힌 1-형식의 플럭스와 코호мо로지적(cohomologous)이다. 매끄러운 부분군은 $C^0$-조밀하므로, 이 관계는 연속성에 의해 전체 위상적 그룹으로 유일하게 확장된다.

주요 기여 및 결과

• 주요 정리 ($C^0$-유사성): 차원이 $n \neq 4$인 폐 유향 다양체 $M$에 대하여, $Homeo^\Omega_0(M)$의 $C^0_0(M)$ 계수를 갖는 첫 번째 연속 코호몰로지는 다음과 같이 첫 번째 드 람 코호몰로지와 동형이다:
  $$H^1_{\text{cont}}(Homeo^\Omega_0(M), C^0_0(M)) \cong H^1(M; \mathbb{R}).$$
  이는 교차 호모모피즘과 닫힌 미분 1-형식 사이의 대응 관계가 미분 가능성의 상실에 무감각함을 입증한다.

• 위상적 수송 이론: 본 논문은 부피 보존 홈오모피즘을 위한 견고한 수송 프레임워크를 도입한다. 저자는 내재적인 연속 플럭스 호모모피즘 $\mathcal{S}^{C^0}$와 연관된 수송 코사이클 $\tau_\alpha$를 정의한다. 이 이론은 코호몰로지 논증에 필요한 매끄러운 플럭스의 위상적 대체물 역할을 한다.

• 플럭스 그룹의 $C^0$-강성(Rigidity): 본 논문은 부피 보존 홈오모피즘의 플럭스 그룹 $\tilde{\Gamma}_\Omega$가 매끄러운 플럭스 격자(lattice) $\Gamma_\Omega$와 일치함을 증명한다. 결과적으로, 플럭스 그룹은 $H^{n-1}(M; \mathbb{R})$에서 이산적(discrete)이며, 그 랭크(rank)는 첫 번째 베티 수 $b_1(M)$과 같다.

• $C^0$-플럭스 추측의 해결: 직접적인 응용으로서, 본 논문은 부피 보존 $C^0$-플럭스 추측을 해결한다. 즉, 플럭스 호모모피즘의 커널(vanishing flux)에 해당하는 홈오모피즘 부분군이 부피 보존 홈오모피즘의 항등원 연결 성분 내에서 $C^0$-닫혀 있음을 확립한다.

• 고정점 및 비변위성(Non-displaceability)에 대한 응용:

  • 2-토러스 $T^2$ 상에서, 저자는 고정점에 대한 위상적 기준을 도출한다: 위상적 플럭스가 0인 항등원 이소토픽한 영역 보존 홈오모피즘은 적어도 두 개의 서로 다른 고정점을 갖는다(이 맥로에서 Franks의 정리를 회복함).
  • 저자는 $T^2$ 상의 라그랑주 부분 다양체(비영(non-zero) 호몰로지를 갖는 단순 닫힌 곡선)가 플럭스 호모모피즘의 커널에 속하는 어떤 홈오모피즘에 의해서도 변위(displaced)될 수 없음을 증명한다.

• 두 번째 코호몰로지 및 중심 확장(Central Extensions): 본 논문은 플럭스와 관련된 두 번째 코호몰로지 그룹을 특징짓으며, 플럭스 호모모피즘이 부피 보존 홈오모피즘의 그룹에 의해 플럭스 격자로 이루어진 비자명한 중심 확장을 유도함을 보여준다.

의의 및 주장
본 논문은 자신의 주요 참신함이 수송 이론 자체의 구축(이는 심플렉틱 홈오모피즘의 발전과 평행함)에 있는 것이 아니라, 이 이론이 Ismagilov의 코호몰로지 정리를 매끄러운 미분동에서 홈오모피즘으로 확장하는 데 필요한 빠진 조각을 제공한다는 깨달음에 있다고 주장한다.

결과들은 $C^0$-범주에서의 수송 이론이 이전에 매끄러운 설정에서만 알려졌던 고전적인 코호몰로지 강성 현상을 회복할 만큼 충분히 견고하다는 것을 보여준다. 구체적으로, 본 논문은 첫 번째 연속 코호몰로지가 미분 가능성의 상실과 무관하게 기저 다양체의 위상에 의해 전적으로 지배된다고 주장한다. 나아가, 부피 보존 홈오모피즘에 대한 $C^0$-플럭스 추측의 해결은 고차원 심플렉틱 위상학에서 통상적으로 요구되는 무거운 플로어 호몰로지(Floer-homological) 도구들을 우회하여, 모든 폐곡면에 대한 완전하고 고전적인 해결책을 제공한다. 이 연구는 Floer-Novikov 이론의 기초가 되는 대수적 구조(예: Novikov ring)가 위상적으로 강성(rigid)하며 $C^0$-극한에서도 지속된다는 점을 시사한다.