Related papers: Real algebraic geometry for matrices over commutat…
Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellens\"atze. However, there is a nascent subfield of real algebra which…
We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A…
We study discrete orderings in the real spectrum of a commutative ring by defining discrete prime cones and give an algebro-geometric meaning to some kind of diophantine problems over discretely ordered rings. Also for a discretely ordered…
The present paper continues our foundational work on real algebra with preordered commutative semifields and semirings. We prove two abstract Vergleichsstellens\"atze for preordered commutative semirings of polynomial growth. These…
We define the notion of central orderings for a general commutative ring $A$ which generalizes the notion of central points of irreducible real algebraic varieties. We study a central and a precentral loci which both live in the real…
Let $K\langle X\rangle =K\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over a field $K$, and let $R\langle X\rangle =R\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over an arbitrary commutative ring…
Certain axiomatic notions of $\textit{affine space}$ over a ring and $\textit{convex space}$ over a preordered ring are examples of the notion of $\mathcal{T}$-algebra for an algebraic theory $\mathcal{T}$ in the sense of Lawvere. Herein we…
Centrosymmetric matrices of order $n$ over an arbitrary algebra $R$ form a subalgebra of the full $n\times n$ matrix algebra over $R$. It is called the centrosymmetric matrix algebra of order $n$ over $R$ and denoted by $S_n(R)$. We prove…
We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…
We study Morita rings $\Lambda_{(\phi,\psi)}=\bigl({smallmatrix} A &_AN_B_BM_A & B {smallmatrix}\bigr)$ in the context of Artin algebras from various perspectives. First we study covariant finite, contravariant finite, and functorially…
The usual dictionary between geometry and commutative algebra is not appropriate for Arithmetic geometry because addition is a singular operation at the "Real prime". We replace Rings, with addition and multiplication, by Props (=strict…
The aim of the papers is to describe the left regular left quotient ring ${}'Q(R)$ and the right regular right quotient ring $Q'(R)$ for the following algebras $R$: $\mS_n=\mS_1^{\t n}$ is the algebra of one-sided inverses, where…
Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many interesting and promising applications in the fields of…
Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of $^*$-algebras over a ring $\ring C$ which is the quadratic extension by $\im$ of an ordered ring $\ring R$.…
Artin-Schelter regular algebras can be thought of as noncommutative versions of commutative polynomial rings, modeled after the special homological properties polynomial rings have as graded rings. First defined by Artin and Schelter in…
In this work, we propose to study noncommutative geometry using the language of categories of sheaves of algebras with polynomial identities and their properties, introducing new (graded) noncommutative geometries. These include, for…
The usual language of algebraic geometry is not appropriate for Arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace rings by the collection of "vectors" or by…
We extend classical results on the classification of reversible elements of the group $\mathrm{GL}(n, \mathbb{C})$ (and $\mathrm{GL}(n, \mathbb{R})$) to $\mathrm{GL}(n, \mathbb{H})$ using an infinitesimal version of the classical…
We develop an approach to noncommutative algebraic geometry ``in the perturbative regime" around ordinary commutative geometry. Let R be a noncommutative algebra and A=R/[R,R] its commutativization. We describe what should be the formal…
The main goal of the paper is the discussion of a deeper interaction between matrix theory over polynomial rings over a field and typical methods of commutative algebra and related algebraic geometry. This is intended in the sense of…