Glosář aritmetické a diofantické geometrie - Glossary of arithmetic and diophantine geometry
Slovník Wikipedie
Toto je glosář aritmetická a diofantická geometrie v matematika, oblasti vyrůstající z tradičního studia Diophantine rovnice zahrnovat velké části teorie čísel a algebraická geometrie. Velká část teorie má formu navrhované domněnky, které mohou souviset na různých úrovních obecnosti.
The domněnka abc z Masser a Oesterlé pokusí se co nejvíce vyjádřit o opakovaných prvočíslech v rovnici A + b = C. Například 3 + 125 = 128, ale hlavní síly zde jsou výjimečné.
Chabautyho metoda, na základě p-adické analytické funkce, je speciální aplikace, ale schopná prokázat případy Mordellova domněnka pro křivky, jejichž Jacobova pozice je menší než její rozměr. Vyvinula nápady z Thoralf Skolem metoda pro algebraický torus. (Jiné starší metody pro diofantické problémy zahrnují Rungeova metoda.)
The Diophantine rozměr pole je nejmenší přirozené číslo k, pokud existuje, takové, že pole je třídy C.k: to znamená takový, že jakýkoli homogenní polynom stupně d v N proměnné má netriviální nulu kdykoli N > dk. Algebraicky uzavřená pole jsou diofantické dimenze 0; kvazi-algebraicky uzavřená pole dimenze 1.[11]
Diskriminující bodu
The diskriminující bod odkazuje na dva související pojmy ve vztahu k bodu P na algebraické odrůdě PROTI definováno přes číselné pole K.: geometrický (logaritmický) diskriminační[12]d(P) a aritmetický diskriminátor, definovaný Vojtou.[13] Rozdíl mezi nimi lze srovnávat s rozdílem mezi aritmetický rod a singulární křivka a geometrický rod z desingularizace.[13] Aritmetický rod je větší než geometrický rod a výška bodu může být ohraničena, pokud jde o aritmetický rod. Získání podobných hranic zahrnujících geometrický rod by mělo značné důsledky.[13]
V devatenáctém století si uvědomili, že kruh celých čísel číselného pole má analogie s afinitou souřadnicový kruh algebraické křivky nebo kompaktního Riemannova povrchu, s odstraněným bodem nebo více, což odpovídá „nekonečným místům“ číselného pole. Tato myšlenka je přesněji zakódována v teorii globální pole se všemi by se mělo zacházet na stejném základě. Myšlenka jde ještě dále. Tím pádem eliptické povrchy nad komplexními čísly mají také nějaké docela přísné analogie s eliptické křivky přes číselná pole.
The Hasseův princip uvádí, že rozpustnost pro a globální pole je stejná jako rozpustnost ve všech relevantních místní pole. Jedním z hlavních cílů diofantické geometrie je klasifikace případů, kde platí princip Hasse. Obecně to platí pro velký počet proměnných, když je stupeň rovnice udržován pevně. Princip Hasse je často spojován s úspěchem Hardy – Littlewoodova kruhová metoda. Když kruhová metoda funguje, může poskytnout další kvantitativní informace, jako je asymptotický počet řešení. Snížení počtu proměnných ztěžuje metodu kruhu; proto selhání principu Hasse, například pro kubické tvary v malém počtu proměnných (a zejména pro eliptické křivky tak jako kubické křivky ) jsou na obecné úrovni spojeny s omezeními analytického přístupu.
Nekonečný sestup byl Pierre de Fermat Klasická metoda pro diofantické rovnice. Stala se jednou polovinou standardního důkazu Mordell-Weilovy věty, druhou je argument s výškovými funkcemi (q.v.). Sestup je něco jako dělení dvěma ve skupině hlavní homogenní prostory (často nazývané „sestupy“, jsou-li vypsány rovnicemi); modernějším způsobem v a Galoisova kohomologie skupina, která se prokáže jako konečná. Vidět Selmerova skupina.
Enrico Bombieri (rozměr 2), Serge Lang a Paul Vojta (případ integrálních bodů) a Piotr Blass se domnívali, že algebraické varianty obecný typ nemít Zariski hustý podmnožiny K.- racionální body, pro K. konečně generované pole. Tento kruh myšlenek zahrnuje porozumění analytická hyperbolicita a Langovy domněnky a Vojtovy domněnky. An analyticky hyperbolická algebraická odrůdaPROTI přes komplexní čísla je jeden takový, že ne holomorfní mapování z celku složité letadlo existuje, to není konstantní. Mezi příklady patří kompaktní Riemannovy povrchy rodu G > 1. Lang si to domyslel PROTI je analyticky hyperbolický právě tehdy, jsou-li všechny poddruhy obecného typu.[19]
Lineární torus
A lineární torus je geometricky neredukovatelná Zariskiho uzavřená podskupina afinního torusu (produkt multiplikativních skupin).[20]
The Mordellova domněnka je nyní Faltingova věta a uvádí, že křivka rodu nejméně dvou má pouze konečně mnoho racionálních bodů. The Dohoda o uniformitě uvádí, že by měla existovat jednotná vazba na počet takových bodů, pouze v závislosti na rodu a oblasti definice.
The Mordell – Weilova věta je základním výsledkem uvádějícím, že pro abelianskou odrůdu A přes číselné pole K. skupina A(K.) je konečně generovaná abelianská skupina. To se původně prokázalo u číselných polí K., ale vztahuje se na všechna konečně vygenerovaná pole.
Mordelská odrůda
A Mordelská odrůda je algebraická odrůda, která má v každém definitivně vygenerovaném poli jen konečně mnoho bodů.[25]
N
Naivní výška
The naivní výška nebo klasická výška vektoru racionálních čísel je maximální absolutní hodnota vektoru celých čísel coprime získaná vynásobením a nejnižší společný jmenovatel. To lze použít k definování výšky bodu v projektivním prostoru Q, nebo polynomu, považovaného za vektor koeficientů, nebo algebraického čísla, z výšky jeho minimálního polynomu.[26]
Néron symbol
The Néron symbol je bimultiplikativní párování mezi děliteli a algebraické cykly na Abelianská odrůda použitý v Néronově formulaci Néron – Tate výška jako součet místních příspěvků.[27][28][29] Globální symbol Néron, který je součtem místních symbolů, je pouze záporem párování výšek.[30]
Néron – Tate výška
The Néron – Tate výška (také často označovaný jako kanonická výška ) na abelianská odrůdaA je výšková funkce (q.v.), která je v podstatě vnitřní a přesná kvadratická forma, spíše než přibližně kvadratické s ohledem na doplnění na A jak to poskytuje obecná teorie výšek. Může být definován z obecné výšky omezujícím procesem; existují také vzorce v tom smyslu, že se jedná o součet místních příspěvků.[30]
A plný ideál v číselném poli K. je formálním produktem a zlomkový ideál z K. a vektor kladných reálných čísel se složkami indexovanými podle nekonečných míst K..[34] A plný dělitel je Arakelovův dělitel.[4]
The speciální sada v algebraické odrůdě je podmnožina, ve které by se dalo očekávat, že najde mnoho racionálních bodů. Přesná definice se liší podle kontextu. Jedna definice je Zariski uzavření spojení obrazů algebraických skupin pod netriviálními racionálními mapami; alternativně lze pořídit snímky abelianských odrůd;[36] další definice je sjednocení všech podrůd, které nejsou obecného typu.[19] Pro abelianské odrůdy by definice byla spojením všech překladů správných abelianských podrůd.[37] Pro komplexní odrůdu je holomorfní speciální sada je Zariskiho uzavření obrazů všech nekonstantní holomorfních map z C. Lang se domníval, že analytické a algebraické speciální množiny jsou stejné.[38]
The Tateova křivka je zvláštní eliptická křivka nad p-adic čísla zavedl John Tate ke studiu špatné redukce (viz dobrá redukce).
Pořadí Tsen
The Pořadí Tsen pole pojmenovaného pro C. C. Tsen kteří uvedli svoji studii v roce 1936,[40] je nejmenší přirozené číslo i, pokud existuje, takové, že pole je třídy Ti: to znamená takový, že jakýkoli systém polynomů bez konstantního stupně dj v n proměnné má netriviální nulu kdykoli n > ∑ dji. Algebraicky uzavřená pole mají nulovou hodnost Tsen. Pořadí Tsen je větší nebo rovno Diophantine rozměr ale není známo, zda jsou si rovni, s výjimkou případu s nulovou hodností.[41]
U
Dohoda o uniformitě
The domněnka uniformity uvádí, že pro jakékoli číslo pole K. a G > 2, existuje jednotná vazba B(G,K.) na počtu K.-racionální body na jakékoli křivce rodu G. Domněnka by vyplývala z Bombieri – Lang dohad.[42]
Nepravděpodobná křižovatka
An nepravděpodobná křižovatka je algebraická podskupina protínající podrodinu torusové nebo abelianské odrůdy v souboru neobvykle velké dimenze, která se podílí na Mordell – Lang dohad.[43]
The Weil dohady byly tři velmi vlivné dohady André Weil, zveřejněný kolem roku 1949, o místních funkcích zeta. Důkaz byl dokončen v roce 1973. Ti, kteří se prokázali, zůstávají rozšíření Chevalleyova varovná věta kongruence, která vychází z elementární metody, a vylepšení hranic Weil, např. lepší odhady pro křivky počtu bodů, než pocházejí z Weilovy základní věty z roku 1940. Ta se ukazuje jako zajímavá pro Kódy Goppa.
Weilovy distribuce na algebraických varietách
André Weil navrhl teorii ve 20. a 30. letech hlavní ideál rozklad algebraických čísel v souřadnicích bodů na algebraických varietách. Zůstala poněkud nedostatečně rozvinutá.
The Weilův výškový stroj je efektivní postup pro přiřazení výškové funkce libovolnému děliteli na hladké projektivní varietě přes číselné pole (nebo do Cartier dělitelé u nehladkých odrůd).[47]
^Sutherland, Andrew V. (5. září 2013). „Úvod do aritmetické geometrie“(PDF). Citováno 22. března 2019. Citovat má prázdný neznámý parametr: |1= (Pomoc)
^Raynaud, Michel (1983). „Sous-variétés d'une variété abélienne et points de torsion“. v Artin, Michael; Tate, Johne (eds.). Aritmetika a geometrie. Články věnované I. R. Shafarevichovi u příležitosti jeho šedesátých narozenin. Sv. I: Aritmetika. Pokrok v matematice (ve francouzštině). 35. Birkhauser-Boston. 327–352. Zbl0581.14031.
^Roessler, Damian (2005). „Poznámka k domněnce Manin – Mumford“. In van der Geer, Gerard; Moonen, Ben; Schoof, René (eds.). Číselná pole a funkční pole - dva paralelní světy. Pokrok v matematice. 239. Birkhäuser. 311–318. ISBN0-8176-4397-4. Zbl1098.14030.
^Marcja, Annalisa; Toffalori, Carlo (2003). Průvodce teorií klasického a moderního modelu. Trendy v logice. 19. Springer-Verlag. 305–306. ISBN1402013302.
^Je to uvedeno v J. Tate, Algebraické cykly a póly funkcí zeta ve svazku (O. F. G. Schilling, redaktor), Aritmetická algebraická geometrie, strany 93–110 (1965).