Syu Kato ning ushbu nazariy matematika tadqiqoti qisman bayroq manifoldu \(G/P\) ning \(H\)-ekvivariant kichik kvant \(K\)-guruhi toʻliq bayroq manifoldu \(G/B\) ning kvant \(K\)-guruhidan olinadigan bo‘linma ekanini isbotlaydi. Asosiy natija Schubert sinflarini Schubert sinflariga yuboruvchi surʼektiv \(K_H(pt)\)-algebra gomomorfizmining mavjudligidir:

\[ qK_H(G/B)\twoheadrightarrow qK_H(G/P). \]

Bu xarita faqat additiv bo‘linma emas; u kvant ko‘paytmani saqlovchi algebra tuzilishi bilan mos keladi. Agar \(B\subset P'\subset P\) ko‘rinishida oraliq standart parabolik quyi guruh bo‘lsa, xarita:

\[ qK_H(G/B) \longrightarrow qK_H(G/P') \longrightarrow qK_H(G/P) \]

ko‘rinishida faktorlanadi. Shunday qilib, turli qisman bayroq manifoldlarining kvant \(K\)-nazariyalari bitta to‘liq bayroq manifold orqali tizimli ravishda o‘zaro bog‘lanadi.

Tadqiqotning eng noodatiy natijasi Novikov o‘zgaruvchilarining xatti-harakatida namoyon bo‘ladi. Kvant kohomologiyasidagi parabolik Peterson yondashuvida muayyan daraja o‘zgaruvchilari 0 ga yuborilsa, Kato ning kvant \(K\)-nazariy bo‘linma xaritasi ayrim Novikov o‘zgaruvchilarini 1 ga yuboradi. Muallif bu ixtisoslashtirishning kvant \(K\)-nazariyasidagi geometrik maʼnosi hali aniq emasligini alohida taʼkidlaydi. Bundan tashqari, qurilgan xarita klassik \(K\)-nazariyasiga kamaytirilib umumiy \(K_H(G/B)\rightarrow K_H(G/P)\) algebra xaritasini bermaydi; tuzilma asosan kvant darajasida yuzaga keladi.

Bayroq manifoldu va qisman bayroq manifoldu nima?

Tadqiqot kompleks sonlar ustida aniqlangan bog‘langan, sodda va sodda bog‘langan algebraik guruh \(G\) dan boshlanadi. \(H\) — \(G\) ning maksimal torusi; \(B\) esa \(H\) ni o‘z ichiga oluvchi Borel quyi guruhi bo‘lsin. Har bir:

\[ B\subset P\subset G \]

parabolik quyi guruh uchun:

\[ G/P \]

qisman bayroq manifoldu hosil qiladi. Eng nozik bayroq tuzilishi:

\[ G/B \]

bilan ifodalanadi va bu to‘liq bayroq manifoldu deb ataladi.

Tadqiqot muammosi ushbu ikki geometrik obyektning kvant \(K\)-nazariyalarini qay darajada bir-biridan hosil qilish mumkinligidir.

Kvant K-guruhi nima?

Qisman bayroq manifoldu:

\[ B_J=G/P(J) \]

uchun tadqiqot \(H\)-ekvivariant kichik kvant \(K\)-guruhini:

\[ qK_H(B_J) = K_H(B_J)\otimes \mathbb{C}[Q^\vee_{J,+}] \]

deb taʼriflaydi.

Bu yerda:

• \(K_H(B_J)\) — klassik \(H\)-equivariant \(K\)-guruhi.
• \(Q^\vee_{J,+}\) — effektiv egri darajalarini kodlaydigan musbat koroot konusi.
• \(Q^\beta\) — egri sinflariga bog‘liq Novikov monomlarini ifodalaydi.
• \(\star\) — klassik tensor ko‘paytmaning kvant egri hissalari bilan deformatsiyasidan hosil bo‘lgan kvant ko‘paytma.

Kvant parametrlari nolga yuborilganda:

\[ \xi\star\eta \equiv \xi\cdot\eta \pmod{(Q_i)} \]

bo‘lgani uchun klassik \(K\)-nazariyasidagi ko‘paytma qayta tiklanadi.

Schubert sinflari nega muhim?

Bayroq manifoldlarida Weyl guruhi \(W\) geometrik hujayralar va Schubert ko‘pxilliklarini indekslashda asosiy rol o‘ynaydi. \(u\in W/W_J\) uchun:

\[ B_J(u) \]

tegishli Schubert ko‘pxilligini,

\[ [\mathcal O_{B_J(u)}] \]

esa uning struktur sheafining \(K\)-nazariya sinfini ifodalaydi.

Kato ning Theorem 2.19 dagi xaritasining eng kuchli xususiyatlaridan biri ushbu ajratuvchi geometrik bazani saqlashidir. To‘liq bayroq Schubert sinfi:

\[ [\mathcal O_B(w)] \]

qisman bayroq tomonida:

\[ [\mathcal O_{B_J([w]_J)}] \]

sinfiga yuboriladi.

Shu sababli bo‘linma xaritasi faqat abstrakt algebra gomomorfizmi emas; u Schubert geometriyasining kombinatorik yorliqlarini ham tizimli ravishda olib o‘tadi.

Asosiy natija: to‘liq bayroqdan qisman bayroqqa surʼektiv kvant xarita

Tadqiqotning asosiy natijasi Theorem A, yaʼni Theorem 2.19:

\[ \boxed{ qK_H(G/B) \twoheadrightarrow qK_H(G/P) } \]

ko‘rinishidagi surʼektiv kommutativ algebra gomomorfizmi mavjud.

Manbada \(B_J=G/P(J)\) notatsiyasi ishlatilganda teorema yanada aniq:

\[ qK_H(B) \twoheadrightarrow qK_H(B_J) \]

ko‘rinishida yoziladi.

Xaritaning ikki asosiy taʼsiri quyidagicha:

\[ [\mathcal O_B(w)] \longmapsto [\mathcal O_{B_J([w]_J)}], \]

va:

\[ Q^\beta \longmapsto Q^{[\beta]_J}. \]

Bu yerda \([w]_J\) Weyl/affine Weyl maʼlumotining parabolik bo‘linmaga proyeksiyasini; \([\beta]_J\) esa koroot darajasining \(G/P(J)\) da ko‘rinib qoladigan komponentini ifodalaydi.

Novikov o‘zgaruvchilarining ayrimlari 1 bo‘lishi nimani anglatadi?

Novikov o‘zgaruvchisi \(Q_i\) kvant \(K\)-nazariyasida maʼlum bir effektiv egri yo‘nalish darajasini kuzatuvchi algebraik parametrdir.

Parabolik proyeksiyada \(j\in J\) bo‘lgan ildiz yo‘nalishlari qisman bayroq manifoldida alohida egri darajalari sifatida saqlanmaydi. Manba taʼrifiga ko‘ra:

\[ [\beta]_J = \beta- \sum_{j\in J} \langle\beta,\varpi_j\rangle \alpha_j^\vee. \]

Shu sababli faqat \(J^c\) yo‘nalishlaridagi daraja maʼlumoti qisman bayroq tomonidagi Novikov monomida qoladi.

Masalan, to‘liq bayroq tomonida:

\[ Q^\beta= \prod_i Q_i^{\langle\beta,\varpi_i\rangle} \]

bo‘lsa, qisman bayroq tomoniga o‘tilganda \(j\in J\) yo‘nalishlari uchun mos Novikov o‘zgaruvchisi amalda:

\[ Q_j\mapsto1 \]

xatti-harakatini ko‘rsatadi.

Bu nuqta tadqiqotning noodatiy va ochiq qoldirilgan tomonlaridan biridir. Muallif ushbu \(Q_j=1\) ixtisoslashtirishning kvant \(K\)-nazariyasidagi bevosita geometrik maʼnosi hali ochiq ekanini bildiradi.

Nega bu xarita klassik K-nazariyasida paydo bo‘lmaydi?

Maqoladagi muhim ogohlantirishlardan biri:

\[ qK_H(G/B)\twoheadrightarrow qK_H(G/P) \]

xaritasining kvant kelib chiqishli ekanidir. Muallif uni klassik limitga o‘tkazib:

\[ K_H(G/B)\longrightarrow K_H(G/P) \]

ko‘rinishida xuddi shu xususiyatlarga ega algebra gomomorfizmini hosil qilmasligini alohida taʼkidlaydi.

Tadqiqotning Lemma 2.17 dan keyingi Remark 2.18 qismi bu farqni \(G=SL(2)\) misolida konkretlashtiradi. Quantum \(K\)-guruhida zarur yadro quyi fazolari kvant ko‘paytma ostida barqaror qolsa, klassik \(K_H(B)\) ichida xuddi shu barqarorlik xususiyati umuman olganda ishlamaydi.

Shuning uchun Theorem 2.19 dagi surʼektiv tuzilma klassik geometriyadan mexanik ravishda meros olingan proyeksiya emas, balki kvant \(K\)-ko‘paytmaning qo‘shimcha algebraik tuzilishidan kelib chiqadigan natijadir.

Oraliq parabolik quyi guruhlar nima beradi?

Agar:

\[ B\subset P'\subset P \]

bo‘lsa, Theorem A dagi gomomorfizm:

\[ qK_H(G/B) \longrightarrow qK_H(G/P') \longrightarrow qK_H(G/P) \]

ko‘rinishida faktorlanadi.

Bu funktorial xatti-harakat turli qisman bayroq manifoldlarining kvant \(K\)-guruhlari bir-biridan mustaqil tuzilmalar emasligini ko‘rsatadi. Parabolik quyi guruh kattalashgani sari to‘liq bayroq tomonidagi ko‘proq geometrik/Novikov yo‘nalishi bo‘linma orqali aniqlanadi.

Semi-infinite flag manifold nega paydo bo‘ladi?

Bevosita:

\[ qK_H(G/B) \rightarrow qK_H(G/P) \]

xaritasini kvant ko‘paytma jadvallari orqali qurish murakkab. Tadqiqotning asosiy strategiyasi ikki kvant \(K\)-guruhi orasida oraliq geometrik obyekt ishlatishdir:

\[ Q_J^{\mathrm{rat}}, \]

yaʼni semi-infinite partial flag manifold.

Manba bu ind-scheme ni:

\[ Q_J^{\mathrm{rat}} = G((z))/ \bigl[ H(\mathbb C)\cdot[P(J),P(J)]((z)) \bigr] \]

deb taʼriflaydi.

Ushbu cheksiz o‘lchamli geometrik obyekt ustida Schubertga o‘xshash orbitlar:

\[ \mathbb O_J(ut_\beta) \]

va ularning yopilmalari:

\[ Q_J(ut_\beta) \]

ishlatiladi. To‘liq semi-infinite flag manifolddan qismaniga tabiiy proyeksiya:

\[ Q^{\mathrm{rat}} \rightarrow Q_J^{\mathrm{rat}} \]

Weyl va koroot maʼlumotini aynan Theorem 2.19 uchun kerak bo‘lgan parabolik proyeksiyaga aylantiradi.

Quasi-map fazolari nima?

Kvant \(K\)-nazariyasining geometrik kirishlaridan biri egri chiziqlar va ularning xarita moduli fazolaridir. Maqolada quasi-map:

\[ (f,D) \]

jufti sifatida qaraladi.

Bu yerda:

• \(f:\mathbb P^1\rightarrow B_J\) algebraik xaritadir.
• \(D\) xaritaning nuqsonlarini qayd etuvchi rangli effektiv divisor.
• \(|D|\) umumiy nuqson sinfidir.

Umumiy daraja \(\beta\) uchun:

\[ Q_J(\beta) = \{ (f,D): f_*[\mathbb P^1]+|D|=\beta \} \]

quasi-map fazosi olinadi.

Ushbu fazolarning Schubert shartli quyi ko‘pxilliklari:

\[ Q_J(\beta,u) \]

tadqiqotning geometrik va kohomologik taqqoslashlarida asosiy rol o‘ynaydi.

Drinfeld–Plücker maʼlumotlari nima beradi?

Theorem 1.2 quasi-map fazolarini Drinfeld–Plücker maʼlumotlari bilan ekvivalent tarzda ifodalaydi. Har bir dominant parabolik vazn \(\lambda\) uchun:

\[ \psi_\lambda: \mathcal L^\lambda \hookrightarrow L(\lambda)\otimes\mathcal O_{\mathbb P^1} \]

turidagi chiziq dastasi kiritmalari tanlanadi va ularning tensor ko‘paytmalarga mos bo‘lishi talab qilinadi.

Daraja sharti:

\[ \deg\mathcal L^\lambda = -\langle\beta,\lambda\rangle \]

ko‘rinishidadir.

Ushbu taʼrif quasi-map geometriyasini representation-nazariy vaznlar va darajalar bilan bevosita bog‘lab, keyingi xarakter hisoblarini mumkin qiladi.

Ratsional singulyarliklar nega kerak?

Theorem 2.10 tadqiqotning mustaqil geometrik natijalaridan biridir. Har bir:

\[ \beta\in Q^\vee_{J,+}, \qquad u\in W/W_J \]

uchun:

\[ Q_J(\beta,u) \]

ko‘pxilligi eng yomon holatda ratsional singulyarliklarga ega ekanligi isbotlanadi.

Bundan tashqari, mos yechim xaritasi:

\[ \pi_{J,\beta,u}: X_J(\beta,u) \rightarrow Q_J(\beta,u) \]

uchun:

\[ (\pi_{J,\beta,u})_* \mathcal O_{X_J(\beta,u)} \cong \mathcal O_{Q_J(\beta,u)} \]

va:

\[ R^{>0} (\pi_{J,\beta,u})_* \mathcal O_{X_J(\beta,u)} = 0 \]

olinadi.

Ushbu vanishing natijasi graph/map fazolarida hisoblangan equivariant Euler xarakteristikalarini quasi-map Schubert ko‘pxilliklarining Euler xarakteristikalari bilan tenglashtirish imkonini beradi.

Shift operatorlari nega markaziy?

Kvant \(K\)-guruhining ko‘paytma tuzilishi tadqiqotda Iritani–Milanov–Tonita doirasidan keladigan \(q\)-shift operatorlari bilan bog‘lanadi:

\[ A_i(q) = T^{-1} \circ p_i^{-1} q^{Q_i\partial_{Q_i}} \circ T. \]

\(q=1\) ixtisoslashtirishida:

\[ A_i(1) \]

operatori:

\[ [\mathcal O_{B_J}(-\varpi_i)] \]

sinfi bilan kvant ko‘paytmani beradi.

Bu bog‘lanish muhim; chunki maqola semi-infinite flag manifold ustidagi chiziq dastasi tensorlashlarini quantum \(K\)-guruhidagi ushbu shift operatorlari bilan moslashtiradi.

Kvant K-guruhi bilan semi-infinite K-guruhi o‘rtasidagi ko‘prik

Theorem 2.13 da lokalizatsiyalangan kvant \(K\)-guruhi bilan semi-infinite partial flag manifoldning mos equivariant \(K\)-guruhi o‘rtasida:

\[ \Psi_{J,q}: qK_{\mathbb G_m\times H}(B_J)_{\mathrm{loc}} \xrightarrow{\sim} K'_{\mathbb G_m\times H} (Q_J^{\mathrm{rat}}) \]

izomorfizmi quriladi.

Bu izomorfizm Schubert va daraja sinflarini:

\[ [\mathcal O_{B_J(u)}]Q^\beta \longmapsto [\mathcal O_{Q_J(ut_\beta)}] \]

ko‘rinishida moslaydi.

Bundan tashqari:

\[ A_i \]

shift operatori bilan semi-infinite tomondagi:

\[ \Xi_J(-\varpi_i) \]

chiziq dastasi siljitish amali bir-biriga mos keladi.

Bu natija Theorem 2.19 isbotidagi ikki tilni —kvant \(K\)-ko‘paytma va semi-infinite geometriyani— bevosita bir-biriga bog‘lovchi asosiy mekanizmdir.

Nega butun Schubert ko‘paytma jadvali bir necha sinf bilan aniqlanishi mumkin?

Tadqiqot avvalgi natijalardan foydalanib \(qK_H(B_J)\) ning ko‘paytma tuzilishi:

\[ [\mathcal O_{B_J}(-\varpi_i)], \qquad i\in J^c \]

sinflarining kvant ko‘paytma jadvallari bilan aniqlanishidan foydalanadi.

Ushbu sinflar Schubert divisor sinflari bilan:

\[ [\mathcal O_{B_J}(-\varpi_i)] = e^{w_0\varpi_i} \left( [\mathcal O_{B_J}] - [\mathcal O_{B_J(s_i)}] \right) \]

munosabatidadir.

Shuning uchun semi-infinite tomonda ushbu chiziq dastasi amallari parabolik proyeksiya ostida saqlanishini isbotlash oxir-oqibat butun kvant algebra tuzilishini bo‘linma orqali o‘tkazish imkonini beradi.

Affine Grassmannian bog‘lanishi nimani aytadi?

Maqolaning so‘nggi asosiy strukturaviy natijasi affine Grassmannian:

\[ \mathrm{Gr} \]

bilan qisman bayroq manifoldining kvant \(K\)-nazariyasini bevosita bog‘laydi.

Affine Grassmannian ning equivariant \(K\)-gomologiyasidagi Pontryagin algebrasi uchun avval ishlatilgan \(K\)-nazariy Peterson izomorfizmi:

\[ K_H(\mathrm{Gr})_{\mathrm{loc}} \cong qK_H(G/B)_{\mathrm{loc}} \]

bilan Theorem 2.19 birlashtirilganda Theorem 2.23 olinadi:

\[ \boxed{ K_H(\mathrm{Gr})_{\mathrm{loc}} \twoheadrightarrow qK_H(G/P)_{\mathrm{loc}} } \]

Bu xarita ham Schubert sinflarini mos Novikov monomial twist bilan qisman bayroq Schubert sinflariga olib o‘tadi.

Shunday qilib, tadqiqot faqat:

\[ G/B\rightarrow G/P \]

munosabatini emas, balki affine Grassmannian → to‘liq bayroq → qisman bayroq ko‘rinishidagi kengroq algebraik-geometrik zanjirni ham ochib beradi.

Peterson teoremasi bilan bog‘liqlik nima?

Klassik parabolik Peterson yondashuvi kvant kohomologiyasida \(G/P\) ning kvant tuzilishini affine Grassmannian gomologiyasi orqali tushunish imkonini beradi. Kato ning tadqiqoti buning \(K\)-nazariy analogini rivojlantiradi.

Biroq natija shunchaki “cohomology dagi formulani K-theory ga o‘girish” emas. Ayniqsa Novikov o‘zgaruvchilarining 0 o‘rniga 1 ga ketishi ikki nazariyaning parabolik o‘tishlari turli algebraik xatti-harakatlarga ega ekanini aniq ko‘rsatadi.

Tadqiqot nima deydi

Tadqiqot bevosita isbotlagan natija: qisman bayroq manifoldining equivariant small quantum \(K\)-algebrasini to‘liq bayroq manifoldining equivariant small quantum \(K\)-algebrasidan Schubert sinflariga mos surʼektiv algebra gomomorfizmi orqali olish mumkin.

Bundan tashqari, oraliq paraboliklarning funktorial xatti-harakati, semi-infinite flag manifoldlar bilan qurilgan geometrik model, quasimap Schubert ko‘pxilliklarining ratsional singulyarliklari va lokalizatsiyalangan affine Grassmannian \(K\)-gomologiyasidan qisman bayroq quantum \(K\)-nazariyasiga surʼektiv xarita tadqiqotning isbotlangan strukturaviy natijalari qatoriga kiradi.

Tadqiqot nima demaydi

Tadqiqot barcha kvant K-nazariyalari ushbu bo‘linma tuzilishiga ega ekanini isbotlamaydi. Natija bayroq va qisman bayroq manifoldlarining muayyan equivariant small quantum \(K\)-nazariyasi tuzilishiga tegishli.

Tadqiqot \(Q_i\mapsto1\) ixtisoslashtirishiga umumiy geometrik tushuntirish bermaydi. Aksincha, muallif bu geometrik maʼnoning noaniq ekanini ochiq aytadi.

Tadqiqot klassik K-nazariyasida ayni surʼektiv algebra xaritasi mavjudligini aytmaydi. Xaritaning quantum-origin xususiyati alohida taʼkidlanadi.

Tadqiqot sonli yoki fizik “kvant kompyuter” natijasi emas. Bu yerdagi quantum \(K\)-theory Gromov–Witten nazariyasi va algebraik geometriyadan kelib chiqadigan matematik nazariyadir.

Tadqiqot Usuli va Natijalari

Isbot strategiyasining umumiy oqimi

1. \(G/P(J)\), Weyl guruhi, vazn va koroot panjaralari hamda Schubert ko‘pxilliklari taʼriflanadi.
2. Quasi-map va graph space geometriyalari quriladi.
3. Small equivariant quantum \(K\)-guruhi va \(q\)-shift operatorlari taʼriflanadi.
4. Semi-infinite partial flag manifold \(Q_J^{\mathrm{rat}}\) va uning Schubert ko‘pxilliklari ishlatiladi.
5. Quasi-map Schubert ko‘pxilliklarining ratsional singulyarliklari isbotlanadi.
6. Kvant \(K\)-guruhi bilan semi-infinite \(K\)-guruhi o‘rtasida \(\Psi_{J,q}\) izomorfizmi quriladi.
7. To‘liq semi-infinite flag manifolddan qismaniga proyeksiya kerakli shift/tensor amallari bilan mos ekani ko‘rsatiladi.
8. Bu moslik kvant ko‘paytma tuzilishiga qayta ko‘chirilib Theorem 2.19 olinadi.
9. K-theoretic Peterson izomorfizmi bilan birlashtirilib affine Grassmannian natijasi Theorem 2.23 chiqariladi.

Theorem 2.10: ratsional singulyarliklar

Tadqiqot:

\[ X_J(\beta,u) \rightarrow Q_J(\beta,u) \]

birational proper xaritasidan foydalanadi. \(X_J(\beta,u)\) ratsional singulyarliklarga ega ekani va mos generic fiber xususiyatlari ko‘rsatilgach, Kollár ning higher direct image mezoni qo‘llanadi.

Natija:

\[ R^\bullet (\pi_{J,\beta,u})_* \mathcal O_{X_J(\beta,u)} = \mathcal O_{Q_J(\beta,u)} \]

bo‘ladi.

Ushbu geometrik natija darhol Euler–Poincaré xarakteristikalarining tengligini beradi:

\[ \chi_q \left( X_J(\beta,u), \mathcal O_{X_J(\beta,u)}(\lambda) \right) = \chi_q \left( Q_J(\beta,u), \mathcal O_{Q_J(\beta,u)}(\lambda) \right). \]

Shunday qilib, stable-map/graph-space tomonidagi shift-operator ayniyatlarini quasi-map geometriyasiga ko‘chirish mumkin.

Theorem 2.13: ikki K-nazariya modelini aynanlashtirish

Lokalizatsiyalangan quantum \(K\)-guruhida tabiiy baza:

\[ [\mathcal O_{B_J(u)}]Q^\beta \]

bo‘lsa, semi-infinite tomonda:

\[ [\mathcal O_{Q_J(ut_\beta)}] \]

sinflari ishlatiladi.

Theorem 2.13 bu ikki bazani bevosita:

\[ \Psi_{J,q} \left( [\mathcal O_{B_J(u)}]Q^\beta \right) = [\mathcal O_{Q_J(ut_\beta)}] \]

bilan tenglashtiradi.

Yanada muhimi:

\[ \Psi_{J,q}(A_i(\bullet)) = \Xi_J(-\varpi_i) \left( \Psi_{J,q}(\bullet) \right) \]

ekanini isbotlaydi.

Bu tenglik kvant ko‘paytmani semi-infinite geometriyadagi chiziq dastasi amallari bilan moslashtiruvchi asosiy algebraik ko‘prikdir.

Theorem 2.19 ning asosiy g‘oyasi

To‘liq semi-infinite flag manifold uchun:

\[ K'_H(Q^{\mathrm{rat}}) \]

va qisman versiya uchun:

\[ K'_H(Q_J^{\mathrm{rat}}) \]

o‘rtasida Schubert ko‘pxilliklarini tabiiy parabolik proyeksiyalariga yuboruvchi surʼektiv:

\[ \phi_J: K'_H(Q^{\mathrm{rat}}) \twoheadrightarrow K'_H(Q_J^{\mathrm{rat}}) \]

xarita mavjud.

Tadqiqotning muhim Lemma 2.17 si \(\phi_J\) yadrosini tashkil qiluvchi muayyan quyi fazolar quantum shift operatorlari ostida barqaror ekanini ko‘rsatadi.

Bu barqarorlik klassik \(K\)-nazariyasida umumiy holda to‘g‘ri emas. Kvant \(K\)-nazariyasidagi chekli bo‘lish va vanishing xususiyatlari bu qadamning ishlashini taʼminlaydi.

Natijada \(\phi_J\), \(\Psi\) va \(\Psi_J\) orqali:

\[ qK_H(B) \twoheadrightarrow qK_H(B_J) \]

algebra xaritasiga aylanadi.

Oraliq paraboliklarda xaritaning faktorlanishi

\(J'\subset J\) bo‘lganda semi-infinite partial flag manifoldlarning tabiiy proyeksiyalari kompozitsiyalanadi. Shu sababli Theorem A dagi quantum \(K\)-guruhi bo‘linma xaritalari ham:

\[ qK_H(G/B) \twoheadrightarrow qK_H(G/P') \twoheadrightarrow qK_H(G/P) \]

ko‘rinishida kompozitsiyalanadi.

Bu xususiyat turli paraboliklarning quantum \(K\)-guruhlari o‘rtasidagi munosabat bir martalik tasodif emas, balki mos bo‘linma tizimi ekanini ko‘rsatadi.

Noncommutative variant

Manbaning Corollary 2.20 natijasi \(q\)-o‘zgaruvchini saqlaydigan noncommutative tuzilma uchun ham shunga o‘xshash surʼektiv morfizm mavjudligini ko‘rsatadi.

Xarita:

\[ [\mathcal O_B(w)]Q^\beta \longmapsto [\mathcal O_{B_J([w]_J)}] Q^{[\beta]_J} \]

ko‘rinishida ishlaydi va \(i\in J^c\) uchun \(A_i(q)\) operatorlarining taʼsirini intertwine qiladi.

Shunday qilib, asosiy mekanizm faqat \(q=1\) klassiklashtirilgan quantum product darajasida emas, shift-operator tuzilishining yanada nozik \(q\)-deformatsiya darajasida ham saqlanadi.

Affine Grassmannian natijasi

Theorem 2.22 da ishlatilgan \(K\)-nazariy Peterson izomorfizmi:

\[ \Phi: (K_H(\mathrm{Gr})_{\mathrm{loc}},\odot) \xrightarrow{\sim} (qK_H(B)_{\mathrm{loc}},\star) \]

ko‘rinishidadir.

Theorem 2.19 bilan kompozitsiya:

\[ \eta_J: (K_H(\mathrm{Gr})_{\mathrm{loc}},\odot) \twoheadrightarrow (qK_H(B_J)_{\mathrm{loc}},\star) \]

xaritasini beradi.

Schubert sinflari uchun:

\[ \eta_J \left( [\mathcal O_{\mathrm{Gr}_{ut_{\beta_1}}}] \odot [\mathcal O_{\mathrm{Gr}_{t_{\beta_2}}}]^{-1} \right) = [\mathcal O_{B_J([u]_J)}] Q^{[\beta_1-\beta_2]_J}. \]

Bu natija qisman bayroq quantum \(K\)-nazariyasini affine Grassmannian ning lokalizatsiyalangan equivariant \(K\)-gomologiyasidan ham bo‘linma sifatida ko‘rish mumkinligini ko‘rsatadi.

\(G=SL(3)\) misoli

Tadqiqotning so‘nggi bo‘limi umumiy teoremani:

\[ G=SL(3) \]

holatida konkretlashtiradi.

Bu holda:

\[ W=\langle s_1,s_2\rangle\cong S_3, \]

\[ P= \mathbb Z\varpi_1 \oplus \mathbb Z\varpi_2, \]

va:

\[ Q^\vee= \mathbb Z\alpha_1^\vee \oplus \mathbb Z\alpha_2^\vee. \]

To‘liq bayroq tomonidagi turli Schubert ko‘paytmalari Theorem 2.19 orqali \(J=\{1\}\) va \(J=\{2\}\) qisman bayroqlariga ko‘chiriladi.

Masalan, to‘liq bayroqda:

\[ [\mathcal O_B(s_1)] \star [\mathcal O_B(s_1)] \]

uchun Novikov hadlarini o‘z ichiga oluvchi quantum \(K\)-ko‘paytma mavjud bo‘lsa, \(J=\{1\}\) proyeksiyasida:

\[ [\mathcal O_{B_{\{1\}}}] \star [\mathcal O_{B_{\{1\}}}] = [\mathcal O_{B_{\{1\}}}] \]

olinadi.

Boshqa qisman bayroq yo‘nalishida esa Schubert tuzilishi butunlay qulamaydi va:

\[ [\mathcal O_{B_{\{2\}}(s_1)}] \star [\mathcal O_{B_{\{2\}}(s_1)}] = (1-e^{\alpha_2}) [\mathcal O_{B_{\{2\}}(s_1)}] + e^{\alpha_2} [\mathcal O_{B_{\{2\}}(s_2s_1)}] \]

ifodasi paydo bo‘ladi.

Bu misollar Theorem 2.19 ning abstrakt bo‘linma xaritasi Schubert multiplication jadvallarini haqiqatan hisoblanadigan ko‘rinishda qisman bayroq tomoniga o‘tkazishini ko‘rsatadi.

Eng chekka parabolik holat: nuqtaga tushish

\(P=G\) tanlanganda:

\[ G/P=pt. \]

Bu holda Theorem A:

\[ qK_H(G/P') \rightarrow qK_H(pt)=K_H(pt) \]

xaritasini beradi.

\(SL(3)\) misolida \(J=\{1,2\}\) uchun tadqiqot barcha tegishli Schubert sinflari va Novikov o‘zgaruvchilarining:

\[ [\mathcal O_B(w)]\equiv1, \qquad Q_i\equiv1 \]

ko‘rinishida bir nuqtadagi \(K\)-nazariyasiga kamaytirilishi bilan:

\[ 1\star1=1 \]

natijasini aniq tekshiradi.

Kvant kohomologiyasi bilan asosiy farq xulosasi

Tadqiqotning metodologik kuchli tomonlari

• To‘liq va qisman bayroq quantum \(K\)-guruhlari o‘rtasida ochiq va Schubert-mos algebra gomomorfizmini quradi.
• Semi-infinite partial flag manifoldlarni faqat yordamchi intuitiv vosita sifatida emas, isbotning algebraik-geometrik oraliq modeli sifatida ishlatadi.
• Quasi-map Schubert ko‘pxilliklari uchun ratsional singulyarlik natijalarini oladi.
• Shift operatorlari bilan chiziq dastasi tensor amallarini taqqoslaydi.
• Oraliq paraboliklar bilan mos faktorlanishni taʼminlaydi.
• Affine Grassmannian \(K\)-gomologiyasi bilan lokalizatsiyalangan Peterson tipidagi bog‘lanishni quradi.
• \(SL(3)\) misoli orqali umumiy tuzilishning Schubert multiplication jadvallaridagi taʼsirini konkretlashtiradi.

Cheklovlar va ochiq muammolar

Tadqiqot ochiq qoldirgan eng muhim savol ayrim Novikov o‘zgaruvchilarining:

\[ Q_i\mapsto1 \]

ixtisoslashtirishining geometrik maʼnosidir. Muallif ushbu mekanizmning exact geometrik talqini joriy tadqiqotda tushunilmaganini bevosita aytadi.

Bundan tashqari, maqola tuzilishi \(G\) ning bog‘langan, sodda va sodda bog‘langan algebraik guruh bo‘lishiga va \(G/P\) bayroq geometriyasiga tayanadi. Natijalar ixtiyoriy proyektiv ko‘pxilliklarning quantum \(K\)-nazariyalariga avtomatik tatbiq etilmaydi.

Tadqiqotda yangi eksperimental, statistik yoki hisoblash maʼlumotlari ishlab chiqilmaydi. Natijalar teorema va algebraik-geometrik isbot darajasidadir.

Nihoyat, xaritaning klassik \(K\)-nazariyasida bevosita analogi yo‘qligi quantum \(K\)-nazariyasining parabolik bo‘linma tuzilishi klassik nazariyaga qaraganda nozikroq ekanini ko‘rsatadi; ammo tadqiqot bu farqning barcha geometrik sabablarini tasniflamaydi.

Manba va Usul Haqida Izoh

To‘liq asl tadqiqot nomi: On quantum K-groups of partial flag manifolds

Muallif: Syu Kato.

Teng birinchi/teng hissa: Qo‘llanilmaydi; tadqiqot bitta muallifga tegishli.

Muassasa: Department of Mathematics, Kyoto University, Oiwake Kita-Shirakawa Sakyo, Kyoto 606-8502, Yaponiya.

Manba turi: Nazariy matematika tadqiqot maqolasi.

Yuklangan versiya: arXiv:1906.09343v4 [math.AG]. Yuklangan fayl tadqiqotning arXiv final versiyasidir.

Birinchi arXiv yuborilishi: 21-iyun 2019.

arXiv v2: 8-avgust 2020.

arXiv v3: 25-may 2025.

arXiv v4: 23-aprel 2026.

PDF dagi sana: 24-aprel 2026.

arXiv DOI: 10.48550/arXiv.1906.09343.

Taqriz holati: Yuklangan hujjat arXiv v4 versiyasi. Bibliografik tekshiruvda ayni tadqiqot 2026 yilda Journal de Mathématiques Pures et Appliquées jurnalida taqrizdan o‘tgan maqola sifatida nashr qilingani tasdiqlangan.

Taqrizdan o‘tgan nashr: Journal de Mathématiques Pures et Appliquées, Jild 212, 2026, Maqola 103916.

Taqrizdan o‘tgan nashr DOI: 10.1016/j.matpur.2026.103916.

Nashriyot: Elsevier.

MSC2010: 14N15; 20G44.

Manbada berilgan kalit so‘zlar: semi-infinite flag manifold; quantum K-group; partial flag manifold.

Asosiy matematik obyektlar: \(H\)-equivariant small quantum \(K\)-groups, Schubert varieties, quasi-map spaces, semi-infinite partial flag manifolds, affine Grassmannians, Novikov variables, \(q\)-shift operators va Pontryagin product.

Asosiy teorema: Theorem 2.19; \(qK_H(G/B)\) dan \(qK_H(G/P)\) ga Schubert sinflari va Novikov darajalari bilan mos surʼektiv kommutativ algebra gomomorfizmi.

Oraliq parabolik natija: \(B\subset P'\subset P\) bo‘lganda asosiy xarita \(qK_H(G/P')\) orqali faktorlanadi.

Affine Grassmannian natijasi: Theorem 2.23; lokalizatsiyadan keyin \(K_H(\mathrm{Gr})_{\mathrm{loc}}\) dan \(qK_H(G/P)_{\mathrm{loc}}\) ga surʼektiv \(K_H(pt)\)-algebra gomomorfizmi.

Asosiy geometrik yon natija: Theorem 2.10; parabolik quasi-map Schubert ko‘pxilliklari \(Q_J(\beta,u)\) eng yomon holatda ratsional singulyarliklarga ega va tegishli higher direct image lar yo‘qoladi.

Tajriba/maʼlumotlar to‘plami: Yo‘q. Tadqiqot sof nazariy matematika va teorema isboti tadqiqotidir.

Moliyalashtirish: JSPS KAKENHI JP26287004 va JP19H01782 hamda JSPS Grant-in-Aid for Challenging Research (Exploratory) 24K21192 tomonidan qisman qo‘llab-quvvatlangan.

Tashakkur: Muallif foydali suhbatlar uchun Mark Shimozono ga, foydali muhokamalar uchun Leonard Mihalcea ga; izohlar uchun Thomas Lam va Changzheng Li ga minnatdorlik bildiradi.

Etika kengashi / xabardor qilingan rozilik: Qo‘llanilmaydi; inson, hayvon yoki klinik data ishlatilmagan.

Maʼlumotlar mavjudligi: Eksperimental yoki kuzatuv maʼlumotlar to‘plami mavjud emas.

Versiya va nashrga sodiqlik izohi

Ushbu Verianla maqolasining ilmiy mazmuni yuklangan 21 sahifalik arXiv v4 matniga asoslanadi. Taqrizdan o‘tgan jurnalning 2026 yilgi nashri faqat tadqiqot identifikatori va joriy nashr holatini bibliografik tekshirish uchun ishlatilgan. Nashriyot versiyasida bo‘lishi mumkin bo‘lgan terish yoki tahririy o‘zgarishlar yuklangan manbada bordek matnga qo‘shilmagan.

arXiv tarixida v1–v4 orasida uzoq reviziya jarayoni mavjud. Shu sababli 2019 yildagi birinchi versiya bilan yuklangan 2026 v4 bir xil matn deb faraz qilinmasligi kerak. Ushbu maqolada asos qilib olingan ilmiy versiya v4 hisoblanadi.

Ilmiy talqin chegarasi

Bu yerdagi “quantum” tushunchasi kvant kompyuter, qubit yoki kvant algoritmi degani emas. Quantum \(K\)-theory algebraik geometriya va enumerativ geometriya kontekstida Gromov–Witten turidagi egri sanashlarning \(K\)-nazariy deformatsiyasidir.

Theorem 2.19 ning \(Q_i\mapsto1\) xatti-harakatining geometrik maʼnosi manbada yechilmagan. Shu sababli bu ixtisoslashtirishning fizik, kategorik yoki geometrik sababi haqida manbadan tashqari qatʼiy tushuntirish berilmasligi kerak.

Bundan tashqari, natija klassik equivariant \(K\)-nazariyasida ayni algebra bo‘linmasi mavjudligini ko‘rsatmaydi. Muallif bu quantum-origin xususiyat ekanini ochiq taʼkidlaydi.