Results 1  10
of
96
Germs of Arcs on Singular Algebraic Varieties and Motivic Integration
, 1999
"... Introduction Let k be a field of characteristic zero. We denote by M the Grothendieck ring of algebraic varieties over k (i.e. reduced separated schemes of finite type over k). It is the ring generated by symbols [S], for S an algebraic variety over k, with the relations [S] = [S 0 ] if S is iso ..."
Abstract

Cited by 183 (22 self)
 Add to MetaCart
Introduction Let k be a field of characteristic zero. We denote by M the Grothendieck ring of algebraic varieties over k (i.e. reduced separated schemes of finite type over k). It is the ring generated by symbols [S], for S an algebraic variety over k, with the relations [S] = [S 0 ] if S is isomorphic to S 0 , [S] = [S n S 0 ] + [S 0 ] if S 0 is closed in S and [S \Theta S 0 ] = [S] [S 0 ]. Note that, for S an algebraic variety over k, the mapping S 0 7! [S 0 ] from the
A Model Complete Theory Of Valued DFields
 J. Symbolic Logic
, 1999
"... The notion of a Dring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochenErshov principle is proven for a theory of valued Dfields of residual characteristic zero. The model theory of differential and difference fields has ..."
Abstract

Cited by 30 (10 self)
 Add to MetaCart
The notion of a Dring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochenErshov principle is proven for a theory of valued Dfields of residual characteristic zero. The model theory of differential and difference fields has been extensively studied (see for example [7, 3]) and valued fields have proven to be amenable to model theoretic analysis (see for example [1, 2]). In this paper we subject a theory of valued fields possessing either a derivation or an automorphism interacting strongly with the valuation to such an analysis. Our theory differs from C. Michaux's theory of henselian differential elds [8] on this last point: in his theory, the valuation and derivation have a very weak interaction. In Section 1 we introduce the notion of a Dfield and show that a differential ring may be regarded as a specialization of a difference ring. This formal connection supports the view that differential and difference algebr...
Analytic cell decomposition and analytic motivic integration
 ANN. SCI. ÉCOLE NORM. SUP
, 2006
"... ..."
(Show Context)
Constructible exponential functions, motivic Fourier transform and transfer principle
, 2010
"... ..."
(Show Context)
Decidability of the isomorphism problem for stationary AFalgebras
, 1999
"... The notion of isomorphism of stable AFC ∗algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e., is associated with a single square primitive nonsingular incidence matrix. C∗isomorphism induces an equivalence relation on these matrices, call ..."
Abstract

Cited by 16 (4 self)
 Add to MetaCart
The notion of isomorphism of stable AFC ∗algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e., is associated with a single square primitive nonsingular incidence matrix. C∗isomorphism induces an equivalence relation on these matrices, called C ∗equivalence. We show that the associated isomorphism equivalence problem is decidable, i.e., there is an algorithm that can be used to check in a finite number of steps whether two given primitive nonsingular matrices are C∗equivalent or not.
Consani Characteristic 1, entropy and the absolute point
, 1997
"... We show that the mathematical meaning of working in characteristic one is directly connected to the fields of idempotent analysis and tropical algebraic geometry and we relate this idea to the notion of the absolute point Spec F1. After introducing the notion of “perfect” semiring of characteristi ..."
Abstract

Cited by 15 (6 self)
 Add to MetaCart
(Show Context)
We show that the mathematical meaning of working in characteristic one is directly connected to the fields of idempotent analysis and tropical algebraic geometry and we relate this idea to the notion of the absolute point Spec F1. After introducing the notion of “perfect” semiring of characteristic one, we explain how to adapt the construction of the Witt ring in characteristic p> 1 to the limit case of characteristic one. This construction also unveils an interesting connection with entropy and thermodynamics, while shedding a new light on the classical Witt construction itself. We simplify our earlier construction of the geometric realization of an F1scheme and extend our earlier computations of the zeta function to cover the case of F1schemes with torsion. Then, we show that the study of the additive structures on monoids provides a natural map M ↦ → A(M) from monoids to sets which comes close to fulfill the requirements for the hypothetical curve Spec Z over the absolute point Spec F1. Finally, we test the computation of the zeta function on elliptic