https://arxiv.org/api/2lOU1qBZjpM+oMCp6+K5SuQjhsU 2026-06-15T03:35:33Z 20074 555 15 http://arxiv.org/abs/2507.04819v2 2026-03-23T16:52:57Z

A monoid presentation is called special if the right-hand side of each defining relation is equal to 1. We prove results which relate the two-sided homological finiteness properties of a monoid defined by a special presentation with those of its group of units. Specifically we show that the monoid enjoys the homological finiteness property bi-$\mathrm{FP}_n$ if its group of units is of type $\mathrm{FP}_n$. We also obtain results which relate the Hochschild cohomological dimension of the monoid to the cohomological dimension of its group of units. In particular we show that the Hochschild cohomological dimension of the monoid is bounded above by the maximum of 2 and the cohomological dimension of its group of units. We apply these results to prove a Lyndon's Identity type theorem for the two-sided homology of one-relator monoids of the form $\langle A \mid r=1 \rangle$. In particular, we show that all such monoids are of type bi-$\mathrm{FP}_\infty$. Moreover, we show that if $r$ is not a proper power then the one-relator monoid has Hochschild cohomological dimension at most $2$, while if $r$ is a proper power then it has infinite Hochschild cohomological dimension. For any non-special one-relator monoid $M$ with defining relation $u=v$ we show that if there is no nonempty word $w$ such that $u,v \in A^*w \cap w A^*$ then $M$ is of type bi-$\mathrm{FP}_\infty$ and has Hochschild cohomological dimension at most $2$.

2025-07-07T09:38:34Z 22 pages, 1 figure; incorporates referee's suggestions Forum of Mathematics, Sigma 14 (2026) e58 Robert D. Gray Benjamin Steinberg 10.1017/fms.2026.10209 http://arxiv.org/abs/2603.22185v1 2026-03-23T16:47:58Z

Let $\mathbb{F}_\ell$ be a finite field with $\ell$ elements and let $G = C_p \rtimes C_m$ be a faithful split metacyclic group. In this paper, we develop a complete theory for the twisted group algebra $\mathbb{F}_\ell^αG$. Using the Lyndon--Hochschild--Serre spectral sequence, we prove that the second cohomology group of $G$ is isomorphic to $\mathbb{F}_\ell^\times/(\mathbb{F}_\ell^\times)^m$, and we show that all twisting occurs only on the $C_m$ factor. We determine the primitive central idempotents by analyzing the combined action of the Frobenius automorphism and the group action on the character group of $C_p$. Using crossed product theory and the structure of finite fields, we obtain the complete Wedderburn decomposition of $\mathbb{F}_\ell^αG$ into matrix algebras over explicitly determined fields $\mathbb{F}_{\ell^{d_j}}$. Finally, the irreducible projective representations of $G$ over $\mathbb{F}_\ell$ are also determined.

2026-03-23T16:47:58Z Sanjit Bhowmick Javier de la Cruz Edgar Martínez-Moro http://arxiv.org/abs/2602.14597v2 2026-03-23T10:13:47Z

We describe all supergroups with the largest even supersubgroups being isomorphic to $\mathrm{GL}_2, \mathrm{SL}_2$ or $\mathrm{PSL}_2$. These results are applied to the description of centralizers of certain tori in the quasi-reductive supergroups.

2026-02-16T09:59:41Z Alexandr N. Zubkov http://arxiv.org/abs/2601.07373v3 2026-03-22T15:51:07Z

This paper establishes an upper bound on the number of generalized cospectral mates of simple graphs, where the generalized spectrum consists of the spectrum of a graph and its complement. Moving beyond the classical problem of identifying graphs determined by their generalized spectrum, we address the more quantitative question of how many non-isomorphic graphs can share the same generalized spectrum. Our approach is based on arithmetic constraints derived from the Smith Normal Form (SNF) of the walk matrix, which leads to a tight upper bound on the number of generalized cospectral mates of a graph. Our upper bound applies to a much broader class of graphs than those previously shown to have no generalized cospectral mates (graphs determined by generalized spectrum). Consequently, this work extends the family of graphs for which strong and informative spectral uniqueness results are available

2026-01-12T09:56:34Z Muhammad Raza Obaid Ullah Ahmad Mudassir Shabbir Waseem Abbas http://arxiv.org/abs/2412.17187v6 2026-03-22T13:33:15Z

We introduce a notion of generalized homogeneous derivations on graded rings as a natural extension of the homogeneous derivations defined by Kanunnikov. We then define gr-generalized derivations, which preserve the degrees of homogeneous components. Several significant results originally established for prime rings are extended to the setting of gr-prime rings, and we characterize conditions under which gr-semiprime rings contain nontrivial central graded ideals. In addition, we investigate the algebraic and module-theoretic structures of these maps, establish their functorial properties, and develop categorical frameworks that describe their derivation structures in both ring and module contexts.

2024-12-22T23:10:56Z Yassine Ait Mohamed http://arxiv.org/abs/2509.18628v5 2026-03-22T10:30:08Z

Our constructions provide a systematic way to study cohomology pre-algebraic structures via classical cohomology, simplifying computations and enabling the use of established techniques.

2025-09-23T04:25:53Z Communications in Mathematics, Volume 34 (2026), Issue 1 (March 26, 2026) cm:17352 H. Alhussein 10.46298/cm.17352 http://arxiv.org/abs/2603.20793v1 2026-03-21T12:39:05Z

We show that whenever \[ [\,\cdot,\cdot]_t = [\,\cdot,\cdot]_0 + t[\,\cdot,\cdot]_1,\qquad α_t = \mathrm{id} + tα_1 \] define an infinitesimal Hom--Lie deformation of $\mathfrak{sl}_2(\mathbb K)$ over $\mathbb K[t]/(t^2)$ and $(\mathfrak{sl}_2(\mathbb K),[\,\cdot,\cdot]_0,α_1)$ is a Hom--Lie algebra, then the deformed bracket $[\,\cdot,\cdot]_t$ satisfies the ordinary Jacobi identity over $\mathbb K[t]$. This solves a conjecture of Makhlouf and Silvestrov from 2010.

2026-03-21T12:39:05Z 9 pages Haoran Zhu http://arxiv.org/abs/2603.04858v2 2026-03-21T07:34:36Z

Let $R$ be a 3-dimensional complete local Gorenstein isolated singularity. For a basic maximal modifying $R$-module $M$, we construct a wall-and-chamber structure, denoted by ${\sf Cone}(M)$ and called the mutation cone of $M$, in the real Grothendieck group associated to the maximal modification algebra $Λ={\rm End}_R(M)$. Each chamber in ${\sf Cone}(M)$ corresponds to a maximal modifying module obtained by iterated (Iyama--Wemyss) mutations of $M$, and a wall-crossing corresponds to the mutation at an indecomposable summand. Moreover, we introduce the notion of tilting-noetherian property of $Λ$, and by analysis of wall-and-chamber structure of ${\sf Cone}(M)$, we prove that this property holds for $Λ$ if and only if all maximal modifying $R$-modules are connected by iterated mutations. We then consider the finite length subcategory $\mathscr{D}_M\subset {\rm D}^{\rm b}({\rm mod}\,Λ)$ and introduce a full-dimensional connected subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M\subset{\rm Stab}\mathscr{D}_M$ of Bridgeland stability conditions on $\mathscr{D}_M$. We prove that there is a regular covering map from ${\rm Stab}^{\rm mdf}\mathscr{D}_M$ to the complexification ${\sf Cone}(M)_{\mathbb{C}}$ of the mutation cone of $M$, where the Galois group is the subgroup of ${\rm Auteq} \mathscr{D}_M$ consisting of compositions of equivalences associated to mutations of maximal modifying modules. Finally, using the results on stability conditions, we describe the group of autoequivalences of $\mathscr{D}_M$ that preserve the subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M$.

2026-03-05T06:33:56Z A crucial error was found in the assertion of Lemma 3.12 (2), which affects the validity of the main results. Although the results are still valid in the case of a terminal singularity, many results for such a case are already known. Therefore we have decided to withdraw the paper Wahei Hara Yuki Hirano http://arxiv.org/abs/2603.20643v1 2026-03-21T04:38:55Z

The fact that each finite-dimensional algebra over a field is isomorphic to the centralizer of two matrices, has suggested to investigate representation theoretical problems of finite-dimensional algebras through centralizer algebras of matrices. The first natural question is to study the problems for the centralizer algebra of one matrix, called a centralizer matrix algebra. In this paper we give complete descriptions of the singularity categories and singular equivalences of centralizer matrix algebras, and verify the Auslander--Reiten (or Gorenstein projective) and Cartan determinant conjectures for centralizer matrix algebras. Consequently, all historical homological conjectures (the finitistic dimension, Wakamatsu tilting, tilting (projective) complement, strong Nakayama, generalized Nakayama and Nakayama conjectures) are true for centralizer matrix algebras over fields. Moreover, we prove some homological invariants of singular equivalences for centralizer matrix algebras.

2026-03-21T04:38:55Z 31 pages Zhenxian Chen Changchang Xi http://arxiv.org/abs/2603.20598v1 2026-03-21T02:02:52Z

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of admissible cuts. We show that the terms in this coproduct have an additional combinatorial interpretation in terms of subsets of leaves, which facilitates the construction of Hopf algebra morphisms involving this Hopf algebra, and creates a connection with a Hopf algebra of Bruned used in the renormalization of stochastic processes. Finally, we show that this Hopf algebra is dual to the universal enveloping algebra of a Lie algebra arising from a pre-Lie operator on binary trees based on edge-insertion.

2026-03-21T02:02:52Z 26 pages, 4 figures Elizabeth Xiao http://arxiv.org/abs/2603.20495v1 2026-03-20T20:48:48Z

This paper studies the triviality of commutators in central products of Cayley-Dickson loops. Two immediate outcomes of this study are (1) the construction of a sequence of non-commutative loops in which the chance of a random commutator to be trivial approaches 1, and (2) an easy proof for why if two central products of $n$-fold Cayley-Dickson loops are isomorphic for $n\geq 3$, then the loops in the first product are term-wise isomorphic to the loops in the second product.

2026-03-20T20:48:48Z Adam Chapman Ilan Levin http://arxiv.org/abs/2604.15346v1 2026-03-20T19:59:22Z

An algebra with bracket ({\sf AWB} for short) is an associative algebra endowed with a bilinear bracket satisfying a Leibniz-type compatibility condition, as introduced in \cite{casas}. It can be viewed as a noncommutative generalization of an almost Poisson algebra; indeed, when the associative product is commutative and the bracket is skew-symmetric, one recovers the notion of an almost Poisson algebra. In this paper, we introduce the notion of {almost Poisson Drinfel'd bialgebras ($D$-bialgebras)} as an analogue of Poisson $D$-bialgebras, and we establish the equivalence between matched pairs, Manin triples, and almost Poisson $D$-bialgebras. Furthermore, we define a new algebraic structure, called {almost tridendriform Poisson algebras}, which can be regarded as the underlying algebraic structures associated with relative Rota-Baxter operators on almost Poisson algebras. Finally, we show that every almost Poisson algebra can be embedded into an algebra with bracket ({\sf AWB}) via averaging operators, and more generally via relative averaging operators associated to a given representation of the almost Poisson algebra.

2026-03-20T19:59:22Z Sami Mabrouk http://arxiv.org/abs/2411.07910v2 2026-03-20T19:00:28Z

We give a practical, algorithmic method to calculate minimal projective resolutions of simple modules for a finite dimensional incidence $k$-algebra $Λ$, where $k$ is a field. We apply the method to the calculation of Ext groups between simple $Λ$-modules, Hochschild cohomology groups $\HH^i(Λ, Λ)$, and singular cohomology groups of finite $T_0$ topological spaces with coefficients in $k$.

2024-11-12T16:34:59Z Final version. To appear in Linear Algebra and its Applications Viktor Bekkert John William MacQuarrie Júlio Marques http://arxiv.org/abs/2603.20417v1 2026-03-20T18:35:40Z

Using group actions and orbit-stabilizer methods, we study the geometry of isomorphism classes of finite-dimensional $ω$-Lie algebras over a field $\mathbb{K}$ of characteristic $\neq 2$ and establish a one-to-one correspondence between the set of isomorphism classes and the orbit space of a stabilizer of $ω$. We also apply techniques from computational ideal theory to explore the geometric structure of the affine variety of all 3-dimensional $ω$-Lie algebras over $\mathbb{K}$, showing that this variety is a 6-dimensional irreducible affine variety and a complete intersection. As an application, we derive a complete classification of all 3-dimensional $ω$-Lie algebras over an algebraically closed field of characteristic $\neq 2$, up to $ω$-Lie algebra isomorphism.

2026-03-20T18:35:40Z 23 pagwes; submitted for publication Yin Chen Shan Ren Runxuan Zhang http://arxiv.org/abs/2504.16111v2 2026-03-20T10:34:56Z

We show that the variety of residuated lattices does not have the amalgamation property, thereby settling a long-standing open problem. In addition, we show that the amalgamation property fails for several subvarieties, including idempotent residuated lattices, involutive residuated lattices, and (integral) distributive residuated lattices.

2025-04-17T23:09:52Z 7 pages, 4 figures Peter Jipsen Simon Santschi