Searcharxiv⌕ Search

arXiv subjects

F. Loeser

Publications and source records attributed to F. Loeser.

At least 19 recordsLinked to original sources
arXiv2022

Non-archimedean integrals as limits of complex integrals

We explain how non-archimedean integrals considered by Chambert-Loir and Ducros naturally arise in asymptotics of families of complex integrals. To perform this analysis we work over a non-standard model of the field of complex numbers, which is endowed at the same time with an archimedean and a non-archimedean norm. Our main result states the existence of a natural morphism between bicomplexes of archimedean and non-archimedean forms which is compatible with integration.

math.AG↗
arXiv2016

Non-archimedean tame topology and stably dominated types

Let $V$ be a quasi-projective algebraic variety over a non-archimedean valued field. We introduce topological methods into the model theory of valued fields, define an analogue $\hat {V}$ of the Berkovich analytification $V^{an}$ of $V$, and deduce several new results on Berkovich spaces from it. In particular we show that $V^{an}$ retracts to a finite simplicial complex and is locally contractible, without any smoothness assumption on $V$. When $V$ varies in an algebraic family, we show that the homotopy type of $V^{an}$ takes only a finite number of values. The space $\hat {V}$ is obtained by defining a topology on the pro-definable set of stably dominated types on $V$. The key result is the construction of a pro-definable strong retraction of $\hat {V}$ to an o-minimal subspace, the skeleton, definably homeomorphic to a space definable over the value group with its piecewise linear structure.

math.AG↗
arXiv2015

Non-archimedean Yomdin-Gromov parametrizations and points of bounded height

We prove an analogue of the Yomdin-Gromov Lemma for $p$-adic definable sets and more broadly in a non-archimedean, definable context. This analogue keeps track of piecewise approximation by Taylor polynomials, a nontrivial aspect in the totally disconnected case. We apply this result to bound the number of rational points of bounded height on the transcendental part of $p$-adic subanalytic sets, and to bound the dimension of the set of complex polynomials of bounded degree lying on an algebraic variety defined over $\mathbb{C} ((t))$, in analogy to results by Pila and Wilkie, resp. by Bombieri and Pila. Along the way we prove, for definable functions in a general context of non-archimedean geometry, that local Lipschitz continuity implies piecewise global Lipschitz continuity.

math.AG↗
arXiv2013

Monodromy and the Lefschetz fixed point formula

We give a new proof - not using resolution of singularities - of a formula of Denef and the second author expressing the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs. Our proof uses l-adic cohomology of non-archimedean spaces, motivic integration and the Lefschetz fixed point formula for finite order automorphisms. We also consider a generalization due to Nicaise and Sebag and at the end of the paper we discuss connections with the motivic Serre invariant and the motivic Milnor fiber.

math.AG↗
arXiv2013

Chai's Conjecture and Fubini properties of dimensional motivic integration

We prove that a conjecture of Chai on the additivity of the base change conductor for semi-abelian varieties over a discretely valued field is equivalent to a Fubini property for the dimensions of certain motivic integrals. We prove this Fubini property when the valued field has characteristic zero.

math.AG↗
arXiv2012

Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero

We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded ramification. We also generalize the equicharacteristic zero case of loc. cit. by giving, in all residue characteristics, an axiomatic approach (instead of only using Denef-Pas languages) and by using richer angular component maps. In this setting we prove a general change of variables formula and a general Fubini Theorem. Our set-up can be specialized to previously known versions of motivic integration by e.g. the second author and J. Sebag and to classical p-adic integrals.

math.AG↗
arXiv2009

Local metric properties and regular stratifications of p-adic definable sets

We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points does exist. We then introduce the notion of distinguished tangent cone with respect to some open subgroup with finite index in the multiplicative group of our field and show, as it is the case in the real setting, that, up to some multiplicities, the local density may be computed on this distinguished tangent cone.We also prove that these distinguished tangent cones stabilize for small enough subgroups. We finally obtain the $p$-adic counterpart of the Cauchy-Crofton formula for the density. To prove these results we use the Lipschitz decomposition of definable $p$-adic sets of arXiv:0904.3853v1 and prove here the genericity of the regularity conditions for stratification such as $(w_f)$, $(w)$, $(a_f)$, $(b)$ and $(a)$ conditions.

math.LO↗
arXiv2009

Lipschitz continuity properties for p-adic semi-algebraic and subanalytic functions

We prove that a (globally) subanalytic p-adic function which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken subanalytic. We also prove the analogous result for a subanalytic family of functions depending on p-adic parameters. The statements also hold in a semi-algebraic set-up and also in finite extensions of the field of p-adic numbers. These results are p-adic analogues of results of K. Kurdyka over the real numbers. To encompass the total disconnectedness of p-adic fields, we need to introduce new methods adapted to the p-adic situation.

math.AG↗
arXiv2008

Constructible motivic functions and motivic integration

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration. These results have been announced in math.AG/0403349 and math.AG/0403350. Main results and statements unchanged. Many minor slips corrected and some details added.

math.AG↗
arXiv2008

$b$-minimality

We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell decomposition theorem for b-minimal structures. We show that b-minimality applies to the theory of Henselian valued fields of characteristic zero, generalizing work by Denef - Pas. Structures which are o-minimal, v-minimal, or p-minimal and which satisfy some slight extra conditions are also b-minimal, but b-minimality leaves more room for nontrivial expansions. The b-minimal setting is intended to be a natural framework for the construction of Euler characteristics and motivic or p-adic integrals. The b-minimal cell decomposition is a generalization of concepts of P. J. Cohen, J. Denef, and the link between cell decomposition and integration was first made by Denef.

math.LO↗
arXiv2007

A Scintillator Purification System for the Borexino Solar Neutrino Detector

Purification of the 278 tons of liquid scintillator and 889 tons of buffer shielding for the Borexino solar neutrino detector was performed with a system that combined distillation, water extraction, gas stripping and filtration. The purification of the scintillator achieved unprecedented low backgrounds for the large scale liquid scintillation detector. This paper describes the principles of operation, design, construction and commissioning of the purification system, and reviews the requirements and methods to achieve system cleanliness and leak-tightness.

physics.ins-det↗
arXiv2007

Transfer Principle for the Fundamental Lemma

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 collection of fields to others. In particular, once the fundamental lemma has been established for one collection of fields (for example, fields of positive characteristic), it is also valid for others (fields of characteristic zero).

math.RT↗
arXiv2007

The Nylon Scintillator Containment Vessels for the Borexino Solar Neutrino Experiment

Borexino is a solar neutrino experiment designed to observe the 0.86 MeV Be-7 neutrinos emitted in the pp cycle of the sun. Neutrinos will be detected by their elastic scattering on electrons in 100 tons of liquid scintillator. The neutrino event rate in the scintillator is expected to be low (~0.35 events per day per ton), and the signals will be at energies below 1.5 MeV, where background from natural radioactivity is prominent. Scintillation light produced by the recoil electrons is observed by an array of 2240 photomultiplier tubes. Because of the intrinsic radioactive contaminants in these PMTs, the liquid scintillator is shielded from them by a thick barrier of buffer fluid. A spherical vessel made of thin nylon film contains the scintillator, separating it from the surrounding buffer. The buffer region itself is divided into two concentric shells by a second nylon vessel in order to prevent inward diffusion of radon atoms. The radioactive background requirements for Borexino are challenging to meet, especially for the scintillator and these nylon vessels. Besides meeting requirements for low radioactivity, the nylon vessels must also satisfy requirements for mechanical, optical, and chemical properties. The present paper describes the research and development, construction, and installation of the nylon vessels for the Borexino experiment.

physics.ins-det↗
arXiv2005

Constructible exponential functions, motivic Fourier transform and transfer principle

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get various inversion statements. We define also motivic Schwartz-Bruhat spaces on which motivic Fourier transformation induces an isomorphism. Our motivic integrals specialize to non archimedian integrals. We give a general transfer principle comparing identities between functions defined by integrals over local fields of characteristic zero, resp. positive, having the same residue field. We also prove new results about p-adic integrals of exponential functions.

math.AG↗
arXiv2005

Fonctions constructibles exponentielles, transformation de Fourier motivique et principe de transfert

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get various inversion statements. We define also motivic Schwartz-Bruhat spaces on which motivic Fourier transformation induces an isomorphism. Our motivic integrals specialize to non archimedian integrals. We give a general transfer principle comparing identities between functions defined by integrals over local fields of characteristic zero, resp. positive, having the same residue field. Details of constructions and proofs will be given elsewhere.

math.NT↗