Talk:Injective sheaf

Latest comment: 3 years ago by 216.164.60.242 in topic Examples

flasque

edit

I think "flabby" is much more common than "flasque" (in functional analysis, at least - and of course, outside French speaking countries). MFH: Talk 20:47, 13 May 2005 (UTC)Reply

Examples

edit

Could someone please add some examples of injective sheaves? — Preceding unsigned comment added by 216.164.60.242 (talk) 12:46, 26 March 2021 (UTC)Reply

Question

edit

What does "homomorphisms from the sheaf to itself" mean? Is this referring to sections? - Gauge 07:18, 8 February 2006 (UTC)Reply

Yes, by definition a homomorphism of sheaves is a homomorphism of all groups of sections fitting together under restriction maps. In this case the homomorphisms constituting the partition of unity map a section s over some open U to f_i(x)·s, where the sum of the f_i is 1 at every point and f_i is zero outside some U_i. Jakob.scholbach 02:45, 18 April 2007 (UTC)Reply

Calculations

edit

I had been under the impression that the reason flasque sheaves were called upon is because flasque resolutions are easier to compute than injective resolutions. Are flasque sheaves really useless? —vivacissamamente 14:07, 30 December 2006 (UTC)Reply

No, not at all. Your impression is absolutely correct. For example cohomology (in the sheaf-theoretic sense) of a manifold with -coefficients is defined by injective resolutions, which are hard to get your hands on. But there is a fine resolution, consisting of smooth differential forms, so the cohomology can be computed using global sections of the smooth de Rham complex. Similar examples exist for flasque sheaves: skyscraper sheaves are flasque and come in quite handy, for example when proving the Riemann-Roch theorem. Jakob.scholbach 02:42, 18 April 2007 (UTC)Reply

Definition

edit

You need to say what A is in the definition 131.111.1.66 (talk) 10:13, 29 May 2009 (UTC)Reply

Mistake

edit

there is a mistake in the section "flabby sheaves". The restriction map goes from the space of sections over U to sections over V. 92.102.76.113 (talk) 10:15, 15 February 2010 (UTC)Reply


projective objects

edit

In the section dealing with sheaves on affine schemes and projectives schemes, it should be precised that we're talking about the category of coherent sheaves (or maybe quasi-coherent sheaves) — Preceding unsigned comment added by 134.157.162.75 (talk) 10:41, 11 August 2011 (UTC)Reply