Questions tagged [combinatorial-topology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
0 answers
141 views

Subdivision via poset maps and pullback

In the following, all posets and complexes are assumed to be finite. For a poset $P$ denote by $|P|$ its geometric realization or nerve (i.e. forming the order complex and taking its geometric ...
KoopaTroopa's user avatar
2 votes
0 answers
126 views

Posets whose homotopy type can be efficiently studied without fibrant replacement?

Let $P$ be a poset and $NP$ its nerve. In order to study the homotopy type of $NP$ via the tools of simplicial homotopy theory, we generally need to take a Kan-fibrant replacement of $NP$, e.g. by ...
Tim Campion's user avatar
  • 60.6k
1 vote
0 answers
34 views

Are there local maps of simplicial (co-)cycles on $d$-manifolds beyond cohomology operations?

I'm interested in locally defined maps of cocycles/chains on manifolds of a fixed dimension $d$ which are compatible with cohomology. To be concrete about what "local" means, let me consider ...
Andi Bauer's user avatar
  • 2,901
4 votes
0 answers
136 views

Combinatorial fiber bundles

Triangulations (as simplicial complexes) and bi-stellar flips are a combinatorial analogue of (piece-wise linear) topological manifolds. I'm looking for a similar combinatorial analogue for fiber ...
Andi Bauer's user avatar
  • 2,901
3 votes
0 answers
140 views

Which Stiefel-Whitney numbers can be extended to manifolds with boundaries?

The Stiefel-Whitney numbers are classical topological manifold invariants obtained by integrating some local quantity (a cup product of Stiefel-Whitney classes) over the manifold. Which Stiefel-...
Andi Bauer's user avatar
  • 2,901
8 votes
1 answer
1k views

What is a subdivision of an abstract simplicial complex?

I am looking for the definition of the subdivision of a simplicial complex. When the complex is defined in a geometric way, then the definition is pretty simple : the complex σ(C) is a subdivision of ...
Jacques Spam's user avatar
6 votes
1 answer
112 views

Subdivision of closed homology manifold reference request

I am interested in the barycentric subdivision of closed homology manifolds. Definition A (finite) simplicial complex $K$ is a closed homology manifold of dimension $n$ if for every $k$-simplex, its ...
D1811994's user avatar
  • 909
4 votes
1 answer
230 views

What is a sufficient set of links in a simplicial complex to represent any PL manifold?

The link of a vertex in a $n$-dimensional simplicial complex is the $(n-1)$-dimensional simplicial complex formed by the $(n-1)$-simplices each of which, together with the vertex, spans an $n$-simplex....
Andi Bauer's user avatar
  • 2,901
6 votes
1 answer
440 views

Are triangulations of compact manifolds PL homeomorphic?

I have frequently come across the statement "Any two triangulations of a compact n-manifold are related by bistellar moves" attributed to Pachner via Lickorish's paper 'Simplicial moves on complexes ...
user136604's user avatar
12 votes
0 answers
133 views

Finite list of neighborhoods to approximate any finite simplicial complex

It is easy to see that any (locally finite) graph is homotopy-equivalent to a trivalent graph. Moreover, this can be achieved by a local construction - take neighborhoods of vertices of degree $> 3$...
Lev Soukhanov's user avatar
4 votes
1 answer
236 views

Understanding proof about chromatic number

Consider an undirected graph $K(n,k,i)$, with the all $k$-element subsets of $\{1,\dots,n\}$ as vertices, and two vertices connected by an edge if their sets intersect in less than $i$ elements. ...
pi66's user avatar
  • 1,199
7 votes
1 answer
375 views

Kneser graph with overlap

Consider a graph with the vertices being all subsets of size $n$ of a set of size $2n$. Two vertices are connected if their overlap has size at most one. What is the chromatic number of this graph? ...
pi66's user avatar
  • 1,199
8 votes
1 answer
374 views

Uniqueness theorem for conformal mapping

Let $f$ and $g$ be analytic functions in the unit disk $D$, continuous in the closed disk and locally univalent, $f'(z)\neq 0,\; g'(z)\neq 0,\; z\in D$. Assume that each has only finitely many ...
Alexandre Eremenko's user avatar
0 votes
0 answers
135 views

Number of polyhedra with N faces?

A. Up to isomorphism, how many polyhedra with N faces are there? Assume each face can be a triangle, square, pentagon, hexagon, etc... Furthermore each edge can be resized to any nonzero positive ...
Jack Maddington's user avatar
8 votes
1 answer
256 views

Existence of a particular kind of polygonal subdivisions of surfaces

Let $\Sigma$ be a closed, compact, connected, oriented smooth $2$-manifold (in other words, a sphere or a torus with $g$ handles). We may draw smooth arcs on the surface in such a way that they cut it ...
Fernando Martin's user avatar
2 votes
0 answers
105 views

Criteria to decide whether a subset of the boundary complex of a polyhedron is a manifold?

Let $\mathcal{P} \subseteq \mathbb{R}^d$ be a convex polyhedron. Let $K$ be a subset of the boundary complex of $\mathcal{P}$. (Perhaps $K$ could be defined in terms of a system of linear inequalities....
John Doe's user avatar
  • 170
1 vote
1 answer
87 views

property R_\lambda

A space X has property $R_\lambda$ if every family of its clopen sets of cardinality $\lambda$ has a subfamily of cardinality $\lambda$ which is either linked or disjoint. The following result was ...
um Haitham's user avatar
10 votes
3 answers
1k views

Combinatorial distance between simplicial complexes

Let $K_1$ and $K_2$ be two simplicial complexes. I am seeking a measure of the distance between $K_1$ and $K_2$ when viewed as combinatorial objects. What I have in mind is something like this. ...
Joseph O'Rourke's user avatar
25 votes
5 answers
3k views

Testing simplicial complexes for shellability

Question Are there efficient algorithms to check if a finite simplicial complex defined in terms of its maximal facets is shellable? By efficient here I am willing to consider anything with smaller ...
Vidit Nanda's user avatar
  • 15.4k
23 votes
0 answers
2k views

Are there lots of integer homology three-spheres?

The problem of counting combinatorial three-spheres with $N$ simplices has implications for some partition functions in physics (see a paper by Benedetti and Ziegler for more background and references)...
John Pardon's user avatar
  • 18.3k