Related papers: Perverse sheaves over real hyperplane arrangements…
This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to be a two-parameter deformation of the ring…
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…
Let $S\to C$ be a smooth quasi-projective surface properly fibered onto a smooth curve. We prove that the multiplicativity of the perverse filtration on $H^*(S^{[n]},\mathbb{Q})$ associated with the natural map $S^{[n]}\to C^{(n)}$ implies…
Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…
The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived…
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…
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…
This note studies perverse sheaves of categories, or schobers, on Riemann surfaces, following ideas of Kapranov and Schechtman. For certain wall crossings in geometric invariant theory, I construct a schober on the complex plane, singular…
We explain how to compute simple perverse sheaves on the stack of $G$-zips and do these computations in several examples.
Based on the notion of vectors and linear subspaces for a matroid, we develop a theory of flats and hyperplane arrangements for T-matroids, where T is a tract. This leads to several cryptomorphic descriptions of T-matroids: in terms of its…
We introduce and study the category of modular (i.e. with coefficient of positive characteristic) monodromic perverse sheaves on complex stratified $T$-varieties, with $T$ a complex algebraic torus. In particular, we show that under…
We give classifications of linear orbits of pairs of square matrices with non-vanishing discriminant polynomials over a field in terms of certain coherent sheaves with additional data on closed subschemes of the projective line. Our results…
This paper is an introduction to the use of perverse sheaves with positive characteristic coefficients in modular representation theory. In the first part, we survey results relating singularities in finite and affine Schubert varieties and…
A perverse schober is a categorification of a perverse sheaf proposed by Kapranov--Schechtman. In this paper, we construct examples of perverse schobers on the Riemann sphere, which categorify the intersection complexes of natural local…
An intrinsic construction of the tensor category of finite dimensional representations of the Langlands dual group of G in terms of a tensor category of perverse sheaves on the loop group, LG, is given. The construction is applied to the…
Let $\mathcal A$ be a hyperplane arrangement in $\mathbb C^n$. We show that the number of decomposition factors as a perverse sheaf of the direct image $Rj_*\mathbb C_U $ of the constant sheaf on the complement $U$ to the arrangement is…
The complement of an arrangement of hyperplanes in $\mathbb C^n$ has a natural bordification to a manifold with corners formed by removing (or "blowing up") tubular neighborhoods of the hyperplanes and certain of their intersections. When…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
Let $\mathcal A:U\to V$ be a linear mapping between vector spaces $U$ and $V$ over a field or skew field $\mathbb F$ with symmetric, or skew-symmetric, or Hermitian forms $\mathcal B:U\times U\to\mathbb F$ and $\mathcal C:V\times…
We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse…