ncatlab.org

modular equivariant elliptic cohomology in nLab

Contents

Context

Elliptic cohomology

Representation theory

representation theory

geometric representation theory

Ingredients

representation, 2-representation, ∞-representation

Geometric representation theory

Contents

Idea

The universal elliptic cohomology cohomology called tmf may be realized (after localization at some primes) as the homotopy fixed points of an ∞-action of the modular group modulo a congruence subgroup in direct analogy to how KO-theory arises as the ℤ 2\mathbb{Z}_2-homotopy fixed points of KU-theory (Mahowald-Rezk 09, Lawson-Naumann 12). This construction extends to equip tmf for level structure with – almost – the structure of a naive G-spectrum (hence a Bredon equivariant cohomology theory) for pieces of the modular group (Hill-Lawson 13, theorem 9.1).

General

The way this works is roughly indicated in the following table (Lawson-Naumann 12, Hill-Lawson 13):

For K-theory this relation induces the ℤ 2\mathbb{Z}_2-equivariant cohomology-version of KU which is KR-theory. In direct analogy to this one may hence consider SL 2(ℤ/nℤ)SL_2(\mathbb{Z}/n\mathbb{Z})-equivariant versions of tmf (localized at some primes). This maybe deserves to be called modular equivariant elliptic cohomology.

This hasn’t been studied much yet (or not at all), but there is some motivation for this from string theory (see below) and in this context a relevance of modular equivariant elliptic cohomology theory has been conjectured in (Kriz-Sati 05, p.3, p. 17, 18).

Motivation from string theory

A relevant role of some modular equivariant elliptic cohomology theory in string theory has been conjectured in (Kriz-Sati 05, p. 3, p. 17, 18):

First of all, ℤ 2\mathbb{Z}_2-equivariant topological K-theory, hence KR-theory, is what controls the D-brane charges in general orientifold vacua of type II superstring theory (hence also of type I superstring theory, which is thereby a special case).

Next, there are various hints (Kriz-Sati 04a, Kriz-Sati 04b Kriz-Sati 05, Sati 05) that lifting string theory to “M-theory” involves replacing K-theory by elliptic cohomology. Not the least of these is the String orientation of tmf (Ando-Hopkins-Strickland 01, Ando-Hopkins-Rezk 10), which shows that where the partition function of a superparticle (such as that at the end of the type II superstring ending on a D-brane) is given by the Todd genus in KU-theory, so the partition function of the superstring itself (possibly itself being the boundary of the M2-brane ending on a O9 plane (heterotic string) or on an M5-brane (self-dual “M-string”)) is given by the refined Witten genus in elliptic cohomology/tmf (thus yielding “O9-plane charge” and M5-brane charge in elliptic cohomology (Sati 10)).

Finally, the M-theory-lift of type II string theory is (or is naturally identified as) F-theory, which describes the axio-dilaton of the type II string vacua including the modular S-duality/U-duality acting on this as an elliptic fibration over spacetime (whose monodromy “homology invariant” is hence an SL 2(ℤ)SL_2(\mathbb{Z})-local system). It is hence natural to suspect that the combined worldsheet/target space ℤ 2\mathbb{Z}_2-equivariance of orientifold type II superstring backgrounds which is captured by KR-theory lifts in F-theory to some combined worldsheet/target space modular group-action. This is excatly what would be captured by modular equivariant tmftmf as indicated above (and as realized by theorem below), and and it is what is conjectured in (Kriz-Sati 05, p.3) (there the group SL 2(ℤ/2ℤ)SL_2(\mathbb{Z}/2\mathbb{Z}) is mentioned, the explicit construction below does capture this but also includes equivariance under all other SL 2(ℤ/nℤ)SL_2(\mathbb{Z}/n\mathbb{Z})).

So by extrapolation from the case of orientifolds, where the target space ℤ 2\mathbb{Z}_2-involution (the “real space”-structure) is accompanied by a ℤ 2\mathbb{Z}_2-action on the worldsheet (the worldsheet parity operator), this would suggest that in modular equivariant F-theory S-duality operations on the target space background would be accompanied by certain modular action on the worldsheet.

Mathematically this is precisely what happens in the equivariant version of tmf established by theorem below, which by prop. has the modular group action on the spectrum induced from the canonical action of the modular group on moduli of elliptic curves (hence: genus-1 worldsheets).

Physically such an effect seems not to have been discussed much, but at least the following is knonw: first of all, under S-duality the worldsheet theory of the type IIB superstring certainly is affected: the superstring here is generally a (p,q)-string, being a bound state of pp actual fundamental strings (F1-branes) with qq D1-branes, and the S-duality modular group SL 2(ℤ)SL_2(\mathbb{Z}) does act canonically on these pairs of integers. Now, that this operation has to be accompanied with a worldsheet conformal transformation as the above mathematical story would suggest has been highlighted for instance in (Bandos 00).

Generally, notice that the elliptic genus for type II superstrings lands in modular forms for the congruence subgroup Γ 0(2)↪SL 2(ℤ)\Gamma_0(2) \hookrightarrow SL_2(\mathbb{Z}) inside the full modular group (see at Witten genus – Modularity – For type II superstring), the subgroup which fixes one of the NS-R spin structures. Therefore if this elliptic genus does have a “topological” (homotopy theoretic) lift to elliptic cohomology (as is known for the heterotic string via the string orientation of tmf) then not to plain TMF, but to TMF 0(2)≃Γ(ℳ ell(2) 0,𝒪 top)TMF_0(2) \simeq \Gamma(\mathcal{M}_{ell}(2)_0,\mathcal{O}^{top}) (this is implified for instance in Stojanoska 11, remark 6.2), where ℳ ell(2) 0\mathcal{M}_{ell}(2)_0 is the moduli stack of elliptic curves with level structure for Γ 0(2)\Gamma_0(2), see at tmf0(2).

Definition and construction

Write ℤ^\hat {\mathbb{Z}} for the profinite completion of the integers.

Write

G≔GL 2(ℤ^) G \coloneqq GL_2(\hat {\mathbb{Z}})

for the general linear group in dimension 2 with coefficients in ℤ^\hat{\mathbb{Z}}.

Notice that this is the profinite group obtained as the limit over all general linear groups with coefficients in the cyclic groups (e.g.Greicius 09, (1.1))

GL 2(ℤ^)≔GL 2(lim←) nGL 2(ℤ/nℤ)≃lim← nGL 2(ℤ/nℤ). GL_2(\widehat{\mathbb{Z}}) \coloneqq GL_2(\underset{\leftarrow}{\lim})_n GL_2(\mathbb{Z}/n\mathbb{Z}) \simeq \underset{\leftarrow}{\lim}_n GL_2(\mathbb{Z}/n\mathbb{Z}) \,.

Write

p:GL 2(ℤ)⟶G p \;\colon\; GL_2(\mathbb{Z}) \longrightarrow G

for the canonical projection from (the ℤ 2\mathbb{Z}_2-central extension GL 2(ℤ)→PSL 2(ℤ)GL_2(\mathbb{Z}) \to PSL_2(\mathbb{Z}) of) the modular group.

For n∈ℕn \in \mathbb{N} any natural number write

p n:G⟶GL 2(ℤ/nℤ) p_n \;\colon\; G \longrightarrow GL_2(\mathbb{Z}/n\mathbb{Z})

for the corresponding projection to coefficients in the cyclic group of order nn.

Notice that for Γ↪SL 2(ℤ/nℤ)\Gamma \hookrightarrow SL_2(\mathbb{Z}/n\mathbb{Z}) then its preimage under p np_n is a “profinite congruence subgroup”.

The following is a variant of the orbit category of G=GL 2(ℤ^)G = GL_2(\hat {\mathbb{Z}}) which remembers the stage nn and consists only of orbits of the form of cosets by such congruence subgroups.

Definition

Write Orb˜ GL 2(ℤ^)\widetilde{Orb}_{GL_2(\hat{\mathbb{Z}})} for the category whose

  • objects are pairs (n,Γ)(n,\Gamma) with n∈ℕn \in \mathbb{N} a natural number and Γ↪GL 2(ℤ/nℤ)\Gamma \hookrightarrow GL_2(\mathbb{Z}/n\mathbb{Z}) a subgroup;

  • morphisms are given by

    Hom((n 1,Γ 1),(n 2,Γ 2))≔{Hom GL 2(ℤ^)(GL 2(ℤ^)/p n 1 −1(Γ 1),GL 2(ℤ^)/p n 2 −1(Γ 2)) ifn′|n ∅ otherwise. Hom\left(\left(n_1,\Gamma_1\right), \left(n_2,\Gamma_2\right)\right) \coloneqq \left\{ \array{ Hom_{GL_2\left(\hat{\mathbb{Z}}\right)} \left( GL_2\left(\hat{\mathbb{Z}}\right) / p_{n_1}^{-1}\left(\Gamma_1\right), \; GL_2\left(\hat{\mathbb{Z}}\right) / p_{n_2}^{-1}\left(\Gamma_2\right) \right) & if \; n'|n \\ \emptyset & otherwise } \right. \,.

This is (Hill-Lawson 13, def. 3.15).

Proposition

The construction for each (n,Γ)∈Orb˜ GL 2(ℤ^)(n,\Gamma) \in \widetilde{Orb}_{GL_2(\hat{\mathbb{Z}})} of the compactified moduli stack ℳ ell¯(Γ)\mathcal{M}_{\overline{ell}}(\Gamma) over Spec(ℤ[1n])Spec(\mathbb{Z}[\frac{1}{n}]) of elliptic curves with level structure determined by Γ\Gamma (a modular curve) extends to a (lax) 2-functor

ℳ ell¯(−):Orb˜ GL 2(ℤ^)⟶DMStack \mathcal{M}_{\overline{ell}}(-) \;\colon\; \widetilde{Orb}_{GL_2(\hat{\mathbb{Z}})} \longrightarrow DMStack

from the levelled orbit category of def. to the 2-category of Deligne-Mumford stacks, such that

  1. ℳ ell¯(1,1)≃ℳ ell¯\mathcal{M}_{\overline{ell}}(1,1) \simeq \mathcal{M}_{\overline{ell}} is the standard compactified moduli stack of elliptic curves over Spec(ℤ)Spec(\mathbb{Z})

  2. for each morphism (n 1,Γ 1)→(n 2,Γ 2)(n_1,\Gamma_1)\to (n_2,\Gamma_2) the induced morphism

    ℳ ell¯(n 1,Γ 1)→ℳ ell¯(n 2,Γ 2) \mathcal{M}_{\overline{ell}}(n_1,\Gamma_1)\to \mathcal{M}_{\overline{ell}}(n_2,\Gamma_2)

    is a log-etale morphism covering;

  3. for each nn and each normal subgroup inclusion K↪Γ↪GL 2(ℤ/nℤ)K \hookrightarrow \Gamma \hookrightarrow GL_2(\mathbb{Z}/n\mathbb{Z}) the induced map exhibits the homotopy quotient projection by Γ/K\Gamma/K

    ℳ ell¯(n,K)→ℳ ell¯(n,Γ)≃ℳ ell¯(n,K)//(Γ/K). \mathcal{M}_{\overline{ell}}(n,K)\to \mathcal{M}_{\overline{ell}}(n,\Gamma) \simeq \mathcal{M}_{\overline{ell}}(n,K)//(\Gamma/K) \,.

This is (Hill-Lawson 13, prop. 3.16, prop. 3.17).

Theorem

It is possible to extend the Goerss-Hopkins-Miller theorem to the compactified moduli stacks of elliptic curves with level-n structure ℳ ell¯[n]\mathcal{M}_{\overline{ell}}[n] in prop. , such that taking global sections produces an (∞,1)-presheaf on the levelled orbit category of def. with values in E-∞ rings

Tmf:(Orb˜ SL 2(ℤ^)) op⟶CRing ∞ Tmf \;\colon\; (\widetilde{Orb}_{SL_2(\hat{\mathbb{Z}})})^{op} \longrightarrow CRing_\infty

which is such that

  1. for n=1n = 1 (where SL 2(ℤ/ℤ)=1SL_2(\mathbb{Z}/\mathbb{Z}) = 1 and hence Γ=1\Gamma = 1 necessarily) one recovers

    Tmf(1,1)≃Tmf(1,1)\simeq Tmf;

  2. the morphism induced by any morphism of the form (nk,P k(Γ))→(n,Γ)(n k ,P_k(\Gamma))\to (n,\Gamma) is kk-localization;

  3. for any n∈ℕn \in \mathbb{N} and every normal subgroup K↪Γ↪GL 2(ℤ/nℤ)K \hookrightarrow \Gamma \hookrightarrow GL_2(\mathbb{Z}/n\mathbb{Z}), we have the (Γ/K)(\Gamma/K)-homotopy fixed points of Tmf(n,Γ)Tmf(n,\Gamma) (induced by action of Γ/K\Gamma/K on ℳ ell¯(Γ)\mathcal{M}_{\overline{ell}}(\Gamma) given by prop. ):

    Tmf(n,Γ)⟶≃Tmf(K) (Γ/K). Tmf(n,\Gamma) \stackrel{\simeq}{\longrightarrow} Tmf(K)^{(\Gamma/K)} \,.

This is (Hill-Lawson 13, theorem 9.1).

The following proposition gives one way how the modular equivariance of tmf as in theorem restricts to the ℤ 2\mathbb{Z}_2-equivariance of KU (hence KR-theory, which is known to be the precise form of type II string theory orientifolds).

First observe (see also (Mahowald-Rezk 09, section 2)) that for level 3 structure we have congruence subgroups

Γ 1(3)↪Γ 0(3)↪GL(2,ℤ/3ℤ) \Gamma_1(3) \hookrightarrow \Gamma_0(3) \hookrightarrow GL(2,\mathbb{Z}/3\mathbb{Z})

where the first inclusion is a normal subgroup of index 2.

Proposition

The inclusion of the nodal elliptic curve with its ℤ/2ℤ\mathbb{Z}/2\mathbb{Z}-worth of automorphisms (the inversion involution) as the cusp of the compactified moduli stack of elliptic curves

* → ℳ ell¯(3,Γ 1) ↓ ℤ/2ℤ ↓ ℤ/2ℤ *//(ℤ/2ℤ) ↪ ℳ ell¯(3,Γ 0) \array{ \ast &\to& \mathcal{M}_{\overline{ell}}(3,\Gamma_1) \\ \downarrow^{\mathrlap{\mathbb{Z}/2\mathbb{Z}}} && \downarrow^{\mathbb{Z}/2\mathbb{Z}} \\ \ast//(\mathbb{Z}/2\mathbb{Z}) &\hookrightarrow& \mathcal{M}_{\overline{ell}}(3,\Gamma_0) }

over Spec(ℤ[13])Spec(\mathbb{Z}[\tfrac{1}{3}]) yields under theorem a diagram of the form

ku[13] ← tmf 1(3) ↑ ↑ ko[13] ← tmf 0(3). \array{ ku[\frac{1}{3}] &\leftarrow& tmf_1(3) \\ \uparrow && \uparrow \\ ko[\frac{1}{3}] &\leftarrow& tmf_0(3) } \,.

(Hill-Lawson 13, theorem 9.3)

References

Last revised on January 2, 2021 at 12:25:59. See the history of this page for a list of all contributions to it.