This is the web-page of the reading group dedicated to the study of Hrushovski-Kazhdan and Cluckers-Loeser motivic integration frameworks.

Date | Speaker | Subject |
---|---|---|

Feb 2 | Dmitry | HK: quantifier elimination, definitions of Grothendieck semirings, dimensions, the morphism L. descent to RV |

Feb 16 | Arthur | HK: Well-definedness of L, special bijections. |

Mar 2 | Arthur | HK: Special bijections, continuation. (first half of section 7) |

Mar 9 | Dmitry | HK: RV-blowups, kernel of L. Orthogonality between residue field and \Gama. isomorphism between K_+ RV and K_+ RES \otimes K_+ \Gamma. |

Apr 6 | ?? | HK: differentiation in VF and RV, integration with definable volume forms |

Apr 13 | Dmitry, Jorge | HK: injectivity of morphism K_RES \otimes K_+ \Gamma \to
K_+ \RV
forms CL: introduction |

HK: Integration with an additive character. | ||

CL: Denef-Pas cell decomposition, jacobian property, constructible functions (without exponential) | ||

CL: Constructible exponential functions, push-forward for auxiliary variables | ||

CL: Axioms of integration, integrals in relative dimension 1. | ||

CL: General integrals, Fubini Integration with an additive character. |

- Ehud Hrushovski and David Kazhdan. Integraton in algebraically closed valued fields
- Ehud Hrushovski and François Loeser. Monodromy and the Lefschetz fixed point formula
- Yimu Yin. Integration in ACVF
- Yimu Yin. Special transformations in ACVF
- Yimu Yin. Integration in ACVF with sections.
- Yimu Yin. Fourier transform of the additive group in algebraically closed valued fields.

- Raf Cluckers and François Loeser. Constructible exponential functions, motivic Fourier transform and transfer principle (doi)
- Raf Cluckers and François Loeser. Constructible motivic functions and motivic integration.
- Raf Cluckers and François Loeser. Ax-Kochen-Ersov theorems for p-adic integrals and motivic integration.
- Julia Gordan and Yoav Yaffe. An overview of arithmetic motivic integration.