UNITARY FUNCTOR CALCULUS WITH REALITY

We construct a calculus of functors in the spirit of orthogonal calculus, which is designed to study ‘functors with reality’ such as the Real classifying space functor, $\BU_\Bbb{R}(-)$ . The calculus produces a Taylor tower, the n-th layer of which is classified by a spectrum with an action of $C_2 \ltimes \U(n)$ . We further give model categorical considerations, producing a zigzag of Quillen equivalences between spectra with an action of $C_2 \ltimes \U(n)$ and a model structure on the category of input functors which captures the homotopy theory of the n-th layer of the Taylor tower.

On the algebraic K-theory of formal power series

In this paper we extend the computation of the the typical curves of algebraic K-theory done by Lars Hesselholt and Ib Madsen to general tensor algebras. The models used allow us to determine the stages of the Taylor tower of algebraic K-theory as a functor of augmented algebras, as defined by Tom Goodwillie, when evaluated on derived tensor algebras.For R a discrete ring, and M a simplicial R-bimodule, we let R(M) denote the (derived) tensor algebra of M over R, and πR denote the ring of formal (derived) power series in M over R. We define a natural transformation of functors of simplicial R-bimodules Φ: which is closely related to Waldhausen's equivalence We show that Φ induces an equivalence on any finite stage of Goodwillie's Taylor towers of the functors at any simplicial bimodule. This is used to show that there is an equivalence of functors , and for connected bimodules, also an equivalence