Special and general types

Special notions


Extra structure






Given a fiber sequence FAcBF \to A \stackrel{\mathbf{c}}{\to} B of classifying spaces/moduli stacks, hence [c][\mathbf{c}] a universal characteristic class, and given an “AA-structure” in the form of a morphism (cocycle) f:XAf : X \to A, then a lift f^\hat f through FAF \to A to an “FF-structure” exists precisely if the induced BB-structure c(f):XB\mathbf{c}(f) : X \to B is trivializable in BB-cohomology. One says that [c(f)][\mathbf{c}(f)] it is the obstruction to lifting the AA-structure to an FF-structure.

F * f^ i pt B X f A c B \array{ && F &\to& * \\ & {}^{\mathllap{\hat f}}\nearrow & \downarrow^{\mathrlap{i}} && \downarrow^{\mathrlap{pt_B}} \\ X &\stackrel{f}{\to}& A &\stackrel{\mathbf{c}}{\to}& B }

Twisted cohomology

Conversely, by the universal property of fiber sequences, AA-cocycles are equivalent to BB-cocycles whose obstruction class under ff is trivial.

Therefore it makes sense to ask for the infinity-groupoid of BB-cocycles whose class under ff has some other fixed value χ\chi. This gives χ\chi-_twisted cohomology_ with coefficients in AA.

In terms of homotopy type theory

Formulated in homotopy type theory, obstruction theory reduces to a rather simple statement about factorization, or not, of functions through kernels of other functions. We spell out some details.

Let c:AB\mathbf{c} : A \to B be a term of function type and let pt B:*Bpt_B : * \to B be a global point of BB. The fiber of c\mathbf{c} over pt Bpt_B

F a:A(c(a)=pt B) F \coloneqq \sum_{a : A} (\mathbf{c}(a) = pt_B)

comes with a canonical “inclusion” function

i:FA i : F \to A

given by

i:(a,c(a)pt B)a. i : (a, \mathbf{c}(a) \stackrel{\simeq}{\to} pt_B) \mapsto a \,.

Now let

f:XA f : X \to A

be any other function. We are asking for the obstruction to lift it to a function f^:XF\hat f : X \to F such that

if^f. i \circ \hat f \simeq f \,.

This exists precisely if there is an equivalence

ϕ:cfpt B \phi : \mathbf{c}\circ f \stackrel{\simeq}{\to} pt_B

hence if the obstruction class

f *ccf f^* \mathbf{c} \coloneqq \mathbf{c} \circ f

is trivial.


Lift through Postnikov stages

If FAF \to A in the above is a stage τ n+1Bτ nB\tau_{\leq n+1} B \to \tau_{\leq n}B in the Postnikov tower of an object BB, then the lifting problem is that of lifting through the Postnikov tower of AA and the universal obstruction class is that which classified τ n+1Bτ nB\tau_{\leq n+1} B \to \tau_{\leq n}B as a π n+1B\pi_{n+1} B-principal infinity-bundle.

Obstruction to extension

The formal dual of the lift obstruction problem discussed above is the following extension problem:

we start with a universal characteristic map

BGcB nA \mathbf{B}G \stackrel{\mathbf{c}}{\to} \mathbf{B}^n A

representing a class [c]H n(BG,A)[\mathbf{c}] \in H^n(\mathbf{B}G, A) in the AA-cohomology of BG\mathbf{B}G. Then given a morphism ϕ:BGBH\phi : \mathbf{B}G \to \mathbf{B}H we may ask for the obstruction to extending c\mathbf{c} along it.

Now the statement is: if ϕ\phi is a homotopy cofiber, then there is a good obstruction theory to answer this question. Namely in that situation we are looking at a diagram of the form

BQ f BG c B nA ϕ c^ * BH \array{ \mathbf{B}Q &\stackrel{f}{\to}& \mathbf{B}G &\stackrel{\mathbf{c}}{\to}& \mathbf{B}^n A \\ \downarrow && \downarrow^{\mathrlap{\phi}} & \nearrow_{\mathrlap{\hat \mathbf{c}}} \\ * &\to& \mathbf{B}H }

where the left square is an homotopy pushout. By its universal property, the extension c^\hat {\mathbf{c}} of c\mathbf{c} exists as indicated precisely if the class

[f *c]H n(BQ,A) [f^* \mathbf{c}] \in H^n(\mathbf{B}Q, A)

is trivial.

One class of examples for this sort of situation is where one considers refined Lie group cohomology on simply connected Lie groups and is asking for ways to push it down to discrete quotients, hence to non-simply connected Lie groups integrating the same Lie algebra. This is often phrased in terms of “multiplicative bundle gerbes” over these Lie groups, but that is just another way of talking about the corresponding cohomology of the smooth moduli stack BG\mathbf{B}G.

Obstruction to quantization: Quantum anomaly

There are various formalizations of the notion of quantization in physics, or at least various aspects of that formalization. This involves various steps, some of which may have obstructions to being carried out. In physics such an obstruction in the process of quantization is often called a quantum anomaly.

For instance for many theories in physics the action functional is a priori not a function on the fields but a section of a circle-principal bundle. For this to qualify as an action functional therefore one needs a trivialization of that bundle and so the Chern class of the bundle is the obstruction and hence an anomaly of the system. See there for more.


Last revised on January 23, 2013 at 15:03:24. See the history of this page for a list of all contributions to it.