arXiv subjects

Jean-Baptiste Teyssier

Publications and source records attributed to Jean-Baptiste Teyssier.

21 records · Page 2Linked to original sources

arXiv2015

A Boundedness theorem for nearby slopes of holonomic D-modules

Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly irregular) algebraic connections E\_t parametrized by a smooth curve, we deduce under natural conditions an explicit bound for the usual slopes of the differential equation satisfied by the family of irregular periods of the E\_t. This generalizes the regularity of the Gauss-Manin connection proved by Katz and Deligne. Finally, we address some questions about analogues of the above results for wild ramification in the arithmetic context.

math.AG↗

arXiv2014

Un théorème de linéarité de la construction d'Abbes et Saito pour les connexions méromorphes

Let M be a connection on a complex affine space with poles along a hyperplane. In this paper, we prove that the nearby cycles of Abbes and Saito's construction applied to M satisfy a linearity condition analogous to that obtained by Abbes and Saito in the l-adic setting. This generalizes the fact that in dimension one, the module produced by Abbes and Saito's construction is a direct sum of exponential modules associated to linear forms.

math.AG↗

arXiv2014

Sur une caractérisation des D-modules holonomes réguliers

Let X be a smooth complex manifold. Let Sol denote the solution functor for D-modules on X. Traditionally, the fully-faithfulness of Riemann-Hilbert correspondance is proved by showing that if M_1 and M_2 are regular holonomic D_X modules, then the canonical morphism of complexes of sheaves RH_{M_1,M_2} : RHom(M_1,M_2) ---> RHom(Sol(M_2),Sol(M_1)) is an isomorphism, in a derived sense. This paper has to do with the converse statement. We prove that if M is an holonomic D_X module for which RH_{M,M} is an isomorphism, then M is regular.

math.AG↗