Related papers: Integration and Cell Decomposition in $P$-minimal …
We introduce a $p$-adic $L$-function $\mathscr L_{A/L}$ associated to an ordinary elliptic curve $A$ over a global function field $K$ of characteristic $p$ together with a $\mathbb{Z}_{p}^{d}$-extension $L/K$, $d=0$ allowed, unramified…
Let $K$ be a $p$-adic field. We continue to develop the theory of rigid analytic $p$-divisible groups over $K$. For example, we explain how to find back the category of Banach-Colmez spaces from rigid analytic $p$-divisible groups "in…
Let $L/K$ be a finite Galois extension of $p$-adic fields with group $G$. It is well-known that $\mathcal{O}_L$ contains a free $\mathcal{O}_K[G]$-submodule of finite index. We study the minimal index of such a free submodule, and determine…
We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…
We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of…
Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…
We refine and extend previous constructions of $p$-adic $L$-functions for Rankin-Selberg convolutions on $\GL(n)\times\GL(n-1)$ for regular algebraic representations over totally real fields. We also prove an intrinsic functional equation…
Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…
We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…
Let $f$ be a modular form which is non-ordinary at $p$. Kim and Loeffler have recently constructed two-variable $p$-adic $L$-functions associated to $f$. In the case where $a_p=0$, they showed that, as in the one-variable case, Pollack's…
We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated…
We introduce a class of functionals on the space of rapidly decreasing sequences $s$, called $\mathcal{F}_s$-functionals, defined as decomposable sums of quadratic and convex terms with quadratic growth. We prove that such functionals…
The goal of this paper is to generalise Alex Rennet's proof of the non-axiomatizability of the class of pseudo-o-minimal structures. Rennet showed that if L is an expansion of the language of ordered fields and K is the class of…
We prove a functional equation for the three-variable $p$-adic $L$-function attached to the Rankin-Selberg convolution of a Coleman family and a CM Hida family, which was studied by Loeffler and Zerbes. Consequentially, we deduce that an…
We prove various low-energy decomposition results, showing that we can decompose a finite set $A\subset \mathbb{F}_p$ satisfying $|A|<p^{5/8}$, into $A = S\sqcup T$ so that, for a non-degenerate quadratic $f\in \mathbb{F}_p[x,y]$, we have…
With respect to the analytic-algebraic dichotomy, the theory of Siegel modular forms of half-integral weight is lopsided; the analytic theory is strong whereas the algebraic lags behind. In this paper, we capitalise on this to establish the…
Let $G$ be a finite $p$-group. We construct a $G$-extension $K/k$ of number fields such that the $p$-adic completion of the unit group of $K$ has a prescribed $\mathbb{Z}_p[G]$-module structure, up to free direct summands.
To a closed connected oriented surface $S$ of genus $g$ and a nonempty finite subset $P$ of $S$ is associated a simplicial complex (the arc complex) that plays a basic r\^ ole in understanding the mapping class group of the pair $(S,P)$. It…
We prove a compact embedding theorem in a class of spaces of piecewise H1 functions subordinated to a class of shape regular, but not necessarily quasi-uniform triangulations of a polygonal domain. This result generalizes the…
We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The…