Related papers: Parametrization of Formal Norm Compatible Sequence…
In this paper we study the corresponding categories and the corresponding cohomologies of the Hodge-Iwasawa modules we developed in our series papers on Hodge-Iwasawa theory. The corresponding cohomologies will be essential in the…
In this letter we study a class of symmetries of the new translational extended shape invariant potentials. It is proved that a generalization of a compatibility condition introduced in a previous article is equivalent to the usual shape…
This paper extends the known characterization of interpolation and sampling sequences for Bergman spaces to the mixed-norm spaces. The Bergman spaces have conformal invariance properties not shared by the mixed-norm spaces. As a result,…
We show that the conjectural mod $p$ local Langlands correspondence can be realised in the mod $p$ cohomology of the Lubin-Tate towers. The proof utilizes a well known conjecture of Buzzard-Diamond-Jarvis \cite[Conj. 4.9]{BDJ10}, a study of…
Explicit descriptions of local integral Galois module generators in certain extensions of $p$-adic fields due to Pickett have recently been used to make progress with open questions on integral Galois module structure in wildly ramified…
Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical…
Continuing the study of the Iwasawa theory of symmetric powers of CM modular forms at supersingular primes begun by the first author and Antonio Lei, we prove a Main Conjecture equating the "admissible" $p$-adic $L$-functions to…
The theory of log concave polynomials has recently been developed to study objects and problems in combinatorics and other subfields in mathematics. Particular classes of log concave polynomials called Lorentzian polynomials and…
We consider a family of multivariate trace inequalities recently derived by Sutter, Berta and Tomamichel. These inequalities generalize the Golden-Thompson inequality and Lieb's three-matrix inequality to an arbitrary number of matrices in…
Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence…
We extend Gubler--K\"unnemann's theory of $\delta$-forms from algebraic varieties to good Berkovich spaces. This is based on the observation that skeletons in such spaces satisfy a tropical balance condition. Our main result is that…
We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding…
In my 2009 paper at Inventiones, we determine the cohomology of Lubin-Tate spaces globally using the comparison theorem of Berkovich by computing the fibers at supersingular points of the perverse sheaf of vanishing cycle $\Psi$ of some…
We give a Newton type rational interpolation formula (Theorem \ref{theo}). It contains as a special case the original Newton interpolation, as well as the recent interpolation formula of Zhi-Guo Liu, which allows to recover many important…
In this paper we give a diagrammatic description of the categories of modules coming from the conformal embeddings $\mathcal{V}(\mathfrak{sl}_N,N) \subset \mathcal{V}(\mathfrak{so}_{N^2-1},1)$. A small variant on this construction (morally…
We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method. Our systems are more natural than Valentini's…
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
In the Lubin-Tate setting we study pairings for analytic $(\varphi_L,\Gamma_L)$-modules and prove an abstract reciprocity law which then implies a relation between the analogue of Perrin-Riou's Big Exponential map as developed by Berger and…
In the Lubin-Tate setting we compare different categories of $(\varphi_L,\Gamma_L)$-modules over various perfect or imperfect coefficient rings. Moreover, we study their associated Herr-complexes. Finally, we show that a Lubin Tate…
We formulate the normalized period conjecture proposed by Ben-Zvi, Sakellaridis and Venkatesh in the framework of the categorical local Langlands correspondence and study its relation to distinction problems. Motivated by the work of Feng…