Почему H⁰(X, F) — это в точности глобальные сечения, отчего вялый пучок не имеет старших когомологий и всякий ли пучок допускает вялую резольвенту?

Пучкование предпучка даёт пучок абелевых групп и универсально среди отображений в пучки. Нулевая степень производного функтора глобальных сечений совпадает с самими глобальными сечениями, потому что этот функтор точен слева. У вялого пучка все когомологии положительной степени обращаются в нуль, инъективный пучок вял, а резольвента Годемана существует у любого пучка — поэтому вычислять когомологии есть чем.

Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.

Результаты

Проверка условия

Пучкование даёт пучок абелевых групп

Установлено

Параметры запроса · 2

f: urn:case:stacks:sh:fsharp
x: urn:case:stacks:sh:x

Исходные факты · 3

$F$ — предпучок множеств на $X$ : правило, сопоставляющее каждому открытому $U$ множество $F(U)$ , а вложениям $V ⊂ U$ — отображения ограничения $ρ^U_V$ с $ρ^U_U = id$ и $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
каждое $F(U)$ несёт структуру абелевой группы, и все отображения ограничения — гомоморфизмы абелевых групп
f: f
$G = F^#$ — пучковизация предпучка $F$ : сечения над $U$ суть согласованные семейства ростков (Sheaves, раздел 007X), с каноническим отображением $F → F^#$
g: fsharpf: f

Почему такой результат? →Источники: 7

Из предпучка строится пучок: конструкция сохраняет структуру абелевой группы.

Проверка условия

Универсальность пучкования

Установлено

Параметры запроса · 2

f: urn:case:stacks:sh:f
g: urn:case:stacks:sh:fsharp

Исходные факты · 2

$F$ — предпучок множеств на $X$ : правило, сопоставляющее каждому открытому $U$ множество $F(U)$ , а вложениям $V ⊂ U$ — отображения ограничения $ρ^U_V$ с $ρ^U_U = id$ и $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
$G = F^#$ — пучковизация предпучка $F$ : сечения над $U$ суть согласованные семейства ростков (Sheaves, раздел 007X), с каноническим отображением $F → F^#$
g: fsharpf: f

Почему такой результат? →Источники: 3

Пучкование универсально среди отображений предпучка в пучки: через него пропускается любое такое отображение.

Проверка условия

H⁰ равна глобальным сечениям

Установлено

Параметры запроса · 4

x: urn:case:stacks:sh:x
n: 0
f: urn:case:stacks:sh:f
h: urn:case:stacks:sh:h0

Исходные факты · 8

категория есть $Ab(X)$ — категория пучков абелевых групп на $X$
c: abxx: x
категория есть $Ab$ — категория абелевых групп
ab: ab
функтор есть $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ — предпучок множеств на $X$ : правило, сопоставляющее каждому открытому $U$ множество $F(U)$ , а вложениям $V ⊂ U$ — отображения ограничения $ρ^U_V$ с $ρ^U_U = id$ и $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
каждое $F(U)$ несёт структуру абелевой группы, и все отображения ограничения — гомоморфизмы абелевых групп
f: f
006T, существование: для всякого открытого покрытия $U = ∪ U_i$ и сечений $s_i ∈ F(U_i)$ , согласованных на пересечениях, существует $s ∈ F(U)$ с $s|U_i = s_i$
f: f
006T, единственность: сечение $s ∈ F(U)$ определяется своими ограничениями $s|U_i$ на открытое покрытие
f: f
$Γ(X, F) = F(X)$ — данная абелева группа
f: fx: xh: h0

Почему такой результат? →Источники: 19

Функтор глобальных сечений точен слева, поэтому нулевая степень его производного равна ему самому.

Проверка условия

Старшие когомологии вялого пучка нулевые

Установлено

Параметры запроса · 2

x: urn:case:stacks:sh:x
f: urn:case:stacks:sh:f

Исходные факты · 8

категория есть $Ab(X)$ — категория пучков абелевых групп на $X$
c: abxx: x
категория есть $Ab$ — категория абелевых групп
ab: ab
функтор есть $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ — предпучок множеств на $X$ : правило, сопоставляющее каждому открытому $U$ множество $F(U)$ , а вложениям $V ⊂ U$ — отображения ограничения $ρ^U_V$ с $ρ^U_U = id$ и $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
каждое $F(U)$ несёт структуру абелевой группы, и все отображения ограничения — гомоморфизмы абелевых групп
f: f
006T, существование: для всякого открытого покрытия $U = ∪ U_i$ и сечений $s_i ∈ F(U_i)$ , согласованных на пересечениях, существует $s ∈ F(U)$ с $s|U_i = s_i$
f: f
006T, единственность: сечение $s ∈ F(U)$ определяется своими ограничениями $s|U_i$ на открытое покрытие
f: f
09SW: для всяких открытых $U ⊂ V$ в $X$ отображение ограничения $F(V) → F(U)$ сюръективно
f: f

Почему такой результат? →Источники: 21

Вялость — достаточное условие ацикличности: в положительных степенях когомологий нет.

Проверка условия

Инъективный пучок вял

Установлено

Параметры запроса · 1

f: urn:case:stacks:sh:f

Исходные факты · 8

категория есть $Ab(X)$ — категория пучков абелевых групп на $X$
c: abxx: x
категория есть $Ab$ — категория абелевых групп
ab: ab
функтор есть $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ — предпучок множеств на $X$ : правило, сопоставляющее каждому открытому $U$ множество $F(U)$ , а вложениям $V ⊂ U$ — отображения ограничения $ρ^U_V$ с $ρ^U_U = id$ и $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
каждое $F(U)$ несёт структуру абелевой группы, и все отображения ограничения — гомоморфизмы абелевых групп
f: f
006T, существование: для всякого открытого покрытия $U = ∪ U_i$ и сечений $s_i ∈ F(U_i)$ , согласованных на пересечениях, существует $s ∈ F(U)$ с $s|U_i = s_i$
f: f
006T, единственность: сечение $s ∈ F(U)$ определяется своими ограничениями $s|U_i$ на открытое покрытие
f: f
для всякой инъекции $A ↪ B$ и всякого морфизма $A → J$ существует морфизм $B → J$ , замыкающий диаграмму
j: f

Почему такой результат? →Источники: 13

Инъективность влечёт вялость, поэтому инъективные резольвенты состоят из ацикличных пучков.

Проверка условия

Вялая резольвента существует

Установлено

Параметры запроса · 1

f: urn:case:stacks:sh:f

Исходные факты · 7

категория есть $Ab(X)$ — категория пучков абелевых групп на $X$
c: abxx: x
категория есть $Ab$ — категория абелевых групп
ab: ab
функтор есть $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ — предпучок множеств на $X$ : правило, сопоставляющее каждому открытому $U$ множество $F(U)$ , а вложениям $V ⊂ U$ — отображения ограничения $ρ^U_V$ с $ρ^U_U = id$ и $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
каждое $F(U)$ несёт структуру абелевой группы, и все отображения ограничения — гомоморфизмы абелевых групп
f: f
006T, существование: для всякого открытого покрытия $U = ∪ U_i$ и сечений $s_i ∈ F(U_i)$ , согласованных на пересечениях, существует $s ∈ F(U)$ с $s|U_i = s_i$
f: f
006T, единственность: сечение $s ∈ F(U)$ определяется своими ограничениями $s|U_i$ на открытое покрытие
f: f

Почему такой результат? →Источники: 8

Резольвента Годемана строится для любого пучка, и вычисление когомологий всегда имеет вход.

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки

«Почему H⁰(X, F) — это в точности глобальные сечения, отчего вялый пучок не имеет старших когомологий и всякий ли пучок допускает вялую резольвенту?». Arxo Lens, по состоянию на 06.09.2026. https://lens.arxo.io/a/a_SaQiyajJyuLuWrrmzZd47mDW. SHA-256 снимка: 0784573de683195255e937ea105f498e61cd96566d7d758765f5c206138128fc.

BibTeX

@misc{arxo-lens-a_SaQiyajJyuLu,
  title = {Почему H⁰(X, F) — это в точности глобальные сечения, отчего вялый пучок не имеет старших когомологий и всякий ли пучок допускает вялую резольвенту?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_SaQiyajJyuLuWrrmzZd47mDW},
  note = {по состоянию на 06.09.2026; SHA-256 0784573de683195255e937ea105f498e61cd96566d7d758765f5c206138128fc}
}

Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/a_SaQiyajJyuLuWrrmzZd47mDW?lang=ru" width="100%" height="390" loading="lazy" title="Пучки: H⁰ — это глобальные сечения, а вялый пучок — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.