Related papers: Integration in valued fields
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…
We study irreducible specializations, in particular when group-preserving specializations may not exist. We obtain a criterion in terms of embedding problems. We include several applications to analogs of Schinzel's hypothesis H and to the…
We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows. We identify the induced structure on the residue field and show that once…
We investigate the interplay between invariant varieties of vector fields and the inflection locus of linear systems with respect to the vector field. Among the consequences of such investigation we obtain a computational criteria for the…
We study the integrability of polynomial vector fields using Galois theory of linear differential equations when the associated foliations is reduced to a Riccati type foliation. In particular we obtain integrability results for some…
The first two steps of the construction of motivic integration in the fundamental work of Hrushovski and Kazhdan have been presented in arXiv:1006.2467v1. In this paper we present the final third step. As in arXiv:1006.2467v1, we limit our…
We give formulas for the number of polynomials over a finite field with given root multiplicities, in particular in cases when the formula is surprisingly simple (a power of q). Besides this concrete interpretation, we also prove an…
Integrable quantum field theories in 1+1 dimensions have recently become amenable to a rigorous construction, but many questions about the structure of their local observables remain open. Our goal is to characterize these local observables…
We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual…
This work establishes a strong uniqueness property for a class of planar locally integrable vector fields. A result on pointwise convergence to the boundary value is also proved for bounded solutions.
In this paper we provide a geometric framework for the study of characters of depth-zero representations of unramified groups over local fields with finite residue fields which is built directly on Lusztig's theory of character sheaves for…
We explain how to use computer experiments over finite fields to gain heuristic information about the solution set of polynomial equations in characteristic zero. These are notes of a tutorial I gave at the NATO Advanced Study Institute on…
We study multivariate polynomials over `structured' grids. We begin by proposing an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend…
Discrete integrable equations over finite fields are investigated. The indeterminacy of the equation is resolved by treating it over a field of rational functions instead of the finite field itself. The main discussion concerns a…
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…
The purpose of this paper is to explain how the identities of various fundamental lemmas fall within the scope of the transfer principle, a general result that allows to transfer theorems about identities of p-adic integrals from one…
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
Let F be a non-Archimedean locally compact field with residual characteristic p, let G be an inner form of GL(n,F) for a positive integer n and let R be an algebraically closed field of characteristic different from p. When R has…
In the field of algebraic systems biology, the number of minimal polynomial models constructed using discretized data from an underlying system is related to the number of distinct reduced Gr\"obner bases for the ideal of the data points.…
Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of…