A class of perverse sheaves on framed representation varieties of the Jordan quiver

Yiqiang Li

DOI: https://doi.org/10.48550/arXiv.1209.3347

2012-09-15

Abstract:A class of perverse sheaves on framed representation varieties of the Jordan quiver is defined. Its relationship with product of symmetric groups, tensor product of Schur algebras, and tensor product of Fock spaces are addressed.

Representation Theory

What problem does this paper attempt to address?

Representation-finite tensor product algebras

Qi Wang

2024-07-16

Abstract:In this paper, we complete the classification of representation-finite tensor product algebras in terms of quiver with relations.

Representation Theory
Perverse sheaves on symmetric products of the plane

Tom Braden,Carl Mautner

2024-09-19

Abstract:For any field $k$, we give an algebraic description of the category $\mathrm{Perv}_\mathscr{S}(S^n (\mathbb{C}^2),k)$ of perverse sheaves on the $n$-fold symmetric product of the plane $S^n(\mathbb{C}^2)$ constructible with respect to its natural stratification and with coefficients in $k$. In particular, we show that it is equivalent to the category of modules over a new algebra that is closely related to the Schur algebra. As part of our description we obtain an analogue of modular Springer theory for the Hilbert scheme $\mathrm{Hilb}^n(\mathbb{C}^2)$ of $n$ points in the plane with its Hilbert-Chow morphism.

Algebraic Geometry,Representation Theory
On singular supports of Lusztig's perverse sheaves

Jiepeng Fang

2024-01-05

Abstract:We prove a conjecture of Lusztig on a microlocal characterization of his perverse sheaves. For any finite quiver without loops, an equivariant simple perverse sheaf on the variety of quiver representations is a Lusztig's perverse sheaf if and only if its singular support is contained in Lusztig's Lagrangian variety, that is, the variety of nilpotent representations of the preprojective algebra of the quiver.

Representation Theory,Algebraic Geometry,Quantum Algebra
Perverse sheaves and finite-dimensional algebras

Alessio Cipriani,Jon Woolf

DOI: https://doi.org/10.48550/arXiv.2007.03060

IF: 0.6

2020-07-06

Representation Theory

Abstract:Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is equivalent to the category of finite-dimensional modules over a finite-dimensional algebra if and only if $X$ has finitely many strata and the same holds for the category of local systems on each of these. The main component in the proof is a construction of projective covers for simple perverse sheaves.
Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

Munir Ahmed,Fang Li

DOI: https://doi.org/10.1007/s13369-011-0038-8

2011-01-01

Abstract:The purpose of this paper is to use Clifford monoids to define weak Hopf quivers and to construct the corresponding class of weak Hopf algebras, i.e., the semilattice of graded weak Hopf algebras which were found to be useful in obtaining a regular R-matrix of a quantum double without a quasi-triangular structure. We define weak Hopf quivers and classify the semilattice of graded weak Hopf algebra structures over path coalgebras using weak Hopf quivers. This gives, precisely, a generalization of the classification of the graded weak Hopf algebra structures over path coalgebras using such quivers.
Virasoro constraints and representations for quiver moduli spaces

Woonam Lim,Miguel Moreira

2024-03-25

Abstract:We study the Virasoro constraints for moduli spaces of representations of quiver with relations by Joyce's vertex algebras. Using the framed Virasoro constraints, we construct a representation of half of the Virasoro algebra on the cohomology of moduli stacks of quiver representations under smoothness assumption. By exploiting the non-commutative nature of the Virasoro operators, we apply our theory for quivers to del Pezzo surfaces using exceptional collections. In particular, the Virasoro constraints and representations are proven for moduli of sheaves on $\mathbb{P}^2$, $\mathbb{P}^1\times \mathbb{P}^1$ and $\text{Bl}_{\mathsf{pt}}(\mathbb{P}^2)$. Lastly, we unravel the Virasoro constraints for Grassmannians in terms of symmetric polynomials and Hecke operators.

Algebraic Geometry,Representation Theory
Ringel duality for perverse sheaves on hypertoric varieties

Tom Braden,Carl Mautner

DOI: https://doi.org/10.48550/arXiv.1709.03004

2017-09-10

Abstract:Motivated by the polynomial representation theory of the general linear group and the theory of symplectic singularities, we study a category of perverse sheaves with coefficients in a field $k$ on any affine unimodular hypertoric variety. Our main result is that this is a highest weight category whose Ringel dual is the corresponding category for the Gale dual hypertoric variety. On the way to proving our main result, we confirm a conjecture of Finkelberg-Kubrak in the case of hypertoric varieties. We also show that our category is equivalent to representations of a combinatorially-defined algebra, recently introduced in a related paper.

Algebraic Geometry,Representation Theory
The Langlands formula and perverse sheaves

Mikhail Kapranov,Vadim Schechtman,Olivier Schiffmann,Jiangfan Yuan

2024-12-02

Abstract:For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category of functors from $\boldsymbol{\mathcal{C}}$ to vector spaces. Objects of $\boldsymbol{\mathcal{C}}$ are labelled by standard parabolic subalgebras in $\mathfrak{g}$. It has morphisms analogous to the operations of parabolic induction (Eisenstein series) and restriction (constant term) of automorphic forms. In particular, the Langlands formula for the constant term of an Eisenstein series has a counterpart in the form of an identity in $\boldsymbol{\mathcal{C}}$. We define $\boldsymbol{\mathcal{C}}$ as the category of $W$-invariants (in an appropriate sense) in the category $Q$ describing perverse sheaves on $\mathfrak{h}$ smooth w.r.t. the root arrangement. This matches, in an interesting way, the definition of $W \backslash \mathfrak{h}$ itself as the spectrum of the algebra of $W$-invariants.

Representation Theory,Algebraic Geometry,Category Theory
On purity theorem of Lusztig's perverse sheaves

Jie Xiao,Fan Xu,Minghui Zhao

DOI: https://doi.org/10.48550/arxiv.1712.04167

2017-01-01

Abstract:Let $Q$ be a finite quiver without loops and $\mathcal{Q}_{\alpha}$ be the Lusztig category for any dimension vector $\alpha$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology $\mathcal{H}^i(\mathcal{L})|_x$ for a simple perverse sheaf $\mathcal{L}\in \mathcal{Q}_{\alpha}$ and $x\in \mathbb{E}_{\alpha}^{F^n}=\mathbb{E}_{\alpha}(\mathbb{F}_{q^n})$ are equal to $(\sqrt{q^n})^{i}$ as a conjecture given by Schiffmann (\cite{Schiffmann2}). As an application, we prove the existence of a class of Hall polynomials.
Perverse coherent extensions on Calabi-Yau threefolds and representations of cohomological Hall algebras

Dylan Butson,Miroslav Rapcak

2023-09-29

Abstract:For $Y\to X$ a toric Calabi-Yau threefold resolution and $M\in \DD^b\Coh(Y)^T$ satisfying some hypotheses, we define a stack $\mf M(Y,M)$ parameterizing \emph{perverse coherent extensions} of $M$, iterated extensions of $M$ and the compactly supported perverse coherent sheaves of Bridgeland. We define framed variants $\mf M^\f(Y,M)$, prove that they are equivalent to stacks of representations of framed quivers with potential $(Q^\f,W^\f)$, and deduce natural monad presentations for these sheaves. Moreover, following Soibelman we prove that the homology $H_\bullet(\mf M^{\f,\zeta}(Y,M),\varphi_{W^\f})$ of the space of $\zeta$-stable, $\f$-framed perverse coherent extensions of $M$, with coefficients in the sheaf $\varphi_{W^\f}$ of vanishing cycles for $W^\f$, is a representation of the Kontsevich-Soibelman cohomological Hall algebra of $Y$. For $M=\mc O_Y[1]$, $\mf M^{\f}(Y,M)$ is the stack of perverse coherent systems of Nagao-Nakajima, so $\bb V_Y^\zeta=H_\bullet(\mf M^{\f,\zeta}(Y,M),\varphi_{W^\f})$ is the DT/PT series of $Y$ for $\zeta=\zeta_{\DT/\PT}$ by Szendroi and \emph{loc. cit.}, and we conjecture that $\V_Y^{\zeta_\NCDT}$ is the vacuum module for the quiver Yangian of Li-Yamazaki. For $M=\mc O_S[1]$ with $S\subset Y$ a divisor, $\mf M^{\f}(Y,M)$ provides a definition in algebraic geometry for Nekrasov's spiked instanton variant of the ADHM construction, and analogous variants of the constructions of Kronheimer-Nakajima, Nakajima-Yoshioka, and Finkelberg-Rybnikov. We conjecture that $H_\bullet(\mf M^{\f,\zeta}(Y,M),\varphi_{W^{\f}})$ is the vacuum module of the vertex algebra $\V(Y,S)$ defined by the \mbox{authors} in a companion paper, generalizing the AGT conjecture to this setting. For $Y\to X=\{xy-z^mw^n\}$, this gives a geometric approach to the relationship between $W$-algebras and Yangians for affine $\gl_{m|n}$.

Representation Theory,High Energy Physics - Theory,Mathematical Physics,Algebraic Geometry,Quantum Algebra
The Jordan-Hölder property of torsion-free classes in a quiver of type a

Li Wang,Jiaqun Wei,Haicheng Zhang

DOI: https://doi.org/10.1080/00927872.2024.2412165

2024-10-18

Communications in Algebra

Abstract:We investigate the torsion-free classes satisfying the Jordan-Hölder property in the representation category of a quiver of type A . Explicitly, we use reflection functors and c -sortable elements to give a combinatorial criterion for determining such torsion-free classes.

mathematics
Quiver Varieties and Framed Sheaves on Compactified Kleinian Singularities

Søren Gammelgaard

2023-06-15

Abstract:Consider a Kleinian singularity $ \mathbb{C}^2/\Gamma $, where $ \Gamma $ is a finite subgroup of $ SL_2(\mathbb{C}) $. In this paper, we introduce a natural stack compactifying the singularity by adding a smooth stacky divisor, and we show that sets of framed sheaves on this stack satisfying certain additional criteria are closely related to a class of Nakajima quiver varieties. This partially extends our previous work on punctual Hilbert schemes of Kleinian singularities.

Algebraic Geometry
Quivers, Quasi-Quantum Groups and Finite Tensor Categories

Hua-Lin Huang,Gongxiang Liu,Yu Ye

DOI: https://doi.org/10.1007/s00220-011-1229-6

2011-01-01

Abstract:We study finite quasi-quantum groups in their quiver setting developed recently by the first author. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation type, or equivalently a classification of elementary quasi-Hopf algebras of finite representation type, over the field of complex numbers. By the Tannaka-Krein duality principle, this provides a classification of the finite tensor categories in which every simple object has Frobenius-Perron dimension 1 and there are finitely many indecomposable objects up to isomorphism. Some interesting information of these finite tensor categories is given by making use of the quiver representation theory.
Categorification of integrable representations of quantum groups

Hao Zheng

DOI: https://doi.org/10.1007/s10114-014-3631-4

2008-04-23

Abstract:We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well as a new positivity result. The main ingredient in the underlying geometric construction is a class of micro-local perverse sheaves on quiver varieties.

Representation Theory,Quantum Algebra
BPS Lie algebras and the less perverse filtration on the preprojective CoHA

Ben Davison

2024-04-23

Abstract:The affinization morphism for the stack $\mathfrak{M}(\Pi_Q)$ of representations of a preprojective algebra $\Pi_Q$ is a local model for the morphism from the stack of objects in a general 2-Calabi-Yau category to the good moduli space. We show that the derived direct image of the dualizing complex along this morphism is pure, and admits a decomposition in the sense of the Beilinson-Bernstein-Deligne-Gabber decomposition theorem. We introduce a new perverse filtration on the Borel-Moore homology of $\mathfrak{M}(\Pi_Q)$, using this decomposition. We show that the zeroth piece of the resulting filtration on the cohomological Hall algebra built out of the Borel-Moore homology of $\mathfrak{M}(\Pi_Q)$ is isomorphic to the universal enveloping algebra of an associated BPS Lie algebra $\mathfrak{g}_{\Pi_Q}$. This Lie algebra is defined via the Kontsevich-Soibelman theory of critical cohomological Hall algebras for 3-Calabi-Yau categories. We then lift this Lie algebra to a Lie algebra object in the category of perverse sheaves on the coarse moduli space of $\Pi_Q$-modules, and use this algebra structure to prove results about the summands appearing in the above decomposition theorem. In particular, we prove that the intersection cohomology of singular spaces of semistable $\Pi_Q$-modules provide "cuspidal cohomology" - a conjecturally complete subspace of canonical generators for $\mathfrak{g}_{\Pi_Q}$.

Representation Theory,High Energy Physics - Theory,Algebraic Geometry,Quantum Algebra
The real affine Grassmannian and quantum SL(2)

Mark Macerato,Jeremy Taylor

2024-08-22

Abstract:We prove that the category of equivariant perverse sheaves on the affine Grassmannian of PGL(2, R) is highest weight and we construct the projective objects. Moreover we prove that the category of perverse sheaves on the odd component is equivalent to the principal block of Lusztig's quantum SL(2) at a primitive fourth root of unity.

Representation Theory
Artin perverse sheaves

Raphaël Ruimy

2023-10-28

Abstract:We show that the perverse t-structure induces a t-structure on the category $\mathcal{D}^A(S,\mathbb{Z}_\ell)$ of Artin $\ell$-adic complexes when $S$ is an excellent scheme of dimension less than $2$ and provide a counter-example in dimension $3$. The heart $\mathrm{Perv}^A(S,\mathbb{Z}_\ell)$ of this t-structure can be described explicitly in terms of representations in the case of $1$-dimensional schemes. When $S$ is of finite type over a finite field, we also construct a perverse homotopy t-structure over $\mathcal{D}^A(S,\mathbb{Q}_\ell)$ and show that it is the best possible approximation of the perverse t-structure. We describe the simple objects of its heart $\mathrm{Perv}^A(S,\mathbb{Q}_\ell)^\#$ and show that the weightless truncation functor $\omega^0$ is t-exact. We also show that the weightless intersection complex $EC_S=\omega^0 IC_S$ is a simple Artin homotopy perverse sheaf. If $S$ is a surface, it is also a perverse sheaf but it need not be simple in the category of perverse sheaves.

Algebraic Geometry
Applications of perverse sheaves in commutative algebra

Bhargav Bhatt,Manuel Blickle,Gennady Lyubeznik,Anurag K. Singh,Wenliang Zhang

2023-08-07

Abstract:The goal of this paper is to explain how basic properties of perverse sheaves sometimes translate via Riemann-Hilbert correspondences (in both characteristic $0$ and characteristic $p$) to highly non-trivial properties of singularities, especially their local cohomology. Along the way, we develop a theory of perverse $\mathbf{F}_p$-sheaves on varieties in characteristic $p$, expanding on previous work by various authors, and including a strong version of the Artin vanishing theorem.

Algebraic Geometry,Commutative Algebra
Loday-Quillen-Tsygan theorem on Quivers

Keyou Zeng

2023-07-20

Abstract:The well-known Loday-Quillen-Tsygan theorem calculates the Lie algebra homology of the infinite general linear Lie algebra $\mathfrak{gl}(A)$ over an unital associative algebra $A$. We generalize the Loday-Quillen-Tsygan theorem to an infinite Lie algebra associated with a (framed) quiver, where we assign to each vertex $v$ an infinite general linear Lie algebra $\mathfrak{gl}(A_v)$, to each edge $e$ an infinite matrix module and to each framed vertex a (anti)-fundamental representation. Given this data, each loop or path ending on framed vertices of the quiver defined a stratified factorization algebra over $S^1$ or $[0,1]$ respectively. We show that the corresponding Lie algebra homology can be expressed as summing the factorization homology over all loops and framed paths of the quiver.

Quantum Algebra,High Energy Physics - Theory,Algebraic Topology
Frobenius Morphisms and Representations of Algebras

Bangming Deng,Jie Du

DOI: https://doi.org/10.1090/s0002-9947-06-03812-8

IF: 1.3529

2006-01-01

Transactions of the American Mathematical Society

Abstract:By introducing Frobenius morphismsFFon algebrasAAand their modules over the algebraic closureF¯q{\overline {\mathbb {F}}}_qof the finite fieldFq{\mathbb {F}}_qofqqelements, we establish a relation between the representation theory ofAAoverF¯q\overline {\mathbb {F}}_qand that of theFF-fixed point algebraAFA^FoverFq{\mathbb {F}}_q. More precisely, we prove that the category\textbf {mod}-AF\text {\textbf {mod}-}A^Fof finite-dimensionalAFA^F-modules is equivalent to the subcategory of finite-dimensionalFF-stableAA-modules, and, whenAAis finite dimensional, we establish a bijection between the isoclasses of indecomposableAFA^F-modules and theFF-orbits of the isoclasses of indecomposableAA-modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) overFq{\mathbb {F}}_qcan be interpreted asFF-stable representations of the corresponding quiver overF¯q\overline {\mathbb {F}}_q. We further prove that every finite-dimensional hereditary algebra overFq{\mathbb {F}}_qis Morita equivalent to someAFA^F, whereAAis the path algebra of a quiverQQoverF¯q\overline {\mathbb {F}}_qandFFis induced from a certain automorphism ofQQ. A close relation between the Auslander-Reiten theories forAAandAFA^Fis established. In particular, we prove that the Auslander-Reiten (modulated) quiver ofAFA^Fis obtained by “folding" the Auslander-Reiten quiver ofAA. Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver overFq{\mathbb {F}}_qwith a given dimension vector and to generalize Kac’s theorem for all modulated quivers and their associated Kac–Moody algebras defined by symmetrizable generalized Cartan matrices.

A class of perverse sheaves on framed representation varieties of the Jordan quiver

Representation-finite tensor product algebras

Perverse sheaves on symmetric products of the plane

On singular supports of Lusztig's perverse sheaves

Perverse sheaves and finite-dimensional algebras

Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

Virasoro constraints and representations for quiver moduli spaces

Ringel duality for perverse sheaves on hypertoric varieties

The Langlands formula and perverse sheaves

On purity theorem of Lusztig's perverse sheaves

Perverse coherent extensions on Calabi-Yau threefolds and representations of cohomological Hall algebras

The Jordan-Hölder property of torsion-free classes in a quiver of type a

Quiver Varieties and Framed Sheaves on Compactified Kleinian Singularities

Quivers, Quasi-Quantum Groups and Finite Tensor Categories

Categorification of integrable representations of quantum groups

BPS Lie algebras and the less perverse filtration on the preprojective CoHA

The real affine Grassmannian and quantum SL(2)

Artin perverse sheaves

Applications of perverse sheaves in commutative algebra

Loday-Quillen-Tsygan theorem on Quivers

Frobenius Morphisms and Representations of Algebras