Browse

Rings and Algebras

math.RA — Rings and Algebras

Works in math.RA

8 works

math.QA — Quantum Algebra

Strongly positive bases in rank-two quantum cluster algebras

Contributed by 琪越 唐

We prove Conjecture 12 of Lee, Li, Rupel, and Zelevinsky: for arbitrary positive integers b,cb,c, every strongly positive basis of the coefficient-free rank-two quantum cluster algebra Av(b,c)\mathcal A_v(b,c) contains a unique element pointed at each pair in Z2\mathbb Z^2. These pointed elements exhaust the basis.

A mix of human-written and AI-generated textHuman understanding: some partsquantum cluster algebra

math.CO — Combinatorics

Signed seeds and G-gradings on cluster algebras

Contributed by Lauren Williams, Alan Yan

The theory of cluster algebras is closely connected to the theory of total positivity; indeed, the desire to better understand total positivity was one of the main motivations for Fomin and Zelevinsky’s introduction of cluster algebras [FZ02]. In particular, any cluster variety whose coordinate ring has a cluster structure has a natural notion of positive part: the subset of the variety where all cluster variables are positive. In this paper, we explain that there are other signed cells contained in cluster varieties that are equally natural from a cluster-theoretic point of view. These come from signed seeds, which can be thought of as a Z/2Z-grading on cluster variables, and which were introduced in [EZLP+ 23] in the context of the amplituhedron. More generally, given any abelian group G, we introduce the notion of a G-graded seed for a cluster algebra, which is a way of assigning elements of G to each cluster variable which is compatible with the cluster structure. When G is the multiplicative group {−1, 1}, this recovers the above notion of signed seed; when G = C∗ , this recovers the notion of cluster automorphism group [GSV10] or cluster dilation group [NS26]; and when G = Zd , this recovers the notion of graded cluster algebra studied by Grabowski-Launois [GL14], Grabowski [Gra15] and Gekhtman-Shapiro-Vainshtein [GSV10, Section 5.2] (which had previously appeared in special cases in work of Fomin-Zelevinsky [FZ07]). The examples we study include the space of square matrices, symmetric matrices, skew-symmetric matrices, positroid varieties, and amplituhedron tiles. We also connect this notion to tropical mutation when G = R or Z.

Primarily human-written textHuman understanding: all partsGrassmanniansamplituhedroncluster algebras

math.RA — Rings and Algebras

A Universal Noncommutative Splitting Algebra for Polynomials

Contributed by Darij Grinberg

Let RR be a commutative ring. We show that every homogeneous polynomial f∈R[x1,…,xm]f\in R[x_{1},\ldots,x_{m}] of degree nn splits into a product of nn homogeneous linear forms over a suitable noncommutative ring extension SS of RR (that is, over a noncommutative RR-algebra SS whose structure morphism R→SR\rightarrow S is injective). The algebra SS is universal for such factorizations and is free as an RR-module. The proof uses Bergman's Diamond Lemma: we define SS by generators and relations, and the relations form a terminating reduction system that has no ambiguities and thus is confluent. An analogous result is also shown for inhomogeneous polynomials (with inhomogeneous factors). This easily follows from the homogeneous case by homogenizing and then setting the homogenizing variable equal to 11.

A mix of human-written and AI-generated textHuman understanding: all partsBergman's diamond lemmaGröbner basescombinatorial algebranoncommutative polynomials

math.AC — Commutative Algebra

Splitting a Polynomial into Linear Factors after an Injective Ring Extension

Contributed by Darij Grinberg

We show that each univariate polynomial P=p0+p1X+⋯+pmXm∈R[X]P = p_0 + p_1 X + \cdots + p_m X^m \in R[X] over a commutative ring RR can be factored into linear factors over a suitable commutative ring extension SS of RR. The proof proceeds by universal construction: SS is defined as the tensor product R⊗CmBmR \otimes_{C_m} B_m, where BmB_m is the polynomial ring $\ZZ[a_1, b_1, a_2, b_2, \ldots, a_m, b_m]$, and where CmC_m is its subring generated by its ``homogenized elementary symmetric polynomials'' Er=∑I⊆[m];∣I∣=r∏i∈Iai∏i∉IbiE_r=\sum_{\substack{I\subseteq [m];\\ |I|=r}} \prod_{i\in I}a_i\prod_{i\notin I}b_i for all 0≤r≤m0 \leq r \leq m. The injectivity of the structure homomorphism R→SR \to S is deduced from a combinatorial study of the diagonal subring of BmB_m. In the process, a homogeneous variant of the Garsia--Stanton basis is constructed, and some classical properties of symmetric polynomials are recovered.

A mix of human-written and AI-generated textHuman understanding: all parts