A smooth isotopy of volume-preserving diffeomorphisms on unit cube saving energy through extra dimensions

기술 요약: 단위 입방체 상의 부피 보존 미분동형사상에 대한 매끄러운 등아이소토피(Isotopy) — 추가 차원을 통한 에너지 절약

문제 정의
본 논문은 리만 다양체-경계가 있는 $(M, g)$ 상의 부피 및 방향 보존 미분동형사상 군 $SDiff(M)$ 내에서의 "이점 문제(Two-Point Problem)"와 "고전적 변분 문제(Classical Variational Problem)"를 다룬다. 구체적으로, 두 구성 $h_0, h_1 \in SDiff(M)$에 대하여, 총 운동 에너지(작용량) $J(\{\xi_t\}) = \frac{1}{2} \int_0^1 \|\partial_t \xi_t\|_{L^2}^2 dt$를 최소화하는 매끄러운 등아이소토피 $\{\xi_t\}_{t \in [0,1]}$가 존재하는지 조사한다.

Shnirelman은 $n \ge 3$인 경우, 단위 입방체 $I^n$ 상의 모든 미분동형사상이 "도달 가능(attainable)"하다(즉, 유한한 에너지 경로에 의해 항등원과 연결된다)는 것을 확립했지만, 에너지 최소화 경로의 존재는 보장되지 않는다. 본 논문은 특정 상황에서 총 운동 에너지가 무한대인 매끄러운 등아이소토피 $\{\xi_t\}$가 존재함에도 불구하고, 종점 $\xi_1$은 유한한 총 운동 에너지를 가진 다른 매끄러운 등아이소토피 $\{\eta_t\}$에 의해 도달 가능하다는 것을 보여줌으로써, 특정 "거친(wild)" 구성의 에너지 비용과 주변 공간에서의 더 효율적인 경로 사이의 불일치를 밝히고자 한다.

방법론
저자는 단위 입방체 $I^n$ ($n \ge 3$) 내의 임의로 작은 튜브형 근방 내에 분리된 수많은 "구성 블록(building blocks)"을 결합함으로써 무한 에너지 등아이소토피 $\{\xi_t\}$를 구축한다. 이 방법론은 다음 세 가지 주요 요소에 의존한다:

1. 부분 다양체의 위상적 제약: 이 구성은 컴팩트 리만 다양체-경계 $(M, g)$를 활용하며, 이는 차원 $m \ge 3$, 비자명한 제1 실 호몰로지($H_1(M; \mathbb{R}) \neq \{0\}$), 그리고 자명한 중심을 가진 기본군($Z(\pi_1(M)) = \{0\}$)을 갖는다. 예로는 지수(genus)가 2인 핸들바디(handlebody)가 있다.
2. 질량 흐름 준동형 사상(Mass Flow Homomorphism): 본 논문은 Fathi에 의해 정의된 질량 흐름 준동형 사상 $\theta: Homeo_0(M, \mu) \to H_1(M; \mathbb{R})/\Gamma$를 사용한다. 기본군이 자명한 중심을 가지므로 $\Gamma$는 자명하며, 따라서 $\theta$는 전사(epimorphism)가 된다. 이를 통해 특정 호몰로지 사이클 $[\sigma]$를 임의의 큰 횟수 $N(j)$만큼 통과하는 $M$ 상의 등아이소토피를 구성할 수 있으며, 이는 작용량이 $N(j)$에 따라 이차적으로 증가하도록 강제한다.
3. 주변 확장 및 스케일링:
   • 등거리 임베딩(isometric embeddings) $\iota: M \hookrightarrow \mathbb{E}^n$은 스케일링 및 이동을 거쳐 $I^n$ 내의 서로 소인 구(balls) $B_j \subset I^n$로 배치된다.
   • $M$ 상의 등아이소토피는 얇은 튜브형 근방 내에서 지지되는 발산 없는(divergence-free) 벡터장을 사용하여 주변 공간 $\mathbb{E}^n$(그 후 $I^n$으로 제한됨)으로 확장된다.
   • 이 구성은 스케일의 수열을 포함하며, 여기서 회전 횟수 $N(j)$는 지지 영역의 크기(반지름 $\rho_j$ 및 튜브 폭 $\delta_j$)에 비해 충분히 빠르게 증가한다.

주요 기여 및 결과
주요 결과인 정리 1.3은 다음과 같다:

• $SDiff(I^n)$ ($n \ge 3$) 상의 매끄러운 등아이소토피 $\{\xi_t\}_{t \in [0,1]}$가 존재하며, 이의 총 운동 에너지 $J(\{\xi_t\}) = \infty$이다.
• 이 등아이소토피는 $M$의 닮은꼴(homothetic copies)들에 대한 서로 소인 수많은 튜브형 근방 상에서 지지된다.
• 결정적으로, 이 등아이소토피는 "자기 상쇄(self-cancellation)"가 없다. 즉, 벡터장은 결코 멈추지 않으며, 유체 영역은 지지 영역 내에서 이전의 구성으로 돌아가지 않는다.
• 이러한 무한 에너지의 $\{\xi_t\}$에도 불구하고, 종점 $\xi_1$은 도달 가능한 미분동형사상이다. $n \ge 3$에서의 도달 가능한 미분동형사상에 관한 Shnirelman의 정리에 의해, $\eta_0 = \xi_0 = id$, $\eta_1 = \xi_1$이고 $J(\{\eta_t\}) < \infty$를 만족하는 또 다른 매끄러운 등아이소토피 $\{\eta_t\}$가 존재한다.

본 논문은 $\{\xi_t\}$라는 "거친" 등아이소토피가 저차원 부분 다양체 $M$을 반복적으로 "휘젓는(stirring)" 방식으로 구성됨을 보여준다. 이러한 휘젓기는 $M$ 내부에서는 에너지를 줄이기 위해 변형될 수 없지만, 주변 공간 $I^n$으로의 확장은(추가적인 $n-m$ 차원을 활용하여) 부분 다양체의 높은 에너지 비용을 우회하는 "지름길"을 제공함으로써 에너지를 절약할 수 있게 한다.

의의 및 주장
본 논문은 "운동 에너지를 최소화하는 것으로 추정되는 유체 흐름"이 비매끄러운 또는 측도론적 해(일반화된 흐름)를 필요로 할 수 있음을 보여주는 명시적인 사례를 제공한다고 주장한다. 이는 특정 경로에 대해 매끄러운 최소해가 존재하지 않을 수 있기 때문이다.

에너지 절약의 메커니즘에 대한 의의는 다음과 같다:

• 무한 에너지는 $M$의 위상적 복잡성이 $M$ 내부에서의 에너지 감소를 방해하는 데서 기인한다.
• 유한 에너지 대안은 $I^n$이라는 주변 공간이 부분 다양체의 제약을 벗어날 수 있는 추가 차원을 제공함으로써, 부분 다양체로부터의 "리프트(lift)"를 통해 에너지를 절약할 수 있게 함으로써 존재한다.

저자는 이 구성이 본질적으로 Shnirelman의 2차원에서의 도달 불가능한 미분동형사상 연구와 Fathi 및 Eliashberg–Ratiu의 질량 흐름 준동형 사상 기법에 의해 동기 부여되었음을 언급한다. 또한, "강성 등아이소토피 확장 성질(rigid isotopy extension properties)"에 관한 이전 버전의 결함이 있는 정리를 수정하며, 얇은 튜브형 근방을 활용하여 임의로 작은 추가 에너지 비용을 갖는 주변 등아이소토피를 항상 구성할 수 있으므로 그러한 성질은 성립할 수 없음을 명확히 한다.

결론
본 논문은 $n \ge 3$ 차원에서 유한한 에너지 경로에 의해 항등원과 연결될 수 있음에도 불구하고 무한한 운동 에너지를 갖는 매끄러운 부피 보존 등아이소토피를 구성할 수 있음을 확립한다. 이는 $SDiff(M)$ 내 에너지 지형의 비볼록성(non-convexity)과, 저차원 부분 다양체 내에서는 불가능한 에너지 효율적인 변형을 용이하게 하는 주변 차원의 역할을 강조한다.