Pontryagin sınıfı - Pontryagin class - Wikipedia

İçinde matematik, Pontryagin sınıfları, adını Lev Pontryagin kesin karakteristik sınıflar gerçek vektör demetleri. Pontryagin sınıfları kohomoloji grupları derece ile dördün katı.

Tanım

Gerçek bir vektör paketi verildiğinde E bitmiş M, onun k-th Pontryagin sınıfı ${ displaystyle p_ {k} (E)}$ olarak tanımlanır

H içinde { displaystyle p_ {k} (E) = p_ {k} (E, mathbb {Z}) = (- 1) ^ {k} c_ {2k} (E otimes mathbb {C}) ^ {4k} (M, mathbb {Z}),}

nerede:

${ displaystyle c_ {2k} (E otimes mathbb {C})}$ gösterir ${ displaystyle 2k}$ -nci Chern sınıfı of karmaşıklaştırma ${ displaystyle E otimes mathbb {C} = E oplus iE}$ nın-nin E,
${ displaystyle H ^ {4k} (M, mathbb {Z})}$ ... ${ displaystyle 4k}$ -kohomoloji grubu M ile tamsayı katsayılar.

Rasyonel Pontryagin sınıfı ${ displaystyle p_ {k} (E, mathbb {Q})}$ görüntüsü olarak tanımlanır ${ displaystyle p_ {k} (E)}$ içinde ${ displaystyle H ^ {4k} (M, mathbb {Q})}$ , ${ displaystyle 4k}$ -komoloji grubu M ile akılcı katsayılar.

Özellikleri

toplam Pontryagin sınıfı

{ displaystyle p (E) = 1 + p_ {1} (E) + p_ {2} (E) + cdots H ^ {*} (M, mathbb {Z}),}

(modulo 2-torsion) çarpımsal Whitney toplamı vektör demetleri, yani

{ displaystyle 2p (E oplus F) = 2p (E) gülümseme p (F)}

iki vektör demeti için E ve F bitmiş M. Bireysel Pontryagin sınıfları açısından p_k,

{ displaystyle 2p_ {1} (E oplus F) = 2p_ {1} (E) + 2p_ {1} (F),}

{ displaystyle 2p_ {2} (E oplus F) = 2p_ {2} (E) + 2p_ {1} (E) gülümseme p_ {1} (F) + 2p_ {2} (F)}

ve benzeri.

Pontryagin sınıflarının yok olması ve Stiefel-Whitney sınıfları Bir vektör demetinin, vektör demetinin önemsiz olduğunu garanti etmez. Örneğin, en fazla vektör demeti izomorfizmi, benzersiz bir önemsiz olmayan 10. sıra vektör paketi var ${ displaystyle E_ {10}}$ üzerinde 9 küre. (The kavrama işlevi için ${ displaystyle E_ {10}}$ doğar homotopi grubu ${ displaystyle pi _ {8} ( mathrm {O} (10)) = mathbb {Z} / 2 mathbb {Z}}$ .) Pontryagin sınıfları ve Stiefel-Whitney sınıflarının tümü yok oluyor: Pontryagin sınıfları 9. derecede mevcut değil ve Stiefel-Whitney sınıfı w₉ nın-nin E₁₀ tarafından kaybolur Wu formülü w₉ = w₁w₈ + Sq¹(w₈). Dahası, bu vektör demeti kararlı bir şekilde önemsizdir, yani Whitney toplamı nın-nin E₁₀ herhangi bir önemsiz paket ile önemsiz kalır. (Hatcher 2009, s. 76)

2 verildiğindekboyutlu vektör demeti E sahibiz

{ displaystyle p_ {k} (E) = e (E) gülümseme e (E),}

nerede e(E) gösterir Euler sınıfı nın-nin E, ve ${ displaystyle gülümseme}$ gösterir fincan ürünü kohomoloji sınıfları.

Pontryagin sınıfları ve eğrilik

Gösterildiği gibi Shiing-Shen Chern ve André Weil 1948 civarında, rasyonel Pontryagin sınıfları

{ displaystyle p_ {k} (E, mathbf {Q}) H ^ {4k} (M, mathbf {Q})} içinde

polinomik olarak bağlı olan farklı formlar olarak sunulabilir eğrilik formu vektör paketi. Bu Chern-Weil teorisi cebirsel topoloji ve küresel diferansiyel geometri arasında önemli bir bağlantı olduğunu ortaya çıkardı.

Bir vektör paketi E üzerinde n-boyutlu türevlenebilir manifold M ile donatılmış bağ toplam Pontryagin sınıfı şu şekilde ifade edilir:

{ displaystyle p = sol [1 - { frac {{ rm {Tr}} ( Omega ^ {2})} {8 pi ^ {2}}} + { frac {{ rm {Tr }} ( Omega ^ {2}) ^ {2} -2 { rm {Tr}} ( Omega ^ {4})} {128 pi ^ {4}}} - { frac {{ rm {Tr}} ( Omega ^ {2}) ^ {3} -6 { rm {Tr}} ( Omega ^ {2}) { rm {Tr}} ( Omega ^ {4}) + 8 { rm {Tr}} ( Omega ^ {6})} {3072 pi ^ {6}}} + cdots right] H_ {dR} ^ {*} (M) içinde}

nerede Ω gösterir eğrilik formu, ve H *_dR(M) gösterir de Rham kohomolojisi gruplar.^{[kaynak belirtilmeli ]}

Bir manifoldun Pontryagin sınıfları

Düzgün bir manifoldun Pontryagin sınıfları Pontryagin sınıfları olarak tanımlanmıştır. teğet demet.

Novikov 1966'da, iki kompakt, yönlendirilmiş, düz manifoldun homomorfik sonra rasyonel Pontryagin sınıfları p_k(M, Q) içinde H^4k(M, Q) aynıdır.

Boyut en az beş ise, verilen en fazla sonlu çok sayıda farklı pürüzsüz manifold vardır. homotopi türü ve Pontryagin sınıfları.

Chern derslerinden Pontryagin dersleri

Karmaşık bir vektör demetinin Pontryagin sınıfları ${ displaystyle pi: E ile X arası}$ tamamen Chern sınıfları tarafından belirlenebilir. Bu gerçeğinden kaynaklanıyor ${ displaystyle E otimes _ { mathbb {R}} mathbb {C} cong E oplus { bar {E}}}$ , Whitney toplam formülü ve karmaşık eşlenik demetinin Chern sınıflarının özellikleri. Yani, ${ displaystyle c_ {i} ({ çubuğu {E}}) = (- 1) ^ {i} c_ {i} (E)}$ ve ${ displaystyle c (E oplus { çubuğu {E}}) = c (E) c ({ çubuğu {E}})}$ . Sonra, bu ilişki verildi

${ displaystyle { begin {align} 1-p_ {1} (E) + p_ {2} (E) - cdots + (- 1) ^ {n} p_ {n} (E) = (1 + c_ {1} (E) + cdots + c_ {n} (E)) cdot (1-c_ {1} (E) + c_ {2} (E) - cdots + (- 1) ^ {n} c_ {n} (E)) end {hizalı}}}$ ^[1]

örneğin, bir eğri ve yüzey üzerindeki bir vektör demetinin Pontryagin sınıflarını bulmak için bu formülü uygulayabiliriz. Bir eğri için elimizde

${ displaystyle (1-c_ {1} (E)) (1 + c_ {1} (E)) = 1 + c_ {1} (E) ^ {2}}$

bu nedenle karmaşık vektör demetlerinin tüm Pontryagin sınıfları önemsizdir. Bir yüzeyde var

${ displaystyle (1-c_ {1} (E) + c_ {2} (E)) (1 + c_ {1} (E) + c_ {2} (E)) = 1-c_ {1} (E ) ^ {2} + 2c_ {2} (E)}$

gösteren ${ displaystyle p_ {1} (E) = c_ {1} (E) ^ {2} -2c_ {2} (E)}$ . Çevrimiçi paketlerde bu, daha da basitleştirir, çünkü ${ displaystyle c_ {2} (L) = 0}$ boyut nedenleriyle.

Quartic K3 Yüzeyinde Pontryagin sınıfları

Bir kuartik polinomu hatırlayın. ${ displaystyle mathbb {CP} ^ {3}}$ pürüzsüz bir alt çeşitlilik bir K3 yüzeyidir. Normal sırayı kullanırsak

${ displaystyle 0 - { mathcal {T}} _ {X} - { mathcal {T}} _ { mathbb {CP} ^ {3}} | _ {X} - { mathcal {O }} (4) ila 0}$

bulabiliriz

${ displaystyle { begin {align} c ({ mathcal {T}} _ {X}) & = { frac {c ({ mathcal {T}} _ { mathbb {CP} ^ {3}} | _ {X})} {c ({ mathcal {O}} (4))}} & = { frac {(1+ [H]) ^ {4}} {(1 + 4 [H ])}} & = (1 + 4 [H] +6 [H] ^ {2}) cdot (1-4 [H] +16 [H] ^ {2}) & = 1+ 6 [H] ^ {2} end {hizalı}}}$

gösteren ${ displaystyle c_ {1} (X) = 0}$ ve ${ displaystyle c_ {2} (X) = 6 [H] ^ {2}}$ . Dan beri ${ displaystyle [H] ^ {2}}$ Dört noktaya karşılık gelir, Bezout'un lemması nedeniyle, ikinci chern numarasına sahibiz: ${ displaystyle 24}$ . Dan beri ${ displaystyle p_ {1} (X) = - 2c_ {2} (X)}$ bu durumda bizde

${ displaystyle p_ {1} (X) = - 48}$ . Bu sayı, kürelerin üçüncü kararlı homotopi grubunu hesaplamak için kullanılabilir.^[2]

Pontryagin sayıları

Pontryagin sayıları kesin topolojik değişmezler pürüzsüz manifold. Bir manifoldun her bir Pontryagin numarası M boyutu kaybolursa M 4 ile bölünemez. Bu, Pontryagin sınıfları cinsinden tanımlanır. manifold M aşağıdaki gibi:

Pürüzsüz verilmiş ${ displaystyle 4n}$ boyutlu manifold M ve doğal sayılardan oluşan bir koleksiyon

{ displaystyle k_ {1}, k_ {2}, ldots, k_ {m}}

öyle ki

{ displaystyle k_ {1} + k_ {2} + cdots + k_ {m} = n}

,

Pontryagin numarası ${ displaystyle P_ {k_ {1}, k_ {2}, noktalar, k_ {m}}}$ tarafından tanımlanır

{ displaystyle P_ {k_ {1}, k_ {2}, dots, k_ {m}} = p_ {k_ {1}} smile p_ {k_ {2}} smile cdots smile p_ {k_ { m}} ([M])}

nerede ${ displaystyle p_ {k}}$ gösterir k-th Pontryagin sınıfı ve [M] temel sınıf nın-nin M.

Özellikleri

Pontryagin sayıları yönlendirilir kobordizm değişmez; ve birlikte Stiefel-Whitney sayıları yönelimli bir manifoldun yönelimli kobordizm sınıfını belirlerler.
Kapalı Riemann manifoldlarının (Pontryagin sınıflarının yanı sıra) Pontryagin sayıları, Riemann manifoldunun eğrilik tensöründen belirli polinomların integralleri olarak hesaplanabilir.
Gibi değişmezler imza ve ${ displaystyle { şapka {A}}}$ cins Pontryagin sayıları ile ifade edilebilir. İmzayı veren Pontryagin sayılarının doğrusal kombinasyonunu açıklayan teorem için bkz. Hirzebruch imza teoremi.

Genellemeler

Ayrıca bir kuaterniyonik Pontryagin sınıfı, vektör demetleri için kuaterniyon yapı.

Ayrıca bakınız

Referanslar

^ Mclean, Mark. "Pontryagin Sınıfları" (PDF). Arşivlendi (PDF) 2016-11-08 tarihinde orjinalinden.
^ "Homotopi Küreler ve Kobordizm Gruplarının Hesaplamaları Üzerine Bir Araştırma" (PDF). s. 16. Arşivlendi (PDF) 2016-01-22 tarihinde orjinalinden.

Milnor John W.; Stasheff, James D. (1974). Karakteristik sınıflar. Matematik Çalışmaları Yıllıkları. Princeton, New Jersey; Tokyo: Princeton University Press / University of Tokyo Press. ISBN 0-691-08122-0.
Kuluçka, Allen (2009). "Vektör Paketleri ve K-Teorisi" (2.1 ed.). Alıntı dergisi gerektirir | günlük = (Yardım)CS1 bakimi: ref = harv (bağlantı)

Dış bağlantılar

"Pontryagin sınıfı", Matematik Ansiklopedisi, EMS Basın, 2001 [1994]

[1] Mclean, Mark. "Pontryagin Sınıfları" (PDF). Arşivlendi (PDF) 2016-11-08 tarihinde orjinalinden.

[2] "Homotopi Küreler ve Kobordizm Gruplarının Hesaplamaları Üzerine Bir Araştırma" (PDF). s. 16. Arşivlendi (PDF) 2016-01-22 tarihinde orjinalinden.

[1]

[2]