arXiv seminars @Paris13

Référence : arXiv.2412.01640

I will discuss recent developments in synthetic spectra and their application to topological modular forms. The synthetic approach provides a structured framework to organize and refine computations in spectral sequences. In this context, I will explain how Christian Carrick, Jack Morgan Davies, and Sven van Nigtevecht resolve a long standing circularity issue in literature computing \pi_*(tmf) through the Gap theorem.

I will begin by reviewing the construction of synthetic spectra and their connection to spectral sequences via the signature functor, before presenting how these tools applied to the topological modular forms spectrum naturally correspond to the Descent and Adams-Novikov spectral sequences.

Référence : Derived binomial rings I: integral Betti cohomology of log schemes, Dmitry Kubrak, Georgii Shuklin, Alexander Zakharov

Je commencerai par rappeler la théorie des foncteurs dérivés non-abéliens. Cette théorie est née dans les travaux de Dold-Puppe et a été ensuite formalisée par Quillen en utilisant le formalisme des catégories de modèles puis Lurie en utilisant le formalisme infini-catégorique. Étant donné un foncteurs F:Mod_R-->Mod_S, cette théorie produit un foncteur dérivé LF qui va des objets connectifs de D(R) vers les objets connectifs de D(S). Par des travaux de Mathew, Mondal et Raksit, ce foncteur dérivé peut être étendu à toute la catégorie dérivée quand F satisfait des hypothèses de polynomialité. En particulier, cette théorie s'applique au foncteur Sym, Gamma (l'anneau à puissance divisée libre) et Bin (l'anneau binomial libre). En utilisant cette technique, Kubrak, Shuklin, Zakharov construisent une théorie des anneaux binomiaux dérivés et montrent que les types d'homotopie nilpotents de type fini se plongent de manière pleinement fidèle dans les anneaux binomiaux dérivés. S'il me reste du temps, je parlerai de travaux non encore publiés de ces auteurs appliquant ces outils à des questions plus concrètes de topologie algébrique.

Référence : Spectral Sequence, Décalage and Beilinson's t-structure, Benjamin Antieau

Je parlerai du récent preprint de Benjamin Antieau qui vise à expliquer la théorie des suites spectrales à travers le prisme du décalage et de la t-structure de Beilinson. A partir d'un objet filtré X dans une catégorie stable, le décalage produit un objet filtré Dec(X) qui correspond exactement à "tourner la page" dans la suite spectrale associée. Cette construction permet de récupérer en général plus d'informations que la suite spectrale issue de la filtration. On verra comment cette notion infini-catégorique de décalage se compare avec celle introduite par Deligne. Je commencerai par faire quelques rappels sur les suites spectrales et les t-structures avant de présenter la construction du décalage et donner quelques applications.

Référence : On the chain rule in Goodwillie Calculus, Max Blans and Thomas Blom

In a recent preprint, Blans and Blom proved a conjecture of Lurie, generalizing the chain rule of Arone-Ching to the general setting of differentiable oo-categories, where Goodwillie calculus had been defined by Lurie. The method of proof is radically different and reduces the question to constructing a lax 2-functor between (oo, 2)-category. During this talk, we will first give an overview of Goodwillie calculus, its interesting features and a few problems that it can solve. Then, we will try to sketch some of the main ideas of the proof and say a few words about applications.

Référence : Usher - Abstract Interlevel Persistence for Morse-Novikov and Floer Theory_, 2023

La théorie de l'homologie persistante fournit une description de l'homologie des sous-niveaux d'une fonction de Morse sur une variété et démontre que cette description est stable pour des perturbations C^0 de la fonction. Ces idées ont eu des applications remarquables en géométrie symplectique où l'homologie de Floer est naturellement filtrée par les valeurs de la fonctionnelle d'action. Un invariant plus fin consiste à regarder l'homologie des entre-niveaux de la fonction, c'est-à-dire des pré-images de tous les intervalles ouverts. Cet invariant se définit très simplement dans le cadre Morse et donne déjà des résultats intéressants, mais sa généralisation au cadre symplectique est loin d'être directe. Dans ce récent article, Michael Usher introduit un cadre algébrique général permettant de définir la persistance des entre-niveaux et quienglobe la théorie de Morse classique, la théorie de Morse-Novikov et l'homologie de Floer. Plutôt que de se pencher sur des applications en géométrie symplectique, on étudiera l'exemple riche mais plus simple de la théorie de Morse-Novikov, qui adapte la théorie de Morse classique aux fonctions à valeurs dans le cercle.  

The space of smooth embeddings between two manifolds M and N is an object of great interest in topology. Goodwillie and Weiss functor calculus approximates the space of embeddings from M to N by restricting to submanifolds of M which are diffeomorphic to a disjoint union of disks. Adding in extra compatibility conditions with respect to pre- and post composition yields a functor of symmetric monoidal (\infty,2)-categories. This paper of Krannich and Kupers establishes a new framework based on infinity-operads, which exhibits topological and smooth embedding calculus as two instances of one larger construction. They also provide smoothing results which precisely describe the differences between these two theories.

 It is well known that in certain categories, for instance Vect_k, one can add morphisms. One can show that this stems from the fact that finite coproducts and product canonically coincide - in other words Vect_k is semiadditive. For higher categories, one can begin to ask the analogous question for general spaces, provided they are sufficiently finite. In this talk, we will discuss how one begins to compare higher colimits and limits from a general categorical perspective and explore how chromatic homotopy theory supplies us with examples of generalized fields over which colimits and limits canonically coincide. This talk is based on work by Hopkins-Lurie and Carmeli-Schlank-Yanovsky.