Related papers: Invariants for isomorphism classes in the category…

The quantum lens spaces form a natural and well-studied class of noncommutative spaces which can be subjected to classification using algebraic invariants by drawing on the fully developed classification theory of unital graph…

We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism…

Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was subsequently generalized to locally Cartesian closed…

Thurston defined invariant laminations, i.e. collections of chords of the unit circle $S^1$ (called \emph{leaves}) that are pairwise disjoint inside the open unit disk and satisfy a few dynamical properties. To be directly associated to a…

We define two invariants for (semiprime right Goldie) algebras, one for algebras graded by arbitrary abelian groups, which is unchanged under twists by $2$-cocycles on the grading group, and one for $\mathbb Z$-graded or $\mathbb Z_{\ge…

Bakalov, Kac and Voronov introduced Leibniz conformal algebras (and their cohomology) as a non-commutative analogue of Lie conformal algebras. Leibniz conformal algebras are closely related to field algebras which are non-skew-symmetric…

The present paper gives an explicit classification of the isomorphism classes of non-hyperelliptic genus 4 curves over an algebraically closed field of characteristic 0. A non-hyperelliptic genus 4 curve lies on a quadric in $\mathbb{P^3}$…

We show that in the presence of a geometric condition such as non-negative Ricci curvature, the distributional category of a manifold may be used to bound invariants, such as the first Betti number and macroscopic dimension, from above.…

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…

We introduce an infinite family of quantum enhancements of the biquandle counting invariant we call biquandle virtual brackets. Defined in terms of skein invariants of biquandle colored oriented knot and link diagrams with values in a…

We show that the Elliott invariant is a classifying invariant for the class of $C^*$-algebras that are simple unital infinite dimensional inductive limits of sequences of finite direct sums of building blocks of the form $$ \{f\in…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules…

Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…

We observe that any knot invariant extends to virtual knots. The isotopy classification problem for virtual knots is reduced to an algebraic problem formulated in terms of an algebra of arrow diagrams. We introduce a new notion of finite…

Let a differential 4D-manifold with a smooth coframe field be given. Consider the operators on it that are linear in the second order derivatives or quadratic in the first order derivatives of the coframe, both with coefficients that depend…

In this paper we classify the isomorphism classes of four dimensional nilpotent associative algebras over a field F, studying regular subgroups of the affine group AGL_4(F). In particular we provide explicit representatives for such classes…

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

We consider the Lambek invariants (introduced by Joachim Lambek in 1964) in the context of semiexact and homological categories in the sense of Grandis. We generalize the Lambek isomorphism theorem to semiexact and homological categories.…

A genus one curve of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our…