相关论文: D\'evissages des F-complexes de D-modules arithm\'…

Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…

We develop a dimension theory for coadmissible D-cap-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic D-modules in the algebraic setting. We discuss a number of…

We prove a Riemann-Hilbert correspondence for Ardakov-Wadsley's coadmissible D-cap-modules and, more generally, for Bode's $\mathcal{C}$-complexes. More precisely, we show that any given $\mathcal{C}$-complex can be reconstructed out of its…

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(\phi,N)$-modules.

We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such…

We compute the homology of the first and third quadrants of the complexes of finite Verma modules over the annihilation superalgebra $\mathcal{A}(CK_{6})\cong E(1,6)$, associated with the conformal superalgebra $CK_6$, obtained in…

We study Fourier transforms of regular holonomic D-modules. In particular we show that their solution complexes are monodromic. An application to direct images of some irregular holonomic D-modules will be given. Moreover we give a new…

Let $\mathfrak{X}$ be a formal smooth quasi-compact curve over a complete discrete valuation ring of mixed characteristic. We consider over $\mathfrak{X}$ the sheaves of differential operators $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k ,…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

In this text, we illustrate the use of local methods in the theory of (irregular) holonomic D-modules. I. (The Euler characteristic of the de~Rham complex) We show the invariance of the global or local Euler characteristic of the de~Rham…

We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…

We derive a relative version of the local monodromy theorem for ordinary differential equations on an annulus over a mixed-characteristic nonarchimedean field, and give several applications in $p$-adic cohomology and $p$-adic Hodge theory.…

In 1989, Faltings proved the comparison theorem between \'etale cohomology and crystalline cohomology by studying Fontaine-Faltings modules and crystalline representations. In his paper, he mentioned these modules and representations can be…

We present a new algorithm for computing the characteristic polynomial of an arbitrary endomorphism of a finite Drinfeld module using its associated crystalline cohomology. Our approach takes inspiration from Kedlaya's p-adic algorithm for…

Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite…

Let $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of \'etale and crystalline…

We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…

We prove an analogue of the Tate isogeny conjecture and the semi-simplicity conjecture for overconvergent crystalline Dieudonn\'e modules of abelian varieties defined over global function fields of characteristic $p$. As a corollary we…

Let $R=\mathbb{F}_p[x_1,\ldots,x_n]$ and let $\mathbf{F}$ be the ring of Frobenius operators over $R$. We introduce a notion of Bernstein dimension and multiplicity for the class of finitely generated $\mathbf{F}$-modules whose structure…