dg.differential geometry - What is a section?

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 $Eto 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 $xin X$, it takes value in the fibre
$E_xto x$. If one is talking about locally free / locally trivial bundles, meaning $E$ is locally (over open sets
$Usubset X$) isomorphic to some product $Utimes 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: Yto X$ is a space over $X$ (intentionaly vague). The word "over" is used to activate the tradition of suppressing reference to the map $pi$ and refering instead to the domain $Y$. For $Usubseteq X$ open, the notation $Gamma(U,Y)$ denotes sections of the map $pi$ over $U$, i.e. maps $Uto Y$ such that the composition $U to Yto 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 $Usubseteq 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(-)simeqGamma(-,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)$.

$Big($Unfortunate linguistic warning: Many people incorrectly use the term "étale space". However, the French word "étalé" means "spread out", whereas "étale" (without the second accent) means "calm", and they were not intended to be used interchangeably in mathematics. This is unfortunate, because the espace étalé has very little to with with étale cohomology. More unfortunate is the annoying coincidence that when dealing with schemes the projection map from the espace étalé happens to be an étale morphism, because it is locally on its domain an isomorphism of schemes, a much stronger condition.$Big)$

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 sections $X$ to $Y$: they "live in" the sheaf $Gamma(-,Y)$ as its globally defined elements.

• Next gn.general topology - Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)
• Previous ca.analysis and odes - What is the Implicit Function Theorem good for?