Related papers: A motivic Fundamental Lemma

We prove the Poisson geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result is also a generalization of Conn's linearization theorem from one-point leaves to…

In arXiv:1408.4708, Xu defines the dlt motivic zeta function associated to a regular function $f$ on a smooth variety $X$ over a field of characteristic zero. This is an adaptation of the classical motivic zeta function that was introduced…

The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper…

We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic…

In this paper we show, using Deligne-Lusztig theory and Kawanaka's theory of generalised Gelfand-Graev representations, that the decomposition matrix of the special linear and unitary group in non defining characteristic can be made…

Ioffe's criterion and various reformulations of it have become a~standard tool in proving theorems guaranteeing metric regularity of a (set-valued) mapping. First, we demonstrate that one should always use directly the so-called general…

The field of $p$-adic numbers $\mathbb{Q}_p$ and the ring of $p$-adic integers $\mathbb{Z}_p$ are essential constructions of modern number theory. Hensel's lemma, described by Gouv\^ea as the "most important algebraic property of the…

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…

We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes…

For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that…

We construct motivic power operations on the mod-$p$ motivic cohomology of $\Fb_p$-schemes using a motivic refinement of Nizio{\l}'s theorem. The key input is a purity theorem for motivic cohomology established by Levine. Our operations…

The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which…

In this paper we make a series of numerical experiments to support Greenberg's $p$-rationality conjecture, we present a family of $p$-rational biquadratic fields and we find new examples of $p$-rational multiquadratic fields. In the case of…

We prove a variant of the abstract probabilistic version of Szemer\'edi's regularity lemma, due to Tao, which applies to a number of structures (including graphs, hypergraphs, hypercubes, graphons, and many more) and works for random…

Proving lemmas in synthetic geometry is often a time-consuming endeavour since many intermediate lemmas need to be proven before interesting results can be obtained. Improvements in automated theorem provers (ATP) in recent years now mean…

Motivic Serre invariants defined by Loeser and Sebag are elements of the Grothendieck ring of varities modulo $\mathbb{L}-1$. In this paper, we show that we can lift these invariants to modulo the square of $\mathbb{L}-1$ after tensoring…

We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…

Using the theory of framed correspondences developed by Voevodsky, we introduce and study framed motives of algebraic varieties. They are the major computational tool for constructing an explicit quasi-fibrant motivic replacement of the…

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…

We develop the Denef-Loeser motivic integration to the equivariant motivic integration and use it to prove the full integral identity conjecture for regular functions.