해결된 2D 규격 필드 이론 패밀리
이론 물리학에서, 최소 모형 또는 비라소로 최소 모형은 2차원 등각장 이론 으로, 스펙트럼은 비라소 로 대수의 최종적인 많은 환원 불가능 한 표현으로 구성 됩니다.최소 모델은 분류되고 해결되었으며 ADE [1] 분류 를 따르는 것으로 밝혀졌다. 최소 모델이라는 용어는 또한 W-대수 와 같은 비라소로 대수보다 큰 대수에 기초한 합리적인 CFT를 나타낼 수 있다.
비라소로 대수의 관련 표현 표현 최소 모형에서, 비라소 로 대수의 중심 전하가 다음과 같은 값을 취한다.
c p , q = 1 − 6 ( p − q ) 2 p q . {\displaystyle c_{p,q}=1-6{(p-q)^{2} \over pq}\ .} 여기 서 p , q { display style p , q }는 p , q 2 2 { display style p , q \ geq 2 )와 같은 공명 정수입니다.그러면 축퇴 표현의 규격 치수는 다음과 같습니다.
h r , s = ( p r − q s ) 2 − ( p − q ) 2 4 p q , 와 함께 r , s ∈ N ∗ , {\displaystyle h_{r,s}=blac {(pr-q)^{2}-(p-q)^{4pq}}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\ 그리고 그들은 신분에 복종하고
h r , s = h q − r , p − s = h r + q , s + p . \displaystyle h_{r,s}=h_{q-r,p-s}=h_{r+q,s+p}\. } 최소 모델의 스펙트럼은 축소할 수 없는 비라소로 대수의 축퇴 최저 무게 표현으로 만들어지며, 그 등각 치수는 h, s , \displaystyle h_{r,s} 형 입니다 .
1 ≤ r ≤ q − 1 , 1 ≤ s ≤ p − 1 . \displaystyle 1\leq r\leq q-1\displays,\display 1\leq s\leq p-1\.} 이러한 표현 R , s (\ display\style\mathcal {R}} _ {r,s })는 중요한 서브모듈 이 무한히 많은 Verma 모듈의 코세트입니다. p - = 1 { displaystyle p - q = 1 } 인 경우 에만 단일입니다. 주어진 중앙 전하로 1 2 ( p - 1 ) ( q - 1 ) { displaystyle { { frac { 1 } {2}} (p-1)(q-1 )}개의 구별되는 유형이 있습니다 . 이들 표현 세트 또는 그 규격 치수는 파라미터 ( p , q ) {displaystyle ( p , q ) } { displaystyle (p , q ) } { displaystyle ( q - 1 ) × ( p - 1 ) \ times ( p - 1 }의 직사각형으로 그려집니다.여기서 각 표현은 2배의 관계에 의해 표시됩니다.
R r , s = R q − r , p − s . {\displaystyle {R}_{r,s}={q-r,p-s}\ .} 퓨전 규칙 곱셈 퇴화 표현 R r , s \displaystyle {\mathcal {R }}_{r,s}} 의 퓨전 규칙은 모든 null 벡터에서 제약을 부호화합니다. 따라서 그것들은 개별 null [2] 벡터로부터 제약을 인코딩하는 단순 퇴화 표현의 융합 규칙에서 추론할 수 있다. 명시적으로 퓨전규칙은
R r 1 , s 1 × R r 2 , s 2 = ∑ r 3 = 2 r 1 − r 2 + 1 분 ( r 1 + r 2 , 2 q − r 1 − r 2 ) − 1 ∑ s 3 = 2 s 1 − s 2 + 1 분 ( s 1 + s 2 , 2 p − s 1 − s 2 ) − 1 R r 3 , s 3 , {\displaystyle {R}_{r_{1}, s_{1}}\times {mathcal {R}_{r_{2}=\sum _ {r_{3}{\overset {2} {1} +1}^{{1}\min(r_1}+{1}},{2},{2}}, {q},{1}, {2}}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}, {1}}, {1}, {1}}, {1}, {1}} 두 개씩 증가해서 계산되는 곳이죠.
분류 A 시리즈 최소 모델: 대각선 대문자 p, q 2 2 ( \ displaystyle p , geq 2)와 같은 임의의 코프라임 정수 p , q { displaystyle p , q }에 대해 스펙트럼에 Kac 테이블 내의 각 개별 표현의 복사본이1개 포함되어 있는 대각 최소 모델이 존재합니다.
S p , q A시리즈 = 1 2 ⨁ r = 1 q − 1 ⨁ s = 1 p − 1 R r , s ⊗ R ¯ r , s . ({displaystyle {S}_{p,q}^{\text{A-series}}=bigoplus_{r=1}^{q-1}\bigoplus_{s=1}^{p-1}{\mathcal {R}_{r,s}}{{mathcal {R}}}{{\}}}{{{\}}}}}}}}}}}{{{bigoplus}}}}}}}}}{bigoplus}}}, The ( p , q ) {\displaystyle (p,q)} and ( q , p ) {\displaystyle (q,p)} models are the same.
두 필드의 OPE에는 해당 표현의 퓨전 규칙에 의해 허용되는 모든 필드가 포함됩니다.
D시리즈 최소모델 중심 전하 cp , q {displaystyle c_{p,q} 의 D 시리즈 최소 모델은 p {displaystyle p} 또는 q {displaystyle q}가 짝수이고 최소 6({displaystyle 6}) 이면 존재 합니다. 대칭 p ↔ q {displaystyle p\rightarrow q} 를 사용 하여 q가 짝수라고 가정 합니다. playstyle p} 가 이상합니다.스펙트럼은
S p , q D시리즈 = q ≡ 0 모드 4 , q ≥ 8 1 2 ⨁ r = 2 1 q − 1 ⨁ s = 1 p − 1 R r , s ⊗ R ¯ r , s ⊕ 1 2 ⨁ r = 2 2 q − 2 ⨁ s = 1 p − 1 R r , s ⊗ R ¯ q − r , s , {\displaystyle {S}_{p,q}^{\text {D 시리즈}\\{underset {q\equiv 0\operatorname {mod} 4,\q\geq 8}{=}\\bigplus _{frac {1}{biglus {2}}_{q-1}_plus_plus_plus 곱하기 {{mathcal {R}}_{q-r,s}\,} S p , q D시리즈 = q ≡ 2 모드 4 , q ≥ 6 1 2 ⨁ r = 2 1 q − 1 ⨁ s = 1 p − 1 R r , s ⊗ R ¯ r , s ⊕ 1 2 ⨁ r = 2 1 q − 1 ⨁ s = 1 p − 1 R r , s ⊗ R ¯ q − r , s , {\displaystyle {S}_{p,q}^{\text{D 시리즈}\\{{underset {q\equiv 2\operatorname {mod}4,\q\geq 6}{=}\\{frac {1}{bigplus _{2}}{q-1}_plus_plus_plus_plus 곱하기 {{mathcal {R}}_{q-r,s}\,} 여기 서 r\displaystyle r의 합계는 2씩 증가합니다.모든 스펙트럼에서, 타입 R q 2, s r R 2 q 2, s { displaystyle {\frac {q} {{\frac {q } {2},s} \otimes {{\ mathcal {R}}}_{\frac {q } {2},s} d 의 표현을 제외하고, 각 표현은 1의 다중성을 가진다.다중도 2 이러한 표현은 스펙트럼 공식에서 두 가지 용어로 나타난다.
두 필드의 OPE는 대응하는 표현의 융합 규칙에 의해 허용되는 모든 필드를 포함하며 대각 도 보존을 고려 하는 필드입니다. 대각도 및 비대각도 필드의 OPE는 비대각 필드만 생성하고 같은 유형의 두 필드의 OPE는 대각 필드만 생성합니다. [3] 이 규칙에서는 표현 R q 2, s r R q q 2, s { style { mathcal { R } _ { \ frac { q } _ { \ bar \ mathcal { R } } _ { \ frac { q } { 2 } }의 복사본이 대각선으로 카운트되고 다른 복사본은 비대각선으로 카운트됩니다.
E 시리즈의 최소 모델 E 시리즈의 최소 모델에는 3가지 시리즈가 있습니다. 각 시리즈는 q ({displaystyle q}) 와 공명하는 임의 의 p({displaystyle p\geq 2)에 대해 q ({ displaystyle q\in\{12,18,30\}) 의 소정 의 값으로 존재합니다(이 는 실제로는 p({ displaystyle p\geq}) R) 표기법 을 사용 합니다. \mathcal {R} ^{2}=mathcal {R}}\otimes {\bar {\mathcal {R}}} 스펙트럼은 다음과 같습니다.
S p , 12 E시리즈 = 1 2 ⨁ s = 1 p − 1 { R 1 , s ⊕ R 7 , s 2 ⊕ R 4 , s ⊕ R 8 , s 2 ⊕ R 5 , s ⊕ R 11 , s 2 } , ({displaystyle {S}_{p,12}^{\text{E-series}}=bigoplus_{s=1}^{p-1}\left\{\left\{mathcal {R}_{1,s}\o 플러스 {mathcal {R}_7,s}\calus}\calfrac {1}) S p , 18 E시리즈 = 1 2 ⨁ s = 1 p − 1 { R 9 , s ⊕ 2 R 3 , s 2 ⊖ 4 R 3 , s 2 ⊕ ⨁ r ∈ { 1 , 5 , 7 } R r , s ⊕ R 18 − r , s 2 } , ({displaystyle {S}_{p,18}^{\text{E-series}}=bigoplus_{s=1}^{p-1}\left\{\left\{\mathcal {R}_{9,s}\oplus 2bgmathcal {R}_{3,s}\mathcal {2}_{{{{2}) 왼쪽 ^{{{{{{{{{{{2}\mathc}}}}}}\math-2}) S p , 30 E시리즈 = 1 2 ⨁ s = 1 p − 1 { ⨁ r ∈ { 1 , 11 , 19 , 29 } R r , s 2 ⊕ ⨁ r ∈ { 7 , 13 , 17 , 23 } R r , s 2 } . ({displaystyle {S}_{p,30}^{\text{E 시리즈}}=bigoplus_{s=1}^{p-1}\left\{\left\bigoplus_{r\in\in\1,11,19,29\}{\mathcal {R}_{r,s\2}^2})
예 다음 A 시리즈 [2] 최소 모델은 잘 알려진 물리적 시스템과 관련이 있습니다.
( p , q ) = ( 3 , 2 ) {displaystyle ( p,q)= (3,2)} : 일반 CFT, ( p , q ) = ( 5 , 2 ) {displaystyle (p,q )= (5,2)} : Yang-Lee 엣지 특이점, ( p , q ) = ( 4 , 3 ) {displaystyle (p,q )= (4,3)} : 중요 Ising 모델, ( p , q ) = ( 5 , 4 ) {displaystyle (p,q )= (5,4)} : 트리컬 이징 모델, ( p , q ) = ( 6 , 5 ) {displaystyle ( p,q)= (6,5 )} : 4차원 이싱 모델. 다음 D 시리즈의 최소 모델은 잘 알려진 물리적 시스템과 관련이 있습니다.
( p , q ) = ( 6 , 5 ) {displaystyle (p,q )= (6,5)} : 임계 시 3 상태 Potts 모델, ( p , q ) = ( 7 , 6 ) {displaystyle (p,q )= (7,6)} : 3가지 상태 포츠 모델. 이들 모델의 Kac 테이블과 2 q † 6 { style 2 \ leq q \ leq 6 }의 다른 Kac 테이블은 다음과 같습니다.
1 0 0 1 2 c 3 , 2 = 0 1 0 − 1 5 − 1 5 0 1 2 3 4 c 5 , 2 = − 22 5 {\displaystyle {array} {\display{array} {c ccc} 1&0\hline & 1&2\end {array} = 0\end {array} \qquad {\display {array} {ccc} 1&0&{\frac} 2 1 2 1 16 0 1 0 1 16 1 2 1 2 3 c 4 , 3 = 1 2 2 3 4 1 5 − 1 20 0 1 0 − 1 20 1 5 3 4 1 2 3 4 c 5 , 3 = − 3 5 {\displaystyle{\begin{배열}{c}{\begin{배열}{cccc}2&,{\frac{1}{2}}&{\frac{1}{16}}&0\\1&, 0&,{\frac{1}{16}}&{\frac{1}{2}}\\\hline&1&, 2&, 3\end{배열}}\\c_{4,3}={\frac{1}{2}}\end{배열}}\qquad{\begin{배열}{c}{\begin{배열}{ccccc}2&,{\frac{3}{4}}&{\frac{1}{5}}&-{\frac{1}{20}}&0\\1&, 0&-{.\frac{1}{20}}&{\frac{1}{5}}&{\frac{3}{4}}\\\hline&1&, 2&, 3&을 말한다. 4\end {array}\c_{5,3}=-{\frac {3}{5}}\end {array}} 3 3 2 3 5 1 10 0 2 7 16 3 80 3 80 7 16 1 0 1 10 3 5 3 2 1 2 3 4 c 5 , 4 = 7 10 3 5 2 10 7 9 14 1 7 − 1 14 0 2 13 16 27 112 − 5 112 − 5 112 27 112 13 16 1 0 − 1 14 1 7 9 14 10 7 5 2 1 2 3 4 5 6 c 7 , 4 = − 13 14 {\displaystyle{\begin{배열}{c}{\begin{배열}{ccccc}3&,{\frac{3}{2}}&{\frac{3}{5}}&{\frac{1}{10}}&0\\2&,{\frac{7}{16}}&{\frac{3}{80}}&{\frac{3}{80}}&{\frac{7}{16}}\\1&, 0&,{\frac{1}{10}}&{\frac{3}{5}}&{\frac{3}{2}}\\\hline&1&, 2&, 3&, 4\end{배열}}\\c_{5,4}={\frac{7}{10}}\end{배열}.}\qquad{\begin{배열}{c}{\begin{배열}{ccccccc}3&,{\frac{5}{2} }&{\frac{10}{7}}&{\frac{9}{14}}&{\frac{1}{7}}&-{\frac{1}{14}}&0\\2&,{\frac{13}{16}}&{\frac{27}{112}}&-{\frac{5}{112}}&-{\frac{5}{112}}&{\frac{27}{112}}&{\frac{13}{16}}\\1&, 0&, -{\frac{1}{14}}&{\frac{1}{7}}&{\frac{9}{14}}&{\frac{10}{7}}&{\frac{5}{2}}\\\hline&1&, 2&.앰프, 3&, 4&, 5&, 6\end{배열}}\\c_{7,4}=-{\frac{13}{14}}\end{배열}}} 4 3 13 8 2 3 1 8 0 3 7 5 21 40 1 15 1 40 2 5 2 2 5 1 40 1 15 21 40 7 5 1 0 1 8 2 3 13 8 3 1 2 3 4 5 c 6 , 5 = 4 5 4 15 4 16 7 33 28 3 7 1 28 0 3 9 5 117 140 8 35 − 3 140 3 35 11 20 2 11 20 3 35 − 3 140 8 35 117 140 9 5 1 0 1 28 3 7 33 28 16 7 15 4 1 2 3 4 5 6 c 7 , 5 = 11 35 {\displaystyle{\begin{배열}{c}{\begin{배열}{cccccc}4&, 3&,{\frac{13}{8}}&{\frac{2}{3}}&{\frac{1}{8}}&0\\3&,{\frac{7}{5}}&{\frac{21}{40}}&{\frac{1}{15}}&{\frac{1}{40}}&{\frac{2}{5}}\\2&,{\frac{2}{5}}&{\frac{1}{40}}&{\frac{1}{15}}&{\frac{21}{40}}&{\frac{7}{5}}\\1&, 0&,{\frac.{1}{8}}&{\frac{2}{3}}&{\frac{13}{8}}&3\\\hline&1&, 2&, 3&, 4&, 5\end{arr 요런 깨알 같은 상황에서}}\\c_{6,5}={\frac{4}{5}}\end{배열}}\qquad{\begin{배열}{c}{\begin{배열}{ccccccc}4&,{\frac{15}{4}}&{\frac{16}{7}}&{\frac{33}{28}}&{\frac{3}{7}}&{\frac{1}{28}}&0\\3&,{\frac{9}{5}}&{\frac{117}{140}}&{\frac{8}{35}}&-{\frac{3}{140}}&{\frac{3}{35}}&{\frac{11}{20}}\\2&,{\frac{11}{20}}&am.p/&{\frac{3}{35}}&-{\frac{3}{140}}&{\frac{8}{35}}&,{\fr ac {frac} {140}}&{\frac {9}{5}\1&0&{\frac {1}{28}}&{\frac {3}{7}}&{\frac {16}}&{\frac {4}}&{\hline & 1&2&3&}&6} 5 5 22 7 12 7 5 7 1 7 0 4 23 8 85 56 33 56 5 56 1 56 3 8 3 4 3 10 21 1 21 1 21 10 21 4 3 2 3 8 1 56 5 56 33 56 85 56 23 8 1 0 1 7 5 7 12 7 22 7 5 1 2 3 4 5 6 c 7 , 6 = 6 7 {\displaystyle{\begin{배열}{c}{\begin{배열}{ccccccc}5&, 5&,{\frac{22}{7}}&{\frac{12}{7}}&{\frac{5}{7}}&{\frac{1}{7}}&0\\4&,{\frac{23}{8}}&{\frac{85}{56}}&{\frac{33}{56}}&{\frac{5}{56}}&{\frac{1}{56}}&{\frac{3}{8}}\\3&,{\frac{4}{3}}&{\frac{10}{21}}&{\frac{1}{21}}&{\frac{1}{.21}}&{\frac{10}{21}}&{\frac{4}{3}}\\2&,{\frac{3}{8}}&,{\frac{1. }{56)&{\frac {56)}&{\frac {56)}&{\frac {8}&{\frac {23}{8}&{\frac {1}{7}&{\frac {5}&{\frac {5}&{7}&{\frac {5} 관련 등각장 이론 코제트 실현 인덱스( p , q ) {displaystyle (p,q)} 가 있는 A 시리즈의 최소 모델은 다음 WZW [2] 모델 의 코셋과 일치합니다.
S U ( 2 ) k × S U ( 2 ) 1 S U ( 2 ) k + 1 , 어디에 k = q p − q − 2 . {\displaystyle {SU(2)_{k}\times SU(2)_{k+1}}\,\,\,\,\,\,\,\time {text{where}\,\times k=sufrac {q}{p-q}-2\}. p > q { displaystyle p > q } 로 가정하면 p = q + 1 { displaystyle p = q + 1 } 즉 , 최소 모델이 유니터리일 경우에만 레벨 k 가 정수입니다.
그룹 S U ( 2 )\style SU ( 2 )\ [2] style SU ( 2 )에 근거할 필요는 없지만, WZW 모델의 코셋으로서 대각 여부에 관계없이 특정 최소 모델의 실현이 존재합니다.
일반화된 최소 모델 모든 중앙 전하 C c C {\displaystyle c\in \mathbb {C}} 에 대해 스펙트럼이 모든 퇴화 표현으로 구성된 대각선 CFT가 있습니다.
S = ⨁ r , s = 1 ∞ R r , s ⊗ R ¯ r , s . {\displaystyle {S}=\bigoplus _{r,s=1}^{\infty}{\mathcal {R}_{r,s}\otimes {\mathcal {R}_{r,s}\} 중심 전하가 c p , q(\displaystyle c_{p,q }) 인 경우 일반화된 최소 모델은 대응하는 A 시리즈 최소 [4] 모델이 됩니다. 이는 특히 Kac 테이블에 없는 퇴화 표현이 분리됨을 의미합니다.
리우빌 이론 Liouville 이론은 필드가 [4] 퇴화되면 일반화된 최소 모델로 감소하기 때문에 중심 전하가 c p , q (\displaystyle c_{p,q }) 로 전송되면 A 시리즈 최소 모델로 더욱 감소합니다.
또한, A 시리즈 최소 모델은 c → 1 {\displaystyle c\to 1) : 룽켈-와츠 [5] 이론이라는 연속 스펙트럼을 가진 대각선 CFT로서 잘 정의된 한계를 가지고 있으며, 이는 c → 1 + {\display c\to 1^{+}} [6] 일 때 리우빌 이론의 한계와 일치한다.
최소 모델 제품 미니멀 모델 [7] 두 개 제품인 미니멀 모델은 세 가지 경우가 있습니다. 스펙트럼 수준에서 관계는 다음과 같습니다.
S 2 , 5 A시리즈 ⊗ S 2 , 5 A시리즈 = S 3 , 10 D시리즈 , {{displaystyle {S}_{2,5}^{\text {A 시리즈}}^{\text {A 시리즈}}={{{3,10}^{\text {D 시리즈}}\,} S 2 , 5 A시리즈 ⊗ S 3 , 4 A시리즈 = S 5 , 12 E시리즈 , {{displaystyle {S}_{2,5}^{\text{A 시리즈}}^{\text{A 시리즈}}={cal {S}_{5,12}^{\text{E 시리즈}}\,} S 2 , 5 A시리즈 ⊗ S 2 , 7 A시리즈 = S 7 , 30 E시리즈 . ({displaystyle {S}_{2,5}^{\text{A시리즈}}^{\text{S}_{2,7}^{\text{A시리즈}}={{7,30}^{\text{E시리즈}}}\}). 최소 모델의 페르미온 확장 q 0 0 mod 4 { displaystyle q \ equiv 0 { \ bmod { 4 } 0 q 、 A 시리즈 및 D 시리즈 ( p , q ) 의 최소 모델에는 각각 페르미온 확장이 있습니다. 이 두 개의 페르미온 확장은 반정수 스핀을 가진 필드를 포함하며 패리티 시프트 [8] 연산에 의해 서로 관련됩니다.
레퍼런스 ^ A. Cappelli, J-B. Zuber, "A-D-E 적합장 이론 분류", Scholarpedia ^ a b c d P. 디 프란체스코, P. 마티외, D. Sénéchal, Conformal Field Theory , 1997, ISBN 0-387-94785-X ^ I. Runkel, "D 시리즈 Virasoro 최소 모델의 구조 상수", hep-th/9908046 ^ a b S. Ribault, "평면의 적합장 이론", arXiv:1406.4290 ^ I. Runkel, G. Watts, "최소 모델의 한계로서 c = 1인 비합리 CFT", arXiv:hep-th/0107118 ^ V. Schomerus, "리우빌 이론에서 롤링 타키온", arXiv: hep-th/0306026 ^ T. Quella, I. Runkel, G. Watts, "Conformal 결함의 반사 및 전달", arxiv:hep-th/0611296 ^ Runkel, Ingo; Watts, Gerard (2020). "Fermionic CFTs and classifying algebras". Journal of High Energy Physics . 2020 (6): 25. arXiv :2001.05055 . Bibcode :2020JHEP...06..025R . doi :10.1007/JHEP06(2020)025 . S2CID 210718696 .
이론들 모델
규칙적인. 저차원 초대칭 컨포멀 초정형 토폴로지 입자 이론
관련된