Spring 2013
Saturday May 11 - Sunday May 12


Mohammed Abouzaid - Columbia University

Lagrangian immersions and the Floer homotopy type

A conjecture of Arnold would imply that every exact Lagrangian in a cotangent bundle is isotopic to the zero section through Lagrangian embeddings. We now know that every such Lagrangian is homotopy equivalent to the zero section. I will explain how, combining the h-principle with the spectrum-valued invariants introduced by T. Kragh, one can hope to show that such Lagrangians are in fact isotopic to the zero section through Lagrangian immersions. I will discuss partial results obtained with Kragh, constraining the Lagrangian isotopy class of Lagrangians embeddings.

Michael Ching - Amherst College

Some examples of homotopic descent

I will describe a collection of theorems that exemplify homotopic descent. Each of these theorems says that a certain Quillen adjunction is `comonadic' in a homotopical sense: that is, it identifies the homotopy theory on one side of the adjunction with the homotopy theory of coalgebras over a certain comonad that acts on the other side. I will say what I mean by the homotopy theory of such coalgebras and give a Barr-Beck comonadicity condition.

The examples I am interested in concern operad theory and Goodwillie calculus. One result identifies the homotopy theory of 0-connected algebras over an operad of spectra with that of 0-connected divided power coalgebras over the Koszul dual operad. (This is joint work with John E. Harper.) Another describes the homotopy theory of n-excisive homotopy functors (between categories of spaces and/or spectra) in terms of appropriate comonads. (This is joint work with Greg Arone.) In the case of functors from spaces to spectra, and algebras over the commutative operad, there is a close connection between these two examples, which I shall describe.

John Lind - Johns Hopkins University

Equivariantly Twisted Cohomology Theories

Twisted K-theory is a cohomology theory whose cocycles are like vector bundles but with locally twisted transition functions.  If we instead consider twisted vector bundles with a symmetry encoded by the action of a compact Lie group, the resulting theory is equivariant twisted K-theory.  This subject has garnered much attention for its connections to conformal field theory and representations of loop groups.  While twisted K-theory can be defined entirely in terms of the geometry of vector bundles, there is a homotopy-theoretic formulation using the language of parametrized spectra.  In fact, from this point of view we can define twists of any multiplicative generalized cohomology theory, not just K-theory.  The aim of this talk is to explain how this works, and then to propose a definition of equivariant twisted cohomology theories using a similar framework. The main ingredient is a structured approach to multiplicative homotopy theory that allows for the notion of a G-torsor where G is a grouplike A space.

Charles Rezk - University of Illinois at Urbana-Champaign

p-isogeny modules, and calculations in multiplicative stable homotopy at height 2

I will describe two calculations, obtained using the theory power options for Morava E- theory at height 2: (1) The E- theory of the Bousfield-Kuhn spectrum (joint work with Mark Behrens) and (2) Twists of E-cohomology.

Kirsten Wickelgren - Harvard University

Massey products in Galois cohomology via étale homotopy types

The Milnor conjecture identifies the cohomology ring H*(Gal(k/k), Z/2) with the tensor algebra of k× mod the ideal generated by x⊗(1-x) for x in k - {0,1} mod 2. In particular, x∪(1-x) vanishes, where x in k× is identified with an element of H1. We show that order n Massey products of n-1 factors of x and one factor of 1-x vanish by embedding P1 - {0,1,∞} into its Picard scheme, and applying obstruction theory to the resulting map on étale homotopy types. This also identifies Massey products of the form <1-x, x, … , x , 1-x> with f ∪(1-x), where f is a certain cohomology class which arises in the description of the action of Gal(k/k) on π1et(P1 - {0,1,∞}).

Bruce Williams - University of Notre Dame

K-theory of Endomorphisms

Abstract (pdf)