Bundle-valued conjugate-linear Hodge star
ID: bundle-valued-conjugate-linear-hodge-star
For inner products linear in the first argument, define by contraction in . It is conjugate-linear and takes -forms with values in to -forms with values in . With induced dual metrics, .
New to topics? Read the docs here!