Search arXivSearch

arXiv · 1410.3166

Irreducible components of varieties of representations I. The local case

Abstract

Let $\Lambda$ be a local truncated path algebra over an algebraically closed field $K$, i.e., $\Lambda$ is a quotient of a path algebra $KQ$ by the paths of length $L+1$, where $Q$ is the quiver with a single vertex and a finite number of loops and $L$ is a positive integer. For any $d>0$, we determine the irreducible components of the varieties that parametrize the $d$-dimensional representations of $\Lambda$, namely, the components of the classical affine variety ${\rm\bf{Rep}}_{d}(\Lambda)$ and -- equivalently -- those of the projective parametrizing variety ${\rm GRASS}_d(\Lambda)$. Our method is to corner the components by way of a twin pair of upper semicontinuous maps from ${\rm\bf{Rep}}_{d}(\Lambda)$ to a poset consisting of sequences of semisimple modules. An excerpt of the main result is as follows. Given a sequence ${\bf S} = ({\bf S}_0, ..., {\bf S}_L)$ of semisimple modules with $\dim \bigoplus_{0 \le l \le L} {\bf S}_l = d$, let ${\rm\bf{Rep}}\, {\bf S}$ be the subvariety of ${\rm\bf{Rep}}_{d}(\Lambda)$ consisting of the points that parametrize the modules with radical layering ${\bf S}$. (The radical layering of a $\Lambda$-module $M$ is the sequence $\bigl(J^l M / J^{l+1} M\bigr)_{0 \le l \le L}$, where $J$ is the Jacobson radical of $\Lambda$.) Suppose the quiver $Q$ has $r \ge 2$ loops. If $d \le L+1$, the variety ${\rm\bf{Rep}}_{d}(\Lambda)$ is irreducible. If, on the other hand, $d > L+1$, then the irreducible components of ${\rm\bf{Rep}}_{d}(\Lambda)$ are the closures of the subvarieties ${\rm\bf{Rep}}\, {\bf S}$ for those sequences ${\bf S}$ which satisfy the inequalities $\dim {\bf S}_l \le r \dim {\bf S}_{l+1}$ and $\dim {\bf S}_{l+1} \le r \dim {\bf S}_l$ for $0 \le l < L$. As a byproduct, the main result provides generic information on the modules corresponding to the irreducible components of the parametrizing varieties.

Explore related subjects

Keep this discovery

BibTeXRIS

Birge Huisgen-Zimmermann. 2014-10-12. Irreducible components of varieties of representations I. The local case. https://arxiv.org/abs/1410.3166

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