Let (E, p, X) be an etale-sheaf, and let ℱ be its sheaf of sections. (i) Prove that a subset G ⊆

step 1 Okay, for this question we have let v be in RN and K in R. We want to show that S, which is equa

Let (E, p, X) be an etale-sheaf, and let ℱ be its sheaf of...

Let $(E, p, X)$ be an etale-sheaf, and let $\mathcal{F}$ be its sheaf of sections. (i) Prove that a subset $G \subseteq E$ is a sheet if and only if $G=$ $\sigma(U)$ for some open $U \subseteq X$ and $\sigma \in \mathcal{F}(U)$. (ii) Prove that $G \subseteq E$ is a sheet if and only if $G$ is an open subset of $E$ and $p \mid G$ is a homeomorphism. (iii) If $G=\sigma(U)$ and $H=\tau(V)$ are sheets, where $\sigma \in \mathcal{F}(U)$ and $\tau \in \mathcal{F}(V)$, prove that $G \cap H$ is a sheet. (iv) If $\sigma \in \mathcal{F}(U)$, prove that $$ \operatorname{supp}(\sigma)=\left\{x \in X: \sigma(x) \neq 0_{x} \in E_{x}\right\} $$ is a closed subset of $X$.

Let $(E, p, X)$ be an etale-sheaf, and let $\mathcal{F}$ be its sheaf of sections.
(i) Prove that a subset $G \subseteq E$ is a sheet if and only if $G=$ $\sigma(U)$ for some open $U \subseteq X$ and $\sigma \in \mathcal{F}(U)$.
(ii) Prove that $G \subseteq E$ is a sheet if and only if $G$ is an open subset of $E$ and $p \mid G$ is a homeomorphism.
(iii) If $G=\sigma(U)$ and $H=\tau(V)$ are sheets, where $\sigma \in \mathcal{F}(U)$ and $\tau \in \mathcal{F}(V)$, prove that $G \cap H$ is a sheet.
(iv) If $\sigma \in \mathcal{F}(U)$, prove that
$$
\operatorname{supp}(\sigma)=\left\{x \in X: \sigma(x) \neq 0_{x} \in E_{x}\right\}
$$
is a closed subset of $X$.

Key Concepts

Support of a Section

The support of a section in the context of a sheaf is defined as the set of points in the base where the section does not vanish (or is not the zero element of the stalk). In many cases, such as in étale spaces, the support of a section can be shown to be closed. This concept is crucial because it pinpoints precisely where the section carries nontrivial information and plays a key role in arguments about the structure and properties of sections.

Sheet

A sheet in an étale space is a subset that is both open in the total space and such that the projection restricted to it is a homeomorphism onto an open subset of the base. Sheets are essentially the images of global sections defined on open subsets of the base, and they serve as the building blocks for understanding the local triviality of the étale space as well as the behavior of sections over the base.

Local Homeomorphism

The local homeomorphism property of the projection map in an étale space ensures that for each point in the total space, there is an open neighborhood which is mapped homeomorphically onto an open subset of the base. This property is essential for defining sheets and for understanding why the image of a section is not only continuous but also open in the total space.

Sheaf of Sections

The sheaf of sections associated with an étale space assigns to each open subset of the base space the collection of continuous sections over that open set. These sections are functions that lift points in the base to points in the étale space in a coherent way that respects the topology and the projection map. The sheaf axioms—locality and gluing—ensure that these sections behave well with respect to restrictions to smaller open sets and the pasting together of locally defined sections.

Étale Space

An étale space is a topological space that locally looks like a disjoint union of copies of the base space. It comes equipped with a local homeomorphism to the base space, meaning that every point in the étale space has a neighborhood that is homeomorphic to an open subset of the base. This construction is fundamental in sheaf theory, as it provides a concrete realization of an abstract sheaf by associating to each point its corresponding stalk.

Transcript

Please give Ace some feedback