I am trying to write the D'Alembert operator after 3+1 splitting. We have,
◻=gαβ∇α∇β
I can decompose as
◻=(habeαaeβb−nαnβ)∇α∇β
where the Greek indices are 4-dim and latin indices are 3-dim. After a bit of algebra I get,
◻=habDaDb−hab(Daeβb)∇β−nαnβ∇α∇β
where D is covariant derivative in 3-dim. I wonder if the last two terms are vanishing somehow. Or generally what's the form of D'Alembert operator in ADM formalism.