A construction of complex analytic elliptic cohomology from double free loop spaces

We construct a complex analytic version of an equivariant cohomology theory which appeared in a paper of Rezk, and which is roughly modelled on the Borel-equivariant cohomology of the double free loop space. The construction is defined on finite, torus-equivariant CW complexes and takes values in coherent holomorphic sheaves over the moduli stack of complex elliptic curves. Our methods involve an inverse limit construction over all finite-dimensional subcomplexes of the double free loop space, following an analogous construction of Kitchloo for single free loop spaces. We show that, for any given complex elliptic curve $\mathcal {C}$ , the fiber of our construction over $\mathcal {C}$ is isomorphic to Grojnowski's equivariant elliptic cohomology theory associated to $\mathcal {C}$ .

Defects, nested instantons and comet-shaped quivers

We introduce and study a surface defect in four-dimensional gauge theories supporting nested instantons with respect to the parabolic reduction of the gauge group at the defect. This is engineered from a $$\mathrm{{D3/D7}}$$ D 3 / D 7 -branes system on a non-compact Calabi–Yau threefold X. For $$X=T^2\times T^*{{\mathcal {C}}}_{g,k}$$ X = T 2 × T ∗ C g , k , the product of a two torus $$T^2$$ T 2 times the cotangent bundle over a Riemann surface $${{\mathcal {C}}}_{g,k}$$ C g , k with marked points, we propose an effective theory in the limit of small volume of $${\mathcal C}_{g,k}$$ C g , k given as a comet-shaped quiver gauge theory on $$T^2$$ T 2 , the tail of the comet being made of a flag quiver for each marked point and the head describing the degrees of freedom due to the genus g. Mathematically, we obtain for a single $$\mathrm{{D7}}$$ D 7 -brane conjectural explicit formulae for the virtual equivariant elliptic genus of a certain bundle over the moduli space of the nested Hilbert scheme of points on the affine plane. A connection with elliptic cohomology of character varieties and an elliptic version of modified Macdonald polynomials naturally arises.

An algebraic model for rational naïve-commutative ring SO(2)-spectra and equivariant elliptic cohomology

Equipping a non-equivariant topological $$\text {E}_\infty $$ E ∞ -operad with the trivial G-action gives an operad in G-spaces. For a G-spectrum, being an algebra over this operad does not provide any multiplicative norm maps on homotopy groups. Algebras over this operad are called naïve-commutative ring G-spectra. In this paper we take $$G=SO(2)$$ G = S O ( 2 ) and we show that commutative algebras in the algebraic model for rational SO(2)-spectra model rational naïve-commutative ring SO(2)-spectra. In particular, this applies to show that the SO(2)-equivariant cohomology associated to an elliptic curve C of Greenlees (Topology 44(6):1213–1279, 2005) is represented by an $$\text {E}_\infty $$ E ∞ -ring spectrum. Moreover, the category of modules over that $$\text {E}_\infty $$ E ∞ -ring spectrum is equivalent to the derived category of sheaves over the elliptic curve C with the Zariski torsion point topology.