Κλάσεις Τσερν

Στα μαθηματικά , ειδικότερα στην αλγεβρική τοπολογία , διαφορική γεωμετρία και Αλγεβρική γεωμετρία , οι **κλάσεις Τσερν** είναι χαρακτηριστικές κατηγορίες που σχετίζονται με πολύπλοκες δέσμες φορέα.

Οι κλάσες  Τσερν εισήχθησαν από τον Shiing-Shen  Τσερν το 1946.

## Γεωμετρική προσέγγιση

### Βασική ιδέα και το κίνητρο
Οι κλάσεις Τσερν είναι χαρακτηριστικές κατηγορίες. Είναι topological invariants που σχετίζονται με δέσμες φορέα σε μια ομαλή πολλαπλή. Το ζήτημα του κατά πόσον δύο φαινομενικά διαφορετικές δέσμες φορέας είναι το ίδιο μπορεί να είναι αρκετά δύσκολο να απαντηθεί. Οι τάξεις  Τσερν παρέχουν ένα απλό τεστ: αν οι  Τσερν τάξεις ενός ζεύγους δεσμών φορέα δεν συμφωνούν, τότε οι διανυσματικές δέσμες είναι διαφορετικές. Το αντίστροφο, ωστόσο, δεν ισχύει.

Στην τοπολογία, διαφορική γεωμετρία και Αλγεβρική γεωμετρία, είναι συχνά σημαντικό να μετρηθεί πόσες γραμμικά ανεξάρτητες ενότητες έχει ένας φορέας δέσμη. Οι κλάσεις Τσερν προσφέρουν κάποιες πληροφορίες σχετικά με αυτό, για παράδειγμα, το θεώρημαRiemann-Roch και τοθεώρημα του δείκτη Atiyah-Singer

Οι τάξεις Τσερν  είναι επίσης εφικτό να υπολογιστούν στην πράξη. Στη διαφορική γεωμετρία (και με ορισμένους τύπους από Αλγεβρική γεωμετρία), οι τάξεις  Τσερν μπορούν να εκφραστούν ως πολυώνυμα στους συντελεστές της μορφής καμπυλότητας .

### Η κατασκευή των κλάσεων  Τσερν
Υπάρχουν διάφοροι τρόποι προσέγγισης του θέματος, καθένας από τους οποίους εστιάζει σε μια ελαφρώς διαφορετική πτυχή της κατηγορίας Chern.

Η αρχική προσέγγιση στις  κλάσεις Τσερν ήταν μέσω της Αλγεβρικής Τοπολογίας: οι τάξεις Chern προκύπτουν μέσω της ομοτοπικής θεωρίας η οποία παρέχει μια χαρτογράφηση που σχετίζεται με έναν χώρο V σε ένα χώρο ταξινόμησης (ένας άπειρος  σε Grassmannian αυτή την περίπτωση). Για κάθε διανυσματική δέσμη V πάνω από ένα συλλέκτη Μ , υπάρχει μια αντιστοίχιση της f από το Μ προς το χώρο διαλογής, έτσι ώστε η δέσμη V είναι ίση με την  pullback , με f , μιας καθολικής δέσμης πάνω από το χώρο διαλογής, και τις τάξεις Τσερν του V μπορεί επομένως να οριστεί ως η υποχώρηση των  Τσερν τάξεων της καθολικής δέσμης. Αυτές οι καθολικές τάξεις Τσερν με τη σειρά τους μπορούν να γραφτούν ρητά από την άποψη των κύκλων Schubert

Μπορεί να αποδειχθεί ότι για κάθε δύο αντιστοιχίσεις  f , g από το Μ προς το χώρο διαλογής των οποίων pullbacks ανήκουν στην ίδια δέσμη V , οι αντιστοιχίσεις πρέπει να είναι homotopic. Ως εκ τούτου, η υποχώρηση είτε f ή g οποιασδήποτε γενικής κατηγορίας Chern σε μια κατηγορία cohomology του Μ πρέπει να είναι της ίδιας τάξης. Αυτό δείχνει ότι οι  κλάσεις Τσερν V είναι ακριβώς καθορισμένες.

Η προσέγγιση που χρησιμοποιείται στη διαφορική γεωμετρία: οι  κλάσεις Τσερν, μέσω της προσέγγισης καμπυλότητας που περιγράφεται κατά κύριο λόγο σε αυτό το άρθρο, ‘εδειξε ότι ο προγενέστερος ορισμός ήταν στην πραγματικότητα ισοδύναμος με αυτόν της προσέγγισης της καμπυλότητας. Η προκύπτουσα θεωρία είναι γνωστή ως θεωρία Chern-Weil .

Υπάρχει επίσης μια προσέγγιση τουAlexander Grothendieck η οποία δείχνει ότι αξιωματικά αρκεί να οριστεί μόνο στην περίπτωση μιας ευθείας δέσμης.

Οι τάξεις  Τσερν προκύπτουν φυσικά από την Αλγεβρική γεωμετρία . Οι γενικευμένες κλάσεις Τσερν στην αλγεβρική γεωμετρία μπορούν να οριστούν ως δέσμες φορέα σε οποιαδήποτε ομαλή ποικιλία. Οι αλγεβρο-γεωμετρικές τάξεις  Τσερν δεν απαιτούν το υποκειμενικό πεδίο για να έχουν οποιεσδήποτε ειδικές ιδιότητες. Ειδικότερα, ο φορέας δέσμης δεν χρειάζεται κατ 'ανάγκη να είναι περίπλοκος.

Ανεξάρτητα από το συγκεκριμένο παράδειγμα ,η (διαισθητική) έννοια  της τάξης του  Τσερν αφορά ‘’ απαιτούμενα μηδενικά ‘’ του τμήματος ενός φορέα για παράδειγμα το θεώρημα λέει πως δεν μπορεί να χτενίσει κάποιος μια ισόπεδη τριχωτή μπάλα .
Αν και αυτό είναι  ‘’τρόπος του λέγειν’’, σχετικά με έναν πραγματικό φορέα (οι τρίχες στη μπάλα είναι στην πραγματικότητα αντίγραφα μιας νοητής  γραμμής).Υπάρχουν γενικεύσεις στις οποίες οι τρίχες είναι σύνολο (βλέπε παράδειγμα του θεωρήματος, στην πολύπλοκη  μαλλιαρή μπάλα παρακάτω ) , ή η προβολή μιας διάστασης σε πολλούς άλλους τομείς.  

Βλ.Chern–Simons για περισσότερες πληροφορίες .

## Οι Chern κατηγορίες  των ευθείων δεσμών
(Ας υποθέσουμε Χ έναν τοπολογικό χώρο έχοντας τον ομοτοπικό τύπο του CW συμπλέγματος.)

Μια σημαντική ειδική περίπτωση προκύπτει όταν το V είναι μια ευθεία δέσμη.
Τότε, η μόνη μη-τετριμένη κατηγορία Chern είναι η πρώτη η οποία είναι στοιχείο της δεύτερης ομάδας cohomology* του δεδομένου Χ. Αφού είναι πρωταρχική κατηγορία Chern ισούται με την κατηγορία Όιλερ της δέσμης. 

 Η πρώτη κλάση  Τσερν αποδεικνύεται ότι είναι πλήρης-αναλλοίωτη με την οποία ταξινομούνται πολύπλοκες ευθείες δέσμες, από πλευράς τοπολογίας. Δηλαδή υπάρχει μια αμφιμονοσήμαντη αντιστοιχία μεταξύ των κατηγοριών ισόμορφων ευθειών δεσμών πάνω από το Χ και τα στοιχεία του *H*2(*X*;*Z*) τα οποία έχουν κοινό σημείο σε μια ευθεία δέσμη πρώτης κατηγορίας  Τσερν. Επιπλέον, αυτή η αμφιμονοσήμαντη ομάδα είναι και ομόμορφη (άρα ισόμορφη)
: c_1(L \otimes L') = c_1(L) + c_1(L');
Το γινόμενο των σύνθετων ευθειών δεσμών αντιστοιχεί σε πρόσθεση των δεύτερων ομοτοπικών ομάδων.

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

Για σύνθετες διανυσματικές δέσμες συντεταγμένων μεγαλύτερων του ενός ,οι κλάσεις  Τσερν  δεν είναι πλήρεις και αναλλοίωτες.

## Κατασκευή

### Μέσω της  [[Chern-Weil|Τσερν-Weil]] θεωρίας
Δοσμένης μιας ομάδας ερμιτιανών διανυσματικών δεσμών V από σύνθετες βαθμίδες πάνω σε ομαλή πολλαπλή Μ, ένας εκπρόσωπος από κάθε κατηγορία Chern (ονομάζεται επίσης μορφή Chern) ck(V) δίνονται ως οι συντελεστές των χαρακτηριστικών πολυωνύμων της καμπυλωτής μορφής Ω του V. 
: \det \left(\frac {it\Omega}{2\pi} +I\right) = \sum_k c_k(V) t^k
Ο βασικός παράγοντας βρίσκεται στο δακτύλιο των nxn πινάκων των οποίων οι καταχωρήσεις είναι πολυώνυμα σε t με συντελεστές στην commutative* άλγεβρα, ακόμη και πολύπλοκων διαφορικών μορφών σε Μ. Η μορφή καμπυλότητας Ω της V ορίζεται ως 
: \Omega=d\omega+\tfrac{1}{2}[\omega,\omega]
Με ω το ως προς τι παραγωγίζεται και d η εξωτερική παραγώγιση μέσω της ίδιας έκφρασης μέσα στην οποία ω είναι μια μετρήσιμη μορφή από την μετρήσιμη ομάδα του V. Η μεταβλητή  t χρησιμοποιείται εδώ μόνο ως αόριστη για να γενικοποιηθεί το αποτέλεσμα από την ορίζουσα και να οριστεί ένας Ι nxn πίνακας που ονομάζεται ταυτοτικός πίνακας.

Για να πούμε ότι η έκφραση που δόθηκε είναι ένας εκπρόσωπος της κατηγορίας  Chern δείχνει ότι «κατηγορία» εδώ σημαίνει τουλάχιστον πρόσθεση από μια ακριβή διαφορική μορφή. Δηλαδή οι κατηγορίες Chern  είναι ομολογικές  κατηγορίες. Μπορεί να δειχθεί ότι οι ομολογικές κατηγορίες της μορφής Chern δεν εξαρτώνται από την επιλογή της σύνδεσης του V. 

Χρησιμοποιώντας τον ταυτοτικό πίνακα tr(ln(x))=ln(det(x)) και την σειρά Maclaurin για ln(x=1), αυτήν την έκφραση της μορφής Chern τη βρίσκουμε μεγενθυμένη ως 
: \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].

### Μέσω της τάξης του Ὀιλερ
Οι κλάσεις Τσερν μπορούν να οριστούν και από τους όρους της κατηγορίας Όιλερ. Αυτή είναι μια προσέγγιση του βιβλίου των  Milnor και Stasheff και μας τονίζει τον ρόλο του προσανατολισμού των διανυσματικών δεσμών.  

Η βασική παρατήρηση είναι πως μια σύνθετη διανυσματική δέσμη έρχεται με ένα κανονικό προσανατολισμό ,τελικά, επειδή είναι συνδεδεμένο. Ως εκ τούτου, απλώς ορίζεται η κορυφαία κλάση Τσερν των δεσμών να είναι της τάξης του Όιλερ ( η τάξη Ὀιλερ του υποκειμένου, δέσμη πραγματικού φορέα) και οι λιγότερο χειριζόμενες κλάσεις  Τσερν  είναι ένα επαγωγικό μοτίβο).

Η ακριβής κατασκευή είναι ως εξής: η ιδέα είναι να γίνει αλλαγή βάσης για να πάρουμε μια δέσμη από ένα μικρότερο βαθμό . Θέτω π: E →B να είναι σύνθετη διανυσματική δέσμη από το paracompact χώρο Β. Σκεπτόμενοι πως ο Β είναι ενσωματωμένος σε Ε ως μηδενική ενότητα , θέτω ΄Β = Ε -Β και ορίζω νέα διανυσματική δέσμη** :<br>
**
***Ε΄--> Β***'
 Έτσι ώστε κάθε ίνα F να είναι το πηλίκο της  F του Ε από την ευθεία που εκτείνεται από ένα μη-μηδενικό διάνυσμα  v μέσα στο F (ένα σημείο του ‘Β καθορίζεται από την ίνα του F του Ε και ένα μη-μηδενικό διάνυσμα της F) .Τότε Έ έχει ένα μικρότερο βαθμό από ότι ο Ε. Από την αλληλουχία Gysin για τη δέσμη ίνα :
: \cdots \to \operatorname{H}^k(B; \mathbb{Z}) \overset{\pi|_{B'}^*} \to \operatorname{H}^k(B'; \mathbb{Z}) \to \cdots,
βλέπουμε ότι \pi|_{B'}^* είναι ένας ισομορφισμός για *k* c_k(E) = \begin{cases}
{\pi|_{B'}^*}^{-1} c_k(E'), & k  n. \\
\end{cases}

Τότε χρειάζεται κάποια δουλειά για να ελέγξετε τα αξιώματα των  Τσερν κατηγοριών τα οποία ικανοποιούν τον ορισμό.

Δείτε επίσης: Ο Thom ισομορφισμός.

## Σημειώσεις


## Εξωτερικοί σύνδεσμοι
* Vector Bundles & K-Theory – A downloadable book-in-progress by Allen Hatcher. Contains a chapter about characteristic classes.
* Dieter Kotschick, Chern numbers of algebraic varieties

## Αναφορές
* 
* 
*  (Provides a very short, introductory review of Chern classes).
* J.P. May, A Concise Course in Algebraic Topology. University of Chicago Press, 1999.
* 
* 

Κατηγορία:Αλγεβρική τοπολογία
Κατηγορία:Διαφορική γεωμετρία