Hasse – Witt matrisi - Hasse–Witt matrix

İçinde matematik, Hasse – Witt matrisi H bir tekil olmayan cebirsel eğri C üzerinde sonlu alan F ... matris of Frobenius haritalama (p-th güç haritalama nerede F vardır q elementler, q bir güç asal sayı p) için bir temele göre birinci türden farklılıklar. Bu bir g × g matris nerede C vardır cins g. Hasse – Witt matrisinin sıralaması, Hasse veya Hasse-Witt değişmez.

Tanıma yaklaşım

Bu tanım, giriş bölümünde verildiği gibi, klasik anlamda doğaldır ve Helmut Hasse ve Ernst Witt (1936). Sorusuna bir çözüm sağlar. p-nin sıralaması Jacobian çeşidi J nın-nin C; p-rank ile sınırlıdır sıra nın-nin H, özellikle kendisi ile oluşturulan Frobenius haritasının derecesidir g zamanlar. Aynı zamanda prensipte algoritmik olan bir tanımdır. Pratik uygulama olarak buna son zamanlarda önemli bir ilgi olmuştur. kriptografi, bu durumuda C a hiperelliptik eğri. Eğri C dır-dir çok özel Eğer H = 0.

Bu tanımın en azından birkaç uyarıya ihtiyacı var. İlk olarak, Frobenius haritalamaları hakkında bir kongre var ve modern anlayış altında ne için gerekli H ... değiştirmek Frobenius'un (bkz. aritmetik ve geometrik Frobenius daha fazla tartışma için). İkincisi, Frobenius eşlemesi F-doğrusal; üzerinde doğrusaldır ana alan Z/pZ içinde F. Bu nedenle, matris yazılabilir, ancak basit anlamda doğrusal bir eşlemeyi temsil etmez.

Kohomoloji

İçin yorum demet kohomolojisi bu mu p-güç haritası etki eder

H1(C,ÖC),

veya başka bir deyişle, ilk kohomolojisi C katsayıları ile yapı demeti. Bu artık Cartier – Manin operatörü (bazen sadece Cartier operatörü), için Pierre Cartier ve Yuri Manin. Hasse-Witt tanımıyla bağlantı, Serre ikiliği, bir eğri için bu grubu,

H0(C, ΩC)

nerede ΩC = Ω1C demet mi Kähler diferansiyelleri açık C.

Abelian çeşitleri ve onların p-rank

pbir değişmeli çeşitlilik Bir üzerinde alan K nın-nin karakteristik p tam sayıdır k hangi çekirdek için Bir[p] ile çarpma p vardır pk puan. 0'dan 0'a kadar herhangi bir değer alabilir d, boyutu Bir; diğer asal sayıların aksine l var l2d puan Bir[l]. Nedeni p-rank daha düşüktür, çarpım p açık Bir bir ayrılmaz eşojenlik: diferansiyel p içinde 0 olan K. Çekirdeğe bir grup şeması daha eksiksiz bir yapı elde edilebilir (referans David Mumford Abelian Çeşitler s. 146–7); ama örneğin biri bakarsa azaltma modu p bir bölme denklemi çözüm sayısı düşmelidir.

Cartier – Manin operatörünün veya Hasse – Witt matrisinin sıralaması bu nedenle için bir üst sınır verir p-rank. p-rank kendi oluşturduğu Frobenius operatörünün rankıdır g zamanlar. Hasse ve Witt'in orijinal makalesinde sorun, konuya özgü terimlerle ifade edilmiştir. Cgüvenmemek J. Olası olanı sınıflandırma sorunu var Artin – Schreier uzantıları of fonksiyon alanı F(C) (bu durumda analog Kummer teorisi ).

Cins 1 durumu

Halinde eliptik eğriler 1934 yılında Hasse tarafından geliştirilmiştir. Cins 1 olduğundan, matris için tek olasılık H şunlardır: H sıfır, Hasse değişmez 0, p-rank 0, supersingular durum; veya H sıfır olmayan, Hasse değişmez 1, p1. sıra, sıradan durum.[1] Burada bir eşleşme formülü var. H uyumlu modulo p numaraya N puanların C bitmiş Fen azından ne zaman q = p. Yüzünden Hasse teoremi eliptik eğriler üzerinde, bilmek N modulo p belirler N için p ≥ 5. Bu bağlantı yerel zeta fonksiyonları derinlemesine incelenmiştir.

Kübik olarak tanımlanan bir düzlem eğrisi için f(X,Y,Z) = 0, Hasse değişmezi sıfırdır ancak ve ancak katsayısı (XYZ)p−1 içinde fp−1 sıfırdır.[1]

Notlar

  1. ^ a b Hartshorne, Robin (1977). Cebirsel Geometri. Matematikte Lisansüstü Metinler. 52. Springer-Verlag. s. 332. ISBN  0-387-90244-9. BAY  0463157. Zbl  0367.14001.

Referanslar