Χρήστης:Evaggelia 1/πρόχειρο
Στα μαθηματικά , ειδικότερα στην αλγεβρική τοπολογία , διαφορική γεωμετρία και Αλγεβρική γεωμετρία , οι Chern κατηγορίες είναι χαρακτηριστικές κατηγορίες που σχετίζονται με πολύπλοκες δέσμες φορέα .
Οι κατηγορίες Chern εισήχθησαν από Shiing-Shen Chern ( 1946 ).
Γεωμετρική προσέγγιση[Επεξεργασία | επεξεργασία κώδικα]
Βασική ιδέα και το κίνητρο[Επεξεργασία | επεξεργασία κώδικα]
Οι κατηγορίες Chern είναι χαρακτηριστικές κατηγορίες. Είναι topological invariants που σχετίζονται με δέσμες φορέα σε μια ομαλή πολλαπλή. Το ζήτημα του κατά πόσον δύο φαινομενικά διαφορετικές δέσμες φορέας είναι το ίδιο μπορεί να είναι αρκετά δύσκολο να απαντηθεί. Οι τάξεις Chern παρέχουν ένα απλό τεστ: αν οι Chern τάξεις ενός ζεύγους δεσμών φορέα δεν συμφωνούν, τότε οι διανυσματικές δέσμες είναι διαφορετικές. Το αντίστροφο, ωστόσο, δεν ισχύει.
Στην τοπολογία, διαφορική γεωμετρία και Αλγεβρική γεωμετρία, είναι συχνά σημαντικό να μετρηθεί πόσες γραμμικά ανεξάρτητες ενότητες έχει ένας φορέας δέσμη. Οι κατηγορίες Chern προσφέρουν κάποιες πληροφορίες σχετικά με αυτό, για παράδειγμα, το θεώρημα Riemann-Roch και το θεώρημα του δείκτη Atiyah-Singer
Οι τάξεις Chern είναι επίσης εφικτό να υπολογιστούν στην πράξη. Στη διαφορική γεωμετρία (και με ορισμένους τύπους από Αλγεβρική γεωμετρία), οι τάξεις Chern μπορούν να εκφραστούν ως πολυώνυμα στους συντελεστές της μορφής καμπυλότητας .
Η κατασκευή των κατηγοριών Chern[Επεξεργασία | επεξεργασία κώδικα]
Υπάρχουν διάφοροι τρόποι προσέγγισης του θέματος, καθένας από τους οποίους εστιάζει σε μια ελαφρώς διαφορετική πτυχή της κατηγορίας Chern.
Η αρχική προσέγγιση στις κατηγορίες Chern ήταν μέσω της Αλγεβρικής Τοπολογίας: οι τάξεις Chern προκύπτουν μέσω της ομοτοπικής θεωρίας η οποία παρέχει μια χαρτογράφηση που σχετίζεται με έναν χώρο V σε ένα χώρο ταξινόμησης (ένας άπειρος σε Grassmannian αυτή την περίπτωση). Για κάθε διανυσματική δέσμη V πάνω από ένα συλλέκτη Μ , υπάρχει μια αντιστοίχιση της f από το Μ προς το χώρο διαλογής, έτσι ώστε η δέσμη V είναι ίση με την pullback , με f , μιας καθολικής δέσμης πάνω από το χώρο διαλογής, και τις τάξεις Chern του V μπορεί επομένως να οριστεί ως η υποχώρηση των Chern τάξεων της καθολικής δέσμης. Αυτές οι καθολικές τάξεις Chern με τη σειρά τους μπορούν να γραφτούν ρητά από την άποψη των κύκλων Schubert
Μπορεί να αποδειχθεί ότι για κάθε δύο αντιστοιχίσεις f , g από το Μ προς το χώρο διαλογής των οποίων pullbacks ανήκουν στην ίδια δέσμη V , οι αντιστοιχίσεις πρέπει να είναι homotopic. Ως εκ τούτου, η υποχώρηση είτε f ή g οποιασδήποτε γενικής κατηγορίας Chern σε μια κατηγορία cohomology του Μ πρέπει να είναι της ίδιας τάξης. Αυτό δείχνει ότι οι Chern τάξεις V είναι ακριβώς καθορισμένες.
Η προσέγγιση που χρησιμοποιείται στη διαφορική γεωμετρία: οι κατηγορίες Chern, μέσω της προσέγγισης καμπυλότητας που περιγράφεται κατά κύριο λόγο σε αυτό το άρθρο, ‘εδειξε ότι ο προγενέστερος ορισμός ήταν στην πραγματικότητα ισοδύναμος με αυτόν της προσέγγισης της καμπυλότητας. Η προκύπτουσα θεωρία είναι γνωστή ως θεωρία Chern-Weil .
Υπάρχει επίσης μια προσέγγιση του Alexander Grothendieck η οποία δείχνει ότι αξιωματικά αρκεί να οριστεί μόνο στην περίπτωση μιας ευθείας δέσμης.
Οι τάξεις Chern προκύπτουν φυσικά από την Αλγεβρική γεωμετρία . Οι γενικευμένες κατηγορίες Chern στην αλγεβρική γεωμετρία μπορούν να οριστούν ως δέσμες φορέα σε οποιαδήποτε ομαλή ποικιλία. Οι αλγεβρο-γεωμετρικές τάξεις Chern δεν απαιτούν το υποκειμενικό πεδίο για να έχουν οποιεσδήποτε ειδικές ιδιότητες. Ειδικότερα, ο φορέας δέσμης δεν χρειάζεται κατ 'ανάγκη να είναι περίπλοκος.
Ανεξάρτητα από το συγκεκριμένο παράδειγμα ,η (διαισθητική) έννοια της τάξης του Chern αφορά ‘’ απαιτούμενα μηδενικά ‘’ του τμήματος ενός φορέα για παράδειγμα το θεώρημα λέει πως δεν μπορεί να χτενίσει κάποιος μια ισόπεδη τριχωτή μπάλα . Αν και αυτό είναι ‘’τρόπος του λέγειν’’, σχετικά με έναν πραγματικό φορέα (οι τρίχες στη μπάλα είναι στην πραγματικότητα αντίγραφα μιας νοητής γραμμής).Υπάρχουν γενικεύσεις στις οποίες οι τρίχες είναι σύνολο (βλέπε παράδειγμα του θεωρήματος, στην πολύπλοκη μαλλιαρή μπάλα παρακάτω ) , ή η προβολή μιας διάστασης σε πολλούς άλλους τομείς.
Βλ.Chern–Simons για περισσότερες πληροφορίες .
Οι Chern κατηγορίες των ευθείων δεσμών [Επεξεργασία | επεξεργασία κώδικα]
(Ας υποθέσουμε Χ έναν τοπολογικό χώρο έχοντας τον ομοτοπικό τύπο του CW συμπλέγματος.)
Μια σημαντική ειδική περίπτωση προκύπτει όταν το V είναι μια ευθεία δέσμη. Τότε, η μόνη μη-τετριμένη κατηγορία Chern είναι η πρώτη η οποία είναι στοιχείο της δεύτερης ομάδας cohomology* του δεδομένου Χ. Αφού είναι πρωταρχική κατηγορία Chern ισούται με την κατηγορία Όιλερ της δέσμης.
Η πρώτη κατηγορία Chern αποδεικνύεται ότι είναι πλήρης-αναλλοίωτη με την οποία ταξινομούνται πολύπλοκες ευθείες δέσμες, από πλευράς τοπολογίας. Δηλαδή υπάρχει μια αμφιμονοσήμαντη αντιστοιχία μεταξύ των κατηγοριών ισόμορφων ευθειών δεσμών πάνω από το Χ και τα στοιχεία του H2(X;Z) τα οποία έχουν κοινό σημείο σε μια ευθεία δέσμη πρώτης κατηγορίας Chern. Επιπλέον, αυτή η αμφιμονοσήμαντη ομάδα είναι και ομόμορφη (άρα ισόμορφη)
- ;
Το γινόμενο των σύνθετων ευθειών δεσμών αντιστοιχεί σε πρόσθεση των δεύτερων ομοτοπικών ομάδων.
Στην αλγεβρική γεωμετρία αυτή η ταξινόμηση των σύνθετων (τάξη ισομορφισμού) ομάδων ευθειών δεσμών της πρώτης κατηγορίας Chern είναι μια πρώιμη προσέγγιση για την ταξινόμηση (τάξεις ισομορφισμού) των ομοτοπικών ευθειών δεσμών με γραμμικές κλάσεις ισοδυναμίας διαιρετών.
Για σύνθετες διανυσματικές δέσμες συντεταγμένων μεγαλύτερων του ενός ,οι κατηγορίες Chern δεν είναι πλήρεις και αναλλοίωτες.
Κατασκευή[Επεξεργασία | επεξεργασία κώδικα]
Μέσω της Chern-Weil θεωρίας [Επεξεργασία | επεξεργασία κώδικα]
Δοσμένης μιας ομάδας ερμιτιανών διανυσματικών δεσμών V από σύνθετες βαθμίδες πάνω σε ομαλή πολλαπλή Μ, ένας εκπρόσωπος από κάθε κατηγορία Chern (ονομάζεται επίσης μορφή Chern) ck(V) δίνονται ως οι συντελεστές των χαρακτηριστικών πολυωνύμων της καμπυλωτής μορφής Ω του V.
Ο βασικός παράγοντας βρίσκεται στο δακτύλιο των nxn πινάκων των οποίων οι καταχωρήσεις είναι πολυώνυμα σε t με συντελεστές στην commutative* άλγεβρα, ακόμη και πολύπλοκων διαφορικών μορφών σε Μ. Η μορφή καμπυλότητας Ω της V ορίζεται ως
![{\displaystyle \Omega =d\omega +{\tfrac {1}{2}}[\omega ,\omega ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d36169f241b8518a1ac332c28e6338b535cf5af)
Με ω το ως προς τι παραγωγίζεται και d η εξωτερική παραγώγιση μέσω της ίδιας έκφρασης μέσα στην οποία ω είναι μια μετρίσιμη μορφή από την μετρήσιμη ομάδα του V. Η μεταβλητή t χρησιμοποιείται εδώ μόνο ως αόριστη για να γενικοποιηθεί το αποτέλεσμα από την ορίζουσα και να οριστεί ένας Ι nxn πίνακας που ονομάζεται ταυτοτικός πίνακας.
Για να πούμε ότι η έκφραση που δόθηκε είναι ένας εκπρόσωπος της κατηγορίας Chern δείχνει ότι «κατηγορία» εδώ σημαίνει τουλάχιστον πρόσθεση από μια ακριβή διαφορική μορφή. Δηλαδή οι κατηγορίες Chern είναι cohomology* κατηγορίες. Μπορεί να δειχθεί ότι οι cohomology* κατηγορίες της μορφής Chern δεν εξαρτώνται από την επιλογή της σύνδεσης του V.
Χρησιμοποιώντας τον ταυτοτικό πίνακα tr(ln(x))=ln(det(x)) και την σειρά Maclaurin*για ln(x=1), αυτήν την έκφραση της μορφής Chern τη βρίσκουμε μεγενθυμένη ως
![{\displaystyle \sum _{k}c_{k}(V)t^{k}=\left[I+i{\frac {\mathrm {tr} (\Omega )}{2\pi }}t+{\frac {\mathrm {tr} (\Omega ^{2})-\mathrm {tr} (\Omega )^{2}}{8\pi ^{2}}}t^{2}+i{\frac {-2\mathrm {tr} (\Omega ^{3})+3\mathrm {tr} (\Omega ^{2})\mathrm {tr} (\Omega )-\mathrm {tr} (\Omega )^{3}}{48\pi ^{3}}}t^{3}+\cdots \right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59c15f6af93ba119ded46890d1c02f1ba213f334)