https://arxiv.org/api/IRJWqGGxcTdppbVjpb0KZHp6Zs8 2026-06-14T12:44:23Z 20068 345 15 http://arxiv.org/abs/2602.11943v2 2026-04-26T09:07:11Z

The Keller cylinder DG ring encodes homotopies between DG ring homomorphisms $f_0, f_1 : A \to B$. Recently we discovered the higher cylinder DG rings $Cyl_q(B)$, which assemble into the simplicial cylinder DG ring $Cyl(B)$. For $q=1$ this recovers Keller's original construction. The sets $SHom_q(A,B)$ of DG ring homomorphisms $A \to Cyl_q(B)$ form the simplicial Hom set $SHom(A,B)$. Our main result is that when $A$ is a semi-free DG ring, the simplicial set $SHom(A,B)$ is a Kan complex. We prove several results about the fundamental groupoid $SHom_{\leq 1}(A,B)$, including invariance under quasi-isomorphism $B' \to B$, and that the automorphism groups are abelian. We also indicate some applications of this work.

2026-02-12T13:38:58Z this version: 30 pages, added new results. Title change Amnon Yekutieli http://arxiv.org/abs/2601.22923v2 2026-04-26T07:36:39Z

Left Ehresmann monoids, and their two-sided counterpart of Ehresmann monoids, were so named by Lawson, who elucidated their connection to the work of Ehresmann in differential geometry. This article is dedicated to building a theory for left Ehresmann monoids inspired by that for inverse semigroups; in order to do so we must develop substantially different ideas and techniques. It is known that every left Ehresmann monoid has a cover, that is, a projection separating preimage, of the form $\mathcal{P}_{\ell}(T,X)$, where $\mathcal{P}_{\ell}(T,X)$ is a left Ehresmann monoid constructed from a monoid $T$ and an order-preserving action of $T$ on a semilattice $X$ with identity. We introduce the notion of a proper basis, and show that $\mathcal{P}_{\ell}(T,X)$, and consequently any free left Ehresmann monoid, possesses a proper basis. We show that any left Ehresmann monoid with a proper basis displays properties close to those of two-sided Ehresmann monoids. Next, we exhibit a class of subsemigroups $\mathcal{Q}_{\ell}(T,X,Y)$ (properly, biunary monoid subsemigroups) of the monoids $\mathcal{P}_{\ell}(T,X)$, which are also left Ehresmann with a proper basis. We prove that any left Ehresmann monoid with a proper basis is isomorphic to some $\mathcal{Q}_{\ell}(T,X,Y)$. Our results can be regarded as being analogous to those for proper inverse semigroups, due to McAlister and O'Carroll, the $\mathcal{Q}_{\ell}(T,X,Y)$ playing the role of the $P$-semigroups and the $\mathcal{P}_{\ell}(T,X)$ the role of the semidirect products of a semilattice by a group. In the process of proving our main theorems we present a globalisation result for an order-preserving partial action of a monoid on a partially ordered set or semilattice.

2026-01-30T12:43:32Z Gracinda Gomes Victoria Gould Yanhui Wang http://arxiv.org/abs/2604.23322v1 2026-04-25T14:15:29Z

We study the minimal dimension of maximal commutative subalgebras of the matrix algebra $M_n(k)$ over an algebraically closed field. While examples with dimension strictly smaller than n are known for $n \geq 14$, no such examples are known in smaller dimensions. In this paper, we show that for n = 6 every maximal commutative subalgebra $A\subset M_6(k)$ satisfies $\dim A \geq 6$. The proof is based on a detailed analysis of local algebras and their module structure, combined with explicit estimates of the dimension of the centralizer.

2026-04-25T14:15:29Z Małgorzata Nowak-Kępczyk http://arxiv.org/abs/2604.21597v2 2026-04-25T09:01:00Z

Let $G$ be a reductive group over an algebraically closed field of positive characteristic $p$, good for the root system of $G$. The closures of $G$-orbits in the Hilbert nullcone of the coadjoint representation are conical affine Poisson varieties, generically of full rank, known as {\em nilpotent coadjoint orbits}. In this paper, we classify the filtered Hamiltonian quantizations of these orbit closures for $G = GL_N$ and any $p > 0$. Our main new technique is a construction of quantizations from certain primitive quotients of the enveloping algebra, inducing them from the stabiliser in $G$ of the Frobenius twisted $p$-character.

2026-04-23T12:20:02Z 32 pages Filippo Ambrosio Lewis Topley Matthew Westaway http://arxiv.org/abs/2602.14243v2 2026-04-25T08:40:16Z

Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between polynomial-time tractability and NP-hardness. In this course we introduce the universal-algebraic approach to study the computational complexity of finite-domain CSPs. The course covers in particular the cyclic terms and bounded width theorems. To keep the presentation accessible, we start the course in the tangible setting of directed graphs and graph homomorphism problems.

2026-02-15T17:35:37Z In version 2: Added chapter on uniform algorithms. Fixed issues in the bounded width proof. Added many exercises. Changed order of sections on Maltsev and on Universal Algebra Manuel Bodirsky http://arxiv.org/abs/2604.10319v2 2026-04-25T07:18:20Z

We explicitly find a complete set of ${1\over4}(n+2)^2$ (resp. ${1\over4}(n+1)(n+3)$) primitive orthogonal idempotents in ${\rm Sym}^n\mathbb{H}\otimes_\mathbb{R}\mathbb{C}$ if $n$ is even (resp. odd), where ${\rm Sym}^n\mathbb{H}$ is the $n^{\it th}$ symmetric power of the Hamilton quaternion algebra $\mathbb{H}$. We also give a complete set of ${1\over4}(n+2)^2$ (resp. ${1\over8}(n+1)(n+3)$) primitive orthogonal idempotents in ${\rm Sym}^n\mathbb{H}$ if $n$ is even (resp. odd). Moreover, we explicitly find a complete set of ${1\over24}(n+2)(n+3)(n+4)$ (resp. ${1\over24}(n+1)(n+3)(n+5)$) primitive orthogonal idempotents in a certain associative subalgebra of ${\rm Sym}^n\mathbb{O}\otimes_\mathbb{R}\mathbb{C}$ if $n$ is even (resp. odd), where ${\rm Sym}^n\mathbb{O}$ is the $n^{\it th}$ symmetric power of the Cayley octonion algebra $\mathbb{O}$. We also give a complete set of ${1\over24}(n+2)(n+3)(n+4)$ (resp. ${1\over48}(n+1)(n+3)(n+5)$) primitive orthogonal idempotents in a certain associative subalgebra of ${\rm Sym}^n\mathbb{O}$ if $n$ is even (resp. odd).

2026-04-11T18:54:18Z Revised argument in the proof of part (c) of Theorem 3.5, results unchanged Aharon Razon http://arxiv.org/abs/2508.14290v2 2026-04-24T21:50:25Z

An algebraic framework in which to study infinite sums is proposed, complementing and augmenting the usual topological tools. The framework subsumes numerous examples in the literature. It is developed using many varied examples, with a particular emphasis on infinitizing the usual group and ring axioms. Comparing these examples reveals that a few key algebraic properties play a crucial role in the behaviors of different forms of infinite summation. Special attention is given to associativity, which is particularly difficult to properly infinitize. In that context, there is an important technique called the Eilenberg-Mazur swindle that is studied and greatly generalized. Some special properties are singled out as potential axioms. Interactions between these potential axioms are analyzed, and numerous results explore how to impose new axioms while retaining old ones. In some cases the axioms classify or categorize a given example. Surprisingly, such axiomatizations are very concise, relying on only a handful of natural conditions. These investigations reveal more precisely the part that topology plays in the formation of infinite sums. Special attention is given to the methods of partial summation and unconditional summation. In the opposite direction, it is proved that from the infinite sums alone one can create a refined topology, lying between the original topology and its sequential coreflection. Another especially interesting application of these ideas is the construction of new algebraic quotient structures that retain the ability to handle infinite summation.

2025-08-19T22:13:39Z 47 pages, comments welcome Pace P. Nielsen http://arxiv.org/abs/2509.17902v2 2026-04-24T13:31:35Z

Entrywise functions preserving positivity and related notions have a rich history, beginning with the seminal works of Schur, Pólya-Szegő, Schoenberg, and Rudin. Following their classical results, it is well-known that entrywise functions preserving positive semidefiniteness for matrices of all dimensions must be real analytic with non-negative Taylor coefficients. These works were taken forward in the last decade by Belton, Guillot, Khare, Putinar, and Rajaratnam. Recently, Belton-Guillot-Khare-Putinar [J. d'Analyse Math. 2023] classified all functions that entrywise preserve totally positive (TP) and totally non-negative (TN) matrices. In this paper, we study entrywise preservers of strictly sign regular and sign regular matrices - a class that includes TP/TN matrices as special cases and was first studied by Schoenberg in 1930 to characterize variation diminution. Our main results provide complete characterizations of entrywise transforms of rectangular matrices which preserve: (i)~sign regularity and strict sign regularity, as well as (ii)~sign regularity and strict sign regularity with a given sign pattern.

2025-09-22T15:29:06Z Final version, to appear in Transactions of the American Mathematical Society. 34 pages, no figure Projesh Nath Choudhury Shivangi Yadav http://arxiv.org/abs/2604.22373v1 2026-04-24T09:07:11Z

We study simplicity of Lie skew braces from both global and infinitesimal perspectives. After reviewing the correspondence between connected Lie skew braces, simply transitive affine actions, and post-Lie algebras, we investigate ideals and rigidity phenomena. Our main result concerns compact connected Lie skew braces. We prove that any compact connected simple Lie skew brace is either the trivial Lie skew brace on \(S^1\), or both of its underlying Lie groups are simple and the brace is trivial or almost trivial. Consequently, apart from the exceptional \(S^1\) case, simplicity of a compact connected Lie skew brace is equivalent to simplicity of either underlying Lie group. We also show that every connected compact solvable Lie skew brace is trivial. Finally, we construct a noncompact example demonstrating that this rigidity phenomenon does not hold in general: there exists a connected simply connected simple Lie skew brace whose additive and multiplicative Lie groups are both solvable.

2026-04-24T09:07:11Z 21 pages Marco Damele Andrea Loi http://arxiv.org/abs/2601.06888v2 2026-04-24T03:06:42Z

In this paper, we give an explicit description about the second Hochschild cohomology groups of bipartite Brauer graph algebras with trivial grading. Based on this, we provide geometric interpretations of deformations associated to some standard cocycles in terms of the surface models of Brauer graph algebras.

2026-01-11T12:24:21Z 50 pages, 13 figures Yuming Liu Zhengfang Wang Bohan Xing http://arxiv.org/abs/2603.27032v2 2026-04-23T18:57:56Z

We introduce the notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree~$1$, capturing the idea that an infinite-dimensional algebra can be approximated by a filtered system of finite-type universally Koszul quadratic subalgebras. We establish basic structural properties of this class, including stability under filtered colimits, direct products, and base change, as well as a local finite-type criterion expressed in terms of finite-dimensional subspaces of the degree-one component. In the context of Galois cohomology, we prove a colimit theorem for pro-$p$ groups under mild assumptions, showing that cohomology rings arise as filtered colimits of finite quotients. This yields a general criterion under which the cohomology algebra of a profinite group is asymptotically universally Koszul. We further analyze finitely generated quotients via a finite-type capture result, identifying their cohomology with canonical quadratic subalgebras of the ambient algebra. Finally, we formulate conditional local--global and patching principles that isolate the mechanisms by which asymptotic universal Koszulity may arise in arithmetic settings. These results provide a flexible structural framework linking homological algebra, quadratic algebras, and Galois cohomology, and suggest several directions for further investigation.

2026-03-27T22:57:40Z Marina Palaisti http://arxiv.org/abs/2604.21900v1 2026-04-23T17:47:49Z

Let $k$ denote an algebraically closed field of characteristic zero and let $X$ denote a smooth elliptic curve over $k$. Given a three-periodic elliptic helix $\underline{\mathcal{E}}$ of vector bundles over $X$ with endomorphism $\mathbb{Z}$-algebra $\operatorname{End} \underline{\mathcal{E}}$ and quadratic cover $\mathbb{S}^{nc}(\underline{\mathcal{E}})$, we prove that $\operatorname{End} \underline{\mathcal{E}}$ is the quotient of $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ by a degree three family of normal elements, generalizing a result of the authors to the case in which $\operatorname{dim }(\operatorname{End} \underline{\mathcal{E}})_{i, i+1}$ isn't a constant function of $i$. We then show that $\operatorname{End} \underline{\mathcal{E}}$ is noetherian if and only if it has polynomial growth, and in this case, the ranks of any three consecutive bundles in the helix are a Markov triple. Furthermore, in this case $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ is a noetherian GK-three $\mathbb{Z}$-algebra which is ${\sf Proj }$-equivalent to an elliptic algebra. We conclude the paper by constructing several new families of elliptic helices with exponential growth.

2026-04-23T17:47:49Z Daniel Chan Adam Nyman http://arxiv.org/abs/2411.01044v4 2026-04-23T17:13:13Z

In this paper we define three different notions of tensor products for Leibniz bimodules. The ``natural" tensor product of Leibniz bimodules is not always a Leibniz bimodule. In order to fix this, we introduce the notion of a weak Leibniz bimodule and show that the ``natural" tensor product of weak bimodules is again a weak bimodule. Moreover, it turns out that weak Leibniz bimodules are modules over a cocommutative Hopf algebra canonically associated to the Leibniz algebra. Therefore, the category of all weak Leibniz bimodules is symmetric monoidal and the full subcategory of finite-dimensional weak Leibniz bimodules is rigid and pivotal. On the other hand, we introduce two truncated tensor products of Leibniz bimodules which are again Leibniz bimodules. These tensor products induce a non-associative multiplication on the Grothendieck group of the category of finite-dimensional Leibniz bimodules. In particular, we prove that in characteristic zero for a finite-dimensional solvable Leibniz algebra this Grothendieck ring is an alternative power-associative commutative Jordan ring, but for a finite-dimensional non-zero semi-simple Leibniz algebra it is neither alternative nor a Jordan ring.

2024-11-01T21:29:07Z 45 pages JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (April 24, 2026) jonas:17482 Jörg Feldvoss Friedrich Wagemann 10.46298/jonas.17482 http://arxiv.org/abs/2512.14326v2 2026-04-23T16:54:41Z

A family of partial functions of a class of algebras $\mathsf{K}$ is said to be an implicit operation of $\mathsf{K}$ when it is defined by a first order formula and it is preserved by homomorphisms. In this work, we develop the theory of implicit operations from an algebraic standpoint.

2025-12-16T11:45:45Z Luca Carai Miriam Kurtzhals Tommaso Moraschini http://arxiv.org/abs/2510.01947v2 2026-04-23T13:29:32Z

We give the first examples of étale (non-Hausdorff) groupoids $\mathcal G$ whose $C^*$-algebras contain singular elements that cannot be approximated by singular elements in $\mathcal C_c(\mathcal G)$. We provide two examples: one is a bundle of groups, and the other a minimal and effective groupoid constructed from a self-similar action on an infinite alphabet. Moreover, we also prove that the Baum--Connes assembly map for the first example is not surjective, not even on the level of its essential $C^*$-algebra.

2025-10-02T12:15:05Z Accepted version. Typos were corrected and references updated. Prop 4.12 and some comments have been removed to shorten the paper Diego Martínez Nóra Szakács