Canonical differential calculi via functorial geometrization

TL;DR

This paper develops a functorial framework for differential calculi in monoidal categories, generalizing classical concepts like de Rham complexes and Kähler differentials to a broad categorical setting.

Contribution

It introduces conditions under which categories admit a canonical functor to differential calculi, extending noncommutative geometry to internal monoids in monoidal additive categories.

Findings

Established a canonical functor from categories to differential calculi.

Unified classical differential structures within a categorical framework.

Provided comparison maps between de Rham functors in different settings.

Abstract

Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$ such that $\mathcal{E}$ admits a canonical functor to the category of first order differential calculi in $\mathcal{V}$. Generalizing the procedure of extending a first order differential calculus to its maximal prolongation to this setting, we obtain a canonical functor from $\mathcal{E}$ to the category of differential calculi in $\mathcal{V}$. This yields a simultaneous generalization of the de Rham complex on $C^{\infty}$-rings, the K\"{a}hler differentials on commutative algebras, and the universal differential calculus on associative algebras. As a consequence, such categories $\mathcal{E}$ admit natural analogues of the notions of smooth map and diffeomorphism, as well as a functorial de Rham theory. Moreover, whenever two such faithful isofibrations to $\operatorname{Mon}(\mathcal{V})$ factor suitably, their corresponding de Rham functors are related via a comparison map. Developing this theory requires first extending the noncommutative geometry formalism of differential calculi from associative algebras to the setting of monoids internal to monoidal additive categories.