Related papers: The $\ell$-adic Dualizing Complex on an Excellent …
The purpose of this paper is: 1) to explain the Seiberg-Witten invariants, 2) to show that - on a K\"ahler surface - the solutions of the monopole equations can be interpreted as algebraic objects, namely effective divisors, 3) to give - as…
In this article we consider exceptional sequences of invertible sheaves on smooth complete rational surfaces. We show that to every such sequence one can associate a smooth complete toric surface in a canonical way. We use this structural…
We prove a criterion for determining whether the normalization of a complex analytic space on which the constant sheaf is perverse is a rational homology manifold, using a perverse sheaf known as the multiple-point complex. This perverse…
We study perverse coherent sheaves on the resolution of rational double points. As examples, we consider rational double points on 2-dimensional moduli spaces of stable sheaves on K3 and elliptic surfaces. Then we show that perverse…
Let E be a finite dimensional vector space over an algebraic closure of a finite field with a given linear action of a connected linear algebraic group K and let E' be the dual space. A complex of l-adic sheaves on E is said to be orbital…
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 relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable…
Let $k$ be a non-archimedean complete valued field and let X be a smooth Berkovich analytic $k$-curve. Let $F$ be a finite locally constant \'{e}tale sheaf on $k$ whose torsion is prime to the residue characteristic. We denote by $|X|$ the…
Let $X$ be a smooth scheme over a finite field of characteristic $p$. In answer to a conjecture of Deligne, we establish that for any prime $\ell \neq p$, an $\ell$-adic Weil sheaf on $X$ which is algebraic (or irreducible with finite…
We prove that the cohomology sheaves of the relative dualizing complex of a flat family of varieties with semi-log-canonical or Du Bois singularities are flat and commute with base change. This is a local version of our earlier similar…
On an $n$-dimensional locally reduced complex analytic space $X$ on which the shifted constant sheaf $\Q_X^\bullet[n]$ is perverse, it is well-known that, locally, $\Q_X^\bullet[n]$ underlies a mixed Hodge module of weight $\leq n$ on $X$,…
We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…
When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…
We study the cohomology of a general stable sheaf on an abelian surface. We say that a moduli space satisfies weak Brill-Noether if the general sheaf has at most one non-zero cohomology group. Let $(X,H)$ be a polarized abelian surface and…
We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact…
We study Le Potier's strange duality conjecture on a rational surface. We focus on the case involving the moduli space of rank 2 sheaves with trivial first Chern class and second Chern class 2, and the moduli space of 1-dimensional sheaves…
We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
We show that, for a Noetherian algebraic stack with quasi-affine diagonal $X$, the stable $\infty$-category of quasi-coherent sheaves on $X$ is dualizable if and only if the reduced identity component of the stabilizer of $X$ at every…