Katz's middle convolution algorithm

DOI10.4310/PAMQ.2009.V5.N2.A8MaRDI QIDQ1022832zbMATH OpenFDO

Authors Carlos Simpson

Publication date 23 June 2009

Published in Pure and Applied Mathematics Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0610526

zbMATH Keywords

connectionDeligne-Simpson problemfundamental groupHiggs bundlelogarithmic de Rham cohomologymiddle convolutionrepresentation

Mathematics Subject Classification ID

Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) de Rham cohomology and algebraic geometry (14F40) Matrix equations and identities (15A24)

Abstract: This is an expository account of Katz's middle convolution operation on local systems over $$. We describe the Betti and de Rham versions, and point out that they give isomorphisms between different moduli spaces of local systems, following V"olklein, Dettweiler-Reiter, Haraoka-Yokoyama. Kostov's program for applying the Katz algorithm is to say that in the range where middle convolution no longer reduces the rank, one should give a direct construction of local systems. This has been done by Kostov and Crawley-Boevey. We describe here an alternative construction using the notion of cyclotomic harmonic bundles: these are like variations of Hodge structure except that the Hodge decomposition can go around in a circle.

Review text

The Deligne-Simpson problem is formulated like this: Give necessary and sufficient conditions upon the conjugacy classes \(c_j\subset gl(n,{\mathbb C})\) or \(C_j\subset GL(n,{\mathbb C})\) so that there exist matrices \(A_j\in c_j\) or \(M_j\in C_j\) satisfying the condition \(A_1+\cdots +A_{p+1}=0\), resp. \(M_1\cdots M_{p+1}=I\). In the so-called rigid case these tuples of matrices are unique up to conjugacy; Katz's middle convolution operation (MCO) furnishes an algorithm in the rigid case for the construction of tuples of matrices \(M_j\). The paper is an expository account of Katz's MCO. It describes the Betti and de Rham versions and points out that they give isomorphisms between different moduli spaces of local systems, following Völklein, Dettweiler-Reiter, Haraoka-Yokoyama. Kostov and Crawley-Boevey have extended the construction of tuples in the non-rigid case. The author describes an alternative construction using cyclotomic harmonic bundles which are variations of Hodge structures except that the Hodge decomposition can go around a circle.

Recommendations

• Middle convolution of Fuchsian systems and the construction of rigid differential systems
• Hodge theory of the middle convolution
• An algorithm of Katz and its application to the inverse Galois problem.
• Rigid irregular connections on \(\mathbb P^{1}\)
• Middle convolution and Harnad duality

Cited in

(25)

• Arithmetic harmonic analysis on character and quiver varieties. II
• Motivic Donaldson-Thomas invariants of parabolic Higgs bundles and parabolic connections on a curve
• Generalized Kazdan-Warner equations associated with a linear action of a torus on a complex vector space
• Harmonic bundles and Toda lattices with opposite sign. II
• The geometry of maximal representations of surface groups into \(\mathrm{SO}_0(2,n)\)
• Kostant, Steinberg, and the Stokes matrices of the tt*-Toda equations
• \(\mathrm{SO}(p,q)\)-Higgs bundles and higher Teichmüller components
• Multiplicative preprojective algebras, middle convolution and the Deligne-Simpson problem
• Intersection cohomology of character varieties for punctured Riemann surfaces
• On moduli spaces of Hitchin pairs
• An example of the Langlands correspondence for irregular rank two connections on \(\mathbb P^1\)
• Rigid irregular connections on \(\mathbb P^{1}\)
• Transformations of KZ type equations
• The braid group and linear rigidity
• Nilpotent Higgs bundles and families of flat connections
• Hitchin components for orbifolds
• Planar minimal surfaces with polynomial growth in the \(\mathrm{Sp}(4, \mathbb{R} )\)-symmetric space
• Geometric variations of local systems and elliptic surfaces
• Holomorphic curves in the 6-pseudosphere and cyclic surfaces
• Vinberg pairs and Higgs bundles
• Moduli spaces of parabolic bundles over \(\mathbb{P}^1\) with five marked points
• On Hitchin's equations for cyclic G-Higgs bundles
• The geometric Toda equations for noncompact symmetric spaces
• A general Cayley correspondence and higher rank Teichmüller spaces
• Low-dimensional quadratic relative character varieties for the projective line minus three points

This page was built for publication: Katz's middle convolution algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1022832)