, ,
, ,
,
/
,
,
, , ,
,
, ,
The global sections of a bundle are simply its sections. When bundles are replaced by their sheaves of local sections, then forming global sections corresponds to the direct image operation on sheaves with respect to the morphism to the terminal site. This definition generalizes to objects in a general topos and (∞,1)-topos.
We start describing the more explicit notions of global sections of bundles and then work our way towards the more abstract notions in terms of topos theory.
A global section of a bundle $E \overset{p}\to B$ is simply a section of $p$, that is a map $s\colon B \to E$ such that $p \circ s = \id_B$.
The adjective ‘global’ here is used to distinguish from a local section: a generalised section over some subspace $i : U \hookrightarrow B$ which is a section of the map to $U$
from the pullback
Compare the notion of global point, which is really the special case when $B$ is a terminal object (where the generalised section corresponds to a generalised element). On the other hand, a global section of $E \overset{p}\to B$ in $\mathcal{C}$ is simply a global point in the slice category $\mathcal{C}/B$.
One often writes
for the set of global sections over $U$ (or $\Gamma(U,E)$ or similar).
Every sheaf $A \in Sh(X) = Sh(Op(X))$ on (the site that is given by the category of open subsets of) a topological space $X$ is the sheaf of local sections of its etale space bundle $E \to X$ in that
for every $U \in Op(X)$. For this reasons one often speaks of the value of a sheaf on some object as a set of sections, even if the corresponding bundle is never mentioned and doesn’t really matter.
The set of global sections on $X$ is
where $X \in Sh(X)$ denotes the terminal object of the category of sheaves $Sh(X)$. Often this is written just using different notation
One notices that $\Gamma_X(-) : Sh(X) \to Set$ defined this way is the direct image functor on Grothendieck toposes that is induced from the canonical morphism $X \to *$ of topological spaces (now “$*$” really denotes the point topological space!) and hence from the corresponding morphism of sites.
Again, this expression for global sections induces a relative version, e.g. for sheaves on $S$-schemes, the direct image functor goes into the base scheme $S$).
The definition of global sections of sheaves on topological spaces in terms of the direct image of the canonical morphism to the terminal site generalizes to sheaf toposes over arbitrary sites.
For every Grothendieck topos $\mathcal{T}$, there is a geometric morphism
called the global sections functor. It is given by the hom-set out of the terminal object
and hence assigns to each object $A\in \mathcal{T}$ its set of global elements $\Gamma(A) = Hom_E(*,A)$.
The left adjoint $LConst : Set \to E$ of the global section functor is the canonical Set-tensoring functor
applied to the terminal object
which sends a set $S$ to the coproduct of $|S|$ copies of the terminal object
This is called the constant object of $\mathcal{T}$ on the set $S$. Notably when $\mathcal{T}$ is a sheaf topos this is the constant sheaf $LConst_S$ on $S$.
If the topos $\mathcal{T}$ is a locally connected topos then the left adjoint functor $LConst$ is also a right adjoint, its left adjoint being the functor $\Pi_0 : \mathcal{T} \to Set$ that sends an object to its set of connected components.
The previous abstract definition generalizes straightforwardly to every context of higher category theory where the required notions of adjoint functor etc. are provided.
Notably in (∞,1)-category theory the global section functor on an ∞-stack (∞,1)-topos $\mathbf{H}$ is the hom-functor
of morphisms out of the terminal object.
This is indeed again the terminal geometric morphism
Let $\mathbf{H}$ be an ∞-stack (∞,1)-topos. Then the ∞-groupoid $Geom(\mathbf{H}, \infty Grpd)$ of geometric (∞,1)-functors is contractible.
So $\infty Grpd$ is the terminal object in the (∞,1)-category of (∞,1)-toposes and geometric morphisms.
This is HTT 6.3.4.1
If the (∞,1)-topos is a locally contractible (∞,1)-topos then this is an essential geometric morphism.
The composite (∞,1)-functor $\Gamma \circ LConst$ is the shape of $\mathbf{H}$.
Last revised on July 6, 2018 at 01:18:48. See the history of this page for a list of all contributions to it.