Related papers: Integration in valued fields
We study finite imaginaries in certain valued fields, and prove a conjecture of Cluckers and Denef.
We develop a method for determining the density of squarefree values taken by certain multivariate integer polynomials that are invariants for the action of an algebraic group on a vector space. The method is shown to apply to the…
We give an exposition of Deligne's theory of local $\epsilon_0$-factors over fields and discrete valuation rings under the assumption that the theory over the complex numbers is known. We then employ standard techniques from algebraic…
A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then…
We define a scalar valued Fourier transform for functions on the Heisenberg group and establish some of its basic properties like inversion formula, Plancherel theorem and Riemann-Lebesgue lemma. We also restate certain well known theorems…
We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically…
The paper contains a construction of an analogue of the Fontaine-Wintenberger field-of-norms functor for higher dimensional local fields. This construction is done completely in terms of the ramification theory of such fields. It is applied…
Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…
We focus on measurability and integrability for set valued functions in non-necessarily separable Fr\'echet spaces. We prove some properties concerning the equivalence between different classes of measurable multifunctions. We also provide…
We introduce a new fundamental group scheme for varieties defined over an algebraically closed field of positive characteristic and we use it to study generalization of some of C. Simpson's results to positive characteristic. We also study…
Given a finite residue field $k$, one looks for a smoothness basis that is invariant under the automorphism group of $k$. We construct models for some finite fields that admit such a basis. This work aims at accelerating algorithms for…
We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…
Gr\"obner bases are a fundamental tool when studying ideals in multivariate polynomial rings. More recently there has been a growing interest in transferring techniques from the field case to other coefficient rings, most notably Euclidean…
The study of Finite Size Effects in Quantum Field Theory allows the extraction of precious perturbative and non-perturbative information. The use of scaling functions can connect the particle content (scattering theory formulation) of a QFT…
In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th…
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…
We develop a stochastic integration theory for predictable integrands with respect to a L\'evy basis. Our approach is based on decoupling inequalities for tangent sequences and reduces the construction of the stochastic integral essentially…
In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…