Related papers: On discriminants and incidence resolutions

A procedure resolving a torsion-free coherent sheaf on a nonsingular $N$-dimensional projective algebraic variety into a locally free sheaf on a projective scheme of certain class is proposed. This is a higher-dimensional analog of the…

We prove that if X is a locally complete intersection variety, then X has all the jet schemes irreducible if and only if X has canonical singularities. After embedding X in a smooth variety Y, we use motivic integration to express the…

We show that for flat morphisms between varieties with rational singularities, the higher direct images of the structure sheaf are locally free. As a consequence, the identity component of the relative Picard scheme is a smooth algebraic…

Let $I\subset \mathbb C[x,y,z]$ be an ideal of height 2 and minimally generated by three homogeneous polynomials of the same degree. If $I$ is a locally complete intersection we give a criterion for $\mathbb C[x,y,z]/I$ to be arithmetically…

Let $X$ be an arbitrary scheme. The category $\mathfrak{Qcoh}(X)$ of quasi--coherent sheaves on $X$ is known that admits arbitrary direct products. However their structure seems to be rather mysterious. In the present paper we will describe…

In this paper we study short exact sequences $ 0 \to \mathcal P \to \mathcal N \to \ii_D(k) \to 0 $ with $ \mathcal P, \mathcal N $ torsion--free sheaves and $ D $ closed projective scheme. This is a classical way to construct and study…

We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the…

We establish efficient approximate counting algorithms for several natural problems in local lemma regimes. In particular, we consider the probability of intersection of events and the dimension of intersection of subspaces. Our approach is…

In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…

Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent…

We establish several results combining discrete Morse theory and microlocal sheaf theory in the setting of finite posets and simplicial complexes. Our primary tool is a computationally tractable description of the bounded derived category…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms…

The purpose of this talk is to present an (apparently) new way to look at the intersection complex of a singular variety over a finite field, or, more generally, at the intermediate extension functor on pure perverse sheaves, and an…

We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the…

We associate a combinatorial object to sequences of point blow-ups over perfect fields, the weighted directed graph, and another one to the composition of all blow-ups, which we call associated sequential morphisms, the $d-$ary intersection…

Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…

Consider a space X with the singular locus, Z=Sing(X), of positive dimension. Suppose both Z and X are locally complete intersections. The transversal type of X along Z is generically constant but at some points of Z it degenerates. We…

Let $X$ be a complex analytic manifold, $D\subset X$ a free divisor with jacobian ideal of linear type (e.g. a locally quasi-homogeneous free divisor), $j: U=X-D \to X$ the corresponding open inclusion, $E$ an integrable logarithmic…

For a smooth proper scheme over a local field of mixed characteristics which has semistable reduction we define the category of its semistable etale sheaves and under certain hypothesis we prove the appropriate semistable comparison…