Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

2026-02-19T11:46:06Z

Given a semigroup $S$, a diagonal subsemigroup $ρ$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite, we define the DSC coefficient $χ(S)$ to be the ratio of the number of congruences to the number of diagonal subsemigroups. In a previous work we observed that $χ(S) = 1$ if and only if $S$ is a group. Here we show that for any rational $α$ with $0 < α\leq 1$, there exists a semigroup with $χ(S) = α$. We do this by utilizing the Rees matrix construction and adapting the congruence classification of such semigroups to describe their diagonal subsemigroups.

On $\mathscr{T}$-based orthomodular dynamic algebras

2026-02-19T11:21:38Z

This paper establishes a categorical equivalence between the category $\mathbb{COL}$ of complete orthomodular lattices and the category $\mathscr{T}\mathbb{ODA}$ of $\mathscr{T}$-based orthomodular dynamic algebras. Complete orthomodular lattices serve as the static algebraic foundation for quantum logic, modeling the testable properties of quantum systems. In contrast, $\mathcal{T}$-based orthomodular dynamic algebras, which are specialized unital involutive quantales, formalize the composition and quantum-logical properties of quantum actions. This result refines prior connections between orthomodular lattices and dynamic algebras, provides a constructive bridge between static and dynamic quantum logic perspectives, and extends naturally to Hilbert lattices and broader quantum-theoretic structures.

A Generalization of the Ehresmann-Schein-Nambooripad Theorem to Two-Sided Ehresmann Semigroupoids

2026-02-18T21:03:15Z

We introduce the notion of two-sided Ehresmann semigroupoids and show that they are in correspondence with a specific class of categories, which we call local biordered Ehresmann categories. This correspondence provides a unified generalization of the Ehresmann-Schein-Nambooripad Theorem for both inverse semigroupoids and Ehresmann semigroups. In particular, two-sided restriction semigroupoids form a distinguished subclass of two-sided Ehresmann semigroupoids, and for this case we describe the associated class of categories, extending earlier results for restriction semigroups.

A new class of algebra isomorphism invariants

2026-02-18T20:31:33Z

We derive previously unrecognized geometrically-influenced isomorphism invariants for real finite-dimensional unital associative algebras, resulting from examination of differentiable aspects of transformations of an algebra to itself that are dependent on the algebra's product operation.

A Homogeneous Nullstellensatz for Joint Invariant Subspaces

2026-02-18T15:03:41Z

Jurij Volčič conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant subspace of the evaluations of the generators is also invariant under the evaluation of $g$. In this paper, we establish a homogeneous Nullstellensatz for joint invariant subspaces by proving that this equivalence holds whenever the generators are homogeneous. In contrast, we demonstrate that the statement fails in the general case, thereby settling the conjecture completely.

A Computation of Tamarkin-Tsygan Calculus

2026-02-18T11:37:09Z

We compute the full Tamarkin-Tsygan calculus of a Koszul algebra whose global dimension exceeds the number of generators. Our results show that even for algebras possessing an economic presentation and agreeable homological properties, the Hochschild (co)homology, as well as the structure of the Tamarkin--Tsygan calculus may exhibit a rather intricate behavior.

Structured Analytic Mappings for Point Set Registration

2026-02-18T06:51:29Z

We present an analytic approximation model for non-rigid point set registration, grounded in the multivariate Taylor expansion of vector-valued functions. By exploiting the algebraic structure of Taylor expansions, we construct a structured function space spanned by truncated basis terms, allowing smooth deformations to be represented with low complexity and explicit form. To estimate mappings within this space, we develop a quasi-Newton optimization algorithm that progressively lifts the identity map into higher-order analytic forms. This structured framework unifies rigid, affine, and nonlinear deformations under a single closed-form formulation, without relying on kernel functions or high-dimensional parameterizations. The proposed model is embedded into a standard ICP loop -- using (by default) nearest-neighbor correspondences -- resulting in Analytic-ICP, an efficient registration algorithm with quasi-linear time complexity. Experiments on 2D and 3D datasets demonstrate that Analytic-ICP achieves higher accuracy and faster convergence than classical methods such as CPD and TPS-RPM, particularly for small and smooth deformations.

On cyclic invariants of the free associative algebra

2026-02-18T05:52:09Z

Let $K\langle X_d\rangle$ be the free associative algebra of rank $d \geq 2$ over a field $K$. Lane in 1976 and Kharchenko in 1978 proved that the algebra of invariants $K\langle X_d\rangle^G$ is free for any subgroup $G \leq \text{GL}_d(K)$ and any field $K$. Later, Kharchenko introduced an additional action of the symmetric group $\text{Sym}(n)$ on the homogeneous component of degree $n$ of $K\langle X_d\rangle$, given by permuting the positions of the variables. This equips $K\langle X_d\rangle$ with the structure of a $(K\langle X_d\rangle,\circ)$-$S$-algebra. Then Koryukin showed that the algebra of invariants $K\langle X_d\rangle^G$ is finitely generated for every reductive group $G$ with respect to this action. In our paper we study the algebra $K\langle x_1,\ldots,x_d\rangle^{C_d}$ of invariants of the cyclic group $C_d$, $d\geq 2$, where $K$ is an arbitrary field of characteristic 0. We compute the Hilbert series of $K\langle x_1,\ldots,x_d \rangle^{C_d}$. When $K=\mathbb C$ we find a vector space basis of ${\mathbb C}\langle x_1,\ldots,x_d \rangle^{C_d}$ and explicitly describe the generators of ${\mathbb C}\langle x_1,\ldots,x_d \rangle^{C_d}$ as a free algebra. Moreover, we describe a finite generating set for the $S$-algebra $({\mathbb C}\langle x_1,\ldots,x_d \rangle^{C_d},\circ)$. We also transfer the results for $K=\mathbb C$ to the case of an arbitrary field of characteristic 0 for the $S$-algebra $(K\langle x_1,x_2,x_3 \rangle^{C_3},\circ)$ and find a minimal generating set for it as an $S$-algebra.

On Toric Ideals Arising from the Chip-Firing Game

2026-02-18T05:07:18Z

We study certain groups and ideals arising from the chip-firing game on a generalisation of graphs called pargraphs. Several well-known families of toric ideals, including those defining rational normal curves and binomial edge ideals of complete graphs, arise as toppling ideals of pargraphs. We provide sufficient conditions under which the toppling ideal of a pargraph to be toric. In addition, we construct a Gröbner basis for the toppling ideal, a minimal cellular free resolution for a distinguished initial ideal known as the $G$-parking function ideal, and establish Cohen-Macaulay property for these ideals. We also study the Picard group of a pargraph and provide sufficient conditions ensuring its freeness.

Zeta functions of solvable Lie algebras over finite fields -- with calculations in detail

2026-02-18T03:15:49Z

Let $L$ be a solvable Lie algebra of dimension less than or equal to 4 over finite fields. We compute and record, in explicit symbolic form, the zeta functions enumerating subalgebras or ideals of $L$, and study their properties. We also discuss the implications of our data, in particular in relation to the general theory of Lie algebras over finite fields and zeta functions of Lie algebras over commutative rings.

Cancellation problem via locally nilpotent derivations

2026-02-17T21:16:51Z

The Zariski cancellation problem plays a central role in affine algebraic geometry and noncommutative algebra, with locally nilpotent derivations providing a fundamental invariant-theoretic approach. This article presents a unified survey of cancellation phenomena in commutative algebras, noncommutative algebras, and skew (Ore-type) extensions, emphasizing the role of rigidity and the Makar--Limanov invariant. We explain how the locally nilpotent derivation framework successfully detects cancellation in rigid settings, while also identifying its inherent limitations, particularly in the skew case where Makar--Limanov stability fails. This perspective clarifies the scope and the boundaries of the locally nilpotent derivation method in cancellation theory.

Comparing the Kirwan and noncommutative resolutions of quotient varieties

2026-02-17T18:58:17Z

Let a reductive group $G$ act on a smooth variety $X$ such that a good quotient $X{/\!\!/}G$ exists. We show that the derived category of a noncommutative crepant resolution (NCCR) of $X{/\!\!/} G$, obtained from a $G$-equivariant vector bundle on $X$, can be embedded in the derived category of the (canonical, stacky) Kirwan resolution of $X{/\!\!/} G$. In fact the embedding can be completed to a semi-orthogonal decomposition in which the other parts are all derived categories of Azumaya algebras over smooth Deligne-Mumford stacks.

Conjugacy classes of regular integer matrices

2026-02-17T17:24:16Z

This paper is devoted to the theory of $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices. Such a matrix is $GL_n({\mathbb Q})$-conjugate to the companion matrix of its characteristic polynomial. But the set of $GL_n({\mathbb Z})$-conjugacy classes of regular integer matrices with a fixed characteristic polynomial $f$ is usually nontrivial (finite if $f$ has simple roots, infinite if $f$ has multiple roots). It is in 1:1-correspondence to a subsemigroup of a certain quotient semigroup of the commutative semigroup of full lattices in the algebra ${\mathbb Q}[t]/(f)$. In its first part, the paper gives a survey on old and new results on full lattices and orders in a finite dimensional commutative ${\mathbb Q}$-algebra with unit element and on induced semigroups. In its longer second part, the paper applies this theory to many examples, essentially all cases with $n=2$, many cases with $n=3$ and two cases with arbitrary $n$, the case with $n$ different integer eigenvalues and the case of a single $n\times n$ Jordan block.

Semisimplifying Frank Lie algebras

2026-02-17T13:47:04Z

The Frank Lie algebras are simple Lie algebras that only occur over fields of characteristic 3. These come equipped with distinguished inner derivations that make them algebras in the category $\textbf{Rep}(α_3)$. We apply the semisimplification functor to these Frank Lie algebras and obtain modular contact Lie superalgebras. We also obtain a class of simple $J$-ternary algebras whose associated Jordan algebras are not simple.

Exact Borel subalgebras, idempotent quotients and idempotent subalgebras

2026-02-17T12:25:39Z

This article studies the compatibility of Koenig's notion of an exact Borel subalgebra of a quasi-hereditary or, more generally, standardly stratified algebra with taking idempotent subalgebras or quotients. As an application, we provide bounds for the multiplicities of indecomposable projectives in the principal blocks of BGG category $\mathcal{O}$ having basic regular exact Borel subalgebras.