https://arxiv.org/api/3uz4GGpHlBdj/57X5mAGFqmmbj8 2026-06-14T15:45:05Z 20068 390 15 http://arxiv.org/abs/2511.16866v2 2026-04-20T02:38:33Z

In this paper, we show that there are infinitely many linearly independent elements in the abelianization of the Lie algebra of special derivations of a free Lie algebra by using the Morita traces. Furthermore, we show that the abelianization contains non-trivial elements which are killed by the Morita traces.

2025-11-21T00:22:07Z 30 pages Naoya Enomoto Takao Satoh http://arxiv.org/abs/2604.17675v1 2026-04-20T00:18:30Z

Seaweed (biparabolic) subalgebras form a large and structurally rich class of subalgebras of simple Lie algebras. We determine their adjoint cohomology. If $\mathfrak{s}$ is an indecomposable seaweed subalgebra of a complex simple Lie algebra, then \[ H^\ast(\mathfrak{s},\mathfrak{s})=0, \] and hence $\mathfrak{s}$ is absolutely rigid. If $\mathfrak{s}$ is decomposable, then the Coll--Gerstenhaber decomposition for Lie semidirect products gives, for each $n\ge 0$, a canonical description of $H^n(\mathfrak{s},\mathfrak{s})$ in terms of exterior powers of $\mathcal{Z}(\mathfrak{s})^\ast$ and the zero-weight cohomology of $\mathfrak{s}/\mathcal{Z}(\mathfrak{s})$. In particular, the center is the unique source of nontrivial adjoint cohomology. These results identify indecomposability as the precise condition for cohomological rigidity and give a uniform description of adjoint cohomology for seaweed Lie algebras.

2026-04-20T00:18:30Z 13 pages, 2 figures Vincent E. Coll, Alan Hylton http://arxiv.org/abs/2604.17664v1 2026-04-19T23:27:18Z

Let $\mathbb{K}$ be a field of characteristic different from $2$, and let $M_n(\mathbb{K})$ be the algebra of all $n\times n$ matrices over $\mathbb{K}$. We consider the corresponding special Jordan algebra $\mathcal{A}:=M_n(\mathbb{K})^+$ with symmetrized product $A\circ B:=(AB+BA)/2$, and write $\mathcal{A}_{\mathrm v}:=M_n(\mathbb{K})$ for the underlying $\mathbb{K}$-vector space of $\mathcal{A}$. For $A\in\mathcal{A}$, let $\mathrm{L}_A(X):=A\circ X$ be the multiplication operator. We consider the Jordan multiplication semigroup generated by all multiplication operators, \[ \mathrm{JMS}(\mathcal{A}):=\langle \mathrm{L}_A:A\in\mathcal{A}\rangle\subseteq \mathrm{End}_{\mathbb{K}}(\mathcal{A}_{\mathrm v}). \] We prove that $\mathrm{JMS}(\mathcal{A})=\mathrm{End}_{\mathbb{K}}(\mathcal{A}_{\mathrm v})$. Equivalently, every $\mathbb{K}$-linear endomorphism of $\mathcal{A}_{\mathrm v}$ is a composition of multiplication operators. The proof is primarily linear-algebraic. The main step is to show that $\mathrm{SL}(\mathcal{A}_{\mathrm v})\subseteq \mathrm{JMS}(\mathcal{A})$ by constructing elementary transvections inside the semigroup. We then prove determinant surjectivity on the unit group of $\mathrm{JMS}(\mathcal{A})$ and combine it with the existence of a singular element of rank $n^2-1$ to obtain the full endomorphism semigroup. In the finite-field case, the determinant-surjectivity step is established via Jacobi-sum estimates.

2026-04-19T23:27:18Z 27 pages Ilja Gogić Matija Kazalicki Mateo Tomašević http://arxiv.org/abs/2604.17544v1 2026-04-19T17:12:04Z

By using a variation of a theorem on $n$-Jordan homomorphisms due to Herstein, we deduce the following G. An's result: Let $ A $ and $ B $ be two rings where $ A $ has a unit and $ char(B)> n. $ If every Jordan homomorphism from $ A $ into $ B $ is a homomorphism (anti-homomorphism), then every $n$-Jordan homomorphism from $ A $ into $ B $ is an $n$-homomorphism (anti-$n$-homomorphism).

2026-04-19T17:12:04Z 3 pages Matematychni Studii, 62(1) (2024), 77-80 M. El Azhari http://arxiv.org/abs/2310.10580v2 2026-04-19T10:18:00Z

The theory of path algebras is usually circunscripted to the study of representations, usually linked to finite graphs. In our work, we focus on studying the structure of path algebras over a field associated to arbitrary graphs. We characterise perfection (simplicity, primitivity, primeness and semiprimeness) and finitness conditions (artinianity, semiartinianity and noetherianity) in terms of geometric conditions in the associated graph. In order to do so, we also compute the socle and the Jacobson radical of a path algebra. In addition, we study the centroid of any path algebra and the extended centroid and central closure of the path algebra of a cycle. We obtain two structure theorems, one for semiprime path algebras, and another for noetherian ones. Semiprime path algebras are direct sum of simple, prime and primitive algebras, and noetherian path algebras modulo its radical will be isomorphic to upper triangular formal matrix algebras, they can also be seen as direct sums of path algebras of cycles and copies of the ground field itself.

2023-10-16T16:55:20Z 27 pages and 2 figures Dolores Martín Barquero Cándido Martín González Iván Ruiz Campos http://arxiv.org/abs/2604.17161v1 2026-04-18T22:19:03Z

Let Ah = k[x][t; d] be the differential Ore extension. We study the action of the automorphism group of Ah on the derivations of Ah and explicitly describe, using Nowicki's decomposition of the derivations of Ah, the isotropy groups of this action. More precisely, we first obtain an explicit description of the automorphism group of Ah for deg(h) >= 1. Then we determine the isotropy groups of derivations of the form D = ad_w + Delta_s(x), which exhaust all derivations in the square-free case, that is, when gcd(h,h') = 1. In the singular case, where gcd(h,h') is not equal to 1 and special derivations of type EH appear, we show that the isotropy problem is governed by a suitable localization and by the element w* = w + psi^(-1)H, where psi = gcd(h,h'). This yields a general criterion for the isotropy of a derivation of the form D = ad_w + EH + Delta_s(x). Finally, we provide explicit examples illustrating the new phenomena that arise in this setting.

2026-04-18T22:19:03Z Rene Baltazar Leonardo Duarte Silva Grasiela Martini http://arxiv.org/abs/2410.00834v3 2026-04-18T09:35:55Z

In this work, we study the two main symmetries for the one-dimensional generalised KPZ equation (gKPZ): the chain rule and the Itô Isometry. We consider the equation in the full-subcritical regimes and use multi-indices that avoid an over-parametrization of the renormalised equation to compute the dimension of the two spaces associated with these two symmetries. Our proof is quite elementary and shows that multi-indices provide in this case a simplification in comparison to the results obtained via decorated trees. It also completes the program on the study of the chain rule initiated in arxiv:1902.02884 and continued in arxiv:2403.17066.

2024-10-01T16:14:21Z 38 pages. To appear in Proceedings of the London Mathematical Society Proc. London Math. Soc., 2026 132: e70162 Carlo Bellingeri Yvain Bruned 10.1112/plms.70162 http://arxiv.org/abs/2603.28437v2 2026-04-18T08:44:13Z

Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, prove that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.

2026-03-30T13:44:50Z 29 pages Adrien Busnot Laurent Hans Munthe-Kaas Venkatesh G. S http://arxiv.org/abs/2604.16636v1 2026-04-17T18:46:43Z

We study when algebra endomorphisms can be lifted to first-order flat lifts. To a first-order flat lift of an algebra and an endomorphism, we associate a canonical class in Hochschild cohomology with coefficients in a naturally twisted bimodule. The cohomology class vanishes exactly when the endomorphism admits a multiplicative lift. For an Azumaya algebra of constant rank over a formally smooth center, we prove that an endomorphism lifts if and only if the induced endomorphism of the center preserves the Poisson structure given by the lift of the algebra.

2026-04-17T18:46:43Z Niels Lauritzen Jesper Funch Thomsen http://arxiv.org/abs/2604.16078v1 2026-04-17T14:05:28Z

In this article, we derive explicit combinatorial formulas, depending only on $q$, for the Wedderburn decomposition of the rational group algebras of the finite linear groups $\operatorname{SL}_2(q)$ and $\operatorname{PSL}_2(q)$. Furthermore, we also determine the number of pairwise non-isomorphic simple $\mathbb Q G$-modules of each possible dimension for $G$ being either $\operatorname{SL}_2(q)$ or $\operatorname{PSL}_2(q)$.

2026-04-17T14:05:28Z First version; comments are always welcome Ram Karan Choudhary Saikat Panja http://arxiv.org/abs/2604.15986v1 2026-04-17T12:05:23Z

In this paper, we study the Chevalley property of Cayley-Hamilton Hopf algebras in the sense of De Concini-Procesi-Reshetikhin-Rosso using discriminant ideals. For any affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ whose identity fiber algebra has the Chevalley property, we prove that an irreducible $H$-module $V$ has the property that $V\otimes W$ is a completely reducible $H$-module for every irreducible $H$-module $W$ if and only if $V$ is annihilated by the lowest discriminant ideal of $(H,C,\text{tr})$, which establishes a bridge between the tensor-nondegenerate behaviour of the irreducible representations of $H$ and the lowest discriminant ideal of $(H,C,\text{tr})$. Using discriminant ideals, we prove that an affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ has the Chevalley property if and only if its identity fiber algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property and all the discriminant ideals of $(H,C,\text{tr})$ are trivial, thereby resolving a question posed by Huang-Mi-Qi-Wu. Moreover, it is shown that the lowest discriminant subvariety $\mathcal{V}_{\ell}$ of the algebraic group $\operatorname{maxSpec}C$ is a closed subgroup, which reflects the rigid nature of $\mathcal{V}_{\ell}$ and is effective in determining the lowest discriminant subvarieties in certain examples of low GK dimension. This rigidity property provides a method, via the lowest discriminant ideals, for constructing a large family of Hopf algebras with the Chevalley property and finite GK dimension. The results are illustrated through applications to the big quantized Borel subalgebras at roots of unity and to certain Artin-Schelter Gorenstein Hopf algebras of low GK dimension. In particular, the framework yields (non-finite) tensor categories with the Chevalley property arising from some big quantum groups at roots of unity.

2026-04-17T12:05:23Z 30 pages Yimin Huang Tiancheng Qi Quanshui Wu Ruipeng Zhu http://arxiv.org/abs/2604.15966v1 2026-04-17T11:30:17Z

We define the category of $G_2$-structures over a Riemannian 7-manifold $M$ and present an isomorphism between this category and a full subcategory of the category of octonion algebras over the ring of smooth real-valued functions $C^\infty(M)$ of the same manifold $M$. A classification of $G_2$-structures in the same metric class is shown to agree with a parametrisation of octonion algebras with isometric norm. A short study of the local structure of octonion algebras over $C^\infty(M)$ shows similarities to the theory of octonion algebras over $\mathbb{R}$. Thus, many of the results on real octonion algebras, and in general octonion algebras over rings, can be applied to $G_2$-structures viewed as octonion algebras, under the aforementioned isomorphism of categories.

2026-04-17T11:30:17Z 37 pages, comments welcome Isak Sundelius http://arxiv.org/abs/2604.13911v2 2026-04-16T18:29:18Z

Let $A$ be a commutative ring with unity, and $M$ a finitely generated $A$-module. In 1971, Morris Orzech showed that any surjective $A$-module homomorphism from a submodule of $M$ to $M$ must be an isomorphism. We give a constructive proof of this fact using the Cayley--Hamilton theorem.

2026-04-15T14:19:05Z 9 pages. Note written in 2015, mildly edited and with open questions added at the end. Posted mainly because I keep citing it. v2 fixes a mistake in the abstract and adds missing references Darij Grinberg http://arxiv.org/abs/2604.15286v1 2026-04-16T17:52:41Z

We investigate the problem asking when any square matrix whose entries lie in a finite field of characteristic 2 is decomposable into the sum of a diagonalizable matrix and a nilpotent matrix with index of nilpotency at most 2 and, as a result, we completely resolve this question in the affirmative for any finite field of characteristic 2 having strictly more than three elements. Our main theorem of that type, combined with results from our recent publication in Linear Algebra & Appl. (2026) (see [7]), totally settle this problem for all finite fields different from $\mathbb{F}_2$ and $\mathbb{F}_3$. However, in this paper we also prove that each matrix over $\mathbb{F}_2$ is expressible as the sum of a potent matrix with index of potency not exceeding 4 and a nilpotent matrix with index of nilpotency not exceeding 2, thus substantiating recent examples due to Šter in Linear Algebra & Appl. (2018) and Shitov in Indag. Math. (2019) (see, respectively, [9] and [8]).

2026-04-16T17:52:41Z 25 pages Peter Danchev Esther García Miguel Gómez Lozano http://arxiv.org/abs/2303.12124v3 2026-04-16T13:27:47Z

We prove a fundamental theorem for tropical partial differential equations, analogous to the fundamental theorem of tropical geometry in this context. We extend results from Aroca et al., Falkensteiner et al. and from Fink and Toghani for the case of trivial valuation as introduced by Grigoriev to differential equations with power series coefficients over any valued field. Crucial ingredients are the framework for tropical partial differential equations introduced by Giansiracusa and Mereta and a result on infinite intersections of projections of fibers of tropicalizations, which we prove using Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification. As a corollary of the fundamental theorem, we show that the radius of convergence of solutions of an ordinary differential equation over a nontrivially valued field can be computed tropically.

2023-03-21T18:23:51Z 43 pages, extended the scope from univariate to multivariate case, fixed a gap in the proof of Proposition 3.5 of version 1 and fixed Lemma 2.13 of version 2 Francesco Gallinaro Stefano Mereta