Related papers: Log motivic exceptional direct image functors
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
The logarithmic model offers new tools for image processing. An efficient method for image enhancement is to use an affine transformation with the logarithmic operations: addition and scalar multiplication. We define some criteria for…
We give, for a complex algebraic variety $S$, a Hodge realization functor $\mathcal F_S^{Hdg}$ from the derived category of constructible motives $DA_c(S)$ to the derived category $D(MHM(S))$ of algebraic mixed Hodge modules over $S$.…
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.
We constructed some tensor functors that send each exceptional sequence in a module category to another exceptional sequence in another module category by using split extensions and recollements.
In this article, we study the properties of motivic homotopy category $\mathcal{SH}_{\operatorname{ext}}(\mathcal{X})$ developed by Chowdhury and Khan-Ravi for $\mathcal{X}$ a Nis-loc Stack. In particular, we compare the above construction…
In this article, we study the commutativity between the pull-back and the push-forward functors on constructible functions in Cluckers--Loeser motivic integration.
We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the…
We introduce coefficient systems of pro-\'etale motives and pro-\'etale motivic spectra with coefficients in any condensed ring spectrum and show that they afford the six operations. Over locally \'etale bounded schemes, \'etale motivic…
We give characterizations of the separability of the induction and ad-induction functors associated to a coring morphism.
We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of…
This is the second report of our work on the construction of directed strongly regular graphs. In our previous work, we constructed a couple of infinite families of new directed strongly regular graphs on the sets of antiflags of partial…
In this paper, we study direct and inverse images for fractional stochastic tangent sets and we establish the deterministic necessary and sufficient conditions that guarantee that the solution of a given stochastic differential equation…
A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…
We give an explicit formula for the motivic zeta function in terms of a log smooth model. It generalizes the classical formulas for snc-models, but it gives rise to much fewer candidate poles, in general. As an illustration, we explain how…
This preliminary paper presents initial explorations in rendering Iterated Function System (IFS) fractals using a differentiable rendering pipeline. Differentiable rendering is a recent innovation at the intersection of computer graphics…
A functional equation for the motivic integral corresponding to the Milnor number of an arc is derived using the Denef-Loeser formula for the change of variables. Its solution is a function of five auxiliary parameters, it is unique up to…
In this paper we will present a way of examining the Stokes structure of certain irregular singular $\mathcal D$-modules, namely the direct image of exponentially twisted regular singular meromorphic connections, in a topological point of…
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…