Related papers: An Introduction to Motivic Integration
Inspired by p-adic (and real) principal value integrals, we introduce motivic principal value integrals associated to multi-valued rational differential forms on smooth algebraic varieties. We investigate the natural question whether (for…
This is an overview and a preview of the theory of "mixed motives of level 1" explaining some results, projects, ideas and indicating a bunch of problems.
This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results \`a la Ax-Kochen-Er{\v{s}}ov to $p$-adic integrals in a motivic…
This is the text of an introductory lecture delivered at the IHES summer school on motives in July, 2006.
The present work is devoted to the study of motivic integration on quotient singularities. We give a new proof of a form of the McKay correspondence previously proved by Batyrev. The paper contains also some general results on motivic…
We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow…
Motivic characteristic classes of possibly singular algebraic varieties are homology class versions of motivic characteristics, not classes in the so-called motivic (co)homology. This paper is a survey on them with more emphasis on…
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
Reasoning is an important task for large language models (LLMs). Among all the reasoning paradigms, inductive reasoning is one of the fundamental types, which is characterized by its particular-to-general thinking process and the…
The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a…
In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…
Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible…
We provide a gentle introduction to arc spaces, motivic integration and stringy invariants. We explain the basic concepts and first results, including the p-adic number theoretic pre-history, and we provide concrete examples. The text is a…
We prove a motivic enhancement of the classical Picard--Lefschetz formula. Our proof is completely motivic, and yields a description of the motivic nearby cycles at a quasi-homogeneous singularity, as well as its monodromy, in terms of an…
In this course we introduce the main notions relative to the classical theory of modular forms. A complete treatise in a similar style can be found in the author's book joint with F. Str{\"o}mberg [1].
We develop notions of integrable functions within the theory of schemic 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…
The deepest arithmetic invariants attached to an algebraic variety defined over a number field $F$ are conjecturally captured by the integral part of its motivic cohomology. There are essentially two ways of defining it when $X$ is a smooth…
By associating a `motivic integral' to every complex projective variety X with at worst canonical, Gorenstein singularities, Kontsevich proved that, when there exists a crepant resolution of singularities Y of X, the Hodge numbers of Y do…
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain…