Weil karşılıklılık yasası - Weil reciprocity law

İçinde matematik, Weil karşılıklılık yasası sonucu André Weil tutmak fonksiyon alanı K(C) bir cebirsel eğri C bir cebirsel olarak kapalı alan K. Verilen işlevler f ve g içinde K(C), yani rasyonel işlevler C, sonra

f((g)) = g((f))

gösterimin bu anlamı olduğu yerde: (h) bölen fonksiyonun hveya başka bir deyişle resmi toplam sıfırları ve kutupları ile sayılan çokluk; ve biçimsel bir toplama uygulanan bir fonksiyon, bölenin noktalarındaki fonksiyon değerlerinin çarpımı (çokluklar, kutuplar negatif çokluk olarak sayılır) anlamına gelir. Bu tanımla, bölenlerin yan koşulu olmalıdır. f ve g ayrık desteğe sahip (çıkarılabilir).

Durumunda projektif çizgi bu, ile yapılan manipülasyonlarla kanıtlanabilir. sonuç polinomlar.

Her nokta için ayrık destek durumunu ortadan kaldırmak için P açık C a yerel sembol

(f, g)P

verilen ifadenin ürünün her şeyden üstün olduğunu söylemeye eşdeğer olacak şekilde tanımlanmıştır. P yerel sembollerin oranı 1'dir. f ve g her ikisi de 0 veya ∞ değerlerini alır Ptanım esasen sınırlayıcıdır veya çıkarılabilir tekillik şartları dikkate alarak (imzalamak için)

fagb

ile a ve b öyle ki fonksiyonun ne sıfır ne de kutbu P. Bu, alarak elde edilir a çokluğu olmak g -de Pve -b çokluğu f -de P. Tanım o zaman

(f, g)P = (−1)ab fagb.

Örneğin bakınız Jean-Pierre Serre, Groupes algébriques et corps de classes, s. 44-46, bunun için cebirsel eğrilerin değişmeli gruplara haritalanması üzerine bir teorinin özel bir durumu olarak.

Bir genelleme var Serge Lang -e değişmeli çeşitleri (Lang, Abelian Çeşitler).

Referanslar

  • André Weil, Oeuvres Scientifiques I, s. 291 (içinde Lettre à Artin, Artin'e 1940'ı açıklayan 1942 tarihli bir mektup Rendus Comptes Not Sur les fonctions algébriques à corps de Constantes finis)
  • Griffiths, Phillip; Harris, Joseph (1994). Cebirsel Geometrinin İlkeleri. Wiley Classics Kitaplığı. New York, NY: John Wiley & Sons Ltd. s. 242–3. ISBN  0-471-05059-8. Zbl  0836.14001. bir kanıt için Riemann yüzeyi durum
  • Arbarello, E .; De Concini, C .; Kac, V.G. (1989). "Cebirsel eğriler için sonsuz kama gösterimi ve karşılıklılık yasası". Ehrenpreis, Leon'da; Gunning, Robert C. (editörler). Theta functions, Bowdoin 1987. (35. Yaz Araştırma Enstitüsü Bildirileri, Bowdoin Coll., Brunswick / ME 6-24 Temmuz 1987). Saf Matematikte Sempozyum Bildirileri. 49.1. Providence, UR: Amerikan Matematik Derneği. s. 171–190. ISBN  0-8218-1483-4. Zbl  0699.22028.
  • Serre, Jean-Pierre (1988). Cebirsel gruplar ve sınıf alanları. Matematikte Lisansüstü Metinler. 117 (Fransızca 2. baskı çevirisi). New York vb .: Springer-Verlag. ISBN  3-540-96648-X. Zbl  0703.14001.