Étale spektrum - Étale spectrum
v algebraická geometrie, pobočka matematika, étale spektrum a komutativní prsten nebo E∞ -krok, označený Specét nebo Spét, je obdobou prvotřídní spektrum Specifikace komutativního kruhu, která se získá nahrazením Zariski topologie s topologie étale. Přesná definice závisí na formalismu člověka. Myšlenka samotné definice je však jednoduchá. Obvyklá primární spektrum Spec má vztah: pro a systém (S, ÓS) a komutativní prsten A,
kde je Hom nalevo morfismy schémat a Hom napravo kruhové homomorfismy. To znamená, že Spec je pravý adjoint do globální sekce funktor . Zhruba tedy lze (a obvykle to dělá) jednoduše definovat étalovské spektrum Spét jako správného adjunkta k funktoru globální sekce v kategorii „prostorů“ s topologií étale.[1][2]
Přes pole charakteristické nuly K. Behrend konstruuje étale spektrum a odstupňovaná algebra nazývá se dokonalá rozlišovací algebra.[3] Poté definuje a diferenciálně odstupňované schéma (typ a odvozené schéma ) jako ten, který je étale-lokálně takové étale spektrum.
Pojem má smysl v obvyklé algebraické geometrii, ale objevuje se častěji v kontextu odvozená algebraická geometrie.
Poznámky
Reference
Tento související s algebraickou geometrií článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |