Pith. sign in

REVIEW

Flip graph and arc complex finite rigidity

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2310.04211 v2 pith:DDM4OAZV submitted 2023-10-06 math.GT

classification math.GT
keywords complexfinitemathcalrigidityflipgraphcellsimplicial
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

A subcomplex $\mathcal{X}$ of a cell complex $\mathcal{C}$ is called \emph{rigid} with respect to another cell complex $\mathcal{C}'$ if every injective simplicial map $\lambda:\mathcal{X} \rightarrow \mathcal{C}'$ has a unique extension to an injective simplicial map $\phi:\mathcal{C}\rightarrow \mathcal{C}'$. We say that a cell complex exhibits \emph{finite rigidity} if it contains a finite rigid subcomplex. Given a surface with marked points, its \textit{flip graph} and \textit{arc complex} are simplicial complexes indexing the triangulations and the arcs between marked points, respectively. In this paper, we leverage the fact that the flip graph can be embedded in the arc complex as its dual to show that finite rigidity of the flip graph implies finite rigidity of the arc complex. Thus, a recent result of the second author on the finite rigidity of the flip graph implies finite rigidity of the arc complex for a broad class of surfaces. Notably, this includes surfaces with boundary -- a setting where finite rigidity of the arc complex was previously unknown.

Discussion (0). Continue with ORCID to comment.

Pith tools