Differential Obstructions to Curvature-Dependent Conformal Transformations

Curvature-dependent conformal rules are local forward assignments on known metrics, but they are not generically local changes of metric variables. We study the nondegenerate class $\widetilde g_{\mu\nu}=F(R[g])g_{\mu\nu}$, with $F>0$ and $F_R\neq0$. Introducing an independent auxiliary scalar localizes the forward map, while recovering the original metric requires a differential constraint. The complete inverse metric tangent map contains the nonpolynomial projector $\xi^\mu\xi^\nu/\xi^2$; hence no differentiable finite-jet inverse, i.e., a formula involving only finitely many derivatives at the same point, exists on an open set of unrestricted metrics. Branchwise functional inverses may nevertheless exist after boundary or Cauchy data are specified. Metric $f(R)$ gravity gives an explicit realization: its local Einstein-frame scalar--tensor representation is a parent theory, whereas a metric-only Einstein-side description requires a differential section governed by a normal operator. We derive the pulled-back classical Hessian and its off-shell embedding term, and in the quadratic model show how constrained Gaussian elimination produces the scalaron nonlocal kernel, the corresponding normal determinant for the displayed measure, and the zero-mode compatibility condition. Exact parent and metric solutions remain equivalent; the obstruction concerns locality and the off-shell variational and fluctuation domains. These results provide a precise framework for assessing curvature-dependent frame transformations in modified gravity and clarify their implications for effective actions, semiclassical analyses, and quantum frame equivalence.