[논문 리뷰] The "nonlinear pullback" of functions and a formal category extending the category of supermanifolds

Theodore Voronov|arXiv (Cornell University)|2014. 09. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 표준적인 당김을 일반화하기 위해 캐논ical 관계와 생성 함수를 사용하여 초다양체 위의 함수에 대한 비선형 당김 구성을 제안한다. 이를 통해 초다양체의 범주를 확장하는 형식적 범주를 정의하고, 마스터 해밀토니언이 캐논ical 관계로 연결되어 있을 경우, 호모토피 슈아우텐 및 파울슨 다양체 위의 함수 대수 간에 L∞-준동형사상을 유도함을 보여준다.

ABSTRACT

We introduce mappings between function spaces on smooth (super)manifolds, which are generally nonlinear and which generalize the pullbacks with respect to smooth maps. The construction uses canonical relations and generating functions. The formal category arising here is a "formal thickening" of the usual category of supermanifolds. (It is very close to the category of symplectic micromanifolds and their micromorphisms considered recently by A. Weinstein and A. Cattaneo -- B. Dherin -- A. Weinstein.) We also give a parallel construction for odd functions, based on odd symplectic geometry. As an application, we show that such a mapping gives an L∞-morphism of the algebras of functions on homotopy Schouten manifolds if the master Hamiltonians are related by a canonical relation. There is a parallel statement for homotopy Poisson manifolds. We discuss possible applications to L∞-bialgebroids.

연구 동기 및 목표

• 초다양체 위의 함수에 대한 표준 당김을 캐논ical 관계를 사용한 비선형 구성으로 일반화하는 것.
• 초다양체의 범주를 '두껍게' 하는 형식적 범주를 정의하여 그 구조를 확장하는 것.
• 홀수 함수를 위한 프레임워크를 홀수 심플렉틱 기하학을 통해 일반화하는 것.
• 비선형 당김이 호모토피 슈아우텐 및 파울슨 다양체의 함수 대수 간에 L∞-준동형사를 유도하는 조건을 확립하는 것.
• 제안된 형식론을 통해 L∞-바이알게브로이드에 대한 잠재적 응용을 탐색하는 것.

제안 방법

• 매끄러운 (초)다양체 위의 함수 공간 간 비선형 사상 정의를 위해 캐논ical 관계와 생성 함수의 사용.
• 비선형 당김을 통합함으로써 기존 초다양체의 범주를 확장하는 형식적 범주의 구축.
• 짝수 경우와 유사하게 홀수 심플렉틱 기하학을 활용해 프레임워크를 홀수 함수로 일반화하는 것.
• 비선형 당김이 함수 대수 간에 L∞-준동형사를 유도하는 조건을 규명하는 것.
• 마스터 해밀토니언이 캐논ical 관계로 연결되어 있을 때 L∞-준동형사상의 구조를 보장하는 데 핵심적인 메커니즘으로 활용.
• 호모토피 슈아우텐 및 호모토피 파울슨 다양체에 대한 처리를 평행적으로 수행하여 프레임워크의 광범위한 적용 가능성을 입증하는 것.

실험 결과

연구 질문

• RQ1 초다양체 위의 함수에 대한 표준 당김을 어떻게 비선형 구성으로 일반화할 수 있는가?
• RQ2 비선형 당김을 체계적으로 통합할 경우 어떤 범주적 구조가 도출되는가?
• RQ3 캐논ical 관계와 생성 함수는 비선형 사상의 구성에 어떻게 기여하는가?
• RQ4 비선형 당김이 호모토피 슈아우텐 다양체의 함수 대수 간에 L∞-준동형사를 유도하는 조건은 무엇인가?
• RQ5 홀수 심플렉틱 기하학을 활용해 이 프레임워크를 홀수 함수로 어떻게 확장할 수 있는가?

주요 결과

• 비선형 당김 구성은 캐논ical 관계와 생성 함수를 사용하여 표준 당김을 일반화하며, 함수 공간 간의 비선형성 가능성을 부여한다.
• 결과적으로 도출된 형식적 범주는 초다양체의 범주를 '두껍게' 하는 것으로, 심플렉틱 마이크로다양체 및 마이크로형태사상과 밀접하게 관련되어 있다.
• 호모토피 슈아우텐 다양체의 경우, 마스터 해밀토니언이 캐논ical 관계로 연결되어 있을 때 비선형 당김은 그들의 함수 대수 간에 L∞-준동형사를 유도한다.
• 호모토피 파울슨 다양체의 경우에도 유사한 결과가 성립하여, 이 프레임워크가 두 유형의 호모토피 구조에 모두 적용 가능함을 보여준다.
• 홀수 함수로의 구성은 홀수 심플렉틱 기하학을 통해 자연스럽게 확장되며, 짝수 경우와 일관성을 유지한다.
• 이 프레임워크는 함수 대수 간에 유도된 준동형사를 통해 L∞-바이알게브로이드를 연구하는 데 기초를 제공한다.