[논문 리뷰] Formalite $G_\infty$ adaptee et star-representations sur des sous-varietes coisotropes

Martin Bordemann, Rafael J. L. Morcillo외 3명|ArXiv.org|2005. 04. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 4

한 줄 요약

이 논문은 코이스otropic 부분다양체에 적합한 스타곱을 파وان 근방에서 구성하며, 부분다양체의 소멸 이상이 변형된 대수에서 왼쪽 이상으로 남아 있도록 보장한다. 이는 탐르킨의 형식성 정리(coisotropic 설정으로 일반화)를 통해 이루어지며, 적합한 다중미분 연산자 공간에 G∞-구조를 수립하고, X=ℝⁿ 및 C=ℝⁿ⁻ˡ인 경우의 장애물들이 0임을 증명함으로써, C∞(C)[[h]] 위의 자연스러운 표현의 변형을 가능하게 한다.

ABSTRACT

Let X be a Poisson manifold and C a coisotropic submanifold and let I be the vanishing ideal of C. In this work we want to construct a star product * on X such that I[[lambda]] is a left ideal for *. Thus we obtain a representation of the star product algebra A[[lambda]] = C^\infty(X)[[lambda]] on B[[lambda]] = A[[lambda]] / I[[lambda]] deforming the usual representation of A on the functions on C. The result follows from a generalization of Tamarkin's formality adapted to the submanifold C. We show that in the case X = R^n and C = R^{n-l} with l > 1 there are no obstructions to this formality.

연구 동기 및 목표

• 코이스otropic 부분다양체와 호환되는 파وان 다각형에서의 스타곱을 구성함으로써, 부분다양체의 소멸 이상이 변형된 대수에서 왼쪽 이상으로 남아 있도록 보장한다.
• 적합한 코chains와 연산자를 도입함으로써, 탐르킨의 형식성 정리를 코이스otropic 부분다양체 설정으로 일반화한다.
• 코이스otropic 부분다양체에 적합한 다중미분 연산자 공간에 G∞-대수 구조를 수립한다.
• 이 설정에서 형식성에 대한 장애물들이 특정 코homology 군에 의해 제어되며, 모델 사례 X=ℝⁿ, C=ℝⁿ⁻ˡ에서 이들이 0이 됨을 보인다.
• 코이스otropic 부분다양체 위의 함수에 대한 파وان 대수의 자연스러운 표현을 스타곱 대수 위의 모듈러스로 변형한다.

제안 방법

• 부분다양체 C의 소멸 이상 𝕀를 사용하여, C에 적합한 다중미분 연산자 공간 𝔾_I와 그 리 대수 구조 𝔤_I를 정의한다.
• 적합한 다중벡터장 공간 𝔤_I와 적합한 다중미분 연산자 공간 𝔾_I 사이의 호크실드-코스타ント-로젠버그 유형의 동형사상을 증명한다.
• Gerstenhaber 대수 구조를 고차 호모토피 연산을 포함하는 형태로 확장하여, 𝔾_I 위에 G∞-대수 구조를 구성한다.
• 코이스otropic 조건과 이상 𝕀의 구조를 활용하여, 형식성에 대한 장애물 복합체를 헤이런스타인 유형의 복합체로 축소한다.
• 축소된 장애물 복합체의 코homology를 계산하고, X=ℝⁿ, C=ℝⁿ⁻ˡ 및 l≥2인 모델 사례에서 이들이 0이 됨을 보인다.
• 장애물의 소멸을 이용하여 형식성 준동형사상을 구성하고, 이로 인해 A[[h]]에서의 스타곱을 구성하며, 이는 𝕀[[h]]의 왼쪽 이상 구조를 유지한다.

실험 결과

연구 질문

• RQ1 코이스otropic 부분다양체 C에서 함수의 이상이 변형된 대수에서 왼쪽 이상으로 남아 있도록 보장하는 파وان 다각형 X 위의 스타곱을 구성할 수 있는가?
• RQ2 탐르킨의 형식성 정리는 어떻게 코이스otropic 부분다양체 설정으로 일반화될 수 있으며, 적합한 다중미분 연산자 공간에 어떤 구조가 나타나는가?
• RQ3 적합한 다중미분 연산자 공간 위의 G∞-대수 구조는 형식성과 변형 양자화 과정을 제어하는 데 어떤 역할을 하는가?
• RQ4 이러한 형식성 사상의 구성에 대한 장애물들은 비자명한가, 그리고 특정 기하 설정에서 이들이 계산되거나 0이 됨을 보일 수 있는가?
• RQ5 C∞(X)의 C∞(C) 위에서의 자연스러운 표현은 C∞(C)[[h]] 위의 스타곱 대수의 표현으로 변형될 수 있는가?

주요 결과

• 코이스otropic 부분다양체에 적합한 다중미분 연산자 공간 위에 G∞-대수 구조가 구성되었으며, 이는 Gerstenhaber 대수 구조를 확장한다.
• 형식성에 대한 장애물 복합체는 헤이런스타인 유형의 복합체로 축소되어 코homology 분석이 단순화된다.
• 모델 사례 X=ℝⁿ, C=ℝⁿ⁻ˡ 및 l≥2일 때, 장애물 복합체의 코homology는 0이 되며, 이는 형식성에 대한 장애물이 없다는 것을 의미한다.
• A[[h]] = C∞(X,𝕂)[[h]] 위에 𝕀[[h]]의 왼쪽 이상 구조를 유지하는 명시적 스타곱이 구성되었다. 이는 B[[h]] = C∞(C,𝕂)[[h]] 위의 잘 정의된 표현을 보장한다.
• 결과적으로 스타곱 대수 위의 B[[h]] 위의 표현은 C∞(X)의 C∞(C) 위에서의 고전적 점별 작용을 양자 모듈러스 구조로 변형한다.
• 이 구성은 코이스otropic 부분다양체의 경우에 대해 콘체비치의 형식성과 변형 양자화를 일반화하며, 모듈러스 구조를 포함하는 프레임워크로 확장한다.