相关论文: Motivic L-Functions
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…
Lecture notes of lectures delivered at the Hodge Theory Summer School in ICTP Trieste, June 2010.
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…
This is an expository article based on my lectures on eigenfunctions of the Laplacian for the 2013 IAS/Park City Mathematics Institute (PCMI) summer school in geometric analysis. Many of the results are based on joint work with H.…
We develop a theory of modulus triples, for future motivic applications.
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…
This is a survey lecture note on the applications of Langlands functoriality which were obtained recently by some people at the Langalnds school. This lecture was delivered at the Department of Mathematics, Kyoto University, Japan on June…
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex…
The aim of this article is to develop the theory of motivic integration over Deligne-Mumford stacks and to apply it to the birational geometry of stacks.
At the 2023 Les Houches Summer School on Theoretical Biological Physics, several students asked for some background on information theory, and so we added a tutorial to the scheduled lectures. This is largely a transcript of that tutorial,…
This is a set of lecture notes for a course given at the 2005 Summer School in Poisson Geometry held at ICTP-Trieste.
This is a pedagogical review on polarized structure functions .
Given a pure motive $M$ over $\mathbb{Q}$ with a multilinear algebraic structure $\mathsf{s}$ on $M$, and given a representation $V$ of the group respecting $\mathsf{s}$, we describe a functorial transfer $M^V$. We formulate a criterion…
These notes are an account of a series of lectures given at the Les Houches Summer School "Active Matter and Non-equilibrium Statistical Physics" during August and September 2018. The lectures can be viewed online at…
We present a novel approach for teaching logic and the metatheory of logic to students who have some experience with functional programming. We define concepts in logic as a series of functional programs in the language of the proof…
We associate motivic zeta functions to a large class of infinite dimensional Lie algebras
In this paper we introduce and study motives for rational homotopy types.
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms…
Lecture notes given at the summer school ``Applications of random matrices to physics", Les Houches, June 2004.
These are notes from the 2003 C.I.M.E. summer school "symplectic 4-manifolds and algebraic surfaces". They cover the same material as the author's (by now ancient) Ph.D. thesis.