[논문 리뷰] Differential Poisson Sigma Models with Extended Supersymmetry

Cesar Arias, Per Sundell외 1명|arXiv (Cornell University)|2016. 07. 04.

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

한 줄 요약

이 논문은 미분 푸아송 다양체 위의 유도된 $\mathcal{N}=1$ 초대칭 푸아송 시그마 모형이 이중 등수 슈퍼다양체 $T[0,1]M$ 위의 더 넓은 범주인 유도된 푸아송 시그마 모형의 특수한 경우임을 보여준다. 여기서 $\mathcal{N}=1$ 초대칭은 확장된 미분 푸아송 괄호와 드 라무 미분의 호환성에서 기인한다. 주요 기여는 $T^{\bullet}[1,0](T[0,1]M)$ 위에서 $\mathcal{Q}$-정확한 캐노니컬 해밀토니안 작용을 구성한 것으로, 이는 $M$ 위의 칼링 벡터장에서 유도되는 $(0,-1)$-등수 슈퍼벡터장이 새로운 확장 초대칭을 만들어내는 데 기인한다.

ABSTRACT

The induced two-dimensional topological N=1 supersymmetric sigma model on a differential Poisson manifold M presented in arXiv:1503.05625 is shown to be a special case of the induced Poisson sigma model on the bi-graded supermanifold T[0,1]M. The bi-degree comprises the standard N-valued target space degree, corresponding to the form degree on the worldsheet, and an additional Z-valued fermion number, corresponding to the degree in the differential graded algebra of forms on M. The N=1 supersymmetry stems from the compatibility between the (extended) differential Poisson bracket and the de Rham differential on M. The latter is mapped to a nilpotent vector field Q of bi-degree (0,1) on T*[1,0](T[0,1]M), and the covariant Hamiltonian action is Q-exact. New extended supersymmetries arise as inner derivatives along special bosonic Killing vectors on M that induce Killing supervector fields of bi-degree (0,-1) on T*[1,0](T[0,1]M).

연구 동기 및 목표

• 미분 푸아송 다양체 위의 $\nmathcal{N}=1$ 초대칭 푸아송 시그마 모형이 이중 등수 슈퍼다양체 위의 더 일반적인 유도된 푸아송 시그마 모형의 특수한 경우임을 보이는 것.
• 확장된 미분 푸아송 괄호와 $M$ 위의 드 라무 미분 간의 호환성에 기반하여 $\nmathcal{N}=1$ 초대칭의 기원을 명확히 하는 것.
• $T^{\bullet}[1,0](T[0,1]M)$ 위에서 $\nmathcal{Q}$-정확한 캐노니컬 해밀토니안 작용을 구성하는 것. 여기서 $\nmathcal{Q}$는 이중 등수 $(0,1)$인 영항성 벡터장이다.
• 보손 칼링 벡터장이 유도하는 $(0,-1)$-등수 슈퍼벡터장에 의해 유도된 내부 미분을 통한 새로운 확장 초대칭을 식별하는 것.
• $\nmathcal{Q}$-연산자의 국소 피카르 정리와 캐노니컬 국소 코hom로 모델의 코homological 구조를 확립하는 것.

제안 방법

• 모델은 타겟 공간의 형식이 형식 차수와 페르미온 수를 조합한 계량 구조를 통해 함수로 매핑되는 이중 등수 슈퍼다양체 $T[0,1]M$ 위에 수립된다.
• 미분 형식의 대수에서 $M$ 위의 확장된 미분 푸아송 괄호를 정의하며, 드 라무 미분과 호환되며 $\nmathcal{N}=1$ 초대칭을 유도한다.
• $T^{\bullet}[1,0](T[0,1]M)$ 위에서 캐노니컬 해밀토니안 작용을 구성하고, 이 작용이 $\nmathcal{Q}$-정확함을 보이며, $\nmathcal{Q}$는 이중 등수 $(0,1)$인 영항성 벡터장이다.
• 국소 좌표를 사용하여 작용과 초대칭 변환을 표현하며, $\nmathcal{Q}$-닫힘 및 $\nmathcal{Q}$-정확한 형식에 대한 명시적 의존성을 포함한다.
• 칼링 벡터장이 유도하는 $(0,-1)$-등수 슈퍼벡터장에 기반한 새로운 초대칭을 내부 미분을 통해 유도한다.
• 국소 피카르 정리를 통한 코homological 분석을 통해 $\nmathcal{Q}$-닫힘 형식이 $\nmathcal{Q}$-정확함을 보이며, $\noverline{\nmathcal{Q}}\nmathcal{G}=0$ 조건을 만족하는 게이지 선택이 가능함을 보인다.

실험 결과

연구 질문

• RQ1 미분 푸아송 다양체 위의 $\nmathcal{N}=1$ 초대칭 푸아송 시그마 모형은 이중 등수 슈퍼다양체 위의 더 넓은 범주인 유도된 푸아송 시그마 모형과 어떻게 관련이 있는가?
• RQ2 이 맥락에서 $\nmathcal{N}=1$ 초대칭의 기하학적 및 대수적 기원은 무엇인가?
• RQ3 $T^{\bullet}[1,0](T[0,1]M)$ 위에서의 캐노니컬 해밀토니안 작용은 어떻게 구성되며, 왜 $\nmathcal{Q}$-정확한가?
• RQ4 칼링 벡터장은 이 모형에서 새로운 확장 초대칭을 어떻게 생성하는가?
• RQ5 국소 피카르 정리를 통한 모델의 코homological 구조는 $\nmathcal{Q}$-닫힘 형식이 $\nmathcal{Q}$-정확함을 어떻게 보장하는가?

주요 결과

• 미분 푸아송 다양체 위의 $\nmathcal{N}=1$ 초대칭 푸아송 시그마 모형은 이중 등수 슈퍼다양체 프레임워크에 의해 완전히 캡슐화된 $T[0,1]M$ 위의 유도된 푸아송 시그마 모형의 특수한 경우로 밝혀졌다.
• $\nmathcal{N}=1$ 초대칭은 $M$ 위의 확장된 미분 푸아송 괄호와 드 라무 미분 간의 호환성에서 기인하며, 이는 $T^{\bullet}[1,0](T[0,1]M)$ 위의 이중 등수 $(0,1)$인 영항성 벡터장 $\nmathcal{Q}$를 유도한다.
• $T^{\bullet}[1,0](T[0,1]M)$ 위에서의 캐노니컬 해밀토니안 작용은 $\nmathcal{Q}$-정확함이 증명되었으며, 이는 BRST 유사 불변성과 일관된 양자화를 보장한다.
• 새로운 확장 초대칭은 $M$ 위의 보손 칼링 벡터장에 沿한 내부 미분을 통해 생성되며, 이는 위상 공간 슈퍼다양체 위의 $(0,-1)$-등수 슈퍼벡터장을 유도한다.
• $\nmathcal{Q}$-닫힘 형식 $\nmathcal{F}$는 항상 $\nmathcal{Q}$-정확함을 보이며, $\noverline{\nmathcal{Q}}\nmathcal{G}=0$ 조건을 만족하는 게이지 선택이 가능함을 보여주며, 이는 물리적 상태가 $\nmathcal{Q}$-코homology에 의해 결정됨을 의미한다.
• $\nmathcal{Q}$-닫힘 형식의 일반해 $\nmathcal{F}_{(q)}$는 $\nmathcal{Q}\nmathcal{G}_{(q)}$로 표현되며, $\noverline{\nmathcal{Q}}\nmathcal{G}_{(q)}=0$ 조건을 만족함을 보여주며, 이는 코homological 구조의 일관성을 확인한다.