4
$\begingroup$

Hi, as the title says i'm wondering if there's a "simple" and known commutation relation between the following two differential operators. Let $E$ be a holomorphic vector bundle over a compact kahler manifold $X$, fix a Hermitian metric $h$ on $E$ and a kahler metric $g$ on $X$. Denote with $D=D^{'}+D^{''}$ the associated Chern connection and its (1,0) and (0,1) parts. Denote with $\delta=\delta^{'}+\delta^{''}$ the adjoint respect to $h$ of $D$. So my question is what is $[D^{''},\delta^{'}]$? Is there a relation like kahler relations?

Thank you in advance.

$\endgroup$
2
  • $\begingroup$ Can I ask that you try to find a way to ask (a shortened version of) your question in the title? It will help other users know what question you want to ask, making it more likely they follow the link, and it will also help Google index your question and raise it to the top of the search page, making it more likely to help future mathematicias. Remember that you get 240 characters for the title --- more than a tweet and a half. $\endgroup$ Commented Aug 19, 2010 at 21:34
  • $\begingroup$ Sorry for the difficulties, from now on i'll do it for sure! $\endgroup$
    – Italo
    Commented Aug 19, 2010 at 22:20

1 Answer 1

1
$\begingroup$

Yes, the relation is that they anti-commute.

Let's see this very briefly (you can find it in almost all books on Kähler geometry and Hodge theory).

We want to compute $[D''_E,\delta'_E]$, where $[\bullet,\bullet]$ is the graded commutator and let me call $\omega$ (instead of $g$) the Kähler form. Then one has that $$ [\Lambda_\omega,D''_E]=-i\delta'_E, $$ so that $$ [D''_E,\delta'_E]=i[D''_E,[\Lambda_\omega,D''_E]], $$ where $\Lambda_\omega=*^{-1}L_\omega*$ is the formal adjoint of the operator of degree $(1,1)$ given by $L_\omega\bullet=\omega\wedge\bullet$.

Now, the (graded) Jacobi identity gives $$ -[D''_E,[\Lambda_\omega,D''_E]]+[D''_E,\underbrace{[D''_E,\Lambda_\omega]}_{=-[\Lambda_\omega,D''_E]}]+[\Lambda_\omega,\underbrace{[D''_E,D''_E]}_{=0}]=0, $$ thus $-2[D''_E,[\Lambda_\omega,D''_E]]=0$ and $$ D''_E\delta'_E+\delta'_ED''_E=[D''_E,\delta'_E]=0. $$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .