Related papers: Iterated Extensions and Uniserial Length Categorie…

We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even…

The main goal of this paper is to introduce a framework for infinitesimal deformation problems, using new methods coming from operadic calculus. We construct an adjunction between infinitesimal deformation problems over some type of…

We prove a conjecture by Lusztig, which describes the tensor categories of perverse sheaves on affine flag manifolds, with tensor structure provided by truncated convolution, in terms of the Langlands dual group. We also give a geometric…

Let $(\mathcal{A},\Theta)$ be a length category. We introduce the notation of Gabriel-Roiter measure with respect to $\Theta$ and extend Gabriel's main property to this setting. Using this measure, when $(\mathcal{A},\Theta)$ satisfies some…

I present several applications of the Dirac inequality to the determination of isolated unitary representations and associated "spectral gaps" in the case of unramified principal series. The method works particularly well in order to attach…

This work provides the first step toward the classification of irreducible finite weight modules over twisted affine Lie superalgebras. We study all such modules whether the canonical central element acts as a nonzero multiple of the…

We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture existing notions, namely branch width, tree width and path width.…

Following the general idea of Schur--Weyl scheme and using two suitable symmetric groups (instead of one), we try to make more explicit the classical problem of decomposing tensor representations of finite and infinite symmetric groups into…

We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…

We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…

Deep learning, despite its remarkable achievements, is still a young field. Like the early stages of many scientific disciplines, it is marked by the discovery of new phenomena, ad-hoc design decisions, and the lack of a uniform and…

We introduce a new criterion which tests if a given decomposition of a given ternary form $T$ of even degree is unique. The criterion is based on the analysis of the Hilbert function of the projective set of points $Z$ associated to the…

In the first part of my talk I will explain a solution to the extension of Lie's problem on classification of "local continuous transformation groups of a finite-dimensional manifold" to the case of supermanifolds. (More precisely, the…

Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its input. We define a logic whose formulae, called "iterated…

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…

We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows…

We define a family of universal finite-dimensional highest weight modules for affine Lie algebras, we call these Weyl modules. We conjecture that these are the classical limits of the irreducible finite--dimensional representations of the…

We construct all cuspidal l-modular representations of a unitary group in three variables attached to an unramified extension of local fields of odd residual characteristic p with l\neq p. We describe the l-modular principal series and show…

We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of…

The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…