Related papers: Injective maps between flip graphs

If a graph $G_M$ is embedded into a closed surface $S$ such that $S \backslash G_M$ is a collection of disjoint open discs, then $M=(G_M,S)$ is called a {\em map}. A {\em zigzag} in a map $M$ is a closed path which alternates choosing, at…

We introduce pathographs as a framework to study graph classes defined by forbidden structures, including forbidding induced subgraphs, minors, etc. Pathographs approximately generalize s-graphs of L\'ev\^eque--Lin--Maffray--Trotignon by…

In the 1970s and again in the 1990s, Gromov gave a number of theorems and conjectures motivated by the notion that the real homotopy theory of compact manifolds and simplicial complexes influences the geometry of maps between them. The main…

Given a surface, the fine $k$-curve graph of the surface is a graph whose vertices are simple closed essential curves and whose edges connect curves that intersect in at most $k$ points. We note that the fine $k$-curve graph is hyperbolic…

By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which…

We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de…

In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…

Fessler and Gutierrez \cite{Fe,Gu} proved that if a non-singular planar map has Jacobian matrix without eigenvalues in $(0,+\infty)$, then it is injective. We prove that the same holds replacing $(0,+\infty)$ with any unbounded curve…

In the last section of \cite{CompHyp} it is proved that the map $\mathcal{I}$ is a finite-sheeted covering map between $\mathcal{P}$ and $\mathcal{M}$. As $\mathcal{M}$ is simply connected it is deduced that $\mathcal{I}$ is a…

Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such…

We examine maps between noncommutative projective spaces. A surjection of graded rings A-->A/J induces a closed immersion Proj(A/J)-->Proj(A). A homomorphism f:A-->B between graded rings induces an affine map U --> Proj(A) from a non-empty…

For a graph embedded into a surface, we relate many combinatorial parameters of the cycle matroid of the graph and the bond matroid of the dual graph with the topological parameters of the embedding. This will give an expression of the…

We characterize which automorphisms of an arbitrary complete bipartite graph $K_{n,m}$ can be induced by a homeomorphism of some embedding of the graph in $S^3$.

We show that the conjugacy class of an eventually expanding continuous piecewise affine interval map is contained in a smooth codimension 1 submanifold of parameter space. In particular conjugacy classes have empty interior. This is based…

An oriented hypergraph is an oriented incidence structure that allows for the generalization of graph theoretic concepts to integer matrices through its locally signed graphic substructure. The locally graphic behaviors are formalized in…

We prove a topological extension of Dirac's theorem suggested by Gowers in 2005: for any connected, closed surface $\mathscr{S}$, we show that any two-dimensional simplicial complex on $n$ vertices in which each pair of vertices belongs to…

In this paper, we study the relationship between the mapping class group of an infinite-type surface and the simultaneous flip graph, a variant of the flip graph for infinite-type surfaces defined by Fossas and Parlier. We show that the…

Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$,…

Suppose $S_{1}$ and $S_{2}$ are orientable surfaces of finite topological type such that $S_{1}$ has genus at least $3$ and the complexity of $S_{1}$ is an upper bound of the complexity of $S_{2}$. Let $\varphi : \mathcal{C}(S_{1})…

We show that an oriented surface in $\mathbb{R}^4$ containing double point singularities induces a map between the Khovanov homology groups of its boundary links in a functorial way. As part of this work, the movie moves of Carter and Saito…