https://arxiv.org/api/xvc800XqlveDNR7Cdn724UvIV9M 2026-06-14T05:58:07Z 20068 255 15 http://arxiv.org/abs/2605.09141v1 2026-05-09T19:55:10Z

A pp expansion of a quasivariety $\mathsf{K}$ is said to be simple when it is of the form $\mathsf{K}[\mathscr{L}_\mathcal{F}]$. For instance, when $\mathsf{K}$ has the amalgamation property, all its pp expansions are simple. It is shown that the simple pp expansions of a quasivariety $\mathsf{K}$ coincide with the quasivarieties $\mathsf{M}$ for which the forgetful functor $U \colon \mathsf{M} \to \mathsf{K}$ is well defined and induces an isomorphism from $\mathsf{M}$ to a mono-reflective subcategory of $\mathsf{K}$. As a consequence, if a quasivariety $\mathsf{K}$ possesses a simple Beth companion $\mathsf{M}$, then $\mathsf{M}$ is the unique (up to term equivalence) quasivariety whose monomorphisms are regular that, moreover, satisfy the categorical description of simple pp expansions of $\mathsf{K}$ given above.

2026-05-09T19:55:10Z Luca Carai Miriam Kurtzhals Tommaso Moraschini http://arxiv.org/abs/2605.09110v1 2026-05-09T18:49:11Z

Over an arbitrary field of characteristic different from $2$ admitting an anisotropic torsion $3$-fold Pfister form, we apply a construction due to Merkurjev to produce an algebra with orthogonal involution of degree $6$ which admits proper projective similitudes that are not $R$-trivial. In particular, such examples exist over every finitely generated transcendental extension of a local or global number field, as well as over every finitely generated extension of transcendence degree $3$ of $\mathbb{R}$.

2026-05-09T18:49:11Z 6 pages M. Archita Karim Johannes Becher http://arxiv.org/abs/2507.21006v2 2026-05-09T15:39:51Z

Symmetry is a key property of numerical methods. The geometric properties of symmetric schemes make them an attractive option for integrating Hamiltonian systems, whilst their ability to exactly recover the initial condition without the need to store the entire solution trajectory makes them ideal for the efficient implementation of Neural ODEs. In this work, we present a Hopf algebraic approach to the study of symmetric B-series methods. We show that every B-series method can be written as the composition of a symmetric and "antisymmetric" component, and explore the structure of this decomposition for Runge-Kutta schemes. A major bottleneck of symmetric Runge-Kutta schemes is their implicit nature, which requires solving a nonlinear system at each step. By introducing a new set of order conditions which minimise the antisymmetric component of a scheme, we derive what we call Explicit and Effectively Symmetric (EES) schemes -- a new class of explicit Runge-Kutta schemes with near-symmetric properties. We present examples of second-order EES schemes and demonstrate that, despite their low order, these schemes readily outperform higher-order explicit schemes such as RK4 and RK5, and achieve results comparable to implicit symmetric schemes at a significantly lower computational cost.

2025-07-28T17:19:07Z 27 pages, 3 figures Daniil Shmelev Kurusch Ebrahimi-Fard Nikolas Tapia Cristopher Salvi http://arxiv.org/abs/2407.15287v4 2026-05-09T15:04:08Z

In this paper we construct a Poisson algebra bundle whose distributional sections are suitable to represent multilocal observables in classical field theory. To do this, we work with vector bundles over the unordered configuration space of a manifold $M$ and consider the structure of a $2$-monoidal category given by the usual (Hadamard) tensor product of bundles and a new (Cauchy) tensor product which provides a symmetrized version of the usual external tensor product of vector bundles on $M$. We use the symmetric algebras with respect to both products to obtain a Poisson 2-algebra bundle mimicking the construction of Peierls bracket from the causal propagator in field theory. The explicit description of observables from this Poisson algebra bundle will be carried out in a forthcoming paper.

2024-07-21T22:50:40Z Alessandra Frabetti Olga Kravchenko Leonid Ryvkin http://arxiv.org/abs/2605.08919v1 2026-05-09T12:38:59Z

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly graded rings form a particularly well-behaved and structurally rich class. In this paper we introduce a notion of factor systems for strongly graded rings, consisting of algebraic data that encode both the bimodule structure of the homogeneous components and their multiplication relations. In particular, this framework makes it possible to carry out explicit computations. We show that strongly graded rings with fixed principal component are classified, up to isomorphism, by conjugacy classes of such factor systems. Conversely, every abstract factor system gives rise to a strongly graded ring realizing it. In this way, the global structure of a strongly graded ring can be reconstructed from algebraic data on the principal component together with the grading group. Factor systems also provide a convenient framework for studying the problem of lifting derivations from the principal component to graded derivations of the whole ring. We derive explicit compatibility conditions for the existence of such lifts and interpret the resulting obstruction in cohomological terms. This leads to an algebraic analogue of the Atiyah sequence for strongly graded rings and to curvature-type invariants measuring the failure of graded lifts to form Lie algebra homomorphisms. The theory is illustrated by Leavitt path algebras.

2026-05-09T12:38:59Z 43 pages. All comments are welcome Joakim Arnlind Stefan Wagner http://arxiv.org/abs/2502.10670v3 2026-05-09T07:12:22Z

Let $G$ be a finite group acting on an ice quiver with potential $(Q, F, W)$. We construct the corresponding $G$-equivariant relative cluster category and $G$-equivariant Higgs category, extending the work of Demonet. Using the orbit mutations on the set of $G$-stable cluster-tilting objects of the Higgs category and an appropriate cluster character, we can link these data to an explicit skew-symmetrizable cluster algebra with coefficients. As a specific example, this provides an additive categorification for cluster algebras with principal coefficients in the non-simply laced case.

2025-02-15T04:44:15Z 36 pages, comments are welcome; adding Remark 3.22 and references; to appear in Nagoya Math. J Yilin Wu http://arxiv.org/abs/2601.19689v2 2026-05-09T06:10:21Z

We develop a theory of equivariant Nijenhuis Lie algebras (ENL algebras), namely Lie algebras equipped with Nijenhuis operators satisfying an equivariance condition with respect to the adjoint representation. This compatibility condition allows classical Lie bialgebra constructions to extend naturally to the operator-equipped setting. Within this framework, we define ENL bialgebras and establish the associated notions of matched pairs, Manin triples, and Drinfel'd doubles. We show that coboundary ENL bialgebras are characterized by EN $r$-matrices satisfying an equivariant classical Yang-Baxter equation. We further introduce EN-relative Rota-Baxter operators and prove that they provide an operator-theoretic realization of such $r$-matrices, leading to descendant ENL algebras and to solutions of the classical Yang-Baxter equation on semidirect ENL algebras. In the quadratic case, this construction recovers Rota-Baxter operators of weight zero. Finally, we extend the EN framework to pre-Lie algebras and show that pre-ENL algebras naturally induce associated ENL structures.

2026-01-27T15:05:55Z 30 pages Journal of Geometry and Physics (2026), 105861 Shuai Hou Zohreh Ravanpak Yunhe Sheng 10.1016/j.geomphys.2026.105861 http://arxiv.org/abs/2501.07302v2 2026-05-09T00:47:34Z

The general operadic approach to splitting algebraic operations was developed in \cite{BBGN}. By splitting the product in a given algebraic variety $\mathcal{C}$, notion of $\mathcal{C}$-dendriform algebras was systematically studied in \cite{OPV}. This article aims to study ``anti-associative dendriform algebras", which offer an approach to addressing anti-associativity. These algebras are defined by two operations whose sum is anti-associative. Furthermore, the notion of $\mathcal{O}$-operators on anti-associative algebras is presented as a tool to interpret anti-associative dendriform algebras. Moreover, anti-associative algebras with nondegenerate Connes cocycles admit compatible anti-associative dendriform algebra structures.

2025-01-13T13:11:53Z 14 pages Zafar Normatov http://arxiv.org/abs/2606.06499v1 2026-05-09T00:42:34Z

In this paper, we systematically develop the theory of mock-pre-Lie bialgebras from multiple perspectives. We introduce the notion of a phase space of a mock-Lie algebra, and show that a mock-Lie algebra admits a phase space if and only if it is sub-adjacent to a mock-pre-Lie algebra. We introduce the notions of Manin triples of mock-pre-Lie algebras and mock-pre-Lie bialgebras, and prove the equivalences between mock-pre-Lie bialgebras, Manin triples of mock-pre-Lie algebras, certain matched pairs of mock-pre-Lie algebras, certain matched pairs of mock-Lie algebras and phase spaces of a mock-Lie algebra, which lays a theoretical foundation for subsequent research. Next, we investigate coboundary mock-pre-Lie bialgebras, and derive an analogue of the classical Yang-Baxter equation. In addition, we introduce two important special classes of mock-pre-Lie bialgebras: quasi-triangular mock-pre-Lie bialgebras and factorizable mock-pre-Lie bialgebras. We show that quasi-triangular mock-pre-Lie bialgebras naturally induce relative Rota-Baxter operators of weight -1. Finally, we provide a new perspective for the study of triangular and factorizable mock-pre-Lie bialgebras by introducing the concept of quadratic Rota-Baxter mock-pre-Lie algebras of arbitrary weight.

2026-05-09T00:42:34Z 25 pages Shuai Hou Zafar Normatov Lina Song http://arxiv.org/abs/2507.06124v3 2026-05-08T14:27:48Z

In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is coherent, and that the converse statement holds in some relevant ideally exact contexts. Furthermore, a connection with G. Janelidze's notion of semidirect product in ideally exact categories is analysed.

2025-07-08T16:08:48Z Final version, accepted for publication Theory and Applications of Categories 45 (2026), no. 31, pp. 1280-1320 Manuel Mancini Giuseppe Metere Federica Piazza http://arxiv.org/abs/2605.07784v1 2026-05-08T14:21:30Z

Given a full column rank $M \in \Z^{\ell \times m}$ and an $F \in \Z^{n \times m}$ we present an algorithm to compute the $n \times n$ basis in Hermite form of the integer lattice comprised of all rows $p \in \Z^{1 \times n}$ such that $pF \in \Z^{1 \times m}$ is in the integer lattice generated by the rows of $M$. The algorithm is randomized of the Las Vegas type, that is, it can fail with probability at most $1/2$, but if fail is not returned it guarantees to produce the correct result. When $M$ is square and $F=I_m$, then the computed basis is the Hermite normal form of $M$, and the algorithm uses about the same number of bit operations as required to multiply together two matrices of the same dimension and size of entries as $M$.

2026-05-08T14:21:30Z George Labahn Arne Storjohann http://arxiv.org/abs/2605.07666v1 2026-05-08T12:37:30Z

Let $A$ and $B$ be unital complex Banach algebras having no quotients isomorphic to $\mathbb{C}$ or $M_2(\mathbb{C})$. Assume additionally that $B$ is semisimple. If a surjective additive mapping $Φ\colon A\to B$ satisfies $[Φ(x^2),Φ(x)] = 0$ for all $x\in A$, then there exist a surjective direct sum of an additive homomorphism and an additive anti-homomorphism $Ψ\colon A\to B$, an invertible element $λ\in\mathcal{Z}(B)$, and an additive mapping $ζ\colon A\to\mathcal{Z}(B)$ such that $Φ(x)=λΨ(x)+ζ(x)$ for all $x\in A$.

2026-05-08T12:37:30Z M. Brešar G. M. Escolano A. Peralta A. R. Villena http://arxiv.org/abs/2605.07555v1 2026-05-08T10:31:32Z

In this paper we consider a family of nested t-structures given by silting objects and construct a silting object corresponding to the intersection of aisles of these t-structures as a homotopy colimit. The dual construction for the cosilting case is given as a homotopy limit. The results are applied to construct two-term large silting objects corresponding to the numerical torsion pairs and the limiting walls in the wall and chamber structure of the real Grothendieck group of a finite dimensional algebra. In particular, in case the algebra is tame we can describe any numerical torsion pair in this way by combining our results with results of Plamondon and Yurikusa.

2026-05-08T10:31:32Z Rosanna Laking Alexandra Zvonareva http://arxiv.org/abs/2605.07497v1 2026-05-08T09:36:45Z

In this paper the category of opposite brace triples is introduced in a general braided monoidal setting. Under cocommutativity, it is proved to be isomorphic to the category of Hopf braces. Furthermore, if one considers the subcategories arising from fixing one of the underlying Hopf algebras, then these two categories are also isomorphic to the category of matched pairs over that Hopf algebra.

2026-05-08T09:36:45Z Ramón González Rodríguez Brais Ramos Pérez http://arxiv.org/abs/2605.05849v1 2026-05-07T08:23:49Z

Let $F$ be a field, and $\mathcal{M}$ be a linear subspace of $n$-by-$n$ matrices with entries in $F$ that have at most two eigenvalues in $F$ (respectively, at most one non-zero eigenvalue in $F$). In a previous article, we have determined the greatest possible dimension for $\mathcal{M}$ when the characteristic of $F$ is not $2$. In this article and its sequel, we solve this problem for all fields with characteristic $2$.

2026-05-07T08:23:49Z 59 pages Clément de Seguins Pazzis