No Arabic abstract
We construct a global geometric model for complex analytic equivariant elliptic cohomology for all compact Lie groups. Cocycles are specified by functions on the space of fields of the two-dimensional sigma model with background gauge fields and $mathcal{N} = (0, 1)$ supersymmetry. We also consider a theory of free fermions valued in a representation whose partition function is a section of a determinant line bundle. We identify this section with a cocycle representative of the (twisted) equivariant elliptic Euler class of the representation. Finally, we show that the moduli stack of $U(1)$-gauge fields carries a multiplication compatible with the complex analytic group structure on the universal (dual) elliptic curve, with the Euler class providing a choice of coordinate. This provides a physical manifestation of the elliptic group law central to the homotopy-theoretic construction of elliptic cohomology.
We construct a cocycle model for complex analytic equivariant elliptic cohomology that refines Grojnowskis theory when the group is connected and Devotos when the group is finite. We then construct Mathai--Quillen type cocycles for equivariant elliptic Euler and Thom classes, explaining how these are related to positive energy representations of loop groups. Finally, we show that these classes give a unique equivariant refinement of Hopkins theorem of the cube construction of the ${rm MString}$-orientation of elliptic cohomology.
We present a calculation, which shows how the moduli of complex analytic elliptic curves arises naturally from the Borel cohomology of an extended moduli space of $U(1)$-bundles on a torus. Furthermore, we show how the analogous calculation, applied to a moduli space of principal bundles for a $K(mathbb{Z},2)$ central extension of $U(1)^d$ give rise to Looijenga line bundles. We then speculate on the relation of these calculations to the construction of complex analytic equivariant elliptic cohomology.
The geometric Langlands correspondence for complex algebraic curves differs from the original Langlands correspondence for number fields in that it is formulated in terms of sheaves rather than functions (in the intermediate case of curves over finite fields, both formulations are possible). In a recent preprint, Robert Langlands made a proposal for developing an analytic theory of automorphic forms on the moduli space of $G$-bundles on a complex algebraic curve. Langlands envisioned these forms as eigenfunctions of some analogues of Hecke operators. In these notes I show that if $G$ is an abelian group then there are well-defined Hecke operators, and I give a complete description of their eigenfunctions and eigenvalues. For non-abelian $G$, Hecke operators involve integration, which presents some difficulties. However, there is an alternative approach to developing an analytic theory of automorphic forms, based on the existence of a large commutative algebra of global differential operators acting on half-densities on the moduli stack of $G$-bundles. This approach (which implements some ideas of Joerg Teschner) is outlined here, as a preview of a joint work with Pavel Etingof and David Kazhdan.
We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenzas result that the categories of topological presheaves indexed by the orbit category of a fixed topological group $G$ and the category of $G$-spaces can be endowed with Quillen equivalent model category structures. We prove an analogous result for any cofibrantly generated model category and discrete group $G$, under certain conditions on the fixed point functors of the subgroups of $G$. These conditions hold in many examples, though not in the category of chain complexes, where we nevertheless establish and generalize to collections an equivariant Whitehead Theorem `{a} la Kropholler and Wall for the normalized chain complexes of simplicial $G$-sets.
We establish a system of PDE, called open WDVV, that constrains the bulk-deformed superpotential and associated open Gromov-Witten invariants of a Lagrangian submanifold $L subset X$ with a bounding chain. Simultaneously, we define the quantum cohomo