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.
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…
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.…
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…
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…
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 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 algebra…
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…
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 …
In this note, we report on a work jointly done with C. Simpson on a generalization of Reznikov's theorem which says that the Chern-Simons classes and in particular the Deligne Chern classes (in degrees $> 1$) are torsion, of a flat vector bundle on a smooth complex projective variety. We consider the case of a smooth quasi--projective variety with an irreducible smooth divisor at infinity. We define the Chern-Simons classes of the Deligne's \textit{canonical extension} of a flat vector bundle with unipotent monodromy at infinity, which lift the Deligne Chern classes and prove that these classe…
Affine Deligne-Lusztig varieties are closely related to the special fibre of Newton strata in the reduction of Shimura varieties or of moduli spaces of $G$-shtukas. In almost all cases, they are not quasi-compact. In this note we prove basic finiteness properties of affine Deligne-Lusztig varieties under minimal assumptions on the associated group. We show that affine Deligne-Lusztig varieties are locally of finite type, and prove a global finiteness result related to the natural group action. Similar results have previously been known for special situations.
Let $X/\mathbb{F}_{q}$ be a smooth geometrically connected variety. Inspired by work of Corlette-Simpson over $\mathbb{C}$, we formulate a conjecture that absolutely irreducible rank 2 local systems with infinite monodromy on $X$ come from families of abelian varieties. When $X$ is a projective variety, we prove a Lefschetz-style theorem for abelian schemes of $\text{GL}_2$-type on $X$, modeled after a theorem of Simpson. If one assumes a strong form of Deligne's ($p$-adic) \emph{companions conjecture} from Weil II, this implies that our conjecture for projective varieties also reduces to the …
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…
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 first article is devoted to the local 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. This second article is devoted to the global aspects of the theory.
Motivated by a connection between the topology of (generalized) configuration spaces and chromatic polynomials, we show that generating functions of Hodge-Deligne polynomials of quasiprojective varieties and colorings of acyclic directed graphs with the complete graph $K_n$ as the underlying undirected graph. In order to do this, we combine an interpretation of Crew-Spirkl for plethysms involving chromatic symmetric polynomials using colorings of directed acyclic graphs to plethystic exponentials often appearing Hodge-Deligne polynomials of varieties. Applying this to a recent result of Floren…
In this paper we introduce a family of Deligne--Lusztig type varieties attached to connected reductive groups over quotients of discrete valuation rings, naturally generalising the higher Deligne--Lusztig varieties and some constructions related to the algebraisation problem raised by Lusztig. We establish the inner product formula between the representations associated to these varieties and the higher Deligne--Lusztig representations.
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.…
In this article, we study several problems related to virtual traces for finite group actions on schemes of finite type over an algebraically closed field. We also discuss applications to fixed point sets. Our results generalize previous results obtained by Deligne, Laumon, Serre and others.
We give lower bounds for the rank of the first homology group of the real points of the Deligne-Mumford-Knudsen compactification of stable n-pointed curves of genus 0,which coincides with the Chow quotient (RP^1)^n//PGL(2,R).The study has connections with spectral geometry and combinatorics.
Metrics of constant negative curvature on a compact Riemann surface are critical points of the Liouville action functional, which in recent constructions is rigorously defined as a class in a Cech-de Rham complex with respect to a suitable covering of the surface. We show that this class is the square of the metrized holomorphic tangent bundle in hermitian-holomorphic Deligne cohomology. We achieve this by introducing a different version of the hermitian-holomorphic Deligne complex which is nevertheless quasi-isomorphic to the one introduced by Brylinski in his construction of Quillen line bun…
We consider two problems associated to the space of Riemann surfaces that are closely related to string theory. We first consider the problem of existence of heterotic-string and type-II-superstring field theory vertices in the product of spaces of bordered surfaces parameterizing left- and right-moving sectors of these theories. It turns out that this problem can be solved by proving the existence of a solution to the BV quantum master equation in moduli spaces of bordered spin-Riemann surfaces. We first prove that for arbitrary genus $g$, $n_{\text{NS}}$ Neveu-Schwarz boundary components, an…
