Questions tagged [stratifications]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
75 views

Riemann-Hilbert-type correspondence for locally constant factorization algebras

This is related to a previous post, but a bit softer and should probably stand on its own. In Appendix A of "Higher Algebra", Lurie shows that for a reasonably good topological space, there ...
user avatar
4 votes
0 answers
179 views

Blow-up of a stratified space

Let $X$ be a smooth projective variety over $\mathbb{C}$, and $D_1, \ldots, D_n$ be a collection of simple normal crossing divisors. The divisors induce a stratification $\mathcal{T}_X$ of $X$. Let $...
user avatar
  • 233
2 votes
0 answers
81 views

Factorization algebras as factorizable cosheaves on the (extended) Ran Space

A basic fact in the theory of factorization algebras is that, to state it in a rough way, the exit path category of the Ran space of a topological manifold $M$ is equivalent to the category consisting ...
user avatar
4 votes
0 answers
95 views

Seeking a Weyl tube formula for Whitney stratified spaces

Background: Let $X$ be a smooth, compact Riemannian submanifold of euclidean space $\mathbb{R}^n$. H Weyl's tube formula asserts that for sufficiently small $t > 0$, the volume $V(X;t)$ of the ...
user avatar
  • 14.7k
11 votes
2 answers
349 views

Local topology of Whitney stratified spaces

Let $M$ be a smooth manifold, let $\mathcal{P}$ be a Whitney stratification of $M$ and let $S\subset M$ be a stratum with closure $\overline{S}$. Question: Does there exist an open neighborhood $U\...
user avatar
3 votes
2 answers
331 views

Piecewise isomorphism versus equivalence in Grothendieck ring

$\DeclareMathOperator\Var{Var}$Let $K_{0}(\Var_{\mathbb{C}})$ be the Grothendieck ring of varieties over $\mathbb{C}$. The class of a variety, $X$, in $K_{0}$ is denoted $[\,X\,]$. If $X$ and $Y$ are ...
user avatar
  • 1,675
1 vote
0 answers
19 views

Stratification which makes the defining functions isotrivial

Let $0\in X\subset\mathbb{C}^N$ be a germ of complex space and $0\in Z\subset X$ be a closed analytic subset (globally) defined by holomorphic functions $f_1,\dots,f_r$. Is there a complex analytic ...
user avatar
  • 952
5 votes
0 answers
67 views

subanalytic realization of smooth abstract stratification

Consider an $C^\infty$ abstract stratification $A$ (in the Thom-Mather sense, see Mather's note). Can we embed $A$ in some $\mathbb{R}^n$ (or in an analytic manifold) as a subanalytic set? If not, ...
user avatar
  • 83
7 votes
1 answer
254 views

Non-example for Whitney (a) stratifications

Given a $C^1$ stratification $\mathscr{S}$ of a $C^1$ manifold $M$, we write $N^\ast \mathscr{S}$ for the union of conormals to the strata. The stratification is said to be Whitney (a) if $N^\ast \...
user avatar
  • 475
3 votes
0 answers
170 views

Genus two curves on abelian surfaces

Considering a smooth genus two curve $C_2$, let $J(C_2)$ be its Jacobian surface, and take $p \in J(C_2)$ an $m$-torsion point. Let $A = J(C_2)/Z_m$, where $Z_m$ acts by $x \mapsto x+p$. The image of $...
user avatar
5 votes
1 answer
260 views

Whitney stratification of algebraic varieties

When do the orbits of an action on an algebraic variety make a Whitney stratification?
user avatar
8 votes
0 answers
223 views

Why mu-stratifications?

In the microlocal theory of sheaves developed by Kashiwara and Schapira, there is the notion of a $\mu$-stratification, which is a stratification satisfying a stronger property ("$\mu$") than Whitney'...
user avatar
  • 17.5k
4 votes
1 answer
109 views

Image of a quiver variety under natural morphism

We know that the natural morphism $\pi:\mathfrak{M}_{\theta}(Q,\mathbf{v},\mathbf{w})\rightarrow \mathfrak{M}_0(Q,\mathbf{v},\mathbf{w})$ between a smooth and affine quiver variety is not necessarily ...
user avatar
  • 1,439
2 votes
0 answers
165 views

Grothendieck group of constructible sets

Let $K_0$ be the Grothendieck group of complex algebraic varieties. This is the group generated by all complex algebraic varieties, subject to the relations: (i) $[X]=[Y]$ if $X,Y$ are isomorphic, (...
user avatar
4 votes
0 answers
281 views

A cell decomposition of a CW-complex and, stratification of a topological space

What is the difference between the notion of cell decomposition of a CW-complex, and the notion of stratification of a topological space ? I know that cell decomposition of a CW-complex is usefull to ...
user avatar
  • 325
16 votes
0 answers
566 views

Proof of MacPherson's result about set-valued constructible sheaves and exit paths

I'm looking for a proof of a theorem that is attributed to MacPherson. Treumann (Section 1.1 in Exit paths and constructible stacks, 2009) states the theorem as: Theorem 1.2 (MacPherson). Let $(X,S)...
user avatar
8 votes
0 answers
163 views

Stratification of space of labelled circles in the plane

Consider the space of $n$ round circles in the plane to be the open subset of $\mathbb R^{3n}$: $$C_n = \{ (v_1, v_2, \cdots, v_n, r_1, r_2, \cdots, r_n ) : v_i \in \mathbb R^2, r_i \in (0, \infty) \ ...
user avatar
  • 40.7k
1 vote
1 answer
112 views

Confusion about locally cone-like spaces

Definition: A filtered space $X$ of formal dimension $n$ is locally cone-like if for all $i$, $0 \le i \le n$, and for each $x \in X^i - X^{i-1} = X_i$ there is an open neighborhood $U$ of $x$ in $X_i$...
user avatar
  • 35
1 vote
0 answers
134 views

Isn't stratification by orbit types actually a stratification by stibilizer types?

I asked this question on Math Exchange but considering the law number of people who viewed the question, I think that the question is difficult enough to post it on math overflow. I hope I am right. ...
user avatar
18 votes
1 answer
548 views

Local homology of a space of unitary matrices

Let $U(n)$ denote the unitary group (this is a manifold of dimension $n^2$). Let $$ {\cal D} \subset U(n) $$ denote the subspace of those matrices having a non-trivial $(+1)$-eigenspace. ...
user avatar
  • 17.6k
3 votes
2 answers
559 views

Whitney Conditions vs Equisingularity

In studying singular spaces, it is often important to pick an appropriate stratification which encodes the singularity structure. One class of such stratifications are called "Whitney stratifications" ...
user avatar
  • 1,033
3 votes
1 answer
212 views

On the notion of conelike stratified (cs-) space

The notion of cs-stratification of a topological space is apparently due to Siebenmann, see also the paper by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's ...
user avatar
  • 19k
3 votes
0 answers
337 views

Where should I look for computing the intersection homology of projective varieties?

I'm learning about intersection cohomology topologically through MacPherson's "New York Times Article". This is a very nice guide which gives a nice idea on how to use these methods for low-...
user avatar
  • 1,656
1 vote
0 answers
25 views

Sufficient conditions for a conormal vector to be regular for an orbit stratification

Let a complex reductive group $G$ act on a $\mathbb{C}^{n}$ with finitely many orbits. Let $\mathcal{S}$ be the stratification of $\mathbb{C}^{n}$ according to these orbits. Let $(x,\xi) \in T_S^{*}\...
user avatar
11 votes
2 answers
349 views

Homotopy property of constructible sheaves on stratified spaces

Let $X$ be a stratified topological space (in my case $X$ is a compact space presented as a finite union of locally closed topological manifolds of finite dimension (strata) such that the closure of ...
user avatar
  • 19k
8 votes
1 answer
467 views

Topology on the space of constructible sheaves

Let $X$ be a nice compact topological space with a fixed finite stratification by locally closed topological manifolds. At the beginning one may assume that $X$ is a complex algebraic manifold with ...
user avatar
  • 19k
6 votes
1 answer
2k views

Stratification of complex algebraic varieties

Let $V$ be a complex quasi-projective variety, we know from H. Whitney's and B Teissier works on stratifications of algebraic varieties that $V$ has an intrinsic stratification $$X_0\subset X_2\...
user avatar
  • 9,482
5 votes
0 answers
295 views

Stratification of a smooth map

So, this is an exercise. But from math.stackexchange I have been suggested to post this question here. To find the Thom-Boardman stratification of the smooth map $f(x,y,a,b,c,d)=x^2y+y^3+a(x^2+y^2)+...
user avatar
  • 231
7 votes
1 answer
504 views

Iterated Milnor fibrations and Thom's a_f condition

Ok so there's a lot of litterature about nearby cycles functor since it was introduced by Grothendieck and Deligne but I couldn't find any clear answer to the following natural question: Problem: Let ...
user avatar
  • 7,179
3 votes
2 answers
314 views

intersection of Whitney stratifications

Let $X$ be an oriented smooth manifold with dimension $n$. If $U$ and $V$ are two oriented closed submanifolds of $X$ and $U$ is transverse to $V$ in $X$. Then $U\cap V$ (suppose the intersection is ...
user avatar
  • 237
0 votes
0 answers
202 views

transverse intersection of Whitney stratifications

Let $M$ be a smooth manifold. If $X$ and $Y$ are two Whitney objects, i.e. subsets with a given Whitney stratification, then $X$ and $Y$ are transverse if each stratum of $X$ is transverse to each ...
user avatar
  • 237
2 votes
0 answers
176 views

When a Whitney stratification has no stratum of codimension one?

Let $G$ be a compact Lie group, and $M$ be a smooth $n$-dimensional $G$-manifold which admits an orientation preserving the $G$-action. Then $M$ has a natural Whitney stratification induced by the ...
user avatar
  • 237
5 votes
0 answers
543 views

singular support of D-module smooth w.r.t. a stratification

(1) Suppose that $X$ is a smooth complex algebraic variety, stratified by some nice smooth stratification $S$. Let $M$ be a $D$-module on $X$, s.t. its shriek-pullback (or star... whatever is ...
user avatar
  • 5,322
5 votes
1 answer
416 views

Is the Alexander-Pontryagin duality applicable to stratified spaces

If $D$ is the discriminant of the space of all planar curves of a fixed degree, and $D'$ is the subspace whose only singularities are nodes or cusps, then is it possible to apply Alexander-Pontryagin ...
user avatar