Hilberts on dördüncü problem - Hilberts fourteenth problem - Wikipedia

İçinde matematik, Hilbert'in on dördüncü problemiyani 14 numara Hilbert'in sorunları 1900'de önerilen, kesin olup olmadığını sorar cebirler vardır sonlu oluşturulmuş.

Ayar aşağıdaki gibidir: Varsayalım ki k bir alan ve izin ver K alanının bir alt alanı olmak rasyonel işlevler içinde n değişkenler,

k(x1, ..., xn ) bitmiş k.

Şimdi düşünün k-cebir R kavşak olarak tanımlandı

Hilbert, tüm bu tür cebirlerin sonlu olarak üretildiğini varsaydı. k.

Hilbert'in varsayımını özel durumlarda ve belirli halka sınıfları için doğrulayan bazı sonuçlar elde edildikten sonra (özellikle varsayım, koşulsuz olarak kanıtlanmıştır. n = 1 ve n = 2 ile Zariski 1954'te) sonra 1959'da Masayoshi Nagata Hilbert'in varsayımına bir karşı örnek buldu. Nagata'nın karşı örneği, bir eylemin eylemi için uygun şekilde oluşturulmuş bir değişmezler halkasıdır. doğrusal cebirsel grup.

Tarih

Problem başlangıçta cebirsel olarak ortaya çıktı değişmez teori. İşte yüzük R bir (uygun şekilde tanımlanmış) polinom değişmezlerinin bir halkası olarak verilir doğrusal cebirsel grup bir tarla üzerinde k cebirsel olarak hareket etmek polinom halkası k[x1, ..., xn] (veya daha genel olarak, bir alan üzerinde tanımlanan sonlu olarak oluşturulmuş bir cebir üzerine). Bu durumda alan K alanı akılcı değişkenlerdeki fonksiyonlar (polinomların bölümleri) xben cebirsel grubun verilen eylemi altında değişmez olan halka, R yüzüğü polinomlar eylem altında değişmeyen. On dokuzuncu yüzyıldaki klasik bir örnek, kapsamlı çalışmadır (özellikle Cayley, Sylvester, Clebsch, Paul Gordan ve ayrıca Hilbert) değişmezlerinin ikili formlar doğal eylemi ile iki değişkende özel doğrusal grup SL2(k) üstünde. Hilbert, sonlu nesil değişmez halkaların alanı durumunda kanıtladı. Karışık sayılar bazı klasikler için yarı basit Lie grupları (özellikle genel doğrusal grup karmaşık sayılar üzerinde) ve polinom halkaları üzerindeki belirli doğrusal eylemler, yani Lie grubunun sonlu boyutlu temsillerinden gelen eylemler. Bu sonluluk sonucu daha sonra uzatıldı Hermann Weyl tüm yarı basit Lie gruplarının sınıfına. Hilbert'in kanıtının önemli bir bileşeni, Hilbert temel teoremi uygulandı ideal değişmezler tarafından üretilen polinom halkasının içinde.

Zariski'nin formülasyonu

Zariski Hilbert'in on dördüncü probleminin formülasyonu, yarı afin cebirsel çeşitlilik X bir tarla üzerinde k, muhtemelen varsayarsak X normal veya pürüzsüz yüzüğü düzenli fonksiyonlar açık X üzerinde sonlu olarak üretilir k.

Zariski'nin formülasyonu gösterildi[1] orijinal probleme eşdeğer olması için X normal. (Ayrıca bakınız: Zariski'nin sonluluk teoremi.)

Éfendiev F.F. (Fuad Efendi), r derecesinin n-ary formlarının değişmezlerinin temelini oluşturan simetrik algoritma sağlamıştır.[2]

Nagata'nın karşı örneği

Nagata (1958) Hilbert problemine aşağıdaki karşı örneği verdi. Alan k 48 element içeren bir alandır a1ben, ...,a16ben, için ben= 1, 2, 3 asal alan üzerinde cebirsel olarak bağımsızdır. Yüzük R polinom halkasıdır k[x1,...,x16, t1,...,t16] 32 değişkende. Vektör uzayı V üzerinde 13 boyutlu vektör uzayıdır k tüm vektörlerden oluşan (b1,...,b16) içinde k16 üç vektörün her birine ortogonal (a1ben, ...,a16ben) için ben= 1, 2, 3. Vektör uzayı V toplanan 13 boyutlu değişmeli tek kutuplu bir cebirsel gruptur ve elemanları etki eder R tüm unsurları düzelterek tj ve alıyor xj -e xj + bjtj. Sonra elementlerin halkası R grubun eylemi altında değişmez V sonlu olarak oluşturulmuş değil k-cebir.

Birkaç yazar Nagata'nın örneğinde grubun boyutlarını ve vektör uzayını küçültmüştür. Örneğin, Totaro (2008) herhangi bir alan üzerinde toplamın bir eylemi olduğunu gösterdi G3
a
Katkı grubunun üç kopyasının k18 kimin değişmezler yüzüğü sonlu olarak oluşturulmaz.

Ayrıca bakınız

Referanslar

Kaynakça
  • Nagata, Masayoshi (1960), "Hilbert'in on dördüncü problemi üzerine", Proc. Internat. Kongre Matematik. 1958, Cambridge University Press, s. 459–462, BAY  0116056, dan arşivlendi orijinal 2011-07-17 tarihinde
  • Nagata, Masayoshi (1965), Hilbert'in on dördüncü problemi üzerine dersler (PDF), Tata Institute of Basic Research Lectures on Mathematics, 31, Bombay: Tata Temel Araştırma Enstitüsü, BAY  0215828
  • Totaro, Burt (2008), "Hilbert'in sonlu alanlar üzerindeki 14. problemi ve eğriler konisi üzerine bir varsayım", Compositio Mathematica, 144 (5): 1176–1198, arXiv:0808.0695, doi:10.1112 / S0010437X08003667, ISSN  0010-437X, BAY  2457523
  • O. Zariski, Yorumlamalar algebrico-geometriques du quatorzieme probleme de HilbertBulletin des Sciences Mathematiques 78 (1954), s. 155–168.
Dipnotlar
  1. ^ Winkelmann, Jörg (2003), "Değişmez halkalar ve yarı afin bölümleri", Matematik. Z., 244 (1): 163–174, arXiv:matematik / 0007076, doi:10.1007 / s00209-002-0484-9.
  2. ^ Éfendiev, F. F. (1992). "R derecesinin n-ary formlarının değişmezlerinin S (n, r) halkasının elemanlarının açık inşası". Matematiksel Notlar. 51 (2): 204–207. doi:10.1007 / BF02102130.