Garnier integral tizimi: Versiyalar orasidagi farq

Matematik fizikada klassik Gaudin modeli sifatida ham tanilgan Garnier integrallash tizimi 1919 yilda Rene Garnier tomonidan Schlesinger tenglamalarining „ Painlevé soddalashtirishi“ yoki „avtonom chegarasi“ ni olish orqali kashf etilgan klassik mexanik tizimdir^{[1] [2]}. Bu Mishel Gaudin tufayli Knijnik-Zamolodchikov tenglamalarining klassik analogidir. Klassik Gaudin modellari integratsiyalashgan tizim integralidir^[3].

Ular, shuningdek, Xitchin integrallanuvchi tizimlarining oʻziga xos holati boʻlib, nazariya aniqlangan algebraik egri Rieman sferasi boʻlib, tizim toʻliq tarvaqaylab ketgan.

Shlesinger tenglamalari differensial tenglamalar tizimidir ${\displaystyle n + 2}$ matritsa qiymatli funksiyalar ${\displaystyle A_i:\mathbb{C}^{n+2} \rightarrow \mathrm{Mat}(m, \mathbb{C})}$, tomonidan berilgan:

$${\displaystyle \frac{\partial A_i}{\partial \lambda_j} = \frac{[A_i,A_j]}{\lambda_i-\lambda_j} \qquad \qquad j\neq i}$$

$${\displaystyle \sum_j \frac{\partial A_i}{\partial \lambda_j} = 0.}$$

„Avtonom chegara“ ni almashtirish orqali beriladi ${\displaystyle \lambda_i}$ konstantalar orqali maxrajdagi bogʻliqlik ${\displaystyle \alpha_i}$ bilan ${\displaystyle \alpha_{n+1} = 0, \alpha_{n+2} = 1}$ :

$${\displaystyle \frac{\partial A_i}{\partial \lambda_j} = \frac{[A_i,A_j]}{\alpha_i-\alpha_j} \qquad \qquad j\neq i}$$$${\displaystyle \sum_j \frac{\partial A_i}{\partial \lambda_j} = 0.}$$Bu Garnier tomonidan dastlab ishlab chiqarilgan shakldagi Garnier tizimi .

Garnier tizimining klassik mexanik tizim sifatida formulasi mavjud, klassik Gaudin modeli, u kvant Gaudin modeliga kvantlanadi va harakat tenglamalari Garnier tizimiga ekvivalentdir. Ushbu boʻlim ushbu formulani tavsiflaydi.

Har qanday klassik tizimga kelsak, Gaudin modeli Puasson manifoldi tomonidan belgilanadi ${\displaystyle M}$ faza fazosi deb ataladi va manifoldda silliq funksiya Gamiltonian deb ataladi.

Mayli ${\displaystyle \mathfrak{g}}$ kvadratik Li algebrasi, yaʼni degenerativ boʻlmagan oʻzgarmas ikki chiziqli shaklga ega Li algebrasi boʻlsin. ${\displaystyle \kappa}$ . Agar ${\displaystyle \mathfrak{g}}$ murakkab va sodda, bu Killing shakli sifatida qabul qilinishi mumkin.

Ikkilik, belgilangan ${\displaystyle \mathfrak{g}^*}$, Kirillov-Kostant qavs orqali chiziqli Puasson tuzilishiga aylantirilishi mumkin.

Faza maydoni ${\displaystyle M}$ Gaudin klassik modelining Dekart mahsuloti hisoblanadi ${\displaystyle N}$ nusxalari ${\displaystyle \mathfrak{g}^*}$ uchun ${\displaystyle N}$ musbat butun son.

Ushbu nusxalarning har biri bilan bogʻliq bir nuqta ${\displaystyle \mathbb{C}}$, belgilangan ${\displaystyle \lambda_1, \cdots, \lambda_N}$, va sahifalar deb ataladi.

Li algebrasining asosini aniqlash ${\displaystyle \{I^a\}}$ tuzilish konstantalari bilan ${\displaystyle f^{ab}_c}$, funktsiyalari mavjud ${\displaystyle X^a_{(r)}}$ bilan ${\displaystyle r = 1, \cdots, N}$ Puasson qavsni qanoatlantiruvchi faza fazosida

$${\displaystyle \{X^a_{(r)}, X^b_{(s)}\} = \delta_{rs}f^{ab}_c X^c_{(r)}.}$$

Ular oʻz navbatida aniqlash uchun ishlatiladi ${\displaystyle \mathfrak{g}}$ -qiymatli funksiyalar

$${\displaystyle X^{(r)} = \kappa_{ab}I^a \otimes X^b_{(r)}}$$

bilvosita yigʻindisi bilan.

Keyinchalik, ular Lax matritsasini aniqlash uchun ishlatiladi, bu ham a ${\displaystyle \mathfrak{g}}$ fazalar boʻshligʻidagi qiymatli funksiya, qoʻshimcha ravishda meromorfik ravishda spektral ${\displaystyle \lambda}$ parametrga bogʻliq,

$${\displaystyle \mathcal{L}(\lambda) = \sum_{r = 1}^N \frac{X^{(r)}}{\lambda - \lambda_r} + \Omega,}$$

va ${\displaystyle \Omega}$ ning doimiy elementidir ${\displaystyle \mathfrak{g}}$, degan maʼnoda Puasson barcha funksiyalari bilan harakat qiladi (yoʻqolib borayotgan Puasson qavsga ega).

(kvadrat) Gamiltonian

$${\displaystyle \mathcal{H}(\lambda) = \frac{1}{2}\kappa(\mathcal{L}(\lambda), \mathcal{L}(\lambda))}$$

bu haqiqatan ham faza fazosining funksiyasi boʻlib, u qoʻshimcha ravishda spektral parametrga bogʻliq ${\displaystyle \lambda}$ . Buni shunday yozish mumkin:

$${\displaystyle \mathcal{H}(\lambda) = \Delta_\infty + \sum_{r = 1}^N\left( \frac{\Delta_r}{(\lambda - \lambda_r)^2} + \frac{\mathcal{H}_r}{\lambda - \lambda_r} \right),}$$

bilan

$${\displaystyle \Delta_r = \frac{1}{2} \kappa(X^{(r)}, X^{(r)}), \Delta_\infty = \frac{1}{2} \kappa(\Omega, \Omega)}$$

va

$${\displaystyle \mathcal{H}_r = \sum_{s \neq r} \frac{ \kappa( X^{(r)}, X^{(s)} )}{ \lambda_r - \lambda_s} + \kappa(X^{(r)} , \Omega).}$$

Puasson qavs munosabatidan$${\displaystyle \{ \mathcal{H}(\lambda), \mathcal{H}(\mu) \} = 0, \forall \lambda, \mu \in \mathbb{C},}$$turlicha ${\displaystyle \lambda}$ va ${\displaystyle \mu}$ bu haqiqat boʻlishi kerak ${\displaystyle \mathcal{H}_r}$ ning, the ${\displaystyle \Delta_r}$ ning va ${\displaystyle \Delta_\infty}$ hammasi involyutsiyada. Koʻrsatish mumkinki, ${\displaystyle \Delta_r}$ ning va ${\displaystyle \Delta_\infty}$ Fazali fazodagi barcha funksiyalar bilan Puasson qatnovi, lekin ${\displaystyle \mathcal{H}_r}$ umuman yoʻq. Bu Arnol’d Liouville integralligi maqsadlari uchun involyutsiyada saqlanib qolgan zaryadlardir.

Koʻrsatish mumkin:

$${\displaystyle \{\mathcal{H}_r, \mathcal{L}(\lambda)\} = \left[\frac{X^{(r)}}{\lambda - \lambda_r}, \mathcal{L}(\lambda)\right],}$$

Shunday qilib, Lax matritsasi Gamiltonchilarning birortasi tomonidan vaqt evolyutsiyasi berilganda Lax tenglamasini qanoatlantiradi. ${\displaystyle \mathcal{H}_r}$, shuningdek, ularning har qanday chiziqli birikmasi.

Kasimir kvadrati Li algebrasi uchun kvadratik Veyl oʻzgarmas koʻphadiga mos keladi. ${\displaystyle \mathfrak{g}}$, lekin aslida koʻplab kommutatsiya saqlangan toʻlovlar yordamida hosil boʻlishi mumkin ${\displaystyle \mathfrak{g}}$ -oʻzgarmas koʻphadlar. Ushbu oʻzgarmas polinomlarni Xarish-Chandra izomorfizmi yordamida topish mumkin. ${\displaystyle \mathfrak{g}}$ murakkab, sodda va cheklangan.

Klassik Gaudin modellari sifatida integrallanadigan maydon nazariyalari

Baʼzi bir integral klassik maydon nazariyalari klassik affin Gaudin modellari sifatida shakllantirilishi mumkin, bu yerda ${\displaystyle \mathfrak{g}}$ affin Li algebrasidir . Bunday klassik maydon nazariyalariga asosiy chiral model, koset sigma modellari va affin Toda maydon nazariyasi kiradi^[4]. Shunday qilib, affin Gaudin modellarini integral tizimlar uchun „master nazariya“ sifatida koʻrish mumkin, lekin toʻrt oʻlchovli Chern-Simons nazariyasi yoki oʻz-oʻzidan ikkilangan Yang-Mills kabi boshqa asosiy nazariyalardan farqli oʻlaroq, tabiiy ravishda Gamilton formalizmida tuzilgan.

Gaudin kvant modellarining ajralmas tuzilishi haqida koʻp narsa maʼlum. Xususan, Feigin, Frenkel va Reshetikxin ularni tepalik operatori algebralari nazariyasidan foydalangan holda oʻrganib, Gaudin modellarining matematika mavzulariga, shu jumladan Knijnik-Zamolodchikov tenglamalari va geometrik Langlands muvofiqligini koʻrsatdi^[5].