| Teori dawai |
| --- |
|  |
| 
Objek fundamental |
| 
* Dawai
* Bran
* Bran-D

 |
| 
Teori perturbatif |
| 
* Bosonik
* Superstring

* Tipe I
* Tipe II (IIA / IIB)

* Heterotik (SO(32) · *E*8×*E*8)
 |
| 
Hasil non-perturbatif |
| 
* Dualitas-S
* Dualitas-T
* Dualitas-U
* Teori-M

* Korespondensi AdS/CFT
 |
| 
Fenomologi |
| 
* Fenomenologi
* Kosmologi
* Lanskap

 |
| 
Matematika |
| 
* Simetri cermin
* Monstrous moonshine

 |
| Konsep terkait
* Teori bidang konformal
* Prinsip holografik
* Teori Kaluza–Klein
* Gravitasi kuantum
* Gravitasi super
* Multiverse
* Supersimetri
* Teori segala sesuatu
* Teori dawai twistor

 |
| Pencetus
* Arkani-Hamed
* Banks
* Dijkgraaf
* Duff
* Fischler
* Gates
* Gliozzi
* Green
* Greene
* Gross
* Gubser
* Harvey
* Hořava
* Kaku
* Klebanov
* Kontsevich
* Maldacena
* Mandelstam
* Martinec
* Minwalla
* Moore
* Motl
* Nekrasov
* Neveu
* Olive
* Polchinski
* Polyakov
* Randall
* Ramond
* Rohm
* Scherk
* Schwarz
* Seiberg
* Sen
* Shenker
* Sơn
* Strominger
* Sundrum
* Susskind
* 't Hooft
* Townsend
* Vafa
* Veneziano
* E. Verlinde
* H. Verlinde
* Witten
* Yau
* Zaslow

 |
| * Sejarah
* Glosarium
 |
| * l
* b
* s
 |

Dalam matematika, **aljabar operator verteks** (**AOV**) adalah struktur aljabar yang berperan penting dalam teori medan konformal dua dimensi dan teori string. Selain aplikasi fisik, aljabar operator verteks telah terbukti berguna dalam konteks matematika murni seperti monstrous moonshine dan korespondensi geometris Langlands.

Gagasan terkait **verteks aljabar** diperkenalkan oleh Richard Borcherds pada tahun 1986, dimotivasi oleh konstruksi aljabar Lie berdimensi-tak terbatas karena Igor Frenkel. Dalam proses konstruksi ini, seseorang menggunakan Fock space yang mengakui aksi operator simpul yang dilampirkan ke vektor kisi. Borcherds merumuskan pengertian aljabar puncak dengan melakukan aksioma hubungan antara operator simpul kisi, menghasilkan struktur aljabar yang memungkinkan seseorang untuk membangun aljabar Lie baru dengan mengikuti metode Frenkel.

Gagasan aljabar operator verteks diperkenalkan sebagai modifikasi dari pengertian aljabar verteks, oleh Frenkel, James Lepowsky, dan Arne Meurman pada tahun 1988, sebagai bagian dari proyek mereka untuk membangun aljabar monster verteks. Mereka mengamati bahwa banyak aljabar puncak yang muncul di alam memiliki struktur tambahan yang berguna (suatu aksi dari aljabar Virasoro), dan memenuhi sifat terikat-di bawah sehubungan dengan energi. Termotivasi oleh pengamatan ini, mereka menambahkan tindakan Virasoro dan properti terikat di bawah sebagai aksioma.

Kami sekarang memiliki motivasi post-hoc untuk gagasan ini dari fisika, bersama dengan beberapa interpretasi aksioma yang pada awalnya tidak diketahui. Secara fisik, operator simpul yang timbul dari penyisipan medan holomorfik pada titik-titik (yaitu, simpul) dalam teori medan konformal dua dimensi mengakui ekspansi produk operator ketika penyisipan, dan ini memenuhi secara tepat hubungan yang ditentukan dalam definisi aljabar operator titik. Memang, aksioma aljabar operator verteks adalah interpretasi aljabar formal dari apa yang oleh fisikawan disebut aljabar kiral, atau "aljabar simetris kiral", di mana kesimetrian ini menggambarkan identitas Lingkungan yang dipenuhi oleh teori medan konformal tertentu, termasuk invariansi konformal. Formulasi lain dari aksioma aljabar verteks termasuk karya Borcherds selanjutnya pada gelanggang komutatif tunggal, aljabar di atas operad tertentu pada kurva yang diperkenalkan oleh Huang, Kriz, dan lainnya, dan D-modul, objek teoretis yang disebut aljabar kiral yang diperkenalkan oleh Alexander Beilinson dan Vladimir Drinfeld. Meskipun berkerabat, aljabar kiral ini tidak persis sama dengan benda-benda dengan nama yang sama yang digunakan fisikawan.

Contoh dasar penting dari aljabar operator verteks termasuk AOV kisi (teori bidang konformal kisi pemodelan), VOA diberikan oleh representasi affine Kac – Moody aljabar s (dari WZW model), Virasoro VOA (yaitu, VOA terkait dengan representasi Virasoro aljabar) dan modul moonshine *V*♮, yang dibedakan dari simetri monsternya. Contoh yang lebih canggih seperti affine W-aljabar s dan kompleks kiral de Rham pada lipatan kompleks muncul dalam teori representasi geometris dan fisika matematika.

Aljabar titik komutatif
-----------------------

Aljabar verteks  *V*  bersifat komutatif jika semua operator verteks saling bolak-balik. Ini sama dengan properti yang dimiliki semua produk *Y*(*u*,*z*)*v* pada *V*[[*z*]]. Dengan adanya aljabar puncak komutatif, konstanta perkalian memberikan ruang vektor dengan struktur cincin komutatif, dan  *T*  adalah turunan. Sebaliknya, setiap cincin komutatif  *V*  dengan derivasi  *T*  memiliki struktur aljabar simpul kanonik, tempat menetapkan *Y*(*u*,*z*)*v* = *u*–1*v* *z*0 = *uv*. Jika penurunan  *T* , maka menetapkan ω = 0 untuk mendapatkan aljabar operator puncak yang terkonsentrasi dalam derajat nol.

Setiap aljabar puncak berdimensi-hingga bersifat komutatif. Secara khusus, bahkan contoh terkecil dari aljabar verteks nonkomutatif memerlukan pengenalan yang signifikan.

Sifat dasar
-----------

Operator terjemahan  *T*  dalam aljabar verteks menginduksi kesimetrian yang sangat kecil pada struktur produk, dan memenuhi sifat berikut:

* *Y*(*u*,*z*)1 = *e*zT*u*
* *Tu* = *u*–21, jadi  *T*  ditentukan dari  *Y* .
* *Y*(*Tu*,*z*) = *d*(*Y*(*u*,*z*))/*dz*
* *e*xT*Y*(*u*,*z*)*e*−xT = *Y*(*e*xT*u*,*z*) = *Y*(*u*,*z*+*x*)
* (kesimetrisan miring) *Y*(*u*,*z*)*v* = *e*zT*Y*(*v*,–*z*)*u*

Untuk aljabar operator verteks, operator Virasoro lainnya memenuhi sifat serupa:

* *x*L0*Y*(*u*,*z*)*x*−L0 = *Y*(*x*L0*u*,*xz*)
* *e*xL1*Y*(*u*,*z*)*e*−xL1 = *Y*(ex(1–xz)L1(1–*xz*)−2L0*u*,*z*(1–*xz*)−1)
* (kuasi-konformitas) {\displaystyle [L\_{m},Y(u,z)]=\sum \_{k=0}^{m+1}{\binom {m+1}{k}}z^{k}Y(L\_{m-k}u,z)} for all *m*≥–1.
* Untuk *u*, *v*, *w* ∈ *V*, elemen

{\displaystyle X(u,v,w;z,x)\in V[[z,x]][z^{-1},x^{-1},(z-x)^{-1}]}
dalam definisi *Y*(*Y*(*u*,*z*–*x*)*v*,*x*)*w* in *V*((*x*))((*z*–*x*)).

Sifat asosiatif dari aljabar puncak mengikuti fakta bahwa komutator dari *Y*(*u*,*z*) dan *Y*(*v*,*x*) dimusnahkan oleh pangkat terbatas  *z* - *x* , yaitu, seseorang dapat mengembangkannya sebagai kombinasi linear berhingga dari turunan fungsi delta formal di (*z*–*x*), dengan koefisien dalam End(*V*).

Rekonstruksi: Misalkan  *V*  menjadi aljabar puncak, dan maka {*J*a} menjadi satu set vektor, dengan bidang yang sesuai *J*a(*z*) ∈ End(*V*)[[*z*±1]]. Jika  *V*  direntang oleh monomial dalam koefisien bobot positif dari bidang (yaitu, produk operator hingga *J*an diterapkan ke 1, di mana  *n*  negatif), maka kita dapat menulis produk operator monomial seperti produk pesanan normal dari turunan pangkat terbagi bidang (di sini, urutan normal berarti istilah kutub di kiri dipindahkan ke kanan). Secara khusus,

{\displaystyle Y(J\_{n\_{1}+1}^{a\_{1}}J\_{n\_{2}+1}^{a\_{2}}...J\_{n\_{k}+1}^{a\_{k}}1,z)=:{\frac {\partial ^{n\_{1}}}{\partial z^{n\_{1}}}}{\frac {J^{a\_{1}}(z)}{n\_{1}!}}{\frac {\partial ^{n\_{2}}}{\partial z^{n\_{2}}}}{\frac {J^{a\_{2}}(z)}{n\_{2}!}}\cdots {\frac {\partial ^{n\_{k}}}{\partial z^{n\_{k}}}}{\frac {J^{a\_{k}}(z)}{n\_{k}!}}:}
Lebih umum lagi, jika seseorang diberi ruang vektor  *V*  dengan endomorfisme  *T*  dan vektor 1, dan satu menetapkan ke satu himpunan vektor *J*a satu himpunan bidang *J*a(*z*) ∈ End(*V*)[[*z*±1]] yang saling lokal, yang koefisien bobot positifnya menghasilkan  *V* , dan yang memenuhi syarat identitas dan translasi, maka rumus sebelumnya menggambarkan struktur aljabar verteks.

Contoh
------

### Contoh: boson bebas peringkat 1

Contoh dasar dari aljabar simpul nonkomutatif adalah boson bebas rank 1, juga disebut aljabar operator simpul Heisenberg. Maka "dihasilkan" oleh satu vektor  *b* , dalam arti bahwa dengan menerapkan koefisien bidang *b*(*z*) = *Y*(*b*,*z*) ke vektor  *1* , kami mendapatkan satu set rentang. Ruang vektor yang mendasari adalah gelanggang polinomial variabel tak terhingga **C**[*x*1,*x*2,...], dimana untuk positif  *n* , koefisien *b*–n dari *Y*(*b*,*z*) sebagai perkalian dengan *x*n, dan *b*n bertindak sebagai  *n*  kali turunan parsial dalam *x*n. Aksi dari *b*0 is perkalian dengan nol, menghasilkan representasi Fock 'momentum nol" *V*0 dari aljabar Heisenberg Lie (dihasilkan oleh *b*n untuk bilangan bulat  *n* , dengan relasi pergantian [*b*n,*b*m]=*n* δn,–m), yaitu, diinduksi oleh representasi sepele dari subaljabar yang direntang oleh *b*n, n ≥ 0.

Ruang Fock *V*0 dapat dibuat menjadi aljabar verteks dengan rekonstruksi berikut:

{\displaystyle Y(x\_{n\_{1}+1}x\_{n\_{2}+1}x\_{n\_{3}+1}...x\_{n\_{k}+1},z)\equiv {\frac {1}{n\_{1}!n\_{2}!..n\_{k}!}}:\partial ^{n\_{1}}b(z)\partial ^{n\_{2}}b(z)...\partial ^{n\_{k}}b(z):}
dimana :..: menunjukkan urutan normal (yaitu memindahkan semua turunan dalam  *x*  ke kanan). Operator simpul juga dapat ditulis sebagai fungsi dari fungsi multivariabel f sebagai:

{\displaystyle Y[f,z]\equiv :f\left({\frac {b(z)}{0!}},{\frac {b'(z)}{1!}},{\frac {b''(z)}{2!}},...\right):}
jika kita memahami bahwa setiap suku dalam pemuaian f adalah urutan normal.

Peringkat  *n*  boson gratis diberikan dengan mengambil produk tensor  *n*  lipat dari peringkat 1 boson bebas. Untuk vektor apa pun  *b*  dalam  *n* -ruang dimensi, memiliki bidang *b*(*z*) yang koefisiennya adalah elemen pangkat  *n*  aljabar Heisenberg, yang relasi pergantiannya memiliki suku perkalian dalam tambahan: [*b*n,*c*m]=*n* (b,c) δn,–m.

### Contoh: Aljabar operator verteks Virasoro

**Operator puncak Virasoro aljabar** penting karena dua alasan: Pertama, elemen konformal dalam aljabar operator verteks secara kanonik menginduksi homomorfisme dari aljabar operator verteks Virasoro, jadi mereka memainkan peran universal dalam teori. Kedua, mereka terkait erat dengan teori representasi kesatuan dari aljabar Virasoro, dan ini memainkan peran utama dalam teori medan konformal. Secara khusus, model kesatuan Virasoro minimal adalah quotients sederhana dari aljabar verteks ini, dan produk tensornya memberikan cara untuk secara kombinatorial membangun aljabar operator verteks yang lebih rumit.

Aljabar operator puncak Virasoro didefinisikan sebagai representasi terinduksi dari aljabar Virasoro: Jika muatan pusat  *c* , terdapat modul satu dimensi yang unik untuk subaljabar **C**[z]∂z + *K* untuk itu *K* acts by *c*Id, dan **C**[z]∂z bertindak sepele, dan modul yang diinduksi terkait direntang oleh polinomial di *L*–n = –z−n–1∂z karena rentang  *n*  di atas bilangan bulat lebih besar dari 1. Modul kemudian memiliki fungsi partisi

{\displaystyle Tr\_{V}q^{L\_{0}}=\sum \_{n\in \mathbf {R} }\dim V\_{n}q^{n}=\prod \_{n\geq 2}(1-q^{n})^{-1}}.
Ruang ini memiliki struktur aljabar operator verteks, di mana operator verteks didefinisikan oleh:

{\displaystyle Y(L\_{-n\_{1}-2}L\_{-n\_{2}-2}...L\_{-n\_{k}-2}|0\rangle ,z)\equiv {\frac {1}{n\_{1}!n\_{2}!..n\_{k}!}}:\partial ^{n\_{1}}L(z)\partial ^{n\_{2}}L(z)...\partial ^{n\_{k}}L(z):}
dan {\displaystyle \omega =L\_{-2}|0\rangle }. Fakta bahwa bidang Virasoro  *L(z)*  bersifat lokal terhadap dirinya sendiri dapat disimpulkan dari rumus untuk komutator-sendiri:

{\displaystyle [L(z),L(x)]=\left({\frac {\partial }{\partial x}}L(x)\right)w^{-1}\delta \left({\frac {z}{x}}\right)-2L(x)x^{-1}{\frac {\partial }{\partial z}}\delta \left({\frac {z}{x}}\right)-{\frac {1}{12}}cx^{-1}\left({\frac {\partial }{\partial z}}\right)^{3}\delta \left({\frac {z}{x}}\right)}

di mana  *c*  adalah muatan pusat.

Diberikan homomorfisme aljabar verteks dari aljabar verteks Virasoro dari muatan pusat  *c*  ke aljabar verteks lainnya, operator simpul yang dilampirkan pada citra ω secara otomatis memenuhi hubungan Virasoro, yaitu citra ω adalah vektor konformal. Sebaliknya, setiap vektor konformal dalam aljabar verteks menginduksi homomorfisme aljabar verteks dibedakan dari beberapa aljabar operator verteks Virasoro.

Aljabar operator puncak Virasoro sederhana, kecuali jika  *c*  memiliki bentuk 1–6(*p*–*q*)2/*pq* untuk coprime integers  *p* ,  *q*  lebih besar dari 1 - ini mengikuti rumus determinan Kac. Dalam kasus luar biasa ini, seseorang memiliki ideal maksimal yang unik, dan hasil bagi yang sesuai disebut model minimal. Ketika  *p*  =  *q*  + 1, aljabar puncak adalah representasi kesatuan dari Virasoro, dan modulnya dikenal sebagai representasi deret diskrit. Mereka memainkan peran penting dalam teori medan konformal sebagian karena mereka sangat mudah diatur, dan untuk  *p*  kecil, mereka sesuai dengan sistem mekanika statistik yang terkenal pada saat kritis, misalnya, model Ising, model Ising tri-kritis, tiga-keadaan model Potts, dll. Oleh karya Weiqang Wang  mengenai aturan fusi, kami memiliki deskripsi lengkap tentang kategori tensor model minimal kesatuan. Misalnya saat *c*=1/2 (Ising), ada tiga modul yang tidak dapat direduksi dengan *L*0 0, 1/2, dan 1/16, dan gelanggang fusinya adalah **Z**[*x*,*y*]/(*x*2–1, *y*2–*x*–1, *xy*–*y*).

Lihat pula
----------

* Aljabar operator

Catatan
-------

1. ↑  Wang 1993.

Sumber
------

* Borcherds, Richard (1986), "Vertex algebras, Kac-Moody algebras, and the Monster", *Proceedings of the National Academy of Sciences of the United States of America*, **83**: 3068–3071, Bibcode:1986PNAS...83.3068B, doi:10.1073/pnas.83.10.3068, PMC 323452 alt=Dapat diakses gratis, PMID 16593694
* Borisov, Lev A.; Libgober, Anatoly (2000), "Elliptic genera of toric varieties and applications to mirror symmetry", *Inventiones Mathematicae*, **140** (2): 453–485, arXiv:math/9904126 alt=Dapat diakses gratis, doi:10.1007/s002220000058, MR 1757003
* Frenkel, Edward; Ben-Zvi, David (2001), *Vertex algebras and Algebraic Curves*, Mathematical Surveys and Monographs (88), American Mathematical Society, ISBN 0-8218-2894-0
* Frenkel, Igor; Lepowsky, James; Meurman, Arne (1988), *Vertex operator algebras and the Monster*, Pure and Applied Mathematics, **134**, Academic Press, ISBN 0-12-267065-5
* Kac, Victor (1998), *Vertex algebras for beginners*, University Lecture Series, **10** (edisi ke-2nd), American Mathematical Society, ISBN 0-8218-1396-X
* Wang, Weiqiang (1993), "Rationality of Virasoro vertex operator algebras", *Duke Math. J. IMRN*, **71**: 197–211
* Xu, Xiaoping (1998), *Introduction to vertex operator superalgebras and their modules*, Springer, ISBN 079235242-4

Templat:Topik teori pita