SearcharxivSearch

arXiv · 2404.05925

Cohen-Macaulay representations of Artin-Schelter Gorenstein algebras of dimension one

Abstract

Tilting theory is one of the central tools in modern representation theory, in particular in the study of Cohen-Macaulay representations. We study Cohen-Macaulay representations of $\mathbb N$-graded Artin-Schelter Gorenstein algebras $A$ of dimension one, without assuming the connectedness condition. This framework covers a broad class of noncommutative Gorenstein rings, including classical $\mathbb N$-graded Gorenstein orders. We prove that the stable category $\underline{\mathsf{CM}}_0^{\mathbb Z}A$ admits a silting object if and only if $A_0$ has finite global dimension. In this case we give such a silting object explicitly. Assuming that $A$ is ring-indecomposable, we further show that $\underline{\mathsf{CM}}_0^{\mathbb Z}A$ admits a tilting object if and only if either $A$ is Artin-Schelter regular or the average Gorenstein parameter of $A$ is non-positive. These results generalize those of Buchweitz, Iyama, and Yamaura. We give two proofs of the second result: one via Orlov-type semiorthogonal decompositions, and the other via a direct calculation. As an application, we show that for a Gorenstein tiled order $A$, the category $\underline{\mathsf{CM}}^{\mathbb Z}A$ is equivalent to the derived category of the incidence algebra of an explicitly constructed poset. We also apply our results and Koszul duality to study smooth noncommutative projective quadric hypersurfaces $\mathsf{qgr}\,B$ of arbitrary dimension. We prove that $\mathsf{D}^{\mathrm b}(\mathsf{qgr}\,B)$ admits an explicitly constructed tilting object, which contains the tilting object of $\underline{\mathsf{CM}}^{\mathbb Z}B$ due to Smith and Van den Bergh as a direct summand via Orlov's semiorthogonal decomposition.

Explore related subjects

Keep this discovery

BibTeXRIS

Osamu Iyama, Yuta Kimura, Kenta Ueyama. 2024-04-09. Cohen-Macaulay representations of Artin-Schelter Gorenstein algebras of dimension one. https://arxiv.org/abs/2404.05925

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