nLab transchromatic character

Redirected from "transchromatic characters".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Representation theory

Contents

Idea

A kind of generalization of group characters to chromatic homotopy theory.

Let XGX \sslash G be a topological quotient stack. Its free loop stack (XG)=hom Stacks(S 1,X//G)\mathcal{L}(X\sslash G) = hom_{Stacks}(S^1, X//G) restricts to those loops that are constant as continuous maps, and contain only possibly the transition data with values in XGX \sslash G (i.e. the “twisted loop space” retaining “twisted sector” data), this is the inertia stack

const(XG)hom Stacks(B,XG). \mathcal{L}_{const}( X \sslash G ) \simeq hom_{Stacks}(\mathbf{B}\mathbb{Z}, X \sslash G) \,.

The geometric realization of const(XG)\mathcal{L}_{const}(X \sslash G) is denoted Fix(X)Fix(X) in (Hopkins-Kuhn-Ravenel 00, Stapleton 13, p. 2).

Regarding S 1S^1 as the circle group, there is a canonical S 1S^1 infinity-action on any free loop space ()\mathcal{L}(-) (by rigid rotation of loops), and it restricts to const()\mathcal{L}_{const}(-). Hence there is the homotopy quotient stack

const(XG)S 1 \mathcal{L}_{const}( X \sslash G ) \sslash S^1

The geometric realization of const(XG)S 1\mathcal{L}_{const}(X \sslash G) \sslash S^1 is denoted Twist(X)Twist(X) in (Stapleton 13, p. 2).

Now with nn \in \mathbb{N} and given some prime, write E nE_n for the nnth Morava E-theory and K(t)K(t) for the ttth Morava K-theory. Then there is a homomorphism of Borel equivariant cohomology theories

E n (X//G)B n1 *L K(n1)E n (B p/ p)L K(n1)E n ( const(X//G))//S 1), E_n^\bullet(X//G) \longrightarrow B_{n-1}^\ast \underset{L_{K(n-1)} E_n^\bullet(B \mathbb{Q}_p/\mathbb{Z}_p)}{\otimes} L_{K(n-1)} E^\bullet_n( \mathcal{L}_{const}( X//G ) )// S^1) \,,

where L ()L_{(-)} denotes Bousfield localization. This is the twisted transchromatic character map (Stapleton 13, p. 5), shown here for the special case t=n1t = n-1, in the notation there.

Here B n1B_{n-1} is a ring such that… (Stapleton 13, p. 3)

References

Introduction and review:

Original articles:

Last revised on June 21, 2024 at 08:31:27. See the history of this page for a list of all contributions to it.