Algebra

A gentle quiver is the data of a finite connected directed graph together with a collection of paths of length two satisfying additional conditions. A resolving subcategory of its representations is an additive subcategory that contains the projective objects and is closed by extensions and epimorphism kernels. In our framework, such a subcategory can be described combinatorially via a collection of indecomposable representations stable under some computational conditions.

In this algebraic context, a goal is to describe all resolving subcategories. To this end, we restrict ourselves to gentle trees (the directed graph is a tree) and use a geometric model to see indecomposable representations as curves on a disk. We then construct an algorithm that will enable us to compute them explicitly.

After reviewing all the essential notions and giving some motivations to understand the context, I will explain how we first describe the monogeneous resolving subcategories (generated by a single indecomposable nonprojective representation). Then, I will give some words on the design of the algorithm that allows the construction of all the resolving subcategories of any gentle tree. If time allows, I will share some expectations we can have following those results (link with tilting representations, generalization to gentle quivers, graduated cases, etc...) — all of this with combinatorial and geometrical perspectives.

This is a joint work in progress with Michael Schoonheere.

Stability conditions are an important tool in algebraic geometry for constructing moduli varieties. When applied to the varieties of modules over a finite-dimensional algebra, they give rise to the algebraic notion of semistable modules, which are closely linked to $tau$-tilting theory and cluster algebras. To find these semistable modules, one can compute a special class of regular functions known as determinantal semi-invariants. In this talk, we will revisit the relation of these semi-invariants to projective presentations and explore semistability for varieties of projective presentations. We will recall that determinantal semi-invariants give rise to two interesting types of subcategories, namely, wide subcategories of the module category and thick subcategories of the extriangulated category of projective presentations. Finally, we will introduce an extriangulated version of the correspondences among support $tau$-tilting objects, torsion classes, and wide subcategories. This correspondence extends classical results to the context of projective presentations.

Quinn's Finite Total Homotopy TQFT is a TQFT (topological quantum field theory) defined for any dimension, $n$, of space, and that depends on the choice of a homotopy finite space, $B$. For instance, $B$ can be the classifying space of a finite group or of a finite 2-group.
I will report on recent joint work with Tim Porter on once-extended versions of Quinn's Finite total homotopy TQFT, taking values in the (symmetric monoidal) bicategory of groupoids, linear profunctors, and natural transformations between linear profunctors. The construction works in all dimensions, thus in particular it yields (0,1,2)-, (1,2,3)- and (2,3,4)-extended TQFTs, any time we are given a homotopy finite space $B$. I will show how to compute these once-extended TQFTs for the case when $B$ is the classifying space of a homotopy 2-type, represented by a crossed module of groups.

References: Faria Martins J, Porter T : A categorification of Quinn's finite total homotopy TQFT with application to TQFTs and once-extended TQFTs derived from strict omega-groupoids. arXiv:2301.02491 [math.CT].

Hopf-Galois theory provides an analogue to Galois theory for non-Galois extensions, of particular interest are separable but not necessarily normal extensions of fields. A Hopf-Galois structure consists of a cocommutative Hopf algebra over the base field and an action of this on the top field satisfying various conditions, this functions much like a Galois group though an extension may admit multiple distinct Hopf-Galois structures or none at all. As in classical Galois theory, we have a notion of the Hopf-Galois correspondence; the natural fix map from the Hopf sub-algebras of such a structure to the intermediate fields of the extension is always injective and inclusion reversing but, unlike for the Galois correspondence, it is not in general surjective. Much work has been done to determine when the Hopf-Galois correspondence is surjective and the skew brace has proved to be a fruitful tool in the Galois case. We introduce the skew bracoid, a generalisation of the skew brace that corresponds to Hopf-Galois extensions on separable extensions of fields and comprises two groups connected by a compatible transitive action. We then outline how the skew bracoid may be of use in the study of the Hopf-Galois correspondence in the separable case, providing some preliminary results.

This conference will put together researchers in the field of set-theoretical solutions of the Yang-Baxter equation, and related areas (in the broad sense), and discuss some of their different perspectives and incarnations, recent developments, applications, and future directions.

Given a (Dynkin) quiver $Q$ one can associate both a simple Lie algebra 𝔤 and the category of representations $Rep(Q)$ of $Q$. Early on it was realised that both associated objects are related, as for example beautifully illustrated by Gabriel's theorem. In this talk we will consider two associated categories of representations: (i) (some quotient of) the derived category $D^b(Rep(Q))$ and (ii) the finite dimensional representations of the quantum loop algebra $U_q(L𝔤)$. Although both look quit differently, we will delve into wished to be understood ties. The presented story will be one of categorifications of a common algebra with a rich combinatorial structure: a cluster algebra. The category (i) yields a so-called additive categorification and (ii) a monoidal one.  In the first half of the talk we will give a gentle and minimalistic introduction to the various objects and concepts mentioned. In the second half we will give an intuitive overview of recent conjectural connections and then finish by (very briefly) mentioning some ongoing contributions.

In this talk, I will show that a ring morphism $p:A ⟶ B$ satisfying certain mild assumptions induces a derived endomorphism of $A$ and a derived endomorphism of $B$, which are closely related. In fact, the derived endomorphism of $A$ is the twist around the restriction of scalars functor, and the derived endomorphism of $B$ is the corresponding cotwist. These endomorphisms are autoequivalences in certain settings, one of which is that of Frobenius exact categories. More precisely, assume that $A$ is the endomorphism algebra of an object in a Frobenius exact category satisfying mild assumptions and B is the corresponding stable endomorphism algebra. Then, if $B$ is "$n$-relatively spherical", I will show that both the twist and cotwist are equivalences. In fact, when $B$ is finite dimensional, "3-relatively spherical" is equivalent to self-injective, and the cotwist turns out to be a shift of the Nakayama autoequivalence of $B$. This technology can be used to construct new derived autoequivalences for very singular varieties.

We discuss the algebraic structure of KLR algebras by way of the diagrammatic Hecke categories of maximal parabolics of finite symmetric groups. Combinatorics (in the shape of Dyck tableaux) plays a huge role in understanding the structure of these algebras. Instead of looking only at the sets of Dyck tableaux (which enumerate the q-decomposition numbers) we look at the relationships for passing between these Dyck tableaux. In fact, this “meta-Kazhdan-Lusztig combinatorics” is sufficiently rich as to completely determine the Ext-quiver and relations presentation of these algebras.

Recall that a combinatorial solution of the Yang-Baxter equation is a tuple $(X,r)$, where $X$ is a non-empty set and $r: X \times X \rightarrow X \times X$ a (bijective) map such that on $X^3$ it holds that $$ (r \times \operatorname{id}_X) (\operatorname{id}_X \times r) (r \times \operatorname{id}_X) = (\operatorname{id}_X \times r)(r \times \operatorname{id}_X) (\operatorname{id}_X \times r).$$ One can then define the structure group $G(X,r)$/monoid $M(X,r)$ of a solution as the group/monoid generated by X with defining relations $xy = uv$ if $r(x,y)=(u,v)$. In this talk we talk we zoom in on the relation between $G(X,r)$ and a second group structure on this set, stemming from the behaviour of $r^2$. This led to the introduction of skew braces by Rump, and Guarnieri and Vendramin. Recall that a skew brace is a set $B$ with two group structures $(B,+)$ and $(B,\circ)$ that interact via a skew left distributivity condition, i.e. for any $a,b,c \in B$ one has that $a\circ (b+c) = (a \circ b) – a + (a\circ c)$. It turns out that these structures both generate and govern solutions. We will report in some recent advancements relating properties of skew braces to properties of its associated solution.

In the second part of the talk we will focus on the subclass of finite non-degenerate solutions. In the first part we discuss recent work on the structure of the monoid $M(X,r)$ and its monoid algebra $KM(X,r)$, where $K$ is an arbitrary field. In particular, we highlight the importance of the divisibility structure of $M(X,r)$ on the prime ideals of its algebra. Furthermore, we discuss how the homological properties of $KM(X,r)$ are akin to those of the polynomial algebra in several commuting variables. Concretely, a bound on the Gelfand-Kirillov and classical Krull dimension will be discussed. Moreover, some further homological properties can be shown to be equivalent to $r$ being an involution.

By a well-known procedure, usually referred to as "taking the classical limit", quantum systems become classical systems, equipped with a Hamiltonian stucture (symplectic or Poisson). From the deformation quantisation theory we know that a formal deformation of a commutative algebra $\mathcal{A}$ leads to a Poisson bracket on $\mathcal{A}$ and that the classical limit of a derivation on the deformation leads to a Hamiltonian derivation on $\mathcal{A}$ defined by the Poisson bracket. In this talk I present a generalisation of it for formal deformations of an arbitrary noncommutative associative algebra $\mathcal{A}$ [1]. I will show that a deformation leads to a commutative Poisson algebra structure on $\Pi(\mathcal{A}) := Z(\mathcal{A}) × (\mathcal{A}/Z(\mathcal{A}))$ and to the structure of a $\Pi(\mathcal{A})$-Poisson module on $\mathcal{A}$, where $Z(\mathcal{A})$ denotes the centre of $\mathcal{A}$. The limiting derivations are then still derivations of $\mathcal{A}$, but with the Hamiltonians belong to $\Pi(A)$, rather than to $A$. We illustrate our construction with several cases of formal deformations, coming from known quantum algebras, such as the ones associated with the Kontsevich integrable map, the quantum plane, the quantised Grassmann algebra and quantisations of the Volterra hierarchy [2, 3, 4].

This talk is based on a joint work with Pol Vanhaecke [1].
References
[1] Alexander V. Mikhailov and Pol Vanhaecke. Commutative Poisson algebras from deformations of noncommutative algebras. Lett. Math. Phys., 114(5), 1-51, 2024, arXiv:2402.16191v2.
[2] Alexander V. Mikhailov Quantisation ideals of nonabelian integrable systems. Russ. Math. Surv., 75(5):199, 2020, (arXiv:2009.01838), 2020).
[3] Sylvain Carpentier, Alexander V. Mikhailov and Jing Ping Wang. Quantisation of the Volterra hierarchy. Lett. Math. Phys., 112:94, 2022, (arXiv:2204.03095).
[4] Sylvain Carpentier, Alexander V. Mikhailov and Jing Ping Wang. Hamiltonians for the quantised Volterra hierarchy. Nonlinearity, 37(9), 095033 2024, arXiv:2312.12077