Skip to content
The Lumenary

Practice · First-year graduate

Sheaves

Sheaves

Warm-upHuman

Which of these presheaves of real-valued functions on R\R are sheaves? (Select all that apply.)

Choose all that apply

Sheaves

Warm-upHuman

How many sections does the sheaf Z/2‾\underline{\Z/2} of locally constant Z/2\Z/2-valued functions have over U=(0,1)∪(2,3)∪(4,5)⊂RU = (0, 1) \cup (2, 3) \cup (4, 5) \subset \R?

Sheaves

CoreHuman

In the sheaf of continuous functions on R\R, which pair of functions has the same germ at 00?

Choose one

Sheaves

CoreHuman

On X=C∖{0}X = \C \setminus \{0\}, the morphism exp⁡:O→O×\exp : \mathcal{O} \to \mathcal{O}^\times is surjective on every stalk. Is exp⁡:O(X)→O×(X)\exp : \mathcal{O}(X) \to \mathcal{O}^\times(X) surjective?

Choose one

Sheaves

CoreHuman

In the proof that a morphism of sheaves φ:F→G\varphi : F \to G which is bijective on stalks is surjective on sections, local preimages s(x)∈F(Vx)s^{(x)} \in F(V_x) of tt are glued. Why do s(x)s^{(x)} and s(y)s^{(y)} agree on Vx∩VyV_x \cap V_y?

Choose one

Sheaves

StretchHuman

Cover S1S^1 by three open arcs U1,U2,U3U_1, U_2, U_3 such that each pairwise intersection is a single (connected) arc and the triple intersection is empty. What is dim⁡Z/2Hˇ1(U,Z/2‾)\dim_{\Z/2} \check H^1(\mathcal{U}, \underline{\Z/2})?

Sheaves

CoreFormal

Given a cover U : ι → Opens X of V with hU : ∀ i, U i ≤ V and a compatible family s, which conclusion in the definition of IsSheaf captures both locality and gluing?

Choose one

Sheaves

CoreComputational

Sections of the sheaf of all functions on a finite set are dictionaries. Write glue(sections) that takes a list of dictionaries (functions on subsets) and returns the single dictionary on the union that restricts to each of them, or None if two of them disagree on a common point.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.