Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-118/4/c/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 4 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Treat as the trivial group if is not abelian. The restriction maps satisfy the presheaf identities. To verify the sheaf gluing axiom, take an open cover of . If , every section group is trivial. If , at least one contains . Every two such opens have an overlap containing , so compatibility forces all their sections to have the same value . Opens not containing have their unique trivial section. The value is exactly the unique glued section. Thus the stated presheaf is a skyscraper sheaf, including for nonabelian groups.
For the stalk of a sheaf, take the direct limit over neighbourhoods of . If some neighbourhood of omits , neighbourhoods inside are cofinal and all their groups are trivial. If every neighbourhood of contains , every group in the system is and every transition map is the identity. Consequently, on the arbitrary topological space in the question,Membership in this closure means exactly that every neighbourhood of contains . In particular . If is a closed point, the closure is just and the familiar point-supported answer results. The separation assumption is not present in the printed question, so it cannot be imposed silently.
New to topics? Read the docs here!