{"batchcomplete":"","continue":{"lecontinue":"20260116132216|560","continue":"-||"},"query":{"logevents":[{"logid":570,"ns":0,"title":"Purity of Motivic Cohomology in Mixed Characteristic","pageid":356,"logpage":356,"params":{},"type":"create","action":"create","user":"Vom41941","timestamp":"2026-07-07T11:48:43Z","comment":"Created page with \"Motivic cohomology is a cohomology theory that can be defined internally within Grothendieck's category of motives. Voevodsky developed this theory for smooth varieties, demonstrating its deep connections to algebraic cycles and algebraic K-theory. However, its behaviour in mixed characteristic remains less well understood. Building on recent advances by Bachmann, Elmanto, Morrow, and Bouis, in joint work with Bouis we establish a purity result over deeply ramified bases...\""},{"logid":569,"ns":0,"title":"The Cubes Functor of (\u221e,n)-Categories","pageid":355,"logpage":355,"params":{},"type":"create","action":"create","user":"Vom41941","timestamp":"2026-06-28T12:46:29Z","comment":"Created page with \"The cubes functor is a direction-symmetric functor from n-categories to n-uple categories.  In joint work in progress with Shai Keidar, we prove that the cubes functor is fully faithful and identify its essential image, extending recent results in the case n=2.  We also consider the non-univalent setting.  There, the cubes functor is not fully faithful, but it is both monadic and comonadic, allowing us to describe non-univalent n-categories in terms of non-univalent n-up...\""},{"logid":568,"ns":0,"title":"The span-squares adjunction","pageid":354,"logpage":354,"params":{},"type":"create","action":"create","user":"Wic42659","timestamp":"2026-06-05T11:37:48Z","comment":"Created page with \"We establish an adjunction between infinity-categories and double infinity-categories, where the left adjoint is the span category construction, viewed as a functor on double infinity-categories. Using this adjunction, we obtain new proofs of the equivalences between different models of algebraic \ud835\udc3e-theory, given by the Q-, the S-, the cobordism model, and the squares construction\""},{"logid":567,"ns":0,"title":"On the geometrization of synthetic spectra","pageid":353,"logpage":353,"params":{},"type":"create","action":"create","user":"Wic42659","timestamp":"2026-05-19T09:05:18Z","comment":"Created page with \"The category of synthetic spectra is a strong tool for understanding the Adams-Novikov spectral sequence and acts as a 1-parameter deformation between spectra and quasi-coherent sheaves on the moduli stack of formal groups. One perspective on the Adams-Novikov spectral sequence is that it is the descent spectral sequence for the moduli stack of formal groups. In this talk I will present an approach which, to any geometric (non-connective) spectral stack X, produces a cat...\""},{"logid":566,"ns":0,"title":"Monadic resolutions for (generalized) spaces","pageid":352,"logpage":352,"params":{},"type":"create","action":"create","user":"Vom41941","timestamp":"2026-05-01T08:00:22Z","comment":"Created page with \"Understanding the homotopy type of a space often benefits from studying its values under homology theories. Every homology theory determines a Bousfield localization on the category of spaces \u2014 for example, rational cohomology leads to rationalization, while $F_p$-homology induces $p$-completion.  In favorable cases, these localizations admit explicit descriptions via monadic resolutions.  A key example is the $p$-completion $L_p X$ of a nilpotent space $X$, which can...\""},{"logid":565,"ns":0,"title":"Calabi\u2014Yau structures on constructible sheaves categories","pageid":351,"logpage":351,"params":{},"type":"create","action":"create","user":"Vom41941","timestamp":"2026-04-24T16:48:12Z","comment":"Created page with \"For X a compact oriented topological manifold and k a field, Verdier duality on locally constant sheaves of k-modules on X can be encoded in a non-commutative symplectic structure, called Calabi\u2014Yau structure. Brav\u2014Dyckerhoff also introduced a relative notion of such, which allows one to recover Verdier duality for manifolds with boundaries. If now X is equipped with a (nice enough) finite stratification P, we show that there exists a Calabi\u2014Yau structure on the k-...\""},{"logid":564,"ns":0,"title":"Presenting the stratified homotopy hypothesis","pageid":350,"logpage":350,"params":{},"type":"create","action":"create","user":"Vom41941","timestamp":"2026-04-17T19:48:52Z","comment":"Created page with \"The stratified homotopy hypothesis proclaims an equivalence between a homotopy theory of stratified spaces, and the homotopy theory of such small (infinity,1)-categories in which every endomorphism is an isomorphism. In this talk, after an introduction into the homotopy theory of stratified spaces, I want to talk about an explicit presentation of this proclaimed equivalence in terms of a Quillen equivalence using Lurie\u2019s construction of the infinity-category of exit-pa...\""},{"logid":563,"ns":0,"title":"Complexes of stable \u221e-categories and higher Segal conditions","pageid":349,"logpage":349,"params":{},"type":"create","action":"create","user":"Cid36224","timestamp":"2026-04-15T12:38:08Z","comment":"Created page with \"Title: Complexes of stable \u221e-categories and higher Segal conditions  Abstract: There exists an equivalence of (\u221e,2)-categories between the (\u221e,2)-category of complexes of stable \u221e-categories and that of 2-simplicial stable \u221e-categories, established by Dyckerhoff, which categorifies the classical Dold\u2013Kan correspondence. It is well known that every simplicial abelian group is in particular a Kan complex, i.e. it admits certain horn fillers. In this talk, I will...\""},{"logid":562,"ns":0,"title":"K-theoretic Poitou-Tate duality & the heart of D^b of locally compact abelian groups","pageid":348,"logpage":348,"params":{},"type":"create","action":"create","user":"Wic42659","timestamp":"2026-01-22T07:59:55Z","comment":"Created page with \"(joint with Fei Ren, Wuppertal University)  Number theory part: I will give a little introduction to K-theoretic Artin maps \u00e0 la Clausen and K-theoretic Poitou-Tate duality \u00e0 la Blumberg-Mandell. That's a somewhat new viewpoint on class field theory.  Topology part: LCA groups show up as a surprising model for the compactly supported side of said duality, leading to Clausen's cool way to uniformly describe the non-Galois side of class field theory as K_1(LCA_F) for F t...\""},{"logid":561,"ns":0,"title":"A generalisation of Day convolution for operad-like structures","pageid":347,"logpage":347,"params":{},"type":"create","action":"create","user":"Ghd08439","timestamp":"2026-01-16T13:24:48Z","comment":"Created page with \"A fundamental construction in higher algebra is that of Day convolution. This construction, if it exists, defines an internal hom-object in the \u221e-category of \u221e-operads. In this talk, I will describe an explicit condition for the existence of such internal hom-objects for other operad-like structures. Even in the case of \u221e-operads, our proof is very different from previous constructions. The existence condition we obtain is very similar to the Conduch\u00e9 criterion fo...\""}]}}