The completion of the set of Lagrangians and applications to dynamics -- Based on lectures by C. Viterbo

이 논문은 C. Viterbo 의 강의를 바탕으로 스펙트럴 거리 하에서 라그랑지안 부분다양체 집합의 완성을 소개하고, $\gamma$-지지 개념을 통해 그 기본 성질을 규명하며, 이를 Birkhoff 끌개 개념을 일반화한 등각 심플렉틱 역학 등 다양한 역학 문제에 적용하는 내용을 다룹니다.

핵심

1. 배경: 완벽한 세계와 찌그러진 세계

우선, 이 논문이 다루는 무대는 **'심플렉틱 다양체 (Symplectic manifold)'**라는 이상적인 우주입니다. 이 우주에는 물리 법칙 (에너지 보존 등) 을 따르는 '라그랑주 다양체'라는 특별한 모양의 물체들이 떠다닙니다.

• 비유: 이 물체들을 **'완벽하게 매끄러운 유리 조각'**이라고 상상해 보세요. 이 유리 조각들은 서로 부딪히거나 변형될 수 있지만, 항상 어떤 규칙을 따릅니다.

하지만 현실 세계는 완벽하지 않습니다. 마찰이 있거나, 에너지가 손실되기도 하죠. 수학자들은 이 '완벽한 유리 조각'들을 조금씩 찌그러뜨리거나, 아주 미세하게 변형시켜 새로운 모양을 만들어내고 싶어 합니다.

2. 문제: "완벽하지 않은" 것들을 어떻게 다루나?

수학자들은 이 유리 조각들을 서로 비교하는 **거리 (Distance)**를 개발했습니다. 두 조각이 얼마나 다른지 숫자로 나타내는 것입니다. 그런데 여기서 큰 문제가 생깁니다.

• 문제 상황: 우리가 유리 조각을 아주 미세하게, 끝없이 변형시켜 나간다면, 결국 도달하는 지점이 '유리 조각'이 아닌 것이 될 수 있습니다. 마치 유리 조각을 아주 얇게 펴서 '막대기'가 되거나, 혹은 아주 복잡하게 뭉개져서 '구름'이 되는 것처럼요.
• 기존의 한계: 기존의 수학 도구들은 이런 '유리 조각이 아닌 것들'을 제대로 설명하거나 분류할 수 없었습니다. 마치 지도에 '구름'이나 '안개'는 표시되어 있지만, 그 안의 구체적인 지형은 표시되지 않은 것과 같습니다.

3. 해결책: '휴밀리에르 (Humilière) 의 완성'과 '새로운 나침반'

이 논문은 바로 그 결여된 부분 (구름이나 안개 같은 것들) 을 채워 넣는 '완성 (Completion)' 작업을 소개합니다.

• 새로운 나침반 (스펙트럴 거리): 저자들은 '스펙트럴 거리'라는 새로운 나침반을 사용합니다. 이 나침반은 두 물체가 얼마나 다른지 재는데, 단순히 겉모양만 보는 게 아니라 물체 내부의 '진동'이나 '에너지'를 측정합니다.
• 완성의 의미: 이 나침반을 사용하면, 우리가 찌그러뜨려서 얻은 '유리 조각이 아닌 것들'도 수학적으로 완벽하게 정의된 **'새로운 물체'**로 받아들일 수 있게 됩니다. 마치 지도에 '구름'이라는 새로운 지형을 추가하고, 그 지형의 경계선을 명확히 그리는 것과 같습니다.

4. 핵심 개념: '감싸는 껍질' (γ-지원, γ-support)

이제 가장 중요한 개념인 **'γ-지원 (γ-support)'**을 소개합니다.

• 비유: 새로운 물체 (완성된 세계의 요소) 가 우주에 떠 있을 때, 그 물체가 실제로 '존재'하는 영역은 어디일까요?
  • 예전에는 물체의 '겉면'만 존재한다고 생각했습니다.
  • 하지만 이 논문에 따르면, 물체는 그 물체를 움직이려고 할 때 저항을 느끼는 영역만큼 존재합니다.
• 설명: 만약 어떤 물체를 아주 작은 공간에서 움직이려고 할 때, 그 물체가 '반대'를 하거나 에너지를 많이 써야 한다면, 그 공간은 물체의 **'실제 존재 영역 (γ-지원)'**입니다.
  • 이 영역은 마치 **물체의 '영혼'이나 '핵심'**과 같습니다.
  • 이 논문은 이 '핵심 영역'이 항상 **특정한 기하학적 규칙 (γ-코이소트로피)**을 따르며, 그 모양이 매우 복잡할 수 있음을 증명합니다. (예: 구름처럼 퍼져있을 수도 있고, 끈처럼 얽혀있을 수도 있습니다.)

5. 응용: '비르코프 끌개 (Birkhoff Attractor)'의 확장

이제 이 새로운 지도와 나침반을 실제 물리 현상에 적용해 봅니다.

• 전통적인 이야기: 과거에는 마찰이 있는 시스템 (예: 진자가 멈추는 현상) 에서 물체가 결국 멈추는 지점을 **'끌개 (Attractor)'**라고 불렀습니다. 이는 2 차원 (평면) 세계에서는 잘 이해되어 있었습니다.
• 새로운 발견: 이 논문은 이 '끌개' 개념을 고차원 (3 차원 이상) 세계로 확장합니다.
  • 비유: 2 차원 세계에서는 물체가 멈추는 지점이 '점'이나 '선'으로 보였지만, 고차원 세계에서는 물체가 멈추는 곳이 매우 복잡하고 뒤틀린 '구름'이나 '거미줄' 같은 형태가 될 수 있습니다.
  • 이 논문은 이 복잡한 형태가 **새로운 '일반화된 비르코프 끌개'**임을 증명하고, 그것이 수학적으로 얼마나 튼튼한지 (불변성) 보여줍니다.
  • 특히, 마찰이 있는 시스템에서 에너지가 소실될 때, 시스템이 결국 도달하는 '최종 상태'가 무엇인지를 이 새로운 'γ-지원' 개념으로 설명할 수 있게 되었습니다.

6. 결론: 왜 이 이야기가 중요한가?

이 논문은 단순히 수학적 장난이 아닙니다.

1. 우리의 이해 확장: 우리가 '물체의 모양'이라고 생각했던 것을, '에너지와 상호작용의 영역'으로 다시 정의했습니다.
2. 새로운 도구: 이 '완성된 세계'와 'γ-지원' 개념을 사용하면, 과거에는 설명할 수 없었던 **복잡한 동역학 시스템 (기후 변화, 유체 역학, 양자 역학 등)**의 행동을 더 잘 예측하고 이해할 수 있게 됩니다.
3. 미지의 세계: 아직 풀리지 않은 질문들 (이 '구름' 같은 물체들이 얼마나 복잡할 수 있는가?) 을 던지며, 수학자들이 앞으로 탐험할 새로운 영역을 제시합니다.

한 줄 요약:

"이 논문은 완벽한 기하학적 세계에 '구름'과 '안개' 같은 불완전한 것들을 포함시키는 새로운 지도를 그렸으며, 그 지도를 이용해 마찰이 있는 복잡한 물리 시스템이 결국 어디로 수렴하는지 그 '핵심 영역'을 찾아내는 방법을 제시합니다."

이처럼 이 논문은 추상적인 수학 개념을 통해 현실 세계의 복잡한 현상을 더 깊이 있게 파악하려는 인간의 지적 모험을 담고 있습니다.

기술 요약

이 논문은 심플렉틱 기하학, 특히 라그랑지안 부분다양체 (Lagrangian submanifolds) 의 공간과 그 완비성 (completion), 그리고 이를 동역학에 적용하는 문제에 대해 다룹니다. C. Viterbo 의 강의를 바탕으로 작성된 이 노트는 V. Humilière 가 처음 도입한 **스펙트럴 거리 (spectral metric)**에 대한 라그랑지안 집합의 완비성을 소개하고, 이를 통해 **$\gamma$-지지집합 ($\gamma$-support)**과 $\gamma$-코이소트로픽 (coisotropic) 집합의 개념을 정립하며, 이를 **고차원 버크호프 어트랙터 (Birkhoff attractor)**로 확장하는 내용을 담고 있습니다.

다음은 논문의 주요 문제, 방법론, 핵심 기여, 결과 및 의의를 기술적으로 요약한 것입니다.

---

1. 연구 문제 (Problem)

• 라그랑지안 공간의 불완전성: 리우빌 (Liouville) 심플렉틱 다양체 (특히 $T^*N$) 에서 해밀토니안 등각 (Hamiltonian isotopic) 인 닫힌 정확한 라그랑지안 부분다양체의 집합 $L_0(T^*N)$은 V. Humilière 가 도입한 스펙트럴 거리 $\gamma$에 대해 완비 공간 (complete metric space) 이 아닙니다.
• 비정규적 객체의 정의 부재: 이 공간의 완비화 (completion) $\widehat{L}_0(T^*N)$에 속하는 원소들은 추상적인 극한 객체이지만, 이를 기하학적으로 해석할 수 있는 명확한 정의 (예: 지지집합의 개념) 가 부족했습니다.
• 고차원 동역학의 한계: 2 차원 원통 ($T^*S$) 에서 잘 알려진 **버크호프 어트랙터 (Birkhoff attractor)**의 개념을 고차원 ($T^*N, N$은 일반 매끄러운 다양체) 으로 확장하는 데 필요한 이론적 틀이 부재했습니다. 특히 소산적 (dissipative) 인 심플렉틱 사상에 대한 불변 집합의 구조를 이해하는 데 어려움이 있었습니다.

2. 방법론 (Methodology)

이 논문은 다음과 같은 수학적 도구와 방법론을 결합하여 문제를 해결합니다.

• 생성 함수 (Generating Functions) 와 GFQI:
  • 라그랑지안 부분다양체를 무한차원 공간이 아닌 유한차원 보조 매개변수를 가진 **무한대 2 차 생성 함수 (GFQI, Generating Functions Quadratic at Infinity)**로 표현합니다.
  • Lusternik-Schnirelmann 이론을 활용하여 생성 함수의 임계값 (critical values) 에서 스펙트럴 불변량 (spectral invariants) $c(\alpha, L)$을 정의합니다.
• 스펙트럴 거리 (Spectral Metrics):
  • 생성 함수의 임계값을 이용하여 라그랑지안 브레인 (Lagrangian branes) 과 라그랑지안 부분다양체 사이의 거리 함수 $c$와 $\gamma$를 정의합니다.
  • 이 거리들은 해밀토니안 미분동형사상 (Hamiltonian diffeomorphisms) 에 대해 등거리 변환 (isometry) 으로 작용함을 보입니다.
• 완비화 (Completion) 와 $\gamma$-지지집합:
  • 거리 공간 $(L_0(T^*N), \gamma)$와 $(\mathcal{L}_0(T^*N), c)$의 완비화 $\widehat{L}_0(T^*N)$와 $\widehat{\mathcal{L}}_0(T^*N)$를 도입합니다.
  • 완비화 된 원소들의 기하학적 성질을 파악하기 위해 **$\gamma$-지지집합 ($\gamma$-support)**을 정의합니다. 이는 국소적으로 작은 해밀토니안 변형에 의해 $\gamma$-거리가 0 이 되지 않는 점들의 집합으로 정의됩니다.
• $\gamma$-코이소트로피 (Coisotropy):
  • 기존의 코이소트로픽 (coisotropic) 다양체 개념을 일반화하여, 국소적으로 작은 변형에 대해 최소한의 에너지 ($\gamma$-norm) 가 필요한 집합을 $\gamma$-코이소트로픽 집합으로 정의합니다.
• 고정점 정리 적용:
  • conformally exact symplectic (CES) 사상은 $\gamma$-거리 공간에서 축소 사상 (contraction) 으로 작용하므로, Banach-Caccioppoli 고정점 정리를 적용하여 고유한 고정점 (라그랑지안) 을 존재시킵니다.

3. 핵심 기여 및 결과 (Key Contributions & Results)

A. $\gamma$-지지집합과 $\gamma$-코이소트로피의 정립

• $\gamma$-지지집합의 정의: 완비화된 라그랑지안 $\widehat{L}$에 대해 $\gamma$-지지집합 $\gamma\text{-supp}(\widehat{L})$을 정의하고, 이것이 닫힌 집합이며 $\gamma$-코이소트로픽임을 증명했습니다.
• 일반화된 코이소트로피: 매끄러운 부분다양체의 경우, $\gamma$-코이소트로픽임은 기존의 코이소트로픽임과 동치임을 보였습니다. 이는 라그랑지안 부분다양체가 항상 $\gamma$-코이소트로픽임을 의미합니다.
• 지지집합의 크기: $\gamma$-지지집합의 하우스도르프 차원 (Hausdorff dimension) 은 최소 $n$ ($N$의 차원) 이상임을 보였으며, "Peano 라그랑지안"과 같이 매우 복잡한 구조를 가질 수 있음을 예시했습니다.

B. 고차원 버크호프 어트랙터 (Generalized Birkhoff Attractor)

• 정의: conformally exact symplectic (CES) 사상 $\psi$ (확대/축소 비율 $a \in (0,1)$) 에 대해, $\gamma$-거리 공간에서의 고정점 $L_\infty$의 $\gamma$-지지집합을 일반화된 버크호프 어트랙터 $B_\infty(\psi) = \gamma\text{-supp}(L_\infty)$로 정의했습니다.
• 2 차원과의 일치: $T^*S$ (원통) 의 경우, 이 새로운 정의가 고전적인 버크호프 어트랙터 $B(\psi)$와 정확히 일치함을 증명했습니다.
• 위상적 성질: $B_\infty(\psi)$는 불변, 닫힌, $\gamma$-코이소트로픽 집합이며, $N$의 코호몰로지 군을 $B_\infty(\psi)$의 근방으로 제한했을 때 단사 (injective) 로 유도함을 보였습니다 (위상적으로 비자명함).

C. 완비화의 응용

• Nearby Lagrangian Conjecture 의 약한 형태: $\widehat{DHam}(T^*N)$ (해밀토니안 흐름의 완비화) 의 작용이 닫힌 정확한 라그랑지안들 사이에서 전이적 (transitive) 임을 보였습니다. 즉, 임의의 두 라그랑지안은 완비화된 해밀토니안 흐름으로 연결될 수 있습니다.
• 동역학적 적용: 소산적 시스템 (예: 감쇠 진자, 할인된 Hamilton-Jacobi 방정식) 에서 불변 집합의 존재와 구조를 분석하는 강력한 도구를 제공했습니다.

4. 의의 (Significance)

1. 이론적 확장: 2 차원 (원통) 에서만 가능했던 버크호프 어트랙터의 개념을 임의의 차원 ($T^*N$) 으로 성공적으로 확장했습니다. 이는 고차원 심플렉틱 동역학에서 불변 집합을 연구하는 새로운 패러다임을 제시합니다.
2. 비정규적 객체의 기하학: 완비화된 공간에 속하는 추상적인 원소들을 $\gamma$-지지집합이라는 기하학적 객체로 구체화함으로써, 스펙트럴 불변량 이론을 실제 기하학적 구조 분석에 적용할 수 있는 길을 열었습니다.
3. 위상적 불변량: $\gamma$-지지집합이 코호몰로지적으로 비자명하다는 결과는, 이 집합들이 단순한 점의 집합이 아니라 다양체의 위상적 구조를 보존하는 복잡한 기하학적 객체임을 시사합니다.
4. 개방된 문제와 미래: $\gamma$-지지집합의 정밀한 위상적 구조 (연결성, 차원 등) 와 동역학적 복잡성에 대한 연구가 여전히 진행 중이며, 이 이론이 Floer-Fukaya 등가 관계 및 심플렉틱 토폴로지의 다른 분야 (예: Liouville 다양체의 스키레톤) 와 어떻게 연결되는지에 대한 통찰을 제공합니다.

요약

이 논문은 스펙트럴 거리를 기반으로 한 라그랑지안 공간의 완비화를 통해, $\gamma$-지지집합이라는 새로운 기하학적 개념을 도입하고 이를 고차원 버크호프 어트랙터로 확장했습니다. 이를 통해 소산적 심플렉틱 동역학 시스템에서 불변 집합의 존재성과 위상적 성질을 엄밀하게 증명하였으며, 심플렉틱 기하학과 동역학의 교차점에서 중요한 이론적 진전을 이루었습니다.