arXiv subjects

Sarah Whitehouse

Publications and source records attributed to Sarah Whitehouse.

At least 19 recordsLinked to original sources

arXiv2026

Homotopy theories via the magnitude-path spectral sequence

We introduce a family of homotopy theories for generalized metric spaces with natural number distances, via the magnitude-path spectral sequence (MPSS). The first page of the MPSS is known as magnitude homology; the second page is known as bigraded path homology, and contains GLMY path homology as its top row. For each natural number r, we define a class of maps of metric spaces called r-quasi-isomorphisms: those maps that induce a quasi-isomorphism at page r of the MPSS. We show that every page of the spectral sequence satisfies a suitable metric analogue of each of the Eilenberg-Steenrod axioms. In particular, we introduce the notion of r-cofibration and prove a Mayer-Vietoris theorem for page r with respect to r-cofibrations. We establish a family of Brown category structures on generalized metric spaces which allow us to explicitly compute homotopy colimits. We apply this to describe r-suspension and r-spheres of dimension n, and compute their spectral sequences. Finally we prove that for r = 1 the entire theory restricts to directed graphs.

math.AT↗

arXiv2025

Model category structures on truncated multicomplexes for complex geometry

To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the category of $N$-multicomplexes where the weak equivalences are the morphisms inducing a quasi-isomorphism at a fixed page $r$ of the first spectral sequence and at a fixed page $s$ of the second spectral sequence. Such weak equivalences arise naturally in complex geometry. In particular, the model structures presented here establish a basis for studying homotopy types of almost and generalized complex manifolds.

math.AT↗

arXiv2024

Spectral sequences via linear presheaves

We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that this is bicomplete by analysis of a certain linear presheaf category modelled on discs. We endow the category of extended spectral sequences with various model category structures, restricting to give the almost Brown category structures on spectral sequences of our earlier work. One of these has the property that spectral sequences is a homotopically full subcategory. By results of Meier, this exhibits the category of spectral sequences as a fibrant object in the Barwick-Kan model structure on relative categories, that is, it gives a model for an infinity category of spectral sequences. We also use the presheaf approach to define two d\'ecalage functors on spectral sequences, left and right adjoint to a shift functor, thereby clarifying prior use of the term d\'ecalage in connection with spectral sequences.

math.AT↗

arXiv2024

Steenrod operations on polyhedral products

We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension in which non-trivial Steenrod operations can appear. We present a version of cochain-level formulas for Steenrod operations on simplicial complexes. We explain the idea of "propagating" such formulas from a simplicial complex $K$ to polyhedral joins over $K$ and we give examples of this process. We tie the propagation of the Steenrod algebra actions on polyhedral joins to those on moment-angle complexes. Although these are cases where one can understand the Steenrod action via a stable homotopy decomposition, we anticipate applying this method to cases where there is no such decomposition.

math.AT↗

arXiv2022

Homotopy theory of spectral sequences

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page. We show that this admits a structure close to that of a category of fibrant objects in the sense of Brown and in particular the structure of a partial Brown category with fibrant objects. We use this to compare with related structures on the categories of multicomplexes and filtered complexes.

math.AT↗

arXiv2020

Model category structures on multicomplexes

We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral sequence. Corresponding model structures are given for truncated versions of multicomplexes, interpolating between bicomplexes and multicomplexes. For a fixed stage of the spectral sequence, the model structures on all these categories are shown to be Quillen equivalent.

math.AT↗

arXiv2020

The plethory of operations in complex topological K-theory

We provide a concrete introduction to the topologised, graded analogue of an algebraic structure known as a plethory, originally due to Tall and Wraith. Stacey and Whitehouse showed this structure is present on the cohomology operations for a suitable generalised cohomology theory. We compute an explicit expression for the plethory of operations for complex topological K-theory. This is formulated in terms of a plethory enhanced with structure corresponding to the looping of operations. In this context we show that the familiar lambda operations generate all the operations.

math.KT↗

arXiv2018

On the spectral sequence associated to a multicomplex

A multicomplex, also known as a twisted chain complex, has an associated spectral sequence via a filtration of its total complex. We give explicit formulas for all the differentials in this spectral sequence.

math.AT↗

arXiv2018

Model category structures and spectral sequences

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a quasi-isomorphism at a certain fixed stage of the associated spectral sequence. For filtered complexes, we relate the different model structures obtained, when we vary the stage of the spectral sequence, using the functors shift and d\'ecalage.

math.AT↗

arXiv2016

Derived A-infinity algebras and their homotopies

The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of the homotopy theory of these algebras, by introducing a hierarchy of notions of homotopy between the morphisms of such algebras. We define r-homotopy, for non-negative integers r, in such a way that r-homotopy equivalences underlie E_r-quasi-isomorphisms, defined via an associated spectral sequence. We study the special case of twisted complexes (also known as multicomplexes) first since it is of independent interest and this simpler case clearly exemplifies the structure we study. We also give two new interpretations of derived A-infinity algebras as A-infinity algebras in twisted complexes and as A-infinity algebras in split filtered cochain complexes.

math.AT↗

arXiv2014

Representations of derived A-infinity algebras

The notion of a derived A-infinity algebra arose in the work of Sagave as a natural generalisation of the classical A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We develop some of the basic operadic theory of derived A-infinity algebras, building on work of Livernet-Roitzheim-Whitehouse. In particular, we study the coalgebras over the Koszul dual cooperad of the operad dAs, and provide a simple description of these. We study representations of derived A-infinity algebras and explain how these are a two-sided version of Sagave's modules over derived A-infinity algebras. We also give a new explicit example of a derived A-infinity algebra.

math.AT↗

arXiv2012

Upper triangular matrices and operations in odd primary connective K-theory

We prove analogues for odd primes of results of Snaith and Barker-Snaith. Let l denote the p-complete connective Adams summand and consider the group of left l-module automorphisms of l smash l in the stable homotopy category which induce the identity on mod p homology. We prove a group isomorphism between this group and a certain group of infinite invertible upper triangular matrices with entries in the p-adic integers. We determine information about the matrix corresponding to the automorphism 1 smash Psi^q, where Psi^q is the Adams operation and q is an integer which generates the p-adic units.

math.AT↗

arXiv2012

Central cohomology operations and K-theory

For stable degree zero operations, and also for additive unstable operations of bidegree (0,0), it is known that the centre of the ring of operations for complex cobordism is isomorphic to the corresponding ring of connective complex K-theory operations. Similarly, the centre of the ring of BP operations is the corresponding ring for the Adams summand of p-local connective complex K-theory. Here we show that, in the additive unstable context, this result holds with BP replaced by BP for any n. Thus, for all chromatic heights, the only central operations are those coming from K-theory.

math.AT↗

arXiv2011

Derived A-infinity algebras in an operadic context

Derived A-infinity algebras were developed recently by Sagave. Their advantage over classical A-infinity algebras is that no projectivity assumptions are needed to study minimal models of differential graded algebras. We explain how derived A-infinity algebras can be viewed as algebras over an operad. More specifically, we describe how this operad arises as a resolution of the operad dAs encoding bidgas. This generalises the established result describing the operad A-infinity as a resolution of the operad As encoding associative algebras. We further show Sagave's definition of morphisms agrees with the infinity-morphisms of dA-infinity algebras arising from operadic machinery. We also study the operadic homology of derived A-infinity algebras.

math.AT↗

arXiv2011

Tall-Wraith Monoids

Tall-Wraith monoids were introduced in MR2559638 ("The hunting of the Hopf ring") to describe the algebraic structure on the set of unstable operations of a suitable generalised cohomology theory. In this paper we begin the study of Tall-Wraith monoids in an algebraic and categorical setting. We show that for V a variety of algebras, applying the free V-algebra functor to a monoid in Set produces a Tall-Wraith monoid. We also study the example of the Tall-Wraith monoid defined by the self set-maps of a finite ring, an example closely related to the original motivation for Tall-Wraith monoids.

math.AT↗

arXiv2010

Discrete module categories and operations in K-theory

We study the categories of discrete modules for topological rings arising as the rings of operations in various kinds of topological K-theory. We prove that for these rings the discrete modules coincide with those modules which are locally finitely generated over the ground ring.

math.AT↗

arXiv2009

Uniqueness of $A_\infty$-structures and Hochschild cohomology

This paper investigates if a differential graded algebra can have more than one $A_\infty$-structure extending the given differential graded algebra structure. We give a sufficient condition for uniqueness of such an $A_\infty$-structure up to quasi-isomorphism using Hochschild cohomology. We then extend this condition to Sagave's notion of derived $A_\infty$-algebras after introducing a notion of Hochschild cohomology that applies to this.

math.AT↗

arXiv2008

Infinite sums of additive unstable Adams operations and cobordism

The elements of the ring of bidegree (0,0) additive unstable operations in complex K-theory can be described explicitly as certain infinite sums of Adams operations. Here we show how to make sense of the same expressions for complex cobordism MU, thus identifying the "Adams subring" of the corresponding ring of cobordism operations. We prove that the Adams subring is the centre of the ring of bidegree (0,0) additive unstable cobordism operations. For an odd prime p, the analogous result in the p-local split setting is also proved.

math.AT↗