Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [decomposition-theorem]

The tag has no usage guidance.

19
votes
4answers
3k views

Examples for Decomposition Theorem

There's an important piece of geometric knowledge usually quoted as Beilinson-Bernstein-Deligne. Here's a refresher: by $IC$ one means the intersection complex, which is just $\mathbb Q$ for a smooth ...
6
votes
2answers
877 views

Explicit Direct Summands in the Decomposition Theorem

Let f:X→Y be a semismall resolution of singularities. Then the pushforward of the constant sheaf on X is a semisimple perverse sheaf on Y. Under these conditions, I know how to calculate the ...
12
votes
1answer
2k views

When does a perverse sheaf occur in the decomposition theorem?

Suppose I am in the setting of the decomposition theorem, i.e., we have the decomposition of the direct image $f_*\mathbb Q_\ell$, where $f:X\to Y$ is proper. Then the direct image decomposes into a ...
4
votes
1answer
256 views

What is this matrix decomposition called and does it exist always?

Given a rank $2r$ matrix $M\in\Bbb Q^{n\times n}$ can we find two matrices $M_+\in\Bbb Q_{\geq0}^{n\times n}$ and $M_-\in\Bbb Q_{\geq0}^{n\times n}$ each of rank $r$ such that $M=M_+-M_-$ holds? ...
2
votes
1answer
80 views

Equality or inequality for determinant of $A_{n \times m} D_{m \times m} A^T_{m \times n}$

Assume that we have a matrix product of form $B=A_{n \times m} D_{m \times m} A^T_{m \times n}$. $D$ is a positive diagonal matrix and $m > n$. Is there any equality or inequality over $|B|$, $|AA^...