TOPICS
Search

Band


A band over a fixed topological space X is represented by an open cover X= union U_alpha, U_alpha subset= X, and for each alpha, a sheaf of groups K_alpha on U_alpha along with outer isomorphisms lambda_(alphabeta):K_beta|_(U_(alphabeta))->K_alpha|_(U_(alphabeta)) satisfying the cocycle conditions lambda_(alphaalpha)=1 and lambda_(alphabeta)lambda_(betagamma)=lambda_(alphagamma). Here, U_(alphabeta)=U_alpha intersection U_beta, and restrictions to a finer open cover should be viewed as defining the same band. An outer isomorphism over an open set U is an element of the value on U of the sheaf associated to the presheaf of sheaf isomorphisms modulo inner automorphisms of the target. Thus, it can be represented locally by isomorphisms whose classes agree locally on overlaps, without requiring one sheaf isomorphism on the whole open set.

The collection of all bands over the topological space X with respect to a single cover {U_alpha} has a natural category structure. Indeed, if K=(K_alpha,lambda_(alphabeta)) and L=(L_alpha,mu_(alphabeta)) are two bands over X with respect to {U_alpha}, then an isomorphism K->L consists of outer isomorphisms phi_alpha:K_alpha->L_alpha, understood as elements of these associated sheaves on U_alpha, compatible on overlaps so that phi_alphalambda_(alphabeta)=mu_(alphabeta)phi_beta. The collection of all such bands and isomorphisms thereof forms a category.

The notion of band is essential to the study of gerbes (Moerdijk 2002). In particular, for a gerbe G over a topological space X, one can choose an open cover X= union U_alpha of X by open subsets U_alpha subset= X, and for each alpha, an object a_alpha in G(U_alpha) which determines a sheaf of groups Aut__(a_alpha) on U_alpha. Local isomorphisms between the chosen objects induce sheaf isomorphisms on an open cover of each overlap. Their classes modulo inner automorphisms agree locally and define the outer isomorphisms lambda_(alphabeta) on the whole overlap.

In some literature, an alternative definition of gerbe is used, thereby resulting in an even more specific definition of band. For example, the associated band of some gerbe G is sometimes assumed to be a sheaf of Lie groups A_X (Brylinski 1993), though such assumptions appear to be somewhat rare.


See also

Category, Cover, Gerbe, Isomorphism, Lie Group, Outer Automorphism, Sheaf, Topological Space

Portions of this entry contributed by Christopher Stover

Explore with Wolfram|Alpha

References

Brylinski, J. Loop Spaces, Characteristic Classes, and Geometric Quantization. Boston, MA: Birkhäuser, 1993.Moerdijk, I. "Introduction to the Language of Stacks and Gerbes." 2002. https://arxiv.org/abs/math/0212266.

Referenced on Wolfram|Alpha

Band

Cite this as:

Weisstein, Eric W., with contributions by Christopher Stover. "Band." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Band.html

Subject classifications