We investigate the relative logarithmic connections on a holomorphic vector bundle over a complex analytic family. We give a sufficient condition for the existence of a relative logarithmic connection on a holomorphic vector bundle singular over a relative simple normal crossing divisor. We define the relative residue of relative logarithmic connection and express relative Chern classes of a holomorphic vector bundle in terms of relative residues.
We introduce a dual logarithmic residue map for hypersurface singularities and use it to answer a question of Kyoji Saito. Our result extends a theorem of Lê and Saito by an algebraic characterization of hypersurfaces that are normal crossing in codimension one. For free divisors, we relate the latter condition to other natural conditions involving the Jacobian ideal and the normalization. This leads to an algebraic characterization of normal crossing divisors. As a side result, describe all free divisors with Gorenstein singular locus.
We consider the germ of a reduced curve, possibly reducible. F.Delgado de la Mata proved that such a curve is Gorenstein if and only if its semigroup of values is symmetrical. We extend here this symmetry property to any fractional ideal of a Gorenstein curve. We then focus on the set of values of the module of logarithmic residues along plane curves or complete intersection curves, which determines and is determined by the values of the Jacobian ideal thanks to our symmetry theorem. Moreover, we give the relation with Kahler differentials, which are used in the analytic classification of plan…
Let $k$ be a perfect field, and $X$ an irreducible smooth projective curve over $k$. We give a criterion for a vector bundle over $X$ to admit a logarithmic connection singular over a finite subset of $X$ with given residues, where residues are assumed to be rigid.
Given a finite group of automorphisms of a compact Riemann surface, the Chevalley-Weil formula computes the character valued Euler characteristic of an equivariant line bundle. The goal of this article is to give a proof by computing using residues of a Gauss-Manin connection.
A theorem of Weil and Atiyah says that a holomorphic vector bundle $E$ on a compact Riemann surface $X$ admits a holomorphic connection if and only if the degree of every direct summand of $E$ is zero. Fix a finite subset $S$ of $X$, and fix an endomorphism $A(x) \in \text{End}(E_x)$ for every $x \in S$. It is natural to ask when there is a logarithmic connection on $E$ singular over $S$ with residue $A(x)$ at every $x \in S$. We give a necessary and sufficient condition for it under the assumption that the residues $A(x)$ are rigid.
Logarithmic differential forms and logarithmic vector fields associated to a hypersurface with an isolated singularity are considered in the context of computational complex analysis. As applications, based on the concept of torsion differential forms due to A.G. Aleksandrov, regular meromorphic differential forms introduced by D. Barlet and M. Kersken, and Brieskorn formulae on Gauss-Manin connections are investigated. (i) A method is given to describe singular parts of regular meromorphic differential forms in terms of non-trivial logarithmic vector fields via Saito's logarithmic residues. T…
We give a de Rham interpretation of Nahm's transform for certain parabolic harmonic bundles on the projective line and compare it to minimal Fourier--Laplace transform of $\mathcal{D}$-modules. We give an algebraic definition of a parabolic structure on the transformed bundle and show that it is compatible with the transformed harmonic metric.
We extend our earlier construction of Nahm transformation for parabolic Higgs bundles on the projective line to solutions with not necessarily semisimple residues and show that it determines a holomorphic mapping on corresponding moduli spaces. The construction relies on suitable elementary modifications of the logarithmic Dolbeault complex.
In this work we prove a Baum-Bott type formula for non-compact complex manifold of the form $\tilde{X}=X- \mathcal{D}$, where $X$ is a complex compact manifold and $\mathcal{D}$ is a normal crossing divisor on $X$. As applications, we provide a Poincaré-Hopf type Theorem and an optimal description for a smooth hypersurface $\mathcal{D}$ invariant by an one-dimensional foliation $\mathscr F$ on $\mathbb{P}^n$ satisfying $Sing(\mathscr F) \subsetneq \mathcal{D}.$
Let $E_G$ be a holomorphic principal $G$-bundle on a compact connected Riemann surface $X$, where $G$ is a connected reductive complex affine algebraic group. Fix a finite subset $D \subset X$, and for each $x\in D$ fix $w_x \in \text{ad}(E_G)_x$. Let $T$ be a maximal torus in the group of all holomorphic automorphisms of $E_G$. We give a necessary and sufficient condition for the existence of a $T$-invariant logarithmic connection on $E_G$ singular over $D$ such that the residue over each $x \in D$ is $w_x$. We also give a necessary and sufficient condition for the existence of a logarithmic …
The graded quotients of the logarithmic ramification groups of a local field of mixed characteristic is killed by the residue characteristic. Its characters are described by differential forms.
We study two different actions on the moduli spaces of logarithmic connections over smooth complex projective curves. Firstly, we establish a dictionary between logarithmic orbifold connections and parabolic logarithmic connections over the quotient curve. Secondly, we prove that fixed points on the moduli space of connections under the action of finite order line bundles are exactly the push-forward of logarithmic connections on a certain unramified Galois cover of the base curve. In the coprime case, this action of finite order line bundles on the moduli space is cohomologically trivial.
We examine logarithmic connections with vanishing p-curvature on smooth curves by studying their kernels, describing them in terms of formal local decomposition. We then apply our results in the case of connections of rank 2 on P^1, classifying such connections in terms of self-maps of P^1 with prescribed ramification.
Let $S$ be a finite subset of a compact connected Riemann surface $X$ of genus $g \geq 2$. Let $\cat{M}_{lc}(n,d)$ denote the moduli space of pairs $(E,D)$, where $E$ is a holomorphic vector bundle over $X$ and $D$ is a logarithmic connection on $E$ singular over $S$, with fixed residues in the centre of $\mathfrak{gl}(n,\C)$, where $n$ and $d$ are mutually corpime. Let $L$ denote a fixed line bundle with a logarithmic connection $D_L$ singular over $S$. Let $\cat{M}'_{lc}(n,d)$ and $\cat{M}_{lc}(n,L)$ be the moduli spaces parametrising all pairs $(E,D)$ such that underlying vector bundle $E$ …
Let $X$ be a compact Riemann surface of genus $g \geq 3$. We consider the moduli space of holomorphic connections over $X$ and the moduli space of logarithmic connections singular over a finite subset of $X$ with fixed residues. We determine the Chow group of these moduli spaces. We compute the global sections of the sheaves of differential operators on ample line bundles and their symmetric powers over these moduli spaces, and show that they are constant under certain condition. We show the Torelli type theorem for the moduli space of logarithmic connections. We also describe the rational con…
Let $X$ be a complex analytic manifold, $D\subset X$ a free divisor with jacobian ideal of linear type (e.g. a locally quasi-homogeneous free divisor), $j: U=X-D \to X$ the corresponding open inclusion, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $U$. In this paper we prove that the canonical morphisms between the logarithmic de Rham complex of $E(kD)$ and $R j_* L$ (resp. the logarithmic de Rham complex of $E(-kD)$ and $j_!L$) are isomorphisms in the derived category of sheaves of complex vector spaces for $k\gg 0$…
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection si…
We study the moduli space of logarithmic connections of rank 2 on the Riemann sphere minus n points with fixed spectral data. There are two natural Lagrangian maps: one towards apparent singularities of the associated fuchsian scalar equation, and another one towards moduli of parabolic bundles. We show that these are transversal and dual to each other. In case n=5, we recover the beautiful geometry of Del Pezzo surfaces of degree 4.
The generic element of the moduli space of logarithmic connections with parabolic points on holomorphic vector bundle over the Riemann sphere can be represented by a Fuchsian equation with some singularities and some apparent singularities. We analyze the case of rank $3$ vector bundle which leads to third order Fuchsian equation. We find coordinates on an open subset of the moduli space and we construct a non-trivial part of the moduli space by blowing up along a variety in a special case.
Let X be a smooth complete complex toric variety such that the boundary is a simple normal crossing divisor, and let E be a holomorphic vector bundle on X. We prove that E admits an equivariant structure if and only if E admits a logarithmic connection singular over D. More precisely, we show that an equivariant vector bundle on X has a tautological integrable logarithmic connection singular over D. This is used in computing the Chern classes of the equivariant vector bundles on X. We also prove a version of the result for holomorphic vector bundles on log parallelizable G-pairs (X,D), where G…
We describe moduli spaces of logarithmic rank $2$ connections on elliptic curves with $n \geq 1$ poles and generic residues. In particular, we generalize a previous work by the first and second named authors. Our main approach is to analyze the underlying parabolic bundles; their stability and instability play a major role.
Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at the punctures is an algebraic stack of finite type.
Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log structure $\calM_{\frakX} = \calO_{\frakX}\cap\calO_X^{\times}$, we study Hodge--Tate crystals over the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$. As an application, we give an equivalence between the category of rational Hodge--Tate crystals on the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$ and the c…
We are interested in studying moduli spaces of rank 2 logarithmic connections on elliptic curves having two poles. To do so, we investigate certain logarithmic rank 2 connections defined on the Riemann sphere and a transformation rule to lift such connections to an elliptic curve. The transformation is as follows: given an elliptic curve $C$ with elliptic quotient $π\colon C\to{\mathbb P}^1$, and the logarithmic connection $(E,\nabla)$ on ${\mathbb P}^1$, we may pullback the connection to the elliptic curve to obtain a new connection $(π^*E, π^*\nabla)$ on $C$. After suitable birational modifi…
We revisit the localization formulas of cohomology intersection numbers associated to a logarithmic connection. The main contribution of this paper is threefold: we prove the localization formula of the cohomology intersection number of logarithmic forms in terms of residue of a connection; we prove that the leading term of the Laurent expansion of the cohomology intersection number is Grothendieck residue when the connection is hypergeometric; and we prove that the leading term of stringy integral discussed by Arkani-Hamed, He and Lam is nothing but the self-cohomology intersection number of …
Given a compact Kaehler manifold, we consider the complement U of a divisor with normal crossings and a unitary local system V on it. We consider a differential graded Lie algebra (DGLA) of forms with holomorphic logarithmic singularities and vanishing residues. We construct a spectral sequence corresponding to the anti-holomorphic filtration of this algebra and compute its E1 term. This spectral sequence converges to the L2 cohomology H2*(U, V). We show that this DGLA is formal, although it does not always satisfy to the d'd''-Lemma.
Given a linear group G over a field k, we define a notion of index and residue of an element g of G(k((t)). This provides an alternative proof of Gabber's theorem stating that G has no subgroups isomorphic to the additive or the commutative group iff G(k[[t]])= G(k((t))). In the case of a reductive group, we offer an explicit connection with the theory of affine grassmannians.
Kyoji Saito's notion of a free divisor was generalized by the first author to reduced Gorenstein spaces and by Delphine Pol to reduced Cohen-Macaulay spaces. Starting point is the Aleksandrov-Terao theorem: A hypersurface is free if and only if its Jacobian ideal is maximal Cohen-Macaulay. Pol obtains a generalized Jacobian ideal as a cokernel by dualizing Aleksandrov's multi-logarithmic residue sequence. Notably it is essentially a suitably chosen complete intersection ideal that is used for dualizing. Pol shows that this generalized Jacobian ideal is maximal Cohen-Macaulay if and only if the…
We explain in detail the correspondence between algebraic connections over CP^{1}, logarithmic at X = { x_{1},...,x_{n} } \subset CP^{1}, and flat bundles over CP^{1}-X with integer weighted filtrations near each x_{j}. Included is a gauge fixing theorem for logarithmic connections. (Thus far, one could work over any Riemann surface.) We prove a bound on the splitting type of a semi-stable logarithmic connection over CP^{1}. Using this we extend and simplify some results on the Riemann-Hilbert-Problem, which asks for a logarithmic connection on a holomorphically trivial bundle over CP^{1}, ext…
We construct the Kuranishi spaces, or in other words, the versal deformations, for the following classes of connections with fixed divisor of poles $D$: all such connections, as well as for its subclasses of integrable, integrable logarithmic and integrable logarithmic connections with a parabolic structure over $D$ . The tangent and obstruction spaces of deformation theory are defined as the hypercohomology of an appropriate complex of sheaves, and the Kuranishi space is a fiber of the formal obstruction map.
We consider irreducible logarithmic connections $(E,\,δ)$ over compact Riemann surfaces $X$ of genus at least two. The underlying vector bundle $E$ inherits a natural parabolic structure over the singular locus of the connection $δ$; the parabolic structure is given by the residues of $δ$. We prove that for the universal isomonodromic deformation of the triple $(X,\,E,\,δ)$, the parabolic vector bundle corresponding to a generic parameter in the Teichmüller space is parabolically stable. In the case of parabolic vector bundles of rank two, the general parabolic vector bundle is even parabolica…
Given a morphism $X \to S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent integrable connection and indexed $B_{X/S}$-modules with nilpotent $B_{X/S}$-linear Higgs field. If either satisfies a stricter nilpotence condition, we find an isomorphism between the de Rham cohomology of the connection and the Higgs cohomology of the Higgs field.
In this paper, we investigate representations of $\operatorname{At}(N)$, the Atiyah algebroids of a holomorphic line bundles $N$ over a complex manifold $Y$. In particular, we relate $\operatorname{At}(N)$-modules with logarithmic connections through two functors. On the one hand, we use these functors to the define invariants (monodromy) for representations of Atiyah algebroids. On the other hand, this opens the way to use the theory of Lie algebroids to study problems about logarithmic connections; we will give an example of this by showing that the existence of Deligne's extensions of flat …
We establish normal form theorems for a large class of singular flat connections on complex manifolds, including connections with logarithmic poles along weighted homogeneous Saito free divisors. As a result, we show that the moduli spaces of such connections admit the structure of algebraic quotient stacks. In order to prove these results, we introduce homogeneous Lie groupoids and study their representation theory. In this direction, we prove two main results: a Jordan-Chevalley decomposition theorem, and a linearization theorem. We give explicit normal forms for several examples of free div…
Motivated by a remark and a question of Nicholas Katz, we characterize the tangent space of the space of Fuchsian equations with given generic exponents inside the corresponding moduli space of logarithmic connections: we construct a weight 1 Hodge structure on the tangent space of the moduli of logarithmic connections such that deformations of Fuchsian equations correspond to the $(1,0)$-part.
On logarithmic paper some real algebraic curves look like smoothed broken lines. Moreover, the broken lines can be obtained as limits of those curves. The corresponding deformation can be viewed as a quantization, in which the broken line is a classical object and the curves are quantum. This generalizes to a new connection between algebraic geometry and the geometry of polyhedra, which is more straight-forward than the other known connections and gives a new insight into constructions used in the topology of real algebraic varieties.
We present a compact formula computing rational trigonometric sums. E. Verlinde's expression for the dimension of conformal blocks in WZW theory is an example of such a sum. As an application, we show that a formula of Bismut and Labourie for the Riemann-Roch numbers of moduli spaces of flat connections on a Riemann surface coincides with Verlinde's expression.
The logarithmic connections studied in the paper are direct images of regular connections on line bundles over genus-2 double covers of the elliptic curve. We give an explicit parametrization of all such connections, determine their monodromy, differential Galois group and the underlying rank-2 vector bundle. The latter is described in terms of elementary transforms. The question of its (semi)-stability is addressed.
We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane curves of the form $x^p = y^q$ and relate the moduli spaces to the Grothendieck-Springer resolution. We also discuss the shifted Poisson geometry of these moduli spaces. Namely, we conjecture that the map restricting a logarithmic connection to the complement of the divisor admits a shifted coisotropic structure and we construct a shifted Poisson structure on the…
