https://arxiv.org/api/82fwz94krHDmu6uYv+/+jJlKQZM 2026-06-14T04:52:36Z 20068 240 15 http://arxiv.org/abs/2605.11219v1 2026-05-11T20:31:21Z

Balanced and well-balanced subsets of the set of positive roots of compact Lie algebras arise naturally in problems related to Hermitian and spin geometry. In this paper we compute the maximal and minimal size of well-balanced subsets in all simple root systems.

2026-05-11T20:31:21Z 13 pages Andrei Moroianu Paul Schwahn http://arxiv.org/abs/2409.15081v2 2026-05-11T19:44:04Z

A monomial algebra is the quotient of a polynomial algebra by an ideal generated by monomials. We prove that finite-dimensional monomial algebras are characterized by their automorphism group among finite-dimensional, local algebras with cotangent space of fixed dimension. In particular, we show how to recover a monomial ideal given the automorphism group of the corresponding monomial algebra.

2024-09-23T14:54:02Z 12 pages, final version. Accepted for publication in Transformation Groups Roberto Díaz Giancarlo Lucchini Arteche http://arxiv.org/abs/2602.00778v2 2026-05-11T15:41:49Z

We show that the metaproblem for coset-generating polymorphisms is NP-complete, answering a question of Chen and Larose: given a finite structure, the computational question is whether this structure has a polymorphism of the form $(x,y,z) \mapsto x y^{-1} z$ with respect to some group; such operations are also called coset-generating, or heaps. Furthermore, we introduce a promise version of the metaproblem, parametrised by two polymorphism conditions $Σ_1$ and $Σ_2$ and defined analogously to the promise constraint satisfaction problem. We give sufficient conditions under which the promise metaproblem for $(Σ_1,Σ_2)$ is in P and under which it is NP-hard. In particular, the promise metaproblem is in P if $Σ_1$ states the existence of a Maltsev polymorphism and $Σ_2$ states the existence of an abelian heap polymorphism -- despite the fact that neither the metaproblem for $Σ_1$ nor the metaproblem for $Σ_2$ is known to be in P. We also show that the creation-metaproblem for Maltsev polymorphisms, under the promise that a heap polymorphism exists, is in P if and only if there is a uniform polynomial-time algorithm for CSPs with a heap polymorphism.

2026-01-31T15:41:48Z Manuel Bodirsky Armin Weiß http://arxiv.org/abs/2601.16619v3 2026-05-11T14:17:50Z

In this paper, for a given variety $\Var$, we present a universal algorithm for constructing a subvariety of $\Var$-dialgebras from which one can recover an algebra belonging to $\Var$. Such a subvariety is called the variety of initial $\Var$-dialgebras. In addition, we construct a basis of the free initial Lie and associative dialgebras.

2026-01-23T10:18:05Z Communications in Mathematics, Volume 35 (2027), Issue 2 (Special issue: European Non-Associative Algebra Seminar) (May 12, 2026) cm:17559 Aigerim Dauletiyarova Abdenacer Makhlouf Bauyrzhan Sartayev 10.46298/cm.17559 http://arxiv.org/abs/2605.10608v1 2026-05-11T14:06:31Z

We argue that Jack Littlewood-Richardson coefficients $g_{μν}^λ(α)$ are specialisations of certain novel polynomials. For the triple of partitions $(μ,ν,λ)=(21,21,321)$, we prove the corresponding polynomial is invariant under $S_6 \times \mathbb{Z}_2$, which is identified as the automorphism group of the Johnson graph $J(6,3)$. We conjecture that these polynomials exhibit a factorization property on certain hyperplanes, which is a consequence of compatibility relations between polynomials associated to adjacent triples in the Young graph. As a consequence of this, we conjecture that the difference of adjacent Jack Littlewood-Richardson coefficients is divisible by the shared hook length.

2026-05-11T14:06:31Z 44 pages, 5 figures Ryan Mickler http://arxiv.org/abs/2604.21398v2 2026-05-11T12:24:18Z

Let $X$ be a normal projective variety of dimension $d$, and let $f$ be a zero-entropy automorphism of $X$. Denote by $k$ the first-degree growth rate of $f$, so that $°_1(f^n) \asymp n^{k}$. We prove the sharp lower bound for the polynomial volume growth $\mathrm{plov}(f)$ of $f$: \[ \mathrm{plov}(f) \ge d+\frac{k(k+2)}{4}, \] equivalently giving a sharp lower bound on the Gelfand--Kirillov dimension of the associated twisted homogeneous coordinate ring. This improves previous lower bounds of Keeler and of Lin--Oguiso--Zhang. In the proof, we introduce the notion of dynamical intersection polynomials and give a new characterization of $\mathrm{plov}(f)$ in terms of non-vanishing of intersection numbers. We also establish a gap principle for polynomial volume growth: for every fixed dimension $d\ge 4$, either $\mathrm{plov}(f)=d^2$, or $\mathrm{plov}(f)\le d(d-2) + 2\lfloor d/4 \rfloor$. This reveals a new rigidity phenomenon for zero-entropy automorphisms. As an application, in dimension $4$ we determine all possible values of $\mathrm{plov}$, thereby extending the results of Artin--Van den Bergh for surfaces and Lin--Oguiso--Zhang for threefolds.

2026-04-23T08:04:45Z 30 pages, 2 tables, title changed, we prove Conjecture 1.9 (Lower Bound) in the first version by introducing dynamical intersection polynomials whose total degree equals plov(f) - d; any comments are very welcome! Fei Hu Chen Jiang http://arxiv.org/abs/2602.16184v2 2026-05-11T09:29:39Z

We study certain groups and ideals arising from the chip-firing game on a generalisation of graphs called pargraphs. Several well-known families of toric ideals arise as toppling ideals of pargraphs. These include ideals defining rational normal curves, binomial edge ideals of complete graphs, and toric ideals of certain Fano polytopes. We provide sufficient conditions under which the toppling ideal of a pargraph to be toric. In addition, we construct a Gröbner basis for the toppling ideal, a minimal cellular free resolution for a distinguished initial ideal known as the $G$-parking function ideal, and establish Cohen-Macaulay property for these ideals. We also study the Picard group of a pargraph and provide sufficient conditions ensuring its freeness.

2026-02-18T05:07:18Z Rahul Karki http://arxiv.org/abs/2605.10041v1 2026-05-11T06:10:08Z

We establish an algorithm to encrypt and decrypt messages, where messages can be seen as elements of a finite field, using of mutations in a cluster algebra finite type.

2026-05-11T06:10:08Z Martin Ortiz Morales Leticia Pena Tellez http://arxiv.org/abs/2508.00547v2 2026-05-10T19:42:24Z

We introduce algebraic families of Dirac operators for the deformation family (and other related families) associated with a real reductive Lie group that interpolates the reductive group and the corresponding Cartan motion group. We prove Vogan's conjecture in this setting, relating the infinitesimal character of an algebraic family of Harish-Chandra modules and its Dirac cohomology.

2025-08-01T11:42:24Z correction of typos, revised version following referee comments, 61 pages Adv. Math. 496 (2026), Paper No. 110973 Spyridon Afentoulidis-Almpanis Eyal Subag http://arxiv.org/abs/2605.09583v1 2026-05-10T14:47:11Z

In this paper, we introduce the comaximal graph $Γ(L)$ of a finite-dimensional Lie algebra $L$, whose vertices are the nontrivial proper Lie subalgebras of $L$ over a field $\mathbb{F}$, and two vertices $A$ and $B$ are adjacent if and only if $\langle A, B\rangle =L$. We establish general structural properties, including a characterization of isolated vertices via the Frattini subalgebra and a criterion for completeness in terms of $μ$-algebras. We classify $Γ(L)$ for all Lie algebras of dimension at most three over a finite field $\mathbb{F}_q$, providing an explicit description in each case. The resulting graphs exhibit a rich range of behaviors, depending on the structure of the derived algebra and the action of $\operatorname{ad}x$. For $L\cong \mathfrak{sl}_2(\mathbb{F}_q)$, we determine several graph invariants, including the degree sequence, clique number, chromatic number, domination number, diameter, and radius, and show that $Γ(L)$ is connected and non-planar. The graph contains a large clique formed by the nonsplit semisimple lines together with the Borel subalgebras, while the nilpotent and split semisimple lines have a more restricted adjacency structure governed by their containment in Borel subalgebras.

2026-05-10T14:47:11Z David A. Towers Yesneri Zuleta Ismael Gutierrez http://arxiv.org/abs/2605.09512v1 2026-05-10T12:45:07Z

The variety of bicommutative algebras is the class of all nonassociative algebras satisfying the polynomial identities $(x_1x_2)x_3=(x_1x_3)x_2$ and $x_1(x_2x_3)=x_2(x_1x_3)$. In this paper we provide a complete description of varieties of bicommutative algebras over a field of characteristic zero that satisfy a polynomial identity of degree three. Furthermore, we establish a sufficient and necessary condition for a variety of bicommutative algebras to have a distributive lattice of subvarieties.

2026-05-10T12:45:07Z Vesselin Drensky Bekzat Zhakhayev http://arxiv.org/abs/2605.06119v2 2026-05-10T10:37:29Z

In this paper, we establish a rigidity result for automorphisms of multiplicative direct products of $D$-rings which are total ring of fraction that have pairwise distinct cardinalities. Under these assumptions, every automorphism acts independently on each factor, so that no interaction between distinct components occurs; in particular, the automorphism group decomposes canonically as the direct product of the automorphism groups of the factors. As a consequence, the automorphism group of the multiplicative monoid of integers modulo $n$ is entirely determined by its $p$-power components.

2026-05-07T12:27:47Z 14 pages Joseph Atalaye Liam Baker Sophie Marques http://arxiv.org/abs/2605.09458v1 2026-05-10T10:19:23Z

Integral systems in real composition algebras give rise to finite metric configurations whose geometry is linked to both regular polytopes and root-systems. In this work we investigate, to our knowledge for the first time in this form, the shell polytopes obtained by fixing the integral norm and taking the convex hull of the corresponding integral elements. The first shells recover the familiar root-polytopal configurations attached to the classical Hurwitz systems, while the Okubo algebra gives a quite different behaviour. The Okubo integral closure does not recover the Gosset polytope directly: it selects a two-adic hierarchy whose first visible layers are a cross-polytope and a \(D_8\) root polytope. We further show that the natural intermediate lattice is isometric to the rescaled cubic lattice; consequently every shell decomposes into explicit orbits of the hyperoctahedral group \(W(B_8)\), and the higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates. The full \(E_8\) Gosset polytope is then recovered from the intermediate lattice by maximal-isotropic gluing along \((\ZZ/2)^4\). This gives an interplay between non-unital composition, integral lattice shadows, and the geometry of \(E_8\).

2026-05-10T10:19:23Z Daniele Corradetti http://arxiv.org/abs/2605.09451v1 2026-05-10T10:04:35Z

This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next generalized to matrix rings $M_n(S)$ over arbitrary unital rings $S$, where a sufficient condition on $1_S$ is established and explicit constructions of solutions are provided. Beyond matrix rings, the structural implications of the equation $[a,b]^n = 1$ in a general unital ring $R$ are investigated, yielding a collection of idempotents whose properties govern the ring's structure. We prove that under a suitable condition on these idempotents, $[a,b]^n = 1$ implies $R \cong M_n(S)$ for some unital ring $S$. These results together establish a framework connecting commutator equations and classical criteria for recognizing full matrix rings.

2026-05-10T10:04:35Z All comments are welcome Arijit Mukherjee Gobinda Sau Arindam Sutradhar http://arxiv.org/abs/2605.09333v1 2026-05-10T05:14:22Z

In this work we study the interplay between the Coxeter-Dickson $E_{8}$-order, the para-octonions, and the real Okubo algebra. We prove that the Coxeter-Dickson order remains closed for the para-octonionic product, so that one recovers a genuine $\mathbb{Z}$-integral system with underlying lattice $E_{8}$. Intriguingly, the Okubo product behaves in a different and more arithmetic way: it forces $\mathbb{Q}(\sqrt{3})$-coefficients and does not preserve the same $\mathbb{Z}$-order. After a diagonal $2$-adic scaling we obtain a closed $\mathbb{Z}[\sqrt{3}]$-order, whose direct metric shadow is a $2$-primary conductor sublattice of $E_{8}$, not $E_{8}$ itself. The lattice $E_{8}$ is recovered only by $2$-adic saturation, equivalently by gluing, and this recovery is metric-arithmetic rather than multiplicative.

2026-05-10T05:14:22Z Daniele Corradetti