{"id":"arxiv/2609.05963","url":"https://arxiv.org/abs/2609.05963","tags":["math.CT","math.DG"],"score":0,"title":"Cartan calculus of cubical forms in tangent categories","domain":"math.CT","source":"arxiv","authors":["Christian Blohmann"],"reviews":0,"subject":"math.CT","summary":"We construct the Cartan calculus of differential cubical forms on an object $X$ of a cartesian tangent category with a scalar multiplication by a commutative ring object $R$. We prove that the differential cubical forms are naturally equipped with the structure of a commutative differential graded algebra. Then we show that, if $R$ has no $2$-torsion, this CDGA together with the Lie algebra of vector fields and the inner derivatives constitutes a Cartan calculus, which lies between the initial Cartan calculus of algebraic Kaehler forms and the terminal one of Lie-Rinehart forms. We give a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-05","reactions":{}}