Related papers: A Statement of the Fundamental Lemma
In this paper we prove the Aubert-Baum-Plymen-Solleveld conjecture for the split classical groups and establish the connection with the Langlands correspondence. To do this, we review the notion of cuspidality for enhanced Langlands…
Inspired by p-adic (and real) principal value integrals, we introduce motivic principal value integrals associated to multi-valued rational differential forms on smooth algebraic varieties. We investigate the natural question whether (for…
We reformulate the Landau analysis of Feynman integrals with the aim of advancing the state of the art in modern particle-physics computations. We contribute new algorithms for computing Landau singularities, using tools from polyhedral…
We give a new heuristic for all of the main terms in the integral moments of various families of primitive L-functions. The results agree with previous conjectures for the leading order terms. Our conjectures also have an almost identical…
We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of the third author…
In this article we put a very elaborate PSH-like structure on the $R_{+}(-)$ groups of products of finite general linear groups. This is not the case we want. Firstly one would really want the actual big PSH algebra of products of general…
We give a categorical formulation of the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$,as an embedding of the derived category of locally admissible representations into the category of Ind-coherent sheaves on…
An FOL-program consists of a background theory in a decidable fragment of first-order logic and a collection of rules possibly containing first-order formulas. The formalism stems from recent approaches to tight integrations of ASP with…
This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the…
We describe the fundamental constructions and properties of determinantal probability measures and point processes, giving streamlined proofs. We illustrate these with some important examples. We pose several general questions and…
The infinitary propositional logic of here-and-there is important for the theory of answer set programming in view of its relation to strongly equivalent transformations of logic programs. We know a formal system axiomatizing this logic…
We prove a descent criterion for certain families of smooth representations of GL_n(F) (F a p-adic field) in terms of the gamma factors of pairs constructed in previous work of the second author. We then use this descent criterion, together…
This is a sequel to the author's book "Derived Langlands" which introduced an embedding of the category of admissible representations of a locally p-adic group in to the derived category of the monomial category of the group. This article…
The Fundamental Theorem of Algebra can be thought of as a statement about the real numbers as a space, considered as an algebraic set over the real numbers as a field. This paper introduces what it means for an algebraic set or affine…
The literature on stochastic programming typically restricts attention to problems that fulfill constraint qualifications. The literature on estimation and inference under partial identification frequently restricts the geometry of…
The problem of backward dynamics over the ring of p-adic integers is studied. It is shown that Inverse Limit Theory provides the right framework. Backward iterations of a polynomial with p-adic integer coefficients are constructed by…
A classification of the periodic components of the Fatou set of $p$-adic rational maps. Each such periodic component is either an immediate attracting basin or an open affinoid, where the dynamics is quasi-periodic (the $p$-adic analogues…
Let G be a quasi-split p-adic group. Under the assumption that the local coefficients $C_{\psi}$ defined with respect to $\psi $-generic tempered representations of standard Levi subgroups of G are regular in the negative Weyl chamber, we…
The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is…
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modelling tools to…