Source author record

Raf Cluckers

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.AG math.NT math.RT math.FA math.CA math.GR

Catalog footprint

Research overview

19works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Hensel minimality I

We present a framework for tame geometry on Henselian valued fields which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and applications for Hensel minimal structures that were previously known only under stronger, less axiomatic assumptions. We show existence of t-stratifications in Hensel minimal structures and Taylor approximation results which are key to non-archimedean versions of Pila-Wilkie point counting, Yomdin's parameterization results and to motivic integration. In this first paper we work in equi-characteristic zero; in the sequel paper, we develop the mixed characteristic case and a diophantine application.

preprint2020arXiv

A $p$ -adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration

We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$ -adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a $p$ -adic analogue of a question asked by Kontsevich-Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over $\mathbb{Q}_p$ , universal motivic integration (in the sense of Hrushovski-Kazhdan) is just $p$ -adic integration.

preprint2019arXiv

The dimension growth conjecture, polynomial in the degree and without logarithmic factors

We address Heath-Brown's and Serre's dimension growth conjecture (proved by Salberger), when the degree $d$ grows. Recall that Salberger's dimension growth results give bounds of the form $O_{X, \varepsilon} (B^{\dim X+\varepsilon})$ for the number of rational points of height at most $B$ on any integral subvariety $X$ of ${\mathbb P}^n_{\mathbb Q}$ of degree $d\geq 2$ , where one can write $O_{d,n, \varepsilon}$ instead of $O_{X, \varepsilon}$ as soon as $d\geq 4$ . Our main contribution is to remove the factor $B^\varepsilon$ as soon as $d \geq 5$ , without introducing a factor $\log B$ , while moreover obtaining polynomial dependence on $d$ of the implied constant. Working polynomially in $d$ allows us to give a self-contained and slightly simplified treatment of dimension growth for degree $d \geq 16$ , while in the range $5 \leq d \leq 15$ we invoke results by Browning, Heath-Brown and Salberger. Along the way we improve the well-known bounds due to Bombieri and Pila on the number of integral points of bounded height on affine curves and those by Walsh on the number of rational points of bounded height on projective curves. The former improvement leads to a slight sharpening of a recent estimate due to Bhargava, Shankar, Taniguchi, Thorne, Tsimerman and Zhao on the size of the $2$ -torsion subgroup of the class group of a degree $d$ number field. Our treatment builds on recent work by Salberger which brings in many primes in Heath-Brown's variant of the determinant method, and on recent work by Walsh and Ellenberg--Venkatesh, who bring in the size of the defining polynomial. We also obtain lower bounds showing that one cannot do better than polynomial dependence on $d$ .

preprint2019arXiv

Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields

We prove a uniform version of non-Archimedean Yomdin-Gromov parametrizations in a definable context with algebraic Skolem functions in the residue field. The parametrization result allows us to bound the number of F_q[t]-points of bounded degrees of algebraic varieties, uniformly in the cardinality q of the finite field F_q and the degree, generalizing work by Sedunova for fixed q. We also deduce a uniform non-Archimedean Pila-Wilkie theorem, generalizing work by Cluckers-Comte-Loeser.

preprint2015arXiv

A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ . This is analogous, but more easy, to Kirszbraun's Theorem about the existence of Lipschitz extensions of Lipschitz maps $S\subset \mathbb{R}^n\to \mathbb{R}^\ell$ . Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun's Theorem. In the present paper, we prove in the $p$ -adic context that $\widetilde f$ can be taken definable when $f$ is definable, where definable means semi-algebraic or subanalytic (or, some intermediary notion). We proceed by proving the existence of definable, Lipschitz retractions of $\mathbb{Q}_p^n$ to the topological closure of $X$ when $X$ is definable.

preprint2014arXiv

Bounds for p-adic exponential sums and log-canonical thresholds

We propose a conjecture for exponential sums which generalizes both a conjecture by Igusa and a local variant by Denef and Sperber, in particular, it is without the homogeneity condition on the polynomial in the phase, and with new predicted uniform behavior. The exponential sums have summation sets consisting of integers modulo $p^m$ lying $p$ -adically close to $y$ , and the proposed bounds are uniform in $p$ , $y$ , and $m$ . We give evidence for the conjecture, by showing uniform bounds in $p$ , $y$ , and in some values for $m$ . On the way, we prove new bounds for log-canonical thresholds which are closely related to the bounds predicted by the conjecture.

preprint2014arXiv

Strictly convergent analytic structures

We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on $p$ -adic subanalytic sets, and we continue the study of non-archimedean fields with analytic structure of [LR3], [CLR1] and [CL1]. We show that the language $L_K$ consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field $K$ can be expanded, in a definitial way, to a larger language corresponding to an analytic structure (with separated power series) from [CL1], hence inheriting all properties from loc. cit., including geometric properties for the definable sets like certain forms of quantifier elimination. Our expansion comes from adding specific, existentially definable functions, which are solutions of certain henselian systems of equations. Moreover, we show that, even when $K$ is algebraically closed, one does not have quantifier elimination in $L_K$ itself, and hence, passing to expansions is unavoidable in general. We pursue this study in the wider generality of extending non-separated power series rings to separated ones, and give new examples, in particular of the analytic structure over $\mathbb{Z}[[t]]$ that can be interpreted and understood now in all complete valued fields. In a separate direction, we show in rather large generality that Weierstrass preparation implies Weierstrass division.

preprint2014arXiv

Transfer principles for Bounds of motivic exponential functions

We study transfer principles for upper bounds of motivic exponential functions and for linear combinations of such functions, directly generalizing the transfer principles from [7] by Cluckers-Loeser and [13, Appendix B] by Shin-Templier (appendix B by Cluckers-Gordon-Halupczok). These functions come from rather general oscillatory integrals on local fields, and can be used to describe e.g. Fourier transforms of orbital integrals. One of our techniques consists in reducing to simpler functions where the oscillation only comes from the residue field.

preprint2013arXiv

Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

We call a function "constructible" if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. Our main theorem gives uniform bounds on the decay of parameterized families of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function, assuming that the amplitude function is integrable and that the phase function satisfies a certain natural condition called the hyperplane condition. As a simple application of this theorem, we also show that any continuous, integrable, constructible function of a single variable has an integrable Fourier transform.

preprint2013arXiv

Integrability of oscillatory functions on local fields: transfer principles

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 depends on the isomorphism class of the residue field of the local field, once the characteristic of the residue field is large enough. This principle yields general local integrability results for Harish-Chandra characters in positive characteristic as we show in other work. Transfer principles for related conditions such as boundedness and local integrability are also obtained. The proofs rely on a thorough study of loci of integrability, to which we give a geometric meaning by relating them to zero loci of functions of a specific kind.

preprint2013arXiv

Local integrability results in harmonic analysis on reductive groups in large positive characteristic

Let $G$ be a connected reductive algebraic group over a non-Archimedean local field $K$ , and let $g$ be its Lie algebra. By a theorem of Harish-Chandra, if $K$ has characteristic zero, the Fourier transforms of orbital integrals are represented on the set of regular elements in $g(K)$ by locally constant functions, which, extended by zero to all of $g(K)$ , are locally integrable. In this paper, we prove that these functions are in fact specializations of constructible motivic exponential functions. Combining this with the Transfer Principle for integrability [R. Cluckers, J. Gordon, I. Halupczok, "Transfer principles for integrability and boundedness conditions for motivic exponential functions", preprint arXiv:1111.4405], we obtain that Harish-Chandra's theorem holds also when $K$ is a non-Archimedean local field of sufficiently large positive characteristic. Under the hypothesis on the existence of the mock exponential map, this also implies local integrability of Harish-Chandra characters of admissible representations of $G(K)$ , where $K$ is an equicharacteristic field of sufficiently large (depending on the root datum of $G$ ) characteristic.

preprint2013arXiv

Motivic functions, integrability, and uniform in p bounds for orbital integrals

This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and simplify the definitions, to make these results easily accessible to non-model theorists.

preprint2013arXiv

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition by an existential formula and neither by a universal formula for the valuation rings of all the finite extensions of a given Henselian valued field. We also show that there is no existential formula of the ring language defining Z_p inside Q_p uniformly for all p. For any fixed finite extension of Q_p, we give an existential formula and a universal formula in the ring language which define the valuation ring.

preprint2012arXiv

Lebesgue classes and preparation of real constructible functions

We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q > 0$ and constructible functions $f$ and $μ$ on $E\times\RR^n$, we prove a theorem describing the structure of the set of all $(x,p)$ in $E \times (0,\infty]$ for which $y \mapsto f(x,y)$ is in $L^p(|μ|_{x}^{q})$ , where $|μ|_{x}^{q}$ is the positive measure on $\RR^n$ whose Radon-Nikodym derivative with respect to the Lebesgue measure is $y\mapsto |μ(x,y)|^q$ . We also prove a closely related preparation theorem for $f$ and $μ$ . These results relate analysis (the study of $L^p$ -spaces) with geometry (the study of zero loci).

preprint2011arXiv

Quantifier elimination in ordered abelian groups

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in the group is a union of a family of quantifier free definable sets, where the parameter of the family runs over a set definable (with quantifiers) in a sort which carries the structure of an ordered set with some additional unary predicates. As a corollary, we find that all definable functions in ordered abelian groups are piecewise affine linear on finitely many definable pieces.

preprint2010arXiv

Analytic van der Corput Lemma for p-adic and F_q((t)) oscillatory integrals, singular Fourier transforms, and restriction theorems

We give the p-adic and F_q((t)) analogue of the real van der Corput Lemma, where the real condition of sufficient smoothness for the phase is replaced by the condition that the phase is a convergent power series. This van der Corput style result allows us, in analogy to the real situation, to study singular Fourier transforms on suitably curved (analytic) manifolds and opens the way for further applications. As one such further application we give the restriction theorem for Fourier transforms of L^p functions to suitably curved analytic manifolds over non-archimedean local fields, similar to the real restriction result by E. Stein and C. Fefferman.

preprint2010arXiv

Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry

It was already known that a p-adic, locally Lipschitz continuous semi-algebraic function is piecewise Lipschitz continuous, where the pieces can be taken semi-algebraic. We prove that if the function has locally Lipschitz constant 1, then it is also piecewise Lipschitz continuous with the same Lipschitz constant 1. We do this by proving the following fine preparation results for p-adic semi-algebraic functions in one variable. Any such function can be well approximated by a monomial with fractional exponent such that moreover the derivative of the monomial is an approximation of the derivative of the function. We also prove these results in parametrized versions and in the subanalytic setting.

preprint2010arXiv

The Howe-Moore property for real and p-adic groups

We consider in this paper a relative version of the Howe-Moore Property, about vanishing at infinity of coefficients of unitary representations. We characterize this property in terms of ergodic measure-preserving actions. We also characterize, for linear Lie groups or p-adic Lie groups, the pairs with the relative Howe-Moore Property with respect to a closed, normal subgroup. This involves, in one direction, structural results on locally compact groups all of whose proper closed characteristic subgroups are compact, and, in the other direction, some results about the vanishing at infinity of oscillatory integrals.

preprint2006arXiv

Real closed fields with nonstandard and standard analytic structure

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o-minimality in the corresponding language. We extend these constructions and results to rank n ordered fields \bR_n (the maximal completions of iterated Puiseux series fields). We generalize the example of Hrushovski and Peterzil [HP] of a sentence which is not true in any o-minimal expansion of \bR (shown in [LR3] to be true in an o-minimal expansion of the Puiseux series field) to a tower of examples of sentences σ_n, true in \bR_n, but not true in any o-minimal expansion of any of the fields \bR,\bR_1,...,\bR_{n-1}.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Raf Cluckers

Research overview

Is this your work?

19 publications

Hensel minimality I

A $p$ -adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration

The dimension growth conjecture, polynomial in the degree and without logarithmic factors

Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields

A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

Bounds for p-adic exponential sums and log-canonical thresholds

Strictly convergent analytic structures

Transfer principles for Bounds of motivic exponential functions

Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

Integrability of oscillatory functions on local fields: transfer principles

Local integrability results in harmonic analysis on reductive groups in large positive characteristic

Motivic functions, integrability, and uniform in p bounds for orbital integrals

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Lebesgue classes and preparation of real constructible functions

Quantifier elimination in ordered abelian groups

Analytic van der Corput Lemma for p-adic and F_q((t)) oscillatory integrals, singular Fourier transforms, and restriction theorems

Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry

The Howe-Moore property for real and p-adic groups

Real closed fields with nonstandard and standard analytic structure

See the researcher in context

Building this map preview

Raf Cluckers

Research overview

Is this your work?

19 publications

Hensel minimality I

A ppp-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration

The dimension growth conjecture, polynomial in the degree and without logarithmic factors

Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields

A definable, p-adic analogue of Kirszbraun's Theorem on extensions of Lipschitz maps

Bounds for p-adic exponential sums and log-canonical thresholds

Strictly convergent analytic structures

Transfer principles for Bounds of motivic exponential functions

Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

Integrability of oscillatory functions on local fields: transfer principles

Local integrability results in harmonic analysis on reductive groups in large positive characteristic

Motivic functions, integrability, and uniform in p bounds for orbital integrals

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Lebesgue classes and preparation of real constructible functions

Quantifier elimination in ordered abelian groups

Analytic van der Corput Lemma for p-adic and F_q((t)) oscillatory integrals, singular Fourier transforms, and restriction theorems

Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry

The Howe-Moore property for real and p-adic groups

Real closed fields with nonstandard and standard analytic structure

See the researcher in context

Building this map preview

A $p$ -adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration