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



Normalized Hamiltonian holomorphic vector fields on Sasakian manifolds
The equation 


$$\int (\Delta^h u \cdot v - u \Delta^h v)e^h (1/2 d\eta)^n \wedge \eta$$


already gives a proof. $u$ and $v$ are eigenvalues of $\Delta^h$, so the integrand is zero.


This covers the case of $c\_1(\mathcal{F})=ad\eta,\ a>0,$ but I'm pretty sure the proof works for general Sasakian manifolds. We have a Lie algebra homomorphism


$$ (\operatorname{Ham},[,]) \rightarrow (\chi,[,]) $$


taking $u\_X$ to $X$ with poisson bracket $[u ,v]= \nabla^i u \nabla\_i v - \nabla^i v \nabla\_i u$
which has intgral zero. So there is always of splitting of the Lie algebra map when $M$ is compact.


