ScalingStacks

2.5. Higher rank torus symmetry [04ZB]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

2.5. Higher rank torus symmetry

Now we assume an nn dimensional Kähler manifolds (X,ω,J)(X,\omega,J) admits an Tk​(k≥1)T^{k}(k\geq 1) action which is holomorphic and Hamiltonian. We first assume the action is free. Let (z1,⋯,zk)(z_{1},\cdots,z_{k}) be the moment map. Then similar discussion to that in Section 2.1 yields locally a family of Kähler forms ω~\tilde{\omega} on the complex quotient, parametrized by (z1,…​zk)∈ℝk(z_{1},\ldots z_{k})\in\mathbb{R}^{k}, a family of connection 11-forms −−1​Θj​(j=1,⋯,k)-\sqrt{-1}\Theta_{j}(j=1,\cdots,k) and a positive definite k×kk\times k real symmetric matrix W=(Wi​j)W=(W_{ij}) with the inverse matrix

(2.63) Wi​j=⟨∂ti,∂tj⟩,W^{ij}=\langle\partial_{t_{i}},\partial_{t_{j}}\rangle,

such that the following system of equations hold

(2.64) {∂zjω~=dD​Θj∂zjΘi=−dDc​Wi​j∂zlWi​j=∂zjWi​l.\begin{cases}\partial_{z_{j}}\tilde{\omega}=d_{D}\Theta_{j}\\ \partial_{z_{j}}\Theta_{i}=-d^{c}_{D}W_{ij}\\ \partial_{z_{l}}W_{ij}=\partial_{z_{j}}W_{il}.\end{cases}

As before the first two equations combine to give an equation on (ω~,Wi​j)(\tilde{\omega},W^{ij})

(2.65) ∂zi∂zjω~+dD​dDc​Wi​j=0.\partial_{z_{i}}\partial_{z_{j}}\tilde{\omega}+d_{D}d_{D}^{c}W_{ij}=0.

Now suppose the complex quotient DD is Calabi-Yau with a holomorphic volume form ΩD\Omega_{D}, then the Calabi-Yau equation on XX becomes

(2.66) ω~n−k(n−k)!=(−1)(n−k)22n−k​det(Wi​j)⋅ΩD∧Ω¯D.\frac{\tilde{\omega}^{n-k}}{(n-k)!}=\frac{(\sqrt{-1})^{(n-k)^{2}}}{2^{n-k}}\det(W_{ij})\cdot\Omega_{D}\wedge\bar{\Omega}_{D}.

This equation has been derived by Matessi [Mat01] and Zharkov [Zha04]. Again when the TkT^{k} action is not free one should replace (2.65) by a distributional equation. We will discuss a simplest example in Section 8.1. In the most extreme case when k=nk=n is the complex dimension of XX, this becomes the real Monge-Ampère equation

(2.67) det(Wi​j)=C.\det(W_{ij})=C.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.