Integration of positive constructible functions against Euler characteristic and dimension

Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411-416] on motivic integration, we develop a direct image formalism for positive constructible functions in the globally subanalytic context. This formalism is generalized to arbitrary first-order logic models and is illustrated by several examples on the p-adics, on the Presburger structure and on o-minimal expansions of groups. Furthermore, within this formalism, we define the Radon transform and prove the corresponding inversion formula.     

Fonctions constructibles et intégration motivique I

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. To cite this article: R. Cluckers, F. Loeser, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Nondegenerate Semiramified Valued and Graded Division Algebras

The main goal of this article is to give examples of division p-algebras that are not tensor product of cyclic algebras (Corollary 2.19) and to prove that nondegenerate tame semiramified division algebras of prime power degree over a Henselian valued field are indecomposable (Theorem 3.5). For this, we give new results concerning nicely semiramified division algebras over Henselian valued fields, and we develop a new study for nondegenerate valued and graded division algebras.     

The global monodromy property for K3 surfaces allowing a triple-point-free model

Inspired by the motivic monodromy conjecture, Halle and Nicaise defined the global monodromy property for Calabi–Yau varieties over a discretely valued field. In this note, we discuss this property for K3 surfaces allowing a strict normal crossings model where no three components in the special fiber have a common intersection. The main result is that the global monodromy property holds for a K3 surface with a so-called flowerpot degeneration. It also holds for K3 surfaces with a chain degeneration under certain conditions.     

First integrals and normal forms for germs of analytic vector fields

For a germ of analytic vector fields, the existence of first integrals, resonance and the convergence of normalization transforming the vector field to a normal form are closely related. In this paper we first provide a link between the number of first integrals and the resonant relations for a quasi-periodic vector field, which generalizes one of the Poincaré's classical results [H. Poincaré, Sur l'intégration des équations différentielles du premier order et du premier degré I and II, Rend. Circ. Mat. Palermo 5 (1891) 161-191; 11 (1897) 193-239] on autonomous systems and Theorem 5 of [Weigu Li, J. Llibre, Xiang Zhang, Local first integrals of differential systems and diffeomorphism, Z. Angew. Math. Phys. 54 (2003) 235-255] on periodic systems. Then in the space of analytic autonomous systems in C2n with exactly n resonances and n functionally independent first integrals, our results are related to the convergence and generic divergence of the normalizations. Lastly for a planar Hamiltonian system it is well known that the system has an isochronous center if and only if it can be linearizable in a neighborhood of the center. Using the Euler-Lagrange equation we provide a new approach to its proof.     

K-Theory of Surfaces at the Prime 2

We prove that for smooth surfaces over real closed fields, and a class of smooth projective surfaces over a real number field, the map between mod 2 algebraic and étale K-theory is an isomorphism in sufficiently large degrees. For a class of smooth projective surfaces over a real closed field, including rational surfaces, complete intersections and K3-surfaces over the real numbers, we explicate the abutment of the mod 2 motivic cohomology to algebraic K-theory spectral sequence.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Discriminants of orthogonal involutions on central simple algebras with tame gauges

In this article we generalize the results of Chacron et al. (1995) [4] concerning the computation of the discriminants of involutions of the first kind on central division algebras over Henselian valued fields of residue characteristic different from 2. We prove analogous results for orthogonal involutions on tame central simple algebras with simple residue algebras over a wide class of Henselian valued fields of arbitrary residue characteristic (see Corollary 2.18).     

Applications of patching to quadratic forms and central simple algebras

This paper provides applications of patching to quadratic forms and central simple algebras over function fields of curves over Henselian valued fields. In particular, we use a patching approach to reprove and generalize a recent result of Parimala and Suresh (in Preprint , 2007) on the u-invariant of p-adic function fields, p≠2. The strategy relies on a local-global principle for homogeneous spaces for rational algebraic groups, combined with local computations.     

On the indices of curves over local fields

Fix a non-negative integer g and a positive integer I dividing 2g − 2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C _/K of genus g and index I. This is obtained via a systematic analysis of local points on arithmetic surfaces with semistable reduction. Applications are discussed to the corresponding problem over number fields.     

Positive convolution structure for a class of Heckman-Opdam hypergeometric functions of type BC

In this paper, we derive explicit product formulas and positive convolution structures for three continuous classes of Heckman-Opdam hypergeometric functions of type BC. For specific discrete series of multiplicities these hypergeometric functions occur as the spherical functions of non-compact Grassmann manifolds G/K over one of the skew fields F=R,C,H. We write the product formula of these spherical functions in an explicit form which allows analytic continuation with respect to the parameters. In each of the three cases, we obtain a series of hypergroup algebras which include the commutative convolution algebras of K-biinvariant functions on G as special cases. The characters are given by the associated hypergeometric functions.     

On absolute Galois splitting fields of central simple algebras

A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper proves an existence theorem for such fields over global fields with enough roots of unity. As an application, all twisted function fields and all twisted Laurent series rings over symbol algebras (or p-algebras) over global fields are crossed products. An analogous statement holds for division algebras over Henselian valued fields with global residue field.The existence of absolute Galois splitting fields in central simple algebras over global fields is equivalent to a suitable generalization of the weak Grunwald-Wang theorem, which is proved to hold if enough roots of unity are present. In general, it does not hold and counter examples have been used in noncrossed product constructions. This paper shows in particular that a certain computational difficulty involved in the construction of explicit examples of noncrossed product twisted Laurent series rings cannot be avoided by starting the construction with a symbol algebra.     

Finiteness theorems for the shifted Witt and higher Grothendieck–Witt groups of arithmetic schemes

For smooth varieties over finite fields, we prove that the shifted (aka derived) Witt groups of surfaces are finite and the higher Grothendieck–Witt groups (aka Hermitian K-theory) of curves are finitely generated. For more general arithmetic schemes, we give conditional results, for example, finite generation of the motivic cohomology groups implies finite generation of the Grothendieck–Witt groups.     

Two theorems on defect-freeness for cyclic extensions

The article contains the proofs of two theorems. Under quite special assumptions, we prove that the p-cyclic extensions of Henselian valued fields are defect-free. However, the well-known results by Epp and Kuhlmann are easy consequences of these theorems.     

Rigid cohomology via the tilting equivalence

We define a de Rham cohomology theory for analytic varieties over a valued field $K^{?}$ of equal characteristic p with coefficients in a chosen untilt of the perfection of $K^{?}$ by means of the motivic version of Scholze's tilting equivalence. We show that this definition generalizes the usual rigid cohomology in case the variety has good reduction. We also prove a conjecture of Ayoub yielding an equivalence between rigid analytic motives with good reduction and unipotent algebraic motives over the residue field, also in mixed characteristic.     

Algebraic properties of separated power series

We study the commutative algebra of rings of separated power series over a ring E and that of their extensions: rings of separated (and more specifically convergent) power series from a field K with a separated E-analytic structure. Both of these collections of rings already play an important role in the model theory of non-Archimedean valued fields and we establish their algebraic properties. This will make a study of the analytic geometry over such fields through the classical methods of algebraic geometry possible.     

Polynomial normal forms with exponentially small remainder for analytic vector fields

A key tool in the study of the dynamics of vector fields near an equilibrium point is the theory of normal forms, invented by Poincaré, which gives simple forms to which a vector field can be reduced close to the equilibrium. In the class of formal vector valued vector fields the problem can be easily solved, whereas in the class of analytic vector fields divergence of the power series giving the normalizing transformation generally occurs. Nevertheless the study of the dynamics in a neighborhood of the origin can very often be carried out via a normalization up to finite order. This paper is devoted to the problem of optimal truncation of normal forms for analytic vector fields in R^m. More precisely we prove that for any vector field in R^m admitting the origin as a fixed point with a semi-simple linearization, the order of the normal form can be optimized so that the remainder is exponentially small. We also give several examples of non-semi-simple linearization for which this result is still true.     

Motivic zeta functions of abelian varieties, and the monodromy conjecture

We prove for abelian varieties a global form of Denef and Loeser?s motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety A over a complete discretely valued field with algebraically closed residue field, its motivic zeta function has a unique pole at Chai?s base change conductor c(A) of A, and that the order of this pole equals one plus the potential toric rank of A. Moreover, we show that for every embedding of Q? in C, the value exp(2πic(A)) is an ?-adic tame monodromy eigenvalue of A. The main tool in the paper is Edixhoven?s filtration on the special fiber of the Néron model of A, which measures the behavior of the Néron model under tame base change.     

Stochastic processes and their spectral representations over non-archimedean fields

In this paper, we study stochastic processes with values in finite- and infinite-dimensional vector spaces over infinite fields K of zero characteristic with nontrivial non-Archimedean norms. For different types of stochastic processes controlled by measures with values in K and in complete topological vector spaces over K, we study stochastic integrals, vector-valued measures, and integrals in spaces over K. We also prove theorems on spectral decompositions of non-Archimedean stochastic processes.