Related papers: The ADHM Variety and Perverse Coherent Sheaves
A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated…
We study the categories $\mathrm{Perv}_{\mathrm{thin}}$ and $\mathrm{Perv}_{\mathrm{thick}}$ of Iwahori-equivariant perverse sheaves on the thin and thick affine flag varieties associated to a split reductive group $G$. An earlier work of…
We study the Schur algebra counterpart of a vast class of quantum wreath products. This is achieved by developing a theory of twisted convolution algebras, inspired by geometric intuition. In parallel, we provide an algebraic Schurification…
This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. It turns out that this category has…
Based on a recent extension theorem for reflexive differential forms, that is, regular differential forms defined on the smooth locus of a possibly singular variety, we study the geometry and cohomology of sheaves of reflexive…
We define and study a relative perverse $t$-structure associated with any finitely presented morphism of schemes $f: X\to S$, with relative perversity equivalent to perversity of the restrictions to all geometric fibres of $f$. The…
Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on…
Let $A$ be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over $A$ form an abelian category ${\rm HVec}_A$; the Fourier-Mukai transform yields an equivalence of ${\rm HVec}_A$ with the category of…
When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…
The work is devoted to the variety of $2$-dimensional algebras over an algebraically closed field. Firstly, we classify such algebras modulo isomorphism. Then we describe the degenerations and the closures of principal algebra series in the…
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same…
This paper studies several notions of sheaves of differential forms that are better behaved on singular varieties than K\"ahler differentials. Our main focus lies on varieties that are defined over fields of positive characteristic. We…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
Given an algebraic variety $X\subset\mathbb{P}^N$ with stabilizer $H$, the quotient $PGL_{N+1}/H$ can be interpreted a parameter space for all $PGL_{N+1}$-translates of $X$. We define $X$ to be a $\textit{homogeneous variety}$ if $H$ acts…
This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends…
We generalize the decomposition theorem for perverse sheaves to Artin stacks with affine stabilizers over finite fields.
Let H be an arrangement of real hyperplanes in R^n. The complexification of H defines a natural stratification of C^n. We denote by Perv(C^n, H) the category of perverse sheaves on C^n smooth with respect to this stratification. We give a…
For algebraic varieties defined by hyperkahler or, more generally, algebraic symplectic reduction, it is a long-standing question whether the "hyperkahler Kirwan map" on cohomology is surjective. We resolve this question in the affirmative…