The Deligne-Simpson problem in the multiplicative version is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\in SL(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ satisfying the equality $M_1... M_{p+1}=I$}. We solve the problem for generic eigenvalues in the case when all the numbers $Σ_{j,m}(σ)$ of Jordan blocks of a given matrix $M_j$, with a given eigenvalue $σ$ and of a given size $m$ (taken over all $j$, $σ$, $m$) are divisible by $d>1$. Generic eigenvalues are defined by explicit algebraic inequalities of the form $a\neq 0$. For such eigenvalues there exist no reducible $(p+1)$-tuples. The matrices $M_j$ are interpreted as monodromy operators of regular linear systems on Riemann's sphere.
The Deligne-Simpson problem (DSP) (resp. the weak DSP) is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ or $c_j\subset gl(n,{\bf C})$ so that there exist irreducible (resp. with trivial centralizer) $(p+1)$-tuples of matrices $M_j\in C_j$ or $A_j\in c_j$ satisfying the equality $M_1... M_{p+1}=I$ or $A_1+... +A_{p+1}=0$}. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators of regular linear systems and as matrices-residua of Fuchsian ones on Riemann's sphere. The present paper offers a surv…
We consider the weak version of the Deligne-Simpson problem: give necessary and sufficient conditions upon the conjugacy classes $c_j\subset gl(n,{\bf C})$ (resp. $C_j\subset GL(n,{\bf C})$) so that there exist $(p+1)$-tuples of matrices $A_j\in c_j$, $A_1+... +A_{p+1}=0$ (resp. $M_1... M_{p+1}=I$) with trivial centralizers (i.e. reduced to scalars). The true Deligne-Simpson problem requires irreducibility instead of triviality of the centralizer. When the eigenvalues are generic, a Criterium on the Jordan normal forms defined by the conjugacy classes gives the necessary and sufficient conditi…
The Deligne-Simpson problem is formulated like this: give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset SL(n,{\bf C})$ or $c_j\subset sl(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ or $A_j\in c_j$ satisfying the equality $M_1... M_{p+1}=I$ or $A_1+... +A_{p+1}=0$. We solve the problem for generic eigenvalues with the exception of the case of matrices $M_j$ when the greatest common divisor of the numbers $Σ_{j,l}(σ)$ of Jordan blocks of a given matrix $M_j$, with a given eigenvalue $σ$ and of a given size $l$ (tak…
We consider the {\em Deligne-Simpson problem}: {\em Give necessary and sufficient conditions for the choice of the conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$, $j=1,..., p+1$, so that there exist irreducible $(p+1)$-tuples of matrices $A_j\in c_j$ whose sum is 0 or of matrices $M_j\in C_j$ whose product is $I$.} The matrices $A_j$ (resp. $M_j$) are interepreted as matrices-residua of Fuchsian linear systems (resp. as monodromy operators of regular systems) on Riemann's sphere. We consider the case when the sum of the dimensions of the conjugacy classes $c_j$ or $…
The Deligne-Simpson problem (DSP) (resp. the weak DSP) is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ or $c_j\subset gl(n,{\bf C})$ so that there exist irreducible (resp. with trivial centralizer) $(p+1)$-tuples of matrices $M_j\in C_j$ or $A_j\in c_j$ satisfying the equality $M_1... M_{p+1}=I$ or $A_1+... +A_{p+1}=0$}. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators of regular linear systems and as matrices-residua of Fuchsian ones on Riemann's sphere. For $(p+1)$-tuples of conjugacy…
We consider the variety of $(p+1)$-tuples of matrices $A_j$ (resp. $M_j$) from given conjugacy classes $c_j\subset gl(n,{\bf C})$ (resp. $C_j\subset GL(n,{\bf C})$) such that $A_1+... +A_{p+1}=0$ (resp. $M_1... M_{p+1}=I$). This variety is connected with the weak {\em Deligne-Simpson problem: give necessary and sufficient conditions on the choice of the conjugacy classes $c_j\subset gl(n,{\bf C})$ (resp. $C_j\subset GL(n,{\bf C})$) so that there exist $(p+1)$-tuples with trivial centralizers of matrices $A_j\in c_j$ (resp. $M_j\in C_j$) whose sum equals 0 (resp. whose product equals $I$).} The…
We consider the {\em Deligne-Simpson problem (DSP) (resp. the weak DSP): Give necessary and sufficient conditions upon the choice of the $p+1$ conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples (resp. $(p+1)$-tuples with trivial centralizers) of matrices $A_j\in c_j$ with zero sum or of matrices $M_j\in C_j$ whose product is $I$.} The matrices $A_j$ (resp. $M_j$) are interpreted as matrices-residua of Fuchsian linear systems (resp. as monodromy matrices of regular linear systems) of differential equations with complex time.…
We consider the variety of $(p+1)$-tuples of matrices $M_j$ from given conjugacy classes from $GL(n,{\bf C})$ such that $M_1... M_{p+1}=I$. This variety is connected with the Deligne-Simpson problem and the matrices $M_j$ are interpreted as monodromy operators of regular systems on Riemann's sphere. We consider among others cases when the dimension of the variety is higher than the expected one due to the presence of $(p+1)$-tuples with non-trivial centralizers.
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of fundamental and regular strata due to Bremer and Sage to formulate a version of the Deligne-Simpson problem in which certain ramified singularities are allowed. These allowed singular points are called…
In "Quantization of Hitchin's Integrable System and Hecke Eigensheaves", Beilinson and Drinfeld introduced the "very good" property for a smooth complex equidimensional stack. They prove that for a semisimple complex group G, the moduli stack of G-bundles over a smooth complex projective curve X is "very good", as long as X has genus g > 1. In the case of the projective line, when g = 0, this is not the case. However, the result can sometimes be extended to the projective line by introducing additional parabolic structure at a collection of marked points and slightly modifying the definition o…
Our interest in this paper is a generalization of the additive Deligne-Simpson problem which is originally defined for Fuchsian differential equations on the Riemann sphere. We shall extend this problem to differential equations having an arbitrary number of unramified irregular singular points and determine the existence of solutions of the generalized additive Deligne-Simpson problems. Moreover we apply this result to the geometry of the moduli spaces of stable meromorphic connections of trivial bundles on the Riemann sphere. Namely, open embedding of the moduli spaces into quiver varieties …
We develop a new approach for the p-adic Simpson correspondence, closely related to the original approach of Faltings, but also inspired by the work of Ogus and Vologodsky on an analogue in characteristic p>0. This second article is devoted to the global aspects of the theory.
We determine those k-tuples of conjugacy classes of matrices, from which it is possible to choose matrices which have no common invariant subspace and have sum zero. This is an additive version of the Deligne-Simpson problem. We deduce the result from earlier work of ours on preprojective algebras and the moment map for representations of quivers. Our answer depends on the root system for a Kac-Moody Lie algebra.
We develop a new approach for the p-adic Simpson correspondence, closely related to the original approach of Faltings, but also inspired by the work of Ogus and Vologodsky on an analogue in characteristic p>0. The aim of this article is to give an extensive overview of the theory that has been developped in two articles, the first one (arXiv:1102.5466) devoted to the local aspects and the second one (arXiv:1301.0904) to the global aspects.
The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne-Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it for the case of Coxeter connections, i.e., connections on the Riemann sphere with a maximally ramified singularity at zero and (possibly) an additional regular singular point at infinity. A certain m…
Consider the Deligne-Simpson problem: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ (resp. $c_j\subset gl(n,{\bf C})$) so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ (resp. $A_j\in c_j$) satisfying the equality $M_1... M_{p+1}=I$ (resp. $A_1+... +A_{p+1}=0$)}. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators and as matrices-residua of fuchsian systems on Riemann's sphere. We give new examples of existence of such $(p+1)$-tuples of matrices $M_j$ (resp. $A_j$) which are {\em rigid}, i.…
We survey classical material around Lefschetz theorems for fundamental groups, and show the relation to parts of Deligne's program in Weil II. The notes are based on some aspects of the material for the Santaló lectures at the Universidad Complutense de Madrid (October 2015) and the Rademacher lectures at the University of Pennsylvania (February 2016). They appear in Revista Matemática Complutense.
