The Electronic Computational Homotopy Theory Seminar is an international research seminar on the topic of computational homotopy theory. Topics include any part of homotopy theory that has a computational flavor, including but not limited to stable homotopy theory, unstable homotopy theory, chromatic homotopy theory, equivariant homotopy theory, motivic homotopy theory, and Ktheory. The seminar meets on Thursdays at 11:30am in Detroit (Eastern Time). Contact Dan Isaksen (isaksen@wayne.edu) for more information, or to be added to the seminar mailing list. The ECHT calendar lists all scheduled talks. See below for the schedule of talks, in reverse chronological order. You might also be interested in other electronic seminars in mathematics:
13 December 2018 Speaker: Lukas Brantner, MaxPlanckInstitut für Mathematik 29 November 2018 Speaker: Tom Bachmann, MIT 15 November 2018 Speaker: Clover May, UCLA 1 November 2018 Speaker: Zhoui Xu, MIT 16, 18, 23, 25 October 2018 Speaker: Akhil Mathew, University of Chicago 4 October 2018 Speaker: Craig Westerland, University of Minnesota 20 September 2018 Speaker: Vigleik Angeltveit, Australian National University 6 September 2018 Speaker: Kirsten Wickelgren, Georgia Institute of Technology 3 May 2018 Speaker: Justin Noel, Universitaet Regensburg Abstract: I will survey some joint work on nilpotence and periodicity in equivariant stable homotopy theory. I will discuss applications to conceptual and computational problems. Time permitting, I will then try to discuss a few related open questions. 19 April 2018 Speaker: Dominic Culver, University of Illinois UrbanaChampaign Abstract: In this talk, I will describe two aspects of the BP<2>cooperations algebra. I will begin with general structural results about BP<2>cooperations. The second part of the talk will be concerned with an inductive method for computing a large portion of the cooperations algebra. 5 April 2018 Speaker: Yifei Zhu, Southern University of Science and Technology, China 8 March 2018 Speaker: Niko Naumann, Universitaet Regensburg 22 February 2018 Speaker: Drew Heard, University of Haifa Abstract: The Picard group of the category of spectra is known to contain only suspensions of the sphere spectrum. Working K(n)locally, however, the story is much richer. For a finite subgroup K of the Morava stabilizer group, there is a homotopy fixed point spectrum E_n^{hK} which is an approximation to the K(n)local sphere. We compute the Picard groups of these spectra when n = p  1, showing that they are always cyclic. Joint work with Akhil Mathew and Vesna Stojanoska. 8 February 2018 Speaker: Sean Tilson, Universitaet Wuppertal Abstract: Great strides were made in the computability of differentials in the classical Adams spectral sequence by Bruner. He developed a technique for computing differentials in terms of algebraic power operations on the E_2 page. These differentials can be viewed as a failure of the operations to commute with the differentials. We will present similar results for permanent cycles in the RO(C_2)graded equivariant and Spec(\R) motivic Adams spectral sequences. We will focus on the moving parts of such machinery in the hopes that it can be adapted to other situations. 25 January 2018 Speaker: Tyler Lawson, University of Minnesota 14 December 2017 Speaker: Teena Gerhardt, Michigan State University 16 November 2017 Speaker: Dan Dugger, University of Oregon 2 November 2017 Speaker: Vitaly Lorman, University of Rochester Abstract: The JohnsonWilson theories E(n) carry an action of C_2 stemming from complex conjugation. Taking fixed points yields the Real JohnsonWilson theories, ER(n). To begin, I will survey their properties and motivate why they are interesting cohomology theories to study. I will then describe a result, joint with Kitchloo and Wilson, that presents the ER(n)cohomology of many familiar spaces (including connective covers of BO and half of the Eilenberg MacLane spaces) as a base change of their (known) E(n)cohomology. A key ingredient in the proof is a computation of the equivariant E(n) (or MR) cohomology of spaces with the socalled projective property. This result is interesting in its own right, as, for instance, it gives us access to certain equivariant unstable cohomology operations. If time permits, I will conclude with a brief description of a potential application to the immersion problem for real projective spaces. 19 October 2017 Speaker: Glen Wilson, University of Oslo 5 October 2017 Speaker: Prasit Bhattacharya, University of Virginia 21 September 2017 Speaker: Bogdan Gheorghe, Max Planck Institute Abstract: The setting is motivic homotopy theory over Spec C. After pcompleting, the Tate twist originating in the motivic mod p cohomology of a point lifts to an element \tau in the stable homotopy groups of the (pcompleted) motivic sphere. Inverting this element recovers classical homotopy theory, while killing it produces a homotopy theory that is equivalent to the (algebraic) derived category of the Hopf algebroid BP_* BP. One can use this element tau to formulate an obstruction theory to construct motivic spectra which starts in the algebraic category, and with obstructions in algebraic Extgroups (similar to Toda's obstruction theory). We will illustrate this obstruction theory by reconstructing the motivic spectrum kq representing hermitian Ktheory, and by also computing the cooperations of kq/tau along the way, which proves to be similar but easier to the classical computation for kO. 7 September 2017 Speaker: Dan Isaksen, Wayne State University; Guozhen Wang, Fudan University Abstract: In the past year, Guozhen Wang, Zhouli Xu, and I have computed approximately thirty new stable homotopy groups, in dimensions 6293. Our methodology uses motivic techniques to leverage computer calculations of both the Adams and AdamsNovikov E2pages. I will describe our computational approach, and I will point out some interesting phenomena in the stable stems that we have uncovered. Guozhen Wang will also present some information about our computer code. 1 June 2017 Speaker: Mark Behrens, University of Notre Dame Abstract: The Ebased Adams Spectral Sequence (EASS) famously has E_2term given by Ext over E_*E if E_*E is flat over E_*. What do you do if this is not the case?? LellmannMahowald, in their analysis of the boASS, had to figure this out. In their case, the E_1 term decomposed into a v_1periodic summand and an EilenbergMacLane summand. They completely computed the cohomology of the v_1periodic summand, and left Don Davis to use a computer to attack the EilenbergMacLane summand (which petered out around the 20 stem). I will discuss a new technique, joint with Agnes Beaudry, Prasit Bhattacharya, Dominic Culver, and Zhouli Xu, which instead computes the EilenbergMacLane summand in terms of Ext over the Steenrod algebra (and thus is much more robust). This technique applies whenever such a decomposition occurs, and I will discuss applications to the BP<2>ASS and the tmfASS. 18 May 2017 Speaker: Nat Stapleton, Universitaet Regensburg 4 May 2017 Speaker: Oliver Roendigs, Universitaet Osnabrueck 20 April 2017 Speaker: Kyle Ormsby, Reed College Abstract: Recent work of RöndigsSpitzweckØstvær sharpens the connection between the slice and Novikov spectral sequences. Using classical vanishing lines for the E_2page of the AdamsNovikov spectral sequence and the work of AndrewsMiller on the alpha_1periodic ANSS, I will deduce some new vanishing theorems in the bigraded homotopy groups of the etacomplete motivic sphere spectrum. In particular, I will show that the mth etacomplete MilnorWitt stem is bounded above (by an explicit piecewise linear function) when m = 1 or 2 mod 4, and then lift this result to integral MilnorWitt stems (where an additional constraint on m appears). This is joint work with Oliver Röndigs and Paul Arne Østvær. 13 April 2017 Speaker: Andrew Salch, Wayne State University 23 March 2017 Speaker: Bert Guillou, University of Kentucky 9 March 2017 Speaker: Doug Ravenel, University of Rochester 2 March 2017 Speaker: Vesna Stojanoska, UIUC 16 February 2017 Speaker: Michael Hill, UCLA Abstract: I'll talk about a genuine equivariant notion of a derivation which not only takes products to sums but also takes norms to transfers. This arises naturally from genuine equivariant multiplicative filtrations, like the slice filtration, and gives some techniques for producing differentials. As an application, I'll discuss in some detail the slice spectral sequence for a $C_4$analogue of $BP\langle 1\rangle 1$, the simplified $C_4$ version of the spectrum used in the solution of the Kervaire invariant one problem. 19 January 2017 Speaker: Lennart Meier, Universitaet Bonn 15 December 2016 Speaker: Agnes Beaudry, University of Colorado

↑ back to top 