Consider a partial flag variety $X$ which is not a grassmaninan. Consider also its cohomology ring ${\rm H}^*(X,\ZZ)$ endowed with the base formed by the Poincaré dual classes of the Schubert varieties. In \cite{Richmond:recursion}, E. Richmond showed that some coefficient structure of the product in ${\rm H}^*(X,\ZZ)$ are products of two such coefficients for smaller flag varieties. Consider now a quiver without oriented cycle. If $α$ and $β$ denote two dimension-vectors, $α\circβ$ denotes the number of $α$-dimensional subrepresentations of a general $α+β$-dimensional representation. In \cite{DW:comb}, H. Derksen and J. Weyman expressed some numbers $α\circβ$ as products of two smaller such numbers. The aim of this work is to prove two generalisations of the two above results by the same way.
To a quiver $Q$ and choices of nonzero scalars $q_i$, non-negative integers $α_i$, and integers $θ_i$ labeling each vertex $i$, Crawley-Boevey--Shaw associate a "multiplicative quiver variety" $\mathcal{M}_θ^q(α)$, a trigonometric analogue of the Nakajima quiver variety associated to $Q$, $α$, and $θ$. We prove that the pure cohomology, in the Hodge-theoretic sense, of the stable locus $\mathcal{M}_θ^q(α)^s$ is generated as a $\mathbb{Q}$-algebra by the tautological characteristic classes. In particular, the pure cohomology of genus $g$ twisted character varieties of $GL_n$ is generated by tau…
The rim-hook rule for quantum cohomology of the Grassmannian allows one to reduce quantum calculations to classical calculations in the cohomology of the Grassmannian. We use the Abelian/non-Abelian correspondence for cohomology to prove a rim-hook removal rule for the cohomology of quiver flag varieties. Quiver flag varieties are generalisations of type A flag varieties; this result is new even in the flag case. This gives an effective way of computing products in their cohomology, reducing computations to that in the cohomology ring of the Grassmannian. We then prove a quantum rim-hook rule …
For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincaré polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result…
We show that the cohomology ring of a quiver Grassmannian asssociated with a rigid quiver representation has property (S): there is no odd cohomology and the cycle map is an isomorphism; moreover, its Chow ring admits explicit generators defined over any field. From this we deduce the polynomial point count property. By restricting the quiver to finite or affine type, we are able to show a much stronger assertion: namely, that a quiver Grassmannian associated to an indecomposable (not necessarily rigid) representation admits a cellular decomposition. As a corollary, we establish a cellular dec…
We study the algebraic symplectic geometry of multiplicative quiver varieties, which are moduli spaces of representations of certain quiver algebras, introduced by Crawley-Boevey and Shaw, called multiplicative preprojective algebras. They are multiplicative analogues of Nakajima quiver varieties. They include character varieties of (open) Riemann surfaces fixing conjugacy class closures of the monodromies around punctures, when the quiver is "crab-shaped". We prove that, under suitable hypotheses on the dimension vector of the representations, or the conjugacy classes of monodromies in the ch…
We study algebraic actions of finite groups of quiver automorphisms on moduli spaces of quiver representations. We decompose the fixed loci using group cohomology and we give a modular interpretation of each component. As an application, we construct branes in hyperkaehler quiver varieties, as fixed loci of such actions.
We prove that quantized multiplicative quiver varieties and quantum character varieties define sheaves of Azumaya algebras over the corresponding classical moduli spaces, and we prove that the Azumaya locus of the Kauffman bracket skein algebras contains the smooth locus, proving a strong form of the Unicity Conjecture of Bonahon and Wong. The proofs exploit a strong compatibility between quantum Hamiltonian reduction and the quantum Frobenius homomorphism as it arises in each setting. We therefore introduce the concepts of Frobenius quantum moment maps and their Hamiltonian reduction, and of …
Given a smooth projective variety, a Chow-Künneth decomposition is called multiplicative if it is compatible with the intersection product. Following works of Beauville and Voisin, Shen and Vial conjectured that hyper-Kähler varieties admit a multiplicative Chow-Künneth decomposition. In this paper, based on the mysterious link between Fano varieties with cohomology of K3 type and hyper-Kähler varieties, we ask whether Fano varieties with cohomology of K3 type also admit a multiplicative Chow-Künneth decomposition, and provide evidence by establishing their existence for cubic fourfolds and Kü…
This is a review article exploring similarities between moduli of quiver representations and moduli of vector bundles over a smooth projective curve. After describing the basic properties of these moduli problems and constructions of their moduli spaces via geometric invariant theory and symplectic reduction, we introduce their hyperkähler analogues: moduli spaces of representations of a doubled quiver satisfying certain relations imposed by a moment map and moduli spaces of Higgs bundles. Finally, we survey a surprising link between the counts of absolutely indecomposable objects over finite …
We construct for each choice of a quiver $Q$, a cohomology theory $A$ and a poset $P$ a "loop Grassmannian" $\mathcal{G}^P(Q,A)$. This generalizes loop Grassmannians of semisimple groups and the loop Grassmannians of based quadratic forms. The addition of a dilation torus $\mathcal{D}\subset\mathbb{G}_m^2$ gives a quantization $\mathcal{G}^P_\mathcal{D}(Q,A)$. The construction is motivated by the program of introducing an inner cohomology theory in algebraic geometry adequate for the Geometric Langlands program ['Some extensions of the notion of loop Grassmannians', Rad Hrvat. Akad. Znan. Umje…
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way…
The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups.
In previous work, we initiated the study of the cohomology of locally acyclic cluster varieties. In the present work, we show that the mixed Hodge structure and point counts of acyclic cluster varieties are essentially determined by the combinatorics of the independent sets of the quiver. We use this to show that the mixed Hodge numbers of acyclic cluster varieties of really full rank satisfy a strong vanishing condition.
