Goresky–MacPherson cellular deformation-retraction conjecture

Let XCdX\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 pXp\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={xXf(x)a},Σfa={pΣff(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

dimR(XcaB)dimCB\dim_{\mathbb R}(X^a_c\cap B)\leq\dim_{\mathbb C}B

for every BSB\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.

Sources & referencesView supporting material

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.