https://arxiv.org/api/38LF2hxWSSJHEwCMBa84eCwQt+A 2026-06-15T06:36:09Z 20074 600 15 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/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 http://arxiv.org/abs/2512.11703v2 2026-03-12T03:55:11Z

Veronese powers of operads were introduced in 2020 By Dotsenko, Markl, and Remm \cite{DMR}. The $m$-th Veronese power of a weight-graded operad $\mathcal{V}$ is the suboperad $\mathcal{V}^{[m]}$ generated by the operations of weight $m$. If $\mathcal{V}$ is generated by binary operations and governs the variety $\mathbf{V}$ of algebras, this gives a natural definition of the concept of $(m{+}1)$-ary $\mathbf{V}$-algebras. In particular, the Veronese square ($m=2$) corresponds to ternary algebras. We choose five generating operations for the Veronese square of the dendriform operad. We represent the dendriform operad as a suboperad of the Rota-Baxter operad, and express the quadratic relations satisfied by the generating operations as the kernel of a rewriting map. We use combinatorics of monomials and computational linear algebra to determine the kernel. We obtain 33 linearly independent quadratic relations satisfied by the Veronese square.

2025-12-12T16:39:12Z 11 pages, 2 figures, 2 tables Murray R. Bremner http://arxiv.org/abs/2603.11454v1 2026-03-12T02:27:29Z

Let $\mathcal W$ be a nontrivial variety of lattices, and let $L$ be a finite lattice in $\mathcal W$. The congruence density of $L$ with respect to $\mathcal W$ is the number of congruences of $L$ divided by the maximum number of congruences of $|L|$-element lattices belonging to $\mathcal W$. We prove that, with respect to the order and multiplication of the real numbers, the set SCD$(\mathcal W)$ of congruence densities of finite members of $\mathcal W$ as well as its topological closure are countably infinite dually well-ordered monoids. We also prove that the set of accumulation points of SCD$(\mathcal W)$ is either a singleton or it is countably infinite; furthermore, it is a singleton if and only if $\mathcal W$ is a subvariety of the variety of modular lattices. This gives a complicated characterization of modularity: a non-singleton lattice $K$ is modular if and only if SCD$(\mathcal V(K))$, where $\mathcal V(K)$ denotes the variety generated by $K$, has only one accumulation point. The class $\mathcal S$ of semimodular lattices is not a variety, but SCD$(\mathcal S)$ is still meaningful; we prove that SCD$(\mathcal S)$ has exactly one accumulation point.

2026-03-12T02:27:29Z 17 pages, no figure Gábor Czédli http://arxiv.org/abs/2209.01069v2 2026-03-11T20:01:49Z

The aim of this book is to introduce the reader to the beauty of Algebra, through a journey from the natural numbers to prime fields and finite fields, with some detours. Many books are devoted to the construction of these fields from the natural numbers. Perhaps the first one is [Landau 1930], see also the books [Ebbinghaus et.al. 1991], [Lay 2005], and the references therein. An important step in this process is the construction of the field of rational numbers. It turns out that this field is the only (in an appropriate sense) infinite prime field. Motivated by the reading of [Loonstra 1972], I decided to write an essentially self-contained book devoted to the construction not only of the field of rational numbers but of all prime fields and, more interestingly, to the proof of existence and "uniqueness" of all finite fields. Only a knowledge of basic set theory and some familiarity with mathematical reasoning (see for example [11, Chapters 1 and 2]) are assumed.

2022-08-31T09:27:29Z Corrected version (344 pages), appendix added (222 pages) Philippe Clément