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.

0
votes
1answer
93 views

How to find $K,W,S$ in the Mostow decomposition theorem?

The Mostow decomposition theorem states: Let $Z$ a nonsingular complex matrix, then $Z$ can be factored as: $$Z=We^{iK}e^S$$ where: $W$ is unitary, $K$ is real and skew symmetric and $S$ is real and ...
6
votes
0answers
412 views

What's the relationship between the different versions of the BBD decomposition theorem?

I have a few questions relating to the BBD decomposition theorem. I have come across the following two versions of the decomposition theorem. Version 1. Let $f : X \to Y$ be a proper map of ...
6
votes
0answers
165 views

Divisibility of all entries in an intersection form

What are situations where one can conclude that all entries of an intersection form are divisible by a fixed integer? More precisely: $F \subset S$ is a proper connected (usually reducible) half-...
5
votes
0answers
91 views

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

Given a rank $2r$ matrix $M\in\Bbb Q_{\geq0}^{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 at most $r$ such that $M=M_+-...
4
votes
0answers
170 views

Optimal instructions for the modular construction of rectlinear Lego structures

Let $X$ be a compact (or periodic) union of integer translates of unit cubes such that the interior of $X$ is connected. (If it makes any difference, suppose that the dimension $n$ of $X$ is 3.) I am ...
4
votes
0answers
223 views

Is there an elementary proof of the polar factorization theorem for vector-valued function?

I have recently learned the polar factorization theorem for vector-valued functions due to Brenier. Namely, given a probability space $(X,\mu)$ and a bounded domain $\Omega\subset \mathbb{R}^n$ with ...
1
vote
0answers
298 views

Structure theorem for infinitely generated modules over a PID

This is a refined version of a question I asked days ago and have no answers yet. I am completely illietarte in algebra so, please, don't kill but explain. The question is all in the title: is there ...
1
vote
0answers
677 views

Which statement do people usually call the Decomposition Theorem, and what is the precise reference for it?

Which statement is usually called the Decomposition Theorem (for perverse sheaves)? Is this (roughly): a proper pushforward of an intersection complex could be decomposed into a direct sum of (shifted)...