Related papers: Note on Representing $\aleph_0$-categorical Linear…

Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of…

We present an alternative account of the problem of classifying and finding normal forms for arbitrary bilinear forms. Beginning from basic results developed by Riehm, our solution to this problem hinges on the classification of…

Using techniques developed in [Lasserre02], we show that some minimum cardinality problems subject to linear inequalities can be represented as finite sequences of semidefinite programs. In particular, we provide a semidefinite…

Implicit computational complexity is a lively area of theoretical computer science, which aims to provide machine-independent characterizations of relevant complexity classes. % for uniformity with subsequent uses >> 1960s (but feel free to…

In the note, all indecomposable canonical forms of linear systems with dimension less than or equal to $4$ are determined based on Belitskii's algorithm. As an application, an effective way to calculate dimensions of equivalence classes of…

Shephard groups are unitary reflection groups arising as the symmetries of regular complex polytopes. For a Shephard group, we identify the representation carried by the principal ideal in the coinvariant algebra generated by the image of…

In this note, we study irreducible unitary representations of special linear groups of lower ranks, in terms of the matrix models of Gelfand-Naimark and Gelfand-Graev. Review of existing literature is provided. We also add some new…

In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simple forms of the \emph{comma} categories and were introduced…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by…

Category theory can be used to state formulas in First-Order Logic without using set membership. Several notable results in logic such as proof of the continuum hypothesis can be elegantly rewritten in category theory. We propose in this…

The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category…

In this article, we give the classification of normal del Pezzo surfaces of rank one with at most log canonical singularities containing the affine plane defined over an algebraically non-closed field of characteristic zero. As an…

A generic extension $L[x]$ of $L$ by a real $x$ is defined, in which the $\mathsf E_0$-class of $x$ is a lightface $\Pi^1_2$ set containing no ordinal-definable reals.

We extend the work in a previous paper with David Li-Bland (arXiv:1401.7302) to construct the Wehrheim-Woodward category WW($G\mathbf{SLREL}$) of equivariant linear canonical relations between linear symplectic $G$-spaces for a compact…

Regular logic is the fragment of first order logic generated by $=$, $\top$, $\wedge$, and $\exists$. A key feature of this logic is that it is the minimal fragment required to express composition of binary relations; another is that it is…

Based on an idea in [Gan--Savin, Represent. Theory (2005)], we give a classification of minimal representations of connected simple real Lie groups not of type $A$. Actually, we prove that there exist no new minimal representations up to…

We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…

Canonical orders, introduced in the minimal model program for orders, are simultaneous generalisations of Kleinian singularities and their associated skew group rings. In this paper, we construct minimal resolutions of canonical orders via…

The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a…