algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
A local system – which is short for local system of coefficients for cohomology – is a system of coefficients for twisted cohomology.
Often this is presented or taken to be presented by a locally constant sheaf. Then cohomology with coefficients in a local system is the corresponding sheaf cohomology.
More generally, we say a local system is a locally constant stack, … and eventually a locally constant ∞-stack.
Under suitable conditions (if we have Galois theory) local systems on $X$ correspond to functors out of the fundamental groupoid of $X$, or more generally to (∞,1)-functors out of the fundamental ∞-groupoid. These in turn are equivalently flat connections (this relation is known as the Riemann-Hilbert correspondence) or generally flat ∞-connections.
A notion of cohomology exists intrinsically within any (∞,1)-topos. We discuss local systems first in this generality and then look at special cases, such as local systems as ordinary sheaves.
For $\mathbf{H}$ an (∞,1)-sheaf (∞,1)-topos, write
for the terminal (∞,1)-geometric morphism, where $\Gamma$ is the global section (∞,1)-functor and $LConst$ the constant ∞-stack-functor.
Write $\mathcal{S} := core(Fin \infty Grpd) \in$ ∞Grpd for the core ∞-groupoid of the (∞,1)-category of finite $\infty$-groupoids. (We can drop the finiteness condition by making use of a higher universe.) This is canonically a pointed object $* \to \mathcal{S}$, with points the terminal groupoid.
For $X \in \mathbf{H}$ an object, a local system or locally constant ∞-stack on $X$ is a morphism
in $\mathbf{H}$ or equivalently the object in the over-(∞,1)-topos
that is classified by $\tilde \nabla$ under the (∞,1)-Grothendieck construction
In other words, local systems are locally constant ∞-stacks or equivalently their classifying cocycles for cohomology with constant coefficients.
(See principal ∞-bundle for discussion of how cocycles $\tilde \nabla : X \to LConst \mathcal{S}$ classify morphisms $P \to X$.)
If $\mathbf{H}$ happens to be a locally ∞-connected (∞,1)-topos in that there is the further left adjoint (∞,1)-functor $\Pi$
we call $\Pi(X)$ the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos. In this case, by the adjunction hom-equivalence we have
This means that local systems are naturally identified with representations ($\infty$-permutation representations, as it were) of the fundamental ∞-groupoid $\Pi(X)$:
This is essentially the basic statement around which Galois theory revolves.
The (∞,1)-sheaf (∞,1)-topos over a locally contractible space is locally $\infty$-connected, and many authors identify local systems on such a topological space with representations of its fundamental groupoid.
Given a local system $\tilde \nabla : X \to LConst \mathcal{S}$, the cohomology of $X$ with this local system of coefficients is the intrinsic cohomology of the over-(∞,1)-topos $\mathbf{H}/X$:
where $P_{\tilde\nabla}$ is the homotopy fiber of $\tilde \nabla$.
Unwinding the definitions and using the universality of the (∞,1)-pullback, one sees that a cocycle $c \in \mathbf{H}(X,\tilde \nabla)$ is a diagram
in $\mathbf{H}$. This is precisely a section of the locally constant ∞-stack $\tilde \nabla$.
Local systems can also be considered in abelian contexts. One finds the following version of a local system
A linear local system is a locally constant sheaf on a topological space $X$ (or manifold, analytic manifold, or algebraic variety) whose stalk is a finite-dimensional vector space.
Regarded as a sheaf $F$ with values in abelian groups, such a linear local system serves as the coefficient for abelian sheaf cohomology. As discussed there, this is in degree $n$ nothing but the intrinsic cohomology of the $\infty$-topos with coefficients in the Eilenberg-MacLane object $\mathbf{B}^n F$.
On a connected topological space this is the same as a sheaf of sections of a finite-dimensional vector bundle equipped with flat connection on a bundle; and it also corresponds to the representations of the fundamental group $\pi_1(X,x_0)$ in the typical stalk. On an analytic manifold or a variety, there is an equivalence between the category of non-singular coherent $D_X$-modules and local systems on $X$.
simplicial local system: within Sullivan’s (1977) theory of Infinitesimal computations in topology, he refers to ‘local systems’ several times. This seems to be simplicial in nature. This entry explores some of the uses of that notion based on Halperin’s lecture notes on minimal models
twisted cohomology, local coefficient bundle, twisted infinity-bundle
An early version of the definition of local system appears in
This is before the formal notion of sheaf was published by Jean Leray. (Wikipedia’s entry on Sheaf theory is interesting for its historical perspective on this.)
A definition appears as an exercise in
A local system on a space $X$ is a covariant functor from the fundamental groupoid of $X$ to some category. [p. 58]
Then the first major account with discussion of the relation to twisted de Rham cohomology:
Textbook accounts:
Claire Voisin (translated by Leila Schneps), Section I 9.2.1 of: Hodge theory and Complex algebraic geometry I, Cambridge Stud. in Adv. Math. 76, 77, 2002/3 (doi:10.1017/CBO9780511615344)
Alexandru Dimca, Section 2.5 of: Sheaves in Topology, Universitext, Springer (2004) $[$doi:10.1007/978-3-642-18868-8$]$
See also:
A blog exposition of some aspects of linear local system is developed here:
David Speyer, Three ways of looking at a local system
A clear-sighted description of locally constant $(n-1)$-stacks / $n$-local systems as sections of constant $n$-stacks is in
for locally constant stacks on topological spaces. The above formulation is pretty much the evident generalization of this to general (∞,1)-toposes.
Discussion of Galois representations as encoding local systems in arithmetic geometry includes
See also at function field analogy.
Last revised on August 22, 2024 at 10:03:26. See the history of this page for a list of all contributions to it.