Tangent structures for divided power algebras

Abstract

We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of K\"ahler differentials, and which is similar to the Zariski cotangent space for affine schemes. We study vector fields and differential bundles for these two structures, which correspond respectively to a notion of special derivation, and to the category of modules over the underlying commutative algebra of a given divided power algebra.