nLab shift

Contents

Context

Representation theory

Measure and probability theory

Contents

Idea

Shifts are particular dynamical systems on spaces of sequences, or more generally on products, which intuitively act on the position of the components (also by possibly copying and discarding them), but do not on the internal values of the coordinates.

Shifts are ubiquitous in the theory of dynamical systems (and related fields, such as ergodic theory and information theory). From the point of view of category theory, they are a universal (right adjoint) way of forming dynamical systems from the objects of a category.

Definition

Let XX be a set, and consider the countably infinite product X X^\mathbb{N}. The shift is the map which one can interpret as a “shift to the left”.

Equivalently, it is the product projection

X X×X X . X^\mathbb{N} \cong X \times X^\mathbb{N} \to X^\mathbb{N} .

Generalizations

In other categories

A similar definition of shift can be given in other categories with products, and more generally in any copy-discard category. In the field of dynamical systems, for example, the following categories are of interest:

(Outside the cartesian case, one needs a notion of infinite tensor product.)

For generic actions

One can generalize the definition as follows. Let MM be a monoid with an action on a finite set S={1,,n}S=\{1,\dots,n\}, and denote the action by m:SSm:S\to S for each mMm\in M.

Given an object XX in a category, consider the SS-fold product X SX^S. We have an action of MM on X SX^S given as follows. For each mMm\in M, we define the map m *:X SX Sm^*:X^S\to X^S in terms of its product projections π im *:X SX\pi_i\circ m^*:X^S\to X given by

π im *π m(i). \pi_i\circ m^* \;\coloneqq\; \pi_{m(i)} .

Similarly, if SS is an infinite set, we define the action of MM on the infinite product X SX^S whose finitary product projections are in the form above.

Even more generally, one can replace the product with an infinitary tensor product, and define the action analogously.

Examples

  • The usual shift σ:X X \sigma:X^\mathbb{N}\to X^\mathbb{N} is induced by the action of \mathbb{N} on itself via addition.
  • The action of finite permutations on X X^\mathbb{N} is induced by the action of finite permutations on \mathbb{N}.

Universal property

Let MM be a monoid, and let CC be a category with products. Denote by BMB M the delooping of MM, and by [BM,C][B M, C] the functor category, i.e. the category of objects of CC equipped with an action of MM, and equivariant maps as morphisms.

The forgetful functor U:[BM,C]CU:[B M,C]\to C has a right adjoint, given by the action of MM via shifts: on objects, it maps an object XX of CC to the product X MX^M, with the action of MM via shifts induced by the right-multiplication M×MMM\times M\to M.

On CC, this adjunction induces a comonad, the stream comonad?.

(…)

See also

References

  • Mike Behrisch, Sebastian Kerkhoff, Reinhard Pöschel, Friedrich Martin Schneider, Stefan Siegmund, Dynamical systems in categories. Applied Categorical Structures 25, 2017. (link)

  • Paolo Perrone, Starting Category Theory, World Scientific, 2024. (website)

(…)

category: probability

Last revised on July 21, 2024 at 15:42:37. See the history of this page for a list of all contributions to it.