https://arxiv.org/api/oyIXXgbsmBHj++vZn/IJophhsNw 2026-03-22T11:43:53Z 19723 30 15 http://arxiv.org/abs/2603.13916v1 2026-03-14T12:15:15Z

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be viewed as a unary implicit operation of the class of all monoids because its graph on a given monoid is defined by the equation $xy \thickapprox 1 \thickapprox yx$ and monoid homomorphisms preserve existing inverses. As this example demonstrates, the implicit operations of a class $\mathsf{K}$ need not be given by a term of $\mathsf{K}$. We show that an equational class of commutative monoids can be expanded with enough implicit operations so that every implicit operation can be interpolated by a family of terms if and only, in each of its members, for every $a$ there exists some $b$ such that $a = a^2b$, i.e., the class consists of inverse monoids. Our methods build on the interaction of the theory of implicit operations with Grillet's description of finitely generated subdirectly irreducible commutative semigroups and the combinatorics deriving from an extension of Isbell's Zigzag Theorem to all equational classes of commutative monoids.

2026-03-14T12:15:15Z Luca Carai Miriam Kurtzhals Tommaso Moraschini http://arxiv.org/abs/2603.13569v1 2026-03-13T20:17:39Z

This article provides a general framework in the context of category theory where one can recognize as particular instances of the same abstract construction several notions of completion, envelope, and hull, such as the Boolean algebra completion of a Boolean algebra, the Dedekind--MacNeille completion of an ordered set, the multiplier ring of a ring, the multiplier algebra and the von Neumann envelope of a C*-algebra. Towards our goal, we lay the foundations of \emph{polarized} category theory, which is a refinement of classical category theory where categories are endowed with two distinguished classes of \emph{positive} and \emph{negative} arrows. We define in this context the notion of \emph{polarity}, and \emph{voltage}. We explain how a voltage can be created through a \emph{capacitor}, which is essentially a polarized version of the notion of reflective subcategory. In particular, this produces a \emph{completion functor} (which in the classical case is just the reflector) which assigns to each object its completion or hull. These applies even when the completion is not (and cannot be) given by a functor on the whole category, as it is most often the case. In this framework, we obtain a general theorem ensuring the existence and uniqueness of a functorial completion functor. The corresponding completion of each object is characterized by its two universal properties with respect to positive and negative arrows.

2026-03-13T20:17:39Z 27 pages Ivan Di Liberti Martino Lupini http://arxiv.org/abs/2308.04874v4 2026-03-13T17:38:18Z

Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent systems in computer science. All the above-hinted notions deal with a binary contact relation. Several authors suggested the more general study of $n$-ary ``hypercontact'' relations and noticed that, in general, a hypercontact relation cannot be retrieved from just a binary contact relation. A similar evolution occurred in the study of the just mentioned event structures in computer science. In an effort to unify the above lines of research, in this paper we study join semilattices with a hypercontact relation. We provide representation theorems into Boolean algebras, with or without overlap hypercontact relation. With a single exception, our proofs are choice-free. We also present several examples and problems; in particular, we briefly discuss some connections with event structures and hypergraphs.

2023-08-09T11:15:58Z v4 Added an appendix (not present in the journal version) using graph theoretical results in order to characterize binary relations representable by proximities. v3, added material. The name of the main notion has been changed to "hypercontact'' in order to keep the terminology uniform with respect to the terminology used in graph theory. In particular, the title has been correspondingly modified Journal of Applied Non-Classical Logics (2025) 35 189-214 Paolo Lipparini 10.1080/11663081.2025.2452738 http://arxiv.org/abs/2603.13105v1 2026-03-13T16:01:51Z

Butcher forests extend naturally into aromatic and clumped forests and play a fundamental role in the numerical analysis of volume-preserving methods. The description of numerical volume-preservation is filled with open problems and recent attempts showed progress on specific dynamics and in low-dimension. Following this trend, we introduce aromatic and clumped multi-indices, that are simpler algebraic objects that better describe the Taylor expansions in low dimension. We provide their algebraic structure of pre-Lie-Rinehart algebra, Hopf algebroid, and Hopf algebra, and we generalise in the aromatic context the Hopf embedding from multi-indices to the BCK Hopf algebra.

2026-03-13T16:01:51Z 23 pages Zhicheng Zhu Adrien Busnot Laurent http://arxiv.org/abs/2510.00470v5 2026-03-13T11:44:16Z

We introduce the notion of a Calabi--Yau quadruple as a generalization of Iyama--Yang's Calabi--Yau triple. For each $(d+1)$-Calabi--Yau quadruple, we show that the associated Higgs category is a $d$-Calabi--Yau Frobenius extriangulated category, which moreover admits a canonical $d$-cluster-tilting subcategory. Concrete examples arise from the construction of relative cluster categories and Higgs categories in the setting of ice quivers with potentials, as well as from the singularity category of an isolated singularity. As an application, we prove that both the relative Amiot--Guo--Keller's construction and the Higgs construction of a $(d+1)$-Calabi--Yau quadruple take silting reduction to Calabi--Yau reduction.

2025-10-01T03:42:56Z 25 pages; adding references and Corollary 3.25; removing Condition 2.1.;adding Example 3.4, Corollary 3.26(4), Remark 3.27 and Example 4.11 Yilin Wu http://arxiv.org/abs/2501.04355v2 2026-03-13T08:12:55Z

We propose an algebraic method for the classification of branched Galois covers of a curve $X$ focused on studying Galois ring extensions of its geometric adele ring $\A_{X}$. As an application, we deal with cyclic covers; namely, we determine when a given cyclic ring extension of $\A_{X}$ comes from a corresponding cover of curves $Y \to X$, which is reminiscent of a Grunwald-Wang problem, and also determine when two covers yield isomorphic ring extensions, which is known in the literature as an equivalence problem. This completely algebraic method permits us to recover ramification, certain analytic data such as rotation numbers, and enumeration formulas for covers.

2025-01-08T08:53:52Z to appear in "CUBO, A Mathematical Journal", Vol. 28, No. 2 (2026) Luis Manuel Navas Vicente Francisco J. Plaza Martin http://arxiv.org/abs/2409.08957v2 2026-03-12T23:40:09Z

We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem for finite-type Lie $\infty$-algebras: Every finite-type, homologically and non-negatively graded $L_\infty$-algebra over $\mathbb{R}$ integrates to a finite-dimensional Lie $\infty$-group. As a corollary, our construction yields a new explicit finite-dimensional model for the string Lie 2-group.

2024-09-13T16:21:52Z 85 pages. Rewritten intro and minor edits to body of paper to improve exposition. Comments welcome Christopher L. Rogers Jesse Wolfson http://arxiv.org/abs/2406.02933v4 2026-03-12T23:26:21Z

This document presents the solutions to the exercises in the book "Albert algebras over commutative rings" published by Cambridge University Press, 2024, as well as errata and addenda. The addenda include proofs, in the style of the book, showing that (A1) Albert algebras are exceptional and in particular that a central simple Jordan algebra over a field is exceptional if and only if it is an Albert algebra; (A2) A regular lattice in a real Albert algebra is also an Albert algebra; (A3) a Freudenthal algebra over a field is split by an extension of degree dividing 6; and (A4) a Freudenthal subalgebra of rank 9 in an Albert algebra can be used to describe the Albert algebra as a Tits construction.

2024-06-05T04:46:51Z Approximately 330 pages. v2 adds errata and addendum A1. v3 adds addendum A2 and A3. v4 adds addendum A4 Skip Garibaldi Holger P. Petersson Michel L. Racine http://arxiv.org/abs/2508.07889v2 2026-03-12T21:34:10Z

We study the holonomy of the Obata connection on 2-step hypercomplex nilmanifolds. By explicitly computing the curvature tensor, we determine the conditions under which the Obata connection is flat, showing that this depends on the nilpotency step of each complex structure. In particular, we show that for 2-step hypercomplex nilmanifolds the holonomy algebra of the Obata connection is always an abelian subalgebra of $\mathfrak{sl}(n, \mathbb{H})$ and we prove that the $\mathbb{H}$-solvable conjecture holds in this case. Furthermore, we provide new examples of $k$-step nilpotent hypercomplex nilmanifolds, with arbitrary $k$, which are not Obata flat.

2025-08-11T12:05:50Z 20 pages. To appear in Bull. Lond. Math. Soc. The definition of $\mathbb H$-solvability was extended to arbitrary hypercomplex Lie algebras (not necessarily nilpotent). We improved the proof of Theorem 6.1 and introduced Subsection 6.1. We added Lemma 7.1 to simplify the proof of Proposition 7.2 Adrián Andrada María Laura Barberis Beatrice Brienza http://arxiv.org/abs/2603.12425v1 2026-03-12T20:17:09Z

For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\in \mathcal M(\infty)$ for the appropriate modular group $\mathcal M$, and $p$ is a fixed point of a parabolic transformation in $\mathcal M$. Eventually-periodic points correspond exactly to fixed points of loxodromic elements of $\mathcal M$, which can be interpreted as roots of non-degenerate quadratics using the Clifford Algebra formalism of Ahlfors. In particular, this provides a new geometric proof of Lagrange's theorem for nearest-integer real CFs and Hurwitz complex CFs. Lastly, we comment on generalizations of the identity $i+1/i=0$.

2026-03-12T20:17:09Z 20 pages, 1 figure Anton Lukyanenko Joseph Vandehey http://arxiv.org/abs/2603.12348v1 2026-03-12T18:09:53Z

We show that if $G$ is a finite group whose Sylow $2$-subgroups are wreathed, then the intersection $\Outc(G) \cap \OutCol(G)$ has odd order, where $\Outc(G)$ and $\OutCol(G)$ denote the class-preserving and Coleman outer automorphism groups, respectively. This implies that $G$ satisfies the normalizer problem for its integral group ring. Combined with earlier work on the dihedral and semidihedral cases, this settles the question for all three families of $2$-groups of $2$-rank two classified by Gorenstein--Walter and Alperin--Brauer--Gorenstein.

2026-03-12T18:09:53Z Riccardo Aragona http://arxiv.org/abs/2603.12049v1 2026-03-12T15:23:34Z

We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the sense that every object admits an essentially unique decomposition into indecomposables. Moreover, we show that these metric and algebraic structures are compatible: two objects are at distance zero if and only if they are isomorphic. We argue that the observable category of q-tame multiparameter persistence modules is the right setup for multiparameter persistence by showing that many of the categories already considered in the literature form full subcategory of this category. We also characterize precompact sets in terms of finite representation type of certain discretizations, and show that the image of several of the main constructions in multiparameter persistence is precompact.

2026-03-12T15:23:34Z 35 pages Ulrich Bauer Cameron Gusel Luis Scoccola http://arxiv.org/abs/2603.11956v1 2026-03-12T14:03:07Z

A flat quadratic quasi-Frobenius Lie superalgebra is a quadratic Lie superalgebra equipped with an additional symplectic structure that is flat with respect to the natural symplectic product. In this paper, we introduce the notion of a flat quadratic double extension of a flat quadratic quasi-Frobenius Lie superalgebra, in the cases where both the symplectic structure and the quadratic structure are either even or odd. We show that, over an algebraically closed field, any such Lie superalgebra can be constructed through a sequence of flat quadratic double extensions starting from the trivial algebra $\{0\}$. Moreover, when the quadratic and symplectic structures have different parity, we introduce the notion of a planar double extension, which constitutes the main novelty of this paper. In this case, we prove that such Lie superalgebras have total dimension $4n$. Finally, we classify flat quadratic quasi-Frobenius Lie superalgebras of dimension at most four and present explicit examples in dimensions six and eight.

2026-03-12T14:03:07Z 25 pages Sofiane Bouarroudj Hamza El Ouali http://arxiv.org/abs/2402.13142v4 2026-03-12T08:56:09Z

Let $R$ be a ring with unity and $\mathcal{X}$ a semibrick in the module category $\mathrm{Mod}\,R$, that is, a class of pairwise orthogonal finitely presented modules whose endomorphism rings are division rings. We study the full subcategory $\mathrm{Filt}(\mathcal{X})$ consisting of all modules admitting a filtration with factors in $\mathcal{X}$. We show that $\mathrm{Filt}(\mathcal{X})$ is a wide subcategory of $\mathrm{Mod}\,R$. For the Ext-orthogonal class \[ \mathcal{X}^{\perp} = \{M \in \mathrm{Mod}\,R \mid \operatorname{Ext}^1_R(X,M)=0 \text{ for all } X \in \mathcal{X}\} \] we construct, for every module $Y$, an $\mathcal{X}^{\perp}$-envelope $Y_{\mathcal{X}}(\infty)$ as a direct limit of iterated universal short exact sequences. Assume that every $X \in \mathcal{X}$ has projective dimension at most one and that $\operatorname{Hom}_R(X,R)=0$ for all $X \in \mathcal{X}$. Then the envelope $R_{\mathcal{X}}(\infty)$ of the regular module is isomorphic to the universal localization $R_{\mathcal{X}}$ of $R$ at $\mathcal{X}$ in the sense of Schofield. The $\mathcal{X}^{\perp}$-envelopes of modules in $\mathcal{X}$ are called Prüfer modules since they share many properties with classical Prüfer groups and with Prüfer modules over tame hereditary algebras. We prove that every injective object in $\mathrm{Filt}(\mathcal{X})$ is a direct sum of such Prüfer modules.

2024-02-20T16:56:20Z Accepted for publication in Journal of Pure and Applied Algebra Frank Lukas http://arxiv.org/abs/2506.18486v2 2026-03-12T08:37:16Z

A Lie superalgebra is attached to any finite-dimensional J-ternary algebra over an algebraically closed field of characteristic 3, using a process of semisimplification via tensor categories. Some of the exceptional simple Lie algebras, specific of this characteristic, are obtained in this way from J-ternary algebras coming from structurable algebras and, in particular, a new magic square of Lie superalgebras is constructed, with entries depending on a pair of composition algebras.

2025-06-23T10:39:02Z 36 pages Isabel Cunha Alberto Elduque