Definition
The gluing axiom is one of the two fundamental conditions—together with the identity (or locality) axiom—that a presheaf must satisfy to be a sheaf on a topological space. It requires that compatible local sections defined on an open cover can be uniquely “glued” together to form a global section on the union of the covering sets.
Overview
In the language of category theory, a presheaf $F$ on a topological space $X$ is a contravariant functor
$$
F:\mathcal{O}(X)^{\mathrm{op}}\longrightarrow \mathbf{C},
$$
where $\mathcal{O}(X)$ denotes the poset of open subsets of $X$ and $\mathbf{C}$ is typically the category of sets, abelian groups, or modules. The gluing axiom addresses the behavior of $F$ with respect to a family of open sets ${U_i}{i\in I}$ that cover an open set $U=\bigcup{i\in I}U_i$.
Formally, if a family of sections $s_i\in F(U_i)$ satisfies the compatibility condition
$$
\left.s_i\right|{U_i\cap U_j} = \left.s_j\right|{U_i\cap U_j}\quad\text{for all }i,j\in I,
$$
then there exists a unique section $s\in F(U)$ such that $\left.s\right|_{U_i}=s_i$ for every $i$. The existence of such an $s$ is the existence part of the axiom; its uniqueness is often emphasized as part of the same condition.
Etymology / Origin
The term “gluing” reflects the geometric intuition that locally defined data can be “glued together” to obtain a global object. The axiom was introduced in the mid‑20th century during the development of sheaf theory by Jean Leray, Henri Cartan, and later Alexander Grothendieck, who formalized sheaves as tools for cohomology and algebraic geometry.
Characteristics
| Aspect | Description |
|---|---|
| Context | Applies to presheaves on a topological space (or more generally on a site). |
| Compatibility Requirement | Sections must agree on all pairwise intersections of the covering opens. |
| Existence | A global section on the union exists that restricts to the given local sections. |
| Uniqueness | The global section is unique; no other section restricts to the same family. |
| Relation to Identity Axiom | The identity axiom (or locality axiom) ensures that a section is determined by its restrictions to a cover; together with the gluing axiom they constitute the sheaf condition. |
| Special Cases | The Mayer–Vietoris axiom in homotopy theory and Čech cohomology can be viewed as specific instances of the gluing principle. |
| Categorical Formulation | In a Grothendieck topology, the gluing axiom is expressed by requiring that the canonical morphism $\displaystyle F(U)\to \mathrm{Eq}\bigl(\prod_i F(U_i)\rightrightarrows \prod_{i,j}F(U_i\cap U_j)\bigr)$ be an isomorphism. |
Related Topics
- Sheaf – A presheaf satisfying both the identity and gluing axioms.
- Presheaf – A contravariant functor from the open‑set category, not necessarily satisfying the gluing condition.
- Sheaf Condition – The combined statement of the identity and gluing axioms.
- Grothendieck Topology – A general framework in which the gluing axiom is expressed for sites beyond topological spaces.
- Čech Cohomology – Uses the gluing axiom to relate local data on covers to global cohomological invariants.
- Mayer–Vietoris Sequence – An example of a gluing principle in algebraic topology.
- Descent Theory – Studies the ability to glue objects and morphisms along coverings in various categories.
The gluing axiom is central to the utility of sheaves across algebraic geometry, differential geometry, and homological algebra, ensuring that locally defined algebraic or analytic data can be coherently assembled into global structures.