# Good formal structures for flat meromorphic connections, I: Surfaces

@article{Kedlaya2008GoodFS, title={Good formal structures for flat meromorphic connections, I: Surfaces}, author={Kiran S. Kedlaya}, journal={Duke Mathematical Journal}, year={2008}, volume={154}, pages={343-418} }

We give a criterion under which one can obtain a good decomposition (in the sense of Malgrange) of a formal flat connection on a complex analytic or algebraic variety of arbitrary dimension. The criterion is stated in terms of the spectral behavior of differential operators, and generalizes Robba's construction of the Hukuhara-Levelt-Turrittin decomposition in the one-dimensional case. As an application, we prove the existence of good formal structures for flat meromorphic connections on…

## 94 Citations

### Good formal structures for flat meromorphic connections , II : Higher-dimensional varieties

- Mathematics
- 2009

Given a formal flat meromorphic connection over an algebraic variety over a field of characteristic zero, or a complex analytic variety, we prove existence of good formal structures and a good…

### Good formal structures for flat meromorphic connections, II: Excellent schemes

- Mathematics
- 2010

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…

### Good formal structures for flat meromorphic connections, III: Irregularity is nef

- Mathematics
- 2013

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…

### Good formal structures for flat meromorphic connections , III : Towards functorial modifications

- Mathematics
- 2010

Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, we proved existence of good formal structures and a good DeligneMalgrange lattice after…

### Good Formal Structures for Flat Meromorphic Connections, III: Irregularity and Turning Loci

- MathematicsPublications of the Research Institute for Mathematical Sciences
- 2021

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…

### Degenerate Riemann–Hilbert–Birkhoff problems, semisimplicity, and convergence of WDVV-potentials

- MathematicsLetters in Mathematical Physics
- 2021

In the first part of this paper, we give a new analytical proof of a theorem of C. Sabbah on integrable deformations of meromorphic connections on $\mathbb P^1$ with coalescing irregular…

### CLEANNESS AND LOG-CHARACTERISTIC CYCLES, I: VECTOR BUNDLES WITH FLAT CONNECTIONS

- Mathematics
- 2011

Let X be a proper smooth algebraic variety over a field k of characteristic zero and let D be a divisor with strict simple normal crossings. For M a vector bundle over X − D with a flat connection…

### Good Meromorphic Connections (Analytic Theory) and the Riemann–Hilbert Correspondence

- Mathematics
- 2013

This chapter is similar to Chap. 10, but we now assume that D is a divisor with normal crossings. We start by proving the many-variable version of the Hukuhara–Turrittin theorem, that we have already…

### Semistable reduction for overconvergent F-isocrystals, IV: local semistable reduction at nonmonomial valuations

- MathematicsCompositio Mathematica
- 2011

Abstract We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an…

### Moduli of Stokes torsors and singularities of differential equations

- MathematicsJournal of the European Mathematical Society
- 2022

Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M…

## References

SHOWING 1-10 OF 45 REFERENCES

### Structure des connexions méromorphes formelles de plusieurs variables et semi-continuité de l’irrégularité

- Mathematics
- 2007

We prove Malgrange’s conjecture on the absence of confluence phenomena for integrable meromorphic connections. More precisely, if Y→X is a complex-analytic fibration by smooth curves, Z a…

### Differential modules on p-adic polyannuli

- MathematicsJournal of the Institute of Mathematics of Jussieu
- 2009

Abstract We consider variational properties of some numerical invariants, measuring convergence of local horizontal sections, associated to differential modules on polyannuli over a nonarchimedean…

### Swan conductors for p-adic differential modules. II Global variation

- MathematicsJournal of the Institute of Mathematics of Jussieu
- 2010

Abstract Using a local construction from a previous paper, we exhibit a numerical invariant, the differential Swan conductor, for an isocrystal on a variety over a perfect field of positive…

### On Fuchs' relation for linear differential systems

- Mathematics, Computer ScienceCompositio Mathematica
- 2004

In this paper, we give a formal algebraic notion of exponents for linear differential systems at any singularity as eigenvalues of the residue of a regular connection on a maximal lattice (that we…

### Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach

- MathematicsCompositio Mathematica
- 2008

Abstract We introduce a valuation-theoretic approach to the problem of semistable reduction (i.e. existence of logarithmic extensions on suitable covers) of overconvergent isocrystals with Frobenius…

### Semistable reduction for overconvergent F-isocrystals, III: Local semistable reduction at monomial valuations

- MathematicsCompositio Mathematica
- 2009

Abstract We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree zero). We first…

### Linear meromorphic differential equations: A modern point of view

- Mathematics
- 1996

A large part of the modern theory of differential equations in the complex domain is concerned with regular singularities and holonomic systems. However the theory of differential equations with…

### Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions

- MathematicsCompositio Mathematica
- 2007

Let $X$ be a smooth variety over a field $k$ of characteristic $p>0$, and let $\mathcal{E}$ be an overconvergent isocrystal on $X$. We establish a criterion for the existence of a ‘canonical…

### An introduction to Berkovich analytic spaces and non-archimedean potential theory on curves

- Art
- 2008

This is an expository set of lecture notes meant to accompany the author’s lectures at the 2007 Arizona Winter School on p-adic geometry, purposely chosen to emphasize examples, pictures, discussion, and the intuition behind various constructions rather than emphasizing formal proofs and rigorous arguments.