M이론

이론물리학에서 M이론(-理論, 영어: M-theory)은 11차원의 시공간에서 (즉 so(10,1)) 존재하는 물리 이론이다. 끈 이론과 달리, M이론은 기본적인 1차원 막을 포함하지 않으며, 대신 2차원 또는 5차원 막을 포함한다. 초끈 이론은 M이론의 축소화로 얻어질 수 있다. 아직 M이론을 일반적으로 어떻게 비섭동적으로 정의할 수 있는지는 알려져 있지 않지만, 다양한 극한을 취하면 이미 알려져 있는 이론들과 다음과 같이 연관돼 있다. M이론의 낮은 에너지 눈금의 고전적 이론은 11차원 초중력이다. M이론을 축소화하면 여러 끈 이론을 얻을 수 있다. 11차원 민코프스키 공간에서의 M이론은 행렬 이론으로 비섭동적으로 정의할 수 있다. A d S 3 × S 7 {\displaystyle AdS_{3}\times S^{7}} 또는 A d S 7 × S 3 {\displaystyle AdS_{7}\times S^{3}} 에서의 M이론은 AdS/CFT 대응성을 통해 비섭동적으로 정의할 수 있다. 또한, M이론에 존재하는 M-막(영어: M-brane)이라는 개체들과 그 다양한 성질들이 알려져 있다. M이론은 로런츠 계량 부호수를 가진 (10,1)차원 시공간에 존재하며, N = 1 {\displaystyle {\mathcal {N}}=1} 초대칭(32개의 초전하)을 갖는다. 축소화하지 않은 M이론의 낮은 에너지 유효 작용은 11차원 초중력이다. M이론에서 다루는 대상은 2차원의 막인 M2-막(M2-brane)과 5차원의 막인 M5-막(M5-brane)이다. M이론은 끈(1차원 막)을 포함하지 않으므로, 엄밀히 말해서 끈 이론이 아니다. (다만, M이론을 축소화하여 다양한 끈 이론을 얻을 수 있다.) 축소화하지 않은 M이론은 아무런 스칼라장을 포함하지 않으므로, 끈 이론과 달리 모듈라이를 갖지 않는다. 즉, 축소화하지 않고서는 어떤 결합 상수를 작게 만들어 섭동 이론을 전개할 수 없다. (물론, 축소화를 하면 축소화 공간의 모양에 따라서 모듈라이가 존재한다.) M이론을 축소화하여 ⅡA종 초끈 이론과 E8×E8 잡종 끈 이론을 얻을 수 있다. ⅡA종 초끈 이론과 E8×E8 잡종 끈 이론에서 닫힌 끈 결합 상수 g s {\displaystyle g_{\text{s}}} 가 매우 큰 극한을 취하면, 이는 축소화한 M이론에 대응되게 된다. 여기서 원래 결합 상수 g s {\displaystyle g_{\text{s}}} 는 대략 축소화한 차원의 크기에 비례하게 된다. 다른 초끈 이론들(ⅡB종, Ⅰ종, SO(32) 잡종)은 이들로부터 S-이중성과 T-이중성을 가하여 얻을 수 있다. 11차원 초중력을 원 ( S 1 {\displaystyle \mathbb {S} ^{1}} ) 위에 축소화하면 10차원 ⅡA형 초중력을 얻는다. 이에 따라, M이론을 원 위에 축소화하면 ⅡA형 초끈 이론을 얻을 것이라고 예상할 수 있다. ⅡA종 끈 이론과 M이론은 다음과 같이 대응한다. 특히, ⅡA종 초끈 이론에 존재하는 여러 안정한(BPS) 물체들은 M이론에서 M2-막과 M5-막으로 자연스럽게 설명된다. 여기서 ℓ s = α ′ {\displaystyle \ell _{\text{s}}={\sqrt {\alpha '}}} 은 끈 길이(영어: string length)이며, g s = exp ⁡ ( ⟨ Φ ⟩ ) {\displaystyle g_{\text{s}}=\exp(\langle \Phi \rangle )} 는 닫힌 끈 결합 상수다. 위 표에서, 끈 이론에서의 장력들은 끈 틀(영어: string frame)의 계량 텐서를 사용한다. 즉, 끈 틀로 계산한 단위 초부피당 작용이다. 여기서, D6-막에 해당하는 ‘칼루차-클라인 자기 홀극’이란 다음과 같다. M이론을 R 1 , 6 × R 3 × S 1 {\displaystyle \mathbb {R} ^{1,6}\times \mathbb {R} ^{3}\times \mathbb {S} ^{1}} 위에 축소화할 때, R 3 {\displaystyle \mathbb {R} ^{3}} 의 등각 무한인 S 2 {\displaystyle \mathbb {S} ^{2}} 위에서 S 1 {\displaystyle \mathbb {S} ^{1}} 이 자명하지 않은 원다발을 이룬다고 하자. 이러한 원다발은 천 특성류의 적분인 정수에 따라서 분류되며, 이는 D6-막의 수와 같다. (하나의 D6-막이 존재할 때, 이는 토브-너트 공간에 해당한다. 일반적으로, 이러한 꼴의 공간은 점근 국소 평탄 공간이라고 한다.) D8-막의 해석은 다음과 같다. D8-막은 여차원이 1인데, 이는 D9-막에 T-이중성을 가하여 얻을 수 있다. ⅡB종 초끈 이론에는 D9-막을 임의로 추가할 수 없으며, 가능한 경우는 (O9-평면과 함께) 32개의 ½ D9-막을 갖는 Ⅰ종 초끈 이론이다. 이에 T-이중성을 가하면, Ⅰ′ 초끈 이론을 얻는다. 이는 선분 위에 ⅡA를 축소화한 것으로, 선분의 양끝(O8-평면)에 각각 16개의 ½ D8-막이 존재한다 (즉, SO ⁡ ( 16 ) 2 {\displaystyle \operatorname {SO} (16)^{2}} 게이지 대칭을 갖는다). 이는 M이론을 원기둥 S 1 × I {\displaystyle \mathbb {S} ^{1}\times \mathbb {I} } 위에 축소화한 것에 해당하며, 이때 D8-막 + O8-평면 위에 존재하는 SO(16) 양-밀스 이론은 M-이론의 경계 9-막에 존재하는 E₈ 양-밀스 이론의 게이지 군이 부분군 SO ⁡ ( 16 ) ≤ E 8 {\displaystyle \operatorname {SO} (16)\leq \operatorname {E} _{8}} 으로 깨진 것이다. M이론을 선분 ( S 1 / Z 2 {\displaystyle \mathbb {S} ^{1}/\mathbb {Z} _{2}} ) 위에 축소화하면 E8×E8 잡종 끈 이론을 얻는다. 이는 T-이중성과 S-이중성을 사용하여 다음과 같이 해석할 수 있다. E8×E8 잡종 ⇔ (T-이중성) SO(32) 잡종 ⇔ (S-이중성) Ⅰ종 ⇐ (오리엔티폴드) ⅡB종 ⇔ (T-이중성) IIA종 ⇐ (축소화) M이론 따라서, E8×E8 잡종 끈 이론은 (T-이중 변환을 짝수번 가하였으므로) M이론을 축소화하여 얻을 수 있음을 알 수 있다. Z 2 {\displaystyle \mathbb {Z} _{2}} 오비폴드는 Ⅰ종 끈 이론을 얻기 위하여 가한 오리엔티폴드 사영에 의한 것이다. 즉, Ⅰ종 끈 이론의 T-이중 이론(Ⅰ′종 이론)은 ⅡA종 이론을 S 1 / Z 2 {\displaystyle \mathbb {S} ^{1}/\mathbb {Z} _{2}} 위에 축소화한 이론이기 때문이다. 오비폴드에 의하여, 선분 S 1 / Z 2 {\displaystyle \mathbb {S} ^{1}/\mathbb {Z} _{2}} 의 양끝에는 세계끝 9-막(end-of-the-world 9-brane)이 존재하고, 각각 E8 게이지 전하를 가진다. 이 축소화는 페트르 호르자바(체코어: Petr Hořava)와 에드워드 위튼이 1996년 발견하였다. 따라서 이를 호르자바-위튼 이론(Hořava–Witten theory)라고도 하고, 세계끈 9-막을 호르자바-위튼 벽(Hořava–Witten domain wall)이라고 한다. 이 경우, 11차원 초중력을 선분 위에 축소화하려면, 변칙을 피하기 위하여 선분의 양끝에 각각 E8 양-밀스 이론이 존재하여야 한다. M2-막은 BPS이려면 오비폴드의 양끝에 붙어 있어야 한다. 이에 따라서, 이는 10차원에서 1차원 막을 이룬다.:§3 M5-막은 오비폴드 양끝에 붙어 있으면 BPS일 수 없다.:§4 따라서, 이는 10차원에서 5차원 막을 이룬다. M이론을 2차원 원환면 T 2 {\displaystyle \mathbb {T} ^{2}} 위에 축소화시키자. 원환면의 두 반지름을 R 10 {\displaystyle R_{10}} 과 R 11 {\displaystyle R_{11}} 이라고 할 때, T-이중성으로 인하여 모듈라이 공간의 모양은 다음과 같다.:Figure 1 이는 대각선을 따른 반사 ( R 10 , R 11 ) ↦ ( R 11 , R 10 ) {\displaystyle (R_{10},R_{11})\mapsto (R_{11},R_{10})} 에 대하여 불변이다. 사실, 원환면의 SL ⁡ ( 2 ; Z ) {\displaystyle \operatorname {SL} (2;\mathbb {Z} )} 사상류군이 이 모듈라이 공간 위에 작용하는데, 이는 ⅡB 끈 이론의 S-이중성에 해당한다. 마찬가지로, M이론을 ( S 1 / ( Z / 2 ) ) × S 1 {\displaystyle (\mathbb {S} ^{1}/(\mathbb {Z} /2))\times \mathbb {S} ^{1}} 위에 축소화하면, 다음과 같은 모듈라이 공간을 얻는다.:Figure 2 (여기서 선분의 길이는 π R 11 {\displaystyle \pi R_{11}} 이며, 원의 반지름은 R 10 {\displaystyle R_{10}} 이다.) 여기서 “Ⅰ′ 끈 이론”이란 ⅠA 끈 이론을 선분 위에 축소화한 것으로, Ⅰ 끈 이론에 T-이중성을 가한 것이다. 이는 게이지 군 SO(16)×SO(16)을 갖는다. R 10 , R 11 → 0 {\displaystyle R_{10},R_{11}\to 0} 극한에서는 결합 상수의 값에 따라 Spin(32)/(ℤ/2) 잡종 끈 이론 또는 Ⅰ 끈 이론을 얻는다. ⅡA종 초끈 이론에서, 0차 장세기 F 0 {\displaystyle F_{0}} 을 켜면, 유질량 ⅡA 초끈 이론(영어: massive Type ⅡA string theory) 또는 로만스 끈 이론(영어: Romans string theory)이라는 이론을 얻는다. 원 위에 축소화된 유질량 ⅡA 초끈 이론은 셰르크-슈워츠 메커니즘으로 원 위에 SL(2;ℤ) S-이중성을 사용하여 뒤틀리게 축소화된 ⅡB 초끈 이론과 T-이중성 아래 동치이다. 이는 M이론으로부터 다음과 같이 구성될 수 있다.:§2 우선, 원 위의 원환면 올다발 T 2 ↪ N 3 ↠ S 1 {\displaystyle \mathbb {T} ^{2}\hookrightarrow N_{3}\twoheadrightarrow \mathbb {S} ^{1}} 을 생각하자. 이는 원환면의 사상류군 SL ⁡ ( 2 ; Z ) {\displaystyle \operatorname {SL} (2;\mathbb {Z} )} 에 의하여 분류되는데, 여기에 T변환 T m = ( 1 m 0 1 ) {\displaystyle {\mathsf {T}}^{m}={\begin{pmatrix}1&m\\0&1\end{pmatrix}}} 을 사용하자. (이는 3차원 영다양체에 해당한다.) 이는 원의 반지름 R {\displaystyle R} 와 원환면의 넓이 A {\displaystyle A} 및 복소구조 τ {\displaystyle \tau } 에 의존하는데, τ {\displaystyle \tau } 를 고정시키고 R , A → 0 {\displaystyle R,A\to 0} 극한을 취하면 유질량 ⅡA 끈 이론을 얻는다. M이론을 K3 곡면 위에 축소화하여 7차원 이론을 얻을 수 있다. 이 경우, 이는 S-이중성 아래 3차원 원환면 위에 축소화된 잡종 끈 이론과 동치이다. 이 밖에도, M이론을 G2 홀로노미의 7차원 다양체 위에 축소화할 수 있다. 이 경우, 4차원에서 N = 1 {\displaystyle {\mathcal {N}}=1} 초대칭을 갖는 이론을 얻는다. 11차원 초중력은 오직 3차 미분형식 게이지 퍼텐셜 C 3 {\displaystyle C_{3}} 만을 포함한다. 따라서, C 3 {\displaystyle C_{3}} 에 대한 전기 홀극인 M2-막(M2-brane)과 자기 홀극인 M5-막(M5-brane)이 존재한다. 1995년 폴 킹즐리 타운젠드(영어: Paul Kingsley Townsend)가 M2-막이 ⅡA종 초끈 이론의 기본 끈과 관련되어 있다고 제안하였다. 2007년 조너선 배거(영어: Jonathan Bagger)와 닐 램버트(영어: Neil Lambert), 안드레아스 구스타브손(스웨덴어: Andreas Gustavsson)이 M2-막 세계부피 이론의 작용을 발견하였다. 이를 발견자의 머릿글자를 따 BLG 모형(BLG model)이라고 한다. 이 모형은 리 괄호를 일반화한 "3-대수" [ ⋅ , ⋅ , ⋅ ] {\displaystyle [\cdot ,\cdot ,\cdot ]} 라는 수학적 구조를 사용하는데, BLG 모형과 동등하지만 특수한 수학적 구조를 사용하지 않는 ABJM 모형 도 알려져 있다. 정적 게이지(영어: static gauge)에서, 하나의 M2-막에 존재하는 장들은 N = 8 {\displaystyle {\mathcal {N}}=8} 초등각 대칭에 따라 결정되며, 다음과 같다. 여기서 ϕ i {\displaystyle \phi ^{i}} 는 M2-막의 3차원 세계부피에 수직인 11 − 3 = 8 {\displaystyle 11-3=8} 개의 방향들과 대응한다. M2-막의 장력은 T M2 = 1 ( 2 π ) 2 ℓ p 3 {\displaystyle T_{\text{M2}}={\frac {1}{(2\pi )^{2}\ell _{\text{p}}^{3}}}} 이다. 여기서 ℓ p {\displaystyle \ell _{\text{p}}} 는 11차원 시공간의 플랑크 길이다. M5-막은 M2-막보다 덜 알려져 있다. M5-막의 세계부피 이론은 N = ( 2 , 0 ) {\displaystyle {\mathcal {N}}=(2,0)} 초대칭을 가지는 등각 장론이다. M5-막이 겹치지 않은 경우에는 그 세계부피 작용이 일려져 있지만, 여러 M5-막이 겹친 경우에는 알려져 있지 않고, 아마 국소적인 라그랑지언이 존재하지 않는 이론일 것이라 추측된다. 정적 게이지(영어: static gauge)에서, 하나의 M5-막에 존재하는 장들은 N = ( 2 , 0 ) {\displaystyle {\mathcal {N}}=(2,0)} 초등각대칭에 따라 결정되며, 다음과 같다. 여기서 ϕ i {\displaystyle \phi ^{i}} 는 M5-막의 6차원 세계부피에 수직인 11 − 6 = 5 {\displaystyle 11-6=5} 개의 방향들과 대응한다. M5-막의 장력은 다음과 같다. T M5 = 1 ( 2 π ) 5 ℓ p 6 {\displaystyle T_{\text{M5}}={\frac {1}{(2\pi )^{5}\ell _{\text{p}}^{6}}}} 이는 ⅡA종 끈 이론으로 환산하면 NS5-막의 장력과 같은데, 이는 NS5-막이 감기지 않은 M5-막이기 때문이다. M2-막의 1+1차원 경계는 M5-막에 붙어 있을 수 있다. 이는 ⅡA 끈 이론에서, D2-막(또는 기본 끈)이 D4-막에 붙어 있는 것에 해당한다. 사실, 끈 이론에서 기본 끈이 D-막에 붙어 있는 것은 사실 D-막이 깔때기 모양으로 늘어져 있는 것이라는 사실과 마찬가지로, 이는 M5-막이 깔때기 모양으로 늘어져 있는 것에 해당한다. 1990년대 초기에는 총 5개의 초끈 이론들이 알려져 있었다. 이들은 10차원에 존재하는, 끈을 포함하는 이론이며, 이들 사이에는 T-이중성과 S-이중성 등 여러 관계가 존재한다. 1995년에 에드워드 위튼은 이들 5개의 초끈 이론들을 끈을 포함하지 않고, 11차원에 존재하는 어떤 "M이론"을 통해 얻을 수 있다는 증거를 제시하였다. 즉, 5개의 초끈 이론은 하나의 M이론의 다양한 극한(모듈러스 공간의 귀퉁이)에 해당한다. 이 사건을 제2차 초끈 혁명(영어: the Second Superstring Revolution)이라고 한다. 위튼에 따르면, M이론의 ‘M’은 영어: magic 매직[*], 영어: mystery 미스터리[*], 또는 영어: membrane 멤브레인[*]의 머릿자라고 한다. 영어: membrane 멤브레인[*]은 막을 뜻하는 단어인데, 이는 M이론이 끈을 포함하지 않고, 대신 2차원 및 5차원 막을 포함하기 때문이다. 1996년에 톰 뱅크스(영어: Tom Banks)와 빌리 피스흘러르(네덜란드어: Willy Fischler), 스티븐 하트 솅커(Stephen Hart Shenker)와 레너드 서스킨드가 축소화하지 않은 M이론을 행렬 변수에 대한 양자역학의 특정한 극한으로 정의하였다. 이를 행렬 이론(M(atrix) theory)이라고 한다. 영어명 "M(atrix)"는 행렬을 뜻하는 영어: matrix 메이트릭스[*]의 머릿글자가 M이론과 같은 "M"임을 농으로 딴 것이다. 1997년에 후안 말다세나는 AdS/CFT 대응성을 발표하면서, AdS4×S7 또는 AdS7×S4에 축소화한 M이론을, 겹친 M2-막 또는 M5-막의 세계부피 이론으로 비섭동적으로 정의할 수 있음을 보였다. 그러나 보다 더 잘 알려진 D3-막의 경우와 달리 M-막의 세계부피 이론은 오랫동안 알려지지 않았다. M2-막의 세계부피 이론은 2008년에 발견되었으나, 아직 M5-막의 세계부피 이론은 알려지지 않고 있다. 끈 이론 시공간 양자장론 일반상대성이론 AdS/CFT 대응성 AdS/CFT 대응성(총론) 축소화 칼라비-야우 다양체 김낙우; 이기명; 이상민 (2008년 9월). “M 이론” (PDF). 《물리학과 첨단기술》 17 (9): 25–27. 2016년 3월 5일에 원본 문서 (PDF)에서 보존된 문서. 2013년 2월 9일에 확인함.  그린, 브라이언 (2002). 《엘러건트 유니버스》. 박병철 역. 승산. ISBN 9788988907283.  원서: Greene, Brian (2003). 《The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory》 (영어) 2판. W.W. Norton & Company. ISBN 0-393-05858-1.  CS1 관리 - 추가 문구 (링크) Becker, Katrin; Becker, Melanie; Schwarz, John Henry (2006년 12월). 《String Theory and M-Theory: A Modern Introduction》 (영어). Cambridge University Press. Bibcode:2007stmt.book.....B. doi:10.2277/0511254865. ISBN 978-0511254864. 2015년 1월 18일에 원본 문서에서 보존된 문서. 2013년 2월 9일에 확인함.  Nicolai, Hermann (1999년 12월). “On M-theory”. 《Journal of Astrophysics and Astronomy》 20 (3–4): 149–164. arXiv:hep-th/9801090. Bibcode:1999JApA...20..149N. doi:10.1007/BF02702349.  Li, Miao (1998). “Introduction to M theory”. arXiv:hep-th/9811019. Bibcode:1998hep.th...11019L.  Duff, Michael J. (1996년 12월 30일). “M-theory (the theory formerly known as strings)”. 《International Journal of Modern Physics A》 (영어) 11 (32): 5623–5641. arXiv:hep-th/9608117. Bibcode:1996IJMPA..11.5623D. doi:10.1142/S0217751X96002583.  Polchinski, Joseph (2001년 12월). “M theory: uncertainty and unification” (영어). arXiv:hep-th/0209105. Bibcode:2002hep.th....9105P.  Obers, N.A.; Pioline, Boris (1999년 9월). “U-duality and M-Theory”. 《Physics Reports》 (영어) 318 (4–5): 113–225. arXiv:hep-th/9809039. Bibcode:1999PhR...318..113O. doi:10.1016/S0370-1573(99)00004-6.  Dine, Michael (1996). “String theory dualities” (영어). arXiv:hep-th/9609051. Bibcode:1996hep.th....9051D.  Hořava, Petr; Edward Witten (1996년 2월 12일). “Heterotic and Type I String Dynamics from Eleven Dimensions”. 《Nuclear Physics B》 (영어) 460 (3): 506–524. arXiv:hep-th/9510209. Bibcode:1996NuPhB.460..506H. doi:10.1016/0550-3213(95)00621-4.  더 이상 지원되지 않는 변수를 사용함 (도움말) Hořava, Petr; Edward Witten (1996년 9월 9일). “Eleven-dimensional supergravity on a manifold with boundary”. 《Nuclear Physics B》 (영어) 475 (1–2): 94–114. arXiv:hep-th/9603142. Bibcode:1996NuPhB.475...94H. doi:10.1016/0550-3213(96)00308-2.  더 이상 지원되지 않는 변수를 사용함 (도움말) Lalak, Zygmunt; Lukas, André; Ovrut, Burt A. (1997). “Soliton solutions of M–theory on an orbifold”. 《Physical Review B》 (영어). arXiv:hep-th/9709214. doi:10.1016/S0370-2693(98)00091-4.  Hull, C. “Massive string theories from M-theory and F-theory” (영어). arXiv:hep-th/9811021.  “Massive ⅡA string theory and matrix theory compactification” (영어). arXiv:hep-th/0303173.  Townsend, Peter (1995). “String–membrane duality in seven dimensions” (영어). arXiv:hep-th/9504095.  Behrndt, K.; Bergshoeff, E.; Roest, D.; Sundell, P. (2001). “Massive dualities in six dimensions” (영어). arXiv:hep-th/0112071.  Townsend, P. K. (1995년 5월 11일). “The eleven-dimensional supermembrane revisited”. 《Physics Letters B》 (영어) 350 (2): 184–188. arXiv:hep-th/9501068. Bibcode:1995PhLB..350..184T. doi:10.1016/0370-2693(95)00397-4. ISSN 0370-2693.  Bagger, J.; N. Lambert (2007년 2월). “Modeling multiple M2’s”. 《Phys. Rev. D》 (영어) 75 (4): 5020–5026. arXiv:hep-th/0611108. Bibcode:2007PhRvD..75d5020B. doi:10.1103/PhysRevD.75.045020.  더 이상 지원되지 않는 변수를 사용함 (도움말) Gustavsson, A. (2009). “Algebraic structures on parallel M2-branes”. 《Nuclear Physics B》 (영어) 811 (1–2): 66–76. arXiv:0709.1260. Bibcode:2009NuPhB.811...66G. doi:10.1016/j.nuclphysb.2008.11.014.  Schnabel, Jim (2012년 2월). “Can you wrap your head around M2-branes?”. 《Arts and Sciences: The Online Magazine of Johns Hopkins》 (영어).  Bagger, Jonathan; Neil Lambert, Sunil Mukhi, Constantinos Papageorgakis. “Multiple membranes in M-theory”. arXiv:1203.3546. Bibcode:2012arXiv1203.3546B.  더 이상 지원되지 않는 변수를 사용함 (도움말) Aharony, Ofer; Bergman, Oren; Jafferis, Daniel Louis; Maldacena, Juan (2008년 10월 23일). “𝒩=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals”. 《Journal of High Energy Physics》 2008 (10): 91. arXiv:0806.1218. Bibcode:2008JHEP...10..091A. doi:10.1088/1126-6708/2008/10/091.  Schwarz, John Henry (1997년 5월). “The M theory five-brane”. arXiv:hep-th/9706197. Bibcode:1997hep.th....6197S.  Witten, Edward (1995년 6월 5일). “String theory dynamics in various dimensions”. 《Nuclear Physics B》 (영어) 443 (1–2): 85–126. arXiv:hep-th/9503124. Bibcode:1995NuPhB.443...85W. doi:10.1016/0550-3213(95)00158-O.  Witten, Edward (1998년 10월). “Magic, mystery, and matrix” (PDF). 《Notices of the American Mathematical Society》 (영어) 45 (9): 1124–1129.  Duff, Michael J. (1999). 〈A layman’s guide to M-theory〉. 《The Abdus Salam Memorial Meeting》 (영어). World Scientific. arXiv:hep-th/9805177. Bibcode:1999asmm.conf..184D. ISBN 978-9810236199.  Duff, Michael J. (1998년 2월). “The theory formerly known as strings” (PDF). 《Scientific American》 (영어) 278 (2): 64–69. Bibcode:1998SciAm.278b..64D. doi:10.1038/scientificamerican0298-64. ISSN 0036-8733.  Banks, T.; W. Fischler, S.H. Shenker, L. Susskind (1997년 4월). “M Theory As A Matrix Model: A Conjecture”. 《Physical Review D》 55: 5112–5128. arXiv:hep-th/9610043. Bibcode:1997PhRvD..55.5112B. doi:10.1103/PhysRevD.55.5112.  더 이상 지원되지 않는 변수를 사용함 (도움말) “M-theory”. 《nLab》 (영어).  “M-theory on G2-manifolds”. 《nLab》 (영어).