Seminars in geometry/topology

Fall 2017 - Upcoming Talks

September 25, 13:15 - 14:15, room 734, Sentralbygg 2

Ana Romero Ibáñez (Universidad de La Rioja): Kenzo, a Symbolic Computation system for Algebraic Topology: introduction and applications for the computation of persistent homology and generalized spectral sequences


Abstract: The Kenzo system, developed by Francis Sergeraert and some coworkers, is a Symbolic Computation system for Algebraic Topology. It works with complex algebraic structures: chain complexes, differential graded algebras, simplicial sets, simplicial groups, morphisms between these objects, etc. In particular, it implements the effective homology method and can be used to compute homology and homotopy groups of complicated spaces.

The talk will consist in an introductory description of the program with some examples of calculations. Moreover, we will explain some new modules that we have depeloped computing persistent homology and generalized spectral sequences.

Joint work with A. Guidolin, J. Rubio and F. Sergeraert.

October 16, 13:15 - 14:15, room 734, Sentralbygg 2

David Sprehn (Københavns Universitet): To be announced


Abstract: To be announced.

November 13, 13:15 - 14:15, room 734, Sentralbygg 2

Andreas Holmström (Stockholms Universitet): To be announced


Abstract: To be announced.

Fall 2017 - Previous Talks

September 11, 13:15 - 14:15, room 734, Sentralbygg 2

Glen Wilson (University of Oslo): The eta-inverted sphere over the rationals


Abstract: For any field \(\mathbf{F}\) Morel and and Voevodsky associate to it a stable homotopy category \(SH(\mathbf{F})\) that encodes topologicalvinformation and information about algebraic varieties over \(\mathbf{F}\). Just as with the topological stable homotopy category, we would like to calculate the motivic stable homotopy groups of spheres \(\pi_{s,w}(1) = SH(\mathbf{F})(\Sigma^{s,w}1,1)\). To gain some relevant information about these groups, Guillou and Isaksen—with input from Andrews and Miller—calculated the eta-inverted stable homotopy groups of the \(2\)-complete sphere spectrum over the complex numbers and the real numbers. In this talk we will review the eta-inverted calculations of Guillou and Isaksen and present new results about the structure of the stable homotopy groups of the eta-inverted \(2\)-complete sphere spectrum over fields of cohomological dimension at most \(2\) (characteristic not \(2\)) and the field of rational numbers.

2017-09-20, Marius Thaule