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.

Definitions

Let's consider a full $n$-dimensional simplicial complex $C$ in $\ell_2(X)$. By that I mean a set of all functions $f:X \to[0,1]$ such that $\sum_{x\in X}f(x)=1$ and there are at most $n+1$ points $x$ such that $f(x)\neq 0$. Functions $f$ such that $f(x) = 1$ for some $x$ are called vertices. A simplex is a convex hull of some vertices - $m$-simplex is a convex hull of $m+1$ different vertices.

Barycentric subdivision of $C$ is a family $\beta C$ of its subsets defined below. $$\beta C=\{\mathrm{conv}(v_0, \mathrm{av}(v_0,v_1), \mathrm{av}(v_0, v_1, v_2), \ldots, \mathrm{av}(v_0,\ldots, v_n) \ |\ v_i - \mathrm{vertex} \},$$ where conv is a convex hull and av is the arithmetic mean. Note that if we think of functions $\mathrm{av}(v_0,\ldots,v_k)$ as vertices, then $s\in \beta C$ is a $n$-simplex with vertices of that form.

We get second barycentric subdivision $\beta^2 C$, if we divide each $s\in \beta C$ into pieces using the procedure shown above and take all those pieces.

A star around a point $f\in C$ from a set of simplices $S \subseteq C$ is $$St(f,S)=\bigcup \{s \in S\ |\ f \in s\}.$$

Two subsets of $C$ are $c$-distant if their distance $dist$ is no less than $c$. $dist(A,B)=\inf \Big\{\sqrt{\sum_{x \in X} (a(x)-b(x))^2} \ | \ a\in A, b\in B \Big\}$

Problem

In Asymptotic dimension in Będlewo (top of the 5th page) it is said that there exists a constant $c$ such that $St(av(v_0,\ldots,v_k),\beta^2 C)$ is $c$-distant from $St(av(v'_0,\ldots,v'_k), \beta^2 C)$ provided $(v_0,\ldots,v_k)\neq(v'_0,\ldots,v'_k)$. I was able to show that any simplex $s\in \beta C$ such that $(v_0,\ldots,v_k) \in h$ may intersect with $s'$ such that $(v'_0,\ldots,v'_k) \in s'$ only within $\mathrm{conv}((w_i)_{i=1}^l)$, where $w_i = v_p = v'_q$ for some $p,q$. Using that, I show that $St(av(v_0,\ldots,v_k),\beta^2 C) \cap s \cap \mathrm{conv}((w_i)_{i=1}^l)$ is empty, so there exists $\varepsilon$, such that $St(av(v_0,\ldots,v_k),\beta^2 C) \cap s$ and $St(av(v'_0,\ldots,v'_k),\beta^2 C) \cap s'$ are $\varepsilon$-distant. Finally I notice that there are finitely many different 'cases', so the infimum of all different $\varepsilon$s is positive and that may be used as $c$.

I'm not happy with my abstract proof and would really appreciate one with exact bounds for $c$, but I have no good idea.

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.