<p>A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani (Aequationes Math 34(2–3):287–297, 1987, <a href="https://doi.org/10.1007/BF01830678">https://doi.org/10.1007/BF01830678</a>), via a non-constructive proof using topological tools from homology theory. An elegant constructive proof was given by Kalai shortly after. In their original paper, Blind and Mani asked whether their result can be extended to simplicial spheres, and a positive answer to their question was conjectured by Kalai (2009, <a href="https://gilkalai.wordpress.com/2009/01/16/telling-a-simple-polytope-from-its-graph/">https://gilkalai.wordpress.com/2009/01/16/telling-a-simple-polytope-from-its-graph/</a>). In this paper, we show that Kalai’s conjecture holds in the particular case of Knutson and Miller’s spherical subword complexes. This family of simplicial spheres arises in the context of Coxeter groups, and is conjectured to be polytopal. In contrast, not all manifolds are reconstructible. We show two explicit examples, namely the torus and the projective plane.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Subword Complexes and Kalai’s Conjecture on Reconstruction of Spheres

  • Cesar Ceballos,
  • Joseph Doolittle

摘要

A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani (Aequationes Math 34(2–3):287–297, 1987, https://doi.org/10.1007/BF01830678), via a non-constructive proof using topological tools from homology theory. An elegant constructive proof was given by Kalai shortly after. In their original paper, Blind and Mani asked whether their result can be extended to simplicial spheres, and a positive answer to their question was conjectured by Kalai (2009, https://gilkalai.wordpress.com/2009/01/16/telling-a-simple-polytope-from-its-graph/). In this paper, we show that Kalai’s conjecture holds in the particular case of Knutson and Miller’s spherical subword complexes. This family of simplicial spheres arises in the context of Coxeter groups, and is conjectured to be polytopal. In contrast, not all manifolds are reconstructible. We show two explicit examples, namely the torus and the projective plane.