SearcharxivSearch

arXiv · 1709.05391

On Deformations of Gorenstein-projective modules over Nakayama and triangular matrix algebras

Abstract

Let $\mathbf{k}$ be a fixed field of arbitrary characteristic, and let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra. Assume that $V$ is a left $\Lambda$-module of finite dimension over $\mathbf{k}$. F. M. Bleher and the author previously proved that $V$ has a well-defined versal deformation ring $R(\Lambda,V)$ which is a local complete commutative Noetherian ring with residue field isomorphic to $\mathbf{k}$. Moreover, $R(\Lambda,V)$ is universal if the endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. In this article we prove that if $\Lambda$ is a basic connected cycle Nakayama algebra without simple modules and $V$ is a Gorenstein-projective left $\Lambda$-module, then $R(\Lambda,V)$ is universal. Moreover, we also prove that the universal deformation rings $R(\Lambda,V)$ and $R(\Lambda, \Omega V)$ are isomorphic, where $\Omega V$ denotes the first syzygy of $V$. This result extends the one obtained by F. M. Bleher and D. J. Wackwitz concerning universal deformation rings of finitely generated modules over self-injective Nakayama algebras. In addition, we also prove the following result concerning versal deformation rings of finitely generated modules over triangular matrix finite dimensional algebras. Let $\Sigma=\begin{pmatrix} \Lambda & B\\0& \Gamma\end{pmatrix}$ be a triangular matrix finite dimensional Gorenstein $\mathbf{k}$-algebra with $\Gamma$ of finite global dimension and $B$ projective as a left $\Lambda$-module. If $\begin{pmatrix} V\\W\end{pmatrix}_f$ is a finitely generated Gorenstein-projective left $\Sigma$-module, then the versal deformation rings $R\left(\Sigma,\begin{pmatrix} V\\W\end{pmatrix}_f\right)$ and $R(\Lambda,V)$ are isomorphic.

Explore related subjects

Keep this discovery

BibTeXRIS

Jose A. Velez-Marulanda. 2017-09-15. On Deformations of Gorenstein-projective modules over Nakayama and triangular matrix algebras. https://arxiv.org/abs/1709.05391

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

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT