Gluing perverse sheaves? It might be a stupid question.
How to glue perverse sheaves? I am considering the following example. Flag variety of $sl_2$, which is $P^1$. Consider category of perverse sheaves on $P^1$. Denoted by $Perv(P^1)$. The big cells of flag variety of $sl_2$ give the affine cover for it. In this case, they should be two $A^1$. We can also consider category of perverse sheaves on $A^1$. My question is:

*

*How to glue two pieces of perverse sheaves on 1-dimensional affine spaces to that of projective spaces? More general, is there any gluing machinery which can globalize the perverse sheaves? It seems that Beilinson had a paper talking about this, but what I preferred is some expository notes explaining with some examples.


*Maybe I need to ask this in another question. How can one define perverse sheaves on noncommutative space. I am aware that there is a paper by Amnon Yekutieli, James J. Zhang talking about perverse sheaves on noncommutative space. However, what they considered was not really a noncommutative space from my understanding. (If I made mistake or bullshit, point out please). They consider quasi coherent sheaves of (not necessarily) commutative algebra on commutative scheme. Which does not fit my need. I am considering the following example: Quantized flag variety of $sl_2$ i.e. $Proj(O_q(G/N))$ in the sense of Lunts–Rosenberg (see also Erik Backelin and Kobi Kremnitzer and Tanisaki). It is a noncommutative scheme. I wonder whether James Zhang has also defined dualizing complexes for this case. How to define category of perverse sheaves on quantized flag variety?
The motivation for this question is I think there should be quantum version of Riemann–Hilbert correspondence. Which should describe the categorical equivalence:
$Perv(Proj(O_q(G/N))$ and category of quantum holonomic D-modules on quantized flag variety.
At present, I have more interest to know the answer of question 1. Thank you!
 A: Beilinson's How to glue perverse sheaves explains how one can glue perverse sheaves on a variety from perverse sheaves on a closed subvariety and its open complement (assuming that the closed subvariety is the set of zeros of a regular function on the big variety).
Gluing perverse sheaves from an open covering is a very different problem.  There is a paper by Kazhdan and Laumon Gluing of perverse sheaves and discrete series representations, devoted to the second problem.  Further developments in this direction include the papers arXiv:math/9811155 and arXiv:math/0104114.  The second one contains some discussion of the general categorical formalism.
A: As others have said, to glue perverse sheaves given on two open copies of $\mathbb{A}^1$ into a sheaf on $\mathbb{P}^1$, it is necessary (and sufficient) simply to give an isomorphism of these sheaves on the intersection.  This is the same procedure as for gluing anything usually called a "sheaf".  Beilinson's paper concerns a different kind of "gluing" where the covering is not open, but in the form of a two-piece stratification.
A: Ryan Reich has a paper called Notes on Beilinson's "How to glue perverse sheaves" -- it's also available off of Dennis Gaitsgory's   Geometric Representation Theory page which is an amazing resource in the area. The paper by MacPherson and Vilonen, Elementary construction of perverse sheaves.  Invent. Math.  84  (1986),  no. 2, 403--435
provides another perspective on the same construction of perverse sheaves by gluing.
I don't know of a way to construct perverse sheaves in any noncommutative generality, and it seems like an unlikely proposition to me. You can certainly define modules over the de Rham complex and the like in great generality, but the condition of constructibility (not to mention the perverse t-structure) seems very commutative, involving restricting supports and dimensions etc. You can define holonomicity homologically, so once you have a notion of D-modules you can almost reverse engineer perverse sheaves (not sure how you'd describe regularity truly noncommutatively), but I don't see how you'd find a non-definitional version of the Riemann-Hilbert correspondence unless you're secretly in an almost commutative setting. (For that matter D-modules themselves are an almost-commutative notion..)
A: 1 Enter your question into google and you get Beilinson's paper with the same name as well as some informal notes on it. It is nearby cycles construction and I don't really think anyone will explain it here better than written in the paper.
2 In short, I do not know. The quantum flag variety is a formal thing. It only has a category of $O$-modules and this has no relation to perverse sheaves, which are topological constructs. Besides the quantum flag has a category of $D$-modules. This category is already a fudge but it has certain useful features. You may be to back-engineer perverse sheaves by defining holonomicity but I dont think there are any sensible perverse sheaves on the category
And remember, 'mud' spelled backwards is 'dum'.
