Related papers: The Cuboid Lemma and Mal'tsev categories
An algebraic variety is called $\mathbb{A}^{1}$-cylindrical if it contains an $\mathbb{A}^{1}$-cylinder, i.e. a Zariski open subset of the form $Z\times\mathbb{A}^{1}$ for some algebraic variety Z. We show that the generic fiber of a family…
We introduce the notion of star-symmetry for relations in a multi-pointed category and use it to obtain a characterization of the projective covers of 2-star-permutable categories. This generalizes the results of Rosick\'y-Vitale for…
We prove that the Balmer spectrum of a tensor triangulated category is homeomorphic to the Zariski spectrum of its graded central ring, provided the triangulated category is generated by its tensor unit and the graded central ring is…
We modify the axioms of triangulated categories to include both higher triangles and distinguished maps of higher triangles. The distinguished maps are specializations of Neeman's ``good'' maps of $2$-triangles. The axioms both simplify…
We face the problem of characterizing the periodic cases in parametric families of (real or complex) rational diffeomorphisms having a fixed point. Our approach relies on the Normal Form Theory, to obtain necessary conditions for the…
Classification of AS-regular algebras is one of the most important projects in noncommutative algebraic geometry. Recently, Itaba and the first author gave a complete list of defining relations of $3$-dimensional quadratic AS-regular…
We classify 4-dimensional austere submanifolds in Euclidean space ruled by 2-planes. The algebraic possibilities for second fundamental forms of an austere 4-fold M were classified by Bryant, falling into three types which we label A, B,…
Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking that a model satisfies the adhesivity properties is sometimes…
Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…
In this paper we take up again the deformation theory for $K$-linear pseudofunctors initiated in a previous work (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of a 2-cosemisimplicial object in an arbitrary 2-category and…
An algebraic category $\mathcal{C}$ is called balanced if the cotriple cohomology of any object of $\mathcal{C}$ vanishes in positive dimensions on injective coefficient modules. Important examples of balanced and of non-balanced categories…
We define Schur categories, $\Gamma^d \mathcal C$, associated to a $\Bbbk$-linear category $\mathcal C$, over a commutative ring $\Bbbk$. The corresponding representation categories, $\mathbf{rep}\, \Gamma^d\mathcal C$, generalize…
In the framework of deformation quantization we define formal KMS states on the deformed algebra of power series of functions with compact support in phase space as C[[\lambda]]-linear functionals obeying a formal variant of the usual KMS…
A unitary equivalence class of endomorphisms of a unital C$^{*}$-algebra ${\cal A}$ is called a {\it sector} of ${\cal A}$. We introduced permutative endomorphisms of the Cuntz algebra ${\cal O}_N$ in the previous work. Branching laws of…
We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…
We classify (possibly non commutative) algebras of low rank over a domain R. We first review results for algebras of rank 2 and for finite-dimensional division algebras over the real numbers. These results motivate us to consider which…
We construct three classes of generalised orbifolds of Reshetikhin-Turaev theory for a modular tensor category $\mathcal{C}$, using the language of defect TQFT from [arXiv:1705.06085]: (i) spherical fusion categories give orbifolds for the…
We propose the categorification of the algebraic analysis as the Leibniz 3-category given by generators and relations, including the Leibniz 3-cell relation. The Leibniz category offers the `most general' `(co-)derivation' 3-cell. We…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated…