Related papers: The rank-nullity ring of a matroid
A skew polynomial ring $R=K[x;\sigma,\delta]$ is a ring of polynomials with non-commutative multiplication. This creates a difference between left and right divisibility, and thus a concept of left and right evaluations and roots. A…
Let $R$ be a right notherian ring. We introduce the concept of relative singularity category $\Delta_{\mathcal{X}}(R)$ of $R$ with respect to a contravariantly finite subcategory $\mathcal{X}$ of $\rm{mod}\mbox{-}R.$ Along with some…
We consider the moduli space of flat $SO(2n+1)$-connections (up to gauge transformations) on a Riemann surface, with fixed holonomy around a marked point. There are natural line bundles over this moduli space; we construct geometric…
We construct a cycle class map from the higher Chow groups of 0-cycles to the relative $K$-theory of a modulus pair. We show that this induces a pro-isomorphism between the additive higher Chow groups of relative 0-cycles and relative…
We give elementary and non-inductive proofs of three fundamental theorems about Chow rings of matroids: the standard monomial basis, Poincare duality, and the dragon-Hall-Rado formula. Our approach, which also works for augmented Chow rings…
Let $A$ be a Noetherian ring and let $\mathcal{R} = \bigoplus_{n \geq 0}\mathcal{R}_n$ be a standard graded ring with $\mathcal{R}_0 = A$. We define a category $\mathfrak{A}(\mathcal{R})$ of graded $\mathcal{R}$-modules (not necessarily…
Let $R$ be a regular semi-local ring, essentially of finite type over an infinite perfect field of characteristic $p \ge 3$. We show that the cycle class map with modulus from an earlier work of the authors induces a pro-isomorphism between…
The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…
We construct ensembles of random integrable matrices with any prescribed number of nontrivial integrals and formulate integrable matrix theory (IMT) -- a counterpart of random matrix theory (RMT) for quantum integrable models. A type-M…
We describe the $G$-equivariant Grothendieck ring of a regular compactification $X$ of an adjoint symmetric space $G/H$ of minimal rank. This extends the results of Brion and Joshua for the equivariant Chow ring of wonderful symmetric…
For a division ring $D$, denote by $\mathcal M_D$ the $D$-ring obtained as the completion of the direct limit $\varinjlim_n M_{2^n}(D)$ with respect to the metric induced by its unique rank function. We prove that, for any ultramatricial…
In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these…
In $1980$ White conjectured that every element of the toric ideal of a matroid is generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture for high degrees with respect to the rank. This extends our…
This paper studies the set of $n\times n$ matrices for which all row and column sums equal zero. By representing these matrices in a lower dimensional space, it is shown that this set is closed under addition and multiplication, and…
A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…
By the planarity rank of a semigroup variety we mean the largest number of generators of a free semigroup of a variety with respect to which the semigroup admits a planar Cayley graph. Since the time when L.M.Martynov formulated the problem…
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
A root system $\Phi$ of rank $n$ determines an $n$-dimensional smooth projective toric variety $X(\Phi)$ associated with the fan of its Weyl chambers. For the root system of type $A_n$, this variety is the well-known permutohedral variety…
We give a presentation of the cohomology ring of spatial polygon spaces $M(r)$ with fixed side lengths $r \in \mathbb R^n_+$. These spaces can be described as the symplectic reduction of the Grassmaniann of 2-planes in $\mathbb C^n$ by the…