nLab
modular equivariant elliptic cohomology

Context

Elliptic cohomology

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):

Substructure of the moduli stack of curves and the (equivariant) cohomology theory associated with it via the Goerss-Hopkins-Miller-Lurie theorem:

coveringby of level-n structures (modular curve)
*=Spec()\ast = Spec(\mathbb{Z})\toSpec([[q]])Spec(\mathbb{Z}[ [q] ])\to ell¯[n]\mathcal{M}_{\overline{ell}}[n]
structure group of covering /2\downarrow^{\mathbb{Z}/2\mathbb{Z}} /2\downarrow^{\mathbb{Z}/2\mathbb{Z}} SL 2(/n)\downarrow^{SL_2(\mathbb{Z}/n\mathbb{Z})} (modular group)
moduli stack 1dTori\mathcal{M}_{1dTori}\hookrightarrow Tate\mathcal{M}_{Tate}\hookrightarrow ell¯\mathcal{M}_{\overline{ell}} (M_ell)\hookrightarrow cub\mathcal{M}_{cub}\to fg\mathcal{M}_{fg} (M_fg)
of1d toriTate curveselliptic curvescubic curves1d commutative formal groups
value 𝒪 Σ top\mathcal{O}^{top}_{\Sigma} of structure sheaf over curve Σ\SigmaKUKU[[q]]KU[ [q] ]elliptic spectrumcomplex oriented cohomology theory
spectrum Γ(,𝒪 top)\Gamma(-, \mathcal{O}^{top}) of global sections of structure sheaf(KO \hookrightarrow KU) = KR-theoryTate K-theory (KO[[q]]KU[[q]]KO[ [q] ] \hookrightarrow KU[ [q] ])(Tmf \to Tmf(n)) (modular equivariant elliptic cohomology)tmf𝕊\mathbb{S}

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)).

partition functions in quantum field theory as indices/genera/orientations in generalized cohomology theory:

ddpartition function in dd-dimensional QFTsuperchargeindex in cohomology theorygenuslogarithmic coefficients of Hirzebruch series
0push-forward in ordinary cohomology: integration of differential formsorientation
1spinning particleDirac operatorKO-theory indexA-hat genusBernoulli numbersAtiyah-Bott-Shapiro orientation MSpinKOM Spin \to KO
endpoint of 2d Poisson-Chern-Simons theory stringSpin^c Dirac operator twisted by prequantum line bundlespace of quantum states of boundary phase space/Poisson manifoldTodd genusBernoulli numbersAtiyah-Bott-Shapiro orientation MSpin cKUM Spin^c \to KU
endpoint of type II superstringSpin^c Dirac operator twisted by Chan-Paton gauge fieldD-brane chargeTodd genusBernoulli numbersAtiyah-Bott-Shapiro orientation MSpin cKUM Spin^c \to KU
2type II superstringDirac-Ramond operatorsuperstring partition function in NS-R sectorOchanine elliptic genusSO orientation of elliptic cohomology
heterotic superstringDirac-Ramond operatorsuperstring partition functionWitten genusEisenstein seriesstring orientation of tmf
self-dual stringM5-brane charge
3w4-orientation of EO(2)-theory

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 1 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 1 below, which by prop. 1 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

GGL 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 nn \in \mathbb{N} any natural number write

p n:GGL 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 nn \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. 1 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. 1, such that taking global sections produces an (∞,1)-presheaf on the levelled orbit category of def. 1 with values in E-∞ rings

Tmf:(Orb˜ SL 2(^)) opCRing 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 nn \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. 1):

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

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

Remark

The system of spectra in theorem 1 is essentially a spectrum with G-action (see there) for GG the “profinite modular groupGL 2(^)GL_2(\hat {\mathbb{Z}}), except that the parameterization is not quite over the orbit category of this GG, but just to the subcategory on objects which are coset spaces just by congruence subgroups and subject to that divisibility constraint on the nns, the “levelling”. So Tmf()Tmf(-) defines a “levelled” kind of genuine GL 2(^)GL_2(\hat {\mathbb{Z}})-equivariant cohomology version of Tmf.

The following proposition gives one way how the modular equivariance of tmf as in theorem 1 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 1 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)

Remark

The spectrum

Tmf 1(3)Tmf(3,Γ 1) Tmf_1(3) \coloneqq Tmf(3,\Gamma_1)

(first considered in (Mahowald-Rezk 09), see at congruence subgroup for the notation) is complex oriented (Hill-Lawson 13, p.5) (in contrast to Tmf Tmf(1,1)\simeq Tmf(1,1)). This is one more way in which the inclusion

Tmf 1(3) Tmf \array{ Tmf_1(3) \\ \uparrow \\ Tmf }

is analogous to the inclusion of KO into KU

References

Revised on November 12, 2015 10:19:32 by Urs Schreiber (82.113.121.12)