Group rings and hyperbolic geometry

2026-06-11T16:50:05Z

For a group acting on a hyperbolic space, we set up an algorithm in the group algebra showing that ideals generated by few elements are free, where few is a function of the minimal displacement of the action, and derive algebraic, geometric, and topological consequences. In particular, we obtain lower bounds on Morse complexity of closed hyperbolic manifolds in terms of injectivity radius.

Silting subcategories and (co)torsion pairs associated to extended hearts

2026-06-11T15:55:40Z

We establish the poset isomorphisms between $(d+1)$-term silting subcategories, functorially finite $s$-torsion pairs in the $d$-extended heart, and hereditary complete cotorsion pairs in a suitable subcategory. As an application, we also give dg algebra versions of these bijections, which establish the poset isomorphisms between $τ$-tilting pairs, $(d+1)$-term silting complexes, and functorially finite $s$-torsion pairs.

$W-δ-μ$ dual codes and LCD codes

2026-06-11T15:19:31Z

We introduce a new product on the ambient space $F_q^n$ as a generalization of Euclidean, Hermitian and $δ$ products. We give some general properties of the dual codes, relation with Euclidean duals, definition and characterization of self orthogonal, self dual, dual containing and LCD codes along with certain existence conditions. Also, we calculate the dual codes of some classes of codes like repetition, binary and $λ$-constacyclic codes with respect to this product. Further, we extend and analyse this notion of the product for codes over semisimple rings.

Roots of polynomials over semirings and hyperfields

2026-06-11T13:22:58Z

We continue our investigation of roots of polynomials over semirings and hyperfields, via ``pairs'' with a surpassing relation $\preceq,$ employing a which we call $\preceq$-reversibility. The ensuing results include a fundamental theorem of algebra for pairs, that tangible polynomials with enough roots ``$\preceq$-split,'' at times uniquely, into linear factors over a suitable finite extension of pairs. We also see that polynomials that agree on ``almost'' all null roots are ``almost'' equal. Finally, we obtain roots of integral polynomials over extension pairs, providing a construction of integrally closed pairs over hyperfields and over zero sum free semirings.

Iterated Hopf Ore Extensions over Group Rings

2026-06-11T11:37:05Z

We introduce and study a class of Hopf algebras $H(G, χ, η, b, c, β)$ which are two-step Ore extensions of a group algebra $\mathbb{K}[G]$. This construction unifies and generalizes some known families of Hopf algebras such as generalized Taft algebras and Hopf algebras related to $\mathfrak{sl}_2$ constructed by Wang, Wu, and Tan. We analyze the ring theoretical properties of these algebras and classify all finite dimensional simple modules over them. We also consider the tensor products of simple modules in the zero derivation case.

Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

2026-06-11T09:32:52Z

We study symplectic groups and indefinite orthogonal groups over involutive, possibly noncommutative, algebras $(A, σ)$. In the case when the algebra $(A, σ)$ is Hermitian, or the complexification $(A_{\mathbb C}, σ_{\mathbb C})$ of a Hermitian involutive algebra, one can identify maximal compact subgroups of such groups, and consider their associated Riemannian symmetric spaces. This new perspective allows for the realization of various geometric models for the symmetric space. We describe explicitly the complexified tangent space for each of the models, as well as the diffeomorphisms between them and their differentials. In the second part of the article, we give a number of applications of this theory. The geometric realizations of the Riemannian symmetric spaces described in the first part provide new geometric interpretations of Higgs bundle data that can be used for the study of fundamental group representations into symplectic or into indefinite orthogonal groups over Hermitian involutive algebras. We give an exact component count for the moduli spaces of $\rm{Sp}_2(A_{\mathbb C}, σ_{\mathbb C})$-Higgs bundles and of $\rm O(A_{\mathbb C}, σ_{\mathbb C})$-Higgs bundles, using the topology of the corresponding maximal compact subgroups rather than Morse-Bott theory techniques. Furthermore, we use the noncommutative symmetric-space models to construct a factorization of the Hitchin morphism for $\rm{Sp}_2(A_{\mathbb C},σ_{\mathbb C})$-Higgs bundles, together with analogous factorizations for the real groups $\rm{Sp}_2(A,σ)$ and $\rm O_{(1,1)}(A,σ)$. These factorizations are induced by quadratic norm maps from the corresponding tangent models to Jordan-algebraic targets and pass through intermediate affine GIT quotients. As a consequence, they reduce the algebraic complexity required in order to characterize the Hitchin base explicitly.

Rings with Clean-Like Properties: Endomorphism, Matrix and Structural Theorems

2026-06-11T08:33:27Z

We investigate three clean-like properties for arbitrary rings, for endomorphism rings of abelian groups and for matrix rings over finite fields. Specifically, we study and establish when a ring is weakly strongly $k$-nil-clean for some fixed natural number $k\geq 2$, when the matrix ring is either quasi $2$-nil-clean or quasi $3$-nil-clean, and when the endomorphism ring is weakly clean. Our theorems improve substantially on some results due to Goldsmith-Vámos in Rend. Sem. Mat. Univ. Padova (2007), Breaz {\it et al}. in Linear Algebra \& Appl. (2013), Koşan-Zhou in Front. Math. China (2016), Su {\it et al}. in J. Algebra \& Appl. (2027), and some other existing results in this current topic.

Two-sided tilting complexes over symmetric algebras sending simple modules to shifts of modules

2026-06-11T07:09:54Z

For a tilting complex over a finite-dimensional symmetric algebra over an algebraically closed field, whose distinct graded components have no indecomposable projective direct summands in common, we explicitly (re)construct a two-sided tilting complex that corresponds to the tilting complex, starting from a bimodule inducing a stable equivalence of Morita type.

Near-Trinions: Complete Classification of Unital Three-Dimensional Real Associative Algebras

2026-06-11T00:31:10Z

Frobenius' theorem settles, definitively, the question of three-dimensional real division algebras: there are none. What it leaves open -- and what this paper addresses -- is the question of which three-dimensional real associative algebras actually exist. We call these \emph{near-trinions} and classify them completely, up to $\mathbb{R}$-algebra isomorphism. The answer is exactly six isomorphism classes; we provide canonical representatives, explicit multiplication tables, and a collection of module-theoretic invariants sufficient to distinguish every pair. The classification proceeds by stratifying on the radical dimension $d$: Wedderburn--Artin resolves the semisimple stratum; in the $d=1$ stratum, the Peirce decomposition locates the radical generator in either a diagonal or off-diagonal corner, producing the commutative and non-commutative branches respectively and ruling out the residue field $\mathbb{C}$ by a characteristic sign obstruction; and the $d=2$ stratum splits on whether Jac$(A)^2$ vanishes. The argument not only recovers the six classes but explains why the radical dimension takes values in $\{0,1,2\}$, why the $d=1$ case splits on commutativity, and why no near-trinion with residue field $\mathbb{C}$ can exist. One direction for subsequent work is proposed.

Boundary Cochains and the Toeplitz Index on the Half-Lattice

2026-06-10T23:44:23Z

We study the operator algebra of a rank-one boundary defect in a semi-infinite tight-binding chain, $T=U+\varepsilon E$ on $\ell^2(\mathbb{Z}_{\ge 0})$, with $U$ the forward unilateral shift and $E=\langle e_0,\cdot\rangle e_0$. The Lie algebra $\mathcal{A}=\mathrm{span}\{U^aE(U^*)^b,\,U^n\}$ has finitely supported, trace-zero commutators, the noncommutativity confined to the boundary and vanishing on the bulk. To each site we attach a $2$-cochain $ω_j(X,Y)=\langle e_j,[X,Y]e_j\rangle$; each is a Chevalley--Eilenberg coboundary, yet $H^2(\mathcal{A},\mathbb{C})$ is infinite-dimensional, carried by the abelian bulk and classifying the central extensions. On the polynomial Toeplitz algebra obtained by adjoining $U^*$, the total cochain $\sum_{j}ω_j(T_f,T_g)$ equals the symbol pairing $\frac{1}{2πi}\oint f\,dg$, which for conjugate symbols $g=1/f$ is the Fredholm index; the $ω_j$ thus form a site-resolved index density, $ω_j(U^n,(U^*)^n)=-\mathbf{1}_{\{j

Abstract Cluster Structures

2026-06-10T09:09:03Z

We describe a framework for encoding cluster combinatorics using categorical methods. We give a definition of an abstract cluster structure, which captures the essence of cluster mutation at a tropical level and show that cluster algebras, cluster varieties, cluster categories and surface models all have associated abstract cluster structures. For the first two classes, we also show that they can be constructed from abstract cluster structures. By defining a suitable notion of morphism of abstract cluster structures, we introduce a category of these and show that it has several desirable properties, such as initial and terminal objects and finite products and coproducts. We also prove that rooted cluster morphisms of cluster algebras give rise to morphisms of the associated abstract cluster structures, so that our framework includes a version of the extant category of cluster algebras. We can do more, however, because we can relate different types of representation of abstract cluster structures (cluster algebra, varieties, categories) directly via morphisms of their associated abstract cluster structures, even though no direct map from e.g. a cluster category to the associated cluster algebra is possible. In fact, we do much of the above in the setting of abstract quantum cluster structures, with some analysis of the difference between the category of these and that of the unquantized version. In order to show the relationship between abstract quantum cluster structures and quantum cluster algebras, we reformulate the usual construction of the latter in a way that is more amenable to our purposes and which we expect will be of independent interest and use.

Cotorsion pairs, thick subcategories, and finitely generated Gorenstein projective modules

2026-06-10T08:29:46Z

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring $S$ admitting a canonical module $ω$, and assume that $R$ is maximal Cohen--Macaulay over $S$. We prove that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\mathrm Ext$-orthogonal class of the thick subcategory generated by $R$ and ${\mathrm Hom}_S(R,ω)$. As an application, finitely generated Gorenstein projective $R$-modules form the left half of a hereditary cotorsion pair. In the case of Cohen--Macaulay local rings, this yields an affirmative answer to a question of R. Takahashi. We further characterize when $R$ is left weakly Gorenstein. Finally, we prove that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\mathrm Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.

Cryptographic transformations over polyadic rings

2026-06-10T07:27:59Z

This article introduces a novel cryptographic paradigm based on nonderived polyadic algebraic structures. Traditional cryptosystems rely on binary operations within groups, rings, or fields, whose well-understood properties can be exploited in cryptanalysis. To overcome these vulnerabilities, we propose a shift to polyadic rings, which generalize classical rings by allowing operations of higher arity: an $m$-ary addition and an $n$-ary multiplication. The foundation of our approach is the construction of polyadic integers -- congruence classes of ordinary integers endowed with such $m$-ary and $n$-ary operations. A key innovation is the parameter-to-arity mapping $Φ(a,b)=(m,n)$, which links the parameters $(a,b)$ defining a congruence class to the specific arities required for algebraic closure. This mapping is mathematically intricate: it is non-injective, non-surjective, and multivalued. This complex, non-unique relationship forms the core of the proposed cryptosystem's security. We present two concrete encryption procedures that leverage this structure by encoding plaintext within the parameters of polyadic rings and transmitting information via polyadically quantized analog signals. In one method, plaintext is linked to the additive arity $m_{i}$ and secured using the summation of such signals; in the other, it is linked to a ring parameter $a_{i}$ and secured using their multiplication. In both cases, the "quantized" nature of polyadic operations generates systems of equations that are straightforward for a legitimate recipient with the correct key but exceptionally difficult for an attacker without it. The resulting framework promises a substantial increase in cryptographic security. This work establishes the theoretical foundation for this new class of encryption schemes and highlights their potential for constructing robust, next-generation cryptographic protocols.

A quiver approach to quasi-quantum groups with the Chevalley property

2026-06-10T07:22:44Z

In this paper, we develop a quiver approach to coquasi-Hopf algebras with the dual Chevalley property. We introduce a modified generalized path coalgebra $\Bbbk(\mathrm{Q},\mathcal{S})$ associated with a given quiver $\mathrm{Q}$ and a collection of simple coalgebras $\mathcal{S}=\{C_i\mid i\in \mathrm{Q}_0\}$ indexed by the vertices of $\mathrm{Q}$, such that its link quiver coincides with $\mathrm{Q}$. We prove that such a coalgebra admits a graded coquasi-Hopf algebra structure with the dual Chevalley property if and only if $\mathrm{Q}$ is a generalized Hopf quiver and $\bigoplus_{i\in \mathrm{Q}_0}C_i$ forms a cosemisimple coquasi-Hopf algebra. Moreover, we provide a classification of these coquasi-Hopf algebra structures. We then study the link-indecomposable components of a coquasi-Hopf algebra with the dual Chevalley property, and give the generalized dual Gabriel's theorem for such coquasi-Hopf algebras. As an application, we apply the quiver method to classify finite integral tensor categories with the Chevalley property of finite representation type. We also give structural characterizations of coradically graded coquasi-Hopf algebras of tame corepresentation type. Furthermore, we investigate finite braided integral tensor categories with the Chevalley property via the quiver approach.

Finite almost simple groups whose holomorph contains a solvable regular subgroup

2026-06-10T06:48:15Z

In our previous paper, we gave a complete list of the finite non-abelian simple groups whose holomorph contains a solvable regular subgroup. In this paper, we refine our previous work by considering all finite almost simple groups. In particular, our result yields a complete characterization of the finite almost simple groups which occur as the type of a Hopf-Galois structure on a solvable extension, or equivalently, the additive group of a skew brace having a solvable multiplicative group.