Search arXivSearch

arXiv · 1711.07854

Golod-Shafarevich type theorems and potential algebras

Abstract

Potential algebras feature in the minimal model program and noncommutative resolution of singularities, and the important cases are when they are finite dimensional, or of linear growth. We develop techniques, involving Gröbner basis theory and generalized Golod-Shafarevich type theorems for potential algebras, to determine finiteness conditions in terms of the potential. We consider two-generated potential algebras. Using Gröbner bases techniques and arguing in terms of associated truncated algebra we prove that they cannot have dimension smaller than $8$. This answers a question of Wemyss \cite{Wemyss}, related to the geometric argument of Toda \cite{T}. We derive from the improved version of the Golod-Shafarevich theorem, that if the potential has only terms of degree 5 or higher, then the potential algebra is infinite dimensional. We prove, that potential algebra for any homogeneous potential of degree $n\geq 3$ is infinite dimensional. The proof includes a complete classification of all potentials of degree 3. Then we introduce a certain version of Koszul complex, and prove that in the class ${\cal P}_n$ of potential algebras with homogeneous potential of degree $n+1\geq 4$, the minimal Hilbert series is $H_n=\frac{1}{1-2t+2t^n-t^{n+1}}$, so they are all infinite dimensional. Moreover, growth could be polynomial (but non-linear) for the potential of degree 4, and is always exponential for potential of degree starting from 5. For one particular type of potential we prove a conjecture by Wemyss, which relates the difference of dimensions of potential algebra and its abelianization with Gopakumar-Vafa invariants.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Natalia Iyudu, Agata Smoktunowicz. 2017-11-21. Golod-Shafarevich type theorems and potential algebras. https://doi.org/10.1093/imrn%2Frnx315

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On solutions of singular Sylvester equations in quaternions

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

math.RA

Positivity preservers over finite fields II

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

math.RA

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA