Semirings

2026-06-10T06:05:28Z

We survey theory developed over the past 10 years of semirings which need not be additively cancellative. The main features are a specified ``null ideal'' $\mcA_0$ of a semiring $\mcA,$ taking the place of a zero element, and a ``surpassing relation,'' taking the place of equality, which permit generalizations of the classical algebraic theory to polynomials and their roots, algebraic geometry, matrices, linear algebra, varieties, categories, and module theory. The ``pair'' $(\mcA,\mcA_0)$ is studied along the lines of universal algebra.

$τ$-tilting modules, depth and delooping level

2026-06-10T05:53:54Z

Let $A$ be a finite-dimensional basic algebra over an algebraically closed field $K$, $T$ a finitely generated $τ$-tilting right $A$-module and $B={\rm End}_A T$. Denote by ${\rm Fac}T$ the subcategory of finitely generated right $A$-modules generated by $T$. We define the depth relative to $T$ and the delooping level relative to $T$ and show that the finitistic dimension of the opposite algebra of $B$ is bounded by the depth of $\textup{Fac}T$ relative to $T$ and the delooping level of $\textup{Fac}T$ relative to $T$. We give applications to the finitistic dimension conjecture. More precisely, we show that if $A$ is a minimal representation infinite algebra or an algebra of finite representation type, then the finitistic dimension of $B^{op}$ is finite.

Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

2026-06-10T04:51:33Z

The category of noncommutative quadratic quadric hypersurfaces, ${\tt Quad}\text{-}{\tt QHS}$, consists of pairs $(A, f)$, where $A$ is a quadratic algebra and $f \in A$ is a nonzero degree $2$ element. We associate to such $(A, f)$ a pair $(\bar{A}^!, f^!)$, and show that this association makes ${\tt Quad}\text{-}{\tt QHS}$ into a category with duality. We construct a faithful functor from the category of graded modules over $\bar{A}^!$ to the homotopy category of curved DG modules over a canonical curved DG algebra $(A \otimes \bar{A}^!, d, f \otimes f^!)$. If $A$ satisfies the left strong rank condition and $f \in A$ is not a right zero divisor, we show that the restriction of our functor to a natural full subcategory of the category of graded modules over $\bar{A}^!$ is valued in a stable category of noncommutative matrix factorizations of $f$. When $A$ is Koszul of finite global dimension and $f \in A$ is normal and regular, we prove that the even Clifford algebra, $\bar{A}^![(f^!)^{-1}]_0$, is isomorphic to a canonical PBW-deformation of a Zhang twist of the $2$-Veronese subalgebra of the Koszul dual $A^!$. Finally, we study several classes of Artin-Schelter regular algebras to illustrate our results.

On three-dimensional associative algebras

2026-06-10T04:23:04Z

This paper addresses the classification problem of associative algebras over arbitrary base fields. We present a list of three-dimensional associative algebras with canonical representatives of the isomorphism classes for fields of characteristic different from two and three. We also compare our lists with the most recent classifications over the complex numbers and with the nilpotent case over arbitrary base fields in dimension three, adding some comments.

Singular Hochschild complex and Cartan matrix

2026-06-10T04:04:07Z

If A is a symmetric algebra, then Hochschild homology of the dg enhancement of the singularity category of A agrees with singular Hochschild homology of A. For a basic finite dimensional k algebra A, the Cartan matrix of A is symmetric if and only if the k dual of the mixed complex of the dg enhancement of its singularity category is isomorphic to its shift by -1. We provide two counterexamples to show that neither result holds for general Frobenius algebras.

A note on Boolean inverse monoids and ample groupoids

2026-06-10T01:11:32Z

It is a study note detailing the connection between Boolean inverse monoids and ample groupoids.

Graded identities of the first Weyl algebra and its generalizations

2026-06-09T22:40:28Z

We study the graded polynomial identities of the first Weyl algebra $W_1$ over an infinite field. The algebra $W_1$ satisfies no ordinary polynomial identities in characteristic 0. It admits a natural grading by the infinite cyclic group $\mathbb{Z}$. We construct a basis of the $\mathbb{Z}$-graded identities of $W_1$, which consists of a single identity. It expresses the fact that the degree 0 component in the grading is commutative. It is also well known that if the characteristic of the base field is $p>2$, then $W_1$ satisfies the same identities as the full matrix algebra of order $p$. In this situation, we describe the $\mathbb{Z}_p$-graded identities of $W_1$. Afterwards, using various combinatorial and algebraic tools we consider graded identities for various types of algebras generalizing the Weyl algebras. For example, we show that $\mathbb{Z}$-graded Galois rings in characteristic 0 satisfy the same graded identities as $W_1$ when they embed in a shift operator algebra $\mathcal{S}_1$, and as a consequence we obtain that these $\mathbb{Z}$-graded Galois rings are not PI. The same holds for the algebra of differential operators on $1$-dimensional torus. We obtain similar results for generalized Weyl algebras. We also deal with the graded identities for the quantum Weyl algebras and for the quantum plane. It turns out that in the latter case and when $q$ is the $\ell$-th primitive root of unity, one is led to study gradings by the group $\mathbb{Z}_\ell\times \mathbb{Z}_\ell$. In this case the quantum plane satisfies the same graded identities as the matrix algebra of order $\ell$. Finally we construct a natural $\mathbb{Z}$-grading on the universal enveloping algebra of $\mathfrak{sl}_2$, and prove that its $\mathbb{Z}$-graded identities are the same as those of $W_1$, in characteristic $0$.

On the Positivity of a Class of Cauchy-Like Matrices

2026-06-09T16:59:14Z

Let $0<λ_1<\cdots<λ_n$. Motivated by a problem related to Lyapunov equations we consider a class of Cauchy-like matrices whose elements have the form $C_{ij}=\frac{r_i(k,l)+r_j(k,l)}{λ_i+λ_j},$ where for any pair $1\le k,l\le n$, $r_i(k,l)$ are functions of $\{λ_1,\cdots,λ_n\}\setminus λ_i$. We show that these matrices are positive semidefinite for every pair $1\le k,l\le n$. After passing to the reciprocal variables $x_i=1/λ_i$, the problem is reduced by a diagonal congruence to the positivity of a two-parameter family $A_n^{(p,q)}(x)$. The proof introduces a singular augmented matrix $\mathcal H_n^{(p,q)}(x)$, proves its singularity by Cauchy-kernel generating function identities, and then proves positive semidefiniteness by induction on $n$ using the principal-minor criterion.

Affine Supertrusses and Superbraces

2026-06-09T16:51:55Z

Brzeziński's trusses are ``ring-like'' algebraic structures in which the addition is replaced with an abelian heap operation and the binary product satisfies a natural distributivity rule of the ternary product. The question of how to define ($\mathbb{Z}_2$-graded) super-versions of trusses is addressed in this note. Taking our cue from the theory of algebraic supergroups, we define an affine supertruss as a representable functor from the category of unital associative supercommutative superalgebras to the category of trusses. The representing superalgebras are equipped with a `cotruss' structure--a new concept in itself. We show that from an affine supertruss one can construct an affine superbrace, and so generalise Rump's braces to supermathematics. As an application of these constructions, we propose a generalisation of the set-theoretic Yang--Baxter equation to the setting of affine superschemes.

Lie triple 2-algebras

2026-06-09T16:46:35Z

We invent a new cohomology theory for Lie triple algebras. Using this cohomology, we introduce the notions of 2-term $L_\infty$-triple algebras and Lie triple 2-algebras. We prove that the category of 2-term $L_\infty$-triple algebras is equivalent to the category of Lie triple 2-algebras. Crossed modules of Lie triple algebras are studied in detail.

On matrix polynomials and the joint spectral radius over max-algebras

2026-06-09T15:29:26Z

Our aim is to study matrix polynomials over max-algebras and their growth in terms of max-induced seminorms. In particular, we compare the set growth of a bounded family $Ψ$ of matrix polynomials, measured in terms of the seminorms $η_{\|\cdot\|}$ and $\hatη_{\|\cdot\|}$ with the induced joint spectral radius of the coefficient pool $Ψ_0$ of the matrix polynomials. Dynamics of max-linear maps and convergence to periodic points under a single joint spectral radius condition and the existence of common max-eigenvectors of the coefficient pool are also brought out.

Frobenius--Perron dimension and tensor products of algebras

2026-06-09T14:53:10Z

In this paper, we study how the Frobenius--Perron dimension of finite-dimensional algebras behaves under tensor products and related constructions. We prove that Frobenius--Perron dimension is super-additive under tensor products and is additive whenever one tensor factor is local. In particular every non-negative integer occurs as a Frobenius--Perron dimension. We further show that the invariant equals $1$ for every representation-infinite cycle-finite algebra, such as a tame concealed or tubular algebra, and we determine it on the grids $\mathsf{k} A_m\otimes_{\mathsf{k}}\mathsf{k} A_n$, where it is $0$, $1$, or $\infty$ according to representation type. Finally we treat skew group algebras of local algebras, for which a McKay quiver computation gives a lower bound and shows that the dimension can jump from finite to infinite.

Based cluster algebras of infinite rank

2026-06-09T14:36:05Z

We extend based cluster algebras from the finite rank case to the infinite rank case. By extending (quantum) cluster algebras whose initial seeds are associated with signed words (arising from double Bott-Samelson cells), we recover infinite rank cluster algebras arising from representations of (shifted) quantum affine algebras. As a main application, we show that the fundamental variables of the cluster algebras arising from double Bott-Samelson cells can be computed via a braid group action when the Cartan matrix is of finite type. We also obtain the equality A=U for the associated infinite rank (quantum) cluster algebras. Additionally, several conjectures regarding quantum virtual Grothendieck rings due to Jang-Lee-Oh and Oh-Park follow as consequences. Finally, we show that the cluster algebras arising from representations of shifted quantum affine algebras, discovered by Geiss-Hernandez-Leclerc, admit natural quantizations.

Weighted enumeration of number-fields and counting points that take bounded squarefree values along certain polynomials using Pseudo and Sudo maximal orders

2026-06-09T09:49:19Z

Ekedhal Sieve can be used to count squarefree bounded values of a polynomial closely related to the discriminant polynomial and one can also get a weighted lower bounds for the number of number fields with bounded discriminant which show a limsup much larger than current known bounds.

On concatenation of matrices for reversible linear codes over a finite commutative ring and applications to DNA codes

2026-06-09T09:38:07Z

In this paper, we develop a generalized framework for constructing reversible linear, reversible self dual and reversible DNA codes using a matrix-theoretic approach based on involutory matrices. The proposed concatenation scheme gives a large class of generator matrices and yields codes with good parameters. The construction is carried out at the level of linear codes and then extended to DNA codes. Using a matrix product approach, we provide a unified method for analysis and proof. Further, we resolve an open problem raised by Oztas et.al. and also we correct and improve some results of them.