Skip to main content
1 of 3
Andrew Critch
  • 11.2k
  • 1
  • 50
  • 72

To your first question, "function on a space" $X$ usually means a morphism from $X$ to one of several "ground spaces" of choice, for example the reals if you work with smooth manifolds, Spec(A) if you work with schemes over a ring, etc. (This is a fairly selective use of the word "function" which used to confuse me.) A section $\gamma$ of a (some-kind-of) bundle $E\to X$ is thought of as a "generalized function" on $X$ by thinking of it as a funcion with "varying codomain", i.e. at each point $x\in X$, it takes value in the fibre
$E_x\to x$. If one is talking about locally free / locally trivial bundles, meaning $E$ is locally (over open sets $U\subset X$) isomorphic to some product $U\times T$, then we can locally identify the fibres with $T$. Thus locally a section just looks like a function with codomain $T$, which is often required to be nice.

To your second question, I generally take the "right-inverse" or "pre-inverse" definition from category theory, because it relates back to others in the following precise way:

Say $\pi Y\to X$ is a space over $X$ (intentionaly vague). This just means a map to $X$ where we suppress reference to the map and refer instead to the domain $Y$. For $U\subseteq X$ open, the notation $\Gamma(U,Y)$ denotes sections of the map $\pi$ over $U$, i.e. maps $U\to Y$ such that $U \to Y\to X$ is the identity (thus necessarily landing back in $U$). It's not hard to see that $\Gamma(_,Y)$ actually forms a sheaf of sets on $X$.

Conversely, given any sheaf of sets $F$ on a space $X$, one can form its espace étalé, a topological space over $X$, say $\pi: \acute{E}t(F) \to X$. Then for an open $U\subseteq X$, the elements of $F(U)$ correspond precisely to sections of the map $\pi$, which by the above notation is written $\Gamma(U,\acute{E}t(F)$. That is to say,
$F(-)\simeq\Gamma(-,\acute{E}t(F))$ as sheaves on $X$. This explains why people often refer to sheaf elements as "sections" of the sheaf.

Moreover, what we now denote by $\acute{E}t(F)$ actually used to be the definition of a sheaf, so people tend to identify the two and write $\Gamma(-,F)$ a instead of $\Gamma(-,\acute{E}t(F))$. This explains the otherwise bizarre tradition of writing $\Gamma(U,F)$ instead of the the more compact notation $F(U)$.

To your third question, I think the observation that $\Gamma(-,Y)$ forms a sheaf on $X$ gives a nice context in which to think of section from $X$ back to $Y$: there are the globally defined elements of the sheaf $\Gamma(-,Y)$.

Andrew Critch
  • 11.2k
  • 1
  • 50
  • 72