https://arxiv.org/api/UYbx0AxRrYDJZVLmiAawe2WIL+s 2026-06-14T09:12:08Z 20068 300 15 http://arxiv.org/abs/2605.00774v1 2026-05-01T16:42:24Z

This is a review of progress on the question whether noetherian Hopf algebras always have finite injective dimension and related good homological properties. As well as discussing in detail the main results giving positive answers for particular classes of Hopf algebras, some consequences of such positive answers are also described. Full definitions and references are included, also sketches of some proofs. A considerable number of open questions are listed, additional to the original question, which itself remains open after 30 years.

2026-05-01T16:42:24Z 25 pages; preliminary draft of survey article; all comments, corrections, omissions very welcome Ken A. Brown http://arxiv.org/abs/2508.19143v3 2026-05-01T15:12:10Z

In this paper, we introduce the group version of a Lie-Leibniz triple, which we call a Lie group-rack triple. We define a Lie group-rack triple whose tangent structure is a Lie-Leibniz triple, which is a generalization of an augmented Lie rack whose tangent structure is an augmented Leibniz algebra. We show that any finite-dimensional Lie-Leibniz triple can be integrated to a local Lie group-rack triple by generalizing the integration procedure of an augmented Leibniz algebra into an augmented Lie rack.

2025-08-26T15:51:30Z 14 pages, Some typos are corrected Ryo Hayami http://arxiv.org/abs/2605.00712v1 2026-05-01T14:56:16Z

The paper discuss the limit point concept of a subset in a group via ideal of the power set ring. This idea along with anti-ideal give the topological structure in a group. Homomorphic images of both ideal and anti-ideal are played the remarkable role to change the topological structure from one system to another system.

2026-05-01T14:56:16Z Monoj Kumar Das Shyamapada Modak http://arxiv.org/abs/2108.03993v3 2026-05-01T11:21:59Z

In the present paper we prove that every 2-local inner derivation on the Jordan ring of self-adjoint matrices over a commutative involutive ring is a derivation. We also apply our technique to various Jordan algebras of infinite dimensional self-adjoint matrix-valued maps on a set and prove that every 2-local spatial derivation on such algebras is a spatial derivation. It is also proved that every local spatial derivation on the same Jordan algebras is a derivation.

2021-07-25T07:00:27Z 22 pages Sh. A. Ayupov F. N. Arzikulov N. M. Umrzaqov O. O. Nuriddinov http://arxiv.org/abs/2605.00469v1 2026-05-01T07:12:51Z

Given a symmetrizable Kac-Moody algebra $\mathfrack{g}$, we study its $π$-systems, which are subsets of real roots, the pairwise differences of whose elements are not roots. Such systems arise as simple systems of regular subalgebras of $\mathfrack{g}$, and were originally studied by Dynkin, Morita and Naito. We show that the binary relation introduced by Morita defines a partial order on the set of $\mathfrack{g}$ of finite, untwisted affine or hyperbolic type. We also formulate general principles for constructing $π$-systems as well as for finding forbidden diagrams that cannot occur as Dynkin diagrams of $π$-systems of a given $\mathfrack{g}$. Among other applications, we use this to determine the set of maximal hyperbolic Dynkin diagrams in ranks $3$-$10$ relative to the Morita partial order.

2026-05-01T07:12:51Z 20 pages. arXiv admin note: substantial text overlap with arXiv:1902.06413 K. N. Raghavan Krishanu Roy S. Viswanath http://arxiv.org/abs/2605.00463v1 2026-05-01T06:55:51Z

This paper explores the dimension theory of non-Noetherian graded rings by introducing the class of Hilbert-Serre rings. We generalize Krull's dimension theorem and Smoke's dimension theorem by establishing the fundamental inequalities $\dim(R) \le \operatorname{GKdim}_k(R) \le d(R)$ for any Hilbert-Serre ring $R$, where $d(R)$ is the pole order of its Poincaré series at $t=1$. Furthermore, we apply these results to initial algebras, proving that all these dimensions, including the transcendence degree, coincide for monomial algebras. Finally, we provide explicit examples demonstrating that these inequalities can be strict in general, even for integral domains.

2026-05-01T06:55:51Z 15 pages. Comments and Suggestions are very welcome Rirai Ikeda http://arxiv.org/abs/2604.25586v2 2026-05-01T00:31:05Z

We develop the theory of nilpotency and the Frattini theory for transposed Poisson algebras. The lower central series is shown to admit a simplified form, and an analogue of Engel's theorem is established: a finite-dimensional transposed Poisson algebra is nilpotent precisely when the left multiplication operators in both the associative and the Lie structures are nilpotent. Constructions of nilpotent and solvable algebras via tensor products and derivations are given. For a finite-dimensional Lie-nilpotent transposed Poisson algebra, we prove that the derived Lie subalgebra is a nilpotent ideal, which implies that the nilpotent radical coincides with the associative radical. In the framework of Frattini theory, we show that the Frattini subalgebra is always contained in the derived algebra and the Frattini ideal is associative nilpotent. When the algebra is nilpotent, all maximal subalgebras are ideals and the Frattini subalgebra equals the derived algebra. Conversely, for a Lie-nilpotent transposed Poisson algebra, if all maximal subalgebras are ideals, the algebra either is nilpotent or decomposes as a direct sum of a one-dimensional algebra generated by an idempotent and the nilpotent radical; if the Frattini subalgebra equals the derived algebra, the algebra is necessarily nilpotent. We also prove that the zero socle coincides with the nilpotent radical, and when the Frattini ideal is zero, the algebra splits into a subalgebra and its zero socle; in the Lie-nilpotent case this subalgebra is abelian as a Lie algebra.

2026-04-28T12:54:24Z 18 pages Jiarou Jin Yanyong Hong http://arxiv.org/abs/2605.00141v1 2026-04-30T18:57:17Z

Let $f_W(n)$ be the number of different factors of length $n$ appearing in $W$. A classical result of Morse and Hedlund, stated in 1938, asserts that an infinite word $W$ is ultimately periodic if and only if $f_W(n)\leq n$ for some $n\in \mathbb N$. In this paper, we describe the form of finite words that satisfy the condition $f_W(n)\leq n$. We study relations between power avoidance and subword complexity of a finite word. We apply our combinatorial results to study the interrelations between various numerical invariants of finite-dimensional associative algebras.

2026-04-30T18:57:17Z M. A. Khrystik http://arxiv.org/abs/2605.00139v1 2026-04-30T18:55:20Z

Let $(P,\cdot,d)$ be a differential perm algebra over a field of characteristic $0$, i.e. an associative algebra satisfying $(ab)c=(ba)c$ equipped with a derivation $d$. We investigate polynomial identities in the algebras obtained from $d$ by the derived operations \[ a\prec b=ab',\quad a\succ b=a'b,\quad a\blacklozenge b=ab'+ba',\quad a\bullet b=a'b+ab',\quad a\Diamond b=ab'-ba',\quad a\circ b=a'b-ab', \] where $a'=d(a)$. Our first result shows that any nontrivial differential polynomial identity (not supported by the right annihilator forced by the perm law) implies a purely differential consequence of the form $a_1'a_2'\cdots a_m'=0$ for some positive integer $m$. We then study the subalgebras of the free differential perm algebra generated by $X$ under $\blacklozenge$ and under $\bullet$, giving explicit generating sets and computing the multilinear dimensions of their homogeneous components. Finally, we construct perm-Witt type Lie and Leibniz algebras arising naturally from differential perm algebras.

2026-04-30T18:55:20Z 25 p F. A. Mashurov B. K. Sartayev http://arxiv.org/abs/2402.03278v3 2026-04-30T17:25:16Z

We study truncated gauge-orbits through principal parts of irregular-singular connection germs, in the untwisted/unramified setting: for any connected complex reductive structure group $G$, in the general multilevel case. In particular, we compute the stabilisers of the formal normal forms using filtrations of Levi root systems, showing that they are connected. When the residue is semisimple we then stratify the space of orbits by the conjugacy class of the stabilisers, i.e., by quotients of root-valuation strata; the dense stratum corresponds to the generic setting of isomonodromic deformations, à la Jimbo--Miwa--Ueno. Then we adapt a result of Alekseev--Lachowska to deformation-quantise nongeneric orbits. The $\ast$-product involves affine-Lie-algebra modules, extending: (i) the parabolic Verma modules (in the case of regular singularities); and (ii) the `singularity' modules of F.--R. (in the case of generic irregular singularities). They contain Whittaker vectors for the Gaiotto--Teschner/Bonelli--Maruyoshi--Tanzini Virasoro pairs in irregular Liouville conformal field theory, and they provide all the quotients obtained by leaving the aforementioned dense strata. We also construct Shapovalov forms for the corresponding representations of truncated-current Lie algebras, which enter into the category $\mathcal O$ of Chaffe--Topley; and we state a sharp irreducibility criterion. Finally, we use these representations to construct vector bundles of genus-zero vacua/covacua, equipped with flat connections à la Knizhnik--Zamolodchikov/Reshetikhin.

2024-02-05T18:35:40Z v3 (117 pp., 3 figures, to appear in the MEMS): added references; turned the conjecture into a theorem; several other minor improvements. Comments welcome! Damien Calaque Giovanni Felder Gabriele Rembado Richard Wentworth http://arxiv.org/abs/2604.27916v1 2026-04-30T14:22:00Z

In this paper, we investigate the existence of fixed-point-free automorphisms for finite-dimensional Lie algebras. By a result of Jacobson, a Lie algebra admitting a fixed-point-free automorphism is solvable. We prove that such a Lie algebra must be even strongly unimodular. We find a necessary and sufficient criterion such that a complex almost abelian Lie algebra admits a fixed-point-free automorphism. For complex filiform Lie algebras we show that the existence of a fixed-point-free automorphism is equivalent to not being characteristically nilpotent.

2026-04-30T14:22:00Z Dietrich Burde Karel Dekimpe http://arxiv.org/abs/2604.27847v1 2026-04-30T13:32:02Z

J. Conway defined useful operations on the Class of combinatorial games and also introduced a notion of equivalence between games. Conway showed that, under his equivalence, games form a Group. However, Conway product is not well defined on equivalence classes of arbitrary games (though it is well defined for surreals). We consider an equivalence relation finer than Conway's and show that under such a relation combinatorial games actually form a Ring. We hint to other possible relations on the Class of combinatorial games.

2026-04-30T13:32:02Z 20 pages Harry Altman Paolo Lipparini http://arxiv.org/abs/2308.04874v5 2026-04-30T13:31:15Z

Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent systems in computer science. All the above-hinted notions deal with a binary contact relation. Several authors suggested the more general study of $n$-ary ``hypercontact'' relations and noticed that, in general, a hypercontact relation cannot be retrieved from just a binary contact relation. A similar evolution occurred in the study of the just mentioned event structures in computer science. In an effort to unify the above lines of research, in this paper we study join semilattices with a hypercontact relation. We provide representation theorems into Boolean algebras, with or without overlap hypercontact relation. With a single exception, our proofs are choice-free. We also present several examples and problems; in particular, we briefly discuss some connections with event structures and hypergraphs.

2023-08-09T11:15:58Z v5 added material and corrected a wrong statement (only the appendix has been modified) v4 Added an appendix (not present in the journal version) using graph theoretical results in order to characterize binary relations representable by proximities. v3 The name of the main notion has been changed to "hypercontact'' in order to keep the terminology uniform with the literature Journal of Applied Non-Classical Logics (2025) 35 189-214 Paolo Lipparini 10.1080/11663081.2025.2452738 http://arxiv.org/abs/2502.12830v3 2026-04-30T10:12:04Z

Let $A$ be a $W$-algebra over a field $F$ of characteristic zero, where $W$ is any $F$-algebra. We first develop a comprehensive theory of generalized identities independent of the algebraic structure of $W$, using the multiplier algebra of $A.$ Then, we investigate the generalized variety generated by the $k\times k$ matrix algebra with a suitable action, proving that it exhibits almost polynomial growth of the generalized codimensions. Furthermore, we characterize the generalized varieties of almost polynomial growth generated by finite dimensional $W$-algebras. Finally, we provide a counterexample to the Specht property of generalized $T_W$-ideals in characteristic zero.

2025-02-18T12:49:25Z 15 pages Fabrizio Martino Carla Rizzo http://arxiv.org/abs/2604.27592v1 2026-04-30T08:42:02Z

Let $\mathcal A$ be an $\mathbb F$-algebra and $ω\in \mathcal A\langle x_1, \ldots, x_m \rangle$ which defines a map $\mathcal A^m \rightarrow \mathcal A$ by evaluation, called a polynomial map with constant. We consider $\mathcal {A} = M_n(\mathbb{F})$, the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic $0$, and polynomial maps given by $ω(x_1, x_2) = A_1x_1^k + A_2x_2^k$, where $A_1,A_2\in M_n(\mathbb F)$. For $n=2$, the images of such a map is competely determined in an earlier work (Panja, S.; Saini, P.; Singh, A., Images of polynomial maps with constants, Mathematika 71 (2025), no. 3, Paper No. e70031). In this article, by assuming one of the coefficients, say $A_1$, is invertible, we relate the surjectivity of $ω$ to the nullity of $A_2$. When $n=3, 4$, we completely classify the surjectivity of $ω(x_1, x_2)$ by obtaining the necessary and sufficient condition in terms of $n$, $k$, and the nullity of $A_2$.

2026-04-30T08:42:02Z Preliminary Version; 22 pages Prachi Saini Anupam Singh