Note that
|
|
|
where is the restriction of the Hodge Dirac operator on the space of
1-forms, and, thus, is an elliptic operator of
1-order. By the standard elliptic estimate (c.f. Proposition
1.5.2 in [23] and [20]), we have
|
|
|
for any , and a
constant independent of . Hence is
injective. From the definition of ,
is also surjective, which implies that is
invertible from to .
Moreover,
|
|
|
By (7) and (8),
|
|
|
for ,
and, thus,
|
|
|
By the standard operatorβs theory (c.f. [36]),
is invertible,
and the inverse operator is defined by
|
|
|
We obtain
|
|
|
for a constant independent of .
β