Related papers: Integration in valued fields
In this article, we characterize continuous stationary fields via generalized Langevin dynamics. This gives natural connections between stationary fields, stationary increment fields, self-similar fields, and generalized Langevin dynamics.…
We give a survey on recent developments in the model theory of valued fields since the introduction of the notion of ``tame valued field'', and of the modifications and generalizations of this notion.
We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…
Higher genus partition functions of two-dimensional conformal field theories have to be invariants under linear actions of mapping class groups. We illustrate recent results [4,6] on the construction of such invariants by concrete…
We present various results on disconnected reductive groups, in particular about the characteristic 0 representation theory of such groups over finite fields.
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We prove distality of quantifier-free relations on valued fields with finite residue field. By a result of Chernikov-Galvin-Starchenko, this yields Szemer\'edi-Trotter-like incidence bounds for function fields over finite fields. We deduce…
The present paper is intended to provide the basis for the study of weakly differentiable functions on rectifiable varifolds with locally bounded first variation. The concept proposed here is defined by means of integration by parts…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
For oscillatory functions on local fields coming from motivic exponential functions, we show that integrability over $Q_p^n$ implies integrability over $F_p ((t))^n$ for large $p$, and vice versa. More generally, the integrability only…
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow…
We discuss the problem of characterizing the property of a Grothendieck topos to satisfy a given 'geometric' invariant as a property of its sites of definition, and indicate a set of general techniques for establishing such criteria. We…
We estimate, in a number field, the number of elements and the maximal number of linearly independent elements, with prescribed bounds on their valuations. As a by-product, we obtain new bounds for the successive minima of ideal lattices.…
This article develops sufficient conditions of local optimality for the scalar and vectorial cases of the calculus of variations. The results are established through the construction of stationary fields which keep invariant what we define…
When developing and assessing density functional theory methods, a finite basis set is usually employed. In most cases, however, the issue of basis set dependency is neglected. Here, we assess several basis sets and functionals. In…
A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general…
For varifolds whose first variation is representable by integration, we introduce the notion of indecomposability with respect to locally Lipschitzian real valued functions. Unlike indecomposability, this weaker connectedness property is…
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…
We prove a tight bound on the number of realized $0/1$ patterns (or equivalently on the Vapnik-Chervonenkis codensity) of definable families in models of the theory of algebraically closed valued fields with a non-archimedean valuation. Our…