Algebraic and categorical structures in geometry and topology
Organizadores: Manuel Rivera (manuelor@gmail.com), Camilo Arias Abad (carias0@unal.edu.co)

Thursday 16
15:00  15:45Transfer systems and weak factorization systems
Angélica Osorno (Reed College, Estados Unidos)
N∞ operads over a group G encode homotopy commutative operations together with a class of equivariant transfer (or norm) maps. Their homotopy theory is given by transfer systems, which are certain discrete objects that have a rich combinatorial structure defined in terms of the subgroup lattice of G. In this talk, we will show that when G is finite Abelian, transfer systems are in bijection with weak factorization systems on the poset category of subgroups of G. This leads to an involution on the lattice of transfer systems, generalizing the work of BalchinBearupPechRoitzheim for cyclic groups of squarefree order. This is joint work with Evan Franchere, Usman Hafeez, Peter Marcus, Kyle Ormsby, Weihang Qin, and Riley Waugh.
15:45  16:30Hopf and Bialgebras in Algebra, Topology and Physics
Ralph Kaufmann (Purdue University, Estados Unidos)
Together with Imma GalvezCarillo and Andy Tonks, we constructed Bi and Hopfalgebras from a threefold hierarchy, simplicial objects, Cooperads with multiplication and Feynman categories. The common theme is that the coproduct is a dualized composition product and the product iis an extra structure, which is free in the most prominent examples. These are the Hopf algebra of Baues in Topology, those of Goncharov and Brown in number theory, and those of Connes and Kreimer in mathematical physics. The natural structures are bialgebras and the Hopf algebras appear as a connected quotient.
Together with Yang Mo, we introduced the notion of a pathlike bialgebra in order to better understand the relationship between the bialgebras and the Hopf algebras, which allowed us to complete the picture. The usual Quillen condition of being connected is replaced by the socalled QuillenTakeushi filtration being exhaustive. This allows us to reduce the obstructions to having an antipode to (semi)grouplike elements. This theory comprises all the examples above as well as those of May as special cases. Finally, quotients now appear naturally as the universal quotient spaces through which characters with particular properties factor. The characters take values in RotaBaxteralgebras which are at the heart of the renormalization theory. This brings the theory full circle.
16:45  17:30Objective combinatorial bialgebras through decomposition spaces
Imma GálvezCarrillo (Universitat Politècnica de Catalunya, España)
Decomposition spaces (also known as 2Segal spaces) and the machinery of homotopy linear algebra allow us to realise objective combinatorial bialgebra structures, rendering classical combinatorial bialgebras once cardinalites are taken. In many cases such bialgebras are related, through CULF functors given by base change, Galois connection, duality, that descend to their numerical counterparts but provide deeper understanding of phenomena at the objective level. We will present a few important cases of such constructions, in particular relating to the bialgebras of MalvenutoReutenauner and of symmetric functions. Joint work in progress with Joachim Kock and Andrew Tonks.
17:30  18:15Discretization of euclidean space ,vector calculus and 3D incompressible fluids
Dennis Sullivan (Stony Brook University and City University of New York Graduate Center, Estados Unidos)
Overlapping cubical decompositions admit hodge star dualities and analogues of Grassman algebra for differential forms and multivector fields with their exterior d and the divergence operator differentials del. For these operators there are hierarchies of deformation corrections to the first order derivation structure of exterior d and the second order derivation structure of the divergence operator. These suggest computer codes with surprising properties. There is a joint paper in the Atiyah Memorial Volume 2021 with Ruth Lawrence and Nissim Ranade describing this discretization with explicit calculations of the deformations.The computer studies are in progress.

Friday 17
15:00  15:45Remarks concerning moduli spaces in quantum toric geometry
Ernesto Lupercio (Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, México)
Quantum toric geometry generalizes toric geometry just as the quantum torus generalizes the usual torus. In this talk I will explain how this theory comes about. Also, this generalization of toric geometry is amenable to the definition of new moduli spaces (of quantum toric manifolds) and opens up many interesting questions regarding the geometry and topology of these moduli spaces. This is joint work with Katzarkov, Meersseman and Verjovsky.15:45  16:30Cut cotorsion pairs
Marco Perez (Universidad de la República, Uruguay)
In this talk, I shall present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations of objects restricted to certain subcategories. Several applications will be given in the settings of relative Gorenstein homological algebra and chain complexes, as well as to characterize some important results on the Finitistic Dimension Conjecture, the existence of right adjoints of quotient functors by Serre subcategories, and the description of cotorsion pairs in triangulated categories as cotstructures.
This is a joint work with Mindy Huerta and Octavio Mendoza (Instituto de Matemáticas  Universidad Nacional Autónoma de México).
16:45  17:30Variants of the Waldhausen Sconstruction
Julie Bergner (University of Virginia, Estados Unidos)
The Sconstruction, first defined in the setting of cofibration categories by Waldhausen, gives a way to define the algebraic Ktheory associated to certain kinds of categorical input. It was proved by GalvezCarrillo, Kock, and Tonks that the result of applying this construction to an exact category is a decomposition space, also called a 2Segal space, and Dyckerhoff and Kapranov independently proved the same result for the slightly more general input of protoexact categories. In joint work with Osorno, Ozornova, Rovelli, and Scheimbauer, we proved that these results can be maximally generalized to the input of augmented stable double Segal spaces, so that the Sconstruction defines an equivalence of homotopy theories. In this talk, we'll review the Sconstruction and the reasoning behind these stages of generalization. Time permitting, we'll discuss attempts to characterize those augmented stable double Segal spaces that correspond to cyclic spaces, which is work in progress with Walker Stern.
17:30  18:15Classifying stacky vector bundles
Matías del Hoyo (Universidade Federal Fluminense, Brasil)
Lie groupoids up to Morita equivalences serve as models for differentiable stacks, categorified spaces that generalize manifolds and orbifolds, and which are useful when dealing with singular quotients. Vector bundles over Lie groupoids have the tangent and cotangent constructions as prominent examples, and they admit a nice interpretation in terms of representations up to homotopy. In this talk, based on joint works with C. Ortiz, D. Stefani, and J. Desimoni, I will first discuss the Morita invariance of vector bundles, then describe the general linear 2groupoid, and finally present a classification of stacky vector bundles by the resulting 2Grassmannian.