Κρυστάλλινη βάση

Δεν πρέπει να συγχέεται με το άλλο θέμα: Κρύσταλλος (μαθηματικά)

Μια κρυσταλλική βάση^[1] για μια απεικόνιση μιας κβαντικής ομάδας σε ένα διανυσματικό χώρο $\mathbb {Q} (v)$ δεν είναι μια βάση αυτού του διανυσματικού χώρου αλλά μάλλον μια $\mathbb {Q}$ -βάση του $L/vL$ όπου $L$ είναι ένα $\mathbb {Q} (v)$ -πλέγμα σε αυτόν τον διανυσματικό χώρο. Οι κρυσταλλικές βάσεις εμφανίστηκαν στην εργασία του Κασιβάρα ^[2](Kashiwara (1990)) και επίσης στην εργασία του Λούστιγκ^[3] (Lusztig (1990). Μπορούν να θεωρηθούν ως εξειδικεύσεις ως $v\to 0$ της κανονικής βάσης^[4] που ορίζεται από τον Λούστιγκ (Lusztig (1990)).

Ορισμός

Ως συνέπεια των σχέσεων ορισμού της, η κβαντική ομάδα $U_{q}(G)$ μπορεί να θεωρηθεί ως μια άλγεβρα Χοπφ πάνω στο σώμα όλων των ρητών συναρτήσεων ενός απροσδιόριστου q πάνω στο $\mathbb {Q}$ , που συμβολίζεται $\mathbb {Q} (q)$ .^[5]

Για απλή ρίζα $\alpha _{i}$ και μη αρνητικό ακέραιο $n$ , ορίζουμε

{\begin{aligned}e_{i}^{(0)}=f_{i}^{(0)}&=1\\e_{i}^{(n)}&={\frac {e_{i}^{n}}{[n]_{q_{i}}!}}\\[6pt]f_{i}^{(n)}&={\frac {f_{i}^{n}}{[n]_{q_{i}}!}}\end{aligned}}

Σε μια ολοκληρώσιμη module $M$ , και για βάρος $\lambda$ , ένα διάνυσμα $u\in M_{\lambda }$ (δηλαδή ένα διάνυσμα $u$ στο $M$ με βάρος $\lambda$ ) μπορεί να αναλυθεί μοναδικά στα αθροίσματα

u=\sum _{n=0}^{\infty }f_{i}^{(n)}u_{n}=\sum _{n=0}^{\infty }e_{i}^{(n)}v_{n},

όπου $u_{n}\in \ker(e_{i})\cap M_{\lambda +n\alpha _{i}}$ , $v_{n}\in \ker(f_{i})\cap M_{\lambda -n\alpha _{i}}$ , $u_{n}\neq 0$ μόνο αν $n+{\frac {2(\lambda ,\alpha _{i})}{(\alpha _{i},\alpha _{i})}}\geq 0$ , και $v_{n}\neq 0$ μόνο αν $n-{\frac {2(\lambda ,\alpha _{i})}{(\alpha _{i},\alpha _{i})}}\geq 0$ .

Γραμμικές απεικονίσεις ${\tilde {e}}_{i},{\tilde {f}}_{i}:M\to M$ μπορούν να οριστούν στο $M_{\lambda }$ ως εξής

{\tilde {e}}_{i}u=\sum _{n=1}^{\infty }f_{i}^{(n-1)}u_{n}=\sum _{n=0}^{\infty }e_{i}^{(n+1)}v_{n},

{\tilde {f}}_{i}u=\sum _{n=0}^{\infty }f_{i}^{(n+1)}u_{n}=\sum _{n=1}^{\infty }e_{i}^{(n-1)}v_{n}.

Έστω $A$ η ακέραια περιοχή όλων των ρητών συναρτήσεων στο $\mathbb {Q} (q)$ που είναι κανονικές στο $q=0$ (δηλ. μια ρητή συνάρτηση $f(q)$ είναι στοιχείο του $A$ αν και μόνο αν υπάρχουν πολυώνυμα $g(q)$ και $h(q)$ στον πολυωνυμικό δακτύλιο $\mathbb {Q} [q]$ τέτοια ώστε $h(0)\neq 0$ , και $f(q)=g(q)/h(q)$ ).

Μια κρυσταλλική βάση για το $M$ είναι ένα διατεταγμένο ζεύγος $(L,B)$ , τέτοιο ώστε

< $L$ είναι ένα ελεύθερο $A$ -υπο module του $M$ τέτοιο ώστε $M=\mathbb {Q} (q)\otimes _{A}L;$
$B$ είναι μια $\mathbb {Q}$ -βάση του διανυσματικού χώρου $L/qL$ πάνω από $\mathbb {Q} ,$
$L=\oplus _{\lambda }L_{\lambda }$ και $B=\sqcup _{\lambda }B_{\lambda }$ , όπου $L_{\lambda }=L\cap M_{\lambda }$ και $B_{\lambda }=B\cap (L_{\lambda }/qL_{\lambda }),$
${\tilde {e}}_{i}L\subset L$ και ${\tilde {f}}_{i}L\subset L{\text{ για όλα τα }}i,$
${\tilde {e}}_{i}B\subset B\cup \{0\}$ και ${\tilde {f}}_{i}B\subset B\cup \{0\}{\text{ για όλα τα }}i,$
${\text{για όλα τα }}b\in B{\text{ και }}b'\in B,{\text{ και για όλα τα }}i,\quad {\tilde {e}}_{i}b=b'{\text{ εάν και μόνο εάν }}{\tilde {f}}_{i}b'=b.$

Για να το θέσουμε αυτό σε ένα πιο ανεπίσημο πλαίσιο, οι δράσεις των $e_{i}f_{i}$ και $f_{i}e_{i}$ είναι γενικά μοναδικές στο $q=0$ σε ένα ολοκληρώσιμο module $M$ . Οι γραμμικές απεικονίσεις ${\tilde {e}}_{i}$ και ${\tilde {f}}_{i}$ στo module εισάγονται έτσι ώστε οι δράσεις των ${\tilde {e}}_{i}{\tilde {f}}_{i}$ και ${\tilde {f}}_{i}{\tilde {e}}_{i}$ να είναι κανονικές σε $q=0$ στo module. Υπάρχει μια $\mathbb {Q} (q)$ -βάση διανυσμάτων βάρους ${\tilde {B}}$ για το $M$ , ως προς την οποία οι δράσεις των ${\tilde {e}}_{i}$ και ${\tilde {f}}_{i}$ είναι κανονικές στο $q=0$ για όλα τα i. To module τότε περιορίζεται στο ελεύθερο $A$ -σύνολο που παράγεται από τη βάση και τα διανύσματα της βάσης, το $A$ -υπο module και οι δράσεις των ${\tilde {e}}_{i}$ και ${\tilde {f}}_{i}$ αξιολογούνται στο $q=0$ . Επιπλέον, η βάση μπορεί να επιλεγεί έτσι ώστε στο $q=0$ , για όλα τα $i$ , τα ${\tilde {e}}_{i}$ και ${\tilde {f}}_{i}$ αναπαρίστανται με αμοιβαίες μεταθέσεις και αντιστοιχούν διανύσματα βάσης σε διανύσματα βάσης ή 0.

Μια κρυσταλλική βάση μπορεί να αναπαρασταθεί με ένα κατευθυνόμενο γράφημα με επισημασμένες ακμές. Κάθε κορυφή του γραφήματος αντιπροσωπεύει ένα στοιχείο της $\mathbb {Q}$ -βάσης $B$ της $L/qL$ , και μια κατευθυνόμενη ακμή, που επισημαίνεται με i και κατευθύνεται από την κορυφή $v_{1}$ στην κορυφή $v_{2}$ , αντιπροσωπεύει ότι $b_{2}={\tilde {f}}_{i}b_{1}$ (και, ισοδύναμα, ότι $b_{1}={\tilde {e}}_{i}b_{2}$ ), όπου $b_{1}$ είναι το στοιχείο βάσης που αντιπροσωπεύεται από την $v_{1}$ , και $b_{2}$ είναι το στοιχείο βάσης που αντιπροσωπεύεται από την $v_{2}$ . Το γράφημα καθορίζει πλήρως τις δράσεις των ${\tilde {e}}_{i}$ και ${\tilde {f}}_{i}$ στο $q=0$ . Αν ένα ολοκληρώσιμο module έχει μια κρυσταλλική βάση, τότε το module είναι μη αναγώγιμο αν και μόνο αν το γράφημα που αναπαριστά την κρυσταλλική βάση είναι συνδεδεμένο (ένα γράφημα ονομάζεται "συνδεδεμένο" αν το σύνολο των κορυφών δεν μπορεί να χωριστεί στην ένωση μη τετριμμένων διαχωρισμένων υποσυνόλων $V_{1}$ και $V_{2}$ έτσι ώστε να μην υπάρχουν ακμές που να συνδέουν οποιαδήποτε κορυφή στο $V_{1}$ με οποιαδήποτε κορυφή στο $V_{2}$ ).

Για κάθε ολοκληρώσιμο module (πρότυπο) με κρυσταλλική βάση, το φάσμα βάρους για την κρυσταλλική βάση είναι το ίδιο με το φάσμα βάρους για το module, και επομένως το φάσμα βάρους για την κρυσταλλική βάση είναι το ίδιο με το φάσμα βάρους για το αντίστοιχο module της κατάλληλης άλγεβρας Κακ-Μούντι. Οι πολλαπλότητες των βαρών στην κρυσταλλική βάση είναι επίσης ίδιες με τις πολλαπλότητές τους στον αντίστοιχο module της κατάλληλης άλγεβρας Κακ-Μούντι.

Είναι ένα θεώρημα του Κασιβάρα ότι κάθε ολοκληρώσιμο module υψηλότερων βαρών έχει μια κρυσταλλική βάση. Ομοίως, κάθε ολοκληρώσιμη μονάδα μικρότερου βάρους έχει κρυσταλλική βάση.

Τανυστικά παράγωγα κρυστάλλινων βάσεων

Έστω $M$ ένα ολοκληρώσιμο module με κρυσταλλική βάση $(L,B)$ και $M'$ ένα ολοκληρώσιμο module με κρυσταλλική βάση $(L',B')$ . Για κρυσταλλικές βάσεις, το συμπαράγωγο $\Delta$ , που δίνεται από τη σχέση

{\begin{aligned}\Delta (k_{\lambda })&=k_{\lambda }\otimes k_{\lambda }\\\Delta (e_{i})&=e_{i}\otimes k_{i}^{-1}+1\otimes e_{i}\\\Delta (f_{i})&=f_{i}\otimes 1+k_{i}\otimes f_{i}\end{aligned}}

υιοθετείται. To ολοκληρώσιμo module $M\otimes _{\mathbb {Q} (q)}M'$ έχει κρυσταλλική βάση $(L\otimes _{A}L',B\otimes B')$ , όπου $B\otimes B'=\left\{b\otimes _{\mathbb {Q} }b':b\in B,\ b'\in B'\right\}$ . Για ένα διάνυσμα βάσης $b\in B$ , ορίζουμε

\varepsilon _{i}(b)=\max \left\{n\geq 0:{\tilde {e}}_{i}^{n}b\neq 0\right\}

\varphi _{i}(b)=\max \left\{n\geq 0:{\tilde {f}}_{i}^{n}b\neq 0\right\}

Οι δράσεις των ${\tilde {e}}_{i}$ και ${\tilde {f}}_{i}$ στο $b\otimes b'$ δίνονται από τις ακόλουθες σχέσεις

{\begin{aligned}{\tilde {e}}_{i}(b\otimes b')&={\begin{cases}{\tilde {e}}_{i}b\otimes b'&\varphi _{i}(b)\geq \varepsilon _{i}(b')\\b\otimes {\tilde {e}}_{i}b'&\varphi _{i}(b)<\varepsilon _{i}(b')\end{cases}}\\{\tilde {f}}_{i}(b\otimes b')&={\begin{cases}{\tilde {f}}_{i}b\otimes b'&\varphi _{i}(b)>\varepsilon _{i}(b')\\b\otimes {\tilde {f}}_{i}b'&\varphi _{i}(b)\leq \varepsilon _{i}(b')\end{cases}}\end{aligned}}

Η ανάλυση του γινομένου δύο ολοκληρώσιμων modules (προτύπων) υψηλότερου βάρους σε μη αναγώγιμοι υπο modules προσδιορίζεται από την διάσπαση του γραφήματος της κρυσταλλικής βάσης στις συνδεδεμένες συνιστώσες του (δηλαδή προσδιορίζονται τα υψηλότερα βάρη των υπο modules και η πολλαπλότητα κάθε υψηλότερου βάρους).

Δείτε επίσης

Εξωτερικοί σύνδεσμοι

Δημοσιεύσεις

Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32. doi:10.1007/bf02732123. MR 0238860.
Bombieri, Enrico· Gubler, Walter (2006). Heights in Diophantine Geometry. New Mathematical Monographs. 4. Cambridge University Press. ISBN 978-0-521-71229-3. Zbl 1130.11034.
Hindry, Marc· Silverman, Joseph H. (2000). Diophantine Geometry: An Introduction. Graduate Texts in Mathematics. 201. ISBN 0-387-98981-1. Zbl 0948.11023.
Ogus, Arthur (1 December 1984). «F-isocrystals and de Rham cohomology II—Convergent isocrystals». Duke Mathematical Journal 51 (4). doi:10.1215/S0012-7094-84-05136-6.
Berthelot, Pierre (1974), Cohomologie cristalline des schémas de caractéristique p>0, Lecture Notes in Mathematics, Vol. 407, 407, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0068636, ISBN 978-3-540-06852-5
Berthelot, Pierre; Ogus, Arthur (1978), Notes on crystalline cohomology, Princeton University Press, ISBN 978-0-691-08218-9
Berthelot, P.; Ogus, A. (June 1983). «F-isocrystals and de Rham cohomology. I». Inventiones Mathematicae 72 (2): 159–199. doi:10.1007/BF01389319.
Chambert-Loir, Antoine (1998), «Cohomologie cristalline: un survol», Expositiones Mathematicae 16 (4): 333–382, ISSN 0723-0869, http://perso.univ-rennes1.fr/antoine.chambert-loir/publications
Grothendieck, Alexander (1966a), «On the de Rham cohomology of algebraic varieties», Institut des Hautes Études Scientifiques. Publications Mathématiques 29 (29): 95–103, doi:10.1007/BF02684807, ISSN 0073-8301, http://www.numdam.org/item?id=PMIHES_1966__29__95_0 (letter to Atiyah, Oct. 14 1963)
Grothendieck, Alexander (1966b), Letter to J. Tate, https://agrothendieck.github.io/divers/LGT66scan.pdf
Jantzen, Jens Carsten (1996), Lectures on quantum groups, Graduate Studies in Mathematic, 6, Providence, R.I.: :American Mathematical Society, ISBN 978-0-8218-0478-0, https://books.google.com/books?id=uOGqPjjVt0AC
Kashiwara, Masaki (1990), «Crystalizing the q-analogue of universal enveloping algebras», Communications in Mathematical Physics 133 (2): 249–260, doi:10.1007/bf02097367, ISSN 0010-3616, https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-133/issue-2/Crystalizing-the-q-analogue-of-universal-enveloping-algebras/cmp/1104201397.full
Lusztig, G. (1990), «Canonical bases arising from quantized enveloping algebras», Journal of the American Mathematical Society 3 (2): 447–498, doi:10.2307/1990961, ISSN 0894-0347

Παραπομπές

↑ «crystal basis in nLab». ncatlab.org. Ανακτήθηκε στις 3 Ιουλίου 2024.
↑ «Masaki Kashiwara in nLab». ncatlab.org (στα Αγγλικά). Ανακτήθηκε στις 3 Ιουλίου 2024.
↑ «George Lusztig in nLab». ncatlab.org (στα Αγγλικά). Ανακτήθηκε στις 3 Ιουλίου 2024.
↑ Lusztig, G. (1990). «Canonical bases arising from quantized enveloping algebras» (στα αγγλικά). Journal of the American Mathematical Society 3 (2): 447–498. doi:10.1090/S0894-0347-1990-1035415-6. ISSN 0894-0347. https://www.ams.org/jams/1990-03-02/S0894-0347-1990-1035415-6/.
↑ Bump, Daniel· Schilling, Anne (17 Ιανουαρίου 2017). Crystal Bases: Representations And Combinatorics. World Scientific Publishing Company. ISBN 978-981-4733-46-5.

[1] «crystal basis in nLab». ncatlab.org. Ανακτήθηκε στις 3 Ιουλίου 2024.

[2] «Masaki Kashiwara in nLab». ncatlab.org (στα Αγγλικά). Ανακτήθηκε στις 3 Ιουλίου 2024.

[3] «George Lusztig in nLab». ncatlab.org (στα Αγγλικά). Ανακτήθηκε στις 3 Ιουλίου 2024.

[4] Lusztig, G. (1990). «Canonical bases arising from quantized enveloping algebras» (στα αγγλικά). Journal of the American Mathematical Society 3 (2): 447–498. doi:10.1090/S0894-0347-1990-1035415-6. ISSN 0894-0347. https://www.ams.org/jams/1990-03-02/S0894-0347-1990-1035415-6/.

[5] Bump, Daniel· Schilling, Anne (17 Ιανουαρίου 2017). Crystal Bases: Representations And Combinatorics. World Scientific Publishing Company. ISBN 978-981-4733-46-5.

[1]

[2]

[3]

[4]

[5]