Articulo de referencia

Modelo mínimo (física)

En física teórica , un modelo mínimo o modelo mínimo de Virasoro es una teoría de campos conformes bidimensional cuyo espectro se construye a partir de un número finito de repre...

En física teórica , un modelo mínimo o modelo mínimo de Virasoro es una teoría de campos conformes bidimensional cuyo espectro se construye a partir de un número finito de representaciones irreducibles del álgebra de Virasoro . Los modelos mínimos se han clasificado, dando lugar a una clasificación ADE . [ 1 ] La mayoría de los modelos mínimos se han resuelto, es decir, sus constantes de estructura de 3 puntos se han calculado analíticamente. El término modelo mínimo también puede referirse a una CFT racional basada en un álgebra que es mayor que el álgebra de Virasoro, como un álgebra W.

Representaciones relevantes del álgebra de Virasoro

Representaciones

En los modelos mínimos, la carga central del álgebra de Virasoro toma valores del tipo

dopag,q=16(pagq)2pagq .{\displaystyle c_{p,q}=1-6{(p-q)^{2} \over pq}\ .}

dóndepag,q{\displaystyle p,q}son enteros coprimos tales quepag,q2{\displaystyle p,q\geq 2}Entonces, las dimensiones conformes de las representaciones degeneradas son

hr,s=(pagrqs)2(pagq)24pagq ,con r,snorte ,{\displaystyle h_{r,s}={\frac {(pr-qs)^{2}-(p-q)^{2}}{4pq}}\ ,\quad {\text{with}}\ r,s\in \mathbb {N} ^{*}\ ,}

y obedecen las identidades

hr,s=hqr,pags=hr+q,s+pag .{\displaystyle h_{r,s}=h_{q-r,p-s}=h_{r+q,s+p}\ .}

Los espectros de los modelos mínimos están formados por representaciones irreducibles y degeneradas de peso mínimo del álgebra de Virasoro, cuyas dimensiones conformes son del tipohr,s{\displaystyle h_{r,s}}con

1rq1,1spag1 .{\displaystyle 1\leq r\leq q-1\quad ,\quad 1\leq s\leq p-1\ .}

Tal representaciónRr,s{\displaystyle {\mathcal {R}}_{r,s}}es una clase lateral de un módulo de Verma por sus infinitos submódulos no triviales. Es unitario si y solo si|pagq|=1{\displaystyle |p-q|=1}. A una carga central determinada, hay12(pag1)(q1){\displaystyle {\frac {1}{2}}(p-1)(q-1)}distintas representaciones de este tipo. El conjunto de estas representaciones, o de sus dimensiones conformes, se denomina tabla de Kac con parámetros(pag,q){\displaystyle (p,q)}La tabla de Kac se suele dibujar como un rectángulo de tamaño(q1)×(pag1){\displaystyle (q-1)\times (p-1)}, donde cada representación aparece dos veces debido a la relación

Rr,s=Rqr,pags .{\displaystyle {\mathcal {R}}_{r,s}={\mathcal {R}}_{q-r,p-s}\ .}

Reglas de fusión

Las reglas de fusión de las representaciones degeneradas múltiplesRr,s{\displaystyle {\mathcal {R}}_{r,s}}codifican restricciones de todos sus vectores nulos. Por lo tanto, pueden deducirse de las reglas de fusión de representaciones simplemente degeneradas, que codifican restricciones de vectores nulos individuales. [ 2 ] Explícitamente, las reglas de fusión son

Rr1,s1×Rr2,s2=r3=2|r1r2|+1min(r1+r2,2qr1r2)1 s3=2|s1s2|+1min(s1+s2,2pags1s2)1Rr3,s3 ,{\displaystyle {\mathcal {R}}_{r_{1},s_{1}}\times {\mathcal {R}}_{r_{2},s_{2}}=\sum _{r_{3}{\overset {2}{=}}|r_{1}-r_{2}|+1}^{\min(r_{1}+r_{2},2q-r_{1}-r_{2})-1}\ \sum _{s_{3}{\overset {2}{=}}|s_{1}-s_{2}|+1}^{\min(s_{1}+s_{2},2p-s_{1}-s_{2})-1}{\mathcal {R}}_{r_{3},s_{3}}\ ,}

donde las sumas se realizan en incrementos de dos.

Clasificación y espectros

Los modelos mínimos son las únicas CFT bidimensionales consistentes en cualquier superficie de Riemann, y se construyen a partir de un número finito de representaciones del álgebra de Virasoro. [ 2 ] Existen muchas más CFT racionales consistentes únicamente en la esfera: estas CFT son submodelos de los modelos mínimos, construidas a partir de subconjuntos de la tabla de Kac que son cerrados bajo fusión. Dichos submodelos también pueden clasificarse. [ 3 ]

Modelos minimalistas de la serie A: el caso diagonal

Para cualquier número entero coprimopag,q{\displaystyle p,q}de tal manera quepag,q2{\displaystyle p,q\geq 2}Existe un modelo mínimo diagonal cuyo espectro contiene una copia de cada representación distinta en la tabla de Kac:

Spag,qSerie A=12r=1q1s=1pag1Rr,sR¯r,s .{\displaystyle {\mathcal {S}}_{p,q}^{\text{A-series}}={\frac {1}{2}}\bigoplus _{r=1}^{q-1}\bigoplus _{s=1}^{p-1}{\mathcal {R}}_{r,s}\otimes {\bar {\mathcal {R}}}_{r,s}\ .}

El(pag,q){\displaystyle (p,q)}y(q,pag){\displaystyle (q,p)}Los modelos son los mismos.

La expansión de operadores de dos campos involucra todos los campos permitidos por las reglas de fusión de las representaciones correspondientes.

Modelos minimalistas de la serie D

Un modelo mínimo de la serie D con la carga centraldopag,q{\displaystyle c_{p,q}}existe sipag{\displaystyle p}oq{\displaystyle q}es uniforme y al menos6{\displaystyle 6}. Utilizando la simetríapagq{\displaystyle p\leftrightarrow q} asumimos queq{\displaystyle q}es par, entoncespag{\displaystyle p}es extraño. El espectro es

Spag,qSerie D  =q0mod4, q8  12r=21q1s=1pag1Rr,sR¯r,s12r=22q2s=1pag1Rr,sR¯qr,s ,{\displaystyle {\mathcal {S}}_{p,q}^{\text{D-series}}\ \ {\underset {q\equiv 0\operatorname {mod} 4,\ q\geq 8}{=}}\ \ {\frac {1}{2}}\bigoplus _{r{\overset {2}{=}}1}^{q-1}\bigoplus _{s=1}^{p-1}{\mathcal {R}}_{r,s}\otimes {\bar {\mathcal {R}}}_{r,s}\oplus {\frac {1}{2}}\bigoplus _{r{\overset {2}{=}}2}^{q-2}\bigoplus _{s=1}^{p-1}{\mathcal {R}}_{r,s}\otimes {\bar {\mathcal {R}}}_{q-r,s}\ ,}
Spag,qSerie D  =q2mod4, q6  12r=21q1s=1pag1Rr,sR¯r,s12r=21q1s=1pag1Rr,sR¯qr,s ,{\displaystyle {\mathcal {S}}_{p,q}^{\text{D-series}}\ \ {\underset {q\equiv 2\operatorname {mod} 4,\ q\geq 6}{=}}\ \ {\frac {1}{2}}\bigoplus _{r{\overset {2}{=}}1}^{q-1}\bigoplus _{s=1}^{p-1}{\mathcal {R}}_{r,s}\otimes {\bar {\mathcal {R}}}_{r,s}\oplus {\frac {1}{2}}\bigoplus _{r{\overset {2}{=}}1}^{q-1}\bigoplus _{s=1}^{p-1}{\mathcal {R}}_{r,s}\otimes {\bar {\mathcal {R}}}_{q-r,s}\ ,}

donde las sumas sobrer{\displaystyle r}se ejecuta en incrementos de dos. En cualquier espectro dado, cada representación tiene multiplicidad uno, excepto las representaciones del tipoRq2,sR¯q2,s{\displaystyle {\mathcal {R}}_{{\frac {q}{2}},s}\otimes {\bar {\mathcal {R}}}_{{\frac {q}{2}},s}}siq2 metrood 4{\displaystyle q\equiv 2\ \mathrm {mod} \ 4}, que tienen multiplicidad dos. Estas representaciones aparecen efectivamente en ambos términos de nuestra fórmula para el espectro.

La OPE de dos campos involucra todos los campos permitidos por las reglas de fusión de las representaciones correspondientes y que respetan la conservación de la diagonalidad : la OPE de un campo diagonal y uno no diagonal produce solo campos no diagonales, y la OPE de dos campos del mismo tipo produce solo campos diagonales. [ 4 ] Para esta regla, una copia de la representaciónRq2,sR¯q2,s{\displaystyle {\mathcal {R}}_{{\frac {q}{2}},s}\otimes {\bar {\mathcal {R}}}_{{\frac {q}{2}},s}} una cuenta como diagonal y la otra como no diagonal.

Modelos minimalistas de la serie E

Existen tres series de modelos mínimos de la serie E. Cada serie existe para un valor dado deq{12,18,30},{\displaystyle q\in \{12,18,30\},}para cualquierpag2{\displaystyle p\geq 2}que es coprimo conq{\displaystyle q}. (Esto en realidad implicapag5{\displaystyle p\geq 5}.) Usando la notación|R|2=RR¯{\displaystyle |{\mathcal {R}}|^{2}={\mathcal {R}}\otimes {\bar {\mathcal {R}}}}, los espectros dicen:

Spag,12Serie E=12s=1pag1{|R1,sR7,s|2|R4,sR8,s|2|R5,sR11,s|2} ,{\displaystyle {\mathcal {S}}_{p,12}^{\text{E-series}}={\frac {1}{2}}\bigoplus _{s=1}^{p-1}\left\{\left|{\mathcal {R}}_{1,s}\oplus {\mathcal {R}}_{7,s}\right|^{2}\oplus \left|{\mathcal {R}}_{4,s}\oplus {\mathcal {R}}_{8,s}\right|^{2}\oplus \left|{\mathcal {R}}_{5,s}\oplus {\mathcal {R}}_{11,s}\right|^{2}\right\}\ ,}
Spag,18Serie E=12s=1pag1{|R9,s2R3,s|24|R3,s|2r{1,5,7}|Rr,sR18r,s|2} ,{\displaystyle {\mathcal {S}}_{p,18}^{\text{E-series}}={\frac {1}{2}}\bigoplus _{s=1}^{p-1}\left\{\left|{\mathcal {R}}_{9,s}\oplus 2{\mathcal {R}}_{3,s}\right|^{2}\ominus 4\left|{\mathcal {R}}_{3,s}\right|^{2}\oplus \bigoplus _{r\in \{1,5,7\}}\left|{\mathcal {R}}_{r,s}\oplus {\mathcal {R}}_{18-r,s}\right|^{2}\right\}\ ,}
Spag,30Serie E=12s=1pag1{|r{1,11,19,29}Rr,s|2|r{7,13,17,23}Rr,s|2} .{\displaystyle {\mathcal {S}}_{p,30}^{\text{E-series}}={\frac {1}{2}}\bigoplus _{s=1}^{p-1}\left\{\left|\bigoplus _{r\in \{1,11,19,29\}}{\mathcal {R}}_{r,s}\right|^{2}\oplus \left|\bigoplus _{r\in \{7,13,17,23\}}{\mathcal {R}}_{r,s}\right|^{2}\right\}\ .}

Ejemplos

Los siguientes modelos mínimos de la serie A están relacionados con sistemas físicos bien conocidos: [ 2 ]

  • (pag,q)=(3,2){\displaystyle (p,q)=(3,2)} : CFT trivial,
  • (pag,q)=(5,2){\displaystyle (p,q)=(5,2)} : Singularidad de borde de Yang-Lee,
  • (pag,q)=(4,3){\displaystyle (p,q)=(4,3)} : modelo crítico de Ising ,
  • (pag,q)=(5,4){\displaystyle (p,q)=(5,4)} : modelo de Ising tricrítico,
  • (pag,q)=(6,5){\displaystyle (p,q)=(6,5)} : modelo de Ising tetracrítico.

Los siguientes modelos mínimos de la serie D están relacionados con sistemas físicos bien conocidos:

  • (pag,q)=(6,5){\displaystyle (p,q)=(6,5)} : Modelo de Potts de 3 estados en criticidad,
  • (pag,q)=(7,6){\displaystyle (p,q)=(7,6)} : modelo de Potts tricrítico de 3 estados.

Las tablas de Kac de estos modelos, junto con algunas otras tablas de Kac con2q6{\displaystyle 2\leq q\leq 6}, son:

10012do3,2=010151501234do5,2=225{\displaystyle {\begin{array}{c}{\begin{array}{c|cc}1&0&0\\\hline &1&2\end{array}}\\c_{3,2}=0\end{array}}\qquad {\begin{array}{c}{\begin{array}{c|cccc}1&0&-{\frac {1}{5}}&-{\frac {1}{5}}&0\\\hline &1&2&3&4\end{array}}\\c_{5,2}=-{\frac {22}{5}}\end{array}}}
21211601011612123do4,3=122341512001012015341234do5,3=35{\displaystyle {\begin{array}{c}{\begin{array}{c|ccc}2&{\frac {1}{2}}&{\frac {1}{16}}&0\\1&0&{\frac {1}{16}}&{\frac {1}{2}}\\\hline &1&2&3\end{array}}\\c_{4,3}={\frac {1}{2}}\end{array}}\qquad {\begin{array}{c}{\begin{array}{c|cccc}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}}}
33235110027163803807161011035321234do5,4=710352107914171140213162711251125112271121316101141791410752123456do7,4=1314{\displaystyle {\begin{array}{c}{\begin{array}{c|cccc}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{array}}\\c_{5,4}={\frac {7}{10}}\end{array}}\qquad {\begin{array}{c}{\begin{array}{c|cccccc}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{array}}\\c_{7,4}=-{\frac {13}{14}}\end{array}}}
4313823180375214011514025225140115214075101823138312345do6,5=4541541673328371280395117140835314033511202112033531408351171409510128373328167154123456do7,5=1135{\displaystyle {\begin{array}{c}{\begin{array}{c|ccccc}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{array}}\\c_{6,5}={\frac {4}{5}}\end{array}}\qquad {\begin{array}{c}{\begin{array}{c|cccccc}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}}&{\frac {3}{35}}&-{\frac {3}{140}}&{\frac {8}{35}}&{\frac {117}{140}}&{\frac {9}{5}}\\1&0&{\frac {1}{28}}&{\frac {3}{7}}&{\frac {33}{28}}&{\frac {16}{7}}&{\frac {15}{4}}\\\hline &1&2&3&4&5&6\end{array}}\\c_{7,5}={\frac {11}{35}}\end{array}}}
5522712757170423885563356556156383431021121121102143238156556335685562381017571272275123456do7,6=67{\displaystyle {\begin{array}{c}{\begin{array}{c|cccccc}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 {5}{56}}&{\frac {33}{56}}&{\frac {85}{56}}&{\frac {23}{8}}\\1&0&{\frac {1}{7}}&{\frac {5}{7}}&{\frac {12}{7}}&{\frac {22}{7}}&5\\\hline &1&2&3&4&5&6\end{array}}\\c_{7,6}={\frac {6}{7}}\end{array}}}

Solución de modelos mínimos

Las constantes de estructura de 3 puntos de los modelos mínimos adoptan diferentes formas dependiendo de la serie:

realizaciones de coset

El modelo mínimo de la serie A con índices(pag,q){\displaystyle (p,q)}coincide con el siguiente conjunto lateral de modelos WZW : [ 2 ]

SU(2)k×SU(2)1SU(2)k+1 ,dóndek=qpagq2 .{\displaystyle {\frac {SU(2)_{k}\times SU(2)_{1}}{SU(2)_{k+1}}}\ ,\quad {\text{where}}\quad k={\frac {q}{p-q}}-2\ .}

Arrogantepag>q{\displaystyle p>q}, el nivelk{\displaystyle k}es entero si y solo sipag=q+1{\displaystyle p=q+1}es decir, si y solo si el modelo mínimo es unitario.

Existen otras realizaciones de ciertos modelos mínimos, diagonales o no, como clases laterales de modelos WZW, no necesariamente basadas en el grupoSU(2){\displaystyle SU(2)}. [ 2 ]

Modelos mínimos generalizados

Por cualquier cargo centraldodo{\displaystyle c\in \mathbb {C} }, existe una CFT diagonal cuyo espectro está formado por todas las representaciones degeneradas,

S=r,s=1Rr,sR¯r,s .{\displaystyle {\mathcal {S}}=\bigoplus _{r,s=1}^{\infty }{\mathcal {R}}_{r,s}\otimes {\bar {\mathcal {R}}}_{r,s}\ .}

Cuando la carga central tiende adopag,q{\displaystyle c_{p,q}}, los modelos mínimos generalizados tienden al modelo mínimo de la serie A correspondiente. [ 8 ] Esto significa en particular que las representaciones degeneradas que no están en la tabla de Kac se desacoplan.

Teoría de Liouville

Dado que la teoría de Liouville se reduce a un modelo mínimo generalizado cuando se considera que los campos son degenerados, [ 8 ] se reduce aún más a un modelo mínimo de la serie A cuando la carga central se envía adopag,q{\displaystyle c_{p,q}}.

Además, los modelos mínimos de la serie A tienen un límite bien definido comodo1{\displaystyle c\to 1}: una CFT diagonal con un espectro continuo llamada teoría de Runkel-Watts, [ 9 ] que coincide con el límite de la teoría de Liouville cuandodo1+{\displaystyle c\to 1^{+}}. [ 10 ]

Productos de modelos minimalistas

Hay tres casos de modelos mínimos que son productos de dos modelos mínimos. [ 11 ] A nivel de sus espectros, las relaciones son:

S2,5Serie AS2,5Serie A=S3,10Serie D ,{\displaystyle {\mathcal {S}}_{2,5}^{\text{A-series}}\otimes {\mathcal {S}}_{2,5}^{\text{A-series}}={\mathcal {S}}_{3,10}^{\text{D-series}}\ ,}
S2,5Serie AS3,4Serie A=S5,12Serie E ,{\displaystyle {\mathcal {S}}_{2,5}^{\text{A-series}}\otimes {\mathcal {S}}_{3,4}^{\text{A-series}}={\mathcal {S}}_{5,12}^{\text{E-series}}\ ,}
S2,5Serie AS2,7Serie A=S7,30Serie E .{\displaystyle {\mathcal {S}}_{2,5}^{\text{A-series}}\otimes {\mathcal {S}}_{2,7}^{\text{A-series}}={\mathcal {S}}_{7,30}^{\text{E-series}}\ .}

Extensiones fermiónicas de modelos mínimos

Siq0mod4{\displaystyle q\equiv 0{\bmod {4}}}, la serie A y la serie D(pag,q){\displaystyle (p,q)}Cada modelo mínimo posee una extensión fermiónica. Estas dos extensiones fermiónicas involucran campos con espines semientero y están relacionadas entre sí mediante una operación de desplazamiento de paridad. [ 12 ]

Referencias

  1. A. Cappelli, JB. Zuber, "Clasificación ADE de teorías de campos conformes", Scholarpedia
  2. 1 2 3 4 5 P. Di Francesco, P. Mathieu y D. Sénéchal, Teoría de campos conforme , 1997, ISBN 0-387-94785-X
  3. Benedetti, Valentin; Casini, Horacio; Magan, Javier M. (2024). "Reglas de selección para flujos RG de modelos mínimos". arXiv : 2412.16587 [ hep-th ].
  4. 1 2 Runkel, Ingo (2000). "Constantes estructurales para los modelos mínimos de Virasoro de la serie D" . Nuclear Physics B. 579 ( 3). Elsevier BV: 561– 589. arXiv : hep-th/9908046 . Bibcode : 2000NuPhB.579..561R . doi : 10.1016/s0550-3213(99)00707-5 . ISSN 0550-3213 . 
  5. Dotsenko, Vl.S.; Fateev, VA (1985). "Funciones de correlación de cuatro puntos y el álgebra de operadores en teorías invariantes conformes 2D con carga central C≤1". Nuclear Physics B . 251 : 691– 734. doi : 10.1016/S0550-3213(85)80004-3 .
  6. Nivesvivat, Rongvoram; Ribault, Sylvain (2025). "Reglas de fusión y constantes de estructura de modelos mínimos de la serie E" . SciPost Physics . 18 (5) 163. arXiv : 2502.14295 . Bibcode : 2025ScPP...18..163N . doi : 10.21468/SciPostPhys.18.5.163 .
  7. Ribault, Sylvain (2024). "Teorías de campos conformes exactamente solubles". arXiv : 2411.17262 [ hep-th ].
  8. 1 2 Ribault, Sylvain (2014). "Teoría de campos conformes en el plano". arXiv : 1406.4290 [ hep-th ].
  9. Runkel, Ingo; Watts, Gerard MT (2001). "Una CFT no racional con c = 1 como límite de modelos mínimos". Journal of High Energy Physics . 2001 (9): 006. arXiv : hep-th/0107118 . Bibcode : 2001JHEP...09..006R . doi : 10.1088/1126-6708/2001/09/006 .
  10. ^ Schomerus, Volker (2003). "Taquiones rodantes de la teoría de Liouville". Revista de Física de Altas Energías . 2003 (11): 043. arXiv : hep-th/0306026 . Código Bib : 2003JHEP...11..043S . doi : 10.1088/1126-6708/2003/11/043 .
  11. Quella, Thomas; Runkel, Ingo; Watts, Gérard MT (2007). "Reflexión y transmisión para defectos conformes". Journal of High Energy Physics . 2007 (4): 095. arXiv : hep-th/0611296 . Bibcode : 2007JHEP...04..095Q . doi : 10.1088/1126-6708/2007/04/095 .
  12. Runkel, Ingo; Watts, Gerard (2020). "CFT fermiónicas y álgebras de clasificación". Journal of High Energy Physics . 2020 (6): 25. arXiv : 2001.05055 . Bibcode : 2020JHEP...06..025R . doi : 10.1007/JHEP06(2020)025 . S2CID 210718696 .