Researcher profile

Randy McCarthy

Randy McCarthy contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AT math.KT

Trust snapshot

Quick read

Trust 17 - Baseline

4works

0followers

2topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

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.

preprint2014arXiv

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.

preprint2010arXiv

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.

preprint2009arXiv

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.