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 X⫽GX \sslash G be a topological quotient stack. Its free loop stack ℒ(X⫽G)=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 X⫽GX \sslash G (i.e. the “twisted loop space” retaining “twisted sector” data), this is the inertia stack

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

The geometric realization of ℒ const(X⫽G)\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(X⫽G)⫽S 1 \mathcal{L}_{const}( X \sslash G ) \sslash S^1

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

Now with n∈ℕn \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 n−1 *⊗L K(n−1)E n •(Bℚ p/ℤ p)L K(n−1)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=n−1t = n-1, in the notation there.

Here B n−1B_{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.