arXiv subjects

Tamas Hausel

Publications and source records attributed to Tamas Hausel.

At least 19 recordsLinked to original sources

arXiv2024

Locally free representations of quivers over commutative Frobenius algebras

In this paper we investigate locally free representations of a quiver Q over a commutative Frobenius algebra R by arithmetic Fourier transform. When the base field is finite we prove that the number of isomorphism classes of absolutely indecomposable locally free representations of fixed rank is independent of the orientation of Q. We also prove that the number of isomorphism classes of locally free absolutely indecomposable representations of the preprojective algebra of Q over R equals the number of isomorphism classes of locally free absolutely indecomposable representations of Q over R[t]/(t^2). Using these results together with results of Geiss, Leclerc and Schroer we give, when k is algebraically closed, a classification of pairs (Q,R) such that the set of isomorphism classes of indecomposable locally free representations of Q over R is finite. Finally, when the representation is free of rank 1 at each vertex of Q, we study the function that counts the number of isomorphism classes of absolutely indecomposable locally free representations of Q over the Frobenius algebra F_q[t]/(t^r). We prove that they are polynomial in q and their generating function is rational and satisfies a functional equation.

math.RT↗

arXiv2022

$P=W$ via $\mathcal{H}_2$

Let $\mathcal{H}_2$ be the Lie algebra of polynomial Hamiltonian vector fields on the symplectic plane. Let $X$ be the moduli space of stable Higgs bundles of fixed relatively prime rank and degree, or more generally the moduli space of stable parabolic Higgs bundles of arbitrary rank and degree for a generic stability condition. Let $H^*(X)$ be the cohomology with rational coefficients. Using the operations of cup-product by tautological classes and Hecke correspondences we construct an action of $\mathcal{H}_2$ on $H^*(X)[x,y]$, where $x$ and $y$ are formal variables. We show that the perverse filtration on $H^*(X)$ coincides with the filtration canonically associated to $\mathfrak{sl}_2\subset \mathcal{H}_2$ and deduce the $P=W$ conjecture of de Cataldo-Hausel-Migliorini.

math.AG↗

arXiv2021

Very stable Higgs bundles, equivariant multiplicity and mirror symmetry

We define and study the existence of very stable Higgs bundles on Riemann surfaces, how it implies a precise formula for the multiplicity of the very stable components of the global nilpotent cone and its relationship to mirror symmetry. The main ingredients are the Bialynicki-Birula theory of ${\mathbb C}^*$-actions on semiprojective varieties, ${\mathbb C}^*$ characters of indices of ${\mathbb C}^*$-equivariant coherent sheaves, Hecke transformation for Higgs bundles, relative Fourier-Mukai transform along the Hitchin fibration, hyperholomorphic structures on universal bundles and cominuscule Higgs bundles.

math.AG↗

arXiv2020

An Enumerative Approach to $P=W$

The $P = W$ conjecture identifies the perverse filtration of the Hitchin system on the cohomology of the moduli space of Higgs bundles with the weight filtration of the corresponding character variety. In this paper, we introduce an enumerative approach to to this problem; our technique only uses the structure of the equivariant intersection numbers on the moduli space of Higgs bundles, and little information about the topology of the Hitchin map. In the rank $2$ case, starting from the known intersection numbers of the moduli of stable bundles, we derive the equivariant intersection numbers on the Higgs moduli, and then verify the top perversity part of our enumerative $P = W$ statement for even tautological classes. A key in this calculation is the existence of polynomial solutions to the Discrete Heat Equation satisfying particular vanishing properties. For odd classes, we derive a determinantal criterion for the enumerative $P = W$.

math.AG↗

arXiv2017

Mirror symmetry with branes by equivariant Verlinde formulae

We find an agreement of equivariant indices of semi-classical homomorphisms between pairwise mirror branes in the GL(2) Higgs moduli space on a Riemann surface. On one side we have the components of the Lagrangian brane of U(1,1) Higgs bundles whose mirror was proposed by Nigel Hitchin to be certain even exterior powers of the hyperholomorphic Dirac bundle on the SL(2) Higgs moduli space. The agreement arises from a mysterious functional equation. This gives strong computational evidence for Hitchin's proposal.

math.AG↗

arXiv2016

Arithmetic and representation theory of wild character varieties

We count points over a finite field on wild character varieties of Riemann surfaces for singularities with regular semisimple leading term. The new feature in our counting formulas is the appearance of characters of Yokonuma-Hecke algebras. Our result leads to the conjecture that the mixed Hodge polynomials of these character varieties agree with previously conjectured perverse Hodge polynomials of certain twisted parabolic Higgs moduli spaces, indicating the possibility of a P=W conjecture for a suitable wild Hitchin system.

math.AG↗

arXiv2013

Cohomology of large semiprojective hyperkaehler varieties

In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkaehler manifolds including toric hyperkaehler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulting formulae for their Poincare polynomials are combinatorial and representation theoretical in nature. In particular we will look at their Betti numbers and will establish some results and expectations on their asymptotic shape.

math.AG↗

arXiv2012

Positivity of Kac polynomials and DT-invariants for quivers

We give a cohomological interpretation of both the Kac polynomial and the refined Donaldson-Thomas- invariants of quivers. This interpretation yields a proof of a conjecture of Kac from 1982 and gives a new perspective on recent work of Kontsevich-Soibelman. This is achieved by computing, via an arithmetic Fourier transform, the dimensions of the isoytpical components of the cohomology of associated Nakajima quiver varieties under the action of a Weyl group. The generating function of the corresponding Poincaré polynomials is an extension of Hua's formula for Kac polynomials of quivers involving Hall-Littlewood symmetric functions. The resulting formulae contain a wide range of information on the geometry of the quiver varieties.

math.RT↗

arXiv2011

Arithmetic harmonic analysis on character and quiver varieties II

We study connections between the topology of generic character varieties of fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver representations, Hilbert schemes on surfaces, modular forms and multiplicities in tensor products of irreducible characters of finite general linear groups.

math.RT↗

arXiv2011

Global topology of the Hitchin system

Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic mixture of ideas originating in theoretical physics such as gauge theory and mirror symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory of finite groups of Lie type and Langlands duality in number theory.

math.AG↗

arXiv2011

Topology of Hitchin systems and Hodge theory of character varieties: the case A_1

For G = GL_2, PGL_2 and SL_2 we prove that the perverse filtration associated to the Hitchin map on the cohomology of the moduli space of twisted G-Higgs bundles on a Riemann surface C agrees with the weight filtration on the cohomology of the twisted G character variety of C, when the cohomologies are identified via non-Abelian Hodge theory. The proof is accomplished by means of a study of the topology of the Hitchin map over the locus of integral spectral curves.

math.AG↗

arXiv2010

Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces

We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of $n$-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena.

math.AG↗

arXiv2010

Kac's conjecture from Nakajima quiver varieties

We prove a generating function formula for the Betti numbers of Nakajima quiver varieties. We prove that it is a q-deformation of the Weyl-Kac character formula. In particular this implies that the constant term of the polynomial counting the number of absolutely indecomposable representations of a quiver equals the multiplicity of a a certain weight in the corresponding Kac-Moody algebra, which was conjectured by Kac in 1982.

math.RT↗

arXiv2008

Mixed Hodge polynomials of character varieties

We calculate the E-polynomials of certain twisted GL(n,C)-character varieties M_n of Riemann surfaces by counting points over finite fields using the character table of the finite group of Lie-type GL(n,F_q) and a theorem proved in the appendix by N. Katz. We deduce from this calculation several geometric results, for example, the value of the topological Euler characteristic of the associated PGL(n,C)-character variety. The calculation also leads to several conjectures about the cohomology of M_n: an explicit conjecture for its mixed Hodge polynomial; a conjectured curious Hard Lefschetz theorem and a conjecture relating the pure part to absolutely indecomposable representations of a certain quiver. We prove these conjectures for n = 2.

math.AG↗

arXiv2007

S-duality in hyperkaehler Hodge theory

Here we survey questions and results on the Hodge theory of hyperkaehler quotients, motivated by certain S-duality considerations in string theory. The problems include L^2 harmonic forms, Betti numbers and mixed Hodge structures on the moduli spaces of Yang-Mills instantons on ALE gravitational instantons, magnetic monopoles on R^3 and Higgs bundles on a Riemann surface. Several of these spaces and their hyperkaehler metrics were constructed by Nigel Hitchin and his collaborators.

math.AG↗

arXiv2005

Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform

A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable representations of a quiver is announced.

math.AG↗

arXiv2004

Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve

This is a survey of results and conjectures on mirror symmetry phenomena in the non-Abelian Hodge theory of a curve. We start with the conjecture of Hausel-Thaddeus which claims that certain Hodge numbers of moduli spaces of flat SL(n,C) and PGL(n,C)-connections on a smooth projective algebraic curve agree. We then change our point of view in the non-Abelian Hodge theory of the curve, and concentrate on the SL(n,C) and PGL(n,C) character varieties of the curve. Here we discuss a recent conjecture of Hausel-Rodriguez-Villegas which claims, analogously to the above conjecture, that certain Hodge numbers of these character varieties also agree. We explain that for Hodge numbers of character varieties one can use arithmetic methods, and thus we end up explicitly calculating, in terms of Verlinde-type formulas, the number of representations of the fundamental group into the finite groups SL(n,F_q) and PGL(n,F_q), by using the character tables of these finite groups of Lie type. Finally we explain a conjecture which enhances the previous result, and gives a simple formula for the mixed Hodge polynomials, and in particular for the Poincare polynomials of these character varieties, and detail the relationship to results of Hitchin, Gothen, Garsia-Haiman and Earl-Kirwan. One consequence of this conjecture is a curious Poincare duality type of symmetry, which leads to a conjecture, similar to Faber's conjecture on the moduli space of curves, about a strong Hard Lefschetz theorem for the character variety, which can be considered as a generalization of both the Alvis-Curtis duality in the representation theory of finite groups of Lie type and a recent result of the author on the quaternionic geometry of matroids.

math.AG↗

arXiv2003

Abelianization for hyperkahler quotients

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkahler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohomology rings of a hyperpolygon space.

math.SG↗