Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{P}$ be the category of perverse sheaves on $\mathbb{P}^1$ over the field $\mathbb{C}$, where strata are the point $Z = {0}$, and its complement $U$. Let $i: Z \rightarrow \mathbb{P}^1$ and $j: U \rightarrow \mathbb{P}^1$ be the inclusions. Then I have found that the simple objects in the category $\mathcal{P}$ are $\underline{\mathbb{C}}_{\mathbb{P}^1}[1]$, and $i_{*}\underline{\mathbb{C}}_Z$.

  • Why does the object $j_{*} \underline{\mathbb{C}}_U[1] $ lie in $\mathcal{P}$?
  • What are ext-groups between the two simple objects in $\mathcal{P}$?
  • What are the projective covers of the two simple objects in $\mathcal{P}$?
share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.