https://arxiv.org/api/wtGULrcsylx7K2FJGsLcYO87y44 2026-06-15T05:40:03Z 20074 585 15 http://arxiv.org/abs/2411.16225v2 2026-03-17T13:29:13Z

We study the embeddings of the exceptional infinite-dimensional Lie superalgebra E(1,6) in the exceptional Lie superalgebras E(5,10) and E(4,4). These questions arose in the recent works on enhanced symmetries in some supersymmetric theories by N. Garner, S. Raghavendran, I. Saberi and B. Williams.

2024-11-25T09:35:56Z 18 pages COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, 2025, pp. 1 - 23 Nicoletta Cantarini Fabrizio Caselli Victor Kac http://arxiv.org/abs/2512.23935v2 2026-03-17T12:46:33Z

A multiplicative subset $S$ of a ring $R$ is called \textit{strongly multiplicative} if $(\bigcap_{i\inΔ}s_iR)\cap S \neq \emptyset$ for each family $(s_i)_{i\inΔ}$ of elements in $S$. In this paper, we investigate how these sets help stabilize localization and ideal operations. We show that localization and arbitrary intersections commute, meaning $S^{-1}(\bigcap I_α) = \bigcap S^{-1}I_α$ for any family of ideals, if and only if $S$ is strongly multiplicative. Furthermore, we characterize some important classes of rings, such as total quotient rings and strongly zero-dimensional rings, in terms of strongly multiplicative sets. We also answer an open question by Hamed and Malek about whether this condition is needed for the existence of $S$-minimal primes. Furthermore, we demonstrate that if $S$ is a strongly multiplicative set and $S \not\subseteq U(R)$, then $S$-minimal primes are not classical prime ideals, and we provide an algorithmic approach to constructing such ideals. Finally, we prove a Strong Krull's Separation Lemma, which guarantees a maximal ideal disjoint from $S$. As an application of Strong Krull's Separation Lemma, we establish a one-to-one correspondence between the maximal ideals of $S^{-1}R$ and the maximal ideals of $R$ disjoint from a strongly multiplicative set $S$ of $R$.

2025-12-30T01:36:04Z This version includes minor revisions and improved proofs Suat Koç http://arxiv.org/abs/2507.15425v4 2026-03-17T10:17:20Z

As a special case of Bass' theory of perfect rings, one obtains the assertion that, over a finite-dimensional associative algebra over a field, all flat modules are projective. In this paper we prove the following relative version of this result. Let $R\rightarrow A$ be a homomorphism of associative rings such that $A$ is a finitely generated projective right $R$-module. Then every flat left $A$-module is a direct summand of an $A$-module filtered by $A$-modules $A\otimes_RF$ induced from flat left $R$-modules $F$. In other words, a left $A$-module is cotorsion if and only if its underlying left $R$-module is cotorsion. The proof is based on the cotorsion periodicity theorem.

2025-07-21T09:25:52Z LaTeX 2e, 13 pages; v.2: misprints corrected, Example 3.10 added at the end; v.3: three references added in the Introduction, Remark 3.3(4) added, a short paragraph inserted near the end of Example 3.10, the proof of Lemma 2.4 and the first paragraph of Remark 3.8 slightly shortened; v.4: two misprints corrected Proc. Amer. Math. Soc. 154 (2026), #6, p.2369-2381 Leonid Positselski 10.1090/proc/17632 http://arxiv.org/abs/1907.12825v5 2026-03-17T06:31:32Z

In this paper we introduce and develop the concept of expansivity of a tuple whose entries are elements from the polynomial ring $\mathbb{C}[x]$. As an inverse problem, we examine how to recover a tuple from the expanded tuple at any given phase of expansion. We convert the celebrated Sendov conjecture concerning the distribution of zeros of polynomials and their critical points into this language and prove some weak variants of this conjecture. We also apply this to the existence of solutions to differential equations. In particular, we show that a certain system of differential equation has no non-trivial solution. As an application we give a proof of Sendov's conjecture. We start by establishing the uniformly diminishing state of the mass of an expansion.

2019-07-30T10:26:39Z 47 pages; the paper has been reformatted and introduction expanded; ideas remains unchanged Theophilus Agama http://arxiv.org/abs/2603.15543v1 2026-03-16T17:07:06Z

We investigate the Drazin invertibility of adjacency matrices associated with a class of oriented graphs known as oriented Dutch windmill graphs. By analyzing walks of prescribed lengths and exploiting the structure of the minimal polynomial, we obtain explicit expressions for the Drazin inverse and determine its index. The approach combines combinatorial enumeration with algebraic matrix analysis, offering a constructive characterization that generalizes known results for paths, cycles, and bipartite graphs. Beyond its intrinsic theoretical value, the framework provides insight into discrete models governed by cyclic feedback and may serve as a basis for symbolic computation of generalized inverses in structured networks.

2026-03-16T17:07:06Z C. Mendes Araújo Faustino Maciala Pedro Patrício http://arxiv.org/abs/2602.05192v2 2026-03-16T15:54:33Z

To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time.

2026-02-05T01:37:14Z 9 pages, including the statements of the ten questions Mohammed Abouzaid Andrew J. Blumberg Martin Hairer Joe Kileel Tamara G. Kolda Paul D. Nelson Daniel Spielman Nikhil Srivastava Rachel Ward Shmuel Weinberger Lauren Williams http://arxiv.org/abs/2603.15385v1 2026-03-16T15:00:04Z

In this paper, we introduce the point-exact condition for a Koszul algebra $A$, which is useful for characterizing the (G1) condition of $A$ in the sense of Mori. Let $B = A/(f)$, where $f \in A_2$ is a regular normal element. We show that if $A$ satisfies the (G1) condition and is point-exact up to degree $\ell \geq 2$, then $B$ also satisfies the (G1) condition and is point-exact up to degree $\ell$. Moreover, we show that skew polynomial algebras satisfy the point-exact condition.

2026-03-16T15:00:04Z 22 pages; all comments are welcome Haigang Hu Wenchao Wu Yu Ye http://arxiv.org/abs/2404.04976v6 2026-03-16T13:53:26Z

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field, respectively. We bi-interpret these theories in terms of real closed fields and we prove they are complete, model complete and they do not have quantifier elimination. Then, we focus on the class of ordered polynomials. Over $\mathbb{H}$ and $\mathbb{O}$ these polynomials are of special interest in hypercomplex analysis since they are slice regular. We deduce some fundamental properties of their zero loci from model completeness and we introduce the notions of algebraic sets and Zariski topology. Finally, we prove the failure of quantifier elimination for the fragment of ordered formulas and we completely characterize the family of algebraic sets.

2024-04-07T14:35:17Z We added some results concerning algebraic sets and the Zariski topology over quaternions and ocronions. Updated references. This is the final revised version accepted for publication in Annali di Matematica Pura e Applicata Ann. Mat. Pura Appl. (4) (2026) Enrico Savi 10.1007/s10231-026-01676-2 http://arxiv.org/abs/2603.14735v1 2026-03-16T02:11:36Z

The aim of this paper is to introduce the notion of (noncommutative) transposed Poisson conformal algebras, which serve as the conformal analogues of transposed Poisson algebras and admit a rich class of identities. We show that the tensor product of two transposed Poisson conformal algebras is also a transposed Poisson conformal algebra. Moreover, we establish a close relationship between transposed Poisson conformal algebras and Hom-Lie conformal algebras, and give the compatibility conditions between a Poisson conformal algebra and a transposed Poisson conformal algebra. In addition, we provide several constructions of transposed Poisson conformal algebras arising from related algebraic structures. Finally, a complete classification of compatible noncommutative transposed Poisson conformal algebraic structures over a class of Lie conformal algebras W(a, b) is given.

2026-03-16T02:11:36Z 21 pages, no figures Lamei Yuan Hao Fang http://arxiv.org/abs/2603.14710v1 2026-03-16T01:39:05Z

In this paper, we introduce and study post-Lie conformal algebras (PLCAs), a generalization of post-Lie algebras to conformal algebras. We establish an equivalence between PLCA structures and Rota-Baxter operators of weight 1 on Lie conformal algebras. We also show that every PLCA induces a new Lie conformal algebra and study PLCA structures on pairs of Lie conformal algebras. Finally, we classify all PLCA structures on two important classes of Lie conformal algebras: B(q) and W(b), achieved through Rota-Baxter operators of weight 1.

2026-03-16T01:39:05Z 23 pages, no figures Lamei Yuan Yuhui Tan http://arxiv.org/abs/2002.07369v2 2026-03-15T14:55:48Z

The author is mainly interest in the Gröbner-Shirshov bases of finite Coxeter groups. It is known that the finite Coxeter groups are classified in terms of Coxeter-Dynkin diagrams. Under the fixed order, it is worth mention that the presentation of group determines the Gröbner-Shirshov bases of group. In this paper, the author rearranges the generators, marks them on Coxeter-Dynkin diagrams, and gets a simple presentation of the Gröbner-Shirshov bases for Coxeter groups of types $G_2, F_4, E_6$ and $E_7$. This article also gives the Gröbner-Shirshov basis of Coxeter group of type $E_8$.

2020-02-18T04:42:52Z 4 figures Xiaowei Pang Jun Wang http://arxiv.org/abs/2505.08268v4 2026-03-15T12:59:01Z

We study a nonlinear analogue of additive commutators, known as \textit{polynomial commutators}, defined by $p(ab) - p(ba)$ for a polynomial $p \in F[x]$ and elements $a, b$ in an algebra $R$ over a field $F$. Originally introduced by Laffey and West for matrices over fields, this notion is here extended to broader algebraic settings. We first show that in division rings, polynomial commutators can generate maximal subfields and even the entire ring as an algebra. In the matrix setting, we prove that matrices similar to ones with zero diagonal are polynomial commutators, and under mild assumptions, every matrix can be written as a product of at most three such commutators. Furthermore, we demonstrate that the matrix algebra can be decomposed as the sum of its center and the linear span of all polynomial commutators. Using the theory of rational identities in division rings, we also exhibit that the trace of a polynomial commutator in the matrix ring can be nonzero in noncommutative cases. Lastly, we explore the size of polynomial commutators via matrix norms.

2025-05-13T06:34:08Z Communications in Mathematics, Volume 34 (2026), Issue 1 (March 17, 2026) cm:16053 Truong Huu Dung Tran Nam Son Pham Duy Vinh 10.46298/cm.16053 http://arxiv.org/abs/2603.14142v1 2026-03-14T22:16:22Z

We study generalized inverses for matrices associated with double star digraphs. Explicit block formulas and existence criteria are obtained for core, dual core, core EP, and dual core EP inverses, expressed in terms of explicit algebraic criteria derived from the underlying block structure. Other combined outer pseudoinverses, combining Moore--Penrose and core-type inverses, are derived with existence criteria.

2026-03-14T22:16:22Z Faustino Maciala C. Mendes Araújo Pedro Patrício 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/2604.18588v1 2026-03-14T01:24:15Z

We establish a sufficient condition for an additively idempotent semiring to be nonfinitely based. Applying this condition, we prove that the six-element additively idempotent semiring $SR_6$ has no finite basis for its identity. Furthermore, we provide a complete description of the subvariety lattice of the variety $\mathsf{V}(SR_6)$ generated by $SR_6$, showing that it forms a four-element chain. Our results demonstrate that $\mathsf{V}(SR_6)$ is a limit variety: it is itself nonfinitely based, yet all of its proper subvarieties are finitely based. Moreover, $SR_6$ is the smallest known example of an additively idempotent semiring generating a limit variety.

2026-03-14T01:24:15Z Simin Lyu Miaomiao Ren Mengya Yue