Related papers: Verdier specialization via weak factorization

We give an explicit formula to express the cohomological pullback functors of Hodge modules under closed immersions of smooth varieties using Verdier specializations and $V$-filtrations of Kashiwara and Malgrange. This was locally obtained…

We prove a relative form of Verdier's specialization formula, and apply it to derive a Chern class identity predicted by string dualities.

Using the construct of "Verdier specialization", we provide a purely mathematical derivation of Chern class identities which upon integration yield the D3-brane tadpole relations coming from the equivalence between F-theory and associated…

We give a general formula for the defect appearing in the Verdier-type Riemann-Roch formula for Chern-Schwartz-MacPherson classes in the case of a regular embedding. Our proof of this formula uses the constructible function version of…

Let $\mathcal V$ be a discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal V$. We introduce the notion of constructible convergent…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under…

We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…

Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We…

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…

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…

Let X->B be a morphism of varieties in characteristic zero. Semistable reduction has been proved for dim(B)=1 (Kempf, Knudsen, Mumford, Saint-Donat), dim(X)=dim(B)-1 (de Jong) and dim(X)=dim(B)+2 (Alexeev, Kollar, Shepherd-Barron). In this…

Let $E$ be an abelian scheme over a geometrically connected variety $X$ defined over $k$, a finitely generated field over $\mathbb{Q}$. Let $\eta$ be the generic point of $X$ and $x\in X$ a closed point. If $\mathfrak{g}_l$ and…

We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…

We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…

Concentration compactness method is a powerful techniques for establishing existence of minimizers for inequalities and of critical points of functionals in general. The paper gives a functional-analytic formulation for the method in Banach…

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…