Searcharxiv⌕ Search

arXiv subjects

Randy McCarthy

Publications and source records attributed to Randy McCarthy.

6 recordsLinked to original sources
arXiv2016

Combinatorial models for Taylor polynomials of functors

Goodwillie's calculus of homotopy functors associates a tower of polynomial approximations, the Taylor tower, to a functor of topological spaces over a fixed space. We define a new tower, the varying center tower, for functors of categories with a fixed initial object, such as algebras under a fixed ring spectrum. We construct this new tower using elements of the Taylor tower constructions of Bauer, Johnson, and McCarthy for functors of simplicial model categories, and show how the varying center tower differs from Taylor towers in terms of the properties of its individual terms and convergence behaviour. We prove that there is a combinatorial model for the varying center tower given as a pro-equivalence between the varying center tower and towers of cosimplicial objects; this generalizes Eldred's cosimplicial models for finite stages of Taylor towers. As an application, we present models for the de Rham complex of rational commutative ring spectra due to Rezk on the one hand, and Goodwillie and Waldhausen on the other, and use our result to conclude that these two models will be equivalent when extended to $E_{\infty}$-ring spectra.

math.AT↗
arXiv2014

Cross effects and calculus in an unbased setting

We study functors F from C_f to D where C and D are simplicial model categories and C_f is the full subcategory of C consisting of objects that factor a fixed morphism f from A to B. We define the analogs of Eilenberg and Mac Lane's cross effects functors in this context, and identify explicit adjoint pairs of functors whose associated cotriples are the diagonals of the cross effects. With this, we generalize the cotriple Taylor tower construction of [10] from the setting of functors from pointed categories to abelian categories to that of functors from C_f to D to produce a tower of functors whose n-th term is a degree n functor. We compare this tower to Goodwillie's tower of n-excisive approximations to F found in [8]. When D is a good category of spectra, and F is a functor that commutes with realizations, the towers agree. More generally, for functors that do not commute with realizations, we show that the terms of the towers agree when evaluated at the initial object of C_f.

math.AT↗
arXiv2010

On the algebraic K-theory of formal power series

Let R be a discrete unital ring, and let M be an R-bimodule. We extend Waldhausen's equivalence from the suspension of the Nil K-theory of R with coefficients in M to the K theory of the tensor algebra T_R(M), and get a map from the suspension of the K-theory of parametrized endomorphism of R with coefficients in M to the K-theory of the ring of formal power series in M over R. This map induces an equivalence on the finite stages in the Goodwillie Taylor tower of the functors. When M is connected, this map is an equivalence. For general M, we use the map to show that the suspension of the the invariant W(R;M), which is what the Goodwillie Taylor tower of the K-theory of paramatrized endomorphisms converges to, is the inverse limit of the K-theory of finite truncations of T_R(M), quotiented out by increasing powers of the augmentation ideal. This map also gives us the values that the Goodwillie Taylor tower of K-theory, as a functor of augmented R-algebras, takes on augmented R-algebras which are tensor algebras on a connected R-bimodule.

math.KT↗
arXiv2009

On the Taylor Tower of Relative K-theory

For a functor with smash product F and an F-bimodule P, we construct an invariant W(F;P) which is an analog of TR(F) with coefficients. We study the structure of this invariant and its finite-stage approximations W_n(F;P), and conclude that for F the FSP associated to a ring R and P the FSP associated to the simplicial R-bimodule M[X] (with M a simplicial R-bimodule, X a simplicial set), the functor sending X to W_n(R;M[X]) is the nth stage of the Goodwillie calculus Taylor tower of the functor which sends X to the reduced K-theory spectrum of R with coefficients in M[X]. Thus the functor sending X to W(R;M[X]) is the full Taylor tower, which converges to the reduced K-theory of R with coefficients in M[X] for connected X. We show the equivalence between relative K-theory of R with coefficients in M[-] and W(R;M[-]) using Goodwillie calculus: we construct a natural transformation between the two functors, both of which are 0-analytic, and show that this natural transformation induces an equivalence on the derivatives at any connected X.

math.AT↗
arXiv2004

On Triples, Operads, and Generalized Homogeneous Functors

We study the splitting of the Goodwillie towers of functors in various settings. In particular, we produce splitting criteria for functors $F: \A \to M_A$ from a pointed category with coproducts to $A$-modules in terms of differentials of $F$. Here $A$ is a commutative $S$-algebra. We specialize to the case when $\A$ is the category of $\a$-algebras for an operad $\a$ and $F$ is the forgetful functor, and derive milder splitting conditions in terms of the derivative of $F$. In addition, we describe how triples induce operads, and prove that, roughly speaking, a triple $T$ is naturally equivalent to the product of its Goodwillie layers if and only if it is an algebra over its induced operad.

math.AT↗