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

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

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

Results

Condition

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

Established

Query parameters · 2

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

Input facts · 3

$F$ is a presheaf of sets on $X$ : a rule assigning a set $F(U)$ to each open $U$ and restriction maps $ρ^U_V$ to inclusions $V ⊂ U$ with $ρ^U_U = id$ and $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
each $F(U)$ carries the structure of an abelian group and all restriction maps are homomorphisms of abelian groups
f: f
$G = F^#$ is the sheafification of the presheaf $F$ : sections over $U$ are compatible families of germs (Sheaves, Section 007X), with the canonical map $F → F^#$
g: fsharpf: f

Why this result? →Sources: 7

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

Condition

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

Established

Query parameters · 2

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

Input facts · 2

$F$ is a presheaf of sets on $X$ : a rule assigning a set $F(U)$ to each open $U$ and restriction maps $ρ^U_V$ to inclusions $V ⊂ U$ with $ρ^U_U = id$ and $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
$G = F^#$ is the sheafification of the presheaf $F$ : sections over $U$ are compatible families of germs (Sheaves, Section 007X), with the canonical map $F → F^#$
g: fsharpf: f

Why this result? →Sources: 3

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

Condition

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

Established

Query parameters · 4

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

Input facts · 8

the category is $Ab(X)$ , the category of sheaves of abelian groups on $X$
c: abxx: x
the category is $Ab$ , the category of abelian groups
ab: ab
the functor is $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ is a presheaf of sets on $X$ : a rule assigning a set $F(U)$ to each open $U$ and restriction maps $ρ^U_V$ to inclusions $V ⊂ U$ with $ρ^U_U = id$ and $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
each $F(U)$ carries the structure of an abelian group and all restriction maps are homomorphisms of abelian groups
f: f
006T, existence: for every open covering $U = ∪ U_i$ and sections $s_i ∈ F(U_i)$ with $s_i|U_i∩U_j = s_j|U_i∩U_j$ there exists $s ∈ F(U)$ with $s|U_i = s_i$
f: f
006T, uniqueness: a section $s ∈ F(U)$ is determined by its restrictions $s|U_i$ to an open covering
f: f
$Γ(X, F) = F(X)$ is the given abelian group
f: fx: xh: h0

Why this result? →Sources: 19

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

Condition

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

Established

Query parameters · 2

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

Input facts · 8

the category is $Ab(X)$ , the category of sheaves of abelian groups on $X$
c: abxx: x
the category is $Ab$ , the category of abelian groups
ab: ab
the functor is $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ is a presheaf of sets on $X$ : a rule assigning a set $F(U)$ to each open $U$ and restriction maps $ρ^U_V$ to inclusions $V ⊂ U$ with $ρ^U_U = id$ and $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
each $F(U)$ carries the structure of an abelian group and all restriction maps are homomorphisms of abelian groups
f: f
006T, existence: for every open covering $U = ∪ U_i$ and sections $s_i ∈ F(U_i)$ with $s_i|U_i∩U_j = s_j|U_i∩U_j$ there exists $s ∈ F(U)$ with $s|U_i = s_i$
f: f
006T, uniqueness: a section $s ∈ F(U)$ is determined by its restrictions $s|U_i$ to an open covering
f: f
09SW: for every $U ⊂ V$ open in $X$ the restriction map $F(V) → F(U)$ is surjective
f: f

Why this result? →Sources: 21

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

Condition

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

Established

Query parameters · 1

f: urn:case:stacks:sh:f

Input facts · 8

the category is $Ab(X)$ , the category of sheaves of abelian groups on $X$
c: abxx: x
the category is $Ab$ , the category of abelian groups
ab: ab
the functor is $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ is a presheaf of sets on $X$ : a rule assigning a set $F(U)$ to each open $U$ and restriction maps $ρ^U_V$ to inclusions $V ⊂ U$ with $ρ^U_U = id$ and $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
each $F(U)$ carries the structure of an abelian group and all restriction maps are homomorphisms of abelian groups
f: f
006T, existence: for every open covering $U = ∪ U_i$ and sections $s_i ∈ F(U_i)$ with $s_i|U_i∩U_j = s_j|U_i∩U_j$ there exists $s ∈ F(U)$ with $s|U_i = s_i$
f: f
006T, uniqueness: a section $s ∈ F(U)$ is determined by its restrictions $s|U_i$ to an open covering
f: f
for every injection $A ↪ B$ and every morphism $A → J$ there exists a morphism $B → J$ making the diagram commute
j: f

Why this result? →Sources: 13

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

Condition

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

Established

Query parameters · 1

f: urn:case:stacks:sh:f

Input facts · 7

the category is $Ab(X)$ , the category of sheaves of abelian groups on $X$
c: abxx: x
the category is $Ab$ , the category of abelian groups
ab: ab
the functor is $Γ(X, −): Ab(X) → Ab, F ↦ Γ(X, F) = F(X)$
g: gammax: x
$F$ is a presheaf of sets on $X$ : a rule assigning a set $F(U)$ to each open $U$ and restriction maps $ρ^U_V$ to inclusions $V ⊂ U$ with $ρ^U_U = id$ and $ρ^U_W = ρ^V_W ∘ ρ^U_V$
f: fx: x
each $F(U)$ carries the structure of an abelian group and all restriction maps are homomorphisms of abelian groups
f: f
006T, existence: for every open covering $U = ∪ U_i$ and sections $s_i ∈ F(U_i)$ with $s_i|U_i∩U_j = s_j|U_i∩U_j$ there exists $s ∈ F(U)$ with $s|U_i = s_i$
f: f
006T, uniqueness: a section $s ∈ F(U)$ is determined by its restrictions $s|U_i$ to an open covering
f: f

Why this result? →Sources: 8

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

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“Почему H⁰(X, F) — это в точности глобальные сечения, отчего вялый пучок не имеет старших когомологий и всякий ли пучок допускает вялую резольвенту?”. Arxo Lens, as of 2026-09-06. https://lens.arxo.io/a/a_SaQiyajJyuLuWrrmzZd47mDW. Snapshot 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 = {as of 2026-09-06; SHA-256 0784573de683195255e937ea105f498e61cd96566d7d758765f5c206138128fc}
}

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/a_SaQiyajJyuLuWrrmzZd47mDW?lang=en" width="100%" height="390" loading="lazy" title="Sheaves: H⁰ is global sections and a flasque sheaf is — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.