Periods for rank 1 irregular singular connections on surfaces
Marco Hien
备注:
28 pages; previous version partly incorrect (for higher rank case), new version contains case of line bundles and a new example. v3: technical assumption inserted (Definition 1.1)
We define a period pairing for flat, irregular singular, rank one connections, satisfying a technical condition regarding its stationary set, on complex surfaces between de Rham cohomology of the connection and a modified singular homology, the rapid decay homology. We prove that this gives a perfect duality. A 2-dimensional version of confluent hypergeometrics are contructed as an example.
In this paper we will present a way of examining the Stokes structure of certain irregular singular $\mathcal D$-modules, namely the direct image of exponentially twisted regular singular meromorphic connections, in a topological point of view. This topological description enables us to compute Stokes data for an explicit example concretely.
We analyze and completely describe the four cases when the Hitchin fibration on a $2$-dimensional moduli space of irregular Higgs bundles over $\mathbb{C}P^{1}$ has a single singular fiber. The case when the fiber at infinity is of type $I_0^*$ is further analyzed, and we give constructions of all the possible configurations of singular curves inelliptic fibrations having this type of singular fiber at infinity.
We define homology groups for flat irregular singular connections on surfaces and a pairing between these and the de Rham cohomology of the connection, generalizing work of S. Bloch and H. Enault in dimension one. Assuming a conjecture of C. Sabbah (known to be true if the rank of the vector bundle is at most 5), we prove perfectness of the pairing. We comment on certain new phenomena appearing in dimension two.
We introduce an unfolded moduli space of connections, which is an algebraic relative moduli space of connections on complex smooth projective curves, whose generic fiber is a moduli space of regular singular connections and whose special fiber is a moduli space of unramified irregular singular connections. On the moduli space of unramified irregular singular connections, there is a subbundle of the tangent bundle defining the generalized isomonodromic deformation produced by the Jimbo-Miwa-Ueno theory. On an analytic open subset of the unfolded moduli space of connections, we construct a non-c…
We prove that the singular locus of the commuting variety of a noncommutative reductive Lie algebra is contained in the irregular locus and we compute the codimension of the latter. We prove that one of the irreducible components of the irregular locus has codimension 4. This yields the lower bound of the codimension of the singular locus, in particular, implies that it is at least 2. We also prove that the commuting variety is rational.
We give an algebraic construction of the moduli space of irregular singular connections of generic ramified type on a smooth projective curve. We prove that the moduli space is smooth and give its dimension. Under the assumption that the exponent of ramified type is generic, we give an algebraic symplectic form on the moduli space.
In this paper we construct a coarse moduli scheme of stable unramified irregular singular parabolic connections on a smooth projective curve and prove that the constructed moduli space is smooth and has a symplectic structure. Moreover we will construct the moduli space of generalized monodromy data coming from topological monodromies, formal monodromies, links and Stokes data associated to the generic irregular connections. We will prove that for a generic choice of generalized local exponents, the generalized Riemann-Hilbert correspondence from the moduli space of the connections to the modu…
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study irregular singular connections on the projective line. Fundamental strata were originally used to classify cuspidal representations of the general linear group over a local field. In the geometric setting, fundamental strata play the role of the leading term of a connection. We introduce the concept of a regular stratum, which allows us to generalize the conditio…
In this paper, we study rank 2 (quasi) parabolic bundles over the Riemann sphere with an effective divisor and these moduli spaces. First we consider a criterium when a parabolic bundle admits a unramified irregular singular parabolic connection. Second, to give a good compactification of the moduli space of semistable parabolic bundles, we introduce a generalization of parabolic bundles, which is called refined parabolic bundles. Third, we discuss a stability condition of refined parabolic bundles and define elementary transformations of the refined parabolic bundles. Finally, we describe the…
Special kinds of rank 2 vector bundles with (possibly irregular) connections on P^1 are considered. We construct an equivalence between the derived category of quasi-coherent sheaves on the moduli stack of such bundles and the derived category of modules over a TDO ring on certain non-separated curve. We identify this curve with the coarse moduli space of some parabolic bundles on P^1. Then our equivalence becomes an example of the categorical Langlands correspondence.
We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine plane monomial curve. We also describe the irregularity complex of such a system with respect to its singular support.
Homology with values in a connection with possibly irregular singular points on an algebraic curve is defined, generalizing homology with values in the underlying local system for a connection with regular singular points. Integration defines a perfect pairing between de Rham cohomology with values in the connection and homology with values in the dual connection.
N.Katz's middle convolution algorithm provides a description of rigid connections on the projective line with regular singularities. We extend the algorithm by adding the Fourier transform to it. The extended algorithm provides a description of rigid connections with arbitrary singularities.
We identify the holomorphic de Rham complex of the minimal extension of a meromorphic vector bundle with connexion on a compact Riemann surface X with the L^2 complex relative to a suitable metric on the bundle and a complete metric on the punctured Riemann surface. Applying results of C. Simpson, we show the existence of a harmonic metric on this vector bundle, giving the same L^2 complex. As a consequence, we obtain a Hard Lefschetz-type theorem.
We provide a unique normal form for rank two irregular connections on the Riemann sphere.In fact, we provide a birational model where we introduce apparent singular points and where the bundlehas a fixed Birkhoff-Grothendieck decomposition. The essential poles and the apparent poles provide twoparabolic structures. The first one only depend on the formal type of the singular points. The latter one determine the connection (accessory parameters). As a consequence, an open set of the corresponding moduli space of connections is canonically identified with an open set of some Hilbert scheme of po…
We establish the existence of rank two Ulrich vector bundles on surfaces that are either of maximal Albanese dimension or with irregularity 1, under many embeddings. In particular we get the first known examples of Ulrich vector bundles on irregular surfaces of general type. Another consequence is that every surface such that either $q \le 1$ or $q \ge 2$ and its minimal model has rank one, carries a simple rank two Ulrich vector bundle.
In this paper, we consider the generalized isomonodromic deformations of rank two irregular connections on the Riemann sphere. We introduce Darboux coordinates on the parameter space of a family of rank two irregular connections by apparent singularities. By the Darboux coordinates, we describe the generalized isomonodromic deformations as Hamiltonian systems.
This article is concerned with moduli spaces of connections on bundles on Riemann surfaces, where the structure group of the bundle may vary in different regions of the surface. Here we will describe such moduli spaces as complex symplectic manifolds, generalising the complex character varieties of Riemann surfaces.
We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine monomial curve. We also describe the irregularity complex of such a system with respect to its singular support. We use restriction and some results in D-module theory to reduce our study to the two dimensional case.
Gauß-Manin determinant connections associated to irregular connections on a curve are studied. The determinant of the Fourier transform of an irregular connection is calculated. The determinant of cohomology of the standard rank 2 Kloosterman sheaf is computed modulo 2 torsion. Periods associated to irregular connections are studied in the very basic $\exp(f)$ case, and analogies with the Gauß-Manin determinant are discussed.
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…
This note explains a construction of a Poisson manifold whose symplectic foliation describes a deformation of a moduli space of meromorphic connections with unramified irregular singularities. In particular, this deformation of the moduli space corresponds to the unfolding of irregular singularities of the meromorphic connections. This is an announcement of some results in the forthcoming paper.
We give a complete description of the two-dimensional moduli spaces of stable Higgs bundles of rank 2 over complex projective line with one irregular singular point, having a regular leading-order term, and endowed with a generic compatible parabolic structure such that the parabolic degree of the Higgs bundle is 0. Our method relies on elliptic fibrations of the rational elliptic surface, an equivalence of categories between irregular Higgs bundles and some sheaves on a ruled surface, and an analysis of stability conditions.
Canonical coordinates for moduli spaces of rank two irregular connections on curves
University of Hyogo(兵库大学);Univ Rennes, CNRS, IRMAR - UMR 6625(雷恩第一大学,法国国家科学研究中心,IRMAR实验室-联合研究单位6625);Kobe Gakuin University(神户学院大学);Eötvös Loránd University(罗兰大学);HUN-REN Alfréd Rényi Institute of Mathematics(匈牙利研究与创新网络阿尔弗雷德·雷尼数学研究所)
We explore the connection between the rank of a polynomial and the singularities of its vanishing locus. We first describe the singularity of generic polynomials of fixed rank. We then focus on cubic surfaces. Cubic surfaces with isolated singularities are known to fall into 22 singularity types. We compute the rank of a cubic surface of each singularity type. This enables us to find the possible singular loci of a cubic surface of fixed rank. Finally, we study connections to the Hessian discriminant. We show that a cubic surface with singularities that are not ordinary double points lies on t…
In this paper we construct a connection on the trivial G-bundle on the projective line for any simple complex algebraic group G, which is regular outside of the points 0 and infinity, has a regular singularity at the point 0, with principal unipotent monodromy, and has an irregular singularity at the point infinity, with slope 1/h, the reciprocal of the Coxeter number of G. This connection, which admits the structure of an oper in the sense of Beilinson and Drinfeld, appears to be the characteristic 0 counterpart of a hypothetical family of l-adic representations, which should parametrize a sp…
Log del Pezzo surfaces play the role of the opposite of surfaces of general type. We will completely classify all the log del Pezzo surfaces of rank 2 and Cartier index 3 with a unique singularity.
Let $X$ be a minimal surface of general type and maximal Albanese dimension with irregularity $q\geq 2$. We show that $K_X^2\geq 4χ(\mathcal O_X)+4(q-2)$ if $K_X^2<\frac92χ(\mathcal O_X)$, and also obtain the characterization of the equality. As a consequence, we prove a conjecture of Manetti on the geography of irregular surfaces if $K_X^2\geq 36(q-2)$ or $χ(\mathcal O_X)\geq 8(q-2)$, and we also prove a conjecture that surfaces of general type and maximal Albanese dimension with $K_X^2=4χ(\mathcal O_X)$ are exactly the resolution of double covers of abelian surfaces branched over ample divis…
In this article, we calculate the period determinant of an irrgular singular connection d+dy on the legendre curve U: y^2 =x(x-1)(x- lambda). We calculate its de Rham cohomology and the cycles in the homology of the dual connection and describe the period matrix. Terasoma's work is introduced to approximate the direct image connection pi_*(\nabla) by a sequence of regular connections as an intermediate step where pi:U -> A^1(y), (x,y) |-> y. Finally, we will compare the period obtained by this approximation of the direct image connection and the original.
Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a geometric analogue of a conjecture of Gross and Reeder. We will also show that the irregular connections with minimum adjoint irregularity are precisely the (formal) Frenkel-Gross connections.
We give a geometric description of singular pencils of quadrics of constant rank, relating them to the splitting type of some naturally associated vector bundles on $\mathbb{P}^1$. Then we study their orbits in the Grassmannian of lines, under the natural action of the general linear group.