Regge metrics with enhanced trace

We introduce variants of Regge finite element metrics with enhanced properties of the trace. In particular the trace operator is surjective to a finite element space of continuous functions. Multiplying these scalar functions by the identity tensor brings one back to the finite element space of metrics. The metrics can be based on high order polynomials and be constructed on refinements, such as the Clough-Tocher or Worsey-Farin splits. Potential applications to general relativity, incompressible elasticity and conformal geometry are sketched.