The stable rank of $\mathbb{Z}[x]$ is $3$

Luc Guyot

2024-02-05

Abstract:Grunewald, Mennicke and Vaserstein proved that the Bass stable rank of $\mathbb{Z}[x]$, the ring of the univariate polynomials over $\mathbb{Z}$, is $3$. This note addresses minor errors found in their proof. Using their method, we show in addition that the unimodular row $(3, x + 1, x^2 + 16)$ is not stable.

Commutative Algebra

What problem does this paper attempt to address?

Stable Rank and Intrinsic Dimension of Real and Complex Matrices

Ilse C.F. Ipsen,Arvind K. Saibaba

2024-07-31

Abstract:We compare the properties of the stable rank and intrinsic dimension of real and complex matrices to those of the classical rank. Basic proofs and examples illustrate that the stable rank does not satisfy any of the fundamental rank properties, while the intrinsic dimension satisfies a few. In particular, the stable rank and intrinsic dimension of a submatrix can exceed those of the original matrix; adding a Hermitian positive semi-definite matrix can lower the intrinsic dimension of the sum; and multiplication by a nonsingular matrix can drastically change the stable rank and the intrinsic dimension. We generalize the concept of stable rank to the p-stable in a Schatten p-norm, thereby unifying the concepts of stable rank and intrinsic dimension: The stable rank is the 2-stable rank, while the intrinsic dimension is the 1-stable rank of a Hermitian positive semi-definite matrix. We derive sum and product inequalities for the pth root of the p-stable rank, and show that it is well-conditioned in the norm-wise absolute sense. The conditioning improves if the matrix and the perturbation are Hermitian positive semi-definite.

Numerical Analysis
Rank-stability of polynomial equations

Tomer Bauer,Guy Blachar,Be'eri Greenfeld

2024-01-10

Abstract:Extending the thoroughly studied theory of group stability, we study Ulam stability type problems for associative and Lie algebras; namely, we investigate obstacles to rank-approximation of almost solutions by exact solutions for systems of polynomial equations. This leads to a rich theory of stable associative and Lie algebras, with connections to linear soficity, amenability, growth, and group stability. We develop rank-stability and instability tests, examine the effect of algebraic constructions on rank-stability, and prove that while finite-dimensional associative algebras are rank-stable, `most' finite-dimensional Lie algebras are not.

Rings and Algebras,Operator Algebras
The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Binyong Sun

DOI: https://doi.org/10.3969/j.issn.1673-8128.2018.01.024

2018-01-01

Abstract:We prove the nonvanishing hypothesis at infinity for Rankin-Selberg convolutions for GL(n)× GL(n-1).
Partial bases and homological stability of $\operatorname{GL}_{n}(R)$ revisited

Calista Bernard,Jeremy Miller,Robin J. Sroka

2024-05-16

Abstract:Let $R$ be a unital ring satisfying the invariant basis number property, that every stably free $R$-module is free, and that the complex of partial bases of every finite rank free module is Cohen--Macaulay. This class of rings includes every ring of stable rank $1$ (e.g. any local, semi-local or Artinian ring), every Euclidean domain, and every Dedekind domain $\mathcal{O}_S$ of arithmetic type where $|S| > 1$ and $S$ contains at least one non-complex place. Extending recent work of Galatius--Kupers--Randal-Williams and Kupers--Miller--Patzt, we prove that the sequence of general linear groups $\operatorname{GL}_n(R)$ satisfies slope-$1$ homological stability with $\mathbb{Z}[1/2]$-coefficients.

Algebraic Topology,K-Theory and Homology,Number Theory,Representation Theory
Uniform stability of ranks

Guy Moshkovitz,Daniel G. Zhu

2024-11-06

Abstract:Chen and Ye recently proved that the analytic rank of tensors is stable under field extensions, assuming a fixed base field. Using a more careful analysis, we show that this assumption is unnecessary.

Combinatorics
Stability theorems for multiplicities in graded $S_n$-modules

Marino Romero,Nolan Wallach

2024-06-18

Abstract:In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$ sets of $m+r$ variables, then the dimension of the invariants of degree $m$ is the same as the dimension of the invariants of degree $m$ for $S_{m}$ acting on $k$ sets of $m$ variables. Building on this stability, the last section looks at the Hilbert series of coinvariants of the polynomial ring in $k$ sets of $m$ variables. We address a conjecture that the Hilbert series, in degrees no more than $m$, can be computed by a truncated power series expression. Using some auxiliary results and manipulations of power series, we show that if this holds for $k$ and $m$, then the truncation gives the correct Hilbert series up to degree $m$ for $k$ sets of $n \geq m$ variables. This shows the validity of the conjecture up to certain degrees. We also provide a new equivalent conjecture regarding Gröbner bases. The second type of stability result is for Weyl modules. We prove that the dimension of the $S_{m+r}$ invariants for a Weyl module ${}_{m+r}F^{\lambda}$ (the Schur-Weyl dual of the $S_{|\lambda|}$ module $V^{\lambda}$) with $\left\vert \lambda \right\vert \leq m$ is of the same dimension as the space of $S_{m}$ invariants for ${}_{m}F^{\lambda}$. Multigraded versions of the first type of result are given, as are multigraded generalizations to non-trivial modules of symmetric groups.

Representation Theory,Combinatorics
Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)

Vasile Pop,Alexandru Negrescu

DOI: https://doi.org/10.3390/math12030360

IF: 2.4

2024-01-23

Mathematics

Abstract:It is well known that in C[X], the product of two polynomials is equal to the product of their greatest common divisor and their least common multiple. In a recent paper, we proved a similar relation between the ranks of matrix polynomials. More precisely, the sum of the ranks of two matrix polynomials is equal to the sum of the rank of the greatest common divisor of the polynomials applied to the respective matrix and the rank of the least common multiple of the polynomials applied to the respective matrix. In this paper, we present three new proofs for this result. In addition to these, we present two more applications.

mathematics
On the spectrum of a stable rank 2 vector bundle on $\mathbb{P}^3$

Iustin Coanda

2024-01-20

Abstract:The spectrum of a stable rank 2 vector bundle $E$ with $c_1 = 0$ on the projective 3-space is a finite sequence of positive integers $s(0)$, ..., $s(m)$ characterizing the Hilbert function of the graded $H^1$-module of $E$ in negative degrees. Hartshorne [Invent. Math. 66 (1982), 165-190] showed that if $s(i) = 1$ for some $i > 0$ then $s(i+1) = 1$, ..., $s(m) = 1$. We show that if $s(0) = 1$ then $E(1)$ has a global section whose zero scheme is a double structure on a space curve. We deduce, then, the existence of sequences satisfying Hartshorne's condition that cannot be the spectrum of any stable 2-bundle. This provides a negative answer to a question of Hartshorne and Rao [J. Math. Kyoto Univ. 31 (1991), 789-806].

Algebraic Geometry
On stable polynomials of degrees $2,3,4$

Tong Lin,Qiang Wang

2023-10-04

Abstract:Let $q$ be a prime power. We construct stable polynomials of the form $b^{m-1}(x+a)^m+c(x+a)+d$ over a finite field $\mathbb{F}_{q}$ for $m=2,3,4$ by Capelli's lemma. When $m=3$ and $q$ is even, we confirm the conjecture of Ahmadi and Monsef-Shokri [2] that the polynomial $f(x) = x^3 + x^2 + 1$ is stable over $\mathbb{F}_{2}$. Moreover, when $m=2$ and $q\equiv 1\pmod{4}$, we improve a lower bound of the number of quadratic stable polynomials by Goméz-Pérez and Nicolás [4].

Number Theory
On Kruskal's theorem that every 3 x 3 x 3 array has rank at most 5

Murray R. Bremner,Jiaxiong Hu

DOI: https://doi.org/10.48550/arXiv.1209.1553

2012-09-06

Rings and Algebras

Abstract:In the first part of this paper, we consider 3 x 3 x 3 arrays with complex entries, and provide a complete self-contained proof of Kruskal's theorem that the maximum rank is 5. In the second part, we provide a complete classification of the canonical forms of 3 x 3 x 3 arrays over F_2; in particular, we obtain explicit examples of such arrays with rank 6.
On Modular Invariants of Truncated Polynomial Rings in low ranks

Le Minh Ha,Nguyen Dang Ho Hai,Nguyen Van Nghia

2024-08-29

Abstract:We verify the conjectures due to Lewis, Reiner and Stanton about the Hilbert series of the invariant ring of the truncated polynomial ring for all parabolic subgroups up to rank $3$. This is done by constructing an explicit set of generators for each invariant ring in question. We also propose a conjecture concerning the action of the Steenrod algebra and the Dickson algebra on a certain naturally occurring filtration of the invariant ring under the general linear group.

Rings and Algebras,Algebraic Topology,Combinatorics
Improved homological stability for certain general linear groups

Alexander Kupers,Jeremy Miller,Peter Patzt

DOI: https://doi.org/10.1112/plms.12463

2021-06-23

Abstract:We prove that the general linear groups of the integers, Gaussian integers, and Eisenstein integers satisfy homological stability of slope 1 when using $\mathbb{Z}[1/2]$-coefficients and of slope $2/3$ when using $\mathbb{Z}$-coefficients.

Algebraic Topology,K-Theory and Homology
The stability manifold of $E{\times} E{\times} E$

Fabian Haiden,Benjamin Sung

2024-10-10

Abstract:We determine a full component of the space of stability conditions on $D^b(E^3)$ where $E$ is an elliptic curve without complex multiplication. The component has complex dimension 14 and a very concrete description in terms of alternating trilinear forms. This confirms a conjecture of Kontsevich, motivated by homological mirror symmetry, in the case of dimension $3$.

Algebraic Geometry,High Energy Physics - Theory,Symplectic Geometry
Introduction to stability theory and Morley rank

Martin Ziegler

DOI: https://doi.org/10.1007/978-3-540-68521-0_2

2024-03-11

Lecture notes in mathematics

Abstract:We assume knowledge of the basic definitions and results of model theory which are presented (informally) in the first chapter of this book. We use as basic example the theory of algebraically closed fields (see the chapter on algebraically closed fields [Pi1]).

mathematics
Stability theorems for positively graded domains

Sourjya Banerjee

2024-05-07

Abstract:Given a Noetherian graded domain $R = \bigoplus_{i\ge 0} R_i$ of dimension $d\geq 2$ with $\dim(R_0) \geq 1$, we prove that any unimodular row of length $d+1$ in $R$ can be completed to the first row of an invertible matrix $\alpha$ such that $\alpha$ is homotopic to the identity matrix. Utilizing this result we establish that if $I \subset R$ is an ideal satisfying $\mu(I/I^2) = \text{ht}(I) = d$, then any set of generators of $I/I^2$ lifts to a set of generators of $I$, where $\mu(-)$ denotes the minimal number of generators. We improve the injective stability of $\text{K}_1(R)$. Finally, we prove that for any projective $R$-module $P$ of rank $d$ if the Quillen ideal of $P$ is non-zero, then $P$ is cancellative.

Commutative Algebra
The abelianization of $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{m}])$

Carl-Fredrik Nyberg-Brodda

2024-01-16

Abstract:For all $m \geq 1$, we prove that the abelianization of $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{m}])$ is (1) trivial if $6 \mid m$; (2) $\mathbb{Z} / 3\mathbb{Z}$ if $2 \mid m$ and $\gcd(3,m)=1$; (3) $\mathbb{Z} / 4 \mathbb{Z}$ if $3 \mid m$ and $\gcd(2,m)=1$; and (4) $\mathbb{Z} / {12}\mathbb{Z} \cong \mathbb{Z} / 3\mathbb{Z} \times \mathbb{Z} / 4\mathbb{Z}$ if $\gcd(6,m)=1$. This completes known computational results of Bui Anh & Ellis for $m \leq 50$. The proof is completely elementary, and in particular does not use the congruence subgroup property. We also find a new presentation for $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{2}])$. This presentation has two generators and three relators. Thus, $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{2}])$ admits a presentation with deficiency equal to the rank of its Schur multiplier. This also gives new and very simple presentations for the finite groups $\operatorname{SL}_2(\mathbb{Z} / m \mathbb{Z})$, where $m$ is odd.

K-Theory and Homology,Group Theory
Twisted group C*-algebras of acylindrically hyperbolic groups have stable rank one

Sven Raum

2024-03-12

Abstract:We prove that the twisted group C*-algebra of an acylindrically hyperbolic group -- not necessarily having trivial finite radical -- has stable rank one.

Operator Algebras,Group Theory
A remark on a theorem of Narasimhan and Ramanan

Jagadish Pine

2024-11-24

Abstract:In this short note, we provide an alternative proof of a notable theorem by Narasimhan and Ramanan. The theorem states that the moduli space of $S$-equivalence classes of semistable rank $2$ vector bundles over a curve $X$ of genus $2$ with trivial determinant is isomorphic to $\mathbb{P}^3$. Our proof relies on a criterion by Bauer and Szemberg, which characterizes projective spaces among smooth Fano varieties using Seshadri constants.

Algebraic Geometry
The multivariate Serre conjecture ring

Luc Guyot,Ihsen Yengui

DOI: https://doi.org/10.1016/j.jalgebra.2023.10.032

IF: 0.908

2024-02-01

Journal of Algebra

Abstract:It is well-known that for any integral domain R, the Serre conjecture ring R 〈 X 〉 , i.e., the localization of the univariate polynomial ring R [ X ] at monic polynomials, is a Bézout domain of Krull dimension ≤1 if R is a Bézout domain of Krull dimension ≤1. Consequently, defining by induction R 〈 X 1 , … , X n 〉 : = ( R 〈 X 1 , … , X n − 1 〉 ) 〈 X n 〉 , the ring R 〈 X 1 , … , X n 〉 is a Bézout domain of Krull dimension ≤1 if so is R. The fact that R 〈 X 1 , … , X n 〉 is a Bézout domain when R is a valuation domain of Krull dimension ≤1 was the cornerstone of Brewer and Costa's theorem stating that if R is a one-dimensional arithmetical ring then finitely generated projective R [ X 1 , … , X n ] -modules are extended. It is also the key of the proof of the Gröbner Ring Conjecture in the lexicographic order case, namely the fact that for any valuation domain R of Krull dimension ≤1, any n ∈ N > 0 , and any finitely generated ideal I of R [ X 1 , … , X n ] , the ideal LT ( I ) generated by the leading terms of the elements of I with respect to the lexicographic monomial order is finitely generated. Since the ring R 〈 X 1 , … , X n 〉 can also be defined directly as the localization of the multivariate polynomial ring R [ X 1 , … , X n ] at polynomials whose leading coefficients according to the lexicographic monomial order with X 1 < X 2 < ⋯ < X n is 1, we propose to generalize the fact that R 〈 X 1 , … , X n 〉 is a Bézout domain of Krull dimension ≤1 when R is a Bézout domain of Krull dimension ≤1 to any rational monomial order, bolstering the evidence for the Gröbner Ring Conjecture in the rational case. We give an example showing that this result is no more true in the irrational case.

mathematics
Homotopical stable ranks for Banach algebras

Bogdan Nica

DOI: https://doi.org/10.48550/arXiv.0911.2945

2011-08-23

Abstract:The connected stable rank and the general stable rank are homotopy invariants for Banach algebras, whereas the Bass stable rank and the topological stable rank should be thought of as dimensional invariants. This paper studies the two homotopical stable ranks, viz. their general properties as well as specific examples and computations. The picture that emerges is that of a strong affinity between the homotopical stable ranks, and a marked contrast with the dimensional ones.

Operator Algebras

The stable rank of $\mathbb{Z}[x]$ is $3$

Stable Rank and Intrinsic Dimension of Real and Complex Matrices

Rank-stability of polynomial equations

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Partial bases and homological stability of $\operatorname{GL}_{n}(R)$ revisited

Uniform stability of ranks

Stability theorems for multiplicities in graded $S_n$-modules

Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)

On the spectrum of a stable rank 2 vector bundle on $\mathbb{P}^3$

On stable polynomials of degrees $2,3,4$

On Kruskal's theorem that every 3 x 3 x 3 array has rank at most 5

On Modular Invariants of Truncated Polynomial Rings in low ranks

Improved homological stability for certain general linear groups

The stability manifold of $E{\times} E{\times} E$

Introduction to stability theory and Morley rank

Stability theorems for positively graded domains

The abelianization of $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{m}])$

Twisted group C*-algebras of acylindrically hyperbolic groups have stable rank one

A remark on a theorem of Narasimhan and Ramanan

The multivariate Serre conjecture ring

Homotopical stable ranks for Banach algebras