Related papers: On discriminants and incidence resolutions

We investigate how the \'etale fundamental group controls local systems in characteristic $p$, namely $F$-divided sheaves. In analogy with Grothendieck-Malcev's results for discrete groups, we show that if a morphism $f \colon Y \to X$ of…

We describe dualities and complexes of logarithmic forms and differentials for central affine and corresponding projective arrangements. We generalize the Borel-Serre formula from vector bundles to sheaves on projective d-space with locally…

We study intersections of complex Lagrangian in complex symplectic manifolds, proving two main results. First, we construct global canonical perverse sheaves on complex Lagrangian intersections in complex symplectic manifolds for any pair…

A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived…

In this paper we define tensor modules(sheaves) of Schur type,or of generalized Schur type associated with the give module(sheaf), using the so-called Schur functors. Then using global method we construct canonical homomorphisms between…

We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of…

We consider a hyperplane arrangement in $\mathbb{C}^n$ defined over $\mathbb{R}$, and the associated natural stratification of $\mathbb{C}^n$. The category of perverse sheaves smooth with respect to this stratification was described by…

Let $\phi$ be a generically surjective morphism between direct sums of line bundles on $\proj{n}$ and assume that the degeneracy locus, $X$, of $\phi$ has the expected codimension. We call $B_{\phi} = \ker \phi$ a (first) Buchsbaum-Rim…

(Makes a Gamma-acylic coherent resolution of a coherent sheaf on a projection scheme.)

We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of…

Let $X$ be an integral affine or projective scheme of finite presentation over a perfect field. We prove that $X$ admits a resolution, that is, there exists a smooth scheme $\widetilde X$ and a projective birational morphism from…

For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of…

Let $X \subset \Bbb P^r$ be a smooth algebraic curve in projective space, over an algebraically closed field of characteristic zero. For each $m \in \Bbb N$, the $m$-flexes of $X$ are defined as the points where the osculating hypersurface…

We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…

For certain tame abelian covers of arithmetic surfaces X/Y we obtain striking formulas, involving a quadratic form derived from intersection numbers, for the equivariant Euler characteristics of both the canonical sheaf !X/Y and also its…

The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…

We study three classes of local homomorphisms and their behavior with respect to the ascent and descent of the \emph{complete intersection} property. Crucially, they fall in between the already studied classes of complete intersection and…

We prove invariance results for the cohomology groups of ideal sheaves of simple normal crossing divisors under (a restricted class of) birational morphisms of pairs in arbitrary characteristic, assuming a conjecture regarding the existence…

We prove that every local complete intersection curve in $Spec(A)$, where $A$ is a commutative Noetherian ring of dimension three, is a set-theoretic complete intersection. An analogous result is established for local complete intersection…