Related papers: Pro-Chern-Schwartz-MacPherson class for DM stacks

Let $X$ be a nonsingular variety defined over an algebraically closed field of characteristic $0$, and $D$ be a free divisor with Jacobian ideal of linear type. We compute the Chern class of the sheaf of logarithmic derivations along $D$…

We study the category Cstabm of measurable cones and measurable stable functions, which is a denotational model of an higher-order language with continuous probabilities and full recursion. We look at Cstabm as a model for discrete…

Let $C$ be a smooth curve embedded in a smooth quasi-projective threefold $Y$, and let $Q^n_C=\textrm{Quot}_n(\mathscr I_C)$ be the Quot scheme of length $n$ quotients of its ideal sheaf. We show the identity…

In this paper we compare different notions of transversality for possible singular complex algebraic or analytic subsets of an ambient complex manifold and prove a refined intersection formula for their Chern-Schwartz-MacPherson classes. In…

In the present paper, we establish an equivalence between several models of derived geometry. That is, we show that the categories of higher derived stacks they produce are Quillen equivalent. As a result, we tie together a model of derived…

Let X be an algebraic projective variety in {\bf P}^n. Denote by {\cal C}_{\lambda} the space of all effective cycles on X whose homology class is \lambda \in H_{2p} (X,{\bf Z}). It is easy to show that {\cal C}_{\lambda} is an algebraic…

We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…

We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…

Let [X/G] be a smooth Deligne-Mumford quotient stack. In a previous paper the authors constructed a class of exotic products called inertial products on K(I[X/G]), the Grothendieck group of vector bundles on the inertia stack I[X/G]. In…

This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…

Let $(A,\m)$ be a Gorenstein local ring of dimension $d \geq 1$. Let $\CMS(A)$ be the stable category of maximal \CM \ $A$-modules and let $\ICMS(A)$ denote the set of isomorphism classes in $\CMS(A)$. We define a function $\xi \colon…

Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…

In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…

We generalize the classical Bernstein theorem concerning the constructive description of classes of functions uniformly continuous on the real line. The approximation of continuous bounded functions by entire functions of exponential type…

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…

Let $\mathcal{F}$ be a coherent sheaf on a complex variety $X$ that has a locally free resolution $E^{\bullet}$. In [19], the authors constructed a pseudomeromorphic current whose support is contained in $supp(E^{\bullet})$ that represents…

We give explicit MacPherson cycles for the Chern-MacPherson class of a closed affine algebraic variety $X$ and for any constructible function $\alpha$ with respect to a complex algebraic Whitney stratification of $X$. We define generalized…

In the space of equioriented type $A$ quiver representations, we define subvarieties called "open quiver loci" by placing strict rank conditions on the maps within representations. The closures of these subvarieties are the quiver loci,…

For complex projective varieties, all natural transformations from constructible functions to homology (modulo torsion) are linear combinations of the MacPherson-Schwartz-Chern classes. (The authors are willing to mail hard copies of the…