| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

5. Chromatic Homotopy Theory

    1.     For a finite group $G$, Lurie constructs equivariant elliptic cohomology in commutative naive $G$-spectra and in genuine $G$-spectra compatibly [MR2597740].

      Problem 5.1.

      [C. Rezk] Can this construction be extended to commutative genuine $G$-spectra or $G$-commutative genuine $G$-spectra?
        • Problem 5.2.

          [K. Ormsby] What would “rings of integers” in $tmf$ with level structure be? Also, is there a TAF analogue of such objects with connections to TMF?
            • Problem 5.3.

              [M. A. Hill] What is an algebraic model for $L_{K(1)}Comm(Sp_G)$ (for even small groups $G$)?
                •     We may examine how viewing the Tate spectrum of a given $G$-spectrum is related to chromatic localizations. For example, given the spectrum $KO$ with trivial $C_2$-action, we have \[ (KO_{(2)})^{tC_2} \simeq \bigvee_{k\in\Z} \Sigma^{4k} H\Q_{(2)}\]

                  Problem 5.4.

                  [M. Behrens] Why should taking the Tate spectrum bring an object down in chromatic height (i.e. why do we see a blue shift)? More generally, we’d like to look at "chromatic primes" and "equivariant primes" in the same place and understand how they interact.

                  [Needs editing - I’m sure Mark has a more eloquent statement]
                    • Problem 5.5.

                      [M. Behrens] Is there a Goerss-Hopkins obstruction theory for $Comm(Sp_G)$?
                        • Problem 5.6.

                          [M. A. Hill] When $G = C_{2^n}$ what is the $G$-equivariant Landweber exact functor theory for $MU^{(G)}$?
                            • Long Term

                              Problem 5.7.

                              [S. Glasman] Can we describe the moduli stack of formal groups in the derived setting?
                                1. Remark. [org.aimpl.user:carolyn.yarnall@uky.edu] Was this question really about the derived moduli stack of formal groups or the moduli stack for derived formal groups or should they be one and the same?
                                    • Problem 5.8.

                                      [V. Stojanoska] Can we find explicit ways to write $S \in R-Alg$ as an $R$-module? What are objects that “untwist" when smashed together? (e.g. $KU \simeq KO \wedge C(\eta)$, $H\F_2 \simeq ko \wedge \A(1)$)

                                      A slightly easier question: Is $tmf^{(n)}_0 \rightarrow tmf^{(n)}_1$ relatively Gorenstein?
                                        • Problem 5.9.

                                          [C. Barwick] What can we say about modules over $S[BU_+]$?

                                              Cite this as: AimPL: Equivariant derived algebraic geometry, available at http://aimpl.org/equideralggeom.