Related papers: Integration motivique sur les schemas formels
For a formal scheme over a complete discrete valuation ring with a good action of a finite group, we define equivariant motivic integration, and we prove a change of variable formula for that.To do so, we construct and examine an induced…
We develop the motivic integration theory over formal Deligne-Mumford stacks over a power series ring of arbitrary characteristic. This is a generalization of the corresponding theory for tame and smooth Deligne-Mumford stacks constructed…
I propose a notion of theory motivated by Category theory.
We think about what the subscheme of the formal scheme is. Differently form the ordinary scheme, the formal scheme has different notions of ``subscheme''. We lay a foundation for these notions and compare them. We also relate them to…
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…
We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series…
In this paper we introduce and study motives for rational homotopy types.
We present a general, functorial approach to Motivic Integration for separated schemes of finite type in lieu of recent work by Hans Schoutens on the subject. Presented is a change of variables formula and a hierarchy of stability…
We define a motivic measure on the Berkovich analytification of an algebraic variety defined over a trivially valued field, and introduce motivic integration in this setting. The construction is geometric with a similar spirit as…
This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.
We discuss duality pairings on integral \'etale motivic cohomology groups of regular and proper schemes over algebraically closed fields, local fields, finite fields, and arithmetic schemes.
This article gives an introduction to arithmetic motivic integration in the context of p-adic integrals that arise in representation theory. A special case of the fundamental lemma is interpreted as an identity of Chow motives.
In this paper, we construct the motivic exceptional direct image functors for fs log schemes. This construction is a part of the motivic six-functor formalism for fs log schemes.
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded…
Thanks to Hrushovski-Loeser's work on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom-Sebastiani theorem in the case of regular functions. Moreover, slightly extending of Hrushovski-Loeser's construction adjusted…
We discuss how the motivic integration will be generalized to wild Deligne-Mumford stacks, that is, stabilizers may have order divisible by the characteristic of the base or residue field. We pose several conjectures on this topic. We also…
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…
These are notes of a series of talks about motivic integration I gave on the M\"unster Model Theory Month. Readers are assumed to have some basic knowledge of model theory and of valued fields. The notes are closest to the Cluckers-Loeser…
We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge…
We prove in this paper the original version of Kontsevich and Soibelman's motivic integral identity conjecture for formal functions by developing a novel framework for equivariant motivic integration on special rigid varieties. This theory…