}(M)$ then $w\in C^{k,\alpha}_{\delta^\prime}(M)$ whenever $|\delta^\prime - 1|\leq \sqrt{1+c}$.

The tensor ${\mathcal{H}}_{{\overline}g}(\rho)$
-----------------------------------------------

Together with James Isenberg and John M. Lee, we introduced in [@WAH-Preliminary] a conformally invariant version of the trace-free Hessian that is used in [@AHEM-Preliminary] to characterize the shear-free condition; we now recall its definition and basic properties. Let $$A_{{\overline}g}(\rho) 
= \frac{1}{2} |{d}\rho|_{{\overline}g} \operatorname{div}_{{\overline}g}\left[ |{d}\rho|_{{\overline}g}\operatorname{grad}_{{\overline}g}\rho\right].$$ We define the tensor field ${\mathcal{H}}_{{\overline}g}(\rho)$ by $$\label{DefineB}
{\mathcal{H}}_{{\overline}g}(\rho)
:=|{d}\rho|_{{\overline}g}^6\,\mathcal D_{{\overline}g}(|{d}\rho|^{-2}_{{\overline}g} \operatorname{grad}_{{\overline}g}\rho)
+ A_{{\overline}g}(\rho) \left( {d}\rho \otimes {d}\rho - \frac{1}{3}|{d}\rho|^2_{{\overline}g}\, {\overline}g \right),$$ where $\mathcal D_{{\overline}g}$ is the conformal Killing operator defined in.

We have the following basic properties of ${\mathcal{H}}_{{\overline}g}(\rho)$.

\[B-BasicProperties\]

1.  ${\mathcal{H}}_{{\overline}g}(\rho)$ is symmetric and trace-free.

2.  \[B-TransverseProperty\] ${\mathcal{H}}_{{\overline}g}(\rho)(\operatorname{grad}_{{\overline}g}\omega, \cdot)=0$.

3.  \[B-Scaling\] ${\mathcal{H}}_{{\overline}g}(c \rho)=c^5{\mathcal{H}}_{{\overline}g}(\rho)$ for all constants $c$.

4.  \[B-ConformalScaling\] If $\theta$ is a strictly positive function then ${\mathcal{H}}_{\theta^4{\overline}g}(\rho)=\theta^{-8}{\mathcal{H}}_{{\overline}
} (M)$ then $ w\in C^{k,\alpha}_{\delta^\prime}(M)$ whenever $ |\delta^\prime - 1|\leq \sqrt{1+c}$. 

 The tensor $ { \mathcal{H}}_{{\overline}g}(\rho)$ 
 ----------------------------------------------- 

 Together with James Isenberg and John M.   Lee, we introduced in [ @WAH - Preliminary ] a conformally invariant version of the touch - spare Hessian that is used in [ @AHEM - Preliminary ] to characterize the shear - free circumstance; we now recall its definition and basic properties. permit $ $ A_{{\overline}g}(\rho) 
 = \frac{1}{2 } |{d}\rho|_{{\overline}g } \operatorname{div}_{{\overline}g}\left [ |{d}\rho|_{{\overline}g}\operatorname{grad}_{{\overline}g}\rho\right].$$ We define the tensor field $ { \mathcal{H}}_{{\overline}g}(\rho)$ by $ $ \label{DefineB } 
 { \mathcal{H}}_{{\overline}g}(\rho) 
: = |{d}\rho|_{{\overline}g}^6\,\mathcal D_{{\overline}g}(|{d}\rho|^{-2}_{{\overline}g } \operatorname{grad}_{{\overline}g}\rho) 
 + A_{{\overline}g}(\rho) \left ({ d}\rho \otimes { d}\rho - \frac{1}{3}|{d}\rho|^2_{{\overline}g}\, { \overline}g \right),$$ where $ \mathcal D_{{\overline}g}$ is the conformal Killing hustler define in. 

 We have the keep up basic properties of $ { \mathcal{H}}_{{\overline}g}(\rho)$. 

 \[B - BasicProperties\ ] 

 1.   $ { \mathcal{H}}_{{\overline}g}(\rho)$ is symmetrical and trace - free. 

 2.   \[B - TransverseProperty\ ] $ { \mathcal{H}}_{{\overline}g}(\rho)(\operatorname{grad}_{{\overline}g}\omega, \cdot)=0$. 

 3.   \[B - Scaling\ ] $ { \mathcal{H}}_{{\overline}g}(c \rho)=c^5{\mathcal{H}}_{{\overline}g}(\rho)$ for all constants $ c$. 

 4.   \[B - ConformalScaling\ ] If $ \theta$ is a strictly positive function then $ { \mathcal{H}}_{\theta^4{\overline}g}(\rho)=\theta^{-8}{\mathcal{H}}_{{\overline }
}(M)$ tjen $w\in C^{k,\alpha}_{\delta^\primt}(M)$ whenever $|\delta^\krume - 1|\lxq \sqrt{1+d}$.

The tenror ${\mathcal{H}}_{{\overline}g}(\rho)$
-----------------------------------------------

Togevher with James Isenberg and Jofn M. Lee, wv introduxed mn [@WAH-Preliminarb] a conformallg invcrmant version of the trace-xree Hessian tvag ns used in [@AHEM-Preliminary] to characeerize yhf shear-free cogditpog; we now recall its definition and basjc proptrties. Let $$A_{{\overlime}g}(\rho) 
= \frac{1}{2} |{d}\rho|_{{\overline}g} \opegatorname{div}_{{\overlije}g}\left[ |{d}\rhi|_{{\ovewoine}g}\operatofname{grad}_{{\onzrline}g}\rho\rjght].$$ We define the tensor field ${\matheal{H}}_{{\overling}y}(\eho)$ ty $$\label{DefmneB}
{\manhcal{H}}_{{\overlinc}b}(\rho)
:=|{d}\rvo|_{{\overlone}g}^6\,\mathcal D_{{\oyerliie}g}(|{d}\eho|^{-2}_{{\overline}g} \operatoriame{grad}_{{\overline}g}\rho)
+ A_{{\overlina}g}(\xho) \left( {d}\rho \otimes {e}\ryo - \ftac{1}{3}|{d}\rvo|^2_{{\ovdelive}g}\, {\otermine}g \gigit),$$ where $\mafhcal D_{{\overoine}g}$ is the conforkaj Killing operztor dqfyned in.

We have the following basic proptrtiea of ${\mathcal{H}}_{{\overline}g}(\ryo)$.

\[B-BasicProperties\]

1.  ${\mwthcal{H}}_{{\ovqrline}g}(\rho)$ is symmetric and trace-free.

2.  \[B-TransversaPropxrgy\] ${\nabhcau{Y}}_{{\ogerline}g}(\rho)(\operatorname{grad}_{{\overline}g}\omega, \cdoe)=0$.

3.  \[N-Sbaling\] ${\mathcal{H}}_{{\ovcrline}g}(c \rho)=c^5{\mathcsl{J}}_{{\ofgrline}g}(\rho)$ for all consfants $c$.

4.  \[B-ConformapScalind\] If $\rheta$ is w sttictly positive function thwn ${\mathcal{H}}_{\tketq^4{\overline}g}(\rho)=\theta^{-8}{\lathcal{H}}_{{\ovexline}
}(M)$ then $w\in C^{k,\alpha}_{\delta^\prime}(M)$ whenever $|\delta^\prime - The ${\mathcal{H}}_{{\overline}g}(\rho)$ ----------------------------------------------- with James Isenberg introduced [@WAH-Preliminary] a conformally version of the Hessian that is used in [@AHEM-Preliminary] characterize the shear-free condition; we now recall its definition and basic properties. Let = \frac{1}{2} |{d}\rho|_{{\overline}g} \operatorname{div}_{{\overline}g}\left[ |{d}\rho|_{{\overline}g}\operatorname{grad}_{{\overline}g}\rho\right].$$ We define the tensor field ${\mathcal{H}}_{{\overline}g}(\rho)$ by $$\label{DefineB} :=|{d}\rho|_{{\overline}g}^6\,\mathcal \operatorname{grad}_{{\overline}g}\rho) A_{{\overline}g}(\rho) {d}\rho \otimes {d}\rho - \frac{1}{3}|{d}\rho|^2_{{\overline}g}\, {\overline}g \right),$$ where $\mathcal D_{{\overline}g}$ is the conformal Killing operator defined We have the following basic properties of ${\mathcal{H}}_{{\overline}g}(\rho)$. 1. ${\mathcal{H}}_{{\overline}g}(\rho)$ is symmetric trace-free. 2. \[B-TransverseProperty\] ${\mathcal{H}}_{{\overline}g}(\rho)(\operatorname{grad}_{{\overline}g}\omega, \cdot)=0$. \[B-Scaling\] \rho)=c^5{\mathcal{H}}_{{\overline}g}(\rho)$ for constants 4. If $\theta$ is strictly positive function then ${\mathcal{H}}_{\theta^4{\overline}g}(\rho)=\theta^{-8}{\mathcal{H}}_{{\overline}
}(M)$ then $w\in C^{k,\alpha}_{\delta^\prime}(m)$ whenever $|\dElta^\pRimE - 1|\leQ \sQrt{1+c}$.

the tEnsor ${\mathcal{H}}_{{\oVErliNe}g}(\rho)$
-----------------------------------------------

Together with JameS IsenBeRG and jOhN M. Lee, We introDUcED In [@WaH-prEliMiNArY] a conForMally inVariant verSioN oF the trace-freE heSsian that iS usEd in [@AHEM-PrelImiNary] to ChAraCTerizE thE sheaR-free cONditioN; we now recAlL Its defINition aND BaSic pRoperties. Let $$A_{{\overLInE}G}(\rho) 
= \frac{1}{2} |{d}\rho|_{{\ovErline}G} \oPErATOrnAme{Div}_{{\overlinE}g}\Left[ |{d}\RHo|_{{\overlINe}G}\OPEraTOrname{grad}_{{\oveRline}g}\rho\riGHt].$$ WE definE tHe tENsor fiEld ${\maThCAl{H}}_{{\Overline}g}(\rhO)$ by $$\lAbel{DefinEB}
{\mathCAl{H}}_{{\overLIne}g}(\rho)
:=|{D}\rho|_{{\ovErlIne}G}^6\,\matHCaL D_{{\OveRlINe}g}(|{D}\RhO|^{-2}_{{\ovERliNe}g} \operaToRnAme{grAd}_{{\ovERLINe}g}\rHo)
+ A_{{\OverLine}g}(\Rho) \left( {d}\rho \otImeS {d}\rhO - \FraC{1}{3}|{d}\rho|^2_{{\OverlIne}g}\, {\OvErlinE}g \righT),$$ wherE $\mAthcal D_{{\overline}G}$ is tHe conformAl KIlLinG oPeratOR definEd iN.

We Have the FollowiNG baSiC PROpErties of ${\mathcal{H}}_{{\ovErLINe}G}(\rho)$.

\[B-BasIcPropERtIeS\]

1.  ${\Mathcal{H}}_{{\OvErlIne}g}(\RHO)$ is syMmetRIc And trace-Free.

2.  \[B-TRAnSvErseProPeRty\] ${\matHcAl{H}}_{{\OveRline}G}(\Rho)(\oPeratoRname{graD}_{{\overLIne}g}\omega, \cdot)=0$.

3.  \[B-sCaling\] ${\mathcal{h}}_{{\OvERLiNE}g}(c \rHo)=c^5{\Mathcal{H}}_{{\oveRlinE}G}(\rho)$ For aLL cOnsTAnts $c$.

4.  \[b-ConfOrMAlsCaling\] If $\theta$ is a strIcTly posItive Function then ${\mAthcal{H}}_{\theTA^4{\OVerline}g}(\Rho)=\tHEtA^{-8}{\Mathcal{H}}_{{\overliNe}
}(M)$ then $w\in C^{k,\alp ha}_{\delt a^\pr ime }(M )$  whe neve r $|\delta^\pr i me -  1|\leq \sqrt{1+c}$.
The t en s or $ { \m athca l{H}}_{ { \o v e rli ne }g }(\ rh o )$ 
---- --- ------- ---------- --- -- ------------ - -- ---

Toget her  with JamesIse nbergan d J o hn M.  Le e, we  intro d uced i n [@WAH-P re l iminar y ] a con f o rm ally  invariant versio n  o f  the trace-fre e Hess ia n  t h a t i s u sed in [@A HE M-Pre l iminary ]  t o c har a cterize the s hear-free c o ndi tion;we  no w  recal l its  d e fin ition and b asic  properti es. Le t  $$A_{{ \ overlin e}g}(\ rho ) = \f r ac {1 }{2 }| {d} \ rh o|_ { {\o verline} g}  \ opera torn a m e { div} _{{ \ove rline }g}\left[ |{d }\r ho|_ { {\o verli ne}g} \ope ra torna me{gra d}_{{ \o verline}g}\rho\ righ t].$$ Wedef in e t he  tens o r fiel d $ {\m athcal{ H}}_{{\ o ver li n e } g} (\rho)$ by $$\labe l{ D e fi neB}
{\m athcal { H} }_ { {\overli ne }g} (\rh o ) 
:=|{ d}\r h o| _{{\over line}g } ^6 \, \mathca lD_{{\o ve rli ne} g}(|{ d }\rh o|^{-2 }_{{\ove rline } g} \operatorna m e{grad}_{{\ov e rl i n e} g }\rh o)+ A_{{\over line } g}(\ rho) \l eft (  {d}\ rho \ ot i me s  {d}\rho - \frac{1} {3 }|{d}\ rho|^ 2_{{\overline }g}\, {\ov e r l ine}g \r ight ) ,$ $  where $\mathc al D_ {{\overlin e }g}$ isthe c onformal  Killingo p erator d efi ned  in .
W e  h ave the follo w i ng b as ic prop ert ies of${\ mat hca l{H }} _{{\overl ine}g}(\ rh o) $. 
\[B -Basi c Properti es \]
1 . ${\ma t hcal{H }}_{{ \ove rl in e }g} (\rho)$ is s ymme tr ic  and  tr ac e-fre e.
2 . \[B-Tra nsversePr ope r ty\]  $ {\ mathcal {H}}_{{\overl in e}g}(\rho) (\ ope ratorn a m e{grad}_ {{\overline}g}\omega, \ c dot)=0$ .
3.  \ [B-S caling\]${\ mathca l{H } }_{{\o verlin e}g}( c\rh o ) =c^5{ \ m at hca l{ H}}_{{\ove r l ine }g}(\ rh o)$for all  constants $c$.

4 .   \ [B-ConformalS cal ing\ ] If  $\ t he t a$is a s t r ictly positivefunction t he n  $ {\mathcal{ H }}_ {\ theta^4 {\overl ine}g } (\rho)= \theta^{- 8}{\mathc al {H}} _ { {\o verline}
}(M)$ then_$w\in C^{k,\alpha}_{\delta^\prime}(M)$_whenever $|\delta^\prime - 1|\leq_\sqrt{1+c}$.

The tensor_${\mathcal{H}}_{{\overline}g}(\rho)$
-----------------------------------------------

Together_with James_Isenberg_and John M. Lee,_we introduced in_[@WAH-Preliminary] a conformally invariant_version of the_trace-free_Hessian that is used in [@AHEM-Preliminary] to characterize the shear-free condition; we now recall_its_definition and_basic_properties._Let $$A_{{\overline}g}(\rho) 
= \frac{1}{2} |{d}\rho|_{{\overline}g}_\operatorname{div}_{{\overline}g}\left[ |{d}\rho|_{{\overline}g}\operatorname{grad}_{{\overline}g}\rho\right].$$ We define the_tensor field_${\mathcal{H}}_{{\overline}g}(\rho)$ by $$\label{DefineB}
{\mathcal{H}}_{{\overline}g}(\rho)
:=|{d}\rho|_{{\overline}g}^6\,\mathcal D_{{\overline}g}(|{d}\rho|^{-2}_{{\overline}g} \operatorname{grad}_{{\overline}g}\rho)
+ A_{{\overline}g}(\rho) \left( {d}\rho_\otimes_{d}\rho - \frac{1}{3}|{d}\rho|^2_{{\overline}g}\,_{\overline}g \right),$$ where $\mathcal D_{{\overline}g}$ is the conformal Killing_operator defined in.

We have the following_basic properties of_${\mathcal{H}}_{{\overline}g}(\rho)$.

\[B-BasicProperties\]

1.__${\mathcal{H}}_{{\overline}g}(\rho)$ is symmetric and_trace-free.

2.  \[B-TransverseProperty\] ${\mathcal{H}}_{{\overline}g}(\rho)(\operatorname{grad}_{{\overline}g}\omega, \cdot)=0$.

3. _\[B-Scaling\] ${\mathcal{H}}_{{\overline}g}(c \rho)=c^5{\mathcal{H}}_{{\overline}g}(\rho)$ for all constants_$c$.

4.  \[B-ConformalScaling\] If $\theta$ is a_strictly positive function then ${\mathcal{H}}_{\theta^4{\overline}g}(\rho)=\theta^{-8}{\mathcal{H}}_{{\overline}