https://arxiv.org/api/BkNKg1EO+po7OWI2EBUNPe+iMZM 2026-06-13T23:43:11Z 20068 165 15 http://arxiv.org/abs/2605.24348v1 2026-05-23T02:20:26Z

We study generalized splines from the perspective of the representation theory of the category of graphs with contractions. Our main theorem proves a kind of finite generation, which in turn implies the existence of a ``universal generating set'' for the module of splines over any graph with fixed combinatorial genus. This theorem holds over any Noetherian commutative ring with a chosen finite list of ideals for edge-labels. We then give several applications of this theorem, including showing that a particular generating function associated to splines on trees is algebraic when the base ring satisfies certain finiteness conditions. We illustrate our technical theorems explicitly by giving a classification of splines on graphs with combinatorial genus one and two.

2026-05-23T02:20:26Z Jacob Matherne Eric Ramos Julianna Tymoczko http://arxiv.org/abs/2605.23865v1 2026-05-22T17:24:55Z

Let $\mathbb{F}$ be a field and let $M_2(\mathbb{F})$ be the algebra of $2\times 2$ matrices endowed with an involution of the first kind. We study the image of multilinear $*$-polynomials evaluated on $M_2(\mathbb{F})$. For the transpose involution over $\mathbb{R}$, we show that the image is either a proper vector subspace or contains a basis of $M_2(\mathbb{R})$. For the symplectic involution over quadratically closed fields or over $\mathbb{R}$, we prove that the image is always a vector space, namely one of $\{0\}$, $\mathbb{F}$, $sl_2(\mathbb{F})$ or $M_2(\mathbb{F})$. As a byproduct, we complete a theorem of Brešar and Klep describing the linear span of the image of a $*$-polynomial on finite dimensional central simple algebras with involution of the first kind. Their result excluded algebras of dimensions 4 and 16; we settle both cases, extending the description to all dimensions greater than 1 (over $\mathbb{R}$ for the transpose involution, and over quadratically closed fields or $\mathbb{R}$ for the symplectic involution). We also classify all Lie skew-ideals of $M_4(\mathbb{F})$ over fields of characteristic zero.

2026-05-22T17:24:55Z 17 pages Lucio Centrone Thiago Castilho de Mello http://arxiv.org/abs/2605.23799v1 2026-05-22T15:58:02Z

We study Rota--Baxter operators on vertex algebras using the integrated $λ$-bracket formalism. A Rota--Baxter operator produces a deformed vertex algebra structure, and the difference between the deformed and original brackets yields a two-cocycle in vertex algebra cohomology. This generalizes the classical relation between Rota--Baxter operators and Hochschild two-cocycles. We also characterize when this two-cocycle is trivial, showing that non-scalar operators give rise to non-trivial cohomology classes.

2026-05-22T15:58:02Z Hassan Alhussein http://arxiv.org/abs/2402.13356v2 2026-05-22T11:20:59Z

Given a presilting object in a triangulated category, we find necessary and sufficient conditions for the existence of a complement. This is done both for classic (pre)silting objects and for large (pre)silting objects. The key technique is the study of associated co-t-structures. As a consequence of our techniques we recover some known cases of the existence of complements, including for derived categories of some hereditary abelian categories and for silting-discrete algebras. Moreover, we also show that a finite-dimensional algebra is silting discrete if and only if every bounded large silting complex is equivalent to a compact one.

2024-02-20T20:16:42Z 26 pages, 1 figure. Comments are welcome! Journal accepted version with numbering matching the published version Nagoya Math. J. 261 (2026) e5 Lidia Angeleri Hügel David Pauksztello Jorge Vitória 10.1017/nmj.2025.10070 http://arxiv.org/abs/2605.23369v1 2026-05-22T08:33:54Z

Double (quasi-)Poisson brackets were introduced on associative algebras by Van den Bergh to induce a (quasi-)Poisson structure on their representation spaces naturally equipped with a $\mathrm{GL}$-action (type $\mathtt{A}$). If there exists a compatible involutive anti-automorphism on the underlying associative algebras, Olshanski and Safonkin proved that this construction can be upgraded to induce a Poisson structure on twisted representation spaces (types $\mathtt{B},\mathtt{C},\mathtt{D}$). We provide an analogous result for double quasi-Poisson brackets, and over an arbitrary semisimple base. We also apply our theory to quivers in order to understand the Poisson structure on twisted (localised multiplicative) quiver varieties. The formalism permits that different vertices are assigned different types. As a first application, we recover the framework of Massuyeau and Turaev for Hopf algebras with a Fox pairing, which induces in particular the Poisson structure of character varieties for the orthogonal or symplectic groups. As a second application, we introduce a modified Kontsevich system.

2026-05-22T08:33:54Z 43 pages, 1 figure. Comments are more than welcome! Semeon Arthamonov Maxime Fairon http://arxiv.org/abs/2110.03108v2 2026-05-21T20:28:41Z

Let $R$ be a commutative ring and $n\geq1$ and $p\geq0$ two integers. Let $h_{k,\ i}$ be an element of $R$ for all $k\in\mathbb Z$ and $i\in [n]$. For any $α\in\mathbb Z^n$, we define \[ t_α:=\det\begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+n,\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+n,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+n,\ n} \end{pmatrix} \in R \] (where $α_i$ denotes the $i$-th entry of $α$). Then, we have the identity \[ \sum_{\substack{β\in\{0,1,2,\ldots\}^n ;\\ \left|β\right|=p}}t_{α+β} =\det \begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+(n-1),\ 1} & h_{α_1+(n+p),\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+(n-1),\ 2} & h_{α_2+(n+p),\ 2}\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+(n-1),\ n} & h_{α_n+(n+p),\ n} \end{pmatrix} \] (where $α+β$ denotes the entrywise sum of the tuples $α$ and $β$). Furthermore, if $p\leq n$, then \[ \sum_{\substack{β\in\left\{ 0,1\right\} ^n ;\\\left| β\right| =p}}t_{α+β}=\det \begin{pmatrix} h_{α_1+ξ_1 ,\ 1} & h_{α_1+ξ_2 ,\ 1} & \cdots & h_{α_1+ξ_n ,\ 1}\\ h_{α_2+ξ_1 ,\ 2} & h_{α_2+ξ_2 ,\ 2} & \cdots & h_{α_2+ξ_n ,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+ξ_1 ,\ n} & h_{α_n+ξ_2 ,\ n} & \cdots & h_{α_n+ξ_n ,\ n} \end{pmatrix} , \] where $ξ=(1,2,\ldots,n-p,n-p+2,n-p+3,\ldots,n+1)$. We prove these two identities (in a slightly more general setting, where $R$ is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature.

2021-10-06T23:48:04Z 44 pages. Main results stated in Sections 2 and 4. v2 corrects Corollary 4.12 (assumption was insufficient; error found by GPT-5.5). Not sure how new the results are, whence no attempts at publication, but the writeup may be useful nevertheless Darij Grinberg http://arxiv.org/abs/2605.23003v1 2026-05-21T20:14:42Z

We derive explicit formulae for the subalgebra zeta functions of all higher Heisenberg Lie algebras over an arbitrary compact discrete valuation ring $\mathfrak{o}$. To this end, we develop Hecke-theoretic techniques for the enumeration, by two distinct invariants, of sublattices of an $\mathfrak{o}$-lattice of finite rank endowed with a non-degenerate symplectic form.

2026-05-21T20:14:42Z 50 pages Jianhao Shen Christopher Voll http://arxiv.org/abs/2605.22970v1 2026-05-21T18:58:16Z

Let $K$ be an algebraically closed field of characteristic zero, $A= K[x_1, \dots, x_n]$ the polynomial ring in $n$ variables, and let $W_n(K)$ be the Lie algebra of all $K$-derivations of $A.$ This Lie algebra also is the free $A$-module of rank $n$ over the ring $A,$ so every subalgebra of $W_n(K)$ has a rank $\leq n$ over $A.$ We prove that every maximal subalgebra of rank $\leq n$ of $W_n(K)$ is a simple Lie algebra. If a maximal subalgebra $L\subset W_n(K)$ has rank $n$ and is a submodule of $W_n(K)$ then $L$ is not simple. Moreover, $L$ is of the form $L=\{ D\in W_n(K) \ | \ D(I)\subseteq I\} $ for some ideal $I$ of the ring $A.$ It is also proved that, for a simple derivation $D$ on the ring $K[x, y]$, the subalgebra $K[x, y]D$ is a maximal subalgebra of $W_2(K).$

2026-05-21T18:58:16Z Y. Chapovskyi A. Petravchuk O. Tyshchenko http://arxiv.org/abs/2605.22700v1 2026-05-21T16:43:08Z

In this paper, we introduce and study a new class of rings calling them {\it weakly $ΔU$-rings}, hereafter abbreviated as {\it $WΔU$-rings} for short. A ring $R$ is said to be $WΔU$ if every unit of $R$ can be expressed as $\pm 1 + d$ for some $d \in Δ(R)$, where $Δ(R)$ is the largest Jacobson radical of $R$ that is closed under multiplication by units. Utilizing the known structure of $Δ(R)$, we investigate the relationships between $WΔU$ rings and certain classical concepts such as $ΔU$-rings, $UJ$-rings, $WUJ$-rings, as well as clean and exchange rings. Among the main results, we show that a matrix ring $M_n(R)$ is never $WΔU$ for any $n \ge 2$. We also provide complete characterizations of local, semi-local, semi-simple and semi-regular rings that are $WΔU$. Furthermore, it is shown for exchange rings that the $WΔU$ property is equivalent to being $WUJ$. Furthermore, the behavior of $WΔU$-rings under various ring extensions, including skew polynomial rings, skew power series rings, triangular matrix rings, trivial extensions and group rings, is thoroughly examined. Several examples are given to illustrate that the class of $WΔU$-rings properly contains the class of $ΔU$-rings. Finally, necessary and sufficient conditions for a group ring $RG$ to be $WΔU$ are established too. Resuming all of the presented above, our results expanded those by Karabaçak et al. published in J. Algebra \& Appl. (2021).

2026-05-21T16:43:08Z 20 pages Peter Danchev Omid Hasanzadeh Ahmad Moussavi Mehrdad Esfandiar http://arxiv.org/abs/2605.22624v1 2026-05-21T15:35:51Z

Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that $Q$ is invertible in $ A[\![x_1, \dots, x_n]\!]$. Let also $\mathcal M \colon \mathbf Z^n \to A$ be the map associating to the $n$-tuple of integers $(α_1, \dots, α_n)$ the coefficient of the monomial $x_1^{α_1} \dots x_n^{α_n}$ in the development of the rational fraction $PQ^{-1}$ as a power series (the support of $\mathcal M$ is contained in $\mathbf N^n$). Our main result ensures that the map $\mathcal M$, viewed as a tiling of $\mathbf R^n$ by unit cubes with color set $A$, is self-similar. The self-similarity is expressed in terms of invariance under substitutions. By specializing to $d=1$, $n=2$, $P=1$ and $Q =1-x_1-x_2$, we recover the well-known self-similarity feature of the binomial coefficients modulo $p$.

2026-05-21T15:35:51Z 15 pages (core) + 6 pages (appendix); 11 figures; most figures are in the appendix Pierre-Emmanuel Caprace Justin Vast http://arxiv.org/abs/2604.11241v2 2026-05-21T09:36:43Z

Let $K$ be any field, and let $E$ be any graph. We explicitly construct the projective resolution of simple left modules over the Leavitt path algebra $L_K(E)$ associated to cycles and irreducible polynomials. Then we study the dimension of the $K$-vector space of the extensions between two such simple modules.

2026-04-13T09:47:32Z Francesca Mantese Alberto Tonolo http://arxiv.org/abs/2605.22160v1 2026-05-21T08:29:20Z

In this paper, we compute minimum second neighborhood degree spectrum and energy of commuting graphs of certain finite non-commutative rings. In particular, we consider non-commutative rings of order $p^2, p^3, p^4, p^5, p^2q$ and $p^3q$, where $p$ and $q$ are primes. We shall also show that the commuting graphs of these rings are MSN-integral but not MSN-hyperintegral. Finally, employing the techniques used in this paper, we prove Conjecture 3 of [Nath, R. K., Fasfous, W. N. T., Das, K. C. and Shang, Y. Common neighbourhood energy of commuting graphs of finite groups, {\em Symmetry} {\bf 13}(9), Article No. 1651, 2021.] and Conjecture 3.12 of [W. N. T. Fasfous and Nath, R. K. Common neighborhood spectrum and energy of commuting graphs of finite rings, \emph{ Palestine J. Math.} \textbf{13}(1), 66--76, 2024.]. We conclude this paper with two open problems.

2026-05-21T08:29:20Z 17 pages Payal Tak Jutirekha Dutta Rajat Kanti Nath http://arxiv.org/abs/2605.21992v1 2026-05-21T04:41:34Z

In this paper, using extension theory and cohomological approach we introduce the notion of the obstruction class for an inner post-Lie algebra being induced by a Rota-Baxter operator, and show that an inner post-Lie algebra is induced by a Rota-Baxter operator if and only if the obstruction class is trivial. Similarly, we introduce the notion of the obstruction class for an inner post-group being induced by a Rota-Baxter operator, and prove a parallel result. Finally, we give some applications of inner post-Lie algebras and inner post-groups.

2026-05-21T04:41:34Z 17 p V. Gubarev Y. Li Y. Sheng Y. Wang http://arxiv.org/abs/2506.13426v3 2026-05-20T14:13:47Z

We give a description of prepositive cones -- a notion of ordering on algebras with involution introduced by Astier and Unger -- in the specific context of quaternion algebras with involution. Our main result establishes that, for a broad class of quaternion algebras with involution, every prepositive cone is maximal.

2025-06-16T12:43:35Z Accepted for publication in Journal of Algebra and Its Applications; Final version before publication; 9 pages Andrew Leader 10.1142/S0219498827502380 http://arxiv.org/abs/2412.17051v2 2026-05-20T06:21:36Z

In this work, we provide a combinatorial formalism for dealing with the cancellations that have appeared recently in the context of dispersive PDEs with random initial data. The main idea is to transform iterated integrals encoded by decorated trees into words via an arborification map. This provides a formalism alternative to the one of molecules introduced by Deng and Hani (2023). It allows us to compute the cancellations coming from Wave turbulence and the proof of the invariance of the Gibbs measure under the dynamics of the three-dimensional cubic wave equation.

2024-12-22T15:03:17Z 27 pages. To appear in Probability and Mathematical Physics Yvain Bruned Leonardo Tolomeo