Related papers: Differentiation in P-minimal structures and a p-ad…

One proves the Crew-Tsuzuki "p-adic local monodromy conjecture" (for local fields of characteristic p>0).

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…

We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the…

In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

We study several rigidity properties of $p$-adic local systems on a smooth rigid analytic space $X$ over a $p$-adic field. We prove that the monodromy of the log isocrystal attached to a $p$-adic local system is ''rigid'' along irreducible…

We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…

Suppose that $n\ge3$ and $H(p)\in C^0(\mathbb{R}^n)$ is a locally strongly convex and concave Hamiltonian. We obtain the everywhere differentiability of all absolute minimizers for $H$ in any domain of $\mathbb{R}^n$.

We prove that functions of locally bounded deformation on $\mathbb{R}^n$ are $\mathrm{L}^{n/(n-1)}$-differentiable almost everywhere. More generally, we show that this critical $\mathrm{L}^p$-differentiability result holds for functions of…

We extend Urban's construction of eigenvarieties for reductive groups $G$ such that $G(\mathbb{R})$ has discrete series to include characteristic $p$ points at the boundary of weight space. In order to perform this construction, we define a…

A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…

We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…

Using cyclotomic specializations of the equivariant $K$-theory with respect to a torus action we derive congruences for discrete invariants of exceptional objects in derived categories of coherent sheaves on a class of varieties that…

We prove that a strengthened form of the local Langlands conjecture is valid throughout the principal series of any connected split reductive $p$-adic group. The method of proof is to establish the presence of a very simple geometric…

We show that in positive characteristic special loci of deformation spaces of rank one $\ell$-adic local systems are quasilinear. From this we deduce the Hard Lefschetz theorem for rank one $\ell$-adic local systems and a generic vanishing…

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a…

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…

In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives…

We prove that local weak solutions of the orthotropic $p-$harmonic equation are locally Lipschitz, for every $p\ge 2$ and in every dimension. More generally, the result holds true for more degenerate equations with orthotropic structure,…