[논문 리뷰] D-branes and Azumaya/matrix noncommutative differential geometry, I: D-branes as fundamental objects in string theory and differentiable maps from Azumaya/matrix manifolds with a fundamental module to real manifolds

Chien‐Hao Liu, Shing‐Tung Yau|arXiv (Cornell University)|2014. 06. 04.

Black Holes and Theoretical Physics참고 문헌 137인용 수 10

한 줄 요약

이 논문은 기본 모듈을 지닌 아자우마야/행렬 다양체를 사용하여 끈 이론에서 D-브레인의 미분기하학적 프레임워크를 제안하며, 실수 다양체로의 $C^k$-연속 사상들을 수립한다. 이 설정에서 라그랑주, 특수 라그랑주, $J$-홀로모르픽 사상들을 정의함으로써 D-브레인을 기초 대상으로 기하학적으로 묘사할 수 있으며, 이는 노르말리티 구조를 지닌 찬-파튼 층과 스킴 이론적 변형을 통해 T-브레인 구성과 라그랑주 사이클의 변형을 포함한다.

ABSTRACT

We consider D-branes in string theory and address the issue of how to describe them mathematically as a fundamental object (as opposed to a solitonic object) of string theory in the realm in differential and symplectic geometry. The notion of continuous maps, $k$-times differentiable maps, and smooth maps from an Azumaya/matrix manifold with a fundamental module to a (commutative) real manifold $Y$ is developed. Such maps are meant to describe D-branes or matrix branes in string theory when these branes are light and soft with only small enough or even zero brane-tension. When $Y$ is a symplectic manifold (resp. a Calabi-Yau manifold; a $7$-manifold with $G_2$-holonomy; a manifold with an almost complex structure $J$), the corresponding notion of Lagrangian maps (resp. special Lagrangian maps; associative maps, coassociative maps; $J$-holomorphic maps) are introduced. Indicative examples linking to symplectic geometry and string theory are given. This provides us with a language and part of the foundation required to study themes, new or old, in symplectic geometry and string theory, including (1) $J$-holomorphic D-curves (with or without boundary), (2) quantization and dynamics of D-branes in string theory, (3) a definition of Fukaya category guided by Lagrangian maps from Azumaya manifolds with a fundamental module with a connection, (4) a theory of fundamental matrix strings or D-strings, and (5) the nature of Ramond-Ramond fields in a space-time. The current note D(11.1) is the symplectic/differential-geometric counterpart of the more algebraic-geometry-oriented first two notes D(1) ([L-Y1]) (arXiv:0709.1515 [math.AG]) and D(2) ([L-L-S-Y], with Si Li and Ruifang Song) (arXiv:0809.2121 [math.AG]) in this project.

연구 동기 및 목표

• 아자우마야/행렬 다양체를 사용한 미분기하학적 프레임워크를 개발하여 D-브레인을 단지 솔리톤 상태가 아니라 기초 대상으로 정립하는 것.
• 기본 모듈을 지닌 아자우마야 다양체에서 실수 다양체로의 미분 가능 사상(특히 $C^k$ 및 스무스 사상)을 정의하여 경량 또는 연약한 D-브레인을 모델링하는 것.
• 행렬 기하학의 맥락에서 라그랑주, 특수 라그랑주, 아소소시에이티브, 코아소소시에이티브, $J$-홀로모르픽 사상 등의 기하 개념을 도입하는 것.
• 푸카야 카테고리, 양자화된 D-브레인 역학, 기본 행렬 끈 등을 포함한 심플렉틱 기하학과 끈 이론에서의 새로운 구성 기반을 마련하는 것.
• 라몽-라몽 장과 D-브레인 구성에서 비환원적 지지(예: 노르말리티 구조)의 역할을 탐구하는 것.

제안 방법

• 기본 모듈을 지닌 아자우마야/행렬 다양체에서 실수 다양체로의 $C^k$-사상의 개념을 개발하여 미분기하학에서 스무스 사상의 일반화를 수행한다.
• 아자우마야 대수 위의 기본 모듈 개념을 도입하여 벡터 번들의 비환원적 해석으로서의 역할을 한다.
• 특수 라그랑주 사상은 아자우마야 다양체에서 칼라비-양 다양체로의 사상으로서, 비환원적 맥락에서 캘리브레이티드 조건을 만족하는 것으로 정의된다.
• 기본 모듈 위의 접속의 푸시포워드를 이용해 이미지가 비환원적일 경우에도 평탄한 접속을 정의한다.
• 환형 호모모르피즘 $C^ty({\bb C}^1) \to M_{3\times 3}(C^ty({\bb R}^1)^\bb C)$를 통한 구체적 예시를 구성하여, 노르말리티 작용을 지닌 T-브레인 구성 모델링을 수행한다.
• 특수 라그랑주 사상의 변형을 분석하여 스무스 사상이 비환원적 이미지로 분리될 수 있으며, 이때 노르말리티 필터링이 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 비환원적 미분기하학을 통해 끈 이론에서 D-브레인을 기초 대상으로 수학적으로 묘사할 수 있는 방법은 무엇인가?
• RQ2 D-브레인이 비자명한 찬-파튼 층과 함께 노르말리티 구조를 지닐 경우, 라그랑주 부분다양체의 올바른 일반화는 무엇인가?
• RQ3 라그랑주 사이클의 스킴 이론적 변형은 아자우마야 다양체와 기본 모듈을 지닌 사상으로서 실현될 수 있는가?
• RQ4 T-브레인 구성 — 즉, 노르말리티 히긴스 번들로 특징지어지는 — 것은 이 프레임워크에서 어떻게 자연스럽게 나타나는가?
• RQ5 이러한 사상 아래 모듈의 푸시포워드에서 평탄한 접속과 필터링의 역할은 무엇인가?

주요 결과

• 논문은 아자우마야 실수 선과 기본 모듈에서 $\bb C^1$으로의 $\varphi_t^{(4)}$ 가우스 스무스 사상의 가족을 구성하였으며, $t>0$일 경우 모듈이 세 개의 랭크-1 부분모듈로 분할됨을 유도한다.
• 표본 $t=0$에서 사상 $\varphi_0^{(4)}$ 는 특수 라그랑주 선 $L_{0,0}$ 위에 존재하는 다중도 3의 비환원적 이미지 $Z_0^{(4)}$ 를 유도한다.
• 푸시포워드 $\varphi_{0*}^{(4)}\cal E$ 는 $Z_0^{(4)}$ 위의 랭크-1 층이며, 평탄한 접속과 접속이 유지하는 필터링을 지닌다.
• 노르말리티 아이디얼 층 $\cal I_{L_{0,0}}$ 는 $y^2$ 에 의해 생성되며, $\cal I_{L_{0,0}}^3 = 0$ 이다. 필터링 $0 \subset \cal I^2 \cdot \varphi_*\cal E \subset \cal I \cdot \varphi_*\cal E \subset \varphi_*\cal E$ 는 접속에 의해 유지된다.
• 한계 사상 $\varphi_0^{(4)}$ 는 T-브레인 구성이 실현되며, $y^2$ 가 푸시포워드 모듈 위에서 노르말리티 연산자로 작용한다.
• 이 구성은 라그랑주 사이클의 스킴 이론적 유사 변형을 보여주며, 감소된 이미지는 그대로 유지되지만 비환원적 구조(노르말리티 클라우드)는 변형에 따라 변화한다.