Related papers: Extendability over the $4$-sphere and invariant sp…

Let $g$ be a non-negative integer, $\Sigma _g$ a closed orientable surface of genus $g$, and $\mathcal{M}_g$ its mapping class group. We classify all the group homomorphisms $\pi _1(\Sigma _g)\to G$ up to the action of $\mathcal{M}_g$ on…

On each nonorientable surface of even genus $g \geq 4$, we show that the Liechti-Strenner's polynomial in~\cite{LiechtiStrenner18} gives a maximal dilatation among pseudo-Anosov diffeomorphisms with an orientable invariant foliation. This…

Let $K\subseteq S^3$ be a knot with exterior $E_K$, and denote by $\rho\colon \pi_1(E_K)\twoheadrightarrow G$ a quotient of its group. We give a sharp obstruction to the existence of a connected, oriented, smooth surface $F\subseteq B^4$…

Let $S$ be a nonorientable surface of genus $g\ge 5$ with $n\ge 0$ punctures, and $\Mcg(S)$ its mapping class group. We define the complexity of $S$ to be the maximum rank of a free abelian subgroup of $\Mcg(S)$. Suppose that $S_1$ and…

Consider a polynomial F such that each variable appears in exactly one monomial. The hypersurface defined by the polynomial F is called a hypersurface with separable variables. A variety is called rigid if there are no nontrivial actions of…

Bowden, Hensel, and Webb constructed infinitely many quasimorphisms on the diffeomorphism groups of orientable surfaces. In this paper, we extend their result to nonorientable surfaces. Namely, we prove that the space of nontrivial…

We consider closed orientable surfaces $S$ of genus $g>1$ and homeomorphisms $f:S\rightarrow S$ homotopic to the identity. A set of hypotheses is presented, called fully essential system of curves $\mathscr{C}$ and it is shown that under…

We show that if G is a 4-critical graph embedded in a fixed surface $\Sigma$ so that every contractible cycle has length at least 5, then G can be expressed as $G=G'\cup G_1\cup G_2\cup ... \cup G_k$, where $|V(G')|$ and $k$ are bounded by…

For every irreducible automorphism $\phi\in\text{SL}_3({\mathbb Z})$ of the $3$-torus, for which the product of the expanding eigenvalues is positive, we construct a pseudo-Anosov mapping $f$ of an associated surface, semi-conjugate and…

Recently there has been renewed interest in the mapping-class group of a compact surface of genus $g \ge 2$ and also in its finite order elements. A finite order element of the mapping-class group will be a conformal automorphisms on some…

Every stable 4-sphere is identified with the double branched covering space of a trivial surface-knot space. As a result of Wall, it is known that any two orthogonal bases of every stable 4-sphere are transformed into each other by an…

This work is the extension of the results by the author in [7] and [6] for low-genus surfaces. Let $S$ be an orientable, connected surface of finite topological type, with genus $g \leq 2$, empty boundary, and complexity at least $2$; as a…

A surface $\Sigma$ in a 4-manifold $M$ is called flexible if any mapping class of the surface arises as the restriction of a diffeomorphism $(M,\Sigma) \to (M,\Sigma)$. We construct flexible surfaces in $\mathbb{C}P^2$ and $S^2 \times S^2$…

We find a graph of genus $5$ and its drawing on the orientable surface of genus $4$ with every pair of independent edges crossing an even number of times. This shows that the strong Hanani-Tutte theorem cannot be extended to the orientable…

Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…

Let $\imath: M\to \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed $p$-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure $\imath^\sharp(\varsigma^{p+2})$ on $M$ canonically induced from the…

We study those fully irreducible outer automorphisms phi of a finite rank free group F_r which are ``parageometric'', meaning that the attracting fixed point of phi in the boundary of outer space is a geometric R-tree with respect to the…

We show that every auto-homeomorphism of the unmeasured lamination space of an orientable surface of finite type is induced by a unique extended mapping class unless the surface is a sphere with at most four punctures or a torus with at…

Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the…

A K3 surface $X$ over a $p$-adic field $K$ is said to have good reduction if it admits a proper smooth model over the ring of integers of $K$. Assuming this, we say that a subgroup $G$ of $\mathrm{Aut}(X)$ is extendable if $X$ admits a…