[논문 리뷰] Vector fields on mapping spaces and a converse to the AKSZ construction

Theodore Voronov|arXiv (Cornell University)|2012. 11. 27.

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

한 줄 요약

이 논문은 AKSZ 구성의 역을 제시하며, 매핑 공간 위의 오드 심플렉틱 구조와 마스터 작용이 모두 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴일 때 자연스럽게 유도된다는 것을 보여준다. 핵심 결과는 차별 벡터장 $ d(Q_1, Q_2) $ 가 기울기 또는 해밀턴일 조건을 요구할 경우, 체적과 심플렉틱 구조가 호모로지 벡터장에 대해 불변일 때, 심플렉틱 형식 $ \Omega $ 와 작용 $ S $ 를 포함한 전체 AKSZ 프레임워크가 유일하게 복원된다는 것이다.

ABSTRACT

The well-known AKSZ construction (for Alexandrov--Kontsevich--Schwarz--Zaboronsky) gives an odd symplectic structure on a space of maps together with a functional $S$ that is automatically a solution for the classical master equation $(S,S)=0$. The input data required for the AKSZ construction consist of a volume element on the source space and a symplectic structure of suitable parity on the target space, both invariant under given homological vector fields on the source and target. In this note, we show that the AKSZ setup and their main construction can be naturally recovered from the single requirement that the `difference' vector field arising on the mapping space be gradient (or Hamiltonian). This can be seen as a converse statement for that of AKSZ. We include a discussion of properties of vector fields on mapping spaces.

연구 동기 및 목표

• 단일 조건이 매핑 공간 위의 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴일 때, 전체 AKSZ 프레임워크를 복원할 수 있음을 보여주어 AKSZ 구성의 역을 수립한다.
• 매핑 공간 위의 차별 벡터장 $ d(Q_1, Q_2) $ 가 AKSZ 메커니즘의 중심 대상임을 명확히 한다.
• 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴일 것이라는 조건—즉, 기능적 $ S $ 에 의해 생성될 것이라는 조건—이 원천 체적과 목적지 심플렉틱 형식이 호모로지 벡터장에 대해 불변일 때, 자연스럽게 AKSZ 심플렉틱 형식 $ \Omega $ 와 작용 $ S $ 를 이끌어낸다.
• 모든 AKSZ 구성이 하나의 기하 원리로 통합됨을 보여주며, 그 원리는 차별 벡터장의 해밀턴성이다.

제안 방법

• 매핑 공간 $ \operatorname{Map}(M,N) $ 위의 차별 벡터장 $ d(X,Y) $ 를 $ Y \circ \varphi - d\varphi \circ X $ 로 정의하여, $ X $ 와 $ Y $ 가 $ \varphi $ 와 교환되지 않을 때의 실패 정도를 측정한다.
• 원천 $ M $ 에서의 호모로지 벡터장 $ Q_1 $ 과 목적지 $ N $ 에서의 호모로지 벡터장 $ Q_2 $ 에 이 구성 적용하여, 매핑 공간 위의 오드 심플렉틱 구조에 대해 $ d(Q_1, Q_2) $ 가 해밀턴일 것임을 요구한다.
• 해밀턴 조건에서 오드 심플렉틱 형식 $ \Omega[\varphi, \delta\varphi] = \int_M Dx\, \rho(x)\, \omega(\varphi(x), \delta\varphi(x)) $ 를 유도한다.
• 해밀턴 벡터장 $ d(Q_1, Q_2) $ 의 생성 기능적 $ S $ 가 AKSZ 작용 $ S[\varphi] = \int_M Dx\, \rho(x)\left( Q_1^a(x) \frac{\partial \varphi^i}{\partial x^a} \lambda_i(\varphi(x)) - H(\varphi(x)) \right) $ 와 일치함을 보인다. 여기서 $ \omega = d\lambda $ 이다.
• 체적 $ \boldsymbol{\rho} $ 가 $ Q_1 $ 에 대해 불변이고 $ \omega $ 가 $ Q_2 $ 에 대해 불변임을 이용하여 일관성과 마스터 방정식의 닫힘을 확보한다.
• 차별 벡터장 $ d(Q_1, Q_2) $ 가 호모로지적 성질을 지닌다는 사실로부터 고전적 마스터 방정식 $ (S,S) = 0 $ 이 유도됨을 보인다. 이는 $ X_S $ 가 호모로지적임과 동치이다.

실험 결과

연구 질문

• RQ1 AKSZ 구성이 다수의 입력 데이터가 아니라, 하나의 더 기본적인 기하 원리로부터 유도될 수 있는가?
• RQ2 매핑 공간 위의 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴 시스템을 생성할 수 있는 최소 조건은 무엇인가?
• RQ3 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴일 것이라는 조건이 AKSZ 심플렉틱 구조 $ \Omega $ 와 작용 $ S $ 를 유일하게 결정하는가?
• RQ4 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴일 때, 체적과 심플렉틱 형식이 호모로지 벡터장에 대해 불변임과의 관계는 무엇인가?
• RQ5 해밀턴 계수의 계수들이 장의 도함수에 의존하도록 허용함으로써 AKSZ 구성이 일반화될 수 있는가?

주요 결과

• 차별 벡터장 $ d(Q_1, Q_2) $ 가 매핑 공간 $ \operatorname{Map}(M,N) $ 에서 오드 심플렉틱 구조에 대해 해밀턴일 때, AKSZ 구성이 유일하게 복원된다.
• 매핑 공간 $ \operatorname{Map}(M,N) $ 에서의 심플렉틱 형식 $ \Omega $ 는 $ \Omega[\varphi, \delta\varphi] = \int_M Dx\, \rho(x)\, \omega(\varphi(x), \delta\varphi(x)) $ 로 유일하게 결정되며, 여기서 $ \omega $ 는 목적지의 심플렉틱 형식이고 $ \rho $ 는 원천의 불변 체적이다.
• AKSZ 작용 $ S[\varphi] $ 는 해밀턴 벡터장 $ d(Q_1, Q_2) $ 의 생성 기능적으로 나타나며, 고전적 마스터 방정식 $ (S,S) = 0 $ 을 만족한다.
• 차별 벡터장 $ d(Q_1, Q_2) $ 가 해밀턴일 것이라는 조건은 $ S $ 가 고전적 마스터 방정식의 해임을 의미하며, 이는 $ X_S $ 가 호모로지적임과 동치이다.
• 심플렉틱 구조가 $ \boldsymbol{\rho} \otimes \omega $ 로 분해되지 않는 경우에도 구성이 일반화될 수 있으며, 이는 표준 AKSZ 설정을 초월한 광범위한 적용 가능성을 시사한다.
• 이 틀은 다중값 함수적 기능적, 예를 들어 $ S $ 와 같이 $ S $ 가 전역적으로 단일값이 아니어도 그 변위가 잘 정의되는 경우를 자연스럽게 수용한다.