Tate varsayımı - Tate conjecture - Wikipedia

Tate varsayımı
	John Tate
Alan	Cebirsel geometri ve sayı teorisi
Tahmin eden	John Tate
Varsayım	1963
Bilinen vakalar	bölenler değişmeli çeşitleri
Sonuçlar	Cebirsel çevrimlerle ilgili standart varsayımlar

İçinde sayı teorisi ve cebirsel geometri, Tate varsayımı bir 1963 varsayım nın-nin John Tate bu tarif eder cebirsel çevrimler bir Çeşitlilik daha hesaplanabilir bir değişmezlik açısından, Galois gösterimi açık étale kohomolojisi. Bu varsayım, cebirsel çevrimler teorisinde merkezi bir sorundur. Aritmetik bir analoğu olarak düşünülebilir. Hodge varsayımı.

Varsayımın ifadesi

İzin Vermek V olmak pürüzsüz projektif çeşitlilik üzerinde alan k üzerinden sonlu olarak üretilen ana alan. İzin Vermek k_s olmak ayrılabilir kapatma nın-nin kve izin ver G ol mutlak Galois grubu Gal(k_s/k) nın-nin k. Düzelt bir asal sayı ℓ ters çevrilebilir olan k. Yi hesaba kat ℓ-adik kohomoloji gruplar (katsayılar ℓ-adic tamsayılar Z_ℓ, skalarlar daha sonra ℓ-adic sayılar Q_ℓ) taban uzantısının V -e k_s; bu gruplar temsiller nın-nin G. Herhangi ben ≥ 0, a eş boyut -ben alt çeşitliliği V (üzerinden tanımlandığı anlaşılıyor k) kohomoloji grubunun bir unsurunu belirler

{ displaystyle H ^ {2i} (V_ {k_ {s}}, mathbf {Q} _ { ell} (i)) = W}

tarafından sabitlenen G. Buraya Q_ℓ(ben ) gösterir ben^inci Tate bükümü bu, Galois grubunun bu temsilinin G ile gergin ben^inci gücü döngüsel karakter.

Tate varsayımı altuzayın W^G nın-nin W Galois grubu tarafından düzeltildi G olarak yayıldı Q_ℓ-vektör uzayı, eş boyut sınıflarına göre-ben alt çeşitleri V. Bir cebirsel döngü alt çeşitlerin sonlu bir doğrusal kombinasyonu anlamına gelir; bu nedenle eşdeğer bir ifade, W^G cebirsel döngünün sınıfıdır V ile Q_ℓ katsayılar.

Bilinen vakalar

Tate varsayımı bölenler (1. eş boyutun cebirsel döngüleri) büyük bir açık problemdir. Örneğin, izin ver f : X → C pürüzsüz bir yansıtmalı yüzeyden sonlu bir alan üzerinde düzgün bir yansıtmalı eğriye bir morfizm olabilir. Farz edin ki jenerik fiber F nın-nin füzerinde bir eğri olan fonksiyon alanı k(C), pürüzsüzdür k(C). Daha sonra bölenler için Tate varsayımı X eşdeğerdir Birch ve Swinnerton-Dyer varsayımı için Jacobian çeşidi nın-nin F.^[1] Buna karşılık, herhangi bir pürüzsüz karmaşık projektif çeşitlilikte bölenler için Hodge varsayımı bilinmektedir ( Lefschetz (1,1)-teoremi ).

Muhtemelen bilinen en önemli durum, Tate varsayımının, bölenler için geçerli olmasıdır. değişmeli çeşitleri. Bu, sonlu alanlar üzerindeki değişmeli çeşitler için bir Tate teoremidir ve Faltings sayı alanlarındaki değişmeli çeşitler için, Faltings'in çözümünün bir parçası Mordell varsayımı. Zarhin, bu sonuçları sonlu olarak üretilen herhangi bir temel alana genişletti. Değişmeli çeşitler üzerindeki bölenler için Tate varsayımı, herhangi bir eğri ürünü üzerinde bölenler için Tate varsayımını ima eder. C₁ × ... × C_n.^[2]

Değişmeli çeşitler üzerindeki bölenler için (bilinen) Tate varsayımı, değişmeli çeşitler arasındaki homomorfizmler hakkında güçlü bir ifadeye eşdeğerdir. Yani, herhangi bir değişmeli çeşit için Bir ve B sonlu olarak oluşturulmuş bir alan üzerinde kdoğal harita

{ displaystyle { text {Hom}} (A, B) otimes _ { mathbf {Z}} mathbf {Q} _ { ell} - { text {Hom}} _ {G} sola (H_ {1} left (A_ {k_ {s}}, mathbf {Q} _ { ell} sağ), H_ {1} left (B_ {k_ {s}}, mathbf {Q} _ { ell} sağ) doğru)}

bir izomorfizmdir.^[3] Özellikle değişmeli bir çeşit Bir kadar belirlenir izojen Galois temsili tarafından Tate modülü H₁(Bir_{k_s}, Z_ℓ).

Tate varsayımı aynı zamanda K3 yüzeyleri Sonlu üretilmiş karakteristik alanlar üzerinde değil 2.^[4] (Bir yüzeyde, varsayımın önemsiz kısmı bölenlerle ilgilidir.) Karakteristik sıfırda, K3 yüzeyleri için Tate varsayımı André ve Tankeev tarafından kanıtlandı. Karakteristik 2 olmayan sonlu alanlar üzerindeki K3 yüzeyleri için Tate varsayımı Nygaard tarafından kanıtlanmıştır, Ogus, Charles, Madapusi Pera ve Maulik.

Totaro (2017) Tate varsayımının bilinen vakalarını araştırır.

İlgili varsayımlar

İzin Vermek X Sonlu olarak oluşturulmuş bir alan üzerinde pürüzsüz bir yansıtmalı çeşitlilik olmak k. yarı basitlik varsayımı Galois grubunun temsilinin G = Gal (k_s/k) ℓ-adic kohomolojisi üzerine X yarı basittir (yani, doğrudan toplamı indirgenemez temsiller ). İçin k karakteristik 0, Ayen (2017) Tate varsayımının (yukarıda belirtildiği gibi) şunun yarı basitliğini ima ettiğini gösterdi

{ displaystyle H ^ {i} sol (X times _ {k} { overline {k}}, mathbf {Q} _ { ell} (n) sağ).}

İçin k sonlu düzen q, Tate, Tate varsayımı artı yarı-basitlik varsayımının şu anlama geleceğini gösterdi: güçlü Tate varsayımıyani kutbun sırasının zeta işlevi Z(X, t) t = q^−j eş boyutun cebirsel döngüleri grubunun derecesine eşittir j modulo sayısal eşdeğerlik.^[5]

Hodge varsayımı gibi, Tate varsayımı da Grothendieck'in cebirsel çevrimlerle ilgili standart varsayımlar. Yani, Lefschetz standart varsayımını (Lefschetz izomorfizminin tersinin cebirsel bir karşılıkla tanımlandığı) ima ederdi; köşegenin Künneth bileşenlerinin cebirsel olduğu; ve cebirsel döngülerin sayısal denkliği ve homolojik denkliği aynıdır.

Notlar

^ D. Ulmer. Global Fonksiyon Alanları Üzerinden Aritmetik Geometri (2014), 283-337. Önerme 5.1.2 ve Teorem 6.3.1.
^ J. Tate. Motives (1994), Bölüm 1, 71-83. Teorem 5.2.
^ J. Tate. Aritmetik Cebirsel Geometri (1965), 93-110. Denklem (8).
^ K. Madapusi Pera. Buluşlar Mathematicae. Teorem 1.
^ J. Tate. Motives (1994), Bölüm 1, 71-83. Teorem 2.9.

Referanslar

André, Yves (1996), "Hiper-Kähler çeşitleri için Shafarevich ve Tate varsayımları üzerine", Mathematische Annalen, 305: 205–248, doi:10.1007 / BF01444219, BAY 1391213
Faltings, Gerd (1983), "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern", Buluşlar Mathematicae, 73: 349–366, Bibcode:1983 InMat..73..349F, doi:10.1007 / BF01388432, BAY 0718935
Madapusi Pera, K. (2013), "Garip karakteristikteki K3 yüzeyleri için Tate varsayımı", Buluşlar Mathematicae, 201: 625–668, arXiv:1301.6326, Bibcode:2013arXiv1301.6326M, doi:10.1007 / s00222-014-0557-5
Moonen, Ben (2017), Tate varsayımı üzerine bir açıklama, arXiv:1709.04489v1
Tate, John (1965), "Cebirsel döngüleri ve zeta fonksiyonlarının kutupları", Schilling, O. F. G. (ed.), Aritmetik Cebirsel Geometri, New York: Harper and Row, s. 93–110, BAY 0225778
Tate, John (1966), "Sonlu alanlar üzerinde değişmeli çeşitlerin endomorfizmleri", Buluşlar Mathematicae, 2: 134–144, Bibcode:1966InMat ... 2..134T, doi:10.1007 / bf01404549, BAY 0206004
Tate, John (1994), "ℓ-adik kohomolojide cebirsel döngüler üzerine varsayımlar", Motifler, Saf Matematikte Sempozyum Bildirileri, 55, American Mathematical Society, s. 71–83, ISBN 0-8218-1636-5, BAY 1265523
Ulmer, Douglas (2014), "Fonksiyon alanları üzerinde Eğriler ve Jakobenler", Global Fonksiyon Alanları Üzerinden Aritmetik Geometri, Matematikte İleri Kurslar - CRM Barcelona, Birkhäuser, s. 283–337, doi:10.1007/978-3-0348-0853-8, ISBN 978-3-0348-0852-1
Totaro, Burt (2017), "Tate varsayımında son gelişmeler", Amerikan Matematik Derneği Bülteni, Yeni seri, 54 (4): 575–590, doi:10.1090 / boğa / 1588

Dış bağlantılar

James Milne, Sonlu alanlar üzerindeki Tate varsayımı (AIM konuşması).

[1] D. Ulmer. Global Fonksiyon Alanları Üzerinden Aritmetik Geometri (2014), 283-337. Önerme 5.1.2 ve Teorem 6.3.1.

[2] J. Tate. Motives (1994), Bölüm 1, 71-83. Teorem 5.2.

[3] J. Tate. Aritmetik Cebirsel Geometri (1965), 93-110. Denklem (8).

[4] K. Madapusi Pera. Buluşlar Mathematicae. Teorem 1.

[5] J. Tate. Motives (1994), Bölüm 1, 71-83. Teorem 2.9.

[1]

[2]

[3]

[4]

[5]