Faisceau injectif
# Faisceau injectif

En mathématiques, un faisceau injectif est un objet injectif (en) d'une catégorie abélienne de faisceaux.

Typiquement, dans la catégorie des faisceaux de groupes abéliens sur un espace topologique $X$ fixé, un faisceau $I$ est dit injectif lorsque, pour tout sous-faisceau $A$ d'un faisceau $B$, tout morphisme injectif de $A$ dans $I$ se prolonge en un morphisme de $B$ dans $I$. Autrement dit, le foncteur (contravariant) exact à gauche $Hom_{Faisc(X)}(\_,I)$ est exact.

## Propriétés

Lemme — Tout faisceau $F$ de groupes abéliens sur $X$ se plonge dans un faisceau injectif de groupes abéliens.

On en déduit immédiatement :

$F$

$0\to F\to I^{0}\to I^{1}\to \ldots \to I^{n}\to \ldots$

$I^{n}$

## Preuve du lemme

* Pour tout point $x$ de $X$, il existe un plongement de la fibre $F_{x}$ dans un groupe abélien injectif $I_{x}$. Considérons le préfaisceau (qui est un faisceau) appelé faisceau gratte-ciel $I(x)$ et défini par :$I(x)(U)={\begin{cases}I_{x}&{\text{si}}\quad x\in U\\0&{\text{sinon.}}\end{cases}}$ Alternativement, si $\{x\}$ est fermé dans $X$ alors $I(x)={i_{x}}_{*}I_{x}$ avec $\{x\}{\stackrel {i_{x}}{\hookrightarrow }}X$ (plus généralement, $I(x)={i_{\overline {\{x\}}}}_{*}I_{x}$).

Pour tout faisceau $A$ de groupes abéliens, on a $Hom_{Faisc(X)}(A,I(x))\cong Hom_{\mathbb {Z} }(A_{x},I_{x})$. Il s'ensuit que $I(x)$ est un faisceau injectif.

* Le produit de faisceaux injectifs est un faisceau injectif. L'application naturelle$F\to I^{0}:=\prod _{x\in X}I(x)$est un monomorphisme de $F$ dans un faisceau injectif.

## Article connexe

Module injectif

