Related papers: On generalized Fuchs theorem over $p$-adic polyann…

In this paper, we study coherent locally free (logarithmic-)$\nabla$-modules on relative $p$-adic polyannuli satisfying the Robba condition and prove several criteria for decomposition of such (logarithmic-)$\nabla$-modules. Firstly we…

For a $p$-adic differential equation solvable in an open disc (in a $p$-adic sense), around 1970, Dwork proves that the solutions satisfy a certain growth condition on the boundary. Dwork also conjectures that a similar phenomenon should be…

Let $K$ be a complete non-archimedean valuation field of characteristic $0$, with non-trivial valuation, equipped with (possibly multiple) commuting bounded derivations. We prove a decomposition theorem for finite differential modules over…

Let $G$ be a connected reductive group over a $p$-adic local field $F$. We propose and study the notions of $G$-$\varphi$-modules and $G$-$(\varphi,\nabla)$-modules over the Robba ring, which are exact faithful $F$-linear tensor functors…

This is our sequel to our previous work on the corresponding generalized Frobenius modules over some big multivariate Robba rings. We will go beyond our previous discussion where we focused on the corresponding analytic functions on…

In this paper, we study Frobenius structures in higher dimensional $p$-adic analytic geometry and the corresponding $p$-adic functional analysis. This will build up foundations for further study on some generalized cohomology of Frobenius…

Monsky's celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different…

The aim of this article is to generalize Kato's (commutative) p-adic local epsilon-conjecture [Ka93b] for families of (phi,Gamma)-modules over the Robba ring. In particular, we prove the generalized local epsilon-conjecture for rank one…

This paper originated as an appendix to the paper "Topology and Geometry of the Berkovich Ramification Locus for Rational Functions, II" by Xander Faber arXiv:1104.0943v2 [math.NT]. It may however be read independently. We prove a variant…

One of the phenomena peculiar in the theory of $p$-adic differential equations is that solutions $f$ of $p$-adic differential equations defined on open discs may satisfy growth conditions at the boundaries. This phenomenon is first studied…

A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…

We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…

We prove a general stability theorem for $p$-class groups of number fields along relative cyclic extensions of degree $p^2$, which is a generalization of a finite-extension version of Fukuda's theorem by Li, Ouyang, Xu and Zhang. As an…

This primarily expository article collects together some facts from the literature about the monodromy of differential equations on a p-adic (rigid analytic) annulus, though often with simpler proofs. These include Matsuda's classification…

We establish a generalization of the p-adic local monodromy theorem (of Andre, Mebkhout, and the author) in which differential equations on rigid analytic annuli are replaced by differential equations on so-called fake annuli. The latter…

Farkas' lemma is an ubiquitous tool in optimisation, as it provides necessary and sufficient conditions to have $b \in A(P)$, where $P$ is a closed convex cone, $A$ is a (continuous) linear mapping and $b$ is a fixed vector. The standard…

We obtain Fuchs decomposition theorem for regular singular differential modules over a large class of differential rings. We provide a definition of regularity inspired by differential Galois theory and we deduce the classical equivalence…

We give a simple proof of an isomorphism between the two $\mathbb{C}[t]$-modules: the module of relative cohomologies $\Lambda^2/dH\land \Lambda^1$ and the module of Abelian integrals corresponding to a regular at infinity polynomial $H$ in…

Brugui\`eres, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which…

We prove that any projective coadmissible module over the locally analytic distribution algebra of a compact $p$-adic Lie group is finitely generated. In particular, the category of coadmissible modules does not have enough projectives. In…