Ich las den Aufsatz „Homotopy and quantization in condensed matter physical“ von JE Avron et al. ( http://journals.aps.org/prl/abstract/10.1103/PhysRevLett.51.51 ). Dort haben sie die Zuordnungen aus klassifiziert zu einem beliebigen Raum . Ihr Argument lautet wie folgt: „Denken Sie an zwei Karten von in einen beliebigen Raum X. Wenn wir die beiden Grundschleifen einbeziehen , erhalten wir von jeder Abbildung zwei Elemente von und die beiden Abbildungen können nicht homotop sein, es sei denn, das entsprechende Paar von Elementen von sind gleich. Auch wenn sie gleich sind, gibt es eindeutig eine übrig gebliebene Karte von in X." Auf diese Weise kann man Karten aus klassifizieren in X durch zwei Elemente von , und ein Element von .
Jetzt verstehe ich, wie die beiden Elemente von zustande kommen. Aber ich verstehe nicht, wie die Elemente von ins Bild kommen. Mit anderen Worten, was ist mit der "Restkarte von in X" ?
Denken Sie daran, dass Homotopiegruppen sind als Homotopieklassen von Abbildungen gegeben , und zwar jede Karte Karten induziert .
Jetzt , Aber . Wenn zwei Karten sind jetzt homotop, Und müssen die beiden Generatoren aussenden zu denselben Elementen in . Aber falls , dies ist keine Bedingung auf der Karte auf der , da schicken sie immer alles nach . Daher könnte man sagen, dass ein "Überbleibsel"-Element drin ist , weil die Karten nichts in bestimmen , insbesondere geben sie Ihnen keine interessante Untergruppe.
Wenn , dann ist nicht klar, warum die Autoren von "einer übrig gebliebenen Karte" sprechen ". Ich vermute, der "beliebige Raum" ist nicht wirklich willkürlich.
Tuhin Subhra Mukherjee
Tuhin Subhra Mukherjee