Questions tagged [decomposition-theorem]
In mathematics, especially algebraic geometry the decomposition theorem is a set of results concerning the cohomology of algebraic varieties.
13
questions with no upvoted or accepted answers
7
votes
0
answers
187
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-...
6
votes
0
answers
99
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_+-...
6
votes
0
answers
553
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 ...
4
votes
0
answers
182
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 ...
3
votes
0
answers
496
views
Etale cohomology of a nodal (cuspidal) curve
Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...
3
votes
0
answers
164
views
Intersection homology of toric resolutions
I'm interested in the intersection homology of toric varieties associated to a polytope $P$ with proper faces F, and a subdivision $P'$ of P. Let $X_P$ be the toric variety associated to the polytope $...
2
votes
0
answers
100
views
Are a.e. derivatives of continuous $VBG_*$ functions Denjoy–Perron integrable?
I would like to ask a question pertaining to the Denjoy–Perron (Henstock–Kurzweil) theory of integration. It is simple enough that I have entertained the idea that perhaps an answer is known, but I ...
1
vote
0
answers
64
views
Being additive map using spectral decomposition theorem
Let $(\mathcal{A},\tau_\mathcal{A})$ and $(\mathcal{B},\tau_\mathcal{B})$ be semifinite von Neumann algebras with normal semifinite faithful traces $\tau_\mathcal{A}$ and $\tau_\mathcal{B}$. I defined ...
1
vote
0
answers
48
views
Efficient scissors congruence between efficiently describable convex polytopes and simplex?
Is there a convex polytope in $\mathbb R^n$ describable by only $O(poly(\log n))$ half-plane inequalities with positive volume (so at least $n+1$ vertices) such that the standard simplex has a ...
1
vote
0
answers
598
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
0
answers
763
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)...
0
votes
0
answers
76
views
A question to the Wedderburn-Mal’cev decomposition
Excuse me, I saw the result on the Wedderburn-Mal’cev decomposition of unital compact rings which M.I. Ursul and A. Tripe introduced in the attached file. However, I cannot contact them because ...
0
votes
1
answer
237
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 ...