Elliptic Bismut–Chern Character

• Elliptic Bismut–Chern Character is a refined invariant defined on double loop spaces that generalizes the classical Chern character by incorporating modular phenomena.
• It interweaves equivariant cohomology, index theory, and loop group representations using gerbe modules and supersymmetric field theory partition functions.
• Its construction, via deformed equivariant curvature and analytic-topological correspondences, advances understanding in elliptic cohomology and string topology.

The elliptic Bismut–Chern character is a refinement of the classical Bismut–Chern form, defined on double loop spaces, that plays a central role in the interplay between equivariant cohomology, index theory, and the geometric representation theory of loop groups. It generalizes the classical Chern character to the setting of elliptic cohomology and double loop spaces, incorporating modular and conformal phenomena through the geometry of elliptic curves and moduli of bundles. This construction connects the representation theory of loop groups, gerbe modules, and the partition functions of supersymmetric field theories, yielding geometric incarnations of elliptic cohomological invariants and modular forms (Berwick-Evans, 2020, Dai et al., 26 Jan 2026).

1. Background and Motivation

The classical Chern character, defined on vector bundles and generalized by Bismut to loop spaces, relates geometric data (such as connections and their curvature) to topological invariants in K-theory and de Rham cohomology. The Bismut–Chern character on the free loop space LX, as developed by Bismut and furthered in equivariant cohomology, incorporates bundle connections and equivariant forms, producing a character that encodes index-theoretic information.

The elliptic refinement seeks to generalize these constructions to elliptic cohomology and double loop spaces $L^2X = C^\infty(S^1 \times S^1, X)$, motivated by the rich structure observed in stringology, representation theory, and the study of modular phenomena arising from the geometry of elliptic curves and 2-dimensional conformal field theories. In particular, the development of the Stolz–Teichner program and supersymmetric field theory-based cocycle models for Chern characters provides a conceptual underpinning for such elliptic refinements (Berwick-Evans, 2020, Dai et al., 26 Jan 2026).

2. Gerbes, Loop Groups, and Elliptic Chern Characters

Let $G$ be a compact, simple, simply connected Lie group, and $P \to X$ a principal $G$-bundle with connection $A$. The free loop space $LX$ is equipped with the loop bundle $LP \to LX$, a principal $LG$-bundle. The obstruction to lifting $LP$ to the basic central extension $\widetilde{LG}$ is a bundle gerbe $(\mathcal{G}_P, \nabla^b) \to LX$, with local Deligne data specified via the integration of the Chern–Simons three-form.

A positive-energy representation $\mathcal{H}$ of $LG$ of level $k$ produces an $S^1$-equivariant gerbe module $(\mathcal{E}, \nabla^\mathcal{E})$ for $(\mathcal{G}_P)^k$, locally described by an infinite-dimensional bundle with a projectively flat connection. The associated elliptic Chern character on $LX$ is defined as a $D$-equivariant closed form via a $\tau$-deformed equivariant curvature, encoding both geometric and representation-theoretic data. This construction realizes classes in $D$-equivariant cohomology of $LX$ twisted by the gerbe (Dai et al., 26 Jan 2026).

3. Elliptic Bismut–Chern Character on the Double Loop Space

The double loop space $L^2X$ admits two natural circle actions, corresponding to rotation in each $S^1$ factor. On $L^2X$, the transgression line bundle $\mathcal{L}_{CS}$, obtained from the bundle gerbe, is equipped with a connection whose curvature is the transgression of the original bundle's Chern–Simons 3-form. For a fixed $\tau \in \mathbb{H}$, an exotic twisted differential operator is defined, incorporating the deformation parameter $\tau$ by replacing one generator by $\tau$ times itself and introducing curvature corrections.

Locally, the elliptic Bismut–Chern character $EBCh_A(\mathcal{H})$ is constructed as the supertrace of the holonomy of a connection along one of the $S^1$ directions, incorporating the $\tau$-deformed curvature and projectively flat connection derived from the positive-energy representation. This yields a cocycle representing a class in the $S^1 \times D$-equivariant cohomology, twisted by $(\mathcal{L}_{CS}, \nabla_{CS}, \overline{H})^k$, and parametrized by $\tau$ (Dai et al., 26 Jan 2026).

The following table summarizes the relationships among the underlying spaces, geometric data, and resulting Chern characters:

Space	Geometric Data	Associated Character
$X$	Principal $G$-bundle $P$, connection $A$	Chern character
$LX$	Loop bundle $LP$, bundle gerbe $(\mathcal{G}_P)$	Elliptic Chern character $ECh_A$
$L^2X$	Transgression line $\mathcal{L}_{CS}$	Elliptic Bismut–Chern $EBCh_A$

The elliptic Bismut–Chern character restricts to the elliptic Chern character on $LX$ by fixing one circle variable and to the $q$-graded Bismut–Chern character by fixing the other.

4. Derived Geometry, Holomorphy, and Modularity

The elliptic Bismut–Chern character systematically encodes higher structures arising from the derived geometry of supermoduli spaces and the derived stack of elliptic curves. In the field-theoretic cocycle model, the value of a $2|1$-dimensional Euclidean field theory on the moduli of supertori yields a triple $(Z, Z_{\bar\tau}, Z_v)$ of differential forms satisfying derived holomorphicity and conformality relations: $$\partial_{\bar\tau} Z = d Z_{\bar\tau}, \qquad \partial_v Z = d Z_v.$$ The failure of strict holomorphy and independence of volume $v$ is thus realized as exactness in the derived sense. The passage to Dolbeault cohomology removes the auxiliary terms, yielding genuinely holomorphic $SL_2(\mathbb{Z})$-invariant classes in complex-analytic elliptic cohomology (Berwick-Evans, 2020).

This derived geometric framework enforces that supersymmetric partition functions of $2|1$-dimensional field theories, when considered as classes in elliptic cohomology, are modular forms. For instance, when applied to $\mathcal{N}=(0,1)$ supersymmetric quantum field theories, the resulting partition functions are weak modular forms, providing a geometric refinement and alternative proof of the modularity phenomenon (Berwick-Evans, 2020).

5. Analytic and Topological Significance: The Elliptic Atiyah–Witten Formula

Specializing to $G = \mathrm{Spin}(2n)$ at level $k=1$, four virtual level-one positive-energy representations, corresponding to the four spin structures on an elliptic curve, are constructed. The analytic side involves the family of Dirac operators on the torus $\Sigma_\tau$ and their 2-transgression to $L^2X$, yielding Pfaffian line bundles with canonical sections. The topological side, via the Chern–Simons line bundle, connects with the holonomy of the gerbe module.

The elliptic Atiyah–Witten formula provides an isometry between the analytic Pfaffian line bundles and the topological Chern–Simons line bundle over $L^2X$, identifying the canonical Pfaffian sections (up to modular anomaly) with the elliptic holonomies of the virtual representations. As $\tau \to i\infty$, the elliptic Bismut–Chern character recovers the supertrace of spinor holonomy on the free loop space, reproducing the classical Atiyah–Witten result as a degeneration (Dai et al., 26 Jan 2026).

6. Relation to Moduli of Bundles and Conformal Field Theory

The structure of the elliptic Bismut–Chern character interweaves with the representation theory of loop groups and conformal field theory. The Chern–Simons line bundle over the moduli of $G$-connections on the elliptic curve serves as a prequantum line bundle; quantization produces spaces of conformal blocks. In genus 1, quantization commutes with reduction: spaces of holomorphic sections of the prequantum line bundle and conformal blocks are identified, with Bismut–Chern characters mapping to (modified) theta-basis vectors in the genus one conformal block space.

The elliptic Bismut–Chern character thus realizes elliptic (WZW) characters on double loop space as analytic-pfaffian sections and topological traces of positive-energy representations. Modular and anomaly factors, including $\eta$-powers and Eisenstein series corrections, appear via the metaplectic and Hitchin connection structure of the relative Pfaffian and Chern–Simons lines (Dai et al., 26 Jan 2026).

A plausible implication is that this geometric-combinatorial correspondence provides a concrete realization of elliptic cohomological invariants in field-theoretic and representation-theoretic settings, with direct impact on the mathematical foundations of quantum field theory and string topology.

7. Explicit Formulas and Example Constructions

The explicit construction of the elliptic Euler class, and hence the elliptic Bismut–Chern character in the complex-analytic elliptic cohomology $$H^*(M; \mathcal{O}(\mathbb{H})[\beta, \beta^{-1}])^{SL_2(\mathbb{Z})}$$, for a real, oriented bundle $V \to M$ with connection and curvature $F$ is given by

$$(V) = \mathrm{Pf}(-\beta F)\, \exp\left(\sum_{k \geq 1} \frac{\beta^k E_{2k}(\tau,\bar\tau)}{2k(2\pi i)^{2k}} \operatorname{Tr}(F^{2k})\right),$$

with suitable correction terms involving a 3-form $H$ such that $dH = p_1(V)$ for rational string structures. The modular invariance and conformality properties follow from the derived holomorphy relations on the defining triple $(Z, Z_{\bar\tau}, Z_v)$, and these data refine to classes in the double-loop context under the elliptic Bismut–Chern framework (Berwick-Evans, 2020).

These constructions undergird a broad array of links between geometry, topology, representation theory, and supersymmetric field theory, providing fertile ground for ongoing research in elliptic cohomology and its applications.