Response Geometry for Einstein metrics

Abstract

We develop a response geometry for smooth parameterized families of Einstein metrics equipped with canonical probe data. The differential of the probe observations defines a response bundle morphism; pulling back a fixed metric on the observation bundle gives a positive-semidefinite response tensor whose kernel is exactly the space of first-order invisible parameter directions. On the complete-response locus this tensor is Riemannian and yields local rigidity and quantitative reconstruction estimates whenever the response is locally realized by an observation map. We study rank-defect loci, the associated quotient geometry, Gram and conditioning operators, response volume, and covariant variation formulas for simple response eigenvalues. Under an explicit realizability hypothesis we also show that a single scalar observation can be chosen to detect every direction of a finite-dimensional parameter space. These constructions are applied to the harmonic-probe package arising from the Einstein Detection Principle. A finite-dimensional interval-matrix example illustrates the quantitative formulas, while marked unit-volume flat two-tori provide a fully explicit model: three harmonic-energy observations reconstruct the marked metric globally, the induced response metric admits an explicit positively curved hyperboloid realization, and its conditioning deteriorates toward the cusp.