The Bimetric generalization of Kastler--Kalau--Walze Type Theorems
Let $M^n$ be a closed oriented manifold of even dimension $n=2m\ge2$, equipped with a smooth metric $g_1$ and a Riemannian metric $g_2$. We compute the Wodzicki residue of $D_{g_1}^2D_{g_2}^{-n}$ on the common exterior bundle, where $D_{g_r}=d+\delta_{g_r}$. This is the noncommutative integral of $D_{g_1}^2$ relative to the reference operator $D_{g_2}$. Its local density involves the curvatures of the two metrics and the difference of their Levi--Civita connections. Integration by parts gives a closed-manifold formula without explicit derivatives of the connection difference. For compact manifolds with boundary and $n\ge4$, we assume that both metrics are Riemannian and satisfy $g_r=h_r(x_n)^{-1}g^{\partial M}+dx_n^2$ near the boundary, with $h_r(0)=1$. We compute the noncommutative residues of two factorizations involving even and odd powers of $D_{g_2}$. Their interior contributions coincide, whereas their boundary terms are explicit multiples of the integral of $K_{g_1}-K_{g_2}$, with the coefficient for the even factorization twice that for the odd one. Here $K_{g_r}$ is the trace of the second fundamental form with respect to the inward unit normal. The calculation uses a second-order residue formula and direct boundary symbol expansions. When the metrics coincide, the formulas reduce to the Hodge--de Rham Kastler--Kalau--Walze identity.