Brauer grubu - Brauer group - Wikipedia

İçinde matematik, Brauer grubu bir alan K bir değişmeli grup kimin elemanları Morita denkliği sınıfları merkezi basit cebirler bitmiş Ktarafından verilen ek ile tensör ürünü cebirlerin. Cebirci tarafından tanımlandı Richard Brauer.

Brauer grubu, sınıflandırma girişimlerinden doğdu bölme cebirleri bir alan üzerinde. Açısından da tanımlanabilir Galois kohomolojisi. Daha genel olarak, a'nın Brauer grubu plan açısından tanımlanmıştır Azumaya cebirleri veya eşdeğer kullanarak projektif demetler.

İnşaat

Bir merkezi basit cebir (CSA) bir alan üzerinden K sonlu boyutlu bir ilişkidir K-cebir Bir öyle ki Bir bir basit yüzük ve merkez nın-nin Bir eşittir K. CSA'ların genel olarak değil bölme cebirleri, CSA'lar bölme cebirlerini sınıflandırmak için kullanılabilir.

Örneğin, karmaşık sayılar C kendileri üzerinde bir CSA oluştururlar, ancak bitmezler R (merkez C kendisi, dolayısıyla CSA'nın bitmesi için çok büyük R). Merkezli sonlu boyutlu bölme cebirleri R (bu boyutun bittiği anlamına gelir R sonlu) gerçek sayılardır ve kuaterniyonlar a Frobenius teoremi gerçekler veya kuaterniyonlar üzerinde herhangi bir matris halkası - M (n, R) veya M (n, H) - gerçeklerin üzerinde bir CSA'dır, ancak bölme cebiri değildir (eğer n > 1).

Bir elde ederiz denklik ilişkisi CSA'larda bitti K tarafından Artin-Wedderburn teoremi (Wedderburn herhangi bir CSA'yı bir M (n, D) bazı bölme cebiri için D. Sadece bakarsak Dyani, M'yi tanımlayan bir eşdeğerlik ilişkisi empoze edersek (m, D) m ile(n, D) tüm pozitif tam sayılar için m ve n, anlıyoruz Brauer denkliği CSA'larla ilgili ilişki bitti K. Brauer grubunun öğeleri, CSA'ların Brauer denklik sınıflarıdır. K.

Merkezi basit cebirler verildiğinde Bir ve Btensör ürünlerine bakılabilir BirB olarak K-algebra (bkz. R cebirlerinin tensör çarpımı ). Bunun her zaman merkezi basit olduğu ortaya çıktı. Bunu görmenin güzel bir yolu, bir karakterizasyon kullanmaktır: merkezi bir basit cebir Bir bitmiş K bir K-a dönüşen bir cebir matris halkası skaler alanını bir cebirsel kapanış nın-nin K. Bu sonuç aynı zamanda merkezi bir basit cebirin boyutunun Bir olarak K-vektör uzayı her zaman bir karedir. derece nın-nin Bir boyutunun karekökü olarak tanımlanır.

Sonuç olarak, CSA'ların izomorfizm sınıfları K oluşturmak monoid tensör ürünü altında, Brauer denkliği ile uyumlu ve Brauer sınıflarının tümü ters çevrilebilir: bir cebirin tersi Bir onun tarafından verilir zıt cebir Birop ( karşı halka aynı eylemle K imajından beri KBir merkezinde Bir). Bir CSA için açıkça Bir sahibiz BirBirop = M (n2, K), nerede n derecesi Bir bitmiş K.

Herhangi bir alanın Brauer grubu bir burulma grubu. Daha ayrıntılı olarak tanımlayın dönem merkezi bir basit cebirin Bir bitmiş K onun olmak sipariş Brauer grubunun bir unsuru olarak. Tanımla indeks nın-nin Bir Brauer eşdeğeri olan bölme cebirinin derecesi olmak Bir. Sonra dönem Bir dizinini böler Bir (ve dolayısıyla sonludur).[1]

Örnekler

Severi-Brauer çeşitleri

Bir alanın Brauer grubunun bir başka önemli yorumu K sınıflandırması mı projektif çeşitleri bitmiş K izomorfik hale gelen projektif uzay bir cebirsel kapanış nın-nin K. Böyle bir çeşitliliğe a denir Severi-Brauer çeşidi ve Severi-Brauer boyut çeşitlerinin izomorfizm sınıfları arasında bire bir yazışma vardır. n−1 fazla K ve derece merkezi basit cebirleri n bitmiş K.[6]

Örneğin, 1. boyutun Severi – Brauer çeşitleri tam olarak pürüzsüz konikler projektif düzlemde K. Bir tarla için K nın-nin karakteristik 2 değil, her konik bitti K formlardan birine izomorfiktir balta2 + tarafından2 = z2 sıfır olmayan bazı elemanlar için a ve b nın-nin K. Karşılık gelen merkezi basit cebir, kuaterniyon cebiri[7]

Konik, projektif çizgiye izomorfiktir P1 bitmiş K ancak ve ancak karşılık gelen kuaterniyon cebiri matris cebiri M (2, K).

Döngüsel cebirler

Pozitif bir tam sayı için n, İzin Vermek K olduğu bir alan olmak n öyle ters çevrilebilir ki K ilkel nbirliğin inci kökü ζ. Sıfır olmayan öğeler için a ve b nın-nin K, Ilişkili döngüsel cebir derecenin merkezi basit cebiridir n bitmiş K tarafından tanımlandı

Döngüsel cebirler, en iyi anlaşılan merkezi basit cebirlerdir. (Ne zaman n tersine çevrilemez K veya K ilkeli yok nbirliğin kökü, benzer bir yapı döngüsel cebiri verir (χ, a) bir döngüsel Z/n-uzantı χ / K ve sıfır olmayan bir öğe a nın-nin K.[8])

Merkurjev-Suslin teoremi içinde cebirsel K-teorisi Brauer grubu hakkında güçlü bir sonucu var. Yani, pozitif bir tam sayı için n, İzin Vermek K olduğu bir alan olmak n öyle ters çevrilebilir ki K ilkel nBirliğin inci kökü. Daha sonra Brauer grubunun alt grubu K tarafından öldürüldü n derecenin döngüsel cebirleri tarafından üretilir n.[9] Eşdeğer olarak, periyot bölünmesinin herhangi bir bölme cebiri n derecenin döngüsel cebirlerinin tensör çarpımına eşittir Brauer n. Bir asal sayı için bile p, dönemin bölme cebirini gösteren örnekler var p derecenin döngüsel cebirlerinin bir tensör ürününe aslında izomorfik olması gerekmez p.[10]

Bu büyük bir açık sorundur ( Albert ) bir alan üzerindeki asal derecenin her bölme cebirinin döngüsel olup olmadığı. Derece 2 veya 3 ise bu doğrudur, ancak sorun en az 5 asal için tamamen açıktır. Bilinen sonuçlar yalnızca özel alan sınıfları içindir. Örneğin, eğer K bir küresel alan veya yerel alan, sonra herhangi bir dereceden bir bölme cebiri K döngüseldir, Albert–BrauerHasseNoether.[11] Aynı yönde "daha yüksek boyutlu" bir sonuç Saltman tarafından kanıtlandı: K bir alanı aşkınlık derecesi Yerel alan üzerinden 1 Qp, sonra asal derecenin her bölme cebiri lp bitmiş K döngüseldir.[12]

Dönem endeksi sorunu

Herhangi bir merkezi basit cebir için Bir bir tarla üzerinde K, dönemi Bir dizinini böler Birve iki sayı aynı asal çarpana sahiptir.[13] dönem endeksi sorunu alanlar için indeksi dönem açısından sınırlamaktır K ilgi. Örneğin, eğer Bir bir yerel alan veya küresel alan üzerinde merkezi bir basit cebirdir, daha sonra Albert – Brauer – Hasse – Noether indeksinin Bir dönemine eşittir Bir.[11]

Merkezi basit bir cebir için Bir bir tarla üzerinde K aşkınlık derecesi n cebirsel olarak kapalı bir alan üzerinde, ind (Bir) böler (Bir)n−1. Bu doğru n ≤ 2, durum n = 2 önemli bir ilerlemedir de Jong, de Jong-Starr ve Lieblich tarafından olumlu özellikte keskinleştirilmiştir.[14]

Sınıf alanı teorisi

Brauer grubu, modern formülasyonunda önemli bir rol oynar. sınıf alanı teorisi. Eğer Kv Arşimet olmayan yerel bir alandır, yerel sınıf alan teorisi kanonik bir izomorfizm verir invv: Br (Kv) → Q/Z, Hasse değişmez.[5]

Küresel alan durumu K (gibi sayı alanı ) tarafından ele alınır küresel sınıf alan teorisi. Eğer D merkezi basit bir cebirdir K ve v bir yer nın-nin K, sonra DKv merkezi basit bir cebirdir Kv, tamamlanması K -de v. Bu, Brauer grubundan bir homomorfizmi tanımlar. K Brauer grubuna Kv. Verilen bir merkezi basit cebir D sonlu sayıda hariç hepsi için bölmeler v, böylece görüntüsü D neredeyse tüm bu tür homomorfizmler altında 0'dır. Brauer grubu Br (K) bir tam sıra Hasse tarafından yapılmıştır:[15][16]

nerede S tüm yerlerin kümesidir K ve sağ ok yerel değişmezlerin toplamıdır; gerçek sayıların Brauer grubu (1/2) ile tanımlanırZ/Z. Sol okun enjektivitesi, Albert-Brauer-Hasse-Noether teoremi.

Bir merkezi basit cebirin tüm yerel değişmezlerinin toplamının K sıfır tipiktir karşılıklılık yasası. Örneğin, bunu bir kuaterniyon cebirine uygulamak (a, b) bitmiş Q verir ikinci dereceden karşılıklılık yasası.

Galois kohomolojisi

Keyfi bir alan için KBrauer grubu şu terimlerle ifade edilebilir: Galois kohomolojisi aşağıdaki gibi:[17]

nerede Gm gösterir çarpımsal grup, olarak görüntülendi cebirsel grup bitmiş K. Daha somut olarak, kohomoloji grubu şu anlama gelir: H2(Gal(Ks/K), Ks*), nerede Ks bir ayrılabilir kapatma nın-nin K.

Brauer grubunun bir Galois kohomoloji grubu ile izomorfizmi aşağıdaki gibi tarif edilebilir. Cebirinin otomorfizm grubu n × n matrisler projektif doğrusal grup PGL (n). Tüm merkezi basit cebirler bittiğinden K ayrılabilir bir kapanış üzerinde matris cebirine izomorfik hale gelir K, derece merkezi basit cebirlerin izomorfizm sınıfları kümesi n bitmiş K Galois kohomoloji seti ile tanımlanabilir H1(K, PGL (n)). Merkezi bir basit cebirin sınıfı H2(K, Gm) sınıfının görüntüsüdür H1 sınır homomorfizmi altında

ile ilişkili kısa kesin dizi 1 → Gm → GL (n) → PGL (n) → 1.

Bir planın Brauer grubu

Brauer grubu alanlardan genelleştirildi. değişmeli halkalar tarafından Auslander ve Goldman. Grothendieck daha da ileri giderek, herhangi bir grubun Brauer grubunu tanımlayarak plan.

Bir şemanın Brauer grubunu tanımlamanın iki yolu vardır. Xikisinden birini kullanarak Azumaya cebirleri bitmiş X veya projektif demetler bitmiş X. İkinci tanım, yerel olarak önemsiz olan projektif demetleri içerir. étale topolojisi, mutlaka Zariski topolojisi. Özellikle, bir projektif demet Brauer grubunda sıfır olarak tanımlanır, ancak ve ancak bu, bazı vektör demetlerinin projektifleştirmesiyse.

kohomolojik Brauer grubu bir yarı kompakt plan X burulma alt grubu olarak tanımlanır étale kohomolojisi grup H2(X, Gm). (Bütün grup H2(X, Gm) için burulma olmasına rağmen burulmaya gerek yoktur düzenli planlar X.[18]Brauer grubu her zaman kohomolojik Brauer grubunun bir alt grubudur. Gabber Brauer grubunun, geniş bir çizgi demeti olan herhangi bir şema için kohomolojik Brauer grubuna eşit olduğunu gösterdi (örneğin, herhangi bir yarı yansıtmalı değişmeli bir halka üzerinden şema).[19]

Bütün grup H2(X, Gm), sınıflandırma olarak görülebilir. mikroplar bitmiş X yapı grubu G ilem.

Bir tarla üzerinde düzgün projektif çeşitler için Brauer grubu, çift ​​uluslu değişmez. Verimli oldu. Örneğin, ne zaman X aynı zamanda rasyonel olarak bağlı karmaşık sayıların üzerinde, Brauer grubu X burulma alt grubuna izomorfiktir tekil kohomoloji grup H3(X, Z), bu nedenle çift yönlü bir değişmezdir. Artin ve Mumford Brauer grubunun bu açıklamasını, bir ilk örneğini vermek için kullandı. irrasyonel çeşitlilik X bitmiş C bu istikrarlı bir şekilde rasyonel değil (yani, X yansıtmalı bir alan ile rasyoneldir).[20]

Tate varsayımıyla ilişki

Artin, herkesin uygun şema tamsayılar üzerinde sonlu bir Brauer grubu vardır.[21] Bu, düzgün bir yansıtmalı çeşitliliğin özel durumunda bile bilinmekten uzaktır. X sonlu bir alan üzerinde. Aslında, bu durumda yüzeyler için Brauer grubunun sonluluğu şuna eşdeğerdir: Tate varsayımı için bölenler açık Xteorisindeki ana problemlerden biri cebirsel çevrimler.[22]

Düzenli için integral boyut 2 şeması olan düz ve üzerinde uygun tam sayılar halkası ve bir sayı alanına sahip olan Bölüm Brauer grubunun sonluluğu, sonluluğa eşittir. Tate-Shafarevich grubu Ø için Jacobian çeşidi genel lif (bir sayı alanı üzerinde bir eğri).[23] Ш'nin sonluluğu, aritmetiğinde merkezi bir sorundur. eliptik eğriler ve daha genel olarak değişmeli çeşitleri.

Brauer-Manin tıkanıklığı

İzin Vermek X bir sayı alanı üzerinde düzgün bir yansıtmalı çeşitlilik olmak K. Hasse ilkesi tahmin ederdim eğer X var akılcı nokta tüm tamamlamalarda Kv nın-nin K, sonra X var K-rasyonel nokta. Hasse ilkesi, bazı özel çeşit sınıfları için geçerlidir, ancak genel olarak geçerli değildir. Manin Brauer grubunu kullandı X tanımlamak için Brauer-Manin tıkanıklığı bunu göstermek için birçok durumda uygulanabilir X yok K-puanlar bile X tüm tamamlamaların üzerinde puanları var K.

Notlar

  1. ^ Farb & Dennis (1993), Önerme 4.16.
  2. ^ a b Serre (1979), s. 162.
  3. ^ Gille & Szamuely (2006), Teorem 6.2.8.
  4. ^ Serre (1979), s. 163.
  5. ^ a b Serre (1979), s. 193.
  6. ^ Gille & Szamuely (2006), bölüm 5.2.
  7. ^ Gille & Szamuely (2006), Teorem 1.4.2.
  8. ^ Gille & Szamuely (2006), Önerme 2.5.2.
  9. ^ Gille & Szamuely (2006), Teorem 2.5.7.
  10. ^ Gille ve Szamuely (2006), Not 2.5.8.
  11. ^ a b Pierce (1982), bölüm 18.6.
  12. ^ Saltman (2007).
  13. ^ Gille & Szamuely (2006), Önerme 4.5.13.
  14. ^ de Jong (2004).
  15. ^ Gille ve Szamuely (2006), s. 159.
  16. ^ Pierce (1982), bölüm 18.5.
  17. ^ Serre (1979), s. 157–159.
  18. ^ Milne (1980), Corollary IV.2.6.
  19. ^ de Jong, Gabber'ın bir sonucu.
  20. ^ Colliot-Thélène (1995), Önerme 4.2.3 ve bölüm 4.2.4.
  21. ^ Milne (1980), Soru IV.2.19.
  22. ^ Tate (1994), Önerme 4.3.
  23. ^ Grothendieck (1968), Le groupe de Brauer III, Önerme 4.5.

Referanslar

Dış bağlantılar