Garnier integral tizimi

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 . Bu Mishel Gaudin tufayli Knijnik-Zamolodchikov tenglamalarining klassik analogidir. Klassik Gaudin modellari integratsiyalashgan tizim integralidir.

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 tenglamalarining chegarasi sifatida
Shlesinger tenglamalari differensial tenglamalar tizimidir n + 2 matritsa qiymatli funksiyalar A_i:\mathbb{C}^{n+2} \rightarrow \mathrm{Mat}(m, \mathbb{C}), tomonidan berilgan:

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

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

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

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

## Gaudinning klassik modeli sifatida
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 M faza fazosi deb ataladi va manifoldda silliq funksiya Gamiltonian deb ataladi.

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

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

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

### Sahifalar

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

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

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

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

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

bilvosita yigʻindisi bilan.

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

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

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

### (kvadrat) Gamiltonian
(kvadrat) Gamiltonian

\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 \lambda . Buni shunday yozish mumkin:

\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

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

va

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

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

### Laks tenglamasi
Koʻrsatish mumkin:

 \{\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. \mathcal{H}_r, shuningdek, ularning har qanday chiziqli birikmasi.

### Yuqori Gamiltoniyanlar
Kasimir kvadrati Li algebrasi uchun kvadratik Veyl oʻzgarmas koʻphadiga mos keladi. \mathfrak{g}, lekin aslida koʻplab kommutatsiya saqlangan toʻlovlar yordamida hosil boʻlishi mumkin \mathfrak{g} -oʻzgarmas koʻphadlar. Ushbu oʻzgarmas polinomlarni Xarish-Chandra izomorfizmi yordamida topish mumkin. \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 \mathfrak{g} affin Li algebrasidir . Bunday klassik maydon nazariyalariga asosiy chiral model, koset sigma modellari va affin Toda maydon nazariyasi kiradi. 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 modellari

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.

## Manbalar