Recently, I've been trying to understand Jacob Lurie's 2-equivariant elliptic cohomology a bit better than I had in the past.


From what I can tell, the fragment of the story that only deals with **finite groups**, with **characteristic zero** stuff, and only talks about the **degree zero** part of the cohomology theories is equivalent to the following claim:



> 
> **CLAIM:**
>  Given the following input:  
> 
>  $\triangleright$ A $\mathbb Q$-algebra $R$.  
> 
>  $\triangleright$ An elliptic curve $E$ over $R$  
> 
>  $\triangleright$ A finite group $G$  
> 
>  $\triangleright$ A cocycle $k$ representing a class in $H^4(BG,\mathbb Z)$,  
> 
>  there is a way of constructing:  
> 
>  $\triangleright$ An $R$-module.
> 
> 
> 


.



> 
> **QUESTION:** What is the construction which takes $R$, $E$, $G$, $k$ as input, and produces an $R$-module as output?
> 
> 
> 


.


When $k=0$, the output of the construction should be ring of functions on the moduli stack $M\_G$ of $G$-bundles over $E$.
[*Added later:* this guess turned out to be wrong – see Jacob's answer]


When $R=\mathbb C$, I know how to define a line bundle $L\_k$ over $M\_G$, and I want the $R$-module to be the space of global sections of that line bundle.


When $R$ is some random $\mathbb Q$-algebra, I don't know how to define a line bundle over $M\_G$, and in particular, I don't know how to construct its $R$-module of global sections.



> 
> **Bonus questions:**   
> 
>  $\triangleright$ What does the construction look like (in particular, does a construction exist) if one drops the assumption that $R$ is a $\mathbb Q$-algebra?  
> 
>  $\triangleright$ What does the construction look like if one drops the assumption that $G$ is a finite group, and one takes it to be a compact Lie group instead?  
> 
>  $\triangleright$ What does the construction look like if one drops the assumption that $E$ is an elliptic curve?  
> 
>  $\triangleright$ Any combination of the above.
> 
> 
> 



elliptic curves and group cohomology
As Charles indicates, "the moduli stack of $G$-bundles on $E$" is not quite the right thing to consider, especially if you're not working over $\mathbf{C}$. This is for two (unrelated) reasons:


1) The geometric object $M\_{G}$ that you associate to a group $G$ isn't something that you can access directly (at least by the construction I know): what you can access instead is the ring of global functions
on $M\_{G}$, and maybe the global sections of a few other sheaves (like the line bundles you're asking about). Consequently, it's hard to tell the difference between moduli stack of $G$-bundles and its coarse moduli space. Let me ignore this in what follows. (More precisely, instead of answering the question "what geometric object and line bundle does elliptic cohomology produce?", I'll answer the question "how can I write down a geometric object and line bundle whose global sections are related to $2$-equivariant elliptic cohomology?"


2) Saying "$M\_G$ is the moduli stack of $G$-bundles" doesn't really make sense, because $G$ is a compact Lie group rather than an algebro-geometric object. A more accurate statement is "$M\_G$ is the moduli stack of $G(1)$-bundles", where if $G$ is connected compact Lie group,
$G(1)$ denotes the split algebraic group having the same root datum.
(Example: if $G = U(n)$, then $G(1) = GL\_n$.) 


This generally does not make sense if $G$ is not connected, for example if $G$ is a finite group. However, you can make sense of it if $G$ is a finite abelian group (for example, if $G = \mathbf{Z}/n\mathbf{Z}$, then $G(1) = \mu\_{n}$; in this case, $G(1)$-bundles on $E$ correspond to $n$-torsion points on the dual abelian variety, which is just $E$ again: this recovers what Charles said. Note that we meet issue 1) here:
the scheme of $n$-torsion points on $E$ is a -coarse- moduli space for
$\mu\_n$-bundles on $E$). 


For $G$ a finite nonabelian group, you can't really make sense of $G(1)$.
However, you can still make sense of a $G(1)$-bundle on $E$, at least when the order $|G|$ is invertible in $R$. To explain this, let me assume for simplicity that $R$ is an algebraically closed field of characteristic zero, and try to describe everything in way that is invariant under automorphisms of $R$. Let $\Lambda$ denote the etale fundamental group of $E$: this is a free module of rank $2$ over the ring
$\widehat{ \mathbf{Z} }$ of profinite integers. The datum of
a $G$-bundle on $E$ (up to isomorphism) is equivalent to the datum of
map $\Lambda \rightarrow G$ (up to conjugacy). So you can define
the datum of a $G(1)$-bundle on $E$ (up to isomorphism) to be the datum of a map $\Lambda(-1) \rightarrow G$ (up to conjugacy). Here
$\Lambda(-1)$ denotes the twist of $\Lambda$ by the inverse of the cyclotomic character. In the language of etale cohomology, $\Lambda(-1)$ is just $H^{1}(E; \widehat{\mathbf{Z}})$. 


So that's the sort of datum that $M\_{G}$ is supposed to classify.
You get to identify $M\_{G}$ with the moduli stack of $G$-bundles on $E$
if you choose a compatible system of roots of unity in $R$, for example by taking $R = \mathbf{C}$). 


Now suppose you're given a level $k$ on $G$, which we can identify with an element of $H^{4}(BG; \mathbf{Z} ) = H^3(BG; \mathbf{Q} / \mathbf{Z} )$. Let $T$ denote the profinite torus $B \Lambda(-1)$. Suitably
interpeted, we have $H\_2(T) = H^2(E) = \widehat{ \mathbf{Z} }(-1)$,
and $M\_{G}$ classifies maps $T \rightarrow BG$. You can now apply the construction that Qiaochu suggested: pull back the level to $T$ and integrate to get a class in $H^1( Spec R, (\mathbf{Q} / \mathbf{Z})(1) )$. Of course, that class will be trivial, but if you do everything at the level of cochains rather than cohomology classes you'll obtain the datum of a $( \mathbf{Q} / \mathbf{Z} )(1) = \mu\_{\infty}(R)$-torsor,
which determines an $R$-line.


If you say all this carefully, you'll end up with something with makes sense as long as $|G|$ is invertible in $R$ (if $|G|$ is not invertible in $R$, then I don't know a construction which avoids elliptic cohomology, although in many cases you get answers which are well behaved in pure algebraic geometry; for example, when $G$ is a symmetric group and the level is zero). I don't think it makes sense for curves of higher genus: in the discussion above, it is important that $\pi\_{1} E$ is abelian.


