D-막
D-막() 또는 디리클레 막()이란 열린 끈의 끝에 붙어 있는 막()이다. 이에 따라 열린 끈의 경계 조건이 디리클레 경계 조건을 이룬다. formula_1차원의 D-막은 Dformula_2-막이라 부른다.
워런 시걸()이 1976년에 4차원 시공을 다루기 위하여 열린 끈의 디리클레 경계 조건을 고려하였다. 그러나 열린 끈의 디리클레 경계 조건은 노이만 경계 조건과 달리 일반적으로 로런츠 대칭을 깨므로 이 논문은 오랫동안 주목받지 못했다.
1989년에 다이진()과 로버트 리(), 조지프 폴친스키, 페트르 호르자바() 가 T-이중성에 따라 노이만 경계 조건과 디리클레 경계 조건이 (적어도 축소화한 시공에서는) 서로 동등하다는 사실을 증명하였다. 즉, 노이만 경계 조건을 가진 열린 끈을 포함한 이론은 디리클레 경계 조건도 허용해야만 한다. 같은 해에 리는 D-막이 디랙-보른-인펠트 작용을 따른다는 사실을 증명하였다.
1995년에 폴친스키는 D-막이 라몽-라몽 전하로 대전되어 있고, 또한 초대칭의 일부를 보존하여 (BPS) 안정하다는 사실을 보였다. 이 사실은 제2차 끈이론 혁명의 계기가 되어 홀로그래피 원리나 M이론의 이중성을 이끌었다.
D-막은 시공의 차원에 따라 0차원의 D(−1)-막 (또는 D-순간자)부터 (초끈 이론의 경우) 10차원의 D9-막까지가 있다. (보손 끈 이론에서는 물론 D25-막까지 가능하다.)
D-막은 근본적으로 난부-고토 작용을 일반화한 디랙 작용을 따른다. 일반적으로, D-막은 게이지 전하를 띨 수 있다. 예를 들어 끈 이론에서의 라몽-라몽 p-형식과 딜라톤, 중력자와 상호작용한다. 이를 디랙-보른-인펠트 작용으로 나타낼 수 있다. 점입자 (0-막)가 1-형식의 게이지 장과 상호작용하듯, Dp-막은 (p+1)-형식 라몽-라몽 게이지 장과 상호작용한다. 이를 미분형식 전기역학이라고 한다.
D-막들은 일반적으로 불안정하다. 그러나 끈 이론이 라몽-라몽 장을 포함하고, D-막이 해당하는 라몽-라몽 전하를 가질 경우 안정되게 된다. 이는 초대칭의 깨짐으로도 이해할 수 있는데, 이러한 경우 D-막은 존재하는 초대칭의 절반만을 깨게 되므로, 남은 초대칭에 의하여 안정되게 된다. 이러한 상태를 BPS 상태라고 한다. IIA종 이론에서는 홀수 차수의 라몽-라몽 장이 존재하므로, 짝수 차원의 D-막(D0, D2, D4, D6, D8)이 안정하다. IIB종 이론에서는 짝수 차수의 라몽-라몽 장이 존재하므로, 홀수 차수의 D-막(D(−1), D1, D3, D5, D7, D9)이 안정하다. I종 이론은 IIB종 이론에 오리엔티폴드를 가하여 얻을 수 있는데, 이 경우 D1, D5, D9-막이 안정하다.
D-막은 열린 끈과 상호작용한다. D-막에 붙어 있는 열린 끈의 무질량 진동 모드의 일부는 D-막 위의 게이지 장을 나타내고, 나머지 무질량 모드는 D-막의 움직임을 나타낸다. 이에 따라서 D-막이 고정되지 않고, 동적인 개체라는 사실을 알 수 있다.
Dformula_2-막의 장력 formula_4는 D-막의 에너지 밀도를 나타내는 상수다. 정확히 말하면, D-막의 에너지 밀도 formula_5는 다음과 같다.
여기서 formula_7는 끈 결합 상수이다. 이는 다음과 같이 유도할 수 있다. 반지름 formula_8의 축소화된 방향에 감긴 Dformula_2-막을 생각하자. 그렇다면 D-막의 나머지 9차원에서 에너지 밀도는 다음과 같다.
T-이중성에 의하여, 이는 크기가 formula_11로 축소화된 공간에 존재하는, 감기지 않은 Dformula_12-막과 동등하다. 이 막의 에너지 밀도는
가 된다. 여기서, formula_14는 T-이중 이론의 결합 상수로, 다음과 같다.
따라서,
임을 알 수 있다. 즉,
이다.
formula_18는 보손 끈 이론에서는 다음과 같다.
여기서 formula_20는 끈의 아인슈타인-힐베르트 작용에 나타나는 상수로, 다음과 같다.
초끈의 경우에는 다음과 같다.
D-막의 장력들은 M이론을 통해서도 설명할 수 있다.
D-막들은 시공간의 위상 K이론으로 분류된다.
예를 들어, 평탄한 10차원 시공간 formula_23 위에 존재하는 IIB종 초끈 이론의 D"p"-막들은 컴팩트 지지 K군
이다. 따라서 formula_25가 존재한다. IIA종 초끈 이론은 반면
에 의하여 분류된다. 따라서, formula_27이 존재한다.
시공간이 formula_28의 꼴이고, formula_29이 formula_30차원 콤팩트 공간이라고 하자. 그렇다면 D-막은 상대 K군
에 의하여 주어진다. 예를 들어, formula_32일 경우,
이다. 여기서 formula_34은 formula_35에 감긴 D-막들을, formula_36는 감기지 않은 D-막들을 나타낸다.
같은 차원의 평행한 D-막들은 (BPS 성질에 의하여) 서로 인력 및 척력을 느끼지 않는다. 따라서 D-막들은 한 곳에 겹칠 수 있는데, 이 경우 열린 끈의 상태들에 천-페이턴 인자라는 군론적인 지수가 붙게 되며, 유효 이론에서는 이를 비가환 게이지 대칭으로 해석할 수 있다. 즉, 일반적으로 D-막들이 겹치게 되면 그 게이지 대칭이 확장되게 된다.
또한, D-막이 겹치는 경우 D-막의 위치는 더 이상 명확하지 않고, 비가환 기하학을 따르게 된다. 특히, 특별한 경우에는 D-막들은 퍼지 구를 이룰 수 있다. 이를 마이어스 효과()라고 한다.
AdS×S 꼴의 공간에서, 마찬가지로 점입자가 S 모양의 D("q"−2)-막으로 바뀌게 된다. 이를 거대 중력자()라고 하며, AdS/CFT 대응성에서 중요한 역할을 한다.
D-막들은 특수한 경우에 안정된 D-막 결합 상태()를 이룰 수 있다. 두 개의 D-막들의 배치는 일반적으로 다음과 같은 표로 나타낸다.
위 표는 D6-막과 D2-막의 배치를 나타낸다. 여기서 점(•)은 막이 해당하는 공간축 방향으로 뻗어 있지 않는다(점입자처럼 보인다)는 뜻이고, 줄표는 막이 해당하는 방향으로 뻗어 있다는 뜻이다. 예를 들어, 위 표에서 D6-막은 formula_37 방향으로, D2-막은 formula_38 방향으로 뻗어 있다.
위 표에서, 10개의 방향 가운데 4개의 방향(3,4,5,6)의 경우, 두 막 중 하나는 뻗어 있지만 다른 하나는 뻗어 있지 않다. 이 수를 여차원이라고 한다. 여차원은 T-이중성에 불변이며, 항상 짝수이다. (이는 주어진 이론에서 안정된 D-막의 차원은 항상 모두 짝수이거나 모두 홀수이기 때문이다.) 만약 여차원이 4의 배수라면 이 D-막 배열은 자동적으로 BPS가 되고, 따라서 (대부분의 경우) 안정하다. 이 경우 결합 상태는 ¼ BPS(원래 초대칭 중 ¼만 남기고 나머지 초대칭들을 깨는 상태)다. D-막이 서로 결합하지 않는 경우에는 D-막들의 여차원이 4의 배수여야만 일부 초대칭을 보존하게 된다. 예를 들어, I종 초끈 이론은 IIB종 초끈 이론에 시공간을 채우는 D9-막(과 오리엔티폴드 초평면)들을 가하여 얻는다. 이에 따라, 이 이론에서 존재할 수 있는 D-막들은 D(9−4)=D5-막과 D(9−8)=D1-막 밖에 없다.
만약 여차원이 4의 배수가 아닌 경우에는 한 막이 다른 막에 녹아 없어질 수 있다. 예를 들어, 여차원이 2인 경우, D"p"-막에 D("p"−2)-막이 녹아, U(1) 전기선속으로 대체될 수 있다. 이 경우, D"p"-막에 U(1) 전자기장이 있으면 자동적으로 D("p"−2)-막의 라몽-라몽 전하가 생기기 때문에, 총 라몽-라몽 전하는 보존된다. 이 경우에는 결합 상태는 하나의 D-막과 마찬가지로 ½BPS다. 반면, 여차원이 6인 경우, 예를 들어 D6-막에 D0-막이 붙으려고 하는 경우에는, D0-막이 녹은 상태가 모든 초대칭을 깨기 때문에 불안정하다.
또한, D1-막(D-끈)과 기본 끈(F-끈)이 결합할 수 있다. 이는 D-끈에 F-끈이 녹은 것으로 생각할 수 있다. "p"개의 F-끈과 "q"개의 D-끈이 결합한 끈을 ("p","q") 끈이라고 한다. 이 경우, "p"와 "q"는 서로소여야 한다. (만약 그렇지 않은 경우에는 "n"개의 ("p"/"n", "q"/"n")-끈으로 해체될 수 있다.) ("p","q") 끈들은 ½BPS 상태이며, 이들이 보존하는 초대칭들은 원래 D-끈과 F-끈이 보존하는 초대칭들의 선형결합이다. 이들은 IIB 초끈 이론의 PSL(2,ℤ) S-이중성에 대하여 2중항(doublet)으로 변환한다.