[논문 리뷰] Deformation Quantization of Lagrangean Fiber Bundles

Nicolai Reshetikhin, Milen Yakimov|arXiv (Cornell University)|1999. 07. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 1

한 줄 요약

이 논문은 심플렉틱 다양체 M 위의 매끄러운 함수 대수에 대해, π: M → B가 라그랑주 피브리케이션일 때, π∗(C∞(B))[[ħ]]의 철저한 곱을 유지하는 스타 곱을 제안한다. 이는 이러한 스타 곱의 동치류와 π가 여전히 라그랑주일 조건을 만족하는 ω의 변형 사이에 일대일 대응을 수립한다. 이는 형식적 심플렉토모피즘에 대한 모odulo이다.

ABSTRACT

Dedicated to the memory of Moshé Flato Let (M, ω) be a symplectic manifold. A Lagrangean fiber bundle π: M → B, determines a completely integrable system on M. First integrals of this system are the pull–backs of functions on the base of the bundle. We show that for each Lagrangean fiber bundle π there exist star products on C ∞ (M)[[�]] which do not deform the pointwise multiplication on the subalgebra π ∗ (C ∞ (B))[[�]]. The set of equivalence classes of such star products is in bijection with the deformations of the symplectic form ω for which π: M → B remains Lagrangean taken modulo formal symplectomorphisms of M. 1

연구 동기 및 목표

• C∞(M)[[ħ]] 위의 스타 곱을 구성하여, π∗(C∞(B))[[ħ]] 위의 점별 곱을 변형하지 않는 것.
• 이러한 스타 곱의 동치류 집합을 심플렉틱 형식 ω의 변형에 따라 기술하는 것.
• 이러한 동치류와 π의 라그랑주 피브리케이션 구조를 유지하는 ω의 변형 사이의 일대일 대응을 수립하는 것, 형식적 심플렉토모피즘에 대한 모odulo로.
• 심플렉틱 기하학에서 라그랑주 피브리케이션의 설정으로 변형 양자화 기법을 일반화하는 것.

제안 방법

• C∞(M)[[ħ]] 위의 스타 곱을 구성하여, π∗(C∞(B))[[ħ]] 위의 부분대수에서 점별 곱을 유지하는 것.
• M 위의 완전히 통합 가능한 시스템의 첫 번째 적분을 B 위의 함수의 역상으로 식별하기 위해 피브리케이션 구조 π: M → B를 사용하는 것.
• π의 면이 여전히 라그랑주 조건을 만족하도록 유지하는 심플렉틱 형식 ω의 변형을 분석하는 것.
• 이러한 스타 곱의 동치류와 M 위의 형식적 심플렉토모피즘에 대한 모odulo로 ω의 변형 사이의 대응을 수립하는 것.
• 대수적 구조가 M 위에서 기하학적 ω의 변형과 어떻게 관련되는지 설명하기 위해 변형 양자화와 심플렉틱 기하학 기법을 적용하는 것.
• 변형 매개변수를 ħ에 대한 형식적 멱급수로 기술하고, 라그랑주 피브리케이션과의 호환성을 보장하는 것.

실험 결과

연구 질문

• RQ1 C∞(M)[[ħ]] 위의 어떤 스타 곱이 π∗(C∞(B))[[ħ]] 위의 점별 곱을 유지하는가?
• RQ2 이러한 스타 곱은 동치 관계에 대해 어떻게 분류되는가?
• RQ3 심플렉틱 형식 ω의 변형과 이러한 스타 곱의 존재 사이의 관계는 무엇인가?
• RQ4 M의 형식적 심플렉토모피즘은 이러한 스타 곱의 분류에 어떻게 영향을 미치는가?
• RQ5 ω에 대한 어떤 기하학적 조건이 π: M → B가 변형하더라도 여전히 라그랑주일 것을 보장하는가?

주요 결과

• π∗(C∞(B))[[ħ]]를 변형하지 않는 스타 곱의 동치류 집합은, π가 여전히 라그랑주일 조건을 만족하는 ω의 변형 집합과 형식적 심플렉토모피즘에 대한 모odulo로 일대일 대응된다.
• 모든 라그랑주 피브리케이션 π: M → B에 대해 이러한 스타 곱이 존재한다.
• 이 구성은 M 위의 완전히 통합 가능한 시스템의 첫 번째 적분—B 위의 함수의 역상—이 스타 곱에 대해 유지됨을 보장한다.
• 이러한 스타 곱의 분류는 피브리케이션의 접속 또는 분할의 선택에 의존하지 않으며, 오직 심플렉틱 구조와 라그랑주 조건에만 의존한다.
• 이 결과는 피브리케이션 구조를 통합하고 부분대수 곱을 유지함으로써 표준 변형 양자화를 일반화한다.
• 이 일대일 대응는 자연스럽고 함의적이다. 즉, 피브리케이션을 유지하는 심플렉틱 동형사상에 대해 존속한다.