Purity for graded potentials and quantum cluster positivity
arXiv:1307.3379 · doi:10.1112/S0010437X15007332
Abstract
Consider a smooth quasiprojective variety X equipped with a C*-action, and a regular function f: X -> C which is C*-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the hard Lefschetz theorem on the cohomology of the vanishing cycle complex of f on proper components of the critical locus of f, generalizing a result of Steenbrink for isolated quasi-homogeneous singularities. Building on work of Kontsevich-Soibelman, Nagao and Efimov, we use this result to prove the quantum positivity conjecture for cluster mutations for all quivers admitting a positively graded nondegenerate potential. We deduce quantum positivity for all quivers of rank at most 4; quivers with nondegenerate potential admitting a cut; and quivers with potential associated to triangulations of surfaces with marked points and nonempty boundary.
34pp, many small improvements, to appear in Compositio Math
References in corpus (4)
Cited by in corpus (17)
- Monoidal categorification of cluster algebras II
- Geometric engineering of (framed) BPS states
- Cohomological Donaldson-Thomas theory of a quiver with potential and quantum enveloping algebras
- Greedy bases in rank 2 quantum cluster algebras
- The critical CoHA of a quiver with potential
- Strong positivity for quantum theta bases of quantum cluster algebras
- Positivity for cluster algebras
- Refined invariants of finite-dimensional Jacobi algebras
- The existence of greedy bases in rank 2 quantum cluster algebras
- Positivity for quantum cluster algebras
- Every finite acyclic quiver is a full subquiver of a quiver mutation equivalent to a bipartite quiver
- Purity of critical cohomology and Kac's conjecture
- Deformed dimensional reduction
- Crystal bases and categorifications
- Monoidal categorification of cluster algebras (merged version)
- Cluster algebras and their bases
- Cluster multiplication theorem in the quantum cluster algebra of type