Goresky–MacPherson cellular deformation-retraction conjecture

At least 15 years old · documented by

Let X≅CdX\cong\mathbb C^d be a complex vector space, let S{\cal S} be a complex analytic Whitney stratification of XX, let μ\mu be a Hermitian metric, let p∈Xp\in X be the origin, and let f(x)=dist⁡μ(p,x)2f(x)=\operatorname{dist}_\mu(p,x)^2 be Morse. For a regular value a>0a>0, define

Xa={x∈X∣f(x)≤a},Σfa={p∈Σf∣f(p)<a}.X^a=\{x\in X\mid f(x)\leq a\},\qquad \Sigma^a_f=\{p\in\Sigma_f\mid f(p)<a\}.

Goresky–MacPherson cellular deformation-retraction conjecture. There exists a ∇f\nabla f-like vector field VV on XX such that, with

Xca=⋃p∈ΣfaMV−(p),X^a_c=\bigcup_{p\in\Sigma^a_f}M^-_V(p),

XcaX^a_c is a cellular subset of XX satisfying

dim⁡R(Xca∩B)≤dim⁡CB\dim_{\mathbb R}(X^a_c\cap B)\leq\dim_{\mathbb C}B

for every B∈SB\in{\cal S}, and XaX^a deformation retracts to XcaX^a_c by a stratum-preserving retraction. This is a variant of a conjecture of Goresky and MacPherson concerning cellular models for stratified spaces; the paper presents it as a potentially accessible direction for the constructed vector fields. Its resolution status is not specified in the supplied material.

References

Primary source

Mikhail Grinberg, “Dimensions of the Ascending and Descending Sets in Complex Stratified Morse Theory”, arXiv:1005.4488 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.