Georgia Institute of Technology College of Sciences

A fundamental result in equivariant homotopy theory due to Elmendorf states that the homotopy theory of G-spaces, with w.e.s measured on all fixed points, is equivalent to the homotopy theory of G-coefficient systems in spaces, with w.e.s measured at each level of the system. Furthermore, Elmendorf’s result is rather robust: analogue results can be shown to hold for, among others, the categories of (topological) categories and operads. However, it has been known for some time that in the G-operad case such a result does not capture the ”correct” notion of weak equivalence, a fact made particularly clear in work of Blumberg and Hill discussing a whole lattice of ”commutative operads with only some norms” that are not distinguished at all by the notion of w.e. suggested above. In this talk I will talk about part of a joint project which aims at providing a more diagrammatic understanding of Blumberg and Hill’s work using a notion of G-trees, which are a generalization of the trees of Cisinski-Moerdijk-Weiss. More specifically, I will describe a new algebraic structure, which we dub a ”genuine equivariant operad”, which naturally arises from the study of G-trees and which allows us to state the ”correct” analogue of Elmendorf’s theorem for G-operads.

I'll describe a way to construct an A-infinity category associated to a contact manifold, analogous to a Fukaya category for a symplectic manifold. The objects of this category are Legendrian submanifolds equipped with augmentations. Currently we're focusing on standard contact R^3 but we're hopeful that we can extend this to other contact manifolds. I'll discuss some properties of this contact Fukaya category, including generation by unknots and a potential application to proving that ``augmentations = sheaves''. This is joint work in progress with Tobias Ekholm and Vivek Shende.

The study of transverse knots in dimension 3 has been instrumental in the development of 3 dimensional contact ge- ometry. One natural generalization of transverse knots to higher dimensions is contact submanifolds. Embeddings of one contact manifold into another satisfies an h-principle for codimension greater than 2, so we will discuss the case of codimension 2 contact embeddings. We will give the first pair of non-isotopic contact embeddings in all dimensions (that are formally isotopic).