https://arxiv.org/api/IvDCg2eLCzDkdrYeTb1R7qzrBbI 2026-06-13T17:54:36Z 20068 90 15 http://arxiv.org/abs/2606.03449v1 2026-06-02T10:30:18Z

In this paper, we present a complete characterization of solvable symplectic Lie algebras via a symplectic double extension process. We demonstrate that any such algebra is either symplectically irreducible or can be constructed through a finite sequence of symplectic double extensions by a line or a plane, starting from symplectically irreducible Lie algebras. Furthermore, we show that if a symplectic Lie algebra has a nondegenerate derived ideal, then it is necessarily unimodular and, in particular, solvable. Finally, we present a novel algebraic proof of a classical structural theorem on symplectically irreducible symplectic Lie algebras and classify all Lie algebras of dimension up to $6$ that admit such structures.

2026-06-02T10:30:18Z Abdelhak Abouqateb Saïd Benayadi Othmane Dani http://arxiv.org/abs/2606.03389v1 2026-06-02T09:33:07Z

Stone demonstrated that the category $\mathbf{DLATT_{0,1}}$ of bounded distributive lattices is dually equivalent to the category $\mathbf{Spec}$ of spectral spaces and Priestley showed that $\mathbf{DLatt_{0,1}}$ is dually equivalent to the category $\mathbf{Priest}$ of Priestley spaces so that $\mathbf{Spec}$ is equivalent $\mathbf{Priest}$. Cornish strengthened this by showing that $\mathbf{Spec}$ and $\mathbf{Priest}$ are in fact isomorphic. In this study, we investigate the duality theory of various lattice expansions of certain bounded distributive lattice-ordered algebras, known as De Morgan algebras. In particular we obtain spectral duality results for the category $\mathbf{S4DM}$ of De Morgan algebras equipped with a closure operator, which we call S4 De Morgan algebras, as well as for the category $\mathbf{DMGrp}$ of De Morgan groupoids. This is achieved by an appropriate adaptation of Bimbó's Priestley-style duality for general De Morgan algebras together with Urquhart's Priestley-style duality for relevance algebras under the isomorphism between $\mathbf{Priest}$ and $\mathbf{Spec}$.

2026-06-02T09:33:07Z Joseph McDonald http://arxiv.org/abs/2510.26252v3 2026-06-02T07:52:32Z

We prove the existence and give a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities whose divisor class group has rank one. More precisely, such toric NCCRs are in bijection with non-trivial upper sets in a certain quotient of the divisor class group equipped with a natural partial order. This classification allows us to prove that all toric NCCRs of such toric singularities are connected by iterated Iyama--Wemyss mutations, and hence are derived equivalent to one another. We further give a dimer-model realization of this classification in the non-pyramidal case. More precisely, we construct periodic quivers with cuts on a $d$-dimensional torus, establish a cut-upper set correspondence, and prove that the resulting cut quiver with relations presents the corresponding toric NCCR. For $d=2$, this recovers the quiver-theoretic part of the usual dimer-model construction. In the appendix, we give an explicit formula for the volume of $d$-dimensional lattice polytopes with $d+2$ vertices. As an application, we verify Van den Bergh's conjectural equality, for Gorenstein toric singularities with divisor class group of rank one, between the number of indecomposable direct summands of a toric NCCR and the normalized volume of the corresponding lattice polytope.

2025-10-30T08:34:25Z 31 pages, v3: Some typos are fixed Ryu Tomonaga http://arxiv.org/abs/2606.02975v1 2026-06-02T00:28:15Z

Multiplication table of a ring with identity 1 is said to have the diagonal condition if 1s occur only on the main diagonal. In this paper, we study the diagonal condition in the ring of Gaussian integers $\mathbb{Z}[i]$. Furthermore, we also find the Gaussian integers $α$ so that the rings of Gaussian integers modulo $α$ satisfy the diagonal condition.

2026-06-02T00:28:15Z This is a preprint version which I submitted to the journal already Chadaphorn Kodsueb http://arxiv.org/abs/2606.02415v1 2026-06-01T15:57:38Z

In this article, we study rational representations of $G=\operatorname{GL}_2(q)$, where $q$ is a prime power. Let $ρ$ be an irreducible representation of $G$ over $\mathbb{Q}$. Then $ρ$ affords the character \[ Ω(χ)=m_{\mathbb{Q}}(χ)\sum_{σ\in\operatorname{Gal}(\mathbb{Q}(χ)/\mathbb{Q})}χ^σ, \] for some irreducible complex character $χ$ of $G$, where $m_{\mathbb{Q}}(χ)$ denotes the Schur index of $χ$ over $\mathbb{Q}$, with the converse also holding. We obtain a combinatorial description for the counting of inequivalent irreducible $\mathbb{Q}$-representations of $G$ of distinct degrees. Furthermore, we present a method to construct an irreducible rational matrix representation $ρ$ of $G$ affording the character $Ω(χ)$, where $χ$ is an irreducible complex character of $G$ arising from parabolic induction. Finally, using the results from the rational representations of $G$, we derive an explicit combinatorial formula, depending only on $q$, for the Wedderburn decomposition of $\mathbb{Q}G$.

2026-06-01T15:57:38Z Ram Karan Choudhary Sunil Kumar Prajapati http://arxiv.org/abs/2606.02164v1 2026-06-01T12:25:21Z

We consider the skein algebra of an unpunctured marked surface. Thurston previously constructed its band basis topologically. We show that this band basis coincides with the common triangular basis, which is a Kazhdan-Lusztig type basis for quantum cluster algebras analogous to the dual canonical basis of quantum groups. Our result confirms a conjecture of Thurston. It also provides new cases for the existence of the common triangular basis. In addition, we discover a phenomenon where certain unknots are arranged in configurations resembling beads on a necklace.

2026-06-01T12:25:21Z Fan Qin Chao Shen http://arxiv.org/abs/2410.22549v2 2026-06-01T10:39:27Z

In this paper we introduce a multiparameter version of the quantum universal enveloping superalgebras introduced by Yamane in [H. Yamane, "Quantized enveloping algebras associated to simple Lie superalgebras and their universal $R$-matrices", Publ. Res. Inst. Math. Sci. 30 (1994), no. 1, 15-87]. For these objects we consider: - (1) their deformations by twist and by 2-cocycle (both of "toral type"); in particular, we prove that this family is stable under both types of deformations; - (2) their semiclassical limits, which are multiparameter Lie superbialgebras; - (3) the deformations by twist and by 2-cocycle (of "toral type") of these multiparameter Lie superbialgebras: in particular, we prove that this family is stable under these deformations, and that "quantization commutes with deformation".

2024-10-29T21:33:07Z 64 pages - Keywords: quantum (super)groups, quantum universal enveloping (super)algebras; Lie (super)bialgebras; deformations. arXiv admin note: text overlap with arXiv:2203.11023 Gastón Andrés García Fabio Gavarini Margherita Paolini http://arxiv.org/abs/2605.08091v2 2026-06-01T09:38:02Z

The analysis of a total least square problem (TLS) can be reduced to that of an associated core problem, which typically has lower dimension and improved solubility properties. Nevertheless, even a core problem may remain reducible, admitting further decomposition into irreducible component subproblems with simpler structure and better analytical properties. However, no systematic and invariant procedure is available for identifying all such component subproblems, either over either real or complex field.In this paper, a complete and constructive framework is developed for the exact decomposition of TLS core problems into unitary-unique irreducible component subproblems.By working over the complex field and exploiting the spectral structure of covariance operators associated with C-subset subproblems, the proposed strategy yields all complex indivisible subspaces which will lead to irreducible component sub-problems. As a consequence, we prove that irreducible component subproblems are uniquely determined up to unitary transformations and permutation, thereby partially resolving an open question left in Yu, Jing. SIAM J. Matrix Anal. Appl., 46 (2025).

2026-04-02T15:38:46Z Sijia Yu Bruno Carpentieri Yan-Fei Jing http://arxiv.org/abs/2606.01917v1 2026-06-01T08:52:22Z

Let $\mathcal P(H)$ be the semigroup obtained by endowing the family of all non-empty subsets of a semigroup $H$ with the setwise operation naturally induced by $H$ on its power set, and denote by $\mathcal P_\text{fin}(H)$ the subsemigroup of $\mathcal P(H)$ consisting of all non-empty finite subsets of $H$. We obtain (as a corollary of a theorem of independent interest) that if $H$ is a group and $K$ is a semigroup, then $\mathcal P(H) \cong \mathcal P(K)$ implies $H \cong K$. The finitary analogue of this statement is considerably more difficult, and we prove it only for $H$ an additive subgroup of the rationals. Most notably, the proof of the second result relies, in a rather circuitous way, on a special case of the Evertse--Schlickewei--Schmidt theorem.

2026-06-01T08:52:22Z 16 pages, no figures Shuolin Liu Salvatore Tringali http://arxiv.org/abs/2511.02641v4 2026-06-01T08:21:01Z

Tilting bundles translate geometry into non-commutative algebra via derived equivalences. We prove the existence of, and classify, $d$-tilting bundles consisting of line bundles on $d$-dimensional smooth toric Fano stacks of Picard number one or two. Their endomorphism algebras give natural examples of $d$-representation infinite algebras and are closely related to the derived McKay correspondence. The classification is motivated by dimer models: an internal perfect matching gives a positive grading on a dimer algebra, whose degree-zero part yields a $2$-representation infinite algebra. The algebras of type $\widetilde A$ introduced by Herschend--Iyama--Oppermann are higher-dimensional analogues of this construction in the simplex case. Applying the same principle to the next case leads to a new class of higher representation infinite algebras, which we call algebras of type $\widetilde A\widetilde A$. Upper sets provide a common framework for tilting bundles, toric non-commutative crepant resolutions (NCCRs), and cuts of higher-dimensional dimer-type quivers. In the Picard-number-one case, $d$-tilting bundles consisting of line bundles are parametrized by non-trivial upper sets in the Picard group, and their endomorphism algebras are precisely the algebras of type $\widetilde A$. In the Picard-number-two case, the upper-set construction becomes two-step: the first upper set determines the ambient toric NCCR, and the second selects an internal cut of its quiver. This classifies all such $d$-tilting bundles and realizes their endomorphism algebras precisely as algebras of type $\widetilde A\widetilde A$. Thus smooth toric Fano stacks of Picard number one and two serve as geometric models of algebras of type $\widetilde A$ and $\widetilde A\widetilde A$, respectively. Using these models, we also show that both classes are closed under $d$-APR tilts.

2025-11-04T15:06:03Z 57 pages, v4: Proofs of Theorems 3.5 and 5.5 are clarified Ryu Tomonaga http://arxiv.org/abs/2511.20173v2 2026-06-01T07:37:03Z

Generalizing work of Marin [12], we construct in a unified way all the "braids and ties'' algebras available in literature and new ones.

2025-11-25T10:53:10Z Latex file, 29 pages, minor revision, to appear in Mathematische Zeitschrift Riccardo Fasano Domenico Fiorenza Paolo Papi http://arxiv.org/abs/2605.26775v2 2026-06-01T06:30:56Z

We generalize and prove the recursive relation \[ S_λ(V) = \sum_{L\subseteq V\text{ line}} S_λ(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.

2026-05-26T09:46:02Z 47 pages, of which the first 21 prove the main result. Includes some exposition. Errata for Macdonald's original paper, with some more omitted details, are included as ancillary file. Comments are welcome! v2 adds a reference to a parallel development of the same results Darij Grinberg http://arxiv.org/abs/2606.01646v1 2026-06-01T03:55:04Z

Let $\K$ denote a field. Extending the structural frameworks established in \cite{JZ2025-2}, this paper introduces novel techniques utilizing non-commutative reduction orders, factorization theory, and the generalized lifting methodology. We establish a definitive necessary and sufficient criterion for the affineness of Noetherian Hopf algebras, thereby providing a significant advancement toward resolving the long-standing Wu--Zhang question \cite{WZ2003}. Specifically, we prove that a left or right Noetherian Hopf algebra over $\K$ is affine if and only if its Hopf coradical is affine. This characterization fundamentally concentrates the burden of verification onto the first filtration step, yielding a criterion that is structurally transparent and highly operational. To establish necessity, we provide an essential intrinsic result demonstrating that the Hopf coradical of an affine Hopf algebra inherits the property of being affine. Furthermore, as direct applications of this equivalence, we prove that a left or right Noetherian Hopf algebra $H$ is affine provided that its coradical $H_{(0)}$ forms a subalgebra (the dual Chevalley property), its coradical $H_{(0)}$ is cocommutative, or its Hopf coradical $H_{[0]}$ is commutative.

2026-06-01T03:55:04Z 33 pages Huan Jia Yinhuo Zhang http://arxiv.org/abs/2606.01531v1 2026-06-01T01:27:16Z

Dittert's conjecture gives a sharp upper bound for the Dittert functional on nonnegative matrices whose entries sum to \(n\). It extends the van der Waerden permanent problem from the doubly stochastic polytope to a larger simplex in which row and column sums are allowed to vary. We prove the conjecture for every dimension \(n\ge 17\). The proof combines the Knopp--Sinkhorn lower bound for boundary points of the doubly stochastic polytope with a refined scaling step in the Cheon--Wanless method. The main improvement is a sharper subset-sum estimate for the row and column sums of a near maximizer, which reduces the scalar dilation needed to obtain a doubly superstochastic matrix. This strengthened comparison is sufficient to exclude boundary maximizers in all dimensions \(n\ge 17\), and the known positive-support characterization then identifies the unique maximizer as \(n^{-1}J_n\).

2026-06-01T01:27:16Z 7 pages Zhekai Pang http://arxiv.org/abs/2606.01519v1 2026-06-01T00:47:04Z

Li and Poon proved that every real square matrix is a real linear combination of four real orthogonal matrices. The resulting question, recorded by Zhan, asks whether four terms are necessary. We prove that three real orthogonal matrices always suffice.

2026-06-01T00:47:04Z 9 pages Zhekai Pang