Related papers: A finitely presented ${E}_{\infty}$-prop I: algebr…
A description is given of those sequences ${\Bbb S}= (S(0),S(1),\dots,S(l))$ of simple modules over a finite dimensional algebra for which there are only finitely many uniserial modules with consecutive composition factors…
We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, which allows…
The representation theory of a 3-dimensional Sklyanin algebra $S$ depends on its (noncommutative projective algebro-) geometric data: an elliptic curve $E$ in $\mathbb{P}^2$, and an automorphism $\sigma$ of $E$ given by translation by a…
Finite versions of W-algebras are introduced by considering (symplectic) reductions of finite dimensional simple Lie algebras. In particular a finite analogue of $W^{(2)}_3$ is introduced and studied in detail. Its unitary and non-unitary,…
The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…
A theory of $\infty$-properads is developed, extending both the Joyal-Lurie $\infty$-categories and the Cisinski-Moerdijk-Weiss $\infty$-operads. Every connected wheel-free graph generates a properad, giving rise to the graphical category…
For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…
The main goals of the present paper are to determine the structure of the $C^\ast$-algebras associated to a finitely presented system and to develop the basic theory of the Ruelle algebras associated to a general synchronizing system. The…
Using the description of enriched $\infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $\infty$-operads as certain modules in symmetric sequences. For $\mathbf{V}$ a symmetric monoidal model…
A classical E-infinity operad is formed by the bar construction of the symmetric groups. Such an operad has been introduced by M. Barratt and P. Eccles in the context of simplicial sets in order to have an analogue of the Milnor…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…
Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic…
Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to…
We study the (complex) Hecke algebra $\mathcal{H}_S(\mathbf{q})$ of a finite simply-laced Coxeter system $(W,S)$ with independent parameters $\mathbf{q} \in \left( \mathbb{C} \setminus\{\text{roots of unity}\} \right)^S$. We construct its…
We explore connections between stellar moves on simplicial complexes (these are fundamental operations of combinatorial topology) and projective Fra{\"i}ss{\'e} limits (this is a model theoretic construction with topological applications).…
We introduce simple models for associative algebras and bimodules in the context of non-symmetric $\infty$-operads, and use these to construct an $(\infty,2)$-category of associative algebras, bimodules, and bimodule homomorphisms in a…
Let $\mathbb{E}_d$ denote the little discs operad for $1 \le d \le \infty$ and let $\mathcal{C}$ be an $\infty$-category all of whose mapping spaces are $n$-truncated. We prove that when considering $\mathbb{E}_d$-monoids in $\mathcal{C}$,…
Systems obtained by quotienting a subshift of finite type (SFT) by another SFT are called finitely presented in the literature. Analogously, if a sofic shift is quotiented by a sofic equivalence relation, we call the resulting system…
Let $S$ be a spinor bundle of a pseudo-Euclidean vector bundle $(E,\mathrm{g})$ of even rank. We introduce a new filtration on the algebra $\mathcal{D}(M,S)$ of differential operators on $S$. As main property, the associated graded algebra…