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

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

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

Ορισμός

Ως συνέπεια των σχέσεων ορισμού της, η κβαντική ομάδα  μπορεί να θεωρηθεί ως μια άλγεβρα Χοπφ πάνω στο σώμα όλων των ρητών συναρτήσεων ενός απροσδιόριστου q πάνω στο , που συμβολίζεται .

Για απλή ρίζα  και μη αρνητικό ακέραιο , ορίζουμε

Σε μια ολοκληρώσιμη  module  , και για βάρος , ένα διάνυσμα  (δηλαδή ένα διάνυσμα  στο  με βάρος ) μπορεί να αναλυθεί μοναδικά στα αθροίσματα

όπου , ,  μόνο αν , και  μόνο αν .

Γραμμικές απεικονίσεις  μπορούν να οριστούν στο  ως εξής

Έστω  η ακέραια περιοχή όλων των ρητών συναρτήσεων στο  που είναι κανονικές στο  (δηλ.  μια ρητή συνάρτηση  είναι στοιχείο του  αν και μόνο αν υπάρχουν πολυώνυμα  και  στον πολυωνυμικό δακτύλιο  τέτοια ώστε , και ).  

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

< είναι ένα ελεύθερο -υπο module  του  τέτοιο ώστε 
 είναι μια -βάση του διανυσματικού χώρου  πάνω από 
 και , όπου  και 
 και 
 και 

Για να το θέσουμε αυτό σε ένα πιο ανεπίσημο πλαίσιο, οι δράσεις των  και  είναι γενικά μοναδικές στο  σε ένα ολοκληρώσιμο module .  Οι γραμμικές απεικονίσεις  και  στo module εισάγονται έτσι ώστε οι δράσεις των  και  να είναι κανονικές σε  στo module.  Υπάρχει μια -βάση διανυσμάτων βάρους  για το , ως προς την οποία οι δράσεις των  και  είναι κανονικές στο  για όλα τα i.  To module τότε περιορίζεται στο ελεύθερο -σύνολο που παράγεται από τη βάση και τα διανύσματα της βάσης, το -υπο module και οι δράσεις των  και  αξιολογούνται στο .  Επιπλέον, η βάση μπορεί να επιλεγεί έτσι ώστε στο , για όλα τα , τα  και  αναπαρίστανται με αμοιβαίες μεταθέσεις και αντιστοιχούν διανύσματα βάσης σε διανύσματα βάσης ή 0.

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

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

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

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

Έστω  ένα ολοκληρώσιμο module με κρυσταλλική βάση  και  ένα ολοκληρώσιμο module με κρυσταλλική βάση .  Για κρυσταλλικές βάσεις, το συμπαράγωγο , που δίνεται από τη σχέση 

υιοθετείται.  To ολοκληρώσιμo module  έχει κρυσταλλική βάση , όπου .  Για ένα διάνυσμα βάσης , ορίζουμε 

Οι δράσεις των  και  στο  δίνονται από τις ακόλουθες σχέσεις

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

Δείτε επίσης

 Field Arithmetic
 Θεώρημα δείκτη Ατίγια-Σίνγκερ
Τοπολογία
 Ακέραια περιοχή
 Γράφος
 Αλεξάντερ Γκρότεντικ

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

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Andreas Gathmann - Algebraic Geometry (SS 2014)
 Galois Groups and Fundamental Groups
 Cohomological Theory of Crystals Over Function Fields
 Crystal Bases: Representations And Combinatorics
 Recent Developments in Quantum Affine Algebras and Related Topics
 Introduction to Quantum Groups and Crystal Bases
 Abelian Varieties and Number Theory 
 p-Adic Automorphic Forms on Shimura Varieties

Δημοσιεύσεις 
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.






  (letter to Atiyah, Oct. 14 1963)

Παραπομπές



Κατηγορία:Αλγεβρική γεωμετρία 
Κατηγορία:Θεωρία αναπαραστάσεων