Tangent structures for divided power algebras
DOI:
https://doi.org/10.17398/Keywords:
Divided power algebras, Tangent categories, Khäler differentialsAbstract
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 Khäler 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.
Downloads
References
[1] A. Baker, Differential equations in divided power algebras, Glasgow University Mathematics Department preprint 95/19.
[2] P. Berthelot, “Cohomologie cristalline des schémas de caractéristique p > 0”, Lecture Notes in Math., Vol. 407, Springer-Verlag, Berlin-New York, 1974.
[3] H. Cartan, Puissances divisées, Séminaire Henri Cartan, Algèbre d’Eilenberg-Maclane et homotopie 7 (1) (1954-1955), Talk no. 7, 11 pp.
[4] H. Cartan, Relations entre les opérations précédentes et les opérations de Bockstein; algèbre universelle d’un module libre gradué, Séminaire Henri Cartan, Algèbre d’Eilenberg-Maclane et homotopie 7 (1) (1954-1955), Talk no. 8, 9 pp.
[5] J.R.B. Cockett, G.S.H. Cruttwell, Differential structure, tangent structure, and SDG, Appl. Categ. Structures 22 (2) (2014), 331 – 417.
[6] J.R.B. Cockett, G.S.H. Cruttwell, The Jacobi identity for tangent categories, Cah. Topol. Géom. Différ. Catég. 56 (2015), 301 – 316.
[7] J.R.B. Cockett, G.S.H. Cruttwell, J.-S.P. Lemay, Differential equations in a tangent category I: Complete vector fields, flows, and exponentials, Appl. Categ. Structures 29 (2021), 773 – 825.
[8] G.S.H. Cruttwell, R.B.B. Lucyshyn-Wright, A simplicial foundation for differential and sector forms in tangent categories, J. Homotopy Relat. Struct. 13 (2018), 867 – 925.
[9] G.S.H. Cruttwell, J.-S.P. Lemay, Differential bundles in commutative algebra and algebraic geometry, Theory Appl. Categ. 39 (2023), Paper No. 36, 1077 – 1120.
[10] I. Dokas, Quillen-Barr-Beck (co-)homology for restricted Lie algebras, J. Pure Appl. Algebra 186 (1) (2004), 33 – 42.
[11] I. Dokas, Triple cohomology and divided power algebras in prime characteristic, J. Aust. Math. Soc. 87 (2) (2009), 161 – 173.
[12] I. Dokas, On Kähler differentials of divided power algebras, J. Homotopy Relat. Struct. 18 (2-3) (2023), 153 – 176.
[13] I. Dokas, M. Frankland, S. Ikonicoff, Quillen (co)homology of divided power algebras over an operad, preprint, 2025.
[14] T.F. Fox, An introduction to algebraic deformation theory, J. Pure Appl. Algebra 84 (1) (1993), 17 – 41.
[15] R. Garner, An embedding theorem for tangent categories, Adv. Math. 323 (2018), 668 – 687.
[16] A. Grothendieck, Éléments de géométrie algébrique IV: étude locale des schémas et des morphismes de schémas, troisième partie, Inst. Hautes Études Sci. Publ. Math. 28 (1966), 5 – 255.
[17] S. Ikonicoff, J.-S.P. Lemay, Cartesian differential comonads and new models of cartesian differential categories, preprint, 2021.
[18] S. Ikonicoff, J.-S. P. Lemay, Cartesian differential comonads and new models of cartesian differential categories, Cah. Topol. Géom. Différ. Catég. 64 (2) (2023), 198 – 239.
[19] S. Ikonicoff, M. Lanfranchi, J.-S.P. Lemay, The Rosický tangent categories of algebras over an operad, High. Struct. 8 (2) (2024), 332 – 385.
[20] W.F. Keigher, F.L. Pritchard, Hurwitz series as formal functions, J. Pure Appl. Algebra 146 (3) (2000), 291 – 304.
[21] B. MacAdam, Vector bundles and differential bundles in the category of smooth manifolds, Appl. Categ. Structures 29 (2) (2021), 285 – 310.
[22] N. Roby, Lois polynomes et lois formelles en théorie des modules, Ann. Sci. École Norm. Sup. (3) 80 (1963), 213 – 348.
[23] N. Roby, Les algèbres à puissances divisées, Bull. Sci. Math. (2) 89 (1965), 75 – 91.
[24] J. Rosický, Abstract tangent functors, Diagrammes 12 (1984), JR1 – JR11.
[25] J.-P. Soublin, Puissances divisées en caractéristique non nulle, J. Algebra 110 (2) (1987), 523 – 529.
Downloads
Published
Issue
Section
License
Copyright (c) 2026 The author
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
