Κλάση Τοντ

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

Η κλάση Τοντ παίζει θεμελιώδη ρόλο στη γενίκευση του κλασικού θεωρήματος Ρίμαν-Ροχ σε υψηλότερες διαστάσεις, στο θεώρημα Χίρζεμπρουχ-Ρίμαν-Ροχ και στο θεώρημα Γκρότεντικ-Χίρζεμπρουχ-Ρίμαν-Ροχ.

 Ιστορία 
Πήρε το όνομά της από τον Τζ. Α. Τοντ, ο οποίος εισήγαγε μια ειδική περίπτωση της έννοιας στην αλγεβρική γεωμετρία το 1937, πριν οριστούν οι κλάσεις Τσερν. Η γεωμετρική ιδέα που εμπλέκεται ονομάζεται μερικές φορές κλάση Τοντ-Έγκερ. Ο γενικός ορισμός σε υψηλότερες διαστάσεις οφείλεται στον Φρήντριχ Χίρτσεμπρουχ.

 Ορισμός 
Για να ορίσουμε την κλάση Todd  όπου  είναι μια μιγαδική διανυσματική δέσμη σε έναν τοπολογικό χώρο , είναι συνήθως δυνατό να περιορίσουμε τον ορισμό στην περίπτωση ενός αθροίσματος Χουίτνεϋ από γραμμικές δέσμες, μέσω μιας γενικής συσκευής της θεωρίας χαρακτηριστικών κλάσεων, τη χρήση των ριζών Τσερν (ή αλλιώς, την αρχή της διάσπασης). Για τον ορισμό, έστω 

να είναι η τυπική δυναμοσειρά με την ιδιότητα ότι ο συντελεστής του  στο  είναι 1, όπου  συμβολίζει τον -th αριθμό Μπερνούλι.  Ας θεωρήσουμε τον συντελεστή του  στο γινόμενο 

να είναι η τυπική δυναμοσειρά με την ιδιότητα ότι ο συντελεστής του  στο  είναι 1, όπου  συμβολίζει τον -th αριθμό Μπερνούλι.  Ας θεωρήσουμε τον συντελεστή του  στο γινόμενο 

Αν η  έχει τις  ως ρίζες Τσερν, τότε η κλάση Τοντ

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

Η κλάση Τοντ μπορεί να δοθεί ρητά ως μια τυπική δυναμοσειρά στις κλάσεις Τσερν ως εξής:

όπου οι κλάσεις συνομολογίας  είναι οι κλάσεις Τσερν του  και βρίσκονται στην ομάδα συνομολογίας . Αν το  είναι πεπερασμένης διάστασης τότε οι περισσότεροι όροι εξαφανίζονται και το  είναι ένα πολυώνυμο στις κλάσεις Τσερν.

Ιδιότητες της κλάσης Τοντ
Η κλάση Τοντ είναι πολλαπλασιαστική: 

Έστω  η θεμελιώδης κλάση της τομής του υπερεπιπέδου.

Από την πολλαπλασιαστικότητα και την ακριβή ακολουθία Όιλερ για την εφαπτομενική δέσμη του 


προκύπτει Intersection  Theory Class 18, by Ravi Vakil 



 Υπολογισμοί της κλάσης Τοντ 

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

 Τύπος Χίρζεμπρουκ-Ρίμαν-Ροχ

Για κάθε συνεκτική δέσμη F σε ένα λείο 

συμπαγή μιγαδική πολλαπλότητα Μ, έχουμε

όπου  είναι η ολόμορφη χαρακτηριστική του Όιλερ,

και ο χαρακτήρας του Τσερν.

Δημοσιεύσεις 
  Multiplicities and Chern Classes in Local Algebra 
 Invariance Theory: The Heat Equation and the Atiyah-Singer Index Theorem

Δείτε επίσης
 Encyclopaedia of Mathematics: Orbit - Rayleigh Equation

Εξωτερικοί σύνδεσμοι  
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο

 Friedrich Hirzebruch, Topological methods in algebraic geometry, Springer  (1978)

Παραπομπές



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