The differential bundles of the geometric tangent category of an operad (Q6607370)

Tangent categories were first introduced in [\textit{J. Rosický}, Diagrammes 12, JR 1--JR 11 (1984; Zbl 0561.18008)], being revisited and generalized in [\textit{J. R. B. Cockett} and \textit{G. S. H. Cruttwell}, Appl. Categ. Struct. 22, No. 2, 331--417 (2014; Zbl 1304.18031)]. \textit{G. S. H. Cruttwell} and \textit{J.-S. Pacaud Lemay} [Theory Appl. Categ. 39, 1077--1120 (2023; Zbl 1535.18021)] showed that the category of differential bundles and linear morphisms over an affine scheme \(A\) is equivalent to the opposite of the category of modules over \(A\). It is shown in [\textit{S. Ikonicoff} et al., ``The Rosický tangent categories of algebras over an operad'', Preprint, \url{arXiv:2303.05434}] that the category of algebras \textsf{Alg}\(_{\mathcal{P}}\) of a (symmetric) operad \(\mathcal{P}\) over the category of \(R\)-modules for a commutative and unital ring \(R\) comes equipped with a tangent structure.\N\NThis paper aims to investigate the intimate relationship between operads and their corresponding geometric tangent categories. One of the mains results is the complete classification of differential bundles over operadic affine schemes. It is shown that the category of differential bundles and linear morphisms over an operadic affine scheme is equivalent to the opposite of the category of modules of the affine scheme.\N\NThe author first shows that the geometric tangent category of the enveloping operad over a \(\mathcal{P}\)-algebra \(A\) is equivalent to the slice tangent category over \(A\) of the geometric tangent category of \(\mathcal{P}\), from which the classification of differential bundles follows directly.