5
$\begingroup$

I'm looking for the correct name of geometric structures obtained as follows.

2-structures: A collection $X$ of triangles is a $2$-structure. If $X$ is a $2$-structure and $Y$ is obtained from $X$ by gluing two free edges belonging to triangles in $X$, then $Y$ is a $2$-structure.

3-structures: A collection $X$ of tetrahedra is a $3$-structure. If $X$ is a $3$-structure and $Y$ is obtained from $X$ by gluing two free triangles belonging to tetrahedra in $X$, then $Y$ is a $3$-structure.

k-structures: A collection $X$ of $k$-simplices is a $k$-structure. If $X$ is a $k$-structure and $Y$ is obtained from $X$ by gluing two free (k-1)-simplices belonging to $k$-simplices in $X$, then $Y$ is a $(k-1)$-structure.

Alternatively, a $k$-structure can be non-inductively defined as a homogeneous simplicial k-complex $X$, satisfying the following conditions.

  1. The intersection of any two k-simplices in X is either empty or a (k-1) simplex.
  2. Each (k-1)-simplex is the intersection of at most two $k$-simplices in $X$.

Question: What is the correct name for $k$-structures?

$\endgroup$
  • $\begingroup$ I believe these are $\Delta$-complexes. See math.stackexchange.com/questions/1528005/… $\endgroup$ – Joshua Grochow Jun 6 '17 at 0:36
  • $\begingroup$ @JoshuaGrochow thanks for the suggestion. But $\Delta$-complexes are more general than simplicial complexes. The structures defined above are a special case of simplicial complexes. For instance, gluing two triangles along some edge yields a 2-structure. But gluing two triangles along some vertex does not, even though this is a simplicial complex. $\endgroup$ – Mateus de Oliveira Oliveira Jun 6 '17 at 6:53
  • $\begingroup$ This is a purely mathematical question that doesn't actually involve computer science, so if you do not get a good answer here, you may try math.stackexchange.com or mathoverflow.net . $\endgroup$ – Emil Jeřábek Jun 6 '17 at 9:51
  • $\begingroup$ @EmilJeřábek I was hesitating where to ask it first. I think that here I may have some chance of getting an answer from people working in computational geometry. $\endgroup$ – Mateus de Oliveira Oliveira Jun 6 '17 at 15:00
  • $\begingroup$ Sorry, you're right. As I'm understanding you, your condition (1) is already part of the definition of simplicial complex, so you're basically looking at simplicial complexes with the additional restriction (2), right? If so, then wouldn't an equivalent characterization be "simplicial complexes that are also manifolds"? $\endgroup$ – Joshua Grochow Jun 6 '17 at 16:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.