[논문 리뷰] Induced differential forms on manifolds of functions

Cornelia Vizman|arXiv (Cornell University)|2011. 11. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 14

한 줄 요약

이 논문은 매니폴드 M과 S 위의 미분형식 간에 자연스러운 '햇' 쌍대성(pairing)을 도입하여, S에서 M으로의 매끄러운 함수들의 프리셰트 매니폴드 𝒟(S,M) 위의 미분형식을 유도한다. S에 대한 섬유 적분을 통해 Ωᵖ(M) × Ωᑫ(S) → Ωᵖ⁺ᑫ⁻ᵏ(𝒟(S,M))의 사상이 구성되며, 이는 전이성(transgression)과 바 맵(bar map)을 일반화한다. 핵심 기여는 미분형식의 외부 도함수와 디피오모르피즘 작용에 대해 호환성을 유지하는 체계적인 '햇 미적분(hat calculus)'을 제공함으로써, p-브레인 이론과 유체역학의 쌍대 쌍(pair) 응용이 가능하게 한다.

ABSTRACT

Differential forms on the Fréchet manifold F(S,M) of smooth functions on a compact k-dimensional manifold S can be obtained in a natural way from pairs of differential forms on M and S by the hat pairing. Special cases are the transgression map associating (p-k)-forms on F(S,M) to p-forms on M (hat pairing with a constant function) and the bar map associating p-forms on F(S,M) to p-forms on M (hat pairing with a volume form). We develop a hat calculus similar to the tilda calculus for non-linear Grassmannians.

연구 동기 및 목표

• 콤��� k차원 매니폴드 S에서 매니폴드 M으로의 매끄러운 함수들의 프리셰트 매니폴드 𝒟(S,M) 위에 자연스럽고 기하학적인 방식으로 미분형식을 구성하는 것.
• 섬유 적분을 사용한 통합된 '햇 쌍대성' 구조를 통해 고전적 전이성 맵과 바 맵을 일반화하는 것.
• 디피오모르피즘 군 작용(Diff(M) 및 Diff(S))과 외부 도함수에 대한 햇 쌍대성의 호환성을 확립하여 코homology 응용을 가능하게 하는 것.
• 평가 사상(evaluation map)을 沿해 비선형 그라스만이안(non-linear Grassmannian) 위의 틸다 미적분(tilda calculus)과의 관계를 통해 𝒟(S,M) 위에 유도된 형식을 연결하는 것.
• 햇 미적분을 p-브레인의 해밀토니안 형식론과 이상 압축 불가능한 유체 흐름에서의 쌍대 쌍(dual pairs)에 적용하는 것.

제안 방법

• 섬유 적분을 통한 햇 쌍대성 정의: ŝ(ω·α) = −∫ₛ ev*ω ∧ pr*α, 여기서 ev: S×𝒟(S,M) → M은 평가 사상이고 pr: S×𝒟(S,M) → S는 투영이다.
• 내부 곱을 사용하여 유도된 형식을 명시적으로 표현: (ŝ(ω·α))_f(Y_f¹,…,Y_f^{p+q−k}) = ∫_S f*(i_{Y_f^{p+q−k}}…i_{Y_f¹}(ω∘f)) ∧ α.
• 햇 쌍대성이 외부 도함수 d와 𝒟(S,M) 위의 Diff(M) 및 Diff(S) 작용과 호환됨을 확립한다.
• f ∈ 𝒟(S,M)에서의 접선 벡터를 f*TM의 단면으로 식별하여, 유도된 형식을 당김과 수축을 통해 정의한다.
• Emb(S,M) 위의 햇 맵을 비선형 그라스만이안 Gr_k(M) 위의 틸다 맵과 연결하기 위해 π: Emb(S,M) → Gr_k(M)의 사영을 사용하여 ŝω = π*tilde(ω)임을 보인다.
• μ를 S 위의 고정된 부피형식으로 두었을 때 바 맵 ̄ω = ŝ(ω·μ)를 적용하여, M에서 ω가 심플렉틱일 경우 𝒟(S,M) 위에 심플렉틱 구조를 구성하고, Diff_ham(M,ω)와 Diff_ex(S,μ)의 교환 가능한 해밀토니안 작용을 식별한다.

실험 결과

연구 질문

• RQ1 함수 공간 𝒟(S,M) 위의 미분형식은 M과 S 위의 형식들로부터 어떻게 체계적으로 유도될 수 있는가?
• RQ2 햇 쌍대성 Ωᵖ(M) × Ωᑫ(S) → Ωᵖ⁺ᑫ⁻ᵏ(𝒟(S,M))의 기하학적·대수적 구조는 무엇이며, 전이성과 바 맵과 어떻게 관련되는가?
• RQ3 햇 미적분은 무한차원 매니폴드 𝒟(S,M) 위에서 디피오모르피즘 군 작용과 외부 도함수와 어떻게 상호작용하는가?
• RQ4 Emb(S,M) 위의 햇 맵과 비선형 그라스만이안 Gr_k(M) 위의 틸다 맵 사이의 관계는 무엇인가?
• RQ5 햇 미적분은 어떻게 p-브레인 이론과 이상 압축 불가능한 유체 흐름의 맥락에서 운동량 맵과 쌍대 쌍을 구성하는 데 응용될 수 있는가?

주요 결과

• 햇 쌍대성 ŝ(ω·α) = −∫ₛ ev*ω ∧ pr*α 는 Ωᵖ(M) × Ωᑫ(S)에서 Ωᵖ⁺ᑫ⁻ᵏ(𝒟(S,M))로의 잘 정의된 이중선형 사상이며, 전이성과 바 맵을 일반화한다.
• 햇 쌍대성은 외부 도함수 d와 𝒟(S,M) 위의 자연스러운 Diff(M) 및 Diff(S) 작용과 호환되며, 드 라함 코homology에서 잘 정의된 유도 사상이 된다.
• 전이성 맵 ŝω = −∫ₛ ev*ω 는 Ω⁰(S)의 상수 함수 1과의 쌍대성에 해당하며, f ∈ Emb(S,M)에서의 값은 X₁,…,X_{p−k} ∈ 𝔛(M)에 대해 ∫_S f*(i_{X_{p−k}}…i_{X₁}ω)로 주어진다.
• μ를 S 위의 고정된 부피형식으로 두었을 때 바 맵 ̄ω = ŝ(ω·μ)는 M에서 ω가 심플렉틱일 경우 𝒟(S,M) 위에 심플렉틱 형식을 제공하며, Diff_ham(M,ω)와 Diff_ex(S,μ)의 교환 가능한 해밀토니안 작용을 유도한다.
• Diff_ex(S,μ) 작용의 운동량 맵은 〈J(f), X_α〉 = ∫_S f*ω ∧ α 로 주어지며, 비등변성은 리 대수의 2-코호몰로지 족과 동치인 코사이클(cochain)로 측정된다.
• 코사이클 σ_ℱ(f) = ∫_S f*ω ∧ P i_X i_Y μ 는 [f*ω] ∈ H²(S)의 코homology 클래스가 정수일 때에만 적분 가능하며, 이는 기하학적 양자화와 유체 이중 쌍 구조 사이의 연결고리가 된다.