Showing 1–12 of 12 results for author: Hennecart, L

Cohomological Mackey formula for quotient stacks

Authors: Lucien Hennecart

Abstract: In this paper, we construct a restriction morphism on the critical cohomology of an equivariant Landau-Ginzburg model associated to a representation of a reductive group equipped with an invariant function. We show a compatibility formula between the restriction and induction maps as a Mackey-type formula, thereby giving the critical cohomology the structure of a localized induction-restriction sy… ▽ More In this paper, we construct a restriction morphism on the critical cohomology of an equivariant Landau-Ginzburg model associated to a representation of a reductive group equipped with an invariant function. We show a compatibility formula between the restriction and induction maps as a Mackey-type formula, thereby giving the critical cohomology the structure of a localized induction-restriction system. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: v1: 41 pages. Comments welcome

Cohomological integrality for symmetric quotient stacks

Authors: Lucien Hennecart

Abstract: In this paper, we establish the sheafified version of the cohomological integrality conjecture for stacks obtained as a quotient of a smooth affine symmetric algebraic variety by a reductive algebraic group equipped with an invariant function. A crucial step is the definition of the BPS sheaf as a complex of monodromic mixed Hodge modules. We prove the purity of the BPS sheaf when the situation ar… ▽ More In this paper, we establish the sheafified version of the cohomological integrality conjecture for stacks obtained as a quotient of a smooth affine symmetric algebraic variety by a reductive algebraic group equipped with an invariant function. A crucial step is the definition of the BPS sheaf as a complex of monodromic mixed Hodge modules. We prove the purity of the BPS sheaf when the situation arises from a smooth affine weakly symplectic algebraic variety with a weak moment map. This situation gives local models for 1-Artin derived stacks with self-dual cotangent complex. We then apply these results to prove a conjecture of Halpern-Leistner predicting the purity of the Borel-Moore homology of $0$-shifted symplectic stacks (or more generally, derived stacks with self-dual cotangent complex) having a proper good moduli space. One striking application is the purity of the Borel--Moore homology of the moduli stack of principal Higgs bundles over a smooth projective curve for a reductive group. △ Less

Submitted 1 March, 2025; v1 submitted 28 August, 2024; originally announced August 2024.

Comments: v3: 47 pages, corrections. v2: 46 pages, corrections. v1: 42 pages, comments welcome

Cohomological integrality for weakly symmetric representations of reductive groups

Authors: Lucien Hennecart

Abstract: In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components indexed by some equivalence classes of cocharacters of a maximal torus. This decomposition enables the definition of new enumerative invariants associated with t… ▽ More In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components indexed by some equivalence classes of cocharacters of a maximal torus. This decomposition enables the definition of new enumerative invariants associated with the stack, which we begin to explore. △ Less

Submitted 13 November, 2024; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: v5: 27pages. Many improvements following feedback. The main result now holds for weakly symmetric representations. Title adapted; v4: Abstract and introduction rewritten and exposition improved; v3: 24 pages, corrected Lemma 4.5, added Proposition 1.4; v2: fixed example section and proof of finite dimensionality; v1:22 pages, comments very welcome

Nonabelian Hodge isomorphisms for stacks and cohomological Hall algebras

Authors: Lucien Hennecart

Abstract: In this paper, we complete the nonabelian Hodge theory (NAHT) triangle of isomorphisms for stacks between the Borel-Moore homologies of the Dolbeault, Betti, and de Rham moduli stacks. We first explain how to realise the category of connections on a smooth projective curve as a subcategory of a $2$-Calabi-Yau dg-category satisfying some appropriate geometric conditions. Then, we define a cohomolog… ▽ More In this paper, we complete the nonabelian Hodge theory (NAHT) triangle of isomorphisms for stacks between the Borel-Moore homologies of the Dolbeault, Betti, and de Rham moduli stacks. We first explain how to realise the category of connections on a smooth projective curve as a subcategory of a $2$-Calabi-Yau dg-category satisfying some appropriate geometric conditions. Then, we define a cohomological Hall algebra (CoHA) product on the Borel-Moore homology of the stack of connections on a smooth projective curve. This allows us to not only compare the Borel-Moore homologies of the stacks at the relative and absolute levels for the three sides of NAHT, but also to compare their CoHA structures: they all coincide. To compare the Dolbeault and de Rham sides, we define a relative CoHA for the Hodge-Deligne moduli space parametrising $λ$-connections. The Betti and de Rham sides are compared using the (derived) Riemann-Hilbert correspondence. The comparison of the Borel-Moore homologies of the Dolbeault and Betti moduli stacks was previously considered by the author with Davison and Schlegel Mejia (without taking the cohomological Hall algebra structures into account). This paper completes this study and provides a CoHA enhancement of the classical NAHT for curves. △ Less

Submitted 6 May, 2025; v1 submitted 19 July, 2023; originally announced July 2023.

Comments: v3: 42 pages, a lot of small improvements and bibliography updated. Exposition streamlined. v2: 42 pages, chi-independence considerations added, lots of small improvements and corrections; v1: 37 pages, comments very welcome!

BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Authors: Ben Davison, Lucien Hennecart, Sebastian Schlegel Mejia

Abstract: We determine the structure of the BPS algebra of $2$-Calabi-Yau Abelian categories whose stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major exam… ▽ More We determine the structure of the BPS algebra of $2$-Calabi-Yau Abelian categories whose stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major examples include the BPS algebras of (1) the category of semistable coherent sheaves of given slope on a K3 surface or, more generally, quasiprojective symplectic surface, (2) semistable Higgs bundles on smooth projective curves, (3) preprojective algebras of quivers, (4) multiplicative preprojective algebras and (5) fundamental groups of (quiver) Riemann surfaces. We define the BPS Lie algebras of $2$-Calabi-Yau categories and prove that they coincide with the ones obtained by dimensional reduction from the critical cohomological Hall algebra in the case in which the 2-Calabi-Yau category is the category of representations of a preprojective algebra. Consequences include (1) A proof in full generality of the Bozec-Schiffmann positivity conjecture for absolutely cuspidal polynomials, a strengthening of the Kac positivity conjecture (2) A proof of the cohomological integrality conjecture for the category of semistable coherent sheaves on local K3 surfaces (3) A description of the cohomology (in all degrees) of Nakajima quiver varieties as direct sums of irreducible lowest weight representations over the BPS Lie algebra. △ Less

Submitted 14 February, 2024; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: v4: 62 pages, accuracy of the introduction improved and minor edits; v3: 61 pages, exposition streamlined and corrections; v2: 58 pages, treatment of equivariant parameters; v1: 53 pages, all comments welcome

MSC Class: 17B67; 14F08

BPS Lie algebras for totally negative 2-Calabi-Yau categories and nonabelian Hodge theory for stacks

Authors: Ben Davison, Lucien Hennecart, Sebastian Schlegel Mejia

Abstract: We define and study a sheaf-theoretic cohomological Hall algebra for suitably geometric Abelian categories $\mathcal{A}$ of homological dimension at most two, and a sheaf-theoretic BPS algebra under the conditions that $\mathcal{A}$ is 2-Calabi-Yau and has a good moduli space. We show that the BPS algebra for the preprojective algebra $Π_Q$ of a totally negative quiver is the free algebra generate… ▽ More We define and study a sheaf-theoretic cohomological Hall algebra for suitably geometric Abelian categories $\mathcal{A}$ of homological dimension at most two, and a sheaf-theoretic BPS algebra under the conditions that $\mathcal{A}$ is 2-Calabi-Yau and has a good moduli space. We show that the BPS algebra for the preprojective algebra $Π_Q$ of a totally negative quiver is the free algebra generated by the intersection cohomology of the closure of the locus parameterising simple $Π_Q$-modules in the coarse moduli space. We define and study the BPS Lie algebra of arbitrary 2-Calabi-Yau categories $\mathcal{A}$ for which the Euler form is negative on all pairs of non-zero objects, which recovers the BPS algebra as its universal enveloping algebra for such "totally negative" 2CY categories. We show that for totally negative 2CY categories the BPS algebra is freely generated by intersection complexes of certain coarse moduli spaces as above, and the Borel-Moore homology of the stack of objects in such $\mathcal{A}$ satisfies a Yangian-type PBW theorem for the BPS Lie algebra. In this way we prove the cohomological integrality theorem for these categories. We use our results to prove that for $C$ a smooth projective curve, and for $r$ and $d$ not necessarily coprime, there is a nonabelian Hodge isomorphism between the Borel-Moore homologies of the stack of rank $r$ and degree $d$ Higgs bundles, and the appropriate stack of twisted representations of the fundamental group of $C$. In addition we prove the Bozec-Schiffmann positivity conjecture for totally negative quivers; we prove that their polynomials counting cuspidal functions in the constructible Hall algebra for $Q$ have positive coefficients, strengthening the positivity theorem for the Kac polynomials of such quivers. △ Less

Submitted 14 February, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: v2: 77 pages, minor corrections. v1: 76 pages all comments welcome

MSC Class: 17B67; 14F08

Geometric realisations of the unipotent enveloping algebra of a quiver

Authors: Lucien Hennecart

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,… ▽ More 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. △ Less

Submitted 8 February, 2024; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: v4: accepted for publication in Adv. Math. v3: 38 pages, introduction enhanced. v2: 37 pages, new version: complete reorganization of the paper, Psi-twist of the multiplication added, section on (semi)-canonical bases removed

A Quiver Analogue of Higman's Conjecture

Authors: Lucien Hennecart, Nikolai Perry

Abstract: An unresolved conjecture by Graham Higman states that for all $n\geq 1$ the number of conjugacy classes of the group of $n \times n$ unitriangular matrices with entries in the finite field $\mathbb{F}_q$ is a polynomial in $q$. In this paper we introduce a new quiver generalization of the conjecture. Motivated by this generalization, we prove that certain operations on quivers leave the relevant c… ▽ More An unresolved conjecture by Graham Higman states that for all $n\geq 1$ the number of conjugacy classes of the group of $n \times n$ unitriangular matrices with entries in the finite field $\mathbb{F}_q$ is a polynomial in $q$. In this paper we introduce a new quiver generalization of the conjecture. Motivated by this generalization, we prove that certain operations on quivers leave the relevant counts unchanged. Based on these invariance properties, we solve the introduced conjecture for quivers containing no path of length exceeding two, providing explicit formulas. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 17 pages

Perverse sheaves with nilpotent singular support on the stack of coherent sheaves on an elliptic curve

Authors: Lucien Hennecart

Abstract: We define a stratification of the moduli stack of coherent sheaves on an elliptic curve which allows us (1) to give an explicit description of the irreducible components of the global nilpotent cone of elliptic curves, (2) to establish an explicit bijection between the simple objects of the category of perverse sheaves defined by Schiffmann to categorify the elliptic Hall algebra (the so-called sp… ▽ More We define a stratification of the moduli stack of coherent sheaves on an elliptic curve which allows us (1) to give an explicit description of the irreducible components of the global nilpotent cone of elliptic curves, (2) to establish an explicit bijection between the simple objects of the category of perverse sheaves defined by Schiffmann to categorify the elliptic Hall algebra (the so-called spherical Eisenstein sheaves) and the irreducible components of the global nilpotent cone and (3) to give an explicit description and parametrization of the perverse sheaves on the moduli stack of coherent sheaves on an elliptic curve having nilpotent singular support. Along the way, we find a combinatorial parametrization of the irreducible components of the semistable locus of the elliptic global nilpotent cone. △ Less

Submitted 22 April, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: 31 pages. Comments are welcome. New version: elements of comparison with Bozec's parametrization of the irreducible components of the global nilpotent cone

Journal ref: Transformation Groups 29, 103-142 (2024)

Microlocal characterization of Lusztig sheaves for affine quivers and $g$-loops quivers

Authors: Lucien Hennecart

Abstract: We prove that for extended Dynkin quivers, simple perverse sheaves in Lusztig category are characterized by the nilpotency of their singular support. This proves a conjecture of Lusztig in the case of affine quivers. For cyclic quivers, we prove a similar result for a larger nilpotent variety and a larger class of perverse sheaves. We formulate conjectures for similar results for quivers with loop… ▽ More We prove that for extended Dynkin quivers, simple perverse sheaves in Lusztig category are characterized by the nilpotency of their singular support. This proves a conjecture of Lusztig in the case of affine quivers. For cyclic quivers, we prove a similar result for a larger nilpotent variety and a larger class of perverse sheaves. We formulate conjectures for similar results for quivers with loops, for which we have to use the appropriate notion of nilpotent variety, due to Bozec, Schiffmann and Vasserot. We prove our conjecture for $g$-loops quivers ($g\geq 2$). △ Less

Submitted 7 October, 2020; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: Comments welcome! Contains appendices with basics of microlocal theory of constructible sheaves. The new version contains a remark explaining how to obtain a alternative proof of the first main theorem of the paper using the theory of quantized symplectic resolutions

Journal ref: Represent. Theory 26 (2022), 17-67

Asymptotic behaviour of Kac polynomials

Authors: Lucien Hennecart

Abstract: We conjecture a formula supported by computations for the valuation of Kac polynomials of a quiver, which only depends on the number of loops at each vertex. We prove a convergence property of renormalized Kac polynomials of quivers when increasing the number of arrows: they converge in the ring of power series, with a linear rate of convergence. Then, we propose a conjecture concerning the global… ▽ More We conjecture a formula supported by computations for the valuation of Kac polynomials of a quiver, which only depends on the number of loops at each vertex. We prove a convergence property of renormalized Kac polynomials of quivers when increasing the number of arrows: they converge in the ring of power series, with a linear rate of convergence. Then, we propose a conjecture concerning the global behaviour of the coefficients of Kac polynomials. All computations were made using SageMath. △ Less

Submitted 17 February, 2021; v1 submitted 15 March, 2020; originally announced March 2020.

Comments: Augmented version. 20 pages. 7 figures. Part of the conjecture of the previous version is now proved. Correction of some inacurracies

Journal ref: Experimental Mathematics, 2021, 32(2), 294-312

Isotropic cuspidal functions in the Hall algebra of a quiver

Authors: Lucien Hennecart

Abstract: From the structure of the category of representations of an affine cycle-free quiver, we determine an explicit linear form on the space of regular cuspidal functions over a finite field: its kernel is exactly the space of cuspidal functions. Moreover, we show that any isotropic cuspidal dimension has an affine support. Brought together, this two results give an explicit description of isotropic cu… ▽ More From the structure of the category of representations of an affine cycle-free quiver, we determine an explicit linear form on the space of regular cuspidal functions over a finite field: its kernel is exactly the space of cuspidal functions. Moreover, we show that any isotropic cuspidal dimension has an affine support. Brought together, this two results give an explicit description of isotropic cuspidal functions of any quiver. The main theorem together with an appropriate action of some permutation group on the Hall algebra provides a new elementary proof of two conjectures of Berenstein and Greenstein previously proved by Deng and Ruan. We also prove a statement giving non-obvious constraints on the support of the comultiplication of a cuspidal regular function allowing us to connect both mentioned conjectures of Berenstein and Greenstein. Our results imply the positivity conjecture of Bozec and Schiffmann concerning absolutely cuspidal polynomials in isotropic dimensions. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Comments: 30 pages

MSC Class: 17B37

Journal ref: International Mathematics Research Notices, Volume 2021, Issue 15, August 2021, Pages 11514-11564