The Hochschild-Kostant-Rosenberg theorem, which relates the Hochschild homology of an algebra to its modules of differential $n$-forms, can be considered a benchmark for smoothness of an algebra. This notion is used here in the search for a conception of smoothness formulated in the context of codifferential categories, both commutative and noncommutative. Since it is desirable to adapt such a conception to the noncommutative context, the theory of this domain is developed considerably; a significant result in this direction establishes a connection between noncommutative codifferential categories and commutative ones.
This investigation necessitates, then, both the formulation of a notion of smoothness for $T$-algebras in codifferential categories and an adaptation of the Hochschild-Kostant-Rosenberg theorem to a wide variety of contexts which includes noncommutative ones. The former consideration fosters both the notion of a smooth monad, and a formulation of Andr\'e-Quillen homology in codifferential categories; the latter engenders a highly adaptable version of the Hochschild-Kostant-Rosenberg theorem. Specifically, it is shown that for any algebra modality there exists a corresponding Hochschild-Kostant-Rosenberg theorem. This includes a version of the theorem for the free associative algebra monad, the conclusion of which is satisfied by noncommutative smooth algebras.
Identifer | oai:union.ndltd.org:uottawa.ca/oai:ruor.uottawa.ca:10393/36703 |
Date | January 2017 |
Creators | O'Neill, Keith |
Contributors | Blute, Richard |
Publisher | Université d'Ottawa / University of Ottawa |
Source Sets | Université d’Ottawa |
Language | English |
Detected Language | English |
Type | Thesis |
Page generated in 0.0021 seconds