Topology seminar

Location

Mondays at 3:30 in Vincent Hall 301

Talks in Fall 2018

• Oct 08 '18

  • Paul van Koughnett (Purdue)

  • Topology Seminar: A chromatic approach to tmf cooperations

  The topological modular forms spectrum, tmf, is a cohomology theory constructed from elliptic curves that captures information about stable homotopy at chromatic heights less than or equal to 2. We present a description of the height 1 part of the algebra of tmf cooperations, and interpret it in terms of modular forms. This is joint work with Dominic Culver.

• Oct 15 '18

  • Wouter van Limbeek (UIC)

  • Topology Seminar: Rigidity of warped cones and coarse geometry of expanders

  Finitely generated subgroups of compact Lie groups give rise to expander graphs via a warped cone construction. We study the dependence of the coarse geometry of such expander graphs on the original subgroup and establish a dynamical analogue of quasi-isometric rigidity theorems in geometric group theory: Namely, the coarse geometry of the warped cone determines the subgroup up to commensurability, unless the group has abelian factors. This is joint work with David Fisher and Thang Nguyen.

• Oct 22 '18

  • Nir Gadish (University of Chicago)

  • Topology Seminar: Finitely generated sequences of linear subspace arrangements

  Hyperplane arrangements are a classical meeting point of topology, combinatorics and representation theory. Generalizing to arrangements of linear subspaces of arbitrary codimension, the theory becomes much more complicated. However, a crucial observation is that many natural sequences of arrangements seem to be defined using a finite amount of data.

  In this talk I will describe a notion of 'finitely generation' for collections of arrangements, unifying the treatment of known examples. Such collections turn out to exhibit strong forms of stability, both in their combinatorics and in their cohomology representation. This structure makes the appearance of representation stability transparent and opens the door to generalizations.

• Oct 29 '18

  • Amit Sharma (Kent State University)

  • Topology Seminar: Symmetric monoidal categories and \Gamma-categories

  A \Gamma-category is a functor from the category of finite based sets and basepoint preserving functions \Gamma^op to Cat. We construct a model category structure on the category of \Gamma-categories, which is symmetric monoidal closed to the Day convolution product. The fibrant objects in this model category structure are those \Gamma-categories which are often called special \Gamma-categories. The main objective of this research is to establish a Quillen equivalence between a natural model category structure on the category of (small) permutative categories and strict symmetric monoidal functors Perm and our model category structure on \GammaCat. The weak equivalences of the natural model category structure are equivalences of underlying categories. In the paper [1], Segal defined a functor from the category of (small) symmetric monoidal categories into \GammaCat which can be described as a nerve functor for symmetric monoidal categories. The right adjoint \bar{K} of our Quillen equivalence is a thickening of Segal's nerve functor. We construct a permutative category L called Leinster's category, having the universal property that each \Gamma-category extends uniquely to a symmetric monoidal functor along an inclusion functor \Gamma^op —> L. The left adjoint L of our Quillen equivalence is a composite functor composed of the symmetric monoidal extension functor indicated above followed by a homtopy colimit functor. In the paper [2], Mandell had shown that Segal's nerve functor (followed by the ordinary nerve functor) induces an equivalence between a homotopy category of Perm, obtained by inverting those strict symmetric monoidal functors which induce a weak homotopy equivalence of simplicial sets upon applying the nerve functor, and a homotopy category of \Gamma-spaces \GammaS obtained by inverting pre-stable equivalences which are those maps of \Gamma-categories which induce a degreewise weak homotopy equivalence of simplicial sets upon applying an E_\infty-completion functor. The objective of Mandell's work is to understand the relation between connective spectra and \Gamma-spaces obtained by applying the Segal's nerve functor to symmetric monoidal categories whereas our objective is to construct a model category of symmetric monoidal categories which is symmetric monoidal closed.

• Nov 05 '18

  • Sarah Yeakel (University of Maryland)

  • Topology Seminar: An isovariant Elmendorf's theorem

  An isovariant map is an equivariant map which preserves isotropy groups. Isovariant maps show up in equivariant surgery theory and in other settings when homotopy theory is applied to geometry. For a finite group G, we consider the category of G-spaces with morphisms given by isovariant maps. We will discuss a cofibrantly generated model structure on this category, along with isovariant versions of Elmendorf's theorem and a theorem of Klein and Williams about homotoping a map off a submanifold.

• Nov 12 '18

  • Eva Belmont (Northwestern)

  • Topology Seminar: Localizing the E_2 page of the Adams spectral sequence

  The Adams spectral sequence is one of the central tools for calculating the stable homotopy groups of spheres, one of the motivating problems in stable homotopy theory. In this talk, I will discuss an approach for computing the Adams E_2 page for the sphere at p = 3 in an infinite region, by computing its localization by the non-nilpotent element b_{10}. This approach relies on computing an analogue of the Adams spectral sequence in Palmieri's stable category of comodules, which can be regarded as an algebraic analogue of stable homotopy theory. This computation fits in the framework of chromatic homotopy theory in the stable category of comodules.

• Nov 19 '18

  • Jeremy Hahn (Harvard University)

  • Topology Seminar: The spectrum of units of a height 2 theory

  The space BSU admits two infinite loop space structures, one arising from addition of vector bundles and the other from tensor product. A surprising fact, due to Adams and Priddy, is that these two infinite loop spaces become equivalent after p-completion. I will explain how the Adams-Priddy theorem allows for an identification of sl_1(ku_p), the spectrum of units of p-complete complex K-theory. I will then describe work, joint with Andrew Senger, that attempts to similarly understand the spectrum of units of the 2-completion of tmf_1(3).

• Nov 26 '18

  • Bena Tshishiku (Harvard University)

  • Topology Seminar: Cohomology of arithmetic groups and characteristic classes of manifold bundles

  A basic problem in the study of fiber bundles is to compute the ring H*(BDiff(M)) of characteristic classes of bundles with fiber a smooth manifold M. When M is a surface, this problem has ties to algebraic topology, geometric group theory, and algebraic geometry. We have a good understanding of the cohomology in the "stable range", but this accounts for a small percentage of the total cohomology, and little is known beyond that. In this talk I describe some new characteristic classes (in the case dim M >>0) that come from the unstable cohomology of arithmetic groups.

• Dec 07 '18

  • Tom Bachmann (MIT)

  • Topology Seminar: Power operations in normed motivic spectra

  In joint work with M. Hoyois, we established (the beginnings of) a theory of "normed motivic spectra". These are motivic spectra with some extra structure, enhancing the standard notion of a motivic E_oo-ring spectrum (this is similar to the notion of G-commutative ring spectra in equivariant stable homotopy theory). It was clear from the beginning that the homotopy groups of such normed spectra afford interesting *power operations*. In ongoing joint work with E. Elmanto and J. Heller, we attempt to establish a theory of these operations and exploit them calculationally. I will report on this, and more specifically on our proof of a weak motivic analog of the following classical result of Würgler: any (homotopy) ring spectrum with 2=0 is generalized Eilenberg-MacLane.

• Dec 10 '18

  • Aaron Landesman (Stanford)

  • Topology Seminar: The geometric average size of Selmer groups over function fields

  We use topological methods to investigate the average size of n-Selmer groups of elliptic curves over F_q(t). Loosely speaking, the n-Selmer group of an elliptic curve measures objects which look like the n-torsion of the elliptic curve. We relate the question of computing the average size of the n-Selmer group to demonstrating homological stability for a sequence of moduli spaces of these n-Selmer elements. Via monodromy arguments, we show the number of components of these moduli spaces stabilizes, which determines the average size after taking a large q limit.