High connectivity arguments for simplicial complexes - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T06:37:20Z http://mathoverflow.net/feeds/question/65040 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65040/high-connectivity-arguments-for-simplicial-complexes High connectivity arguments for simplicial complexes TriThang Tran 2011-05-15T14:16:48Z 2011-05-17T02:01:20Z <p>I am wondering if there are "elementary" ways to check for $n$-connectedness of simplicial complexes in terms of simple conditions on vertices.</p> <p>For example</p> <p>Let $X$ be the curve complex on a surface $S$ (the exact type of curve complex does not matter). That is, the vertices of $X$ correspond to curves on $S$. A $p$-simplex of $X$ consists of $p+1$ distinct, disjoint curves.</p> <p>I am hoping to get conditions like the following examples:</p> <p>$X$ is connected iff given a curve $c$, and any other curve $\gamma$, there is a sequence of curves $\gamma = \gamma_1, \ldots \gamma_n = c$ such that $\gamma_i$ is disjoint from $\gamma_{i-1}$ and $\gamma_{i+1}$. ie. This is just the saying there is a path from any vertex to the vertex corresponding to $c$.</p> <p>For $1$-connected, it might look something like this: $X$ is $1$-connected iff for a fixed curve $c$, given an edge in $(a,b)$ in $X$, ie two disjoint curves, there is a sequence of disjoint curves (edges) $(a,b) = (a_1,b_1), \ldots ,(a_n,b_n)$ such that</p> <ol> <li><p>EITHER ($a_i = a_{i+1}$ and $b_{i+1}$ is disjoint from both $a_{i-1}$ and $b_{i-1}$) OR ($b_i = b_{i+1}$ and $a_{i+1}$ is disjoint from both $b_{i-1}$ and $a_{i-1}$)</p></li> <li><p>$b_n = c$ OR $a_n = c$</p></li> </ol> <hr> <p>For a picture of what the $1$-connected argument is trying to achieve imagine a closed path and slowly filling in with triangles. For each edge $(a,b)$ we get paths $a_1, \ldots, a_n$ and $b_1, \ldots, b_n$ which bound a disk (the disjointness conditions ensure we can fill in with triangles). Actually, this doesn't quite work completely, since edges $(a,b)$ and $(b,c)$ might give rise to different $b$ paths, so one has to ensure that there is a disjointness condition for adjacent vertices also.</p> <p>So can anyone point me in the right direction if such conditions exist? While I am not sure about the exact form of the answer I want, it would be good if it were something concrete like my above examples to work with. Or could it just be that this is this not really the right question to consider for connectivity arguments?</p> http://mathoverflow.net/questions/65040/high-connectivity-arguments-for-simplicial-complexes/65082#65082 Answer by Kevin Walker for High connectivity arguments for simplicial complexes Kevin Walker 2011-05-15T21:40:10Z 2011-05-17T02:01:20Z <p>I don't know whether this is useful in practice, but the straightforward generalization of your 0-connectedness criterion to a 1-connectedness criterion goes as follows.</p> <p>Any 1-cycle of the form $[(a_0, a_1), (a_1, a_2), \ldots, (a_k, a_0)]$ can be transformed into the trivial (empty) 1-cycle by a sequence of the following moves:</p> <ul> <li><p>$[\ldots, (a, b), (b,c),\ldots] \to [\ldots, (a,c),\ldots]$ if $a$, $b$ and $c$ are mutually disjoint (i.e. they correspond to a 2-cell in the complex)</p></li> <li><p>$[\ldots, (a,c),\ldots] \to [\ldots, (a, b), (b,c),\ldots]$ if $a$, $b$ and $c$ are mutually disjoint</p></li> <li><p>$[\ldots, (a, b), (b,b'),\ldots] \to [\ldots, (a, b),\ldots]$ if $b$ and $b'$ are parallel (remove degenerate 1-cell)</p></li> <li><p>$[\ldots, (a, b), \ldots] \to [\ldots, (a, b),(b,b'),\ldots]$ if $b$ and $b'$ are parallel (insert degenerate 1-cell)</p></li> <li><p>$[(a, b), (b,c), (c, a)] \to [\;\;]$ (empty) if $a$, $b$ and $c$ are mutually disjoint</p></li> </ul> <p>The basic idea is that a triangulated disk is "shellable" in some sense. There should be a similar criterion for general $k$-connectedness (in terms of $k$-dimensional Pachner moves on triangulations of the $k$-sphere), but I haven't thought carefully about the shellability issues in higher dimensions.</p> <hr> <p>EDIT: </p> <p>I think that allowing degenerate simplices (i.e. parallel disjoint curves) means that one doesn't need to worry about shellability.</p> <p>In case it wasn't clear what I meant by Pachner moves, here they are for $k=2$. The context is a triangulation of the 2-sphere where the vertices are labeled by curves and the curves at the vertices of a $j$-simplex ($j=1,2$) are mutually disjoint.</p> <ul> <li><p>Two adjacent triangles $(a,b,c),(b,c,d)$ can be replaced by $(a,d,b), (a,d,c)$ if $a$ and $d$ are disjoint.</p></li> <li><p>A single triangle $(a,b,c)$ can be replaced by three adjacent triangles $(a,b,d),(a,c,d),(b,c,d)$ if $d$ is disjoint from $a$, $b$ and $c$ (and we can also do the reverse move, replacing three triangles by one).</p></li> </ul>