https://arxiv.org/api/y0cNarBe6klxoKBmvv1pqpmlbms 2026-03-22T08:36:24Z 19723 0 15 http://arxiv.org/abs/2603.19205v1 2026-03-19T17:54:27Z

Hobby has recently shown that almost all finite hyperfields of even order fail to be the quotient of a field. Using a probabilistic argument, we extend this result to all orders: a finite hyperfield is almost always non-quotient. This confirms a conjecture of Baker--Jin. We show that in almost every finite hyperfield the sum of any four or more nonzero elements contains 0. We also give a precise asymptotic for the number of finite hyperfields on a given finite abelian group.

2026-03-19T17:54:27Z 21 pages, 1 figure Tuong Le Chayim Lowen http://arxiv.org/abs/2601.00835v3 2026-03-19T13:37:48Z

Myasnikov, Ushakov, and Won introduced power circuits in 2012 to construct a polynomial-time algorithm for the word problem in the Baumslag group, which has a non-elementary Dehn function. Power circuits are computational structures that support addition and the operation $(x,y) \mapsto x \cdot 2^y$ on integers. They also posed the question of decidability of the Diophantine problem over the structure $\langle \mathbb{N}_{>0}; +, x \cdot 2^y, \leq, 1 \rangle$, which is closely related to power circuits. In this paper, we prove that the Diophantine problem over this structure is undecidable.

2025-12-26T14:48:12Z Alexander Rybalov http://arxiv.org/abs/2511.21353v2 2026-03-19T12:09:58Z

This paper is a finishing touch to the (over 200 years) {\em classical} `Galois Theory' of {\em arbitrary} finite field extensions, i.e. the goal of it is to describe intermediate subfields of an arbitrary finite field extension via {\em invariants} of `natural/obvious' objects that are associated with subfields via two Galois-type correspondences. The classical Galois Theory covers the case of finite Galois field extensions. For finite Galois field extensions the objects are their Galois groups and their invariants. In \cite{GaloisTh-RingThAp}, we introduce a new (ring theoretic) approach to the Galois Theory which is based on the {\em principle of maximal symmetry}. In \cite{AnGaloisTh-NORMAL-Fields}, the maximal symmetry of {\em normal} finite field extensions yields an analogue of the Galois Theory for them. For a normal finite field extension $L/K$ the `natural/obvious' objects are the subalgebra $\CD (L/K)\rtimes G(L/K)$ of $\End (L/K)$ that is generated by the automorphism group $G(L/K)$ and the algebra $\CD (L/K)$ of differential operators on $L/K$ and its `invariants'. The `maximal symmetry' means the equality $\End (L/K)=\CD (L/K)\rtimes G(L/K)$ which turns out to be a characteristic property of {\em normal} finite field extensions, \cite{AnGaloisTh-NORMAL-Fields}. The aim of this paper is to obtain an analogue of the Galois Theory for {\em arbitrary} finite field extensions based on results and ideas of \cite{GaloisTh-RingThAp} and \cite{AnGaloisTh-NORMAL-Fields}.

2025-11-26T13:01:56Z 21 pages. arXiv admin note: substantial text overlap with arXiv:2509.01779; text overlap with arXiv:2509.01284 V. V. Bavula http://arxiv.org/abs/2308.02806v2 2026-03-19T10:04:21Z

Pseudo $H$-type Lie algebras are a special class of 2-step nilpotent metric Lie algebras, intimately related to Clifford algebras $\Cl_{r,s}$. In this work we propose the classification method for integral orthonormal structures of pseudo $H$-type Lie algebras. We apply this method for the full classification of these structures for $r\in\{1,\ldots,16\}$, $s\in \{0,1\}$ and irreducible Clifford modules. The latter cases form the basis for the further extensions by making use of the Atiyah-Bott periodicity. The existence of integral structures gives rise to the integral discrete uniform subgroups of the pseudo $H$-type Lie groups.

2023-08-05T06:34:49Z 42 pages, 17 tables Kenro Furutani Irina Markina http://arxiv.org/abs/2411.11594v5 2026-03-19T06:24:28Z

For any persistence module $M$ over a finite poset $\mathbf{P}$, and any interval $I$ of $\mathbf{P}$, we give a formula of the multiplicity $d_M(V_I)$ of the interval module $V_I$ in the indecomposable decomposition of $M$ in terms of the ranks of matrices consisting of structure linear maps of the module $M$, which gives a generalization of the corresponding formula for 1-dimensional persistence modules. As an easy application, the formula enables us to compute the maximal interval-decomposable direct summand of $M$, which gives us a way to decide whether $M$ is interval-decomposable or not. In addition, when a set $V_{I_1}, \dots, V_{I_n}$ of interval direct summands of $M$ gives a specific property of $M$, we can study this property by directly computing the multiplicities $d_M(V_{I_i})$ by our formula without decomposing $M$. Moreover, the formula tells us which morphisms of $\mathbf{P}$ are essential to compute the multiplicity $d_M(V_I)$. This suggests us some order-preserving map $ζ\colon Z \to \mathbf{P}$ such that the induced restriction functor $R \colon \operatorname{mod} \mathbf{P} \to \operatorname{mod} Z$ has the property that the multiplicity $d:= d_{R(M)}(R(V_I))$ is equal to $d_M(V_I)$. In this case, we say that $ζ$ essentially covers $I$. If $Z$ can be taken as a poset of Dynkin type $\mathbb{A}$, also known as a zigzag poset, then the calculation of the multiplicity $d$ can be done more efficiently, starting from the filtration level of topological spaces. Thus this even makes it unnecessary to compute the structure linear maps of $M$. Finally, we also give a formula of $d_M(V_I)$ in terms of a projective (or injective) (co)presentation of $M$ rather than its structure linear maps. In the 2D-grid case, this formula is more practical because in that case resolutions of $M$ can be computed from the filtration level of topological spaces.

2024-11-18T14:15:30Z Hideto Asashiba Department of Mathematics, Shizuoka University Osaka Central Advanced Mathematical Institute, Osaka Metropolitan University Institute for Advanced Study, Kyoto University Enhao Liu Department of Mathematics, Kyoto University http://arxiv.org/abs/2410.10520v2 2026-03-19T02:40:25Z

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular elements in certain subsemigroups of P(G) (Theorem 4.1 [11]) for compact G remains true for locally compact G. In addition, a complete description of algebraically regular elements in P(G) has been established when G is countable or uncountable where every proper subgroup is countable. In this case the standing assumption that every element is of finite order is not required. For compact Lie groups, Fourier transform techniques are also used to get more information on P(G). Several concrete examples are provided to illustrate the observations.

2024-10-14T13:59:46Z This article contains 9 pages, which is a revised version of the earlier one where the Fourier transform techniques was not included. The present one contains Fourier transform technique also and deals with more general groups as indicated in the abstract. This helps to deal with examples such as Johnson-type groups M N N Namboodiri http://arxiv.org/abs/2603.18220v1 2026-03-18T19:08:42Z

We introduce a procedure based on computational algebraic geometry to determine whether two algebras are isomorphic. We then apply it to show that if $R$ is a commutative unital ring in which $2$ is not invertible, $G$ is a group of order dividing $64$ and $H$ some group, then an isomorphism of unital algebras $RG \cong RH$ implies an isomorphism of groups $G \cong H$.

2026-03-18T19:08:42Z 16 pages Leo Margolis Taro Sakurai http://arxiv.org/abs/2603.17870v1 2026-03-18T15:56:25Z

In this paper the notion of a quadratic (left) Bol algebra is discussed. Several examples of quadratic Bol algebras are given and it is observed that the only two-dimensional quadratic real Bol algebras are quadratic Lie triple systems. Dual representations of Bol algebras are investigated with a particular emphasis on coadjoint representations for quadratic Bol algebras. The notion of T*-extension of a quadratic Bol algebra is introduced.

2026-03-18T15:56:25Z A. Nourou Issa http://arxiv.org/abs/2509.09455v7 2026-03-18T12:34:11Z

Let $\mathscr A$ be the Steenrod algebra over the field of characteristic two, $\mathbb F_2.$ Denote by $GL(q)$ the general linear group of rank $q$ over $\mathbb F_2.$ The algebraic transfer, introduced by W. Singer [Math. Z. 202 (1989), 493-523], is a rather effective tool for unraveling the intricate structure of the (mod-2) cohomology of the Steenrod algebra, ${\rm Ext}_{\mathscr A}^{q,*}(\mathbb F_2, \mathbb F_2).$ The Kameko homomorphism is one of the useful tools to study the dimension of the domain of the Singer transfer. Singer conjectured that the algebraic transfer is always a monomorphism. This conjecture has stood for nearly 40 years, and in this work we demonstrate that it fails in general. More precisely, by developing a novel algorithm in the computer algebra system OSCAR for computing $GL(q)$-invariants of the kernel of the Kameko homomorphism, we disprove Singer's conjecture for bidegree $(6, 6+36)$.

2025-09-11T13:40:40Z 22 pages. The algorithm has been optimized to its fullest extent and can execute efficiently for higher degrees. Constructive comments are always welcome Dang Vo Phuc http://arxiv.org/abs/2603.17649v1 2026-03-18T12:09:13Z

Freudenthal algebras over a field are basically the same as Jordan algebras of degree $3$ remaining simple under all base field extensions. These algebras are intimately linked, via their automorphism groups and structure groups, to simple algebraic groups over arbitrary fields. Our main concern here will be the question of when these algebras are homogeneous in the sense that all their Jordan isotopes are isomorphic. We answer this question by presenting various necessary and sufficient conditions for homogeneity and by connecting it with the first Tits construction of cubic Jordan algebras, most notably through investigating Freudenthal division algebras over complete fields under a discrete valuation. We also study the first Tits construction in its own right by producing a local version of it, deriving a local-global principle, and by connecting it with the embeddibility of certain rank-$2$-tori into the automorphism group scheme of an Albert division algebra.

2026-03-18T12:09:13Z 30 pages Holger P. Petersson Maneesh Thakur http://arxiv.org/abs/2504.14198v3 2026-03-18T04:06:10Z

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$.

2025-04-19T06:25:39Z v3, 25 pages. Minor revision following referee report. Improved exposition; arguments clarified. Revised Propositions 2.1, 2.2, and 3.2. Added proof of Lemma 2.4; corrected proof of Lemma 2.5 Chi-Kwong Li Tejbir Lohan Sushil Singla http://arxiv.org/abs/2603.16771v1 2026-03-17T16:48:18Z

We introduce a concept of the commuting probability of a skew left brace analogous to group theory. We establish upper and lower bounds for the commuting probability and prove that, for finite non-trivial skew left braces, it is always at most $\frac{3}{4}$. Interestingly, there is no skew left brace with commuting probability in the open interval $(5/8, 1)$, except $\frac{3}{4}$, for which we construct an explicit example. A characterization of skew left braces having commuting probability $\frac{3}{4}$ or $\frac{5}{8}$ is presented. We further show that the finite skew left braces with commuting probability larger than $\frac{65}{128}$ are necessarily nilpotent. We prove that the commuting probability remains invariant under isoclinism of skew braces. We introduce a concept of a compact Hausdorff topological skew left brace $B$, where we prove that the set of all elements of $B$ having finite centraliser index in $B$ is a Borel subgroup. For such infinite non-trivial skew left braces too $\frac{3}{4}$ is the upper bound for the commuting probability, and $\frac{3}{4}$ is the only rational number which occurs as commuting probability in the open interval $(5/8, 1)$.

2026-03-17T16:48:18Z 19 pages, comments highly welcome Susanta Mondal Manoj K. Yadav http://arxiv.org/abs/2603.16766v1 2026-03-17T16:45:29Z

Motivated by the recent development of noncommutative Novikov algebras and multi-Novikov algebras from the study of regularity structures of stochastic PDEs, this paper gives a general approach to study various multi-Novikov algebras and multi-differential algebras, with close connection with Poisson algebras. The construction of S. Gelfand of Novikov algebras from differential commutative algebras is generalized to this context. Free noncommuting multi-Novikov algebras are constructed from typed decorated rooted trees and from noncommuting multi-differential polynomials with populated conditions.

2026-03-17T16:45:29Z 27 pages. Comments welcome Xiaoyan Wang Li Guo Huhu Zhang http://arxiv.org/abs/2405.13223v3 2026-03-17T16:08:17Z

The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. Restricting to the case of $p$-groups, our work answers a question of Quadrelli, Snopce and Vanacci posed in 2022. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix.

2024-05-21T22:14:54Z 28 pages, to appear in the Journal of Number Theory Sunil K. Chebolu with an appendix by David Benson Ján Mináč with an appendix by David Benson Cihan Okay with an appendix by David Benson Andrew Schultz with an appendix by David Benson Charlotte Ure with an appendix by David Benson 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