Function T-Algebras on ∞-Stacks
Posted by Urs Schreiber
Over the course of this year, Herman Stel has been working on a master thesis and I have been advising him. Yesterday was the defense. See
- Herman Stel, -Stacks and their Function Algebras
Abstract For any abelian Lawvere theory, we establish a Quillen adjunction between model category structures on cosimplicial -algebras and on simplicial presheaves over duals of -algebras, whose left adjoint forms algebras of functions with values in the canonical -line object. We find mild general conditions under which this descends to the local model structure that models -stacks over duals of -algebras.
For the theory of associative algebras this reproduces the situation in Toën’s Champs affine . We consider the case where is the theory of smooth algebras: the case of synthetic differential geometry. In particular, we work towards a definition of smooth -vector bundles with flat connection. To that end we analyse the tangent category of the category of smooth algebras and Kock’s simplicial model for synthetic combinatorial differential forms which may be understood as an -categorification of Grothendieck’s de Rham space functor.
Posted at September 1, 2010 7:18 PM UTC