Abstract:
We generalize the definition of orbifold elliptic genus, and introduce orbifold genera of chromatic level h, using h-tuples rather than pairs of commuting elements. We show that our genera are in fact orbifold invariants, and we prove integrality results for them. If the genus arises from an H-infinity-map into the Morava-Lubin-Tate theory E_h, then we give a formula expressing the orbifold genus of the symmetric powers of a stably almost complex manifold M in terms of the genus of M itself. Our formula is the p-typical analogue of the Dijkgraaf-Moore-Verlinde-Verlinde formula for the orbifold elliptic genus. It depends only on h and not on the genus.

Abstract:
We study the loop spaces of the symmetric powers of an orbifold and use our results to define equivariant power operations in Tate K-theory. We prove that these power operations are elliptic and that the Witten genus is an H_oo map. As a corollary, we recover a formula by Dijkgraaf, Moore, Verlinde and Verlinde for the orbifold Witten genus of these symmetric powers. We outline some of the relationship between our power operations and notions from (generalized) Moonshine.

Abstract:
This paper studies connections between generalized moonshine and elliptic cohomology with a focus on the action of the Hecke correspondence and its implications for the notion of replicability.

Abstract:
We define and calculate inner products of 2-representations. Along the way, we prove that the categorical trace Tr(-) of [Ganter and Kapranov, Representation and character theory in 2-categories, Sec. 3] is multiplicative with respect to various notions of categorical tensor product, and we identify the center of the category V^G of [loc. cit., Sec. 4.2]. We discuss applications, ranging from Schur's result about the number of projective representations to a formula for the Hochschild cohomology of a global quotient orbifold.

Abstract:
We formulate the axioms of an orbifold theory with power operations. We define orbifold Tate K-theory, by adjusting Devoto's definition of the equivariant theory, and proceed to construct its power operations. We calculate the resulting symmetric powers, exterior powers and Hecke operators and put our work into context with orbifold loop spaces, level structures on the Tate curve and generalized Moonshine.

Abstract:
Systematically using the language of groupoids, we survey the theory of global Mackey functors, global Green functors and global power functors. Given a global power functor, we study rings with similar operations. The example of n-class functions leads to the notion of an n-special lambda ring.

Abstract:
In 1996, Franke constructed a purely algebraic category that is equivalent as a triangulated category to the E(n)-local stable homotopy category for n^2+n < 2p-2. The two categories are not Quillen equivalent, and his proof uses systems of triangulated diagram categories rather than model categories. Our main result is that in the case n=1 Franke's functor maps the derived tensor product to the smash product. It can however not be an associative equivalence of monoidal categories. The first part of our paper sets up a monoidal version of Franke's systems of triangulated diagram categories and explores its properties. The second part applies these results to the specific construction of Franke's functor in order to prove the above result.

Abstract:
We give explicit and elementary constructions of the 2-group extensions of a torus by the circle and discuss an application to loop group extensions. Examples include extensions of maximal tori and of the tori associated to the Leech and Niemeyer lattices.

Abstract:
We calculate equivariant elliptic cohomology of the partial flag variety G/H, where H \subseteq G are compact connected Lie groups of equal rank. We identify the RO(G)-graded coefficients Ell_G^* as powers of Looijenga's line bundle and prove that transfer along the map {\pi}: G/H -\rightarrow pt is calculated by the Weyl-Kac character formula. Treating ordinary cohomology, K-theory and elliptic cohomology in parallel, this paper organizes the theoretical framework for the elliptic Schubert calculus of [N.Ganter and A.Ram, Elliptic Schubert calculus. In preparation].

Abstract:
We define the character of a group representation in a 2-category C. For linear C, this notion yields a Hopkins-Kuhn-Ravenel type character theory defined on pairs of commuting elements of the group. We discuss some examples and prove a formula for the character of the induced representation.