We construct a spectral sequences for operad algebras, and identify the hypotheses needed to guarantee that if the E2 page of a spectral sequence consists of algebras over the operad P, then the spectral sequence converges as an algebra over the operad P. I will include several examples.
This is joint work with Laura Scull (UBC).
The notion of a homotopy fiber product of model categories has proved to be a useful one, notably in Toen's development of derived Hall algebras associated to certain stable model categories. Using a functor assigning to any model category a complete Segal space, we can reformulate the construction of such homotopy fiber products in a setting where homotopy limits are well-defined. We can then show that their name is justified, in that their images under this functor agree with the appropriate homotopy pullbacks. Thus, it should be possible to generalize results such as Toen's by working with homotopy pullbacks of complete Segal spaces in place of homotopy fiber products of model categories.
Groups with periodic cohomology play an important role in both topology and representation theory. For instance, a classical result in topology due to Swan (1960) states that the cohomology of BG is periodic if and only if G acts freely on a finite CW complex with the homotopy type of a sphere. In this talk I will present a new perspective on these groups using Tate cohomology and projective classes. I will show that groups G with period group cohomology are characterised by the property that for all finite-dimensional G-representations M, the Tate cohomology [^(H)]*(G,M) is finitely generated over [^(H)]*(G,k). Some related results on the finite generation of Tate cohomology will also be discussed if time permits.
This is joint work with Jon Carlson and and Jan Minac.
Let F be a field that has a primitive p-th root zp of unity.
The Bloch-Kato conjecture which has been recently proved by Voevodsky and Rost claims that the map
Let G be a finite group and let k be a field whose characteristic p divides the order of G. Freyd's generating hypothesis for the stable module category of G is the statement that a map between finite-dimensional kG-modules in the thick subcategory generated by k factors through a projective if the induced map on Tate cohomology is trivial. I will give an overview of joint work with Sunil Chebolu and Ján Minác in which we show that for groups with periodic cohomology, the generating hypothesis holds if and only if the Sylow p-subgroup of G is C2 or C3.
I will discuss recent/future advances in string topology possibly including higher operations, relative version and homotopy invariance.
How can we detect if an equivariant manifold is an equivariant boundary? Depending on the group G acting, turning the geometry of this problem into calculable homotopy, might not be as easy as in the non-equivariant case (if possible at all). However, as a direct consequence of this, one gets that the equivariant bordism rings posses a much richer structure than their classical counterparts. In this talk I will discuss some of the methods that we have at our disposal for answering the above question, as well as some of the geometric ideas that stem from this problem. I would also like to present a few applications.
This talk will be a progress report on a project to understand the motivic version of the Adams spectral sequence. I'll outline the project, and I'll discuss some concrete preliminary computations.
I will describe a presheaf P of simplicial groupoids on the scheme category, for which the automorphism groups consist of the classical parabolic groups. An argument involving cocycle category methods shows that the levelwise Zariski stack completion for P is the groupoid of isomorphisms in the Waldhausen S·-construction for vector bundles. The "parabolic groupoid" P therefore determines a geometric model for the presheaf of algebraic K-theory spaces K1.
There has been interest recently in extending Goodwillie's calculus of homotopy functors to an unbased setting. We will look at the algebraic (or discrete) version of this problem and discuss how A. Mauer-Oats' algebraic version of the Goodwillie tower can be reworked to fit an unbased setting.
An Abel formal group law is a power series of the form
These results are joint work with Francis Clarke.
Waldhausen's ringspectrum A(*) is an augmented S-algebra, and (at least, over the rationals) the derived tensor product S ÄLA S (essentially, Tate's homology of A as a local ring with residue field S) is the Hopf algebra dual to the enveloping algebra of a free graded Lie algebra. This has interesting connections with the Deligne-Goncharov motivic group for the category of mixed Tate motives over the integers, work of B. Williams on bivariant A-theory, and work of Baker and Richter on quasisymmetric functions.
In 1967, T. Ganea conjectured that for any finite CW-complex and r ³ 1 it ought to hold that cat (X×Sr) = cat X+1, where cat is the Lusternik-Schnirelmann category. This conjecture has been readily disproved by N. Iwase. A 7-dimensional CW-complex X such that for sufficiently large r, cat (X×Sr) = cat X=2 is constructed. Such space X is then proved to be a minimum dimensional counterexample to Ganea's conjecture.
We describe the mod 2 homology of the spaces in the spectrum of topological modular forms (tmf), its unstable part coming from the homology of the spaces in the sphere spectrum, and its stable part coming from the homology of the spectrum tmf.
The Lefschetz Fixed Point Theorem associates to each self map of a compact smooth manifold an integer, the Lefschetz number, which is zero when the map has no fixed points. Unfortunately, this number can also be zero when the map has fixed points and all maps homotopic to it have fixed points. The Lefschetz number admits a refinement, called the Reidemeister trace, that (with some hypotheses) is zero if and only if the map is homotopic to a fixed point free map.
The Lefschetz Fixed Point Theorem has many proofs. One proof uses duality and trace in symmetric monoidal categories to prove a result that implies the Lefschetz Fixed Point Theorem: The Lefschetz number is equal to a geometrically described invariant, the index, that vanishes if the map has no fixed points.
The index also has a refinement and this invariant can be identified with the Reidemeister trace. This identification follows from duality and trace in bicategories with shadows, a generalization of duality and trace in symmetric monoidal categories.
In , Moerdijk and the author showed that one should view the category of orbifolds as the bicategory of fractions of orbifold groupoids with respect to the class of essential equivalences. This implies that a morphism of orbifolds is of the form
In this talk I will discuss the generalized maps between representable orbifolds. When G and H above are translation groupoids, it does not follow in general that K is also a translation groupoid. And even when K is a translation groupoid, it does not follow in general that w and f are equivariant morphisms. However, we will show that the full sub-bicategory of orbifold groupoids on translation groupoids is equivalent to the bicategory of fractions of translation groupoids and equivariant morphisms with respect to equivariant essential equivalences. Finally, we will give a precise description of equivariant essential equivalences.
This is joint work with Laura Scull, who will discuss applications of this result to equivariant homotopy theory for orbifolds.
I will discuss a joint project with Dorette Pronk to create and exploit close links between the theory of orbifolds and that of equivariant homotopy theory. In her talk, Dorette will describe a way to use translation groupoids to formalize the relation between these subjects.
I will discuss applications of this theorem: how it can be used to translate equivariant homotopy invariants into orbifold invariants. In setting up the equivalence between orbifolds and translation groupoids, we also get a concrete description of the forms of the equivariant essential equivalences which are inverted. It is this description which makes it feasible to adapt equivariant invariants to orbifolds. I will describe this and give examples.
In this talk I will define a family of simplicial spaces which provide a natural filtration of the classifying space of a topological group. We will discuss some properties and potential applications of this filtration, and we will explain in more detail the first layer which is built of commuting elements.
I will talk about the concrete Batalin-Vilkovisky algebra structure on HH* ( C*(CPn);C*(CPn) ), the Hochschild cohomology of the cochain algebra of the complex projective spaces, and its relation with the loop homology, H*(LCPn) with various coefficients. In a very special case when M=CP1=S2, it disproves a conjecture that the BV structures on both of them can be identified, even though the commutative ring structures do.
Thanks to the recent work of Perelman and his successors, it is now known that any 3-manifold with finite fundamental group G arises from a free orthogonal action of G on S3. It is thus one of the groups found around 1930 by Hopf and Seifert-Threlfall. In particular the 3-manifold M = S3/G is an orientable Seifert manifold (known as a spherical space form). For orientable Seifert manifolds with G infinite, the cohomology ring H*(M;A) was determined around 2000 by Bryden, Hayat, Zieschang, and the author. There are important differences when G is finite, related to the group cohomology H*(G;A), which is now 4-periodic (for G infinite H*(M;A) » H*(G;A) and hence vanishes in dimensions greater than 3). The cases where G is finite, recently studied by Tomoda and the author, will be the main subject of this talk. Applications such as degree one maps and Lusternik-Schnirelmann category will be mentioned.