By the discussion at cohomology, plain cohomology is the study of
or generally in symmetric monoidal (∞,1)-categories
and maybe fully generally in any (∞,1)-category whatsoever.
So for any object the cohomology of any other object with coefficients in is the mapping space . Notice that this is equivalently the homotopy type of sections of the trivial -fiber ∞-bundle over . The idea of twisted cohomology then is to consider general -fiber ∞-bundles over and take the -twisted cohomology of to the type of sections of this.
|homotopy types of mapping spaces||homotopy types of spaces of sections|
The intrinsic cohomology of under this fibration is nonabelian twisted cohomology as discussed in some detail in Principal ∞-bundles -- theory, presentations and applications.
Notice that “stable cohomology”, which is traditionally called generalized (Eilenberg-Steenrod) cohomology may be thought of as the lowest order Goodwillie approximation to nonabelian cohomology: where a cocycle in nonabelian cohomology is a map to any homotopy type, a cocycle in generalized (Eilenberg-Steenrod) cohomology is a map into a stable homotopy type.
Higher-order approximations should involve a notion of higher-order forms of the tangent (∞,1)-topos, in parallel with the relationship between the jet bundles and tangent bundle of a manifold. It is clear that whatever we may say in detail about the th-jet (∞,1)-topos , its intrinsic cohomology is a version of twisted cohomology which is in between nonabelian cohomology and stable i.e. generalized (Eilenberg-Steenrod) cohomology.
It seems that a layered analysis of nonabelian cohomology this way in higher homotopy theory should eventually be rather important, even if it hasn’t received any attention at all yet. It seems plausible that a generalization of Chern-Weil theory which approximates classes of principal infinity-bundles not just by universal characteristic classes in ordinary cohomology and hence in stable cohomology, but that one wants to consider the whole Goodwillie Taylor tower of approximations to it.
We discuss concrete realizations of the above general idea in some cases of interest:
Let be any object.
we call the local coefficient ∞-bundle for twisted -cohomology classified by .
The -twisted cohomology set of is
Special cases of this definition are implicit in traditional literature. The above statement appears in this form in (Nikolaus-Schreiber-Stevenson 12).
for the ∞-group of units of .
Now a twist classifies an (∞,1)-module bundle of -lines. The -twisted -cohomology is again the (stable) homotopy type of sections of this.
For more details see
There are canonical maps
where denotes the Picard ∞-groupoid. This suggest to speak not just of twists of the form but more generally of twists of the form . While these in general no longer define -fiber ∞-bundles (so that sections of them are strictly speaking in general no longer locally -cohomology cocycles), this more general notion has the advantage that it makes sense also in symmetric monoidal (∞,1)-categories different from those of the form .
This we turn to below.
If in the above situation we write for the symmetric monoidal (∞,1)-category of -(∞,1)-module bundles on , then given an object its homotopy type of sections, hence the -twisted cohomology of is equivalently
In view of this and remark 2 one considers the following.
Let be a symmetric monoidal (∞,1)-category.
old material, to be harmonized…
Let be a pointed object. Then
in . Since the -groupoid valued hom in an (∞,1)-category is exact with respect ot homotopy limits (by definition of homotopy limits), it follows that for every object , there is fibration sequence of cocycle ∞-groupoids
By definition of twisted cohomology, this identifies
For this reason, when is pointed, it is customary to call the set of equivalence classes the -twisted -cohomology of , and to denote it by the symbol
The cohomology fibration sequence can be seen as an obstruction problem in cohomology:
But it also says:
Hence we can ask for the -twisted cohomology of with values in . Now, a cocycle is one classifying a -principal bundle on . By looking at this in Cech cohomology it is immediate to convince onself that cocycles such that the composite is equivalent to the given are precisely the sections of the -associated vector bundle:
on a patch of a good cover over wich has been trivialized, the cocycle is simply a -valued function . Then on double overlaps it is a smooth natural transformation whose components in are required to be those of the given cocycle . That means exactly that the functions are glued on double overlaps precisely as the local trivializations of a global section would.
Hence we find the -twisted cohomology is
In this sense a section is a twisted function.
Notice that is not itself a homotopy fiber, but is a lax fiber, in that we have a lax pullback (really a comma object )
where in the bottom right corner we have Vect (regarded as a stack on in the evident way) and where the right vertical morphism sends the point to the ground field vector space (or rather sends to the trivial vector bundle ).
We may paste to this the homotopy pullback along the cocycle to obtain
This makes is manifest that a section is also the same as a natural transformation from to .
Notice moreover that in the special case that and for ground field we may think of as the category and think of the twisting cocycle as
Twisted cohomology in terms of such morphisms is effectively considered in
More generally one can hence twist with maps
into the Picard ∞-group of .
See also at ∞-group of units – augmented definition.
In the context of generalized (Eilenberg–Steenrod) cohomology a coefficient object for cohomology is a spectrum : the -cohomology of a topological space with coefficients in is the set of homotopy classes of maps . For instance, as a model of the degree- space in the K-theory spectrum one can take , the space of Fredholm operators on a separable Hilbert space . There is a canonical action on this space of the projective unitary group of . Since has the homotopy type of an Eilenberg–Mac Lane space , a -principal bundle defines a class in ordinary integral cohomology (this may also be thought of as the class of a twisting bundle gerbe). The twisted K-theory (in degree ) of with that class as its twist is the set of homotopy classes of sections of the associated bundle.
The above example generalizes straightforwardly to the case that
is a connective spectrum, i.e. topological space that is an infinite loop space. (We need to assume a connective spectrum given by an infinite loop space so that can be regarded as living in the category of topologicall spaces along with the other objects, such as classifying spaces of nonabelian groups);
with a (topological) group acting on by automorphisms and
From the -principal bundle we obtain the associated -bundle . Then a twisted -cocycle on is defined to be a section of this associated bundle. The collection of homotopy classes of these sections is the twisted -cohomology of with the twist specified by the class of .
This is the definition of twisted cohomology as it appears for instance essentially as definition 22.1.1 of the May–Sigursson reference below (when comparing with their definition take their to be the trivial group and identify their and with our ).
It is clearly a particular case of the general definition of twisted cohomology given above:
the -topos is the -category of Top of topological spaces
the object is the homotopy quotient .
the twisting cocycle is the element in defining the principal -bundle .
Indeed, is pointed, we have a fibration sequence
and the homotopy pullback
is the -bundle .
The obstruction problem described by this example reads as folllows:
Read the other way round it says:
Since the associated bundle is in general no longer itself a spectrum, twisted cohomology is not an example of generalized Eilenberg–Steenrod cohomology.
To stay within the spectrum point of view, May–Sigurdsson suggested that twisted cohomology should instead be formalized in terms of parameterized homotopy theory, where one thinks of as a parameterized family of spectra.
Some somewhat trivial examples of this appear in various context. For instance group cohomology on a group with coefficients in a nontrivial module can be regarded as an example of twisted cohomology. See there for more details.
Compare this to the example below of cohomology “with local coefficients”. It is the same principle in both cases.
To get a feeling for how the definition does, it is instructive to see how for the fibration sequence coming from an ordinary central extension of ordinary groups as
classified by a group 2-cocycle , -twisted -cohomology produces precisely the familiar notion of twisted bundles, with the twist being the lifting gerbe that obstructs the lift of a -bundle to a -bundle.
This is also the first example in the list in the last section of
and contains examples that are of interest in the wider context of string theory.
What is called cohomology with local coefficients is twisted cohomology with the twist given by the class represented by the universal cover space of the base space, which is to say: by the action of the fundamental group of the base space.
In the classical case of ordinary cohomology, C. A. Robinson in 1972 constructed a twisted , denoted , so that, for nice spaces, the cohomology with local coefficients with respect to a homomorphism is given by homotopy classes of maps compatible with
Then there is the fibration sequence
of this action.
Notice that there is a canonical map , the one that classifies the universal cover of .
Then -cohomology with local coefficients on is nothing but the -twisted -cohomology of in the above sense.
By effective, we mean involving as much as possible only calculations within finite dimensional linear algebra. For definiteness, we work in the smooth context and require the locally constant sheaf to have stalks of finite dimensional vector spaces over a field ( or ). Let be a connected -dimensional manifold. The sheaf can then be seen as the sheaf of germs of locally constant sections of a vector bundle endowed with a flat connection . The fibers of are isomorphic with the stalks of , all of which are isomorphic to some finite dimensional vector space . Let denote the universal cover of and its fundamental group. It is well known that acts by deck transformation diffeomorphisms on and also induces a holonomy representation on .
Consider the vector bundles , where is the bundle of differential -forms, with denoting the sheaf of its sections (differential forms twisted by ). Let denote the correspondingly twisted de Rham differential, defined by the property that
where is the ordinary de Rham differential, is seen as a section of , and with the wedge operation acting in the obvious way. The complex of sheaves is then a soft sheaf? resolution of the sheaf of locally constant sections of . Its cohomology is then isomorphic to the sheaf cohomology of with coefficients in the locally constant sheaf , .
Now, the bundle and the connection both pull back to the universal covering space , that is to and . Since now is simply connected, we can globally trivialize this bundle as and to the trivial connection thereon. Similarly, the structure of the sheaf of twisted differential forms can be simplified to , with the action of the twisted de Rham differential given by . This observation allows us to conclude that, on the universal covering space, we have the isomorphism , where denotes the ordinary de Rham cohomology.
The pull back along a deck transformation diffeomorphism, induces a linear action of on forms . Combined with the holonomy representation of on , this defines a representation of on . Let denote the subspace of twisted forms that is invariant under the action of . It is not hard to notice the isomorphism of complexes and hence of their cohomologies, . Furthermore, the action of on commutes with the differential and hence induces an action on , where also acts in the obvious and compatible way on each tensor factor. Let denote the corresponding -invariant subspace.
Suppose that there exists a decomposition as representations of , with having no -invariant subspace. Then we have the following isomorphism for each : .
Whether the decomposition hypothesis actually holds may depend on the properties of the group . For instance, it does hold if is compact (finite, in particular). Other cases, have to be examined individually.
Start with the short exact sequence of complexes
The corresponding long exact sequence in cohomology is equivalent to the short exact sequences
for each value of . The reason that all the connecting maps in the long exact sequence are zero is representation theoretic, since all the relevant maps are -equivariant. Since, carries a trivial representation by , while the representation has no -invariant subspace, by Schur's lemma, the only equivariant map from the latter to the former is zero. From the same observation, we easily see that the inclusion of must coincide with the -invariant subspace .
The presentation of cohomology of with local coefficients as -invariant de Rham cohomology of the universal covering space twisted by the holonomy representation on the stalk is originally due to (Eilenberg 47). It is also discussed in Chapter VI of (Whitehead 78). The idea to look at the -invariant subspace of the twisted de Rham cohomology of the universal covering space scan be found in an answer by Peter Michor on MathOverlflow.
The above result can be seen as an effective way to compute the sheaf cohomology groups since all it requires is the knowledge of the following finite dimensional representations of the fundamental group : the deck transformations on the de Rham cohomology of the covering space, and the holonomy representation on a typical stalk of the locally constant sheaf . Obtaining the invariant subspace of their tensor product can then be done using usual representation theory methods, which involve only finite dimensional linear algebra. Unfortunately, it appears that the requirement that is finite is rather important for the argument. It is not entirely clearly how to proceed if, for instance or is non-abelian and infinite.
A discussion of -twisted ordinary cohomology is in
This in turn is based on the definition of twisted K-theory given in
Details on Larmore’s work on twisted cohomology are at
The abstract discussion of twisted nonabelian cohomology in -toposes is in
The abstract discussion of twisted ES-type cohomology in the stable (infinity,1)-category of spectra is in
Matthew Ando, Andrew Blumberg, David Gepner, Twists of K-theory and TMF, in Robert S. Doran, Greg Friedman, Jonathan Rosenberg, Superstrings, Geometry, Topology, and -algebras, Proceedings of Symposia in Pure Mathematics vol 81, American Mathematical Society (arXiv:1002.3004)
The presentation of cohomology with local coefficients in terms -equivariant de Rham cohomology on the universal covering space is discussed in
The oldest meaning of twisted cohomology is that of cohomology with local coefficients (see above).
For more on the history of that notion see
In the following we shall abbreviate
Searching MathSciNet for twisted cohomology led to the following chronology: It missed older references in which the phrase was not used but the concept was in the sense of local coefficient systems – ancient and honorable.
Most notably missing are
Topologie der Komplexe_, Mathematik und ihre Anwendungen in Physik und Technik,_(But note that reprints appear, sans reviews. There is a short English and longer German review on Zentralblatt)
Norman Steenrod (1942,1943)
Olum (thesis 1947, published 1950)
Next come several that involve twisted differentials more generally.
Few are in terms of homotopy of spaces
tc ops should be treated as a single phrase – it may be that the ops are twisted, not the cohomology
1966 McClendon thesis – summarized in
1967 Emery Thomas tc ops
1967 Larmore tc ops
1969 McClendon tc ops
1969 Larmore tc
1970 Peterson tc ops
1971 McClendon tc ops
1972 Deligne Weil conjecture for K3 tc – meaning?
1972 Larmore tc
1973 Larmore and Thomas tc
1973 Larmore tc
1980 Coelho & Pesennec tc
1980 Tsukiyama sequel to McClendon
1983 Coelho & Pesennec tc
1985 Morava but getsted at 1975 ??
1986 Fried tc
1988 Baum & Connes ??
1989 Lott torsion
1990 Dwork ??
1993 Gomez–Tato tc minimal models
1993 Duflo & Vergne diff tc
1993 Vaisman tc and connections
1993 Mimachi tc and holomorphic
1994 Kita tc and intersection
1995 Cho, Mimachi and Yoshida tc and configs
1995 Cho, Mimachi tc and intersection
1996 Iwaski and Kita tc de rham
1996 Asada nc geom and strings
1997 H Kimura tc de Rham and hypergeom
1998 Knudson tc SL_n
1998 Morita tc de Rham
1999 Kachi, Mtsumoto, Mihara tc and intersection
1999 Hanamura & Yoshida Hodge tc
1999 Felshtyn & Sanchez–Morgado Reidemeister torsion
1999 Haraoka hypergeom
2000 Tsou & Zois tc de rham
2000 Manea tc Czech
2001 Royo Prieto tc Euler
2001 Takeyama q-twisted
2001 Gaberdiel &Schaefr–Nameki tc of Klein bottle
2001 Iwaskai tc deRham
2001 Proc Rims tc and DEs and several papers in this book
2001 Knudson tc SL_n
2001 Royo Prieto tc as
2001 Barlewtta & Dragomir tc and integrability
2002 Verbitsky HyperKahler, torsion, etc
2003 Etingof & Grana tc of Carter, Elhamdadi and Saito
2003 Cruikshank tc of Eilenberg
2003 various in Proc NATO workshop
2003 Dimca tc of hyperplanes
2004 Kirk & Lesch tc and index
2004 Bouwknegt, Evslin, Mathai tc and tK
2004 Bouwknegt, Hannbuss, Mathai tc in re: T-duality
2005 Bouwknegt, Hannbuss, Mathai tc in re: T-duality
2005 Bunke & Schick tc in re: T-duality
2006 Dubois tc and Reidemeister (elsewhere he considers twisted Reidemesiter)
2006 Bunke & Schick tc in re: T-duality
2006 Atiyah & Segal tc and tK
2007 Mickelsson & Pellonpaa tc and tK
2007 Sugiyama in re: Galois and Reidemeister
2007 Bunke, Schick, Spitzweck tc in re: gerbes
2008 Kawahara hypersurfaces