SearcharxivSearch

arXiv · 2208.00291

On Noetherian algebras, Schur functors and Hemmer-Nakano dimensions

Abstract

Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur--Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exact functor known as Schur functor. In this paper, we investigate how to measure the quality of the connection between module categories of (projective) Noetherian algebras, $B$, and module categories of endomorphism algebras of generators-relative cogenerators over $B$ which are split quasi-hereditary Noetherian algebras. In particular, we are interested in finding, if it exists, the highest degree $n$ so that the endomorphism algebra of a generator-cogenerator provides an $n$-faithful cover, in the sense of Rouquier, of $B$. The degree $n$ is known as Hemmer-Nakano dimension of the standard modules. We prove that the Hemmer-Nakano dimension of standard modules with respect to a Schur functor from a split highest weight category over a field to the module category of a finite-dimensional algebra $B$ is bounded above by the number of non-isomorphic simple modules of $B$. We establish methods how to reduce computations of Hemmer-Nakano dimensions in the integral setup to computations of Hemmer-Nakano dimensions over finite-dimensional algebras. This theory allows us to derive results for Schur algebras and the BGG category O in the integral setup from the finite-dimensional case using relative dominant dimension. We exhibit several structural properties of deformations of the blocks of the BGG category O establishing an integral version of Soergel's Struktursatz. We show that deformations of the combinatorial Soergel's functor have better homological properties than the classical one.

Explore related subjects

Keep this discovery

BibTeXRIS

Tiago Cruz. 2022-07-30. On Noetherian algebras, Schur functors and Hemmer-Nakano dimensions. https://doi.org/10.1090/ert%2F670

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