Asymptotic expansion of the variation of the Quillen metric and its moment map interpretation

TL;DR

This paper generalizes the Donaldson-Fujiki moment map interpretation of scalar curvature in Kähler geometry by using equivariant determinant line bundles and asymptotic expansions, linking to Z-critical equations.

Contribution

It introduces a new framework using equivariant determinant line bundles to interpret scalar curvature as a sequence of moment maps, extending existing geometric interpretations.

Findings

Constructed $ ext{G}$-equivariant determinant line bundles with Quillen metrics.

Derived asymptotic expansions of curvature forms leading to new moment maps.

Connected the new moment maps to Z-critical equations and generalized Fujiki's formula.

Abstract

In K\"ahler geometry, the Donaldson-Fujiki moment map picture interprets the scalar curvature of a K\"ahler metric as a moment map on the space of compatible almost complex structures on a fixed symplectic manifold. In this paper, we generalize this picture using the framework of equivariant determinant line bundles. Given a prequantization $P=(L,h,\nabla)$ of a compact symplectic manifold $(M,\omega)$, let $\mathcal{G}=\mathrm{Aut}(P)$. We construct for each $k\in\mathbb{N}$ a $\mathcal{G}$-equivariant determinant line bundle $\lambda^{(k)}\rightarrow\mathcal{J}_{int}$ on the space of integrable compatible almost complex structures, equipped with the $\mathcal{G}$-invariant Quillen metric. The curvature form of $\lambda^{(k)}$ admits an asymptotic expansion whose coefficients yield a sequence of $\mathcal{G}$-invariant closed two-forms $\Omega_j$ on $\mathcal{J}_{int}$ and corresponding moment maps $\mu_j:\mathcal{J}_{int}\rightarrow C^\infty(M)$. Each $\mu_j$ arises from the asymptotic expansion of the variation of the log of the Quillen metric with respect to K\"ahler potentials, keeping the complex structure fixed. This provides a natural generalization of the Donaldson-Fujiki moment map interpretation of scalar curvature. Moreover, we show that $\mu_j$ coincide with the $Z$-critical equations introduced by Dervan-Hallam, and we state a generalization of Fujiki's fiber integral formula.