https://arxiv.org/api/2OV1NgzGFBABtOYyoOxDKgCwTeo 2026-06-21T13:44:33Z 20100 705 15 http://arxiv.org/abs/2503.12352v2 2026-03-03T23:13:16Z

For $N>1$, we constructed a canonical connected fundamental domain for $Γ_0(N)$ in [Nie, Parent], utilizing an interesting function $W: {\mathbb Z}/N\to {\mathbb N}$. In this paper, we further study the function $W$, prove some identities, and use it to match the cusps, with widths, produced by our connected fundamental domain with the known cusp classes of $Γ_0(N)$. Furthermore, we list the boundary arcs and the gluing patterns of our connected fundamental domain, a key step in understanding the modular curve $X_0(N)$ by this approach.

2025-03-16T04:45:31Z Major rewrite. Now includes results on the boundary arcs of the connected fundamental domains and the gluing patterns. 1 figure Zhaohu Nie http://arxiv.org/abs/2603.03261v1 2026-03-03T18:51:59Z

We provide an algebraic unification of the spectral gap proofs of the convergence of the renormalised model for regularity structures. We show that the key recentering map used in the literature for adjusting the recentering of the model is given via equivalent characterisations.

2026-03-03T18:51:59Z 18 pages Yvain Bruned Aurélien Minguella http://arxiv.org/abs/2404.17881v2 2026-03-03T07:14:50Z

We construct and investigate certain (unbalanced) superalgebra structures on $\text{End}_K(V)$, with $K$ a field of characteristic $0$ and $V$ a finite dimensional $K$-vector space (of dimension $n\geq 2$). These structures are induced by a choice of non-degenerate symmetric bilinear form $B$ on $V$ and a choice of non-zero base vector $w\in V$. After exploring the construction further, we apply our results to certain questions concerning integer matrix factorization and isometry of integral lattices.

2024-04-27T12:39:33Z Dan Fretwell Jenny Roberts http://arxiv.org/abs/2506.00610v2 2026-03-02T17:03:08Z

We study generic graded contractions of Lie algebras from the perspectives of group cohomology, affine algebraic geometry and monoidal categories. We show that generic graded contractions with a fixed support are classified by a certain abelian group, which we explicitly describe. Analyzing the variety of generic graded contractions as an affine algebraic variety allows us to describe which generic graded contractions define graded degenerations of a given graded Lie algebra. Using the interpretation of generic $G$-graded contractions as lax monoidal structures on the identity endofunctor of the monoidal category of $G$-graded vector spaces, we establish a functorial version of the Weimar-Woods conjecture on equivalence of generic graded contractions.

2025-05-31T15:47:49Z 25 pages, published version, minor corrections J. Algebra 696 (2026), 245-277 Mikhail V. Kochetov Serhii D. Koval 10.1016/j.jalgebra.2026.02.015 http://arxiv.org/abs/2603.01988v1 2026-03-02T15:41:53Z

A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a \emph{generalized Moufang group of $p$-type} (or $GM(p)$-type), in which the product of any two distinct involutions from $T$ has a fixed prime order $p$. For any such group $(G,T)$ and a scalar parameter $η$ in a field $\mathbb F$, we construct a non-associative, non-commutative algebra $A = A_{\mathbb F}(G,T,η)$. We prove that every element of $T$ considered as an element of the algebra $A$, is a primitive semisimple idempotent, defining a $\mathbb Z_{2}$-grading of $A$. The Miyamoto group of $A$ with respect to $T$ is isomorphic to $G/Z(G)$. The algebra $A$ contains no nontrivial right ideals and, for a specific choice of the parameter $η$, admits a symmetric left Frobenius form. When $G$ is a free Burnside group of odd prime period $p$ extended by an involutory automorphism, the finiteness of $G$ is equivalent to the finite-dimensionality of $A_{\mathbb F}(G,T,η)$, providing a reformulation of the Burnside problem. For $p=5$ and $η=-1/3$, the algebra generated by two idempotents from $T$ is left-axial and satisfies the Monster-type fusion law $\mathcal{M}(4/3, -4/3)$. For a prime $p>5$, the two-generated algebra is also axial, but obeys a more general fusion law. Although the algebra $A_{\mathbb F}(G,T,η)$ is initially defined using a group $GM(p)$-type, we show that it admits an intrinsic, group-free characterization by axiomatizing a class of so-called $GM(p,η)$-type algebras. We prove that every algebra in this class is isomorphic to one arising from the construction above, establishing the equivalence of the two definitions.

2026-03-02T15:41:53Z Ilya Gorshkov http://arxiv.org/abs/2310.03822v4 2026-03-02T15:25:10Z

This article investigates the properties of Dedekind superrings, invertible supermodules and projective supermodules within the $\mathbb{Z}_2$-graded framework. Rather than treating these entities as specialized instances of general noncommutative ring theory, we develop them intrinsically within the category of supercommutative superrings. We examine the structural parallels to the classical commutative framework and, more importantly, characterize the fundamental discrepancies that emerge in the $\mathbb{Z}_2$-graded setting. In particular, we show that many hallmark equivalences of classical Dedekind domains-including those involving integral closedness and the coincidence of principal and unique factorization domains-fail to persist in the presence of an odd part.

2023-10-05T18:17:10Z In this revised version, the abstract and introduction have been expanded, and additional clarifying remarks have been integrated throughout the text Pedro Rizzo Joel Torres Del Valle Alexander Torres-Gomez http://arxiv.org/abs/2509.02263v3 2026-03-02T13:08:34Z

Motivated by the classical theory of spin structures, we develop a theory for lifting free C$^*$-dynamical systems, a.k.a. noncommutative principal bundles, along central extensions. This theory extends the bundle-theoretic notion of spin structures and yields a complete existence and classification result for such lifts. Using factor system techniques and Picard formalism, our approach introduces new invariants and obstruction classes, thereby unifying geometric, cohomological, and operator-algebraic perspectives. A range of examples demonstrates the scope of the theory.

2025-09-02T12:37:57Z 31 pages. Example in Section 4.6 corrected and updated; minor typos corrected. All comments are welcome Stefan Wagner http://arxiv.org/abs/2603.01287v1 2026-03-01T21:45:05Z

In this paper, we study two ways of evaluating iterated Ore polynomials. We provide many examples and compare these evaluations. We use the evaluation maps to construct Reed-Muller codes and compute explicitly some of the data that are associated to such codes.

2026-03-01T21:45:05Z 12 pages AMS Contemporary Mathematics Vol 785 (2023) Andre Leroy Nabil Bennenni 10.1090/conm/785 http://arxiv.org/abs/2601.22774v2 2026-03-01T13:35:53Z

The principal objective of this paper is to determine the structure of $n$-Lie derivations ($n\geq 3$) on generalized matrix algebras.It is shown that under certain mild assumptions, every $n$-Lie derivation can be decomposed into the sum of an extremal $n$-derivation and an $n$-linear centrally-valued mapping. As direct applications, we provide complete characterizations of $n$-Lie derivations on both full matrix algebras and triangular algebras.

2026-01-30T09:53:22Z 31 pages Xinfeng Liang Minghao Wang Feng Wei http://arxiv.org/abs/2505.17729v3 2026-03-01T11:17:38Z

In this paper we extend Cartier's deformation theorem of braided monoidal categories admitting an infinitesimal braiding to the non-symmetric case. The algebraic counterpart of these categories is the notion of a pre-Cartier quasi-bialgebra, which extends the well-known notion of quasitriangular quasi-bialgebra given by Drinfeld. Our result implies that one can quantize the infinitesimal $\mathcal{R}$-matrix of any Cartier quasi-bialgebra. We further discuss the emerging concepts of infinitesimal quantum Yang-Baxter equation and Cartier ring, the latter containing braid groups with additional generators that correspond to infinitesimal braidings. Explicit deformations of the representation categories of the gauge deformed quasitriangular quasi-bialgebras $E(n)$ are provided.

2025-05-23T10:46:55Z 29 pages, to appear in J. London Math. Soc., comments are welcome Chiara Esposito Andrea Rivezzi Jonas Schnitzer Thomas Weber 10.1112/jlms.70494 http://arxiv.org/abs/2603.00893v1 2026-03-01T03:31:05Z

This paper establishes the existence of a finitely based finite semiring whose variety contains a continuum of subvarieties; such a variety is said to be of type \(2^{\aleph_0}\). Using the homomorphism theory of Kneser graphs, we prove that the 3-element semiring \(S_{53}\) is the first known example with this property. Moreover, \(S_{53}\) belongs to the variety of the max-plus semiring \((\mathbb{N},\max,+)\), which therefore is also of type \(2^{\aleph_0}\). For the finitely based 4-element semiring \(B_0\), we demonstrate that its variety contains infinitely many subvarieties and suggest that \(B_0\) could be another potential example of type \(2^{\aleph_0}\).

2026-03-01T03:31:05Z Zidong Gao http://arxiv.org/abs/2510.22433v2 2026-02-28T22:02:31Z

It is proved that the roots of the derivative of a polynomial with quaternionic coefficients belong to the union of the intersections of sets defined in terms of certain projections of a polynomial. The result strengthens the quaternion version of Gauss-Lucas theorem, proved by Ghiloni and Perotti in 2018.

2025-10-25T20:49:02Z I. Emizh A. Guterman http://arxiv.org/abs/2505.16706v3 2026-02-28T06:36:15Z

The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by $\mathbb Z.$ The conjecture has previously been shown to hold in some special cases. The main result of the paper shows that the GCC holds for a significantly more general class of graphs included in the class of graphs with disjoint cycles. In particular, our result holds for finite graphs with disjoint cycles. We show the main result also for graph $C^*$-algebras. As a consequence, the graded version of the Isomorphism Conjecture holds for the class of graphs we consider. Besides showing the conjecture for the class of graphs we consider, we realize the Grothendieck $\mathbb Z$-group isomorphism by a specific graded $*$-isomorphism. In particular, we introduce a series of graph operations which preserve the graded $*$-isomorphism class of their algebras. After performing these operations on a graph, we obtain well-behaved ``representative'' graphs, which we call canonical forms. We define an equivalence $\approx$ on graphs such that $E\approx F$ holds when there are isomorphic canonical forms of $E$ and $F$ and we show that the condition $E\approx F$ is equivalent to the existence of an isomorphism $f$ of the Grothendieck $\mathbb Z$-groups of the algebras of $E$ and $F$ in the appropriate category. As $E\approx F$ can be realized by a finite series of specific graph operations, any such isomorphism $f$ can be realized by an explicit graded $*$-algebra isomorphism. Thus, we describe the graded ($*$-)isomorphism classes of the algebras of graphs we consider. Besides the ties to symbolic dynamics and Williams' Problem, such a description is relevant for the active program of classification of graph $C^*$-algebras.

2025-05-22T14:07:50Z This version contains substantial changes to sections 4 and 5 showing the inductive argument of the main result Lia Vas http://arxiv.org/abs/2511.20230v2 2026-02-28T04:58:17Z

A non-associative superalgebra is called pre-symplectic if it is equipped with a non-degenerate, anti-symmetric bilinear form. It is called quasi-Frobenius if, in addition, is a Lie superalgebra and the form is closed. We introduce the Levi-Civita product associated with pre-symplectic superalgebras and establish its existence and uniqueness. We then introduce the symplectic product associated with quasi-Frobenius Lie superalgebras. We prove that while such a product always exists, it is not unique. We therefore define a natural symplectic product that depends only on the Lie structure and the bilinear form. When the curvature of this product vanishes, the superalgebra is called a flat quasi-Frobenius Lie superalgebra. In this paper, we study flat quasi-Frobenius Lie superalgebras and introduce the notion of a flat double extension. We prove that the double extension process characterizes such superalgebras. More precisely, every flat orthosymplectic (resp. periplectic) quasi-Frobenius Lie superalgebra can be obtained by a sequence of flat double extensions starting from an abelian one (resp. the trivial one). Moreover, we show that every flat quasi-Frobenius Lie superalgebra is nilpotent with a degenerate center. We apply our results to obtain a complete classification of such superalgebras of total dimension at most five.

2025-11-25T12:01:55Z 41 pages, to appear in European Journal of Mathematics Sofiane Bouarroudj Hamza El Ouali http://arxiv.org/abs/2603.00448v1 2026-02-28T04:05:43Z

The semijoin operation is a fundamental operation of relational algebra that has been extensively used in query processing. Furthermore, semijoins have been used to formulate desirable properties of acyclic schemas; in particular, a schema is acyclic if and only if it has a full reducer, i.e., a sequence of semijoins that converts a given collection of relations to a globally consistent collection of relations. In recent years, the study of acyclicity has been extended to annotated relations, where the annotations are values from some positive commutative monoid. So far, however, it has not been known if the characterization of acyclicity in terms of full reducers extends to annotated relations. Here, we develop a theory of semijoins of annotated relations. To this effect, we first introduce the notion of a semijoin function on a monoid and then characterize the positive commutative monoids for which a semijoin function exists. After this, we introduce the notion of a full reducer for a schema on a monoid and show that the following is true for every positive commutative monoid that has the inner consistency property: a schema is acyclic if and only if it has a full reducer on that monoid.

2026-02-28T04:05:43Z 21 pages Phokion G. Kolaitis