Hello, I am reading the paper Futaki; Ono; Wang Transverse Kähler geometry of Sasaki manifolds and toric Sasaki-Einstein manifolds. J. Differential Geom. 83 (2009), no. 3, 585–635.
For your convenience I repeat the setting. Let $(M^{2n+1}, \eta, \xi, g)$ be a compact Sasakian manifold and $\pi_\alpha: U_\alpha \rightarrow C^n$ the submersions defining the characteristic foliation on $M$.
Hamiltonian holomorphic vector fields are introduced to be complex vector fields $X$ on $M$ such that the field $d\pi_\alpha X$ is holomorphic and the function $u_X := i \eta(X)$ is such that $\iota_X \frac 1 2 d\eta = i \bar \partial_B u_X$.
Let $h$ be a real basic function such that $\rho^T - (2n+2)\omega^T = i \partial_B \bar \partial_B h$ (transverse Ricci form and transverse Kaehler form).
They consider normalized vector fields. They are the ones such that $\int_M u_X e^h (1/2 d\eta)^n \wedge \eta = 0$.
It can be checked that the set of Hamiltonian holomorphic vector fields is closed under the Lie bracket.
Is it true also for normalized ones?
After using Theorem 5.1 of the paper which states that the space of normalized ham holo flds is in correpspondance with the $2n+1$ eigenspace of the operator on complex valued basic functions $$ \Delta^h u = \Delta u - \nabla^i u \nabla_i h $$ where $\Delta$ is the basic laplacian and $\nabla$ the transverse LC connection.
The correspondence is given by $u \mapsto u \xi + \nabla^i u (\partial_{z_i} - \eta(\partial_{z_i})\xi)$. Btw this is where I have another question. Shouldn't it be $u \mapsto -iu \xi + ...$ in order to have a hamiltonian holomorphic vector field in the above sense?
Anyway I computed the bracket of two fields $X, Y$ image of basic functions $u,v$ and found out that the Hamiltonian function of $[X,Y]$ is $Xv - Yu = \nabla^i u \nabla_i v - \nabla^i v \nabla_i u$. Its itegral with respect to the weighted measure is then $$ \int (\Delta^h u \cdot v - u \Delta^h v)e^h (1/2 d\eta)^n \wedge \eta $$ which is not the self-adjoint relation for $\Delta^h$, which would contain some conjugates, being $\Delta^h$ the $\bar \partial$-Laplacian wrt the weighted measure. This is where I am stuck.
thank you
David