Cartan calculus of cubical forms in tangent categories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.05963
curl -X POST /api/v1/records/arxiv/2609.05963/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.05963/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'