Related papers: Good formal structures on flat meromorphic connect…
We prove the algebraic version of a conjecture of C. Sabbah on the existence of the good formal structure for meromorphic flat connections on surfaces after some blow up.
Given a flat meromorphic connection on an excellent scheme over a field of characteristic zero, we prove existence of good formal structures after blowing up; this extends a theorem of Mochizuki for algebraic varieties. The argument…
Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up.…
We prove Malgrange's conjecture on the absence of confluence phenomena for integrable meromorphic connections. More precisely, if $ Y\to X$ is a complex-analytic fibration by smooth curves, $Z$ a hypersurface of $Y$ finite over $X$, and…
We classify meromorphic affine connections on compact complex surfaces with algebraic dimension one, extending the work of Inoue,Kobayashi and Ochiai (1981) in the holomorphic case. The motivation is to investigate possible extension of the…
In previous work, we established a duality between the algebraic de Rham cohomology of a flat algebraic connection on a smooth quasi-projective surface over the complex numbers and the rapid decay homology of the dual connection relying on…
We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid…
Let $R=C[[t]]$ be the ring of power series over an algebraically closed field $C$ of characteristic zero. We show that each connection on a finite flat $R((x))$-module is the sum of a regular singular connection and a diagonalizable…
It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…
Let H:(M,p)->(M',p') be a formal mapping between two germs of real-analytic generic submanifolds in C^N with nonvanishing Jacobian. Assuming M to be minimal at p and M' holomorphically nondegenerate at p', we prove the convergence of the…
We study in this work flat surfaces with conical singularities, that is, surfaces provided with a flat structure with conical singular points. Finding good parameters for these surfaces in the general case is an open question. We give an…
Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an…
For smooth families of projective algebraic curves, we extend the notion of intersection pairing of metrized line bundles to a pairing on line bundles with flat relative connections. In this setting, we prove the existence of a canonical…
A theorem of Hukuhara, Levelt, and Turrittin states that every formal differential operator has a Jordan decomposition. This theorem was generalised by Babbit and Varadarajan to the case of formal $G$-connections where $G$ is a semisimple…
We express the multigraded Betti numbers of an arbitrary monomial ideal in terms of the multigraded Betti numbers of two basic classes of ideals. This decompo- sition has multiple applications. In some concrete cases, we use it to construct…
We review properties of closed meromorphic $1$-forms and of the foliations defined by them. We present and explain classical results from foliation theory, like index theorems, the existence of separatrices, and resolution of singularities…
We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…
We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global…
A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the…
We show that there exist flat surface bundles with closed leaves having non-trivial normal bundles. This leads us to compute the Abelianisation of surface diffeomorphism groups with marked points. We also extend a formula of Tsuboi that…