Ad-адик қабығы - ℓ-adic sheaf

Алгебралық геометрияда ан ad-адик қабығы ноетриялық схема бойынша X болып табылады кері жүйе тұратын -модульдер ішінде этология топологиясы және индукциялық .[1][2]

Bhatt – Scholze's этологияға арналған топология балама тәсіл ұсынады.[3]

Конструктивті және лисистикалық қабықшалар

Ad-адикті шоқ деп айтылады

  • конструктивті егер әрқайсысы болса болып табылады конструктивті.
  • лисс егер әрқайсысы болса конструктивті және жергілікті тұрақты.

Кейбір авторлар (мысалы, SGA 4½ авторлары) ℓ-адик қабығын конструктивті деп санайды.

Байланыстырылған схема берілген X геометриялық нүктемен х, SGA 1 анықтайды étale іргелі тобы туралы X кезінде х Галуа жабуларын жіктейтін топ болу X. Содан кейін se-адик қабықшаларының категориясы X үздіксіз бейнелеу санатына тең келеді ақысыз -модульдер. Бұл жергілікті жүйелер мен алгебралық топологиядағы фундаментальды топтың үздіксіз көріністері арасындағы сәйкестіктің аналогы (сондықтан ℓ-адик қабығын кейде жергілікті жүйе деп те атайды).

ℓ-адиктік когомология

ℓ-адиктік когомология топтары кері шегі болып табылады этологиялық когомология бұралу коэффициенттері белгілі топтар.

Конструктивті «туынды категория» -қаптар

ℓ-адик когомологиясына ұқсас жолмен, құрастырылатын санат -шаштар мәні ретінде анықталады

.

(Bhatt – Scholze 2013 ) «күнделікті өмірде біреу солай көрінеді (көп қиындыққа тап болмай)» жай гипотетикалық алынған санаттың толық ішкі категориясы ..."

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Милн, бір жерде[толық дәйексөз қажет ]
  2. ^ Стектер жобасы, Tag 03UL.
  3. ^ Шольце, Петр; Бхатт, Бхаргав (2013-09-04). «Схемалар үшін этологиялық топология». arXiv:1309.1198v2 [math.AG ].

Сыртқы сілтемелер