{"id":"arxiv/2609.07750","url":"https://arxiv.org/abs/2609.07750","tags":["math-ph"],"score":0,"title":"Classification of Conformally Covariant 2-Tensors from the Kulkarni--Nomizu Product in Dimension 4","domain":"math-ph","source":"arxiv","authors":["Yury N. Berdinsky"],"reviews":0,"subject":"math-ph","summary":"We classify all natural, conformally covariant, symmetric (0,2)-tensors of conformal weight -2 and differential order less than or equal to 4 in dimension 4, built from the metric, the Schouten tensor, covariant derivatives, and the Kulkarni-Nomizu product. We prove that the space of such tensors is exactly 2-dimensional, spanned by the Bach tensor (order 2) and the Eastwood-Singer tensor (order 4). The algebraic core is formally verified using Lean 4 with Mathlib. The 8x11 constraint matrix and divergence-free condition are verified computationally with exact rational arithmetic. Both…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}