As this is an interdisciplinary event, we kindly remind everyone to be aware of the varied academic of participants at this conference.
Title: Demushkin groups of infinite rank in Galois theory.
Abstract: One of the most interesting open questions in Galois theory these days is: Which profinite groups can be realized as absolute Galois groups of fields? Restricting our focus to the one-prime case, we begin with a simpler question: Which pro-p groups can be realized as maximal pro-p Galois groups of fields?
For the finitely generated case over fields that contain a primitive root of unity of order p, we have a comprehensive conjecture, known as the Elementary Type Conjecture by Ido Efrat, which claims that every f.g. pro-p group which can be realized as a maximal pro-p Galois group of a field containing a primitive root of unity of order p, can be constructed from free pro-p groups and f.g. Demushkin groups, using free pro-p products and a certain semi-direct product.
The main objective of the presented work is to investigate the class of infinitely-ranked pro-p groups which can be realized as maximal pro-p Galois groups. Inspired by the Elementary Type Conjecture, we start our research with two main directions:
1. Generalizing the definition of Demushkin groups to arbitrary rank and studying their realization as absolute maximal pro-p Galois groups.
2. Investigating the possible realization of a free (pro-p) product of infinitely many absolute Galois groups.
Title: Hochschild cohomology for finite-dimensional algebras
Abstract: We discuss Hochschild cohomology HH^*(\Lambda) of a finite dimensional algebra \Lambda and applications to representation theory.
For this, it is natural to view HH^*(\Lamda) as the ext algebra of \Lamda as a bimodule. It is graded commutative, and the question is whether it can be used to define support varieties for \Lamda-modules, generalising what is done with group cohomology.
This needs suitable finite generation properties. It is open in general when these hold, we will give examples and explain consequences.
Title: Uniqueness of rational equivariant K-theory
Abstract: The study of cohomology theories leads to the study of spectra, their representing objects. These are complicated objects with complicated structures. However, they become much simpler, and in fact algebraic, when we work rationally. We will use rational algebraic models to look at the equivariant cohomology theories representing real and complex vector bundles.
Title: Fast Topological Signal Identification and Persistent Cohomological Cycle Matching
Abstract: Within the context of topological data analysis, the problems of identifying topological significance and matching signals across datasets are important and useful inferential tasks in many applications. The limitation of existing solutions to these problems, however, is computational speed. In this work, we harness the state-of-the-art for persistent homology computation by studying the problem of determining topological prevalence and cycle matching using a cohomological approach, which increases their feasibility and applicability to a wider variety of applications and contexts. We demonstrate this on a wide range of real-life, large-scale, and complex datasets. We extend existing notions of topological prevalence and cycle matching to include general non-Morse filtrations. This provides the most general and flexible state-of-the-art adaptation of topological signal identification and persistent cycle matching, which performs comparisons of orders of ten for thousands of sampled points in a matter of minutes on standard institutional HPC CPU facilities. Joint work with Inés Garcia-Redondo and Anna Song.
Title: Cohomological finiteness conditions for topological groups
Abstract: I will give a quick introduction into the classical finiteness conditions FP_n and F_n for a discrete group and then explain how to extend these to certain topological groups. The search for discrete groups that are of type FP_n but not of type FP_{n+1} has a very interesting and rich history. In this talk will present a new family of discrete and topological groups with this property. This is joint work with I. Castellano, B. Marchionna, and Y. Santos-Rego.
Title: A homotopy perspective on spectral sequences
Abstract: The talk will present a hierarchy of homotopy theories associated with spectral sequences. Maps of spectral sequences which are quasi-isomorphisms on a fixed page can be thought of as weak equivalences. I will survey joint work with Muriel Livernet, and other collaborators J. Cirici, D. Egas Santander, X. Fu, A. Guan, situating such weak equivalences in a homotopy theory. This idea has been implemented for various categories with functorial spectral sequences, such as filtered chain complexes, and also more directly for spectral sequences themselves via a certain linear presheaf category modeled on disc objects. The approach provides insight into décalage functors on spectral sequences and I will also discuss potential applications.
See the titles and abstracts of the speakers below.
Title: Using Homology to Explore Hypergraph Structure in Biological Systems
Abstract: Glucocorticoids, a class of steroid hormones, play a key role in immune regulation, metabolism, and the stress response. In adrenal insufficiency, a condition where the adrenal glands do not produce enough glucocorticoids, patients rely on glucocorticoid replacement therapy. However, this is often over or under-replaced in the clinic, causing complications. My project aims to find markers of adequate glucocorticoid replacement in order to personalise treatment.
Traditional approaches to study biological networks often use pairwise associations, but this may not capture the complexity of the system. Hypergraphs, which allow for higher-order associations, are useful for integrating data from different tissues and omic layers and better modelling the complex system. Homology and persistent homology present powerful tools to analyse these hypergraphs, comparing the network structure in states of glucocorticoid exposure and withdrawal, and identifying biologically relevant changes.
Title: From String Theory to Quantum Cohomology and Quantum K-Theory: Insights into Gromov-Witten Invariants
Abstract: A method to calculate instanton corrections to the non-perturbative effects of the topological string is by finding the Gromov-Witten (GW) invariants. They are rational numbers that appear in the enumerative geometry of Calabi-Yau 3-folds and have applications in string theory. They arise in the topological A-model as counts of worldsheet instantons. GW invariants are also present in quantum K-theory; however, in this context these numbers are integers. In this work, we use the Atiyah-Bott localization method to compute the GW invariants in both contexts: quantum cohomology and quantum K-theory, for local Calabi-Yau manifolds. The final goal is to compare the results in both theories and provide an interpretation within string theory.
Title: Some Remarks on the Special Linear and Metalinear Algebraic Cobordism
Abstract: In classical topology, different cobordism theories can be thought of as universal cohomology theories with certain orientations. For example, complex cobordism $(\text{MU})$ is the universal complex oriented cohomology theory; that is cohomology theories with Thom isomorphism for every complex vector bundle. The analogous idea of different notions of orientations, and corresponding algebraic cobordism theories are well studied in $\mathds{A}^1$-homotopy theory. I will mostly talk about special linear, and \say{metalinear} orientations, and their corresponding universal algebraic theories in the context of $\mathds{A}^1$-homotopy theory. I would like to report on some ongoing computations of stable homotopy groups of special and metalinear algebraic cobordism. This is joint work in progress with Egor Zolotarev.
Title: Positivity in cohomology for algebraic varieties
Abstract: This talk will explain a special feature of the (co)homology of algebraic varieties, namely “positivity”. We’ll see where this positivity comes from, and what kind of information it can give us about a variety.
Title: Deforming Derived Categories
Abstract: It is well-known that the Hochschild cohomology of an algebraic object (such as an algebra or a linear category) should govern its deformations. In the case of a dg-category however, the Hochschild cohomology has been shown to parametrize not the dg-deformations, but the curved A-infinity deformations. This phenomenon is known as the curvature problem. We therefore seek a different deformation-theoretic interpretation of the Hochschild cohomology of a dg-category. Motivated by the example of the bounded derived category of an abelian category — which can be approached via the deformation theory of abelian categories in the sense of Lowen-Van den Bergh — we develop the deformation theory of other dg-categories with similar extra data: pretriangulated dg-categories with a t-structure, abbreviated to t-dg-categories.
In this talk, I will establish the deformation theory of t-dg-categories following the prototypical example of the bounded derived category of an abelian category, thus allowing for novel interpretations of the higher Hochschild cohomology groups also in this case. In particular, we will discuss a deformation equivalence between the bounded t-deformations of a bounded t-dg-category on the one hand, and dg-deformations of the dg-category of derived injective ind-dg-objects on the other hand. Since this latter dg-category is cohomologically concentrated in nonpositive degrees, we do not encounter curvature.
This is joint work with Francesco Genovese, Wendy Lowen and Michel Van den Bergh.
Title: Persistent Hochschild homology of directed graphs: From connectivity functors to reachability category
Abstract: There is currently an active interest in homotopy and homology theories in the world of graphs and directed graphs; discrete homotopy theory, magnitude homology and path homology are few prominent themes. Many of these also have incarnations in topological data analysis and persistent homology. In a joint work with Luigi Caputi we extend the use of Hochschild homology of directed graphs in persistence setting. We "lift" Hochschild homology to higher degrees via so called connectivity structures, of which I will present functorial examples. Unfortunately, to get an efficiently computable pipeline we have to resort to non-functorial constructions. To remedy this leads to defining the reachability category of a directed graph, and associated persistent reachability homology. In addition to application to persistence, basic equivalence of categories allows us to give a very direct proof that recently introduced commuting algebras are Morita equivalent to incidence algebras.
Title: Why Condensed Mathematics is Better than Topology
Abstract: The category PAb of profinite abelian groups is an abelian category with many nice properties, which allows us to do most of standard homological algebra. The category PAb naturally embeds into the category TAb of topological abelian groups, but TAb is not abelian, nor does it have a satisfactory theory of tensor products. On the other hand, PAb also naturally embeds into the category CondAb of "condensed abelian groups", which is an abelian category with nice properties. We will show that the embedding of profinite modules into condensed modules (actually, into "solid modules") preserves usual homological notions such Ext and Tor, so that the condensed world might be a better place to study profinite modules than the topological world.
Title: Homotopy transfer over rings and minimal models
Abstract: A classical theorem by Kadeishvili states that the information of an associative dg algebra over a field can be transferred without loss of (homotopical) information to a minimal A_\infty structure on its homology. In my talk, I will discuss this result and generalizations that simultaneously allow transferring commutative multiplications and working over a generic ground ring. One main tool is to work with diagrams of chain complexes indexed by finite sets and injections.