# Difference between revisions of "Local system"

en>Aaport |
en>Addbot m (Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q6664565) |
||

Line 6: | Line 6: | ||

Let ''X'' be a [[locally path connected]] topological space, and ''M'' a module over some ring ''R''. A local coefficient system of ''R''-modules ''E'' with fiber ''M'' is a locally trivial fibration (i.e. a [[fiber bundle]]) with fiber ''M'' with an action of the [[fundamental groupoid]] of the base ''X'', that is, for each path <math>\gamma : [0,1]\to X</math>, a morphism <math>\gamma_*: E_{\gamma(0)}\to E_{\gamma(1)}</math> that depends only on the homotopy class with fixed extremities of the path, is the identity on constant paths and such that composition of paths corresponds to compositions of morphisms. | Let ''X'' be a [[locally path connected]] topological space, and ''M'' a module over some ring ''R''. A local coefficient system of ''R''-modules ''E'' with fiber ''M'' is a locally trivial fibration (i.e. a [[fiber bundle]]) with fiber ''M'' with an action of the [[fundamental groupoid]] of the base ''X'', that is, for each path <math>\gamma : [0,1]\to X</math>, a morphism <math>\gamma_*: E_{\gamma(0)}\to E_{\gamma(1)}</math> that depends only on the homotopy class with fixed extremities of the path, is the identity on constant paths and such that composition of paths corresponds to compositions of morphisms. | ||

In [[sheaf theory]] terms, a [[constant sheaf]] has [[locally constant function]]s as its sections. Consider instead a sheaf ''F'', such that locally on ''X'' it is a constant sheaf. That means that in | In [[sheaf theory]] terms, a [[constant sheaf]] has [[locally constant function]]s as its sections. Consider instead a sheaf ''F'', such that locally on ''X'' it is a constant sheaf. That means that in some neighbourhood of any ''x'' in ''X'', it is isomorphic to a constant sheaf. Then ''F'' may be used as a system of ''local coefficients'' on ''X''. | ||

==Applications== | ==Applications== | ||

Line 16: | Line 16: | ||

Larger classes of sheaves are useful: for example the idea of a [[constructible sheaf]] in [[algebraic geometry]]. These turn out, approximately, to be local coefficients away from a singular set. | Larger classes of sheaves are useful: for example the idea of a [[constructible sheaf]] in [[algebraic geometry]]. These turn out, approximately, to be local coefficients away from a singular set. | ||

== | ==External links== | ||

*[http://math.stackexchange.com/questions/13332/what-local-system-really-is A discussion of the notion] on [[Stack exchange]] | *[http://math.stackexchange.com/questions/13332/what-local-system-really-is A discussion of the notion] on [[Stack exchange]] | ||

Line 23: | Line 22: | ||

[[Category:Sheaf theory]] | [[Category:Sheaf theory]] | ||

[[Category:Algebraic topology]] | [[Category:Algebraic topology]] | ||

## Latest revision as of 00:28, 15 March 2013

{{ safesubst:#invoke:Unsubst||$N=Unreferenced |date=__DATE__ |$B=
{{#invoke:Message box|ambox}}
}}
In mathematics, **local coefficients** is an idea from algebraic topology, a kind of half-way stage between homology theory or cohomology theory with coefficients in the usual sense, in a fixed abelian group *A*, and general sheaf cohomology which, roughly speaking, allows coefficients to vary from point to point in a topological space *X*. Such a concept was introduced by Norman Steenrod.

## Formal definition

Let *X* be a locally path connected topological space, and *M* a module over some ring *R*. A local coefficient system of *R*-modules *E* with fiber *M* is a locally trivial fibration (i.e. a fiber bundle) with fiber *M* with an action of the fundamental groupoid of the base *X*, that is, for each path , a morphism that depends only on the homotopy class with fixed extremities of the path, is the identity on constant paths and such that composition of paths corresponds to compositions of morphisms.

In sheaf theory terms, a constant sheaf has locally constant functions as its sections. Consider instead a sheaf *F*, such that locally on *X* it is a constant sheaf. That means that in some neighbourhood of any *x* in *X*, it is isomorphic to a constant sheaf. Then *F* may be used as a system of *local coefficients* on *X*.

## Applications

Examples arise geometrically from vector bundles with flat connections, and from topology by means of linear representations of the fundamental group.

The cohomology with local coefficients in the module corresponding to the orientation covering can be used to formulate Poincaré duality for non-orientable manifolds: see Twisted Poincaré duality.

Larger classes of sheaves are useful: for example the idea of a constructible sheaf in algebraic geometry. These turn out, approximately, to be local coefficients away from a singular set.