# Questions tagged [decomposition-theorem]

The decomposition-theorem tag has no usage guidance.

**19**

votes

**4**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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^...