Karakteristik sınıf - Characteristic class - Wikipedia

İçinde matematik, bir karakteristik sınıf her biri ile ilişkilendirmenin bir yoludur ana paket nın-nin X a kohomoloji sınıfı X. Kohomoloji sınıfı, demetin "bükülme" derecesini ve sahip olup olmadığını ölçer bölümler. Karakteristik sınıflar küreseldir değişmezler a'nın sapmasını ölçen yerel küresel bir ürün yapısından ürün yapısı. Birleştirici geometrik kavramlardan biridir. cebirsel topoloji, diferansiyel geometri, ve cebirsel geometri.

Karakteristik sınıf kavramı, 1935'te Eduard Stiefel ve Hassler Whitney manifoldlar üzerindeki vektör alanları hakkında.

Tanım

İzin Vermek G olmak topolojik grup ve topolojik bir uzay için ${ displaystyle X}$ , yazmak ${ displaystyle b_ {G} (X)}$ seti için izomorfizm sınıfları nın-nin müdür G-Paketler bitmiş ${ displaystyle X}$ . Bu ${ displaystyle b_ {G}}$ bir aykırı işlevci itibaren Üst ( kategori topolojik uzayların ve sürekli fonksiyonlar ) için Ayarlamak (kategorisi setleri ve fonksiyonlar ), bir harita gönderme ${ displaystyle f iki nokta üst üste X ila Y}$ için geri çekmek operasyon ${ displaystyle f ^ {*} iki nokta üst üste b_ {G} (Y) - b_ {G} (X)}$ .

Bir karakteristik sınıf c müdürün G-bundles o zaman bir doğal dönüşüm itibaren ${ displaystyle b_ {G}}$ bir kohomoloji görevlisine ${ displaystyle H ^ {*}}$ aynı zamanda bir functor olarak kabul edilir Ayarlamak.

Başka bir deyişle, karakteristik bir sınıf her bir müdürle ilişkilendirilir Gpaket ${ displaystyle P ila X}$ içinde ${ displaystyle b_ {G} (X)}$ bir element c(P) içinde H*(X) öyle ki, eğer f : Y → X kesintisiz bir haritadır, o zaman c(f*P) = f*c(P). Solda, geri çekilme sınıfı var P -e Y; sağdaki sınıfın görüntüsüdür P kohomolojide indüklenmiş harita altında.

Karakteristik sayılar

Karakteristik sınıflar, kohomoloji gruplarının unsurlarıdır;^[1] tamsayılar, adı verilen karakteristik sınıflardan elde edilebilir karakteristik sayılar. Karakteristik sayıların bazı önemli örnekleri Stiefel-Whitney sayıları, Chern numaraları, Pontryagin sayıları, ve Euler karakteristiği.

Yönlendirilmiş bir manifold verildiğinde M boyut n ile temel sınıf ${ displaystyle [M] H_ {n} (M)}$ ve bir G- karakteristik sınıflara sahip paket ${ displaystyle c_ {1}, noktalar, c_ {k}}$ , toplam derece karakteristik sınıflarının bir ürünü eşleştirilebilir n temel sınıf ile. Farklı karakteristik sayıların sayısı, tek terimli derece n karakteristik sınıflarda veya eşdeğer olarak bölümlerinde n içine ${ displaystyle { mbox {deg}} , c_ {i}}$ .

Resmen verildi ${ displaystyle i_ {1}, noktalar, i_ {l}}$ öyle ki ${ displaystyle toplamı { mbox {deg}} , c_ {i_ {j}} = n}$ karşılık gelen karakteristik numara:

{ displaystyle c_ {i_ {1}} gülümseme c_ {i_ {2}} gülümseme noktalar gülümseme c_ {i_ {l}} ([M])}

nerede ${ displaystyle gülümseme}$ gösterir fincan ürünü kohomoloji sınıfları. Bunlar çeşitli karakteristik sınıfların ürünü olarak belirtilmiştir, örneğin ${ displaystyle c_ {1} ^ {2}}$ veya bazı alternatif gösterimle, örneğin ${ displaystyle P_ {1,1}}$ için Pontryagin numarası karşılık gelen ${ displaystyle p_ {1} ^ {2}}$ veya ${ displaystyle chi}$ Euler karakteristiği için.

Bakış açısından de Rham kohomolojisi biri alabilir diferansiyel formlar karakteristik sınıfları temsil eden,^[2] bir kama ürünü alın, böylece kişi üst boyutlu bir form elde eder, sonra manifold üzerinde bütünleşir; bu, ürünü kohomolojide alıp temel sınıfla eşleştirmeye benzer.

Bu aynı zamanda yönlendirilemeyen manifoldlar için de işe yarar. ${ displaystyle mathbf {Z} / 2 mathbf {Z}}$ - yönlendirme, bu durumda kişi elde edilir ${ displaystyle mathbf {Z} / 2 mathbf {Z}}$ Stiefel-Whitney sayıları gibi değerli karakteristik sayılar.

Karakteristik sayılar yönelimli ve yönsüz olanı çözer bordizm soruları: iki manifold, ancak ve ancak karakteristik sayıları eşitse (sırasıyla yönlendirilmiş veya yönlendirilmemiş) koordinatördür.

Motivasyon

Karakteristik sınıflar fenomendir kohomoloji teorisi önemli bir şekilde - onlar aykırı yapılar, şu şekilde Bölüm bir çeşit işlev açık bir boşluk ve bir bölümün varlığından bir çelişkiye yol açmak için bu varyansa ihtiyacımız var. Aslında kohomoloji teorisi, homoloji ve homotopi teorisi ikisi de ortak değişken haritalamaya dayalı teoriler içine bir boşluk; ve 1930'larda emekleme döneminde olan karakteristik sınıf teorisi ( tıkanma teorisi ) homolojiye 'ikili' bir teori aranmasının ana nedenlerinden biriydi. Karakteristik sınıf yaklaşımı eğrilik değişmezler, bir teori yapmak, genel bir Gauss-Bonnet teoremi.

Teori 1950 civarında organize bir temele oturtulduğunda (tanımları homotopi teorisine indirgendiğinde), o dönemde bilinen en temel karakteristik sınıfların ( Stiefel – Whitney sınıfı, Chern sınıfı, ve Pontryagin sınıfları ) klasik doğrusal grupların yansımaları ve bunların maksimal simit yapı. Dahası, Chern sınıfının kendisi o kadar da yeni değildi, Schubert hesabı açık Grassmannians ve işi İtalyan cebirsel geometri okulu. Öte yandan, sınıf aileleri üreten bir çerçeve vardı. vektör paketi dahil.

Asıl mekanizma şu şekilde göründü: Bir boşluk verildiğinde X bir vektör paketi taşıyan homotopi kategorisi bir haritalama X bir alanı sınıflandırmak BG, ilgili doğrusal grup için G. Homotopi teorisi için, ilgili bilgiler aşağıdaki gibi kompakt alt gruplar tarafından taşınır: ortogonal gruplar ve üniter gruplar nın-nin G. Bir zamanlar kohomoloji ${ displaystyle H ^ {*} (BG)}$ kohomolojinin kontravaryans özelliği, bir kez ve tümüyle hesaplandı, paket için karakteristik sınıfların ${ displaystyle H ^ {*} (X)}$ aynı boyutlarda. Örneğin Chern sınıfı gerçekten her bir çift boyutta derecelendirilmiş bileşenlere sahip bir sınıftır.

Bu hala klasik bir açıklamadır, ancak belirli bir geometrik teoride ekstra yapıyı hesaba katmak kârlıdır. Kohomoloji, gelişiyle 'olağanüstü' hale geldiğinde K-teorisi ve kobordizm teorisi 1955'ten itibaren gerçekten sadece mektubu değiştirmek gerekliydi H her yerde karakteristik sınıfların ne olduğunu söylemek için.

Karakteristik sınıflar daha sonra bulundu yapraklar nın-nin manifoldlar; (değiştirilmiş bir anlamda, izin verilen bazı tekilliklere sahip yapraklar için) sınıflandırma uzay teorisine sahiptirler. homotopi teori.

Daha sonraki işlerde yakınlaşma matematik ve fizik tarafından yeni karakteristik sınıflar bulundu Simon Donaldson ve Dieter Kotschick içinde Instanton teori. Çalışması ve bakış açısı Chern ayrıca önemli olduğunu kanıtladı: bkz Chern-Simons teorisi.

istikrar

Dilinde kararlı homotopi teorisi, Chern sınıfı, Stiefel – Whitney sınıfı, ve Pontryagin sınıfı vardır kararlıiken Euler sınıfı dır-dir kararsız.

Somut olarak, kararlı bir sınıf, önemsiz bir paket eklendiğinde değişmeyen sınıftır: ${ displaystyle c (V oplus 1) = c (V)}$ . Daha soyut olarak, bu, kohomoloji sınıfının alanı sınıflandırmak için ${ displaystyle BG (n)}$ kohomoloji sınıfından geri çekiliyor ${ displaystyle BG (n + 1)}$ dahil altında ${ displaystyle BG (n) ile BG (n + 1)}$ (dahil edilmeye karşılık gelen ${ displaystyle mathbf {R} ^ {n} - mathbf {R} ^ {n + 1}}$ ve benzeri). Eşdeğer olarak, tüm sonlu karakteristik sınıfları kararlı bir sınıftan geri çekilir. ${ displaystyle BG}$ .

Bu, Euler sınıfı için geçerli değildir, burada detaylandırıldığı gibi, en azından a'nın Euler sınıfı kboyutlu paket yaşıyor ${ displaystyle H ^ {k} (X)}$ (dolayısıyla geri çekilir ${ displaystyle H ^ {k} (BO (k))}$ , böylece bir sınıftan geri çekilemez ${ displaystyle H ^ {k + 1}}$ boyutlar farklı olduğundan.

Ayrıca bakınız

Notlar

^ Gayri resmi, karakteristik sınıflar kohomolojide "yaşar".
^ Tarafından Chern-Weil teorisi bunlar eğrilikteki polinomlardır; tarafından Hodge teorisi harmonik form alınabilir.

Referanslar

Chern, Shiing-Shen (1995). Potansiyel teorisi olmayan karmaşık manifoldlar. Springer-Verlag Basın. ISBN 0-387-90422-0. ISBN 3-540-90422-0.
Bu kitabın eki: "Karakteristik sınıfların geometrisi", karakteristik sınıfların fikirlerinin gelişimine çok derli toplu ve derin bir giriştir.
Kuluçka, Allen, Vektör demetleri ve K-teorisi
Husemoller, Dale (1966). Elyaf demetleri (3. Baskı, Springer 1993 baskısı). McGraw Hill. ISBN 0387940871.
Milnor, John W.; Stasheff, Jim (1974). Karakteristik sınıflar. Matematik Çalışmaları Annals. 76. Princeton University Press, Princeton, NJ; Tokyo Üniversitesi Yayınları, Tokyo. ISBN 0-691-08122-0.

[1] Gayri resmi, karakteristik sınıflar kohomolojide "yaşar".

[2] Tarafından Chern-Weil teorisi bunlar eğrilikteki polinomlardır; tarafından Hodge teorisi harmonik form alınabilir.

[1]

[2]