Specialization map for quiver Grassmannians

Giovanni Cerulli Irelli,Francesco Esposito,Xin Fang,Ghislain Fourier

2024-07-25

Abstract:We define a specialization map between cohomology algebras of quiver Grassmannians of Dynkin type and we prove that it is surjective in type A. This generalizes a result of Lanini and Strickland.

Representation Theory,Algebraic Geometry

What problem does this paper attempt to address?

Specialization maps for shuffle algebras of type $B_{n}$ and $G_{2}$

Yue Hu

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

2023-05-02

Abstract:We define a filtration of Feigin-Odesskii's shuffle algebras of type B_n and G_2 using specialization maps, generalizing the results in type A_n case given by Negut and Tsymbaliuk. These filtrations are compatible with a class of PBW type bases for the quantum current algebras of type B_n and G_2.

Quantum Algebra,Combinatorics,Rings and Algebras
Symplectic Grassmannians and Cyclic Quivers

Evgeny Feigin,Martina Lanini,Matteo Micheli,Alexander Pütz

2024-10-05

Abstract:The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.

Representation Theory,Algebraic Geometry,Combinatorics
Generalized juggling patterns, quiver Grassmannians and affine flag varieties

Feigin, Evgeny

DOI: https://doi.org/10.1007/s00209-024-03614-5

2024-10-15

Mathematische Zeitschrift

Abstract:The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmannians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, in particular, to describe explicitly embeddings into affine flag varieties which allow us to realize our quiver Grassmannians as a union of Schubert varieties therein.

mathematics
Coefficient Quivers, $\mathbb{F}_1$-Representations, and Euler Characteristics of Quiver Grassmannians

Jaiung Jun,Alex Sistko

DOI: https://doi.org/10.1017/nmj.2023.37

2023-12-14

Abstract:A quiver representation assigns a vector space to each vertex, and a linear map to each arrow. When one considers the category $\textrm{Vect}(\mathbb{F}_1)$ of vector spaces ``over $\mathbb{F}_1$'' (the field with one element), one obtains $\mathbb{F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\textrm{Rep}(Q,\mathbb{F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over $Q$. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of ``$\mathbb{F}_1$-rational points'' of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated to $\mathbb{F}_1$-representations. These techniques apply to a large class of $\mathbb{F}_1$-representations, which we call the $\mathbb{F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb{F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated to $\mathbb{F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb{F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated to representations with finite nice length, and compute them for certain families of quivers.

Representation Theory,Combinatorics
Convolution for quiver varieties via cup product on a Morse complex

Graeme Wilkin

2023-05-09

Abstract:Convolution in Borel-Moore homology plays an important role in Nakajima's construction of representations of the Heisenberg algebra and of modified enveloping algebras of Kac-Moody algebras. In its most basic form, convolution between two quiver varieties is given by pullback and then pushforward via the Hecke correspondence for quivers. In previous work we showed that the Hecke correspondence has a Morse-theoretic interpretation in terms of spaces of flow lines. The goal of this paper is to show that the topological information that defines generators for Nakajima's representations can be encoded in the cup product for a Morse complex defined on the smooth space of representations of a quiver without relations, and then pulling back to the subvariety of representations that do satisfy a given set of relations. The results are valid for the main motivating example of Nakajima quivers, as well as other quivers with relations derived from these (for example handsaw quivers). For the norm square of a moment map on the space of representations of a quiver, the usual Morse-Bott-Smale transversality condition on the space of flow lines fails, however a weaker version of transversality is still satisfied. A major part of the paper is spent developing a general theory in this setting of weak transversality from which one can recover the usual construction of the differentials and cup product on the Morse complex by adding an intermediate step of taking cup product with a certain Euler class, which is explicitly computable for the space of representations of a quiver.

Representation Theory,Differential Geometry,Symplectic Geometry
The Le Bruyn-Procesi theorem and Hilbert schemes

Alastair Craw,Ryo Yamagishi

2024-03-09

Abstract:For any quiver $Q$ and dimension vector $v$, Le Bruyn--Procesi proved that the invariant ring for the action of the change of basis group on the space of representations $\textrm{Rep}(Q,v)$ is generated by the traces of matrix products associated to cycles in the quiver. We generalise this to allow for vertices where the group acts trivially, and we give relations between the generators of the invariant algebra for quivers with relations. As a geometric application, we prove for $n\geq 1$ that the Hilbert scheme of $n$-points on an ADE surface singularity is isomorphic to a Nakajima quiver variety. This allows us to generalise the well known theorem of [Fogarty] by showing that the Hilbert scheme of $n$-points on a normal surface with canonical singularities is a normal variety of dimension $2n$ with canonical singularities. In addition, we show that if $S$ has symplecic singularities over $\mathbb{C}$, then so does the Hilbert scheme of $n$-points on $S$, thereby generalising a result of Beauville.

Algebraic Geometry,Representation Theory
Laumon parahoric local models via quiver Grassmannians

Evgeny Feigin,Martina Lanini,Alexander Pütz

2023-07-03

Abstract:Local models of Shimura varieties in type A can be realized inside products of Grassmannians via certain linear algebraic conditions. Laumon suggested a generalization which can be identified with a family over a line whose general fibers are quiver Grassmannians for the loop quiver and the special fiber is a certain quiver Grassmannian for the cyclic quiver. The whole family sits inside the Gaitsgory central degeneration of the affine Grassmannians. We study the properties of the special fibers of the (complex) Laumon local models for arbitrary parahoric subgroups in type A using the machinery of quiver representations. We describe the irreducible components and the natural strata with respect to the group action for the quiver Grassmannians in question. We also construct a cellular decomposition and provide an explicit description for the corresponding poset of cells. Finally, we study the properties of the desingularizations of the irreducible components and show that the desingularization construction is compatible with the natural projections between the parahoric subgroups.

Algebraic Geometry,Representation Theory
Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

Kieran Calvert,Kyo Nishiyama,Pavle Pandžić

2023-10-07

Abstract:We study various kinds of Grassmannians or Lagrangian Grassmannians over $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$, all of which can be expressed as $\mathbb{G}/\mathbb{P}$ where $\mathbb{G}$ is a classical group and $\mathbb{P}$ is a parabolic subgroup of $\mathbb{G}$ with abelian unipotent radical. The same Grassmannians can also be realized as (classical) compact symmetric spaces $G/K$. We give explicit generators and relations for the de Rham cohomology rings of $\mathbb{G}/\mathbb{P}\cong G/K$. At the same time we describe certain filtered deformations of these rings, related to Clifford algebras and spin modules. While the cohomology rings are of our primary interest, the filtered setting of $K$-invariants in the Clifford algebra actually provides a more conceptual framework for the results we obtain.

Representation Theory,Differential Geometry
Quasimaps to quivers with potentials

Yalong Cao,Gufang Zhao

2023-06-02

Abstract:This paper is concerned with a non-compact GIT quotient of a vector space, in the presence of an abelian group action and an equivariant regular function (potential) on the quotient. We define virtual counts of quasimaps from prestable curves to the critical locus of the potential, and prove a gluing formula in the formalism of cohomological field theories. The main examples studied in this paper is when the above setting arises from quivers with potentials, where the above construction gives quantum correction to the equivariant Chow homology of the critical locus. Following similar ideas as in quasimaps to Nakajima quiver varieties studied by the Okounkov school, we analyse vertex functions in several examples, including Hilbert schemes of points on $\mathbb{C}^3$, moduli spaces of perverse coherent systems on the resolved conifold, and a quiver which defines higher $\mathfrak{sl}_2$-spin chains. Bethe equations are calculated in these cases. The construction in the present paper is based on the theory of gauged linear sigma models as well as shifted symplectic geometry of Pantev, Toën, Vaquie and Vezzosi, and uses the virtual pullback formalism of symmetric obstruction theory of Park, which arises from the recent development of Donaldson-Thomas theory of Calabi-Yau 4-folds.

Algebraic Geometry,High Energy Physics - Theory,Representation Theory
Quandle Cohomology Quiver Representations

Sam Nelson

2024-11-04

Abstract:We define a family of quiver representation-valued invariants of oriented classical and virtual knots and links associated to a choice of finite quandle $X$, abelian group $A$, set of quandle 2-cocycles $C\subset H^2_Q(x;A)$, choice of coefficient ring $k$ and set of quandle endomorphisms $S\subset \mathrm{Hom}(X,X)$. From this representation we define four new polynomial (or ``polynomial'' depending on $A$) invariants. We generalize to the case of biquandles and compute some examples.

Geometric Topology,Quantum Algebra
Geometric realisations of the unipotent enveloping algebra of a quiver

Lucien Hennecart

DOI: https://doi.org/10.1016/j.aim.2024.109536

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:We compare and generalise the various geometric constructions (due to Ringel, Lusztig, Schofield, Bozec, Davison...) of the unipotent generalised Kac–Moody algebra associated with an arbitrary quiver. These constructions are interconnected through several geometric operations, including the stalk Euler characteristic of constructible complexes, the characteristic cycle, the Euler obstruction map, and the intersection multiplicities of Lagrangian subvarieties. We provide a proof that these geometric realisations hold for the integral form of the Lie algebra. Furthermore, by modifying the generators of the enveloping algebra, we ensure compatibility with the natural coproducts that can be defined in terms of restriction diagrams. As a result, we establish that the top cohomological Hall algebra of the strictly seminilpotent stack is isomorphic to the positive part of the enveloping algebra of the generalised Kac-Moody algebra associated with the quiver. This appears to be one of the cornerstones needed to describe the BPS algebra of very general 2-Calabi–Yau categories, which is the subject of the author's work on BPS Lie algebras for 2-Calabi–Yau categories with Davison and Schlegel Mejia.

mathematics
Localization problems of Quillen

Satya Mandal

2024-10-08

Abstract:Let $X$ be a quasi projective scheme over a noetherian affine scheme $Spec(A)$, $U\subseteq X$ be an open subset, and $Z=X-U$.Assume that $Z$ is complete intersection, with $k=codim Z$. Consider the map $$ q:{\mathbb K}\left({\mathscr V}(X)\right) \rightarrow {\mathbb K}\left({\mathscr V}(U)\right) $$ of the ${\mathbb K}$-theory spectra. We give a description of the homotopy fiber of $q$. Let $C{\mathbb M}^Z\left(X\right)$ denote the full subcategory of perfect modules ${\mathscr F} \in Coh(X)$ such that(1) ${\mathscr F} _{|U}=0$, (2) $grade({\mathscr F} )=\dim_{{\mathscr V}(X)}{\mathscr F}=k $. It turns out that the homotopy fiber of $q$ is the ${\mathbb K}$-theory spectra ${\mathbb K}\left(C{\mathbb M}^Z\left(X\right)\right)$. Likewise, we compute the homotopy fiber of the pullback map $$ g: {\mathbb G}W\left({\mathscr V}(X)\right) \rightarrow {\mathbb G}W\left({\mathscr V}(U)\right) $$ of Karoubi Grothendieck-Witt bispectra. Consequently, we obtain long exact sequences of ${\mathbb K}$-groups and of ${\mathbb G}W$-groups. These results settle some of the long standing open problems. We also inserted a conjecture.

K-Theory and Homology,Commutative Algebra,Algebraic Geometry
Localizations for quiver Hecke algebras III

Masaki Kashiwara,Myungho Kim,Se-jin Oh,Euiyong Park

2023-08-18

Abstract:Let $R$ be a quiver Hecke algebra, and let $\mathcal{C}_{w,v}$ be the category of finite-dimensional graded $R$-module categorifying a $q$-deformation of the doubly-invariant algebra $^{N'(w)} \mathbb{C}[N] ^{N(v)} $. In this paper, we prove that the localization $\tilde{\mathcal{C}}_{w,v}$ of the category $\mathcal{C}_{w,v}$ can be obtained as the localization by right braiders arising from determinantial modules. As its application, we show several interesting properties of the localized category $\tilde{\mathcal{C}}_{w,v} $ including the right rigidity.

Representation Theory,Quantum Algebra
On the Center of Quiver-Hecke Algebras

P. Shan,M. Varagnolo,E. Vasserot

DOI: https://doi.org/10.1215/00127094-3792705

2017-01-01

Duke Mathematical Journal

Abstract:We compute the equivariant cohomology ring of the moduli space of framed instantons over the affine plane. It is a Rees algebra associated with the center of cyclotomic degenerate affine Hecke algebras of type A. We also give some related results on the center of quiver Hecke algebras and cohomology of quiver varieties.
Cohomological Hall algebras of quivers and Yangians

Olivier Schiffmann,Eric Vasserot

2024-06-21

Abstract:We construct an isomorphism between the preprojective cohomological Hall algebra of an arbitrary quiver and a positive half of the corresponding Maulik-Okounkov Yangian, which intertwines the respective actions on the cohomology of the Nakajima quiver varieties. We use this to prove a conjecture of Okounkov relating the character of the Maulik-Okounkov Lie algebra to Kac polynomials.

Representation Theory
Quivers and Poisson structures

Roger Bielawski

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

2011-08-16

Abstract:We produce natural quadratic Poisson structures on moduli spaces of representations of quivers. In particular, we study a natural Poisson structure for the generalised Kronecker quiver with 3 arrows.

Symplectic Geometry,Quantum Algebra
Equivariant geometry of symmetric quiver orbit closures

Ryan Kinser,Martina Lanini,Jenna Rajchgot

2024-10-09

Abstract:We unify problems about the equivariant geometry of symmetric quiver representation varieties, in the finite type setting, with the corresponding problems for symmetric varieties $GL(n)/K$ where $K$ is an orthogonal or symplectic group. In particular, we translate results about singularities of orbit closures; combinatorics of orbit closure containment; and torus equivariant cohomology and K-theory between these classes of varieties. We obtain these results by constructing explicit embeddings with nice properties of homogeneous fiber bundles over type $A$ symmetric quiver representation varieties into symmetric varieties.

Algebraic Geometry,Combinatorics,Representation Theory
Noncommutative projective partial resolutions and quiver varieties

Søren Gammelgaard,Ádám Gyenge

2024-06-20

Abstract:Let $\Gamma\in \mathrm{SL}_2(\mathbb{C})$ be a finite subgroup. We introduce a class of projective noncommutative surfaces $\mathbb{P}^2_I$, indexed by a set of irreducible $\Gamma$-representations. Extending the action of $\Gamma$ from $\mathbb{C}^2$ to $\mathbb{P}^2$, we show that these surfaces generalise both $[\mathbb{P}^2/\Gamma]$ and $\mathbb{P}^2/\Gamma$. We prove that isomorphism classes of framed torsion-free sheaves on any $\mathbb{P}^2_I$ carry a canonical bijection to the closed points of appropriate Nakajima quiver varieties. In particular, we provide geometric interpretations for a class of Nakajima quiver varieties using noncommutative geometry. Our results partially generalise several previous results on such quiver varieties.

Algebraic Geometry,Rings and Algebras
Quiver flag varieties and multigraded linear series

Alastair Craw

DOI: https://doi.org/10.1215/00127094-2010-217

2011-02-15

Duke Mathematical Journal

Abstract:This paper introduces a class of smooth projective varieties that generalize and share many properties with partial flag varieties of type A. The quiver flag variety Mϑ(Q,r̲) of a finite acyclic quiver Q (with a unique source) and a dimension vector r̲ is a fine moduli space of stable representations of Q. Quiver flag varieties are Mori dream spaces, they are obtained via a tower of Grassmann bundles, and their bounded derived category of coherent sheaves is generated by a tilting bundle. We define the multigraded linear series of a weakly exceptional sequence of locally free sheaves E̲=(OX,E1,…,Eρ) on a projective scheme X to be the quiver flag variety |E̲|:=Mϑ(Q,r̲) of a pair (Q,r̲) encoded by E̲. When each Ei is globally generated, we obtain a morphism ϕ|E̲|:X→|E̲|, realizing each Ei as the pullback of a tautological bundle. As an application, we introduce the multigraded Plücker embedding of a quiver flag variety.

mathematics

Specialization map for quiver Grassmannians

Specialization maps for shuffle algebras of type $B_{n}$ and $G_{2}$

Symplectic Grassmannians and Cyclic Quivers

Generalized juggling patterns, quiver Grassmannians and affine flag varieties

Coefficient Quivers, $\mathbb{F}_1$-Representations, and Euler Characteristics of Quiver Grassmannians

Convolution for quiver varieties via cup product on a Morse complex

The Le Bruyn-Procesi theorem and Hilbert schemes

Laumon parahoric local models via quiver Grassmannians

Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

Quasimaps to quivers with potentials

Quandle Cohomology Quiver Representations

Geometric realisations of the unipotent enveloping algebra of a quiver

Localization problems of Quillen

Localizations for quiver Hecke algebras III

On the Center of Quiver-Hecke Algebras

Cohomological Hall algebras of quivers and Yangians

Quivers and Poisson structures

Equivariant geometry of symmetric quiver orbit closures

Noncommutative projective partial resolutions and quiver varieties

Quiver flag varieties and multigraded linear series