arXiv Science⌕ Search

arXiv subjects

Maria Basterra

Publications and source records attributed to Maria Basterra.

7 recordsLinked to original sources
arXiv2016

Infinite loop spaces from operads with homological stability

Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space operads in the sense that the group completions of their algebras are infinite loop spaces. The recent, strong homological stability results of Galatius and Randal-Williams for moduli spaces of even dimensional manifolds can be used to construct examples of operads with homological stability. As a consequence the map to $K$-theory defined by the action of the diffeomorphisms on the middle dimensional homology can be shown to be a map of infinite loop spaces.

math.AT↗
arXiv2016

Inverting operations in operads

We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which takes elements in W to homotopy invertible operations. Furthermore, we give a functor from the category of O-algebras to the category of LO-algebras satisfying an appropriate universal property.

math.CT↗
arXiv2014

Unbased calculus for functors to chain complexes

Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylor tower for functors to spectra carries over to this context. However, one of the essential steps in the construction requires proving that a particular functor is part of a cotriple. For this, one needs to prove that certain identities involving homotopy limits hold up to isomorphism, rather than just up to weak equivalence. As the target category of chain complexes is not a simplicial model category, the arguments for functors to spectra need to be adjusted for chain complexes. In this paper, we take advantage of the fact that we can construct an explicit model for iterated fibers, and prove that the functor is a cotriple directly. We use related ideas to provide concrete infinite deloopings of the first terms in the resulting Taylor towers when evaluated at the initial object in the source category.

math.AT↗
arXiv2010

Homology of E_n Ring Spectra and Iterated THH

We describe an iterable construction of THH for an E_n ring spectrum. The reduced version is an iterable bar construction and its n-th iterate gives a model for the shifted cotangent complex at the augmentation, representing reduced topological Quillen homology of an augmented E_n algebra.

math.AT↗
arXiv2004

Homology and Cohomology of E-infinity Ring Spectra

Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads.

math.AT↗
arXiv2001

The Witten genus and equivariant elliptic cohomology

We construct a Thom class in complex equivariant elliptic cohomology extending the equivariant Witten genus. This gives a new proof of the rigidity of the Witten genus, which exhibits a close relationship to recent work on non-equivariant orientations of elliptic spectra.

math.AT↗