Local Property of Flasque Sheaves

In summary, a flasque sheaf is a type of sheaf in algebraic geometry that satisfies the property of having surjective restriction maps. It differs from a locally constant sheaf in that it is constant on each open subset of a space rather than just each connected component. The local property of flasque sheaves is important because it simplifies calculations and proofs. A flasque sheaf can be not flabby and is used in various areas of mathematics, including algebraic geometry and topology. It also has practical applications in coding theory and cryptography.
  • #1
Euge
Gold Member
MHB
POTW Director
2,067
230
Let ##X## be a topological space, and let ##\mathscr{F}## be a sheaf on ##X##. Show that if ##\mathscr{U}## is an open cover of ##X## such that the restriction ##\mathscr{F}|_U## is flasque for every ##U\in \mathscr{U}##, then ##\mathscr{F}## is flasque.

Note: A sheaf ##\mathscr{G}## on ##X## is flasque if for all open subsets ##U\subset X##, the restriction map ##\mathscr{G}(X) \to \mathscr{G}(U)## is surjective.
 
  • Like
Likes topsquark and Greg Bernhardt
Physics news on Phys.org
  • #2
For this problem you will need to use Zorn's lemma.
 
  • Like
Likes topsquark
  • #3
Fix an open subset ##U_0\subset X## and an ##s\in \mathscr{F}(U_0)##. Let ##\Sigma## be the collection of all pairs ##(W,t)##, where ##W## is open in ##X## with ##W\supset U_0## and ##t\in \mathscr{F}(W)## such that ##t|_{U_0} = s##. Partially order ##\Sigma## by declaring ##(W,t) \le (W',t')## if ##U_0 \subset W \subset W'## and ##t'|_{W} = t##. Then ##\Sigma## is a nonempty inductive set, and by Zorn's lemma there is a maximal element ##(V,r)## of ##\Sigma##. Suppose ##V \neq X##. There is an ##x\in X\setminus V##; let ##U\in \mathscr{U}## be an open neighborhood of ##x##. Since ##\mathscr{F}|_U## is flasque, there is an ##\alpha \in \mathscr{F}(U)## such that ##\alpha|_{U\cap V} = r|_{U\cap V}##. The sheaf property produces a ##\beta\in \mathscr{F}(U\cap V)## such that ##\beta|_V = r##. The pair ##(U\cup V, \beta) > (V,r)## in ##\Sigma##, contradicting maximality of ##(V,r)##. Hence, ##V = X## and ##\mathscr{F}## is flasque.
 

Similar threads

  • Math POTW for Graduate Students
Replies
1
Views
573
  • Math POTW for Graduate Students
Replies
2
Views
1K
  • Math POTW for Graduate Students
Replies
1
Views
4K
  • Math POTW for Graduate Students
Replies
1
Views
1K
  • Math POTW for Graduate Students
Replies
1
Views
2K
  • Math POTW for Graduate Students
Replies
1
Views
2K
  • Math POTW for Graduate Students
Replies
1
Views
2K
  • Math POTW for Graduate Students
Replies
1
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
905
  • Topology and Analysis
Replies
2
Views
2K
Back
Top