Related papers: Absolute matrix order ideals in absolute matrix or…
We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations.
We establish an Excision type theorem for niceness of group structure on the orbit space of unimodular rows of length $n$ modulo elementary action. This permits us to establish niceness for relative versions of results for the cases when $n…
The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.
In this paper, we revisit the theory of perfect unary forms over real quadratic fields. Specifically, we deduce an infinite family of real quadratic fields $\mathbb{Q}(\sqrt{d})$ when $d=2$ or $3$ mod $4$, such that there are three classes…
We describe how self-adjoint ordered operator spaces, also called non-unital operator systems in the literature, can be understood as $*$-vector spaces equipped with a matrix gauge structure. We explain how this perspective has several…
We establish several finiteness properties of groups defined by algebraic difference equations. One of our main results is that a subgroup of the general linear group defined by possibly infinitely many algebraic difference equations in the…
A notion of partial ideal for an operator algebra is a weakening the notion of ideal where the defining algebraic conditions are enforced only in the commutative subalgebras. We show that, in a von Neumann algebra, the ultraweakly closed…
In this paper we investigate some properties of ideals in group algebras of finite groups over fields. First, we highlight an important link between their dimension, their minimal Hamming distance and the group order. This is a generalized…
We define and study preorderings and orderings on rings of the form $M_n(R)$ where $R$ is a commutative unital ring. We extend the Artin-Lang theorem and Krivine-Stengle Stellens\"atze (both abstract and geometric) from $R$ to $M_n(R)$.…
In this paper we solve a problem, originally raised by Grothendieck, on the transfer of Cohen-Macaulayness to tensor products of algebras over a field. As a prelude to this, we investigate the grade for some specific types of ideals that…
A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables…
We let S denote the ring of polynomial functions on the space of m x n matrices, and consider the action of the group GL = GL_m x GL_n via row and column operations on the matrix entries. For a GL-invariant ideal I in S we show that the…
This note computes a Gr\"obner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gr\"obner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size.…
In this paper we give a first study of perfect copositive $n \times n$ matrices. They can be used to find rational certificates for completely positive matrices. We describe similarities and differences to classical perfect, positive…
Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…
Starting with any R-matrix with spectral parameter, obeying the Yang-Baxter equation and a unitarity condition, we construct the corresponding infinite dimensional quantum group U_{R} in term of a deformed oscillators algebra A_R. The…
Inspired by a recent novel work of Good and Meddaugh, we establish fundamental connections between shadowing, finite order shifts, and ultrametric complete spaces. We develop a theory of shifts of finite type for infinite alphabets. We call…
In this article we produce Groebner bases for the defining ideal of a monomial curve that corresponds to an almost arithmetic sequence of positive integers, correcting previous work of Sengupta,(2003).
Arithmetic groups are groups of matrices with integral entries. We shall first discuss their origin in number theory (Gauss, Minkowski) and their role in the "reduction theory of quadratic forms". Then we shall describe these groups by…
In this paper we describe the categories $\mathbb{L}_R$ , [$\mathbb{R}_R$] whose objects are left [right] ideals of a Noetherian ring $R$ with unity and morphisms are appropriate $R$-linear transformations. Further it is shown that these…