Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I spent a couple of hours today trying to prove the following:

Let $L$ be a subcomplex of a simplicial complex $K$. Let $U_L$ be the union of the relative interiors of the relative interiors of all simplices in $K$ that have at least one vertex in $L$.

(a) Show that $U_L$ is an open set in $|K|$ (the geometric realization of $K$) containing $|L|$.

(b) Assume that, each simplex in $K$ intersects $L$ in exactly one face (possibly empty) of the simplex. By finding a canonical retraction, and a canonical homotopy from the identity to the composition of the inclusion and the retraction, show that $|L|$ is a deformation retract of $U_L$.

For (a), I was thinking that where $v$ is a vertex of $|L|$, $$U_L = \cup_{v \in |L|} Star(v),$$ where $Star(v)$ is the star of $v$ in $|K|$; if this is (close to) correct, then since I have proven already that each star is open in $|K|$ and the union of all vertex stars covers $|K|$, (a) should follow easily from there. I am not sure if this approach is right, so any constructive feedback would be awesome!

I have had more trouble building momentum on (b). I am hoping that having an appropriate retraction will yield a homotopy in a simple enough way. I am wondering if anyone visiting the site would be up for either giving suggestions towards proving this result or for outlining a proof of this result. Thanks in advance for constructive feedback.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.