# Homotopy Seminar @OSU

The Homotopy Seminar @OSU is currently co-organized by myself and Zeshen Gu. The Seminar meeting time is 1:45-2:45pm Tuesdays in MT152 unless otherwise advertised.

## Spring 2024 Schedule

Date | Details |
---|---|

Jan 30, 2024 | The homotopy theory of ideals structured by operadsDavid White |

In 2006, Jeff Smith gave a talk explaining how to define ideals in the context of ring spectra, and laying out applications to algebraic K-theory computations. In 2014, Mark Hovey posted a preprint working out the homotopy theory of such ideals. Since every map is homotopic to an inclusion, ideals must be defined diagrammatically rather than as subobjects. In this talk, I will explain the definition, and then discuss joint work with Donald Yau that extends Hovey’s work to develop a homotopy theory of ideals with additional structure encoded by an operad. If there’s time, I’ll discuss ongoing work in progress to carry out Smith’s plan regarding algebraic K-theory. | |

March 5, 2024 | Equivariantly enriched curve countingCandace Bethea |

Enumerative geometry asks for integral solutions to geometric questions, such as how many genus g, degree d rational curves with n marked points lie on a given surface. Recently, motivic and equivariant homotopy have been used to generalize classical enumerative results to non-closed fields and under the presence of a group action respectively. In this talk, we will discuss the connections between equivariant homotopy theory and equivariant curve counting, specifically giving a count of nodal orbits in an invariant pencil of plane conics enriched in the Burnside Ring of a finite group. Time permitting, we will discuss joint work in progress with Kirsten Wickelgen on defining a local degree using stable equivariant homotopy theory and an application to Euler numbers. | |

March 26, 2024 | ell-adic topological Jacquet-Langlands dualityAndrew Salch |

I will describe the construction of an “ell-adic topological Jacquet-Langlands (TJL) dual” of each finite CW-complex. One effect of the TJL dual is that the representations of the Morava stabilizer group, which arise in the height n Morava E-theory of a finite spectrum X, get turned into continuous actions of GL_n(Z_p) on the ell-adic TJL dual of X. On the level of homotopy groups, these actions of GL_n(Z_p) correspond, via the classical ell-adic Jacquet-Langlands correspondence, to the representations of the Morava stabilizer group on the Morava E-theory groups of X. When n=1, these representations of GL_1 have associated automorphic L-factors. I will explain how the product of those L-factors, i.e., the “automorphic L-function of a finite CW-complex X,” analytically continues to a meromorphic function on the complex plane whose special values in the left half-plane recover the orders of the KU-local stable homotopy groups of X. Part of the construction of the TJL dual is a solution to an old problem on construction of E_\infty-ring realizations of the Lubin-Tate tower. I will describe that solution, which is joint work with Matthias Strauch. | |

April 2, 2024 | TBDJ.D. Quigley |

TBD | |

April 23, 2024 | TBDAlicia Lima |

TBD |

## Autumn 2023 Schedule

Date | Details |
---|---|

Oct 10, 2023In Room JR0295 | Equivariant Dunn AdditivityBen Szczesny |

The Boardman-Vogt tensor product of operads encodes the notion of interchanging algebraic structures. A classic result of Dunn tells us that the tensor product of two little cube operads is equivalent to a little cube operad with the dimensions added together. As models for \(\mathbb{E}_k\)-operads, this reflects a defining property of these operads. In this talk, we will explore some equivariant generalizations to Dunn’s additivity. Along the way, we will play with little star-shaped operads, question if we really need group representations for equivariant operads, and learn to love (and hate) the tensor product. | |

Oct 19, 2023 | A 3-dimensional TFT with many applications Lorenzo Riva (University of Notre Dame) |

Topological field theories live in the intersection of algebraic topology and mathematical physics. They initially served as a rigorous foundation for some aspects of the path integrals appearing in physics, especially quantum field theory (hence the name), and then were extensively studied in conjunction with mirror symmetry and gauge theories. They’re defined formally as monoidal functors from a higher category of bordisms and they are a source of examples for invariants of manifolds (topological or with geometric structures), are connected to representation theory via tensor categories, and serve as a sort of “testing ground” for our understanding of higher categories. In this talk I will forgo the physics aspect completely and instead focus on the general theory, along with an introduction to the higher categorical framework that allows us to define these objects. We will then see an example of a 3-dimensional TFT which is supposed to compute some so-called Rozansky-Witten invariants of 3-manifolds. | |

Nov 2, 2023 | Mackey and Tambara Functors Beyond Equivariant Homotopy Ben Spitz (University of California, Los Angeles) |

“Classically”, Mackey and Tambara functors are equivariant generalizations of abelian groups and commutative rings, respectively. What this means is that, in equivariant homotopy theory, Mackey functors appear wherever one would expect to find abelian groups, and Tambara functors appear wherever one would expect to find commutative rings. More recently, work by Bachmann has garnered interest in related structures which appear in motivic homotopy theory – these Motivic Mackey Functors and Motivic Tambara Functors do not have anything to do with group-equivariance, but have the same axiomatics. In this talk, I’ll introduce a general context for interpreting the notions of Mackey and Tambara Functors, which subsumes both the equivariant and motivic notions. The aim of this approach is to translate theorems between contexts, enriching the theory and providing cleaner proofs of essential facts. To this end, I’ll discuss recent progress in boosting a foundational result about norms from equivariant algebra to this more general context. | |

Nov 16, 2023 | A scanning construction of the self duality of the little disks operad Connor Malin (University of Notre Dame) |

Since the introduction of Koszul duality for operads, algebraists and homotopy theorists alike have wanted to understand its effect on the little disks operad En. Over the course of the last 30 years, our knowledge has steadily advanced. People showed (roughly chronologically) that H_(En),C_(En;Q),C_*(En;Z), and the categories of En algebras themselves were all self dual, finally culminating in the fact that the En operad in spectra is self dual. In this talk, we give a new, particularly tractable construction of the self duality of the spectral En operad and describe how it interacts with factorization homology. | |

Dec 7, 2023 | Telescopic stable homotopy theory Ishan Levy (MIT) |

Chromatic homotopy theory attempts to study the stable homotopy category by breaking it into v_n-periodic layers corresponding to height n formal groups. There are two natural ways to do this, via either the K(n)-localizations which are computationally accessible, or via the T(n)-localizations, which detect the v_n-periodic parts of the stable homotopy groups of spheres. Ravenel’s telescope conjecture asks that these two localizations agree. For n at least 2 and all primes, I will discuss counterexamples to Ravenel’s telescope conjecture. Our counterexamples come from using trace methods to compute the T(n) and K(n)-localizations of the algebraic K-theory of a family of ring spectra, which in the case n=2 are certain finite Galois extensions of the K(1)-local sphere. I will then explain that this can be used to obtain an infinite family of elements in the v_n-periodic stable homotopy groups of spheres, giving the best known lower bound on the asymptotic average ranks of the stable stems. Finally, I will explain that the Galois group of the T(n)-local category agrees with that of the K(n)-local category, and how the failure of the telescope conjecture comes entirely from the failure of Galois hyperdescent. This talk comes from projects that are joint with Burklund, Carmeli, Clausen, Hahn, Schlank, and Yanovski. |