Related papers: Projective real calculi over matrix algebras

The projection onto the intersection of sets generally does not allow for a closed form even when the individual projection operators have explicit descriptions. In this work, we systematically analyze the projection onto the intersection…

Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $\Lambda$ is graded by lengths of paths. The paper addresses the classifiability, via…

We classify covariant metrics (in the sense of Beggs and Majid) on a class of quantum homogeneous spaces. In particular, our classification implies the existence of a unique (up to scalar) quantum symmetric covariant metric on the…

The work of the first author on the moment map for representations of quivers included a classification of the possible dimension vectors of simple modules for deformed preprojective algebras. That classification was later used to solve an…

We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…

This paper studies biderivations on finite-dimensional complex semisimple Lie algebras to their finite-dimensional modules. More precisely, we prove that all such symmetric biderivations are trivial. As applications, we determine all…

This article gives an introduction for mathematicians interested in numerical computations in algebraic geometry and number theory to some recent progress in algorithmic number theory, emphasising the key role of approximate computations…

While every matrix algebra over a field $K$ can be realized as a Leavitt path algebra, this is not the case for every graded matrix algebra over a graded field. We provide a complete description of graded matrix algebras over a field,…

In these notes we explore a variety of models comprising a large number of constituents. An emphasis is placed on integrals over large Hermitian matrices, as well as quantum mechanical models whose degrees of freedom are organised in a…

In functional analysis there are several reasonable approaches to the notion of a projective module. We show that a certain general-categorical framework contains, as particular cases, all known versions. In this scheme, the notion of a…

This expository note delves into the theory of projective modules parallel to the one developed for injective modules by Matlis. Given a perfect ring $R$, we present a characterization of indecomposable projective $R$-modules and describe a…

To understand the structure of an algebraic variety we often embed it in various projective spaces. This develops the notion of projective geometry which has been an invaluable tool in algebraic geometry. We develop a perfectoid analog of…

We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform…

We give an explicit algorithm to compute a projective resolution of a module over the noncommutative ring based on the noncommutative Groebner bases theory.

Given a smooth projective variety $X$ over a field, consider the $\mathbb Q$-vector space $Z_0(X)$ of 0-cycles (i.e. formal finite $\mathbb Q$-linear combinations of the closed points of $X$) as a module over the algebra of finite…

We study thick subcategories of the category of 2-term complexes of projective modules over an associative algebra. We show that those thick subcategories that have enough injectives are in explicit bijection with 2-term silting complexes…

We give a general theory of generalised inverses and we explain the link with the theory of finitely generated projective modules. All the paper is written in constrctive mathematics in Bishop style. So all results do have a clear…

We study covariant derivatives on a class of centered bimodules $\mathcal{E}$ over an algebra A. We begin by identifying a $\mathbb{Z} ( A ) $-submodule $ \mathcal{X} ( A ) $ which can be viewed as the analogue of vector fields in this…

In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.

Given a real algebraic curve, embedded in projective space, we study the computational problem of deciding whether there exists a hyperplane meeting the curve in real points only. More generally, given any divisor on such a curve, we may…