几何拓扑

We exhibit infinitely many exotic pairs of simply-connected, closed $4$-manifolds not related by any cork of the infinite family $W_n$ constructed by Akbulut and Yasui whose first member is the Akbulut cork. In particular, the Akbulut cork…

We consider circle patterns on closed tori equipped with complex projective structures. There is an embedding of the space of circle patterns to the Teichm\"{u}ller space of a punctured surface. Via the embedding, the Weil-Petersson…

In this paper we compute the mapping class group of closed simply-connected 6-manifolds $M$ which look like complete intersections, i.~e.~ $H_2(M;\mathbb Z) \cong \mathbb Z $ and $x^3 \ne 0$ where $x \in H^2(M; \mathbb Z)$ is a generator.…

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

Can you stretch and reform a curve such that it fills a square completely? This question dates back to 18th century, the origin of space-filling curves. It was proved affirmatively by many great mathematicians. In this document, we…

We develop new tools for the construction of fixed point sets in digital topology. We define excludable points and show that these may be excluded from all freezing sets. We show that articulation points are excludable. We also present…

Unifying various constructions of quandles including Coxeter quandles, free quandles, knot quandles of prime knots and Dehn quandles of orientable surfaces, we introduce Dehn quandles of groups with respect to their subsets. It turns out…

We prove that a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group admits a self-map of absolute degree greater than one if and only if it is virtually trivial. This generalizes in every dimension the…

We define a map from the skein module of a cusped hyperbolic 3-manifold to the ring of Laurent series in one variable with integer coefficients that satisfies two properties: its evaluation at peripheral curves coincides with the…

A quandle is an algebraic structure whose axioms are related to the Reidemeister moves used in knot theory. In this paper, we investigate the conjugate quandle of the orientation-preserving isometry group $\mathrm{PSL}(2, \mathbb{C})$ of…

Dotted graphs are certain finite graphs with vertices of degree 2 called dots in the $xy$-plane $\mathbb{R}^2$, and a dotted graph is said to be admissible if it is associated with a lattice polytope in $\mathbb{R}^2$ each of whose edge is…

We prove that all rational slopes are characterizing for the knot $5_2$, except possibly for positive integers. Along the way, we classify the Dehn surgeries on knots in $S^3$ that produce the Brieskorn sphere $\Sigma(2,3,11)$, and we study…

The $\Upsilon$ invariant is a concordance invariant defined by using knot Floer homology. F\"{o}ldv\'{a}ri gives a combinatorial restructure of it using grid homology. We extend the combinatorial $\Upsilon$ invariant for balanced spatial…

We study the natural inclusion of the space of Legendrian embeddings in $(\mathbb{S}^3,\xi_{\operatorname{std}})$ into the space of smooth embeddings from a homotopical viewpoint. T. K\'alm\'an posed in [Kal] the open question of whether…

Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the identity, then $g$ is called a generalized torsion element. The minimum number of conjugates in such a product is…

The non-orientable 4-genus of a knot $K$ in $S^{3}$, denoted $\gamma_4(K)$, measures the minimum genus of a non-orientable surface in $B^{4}$ bounded by $K$. We compute bounds for the non-orientable 4-genus of knots $T_{5, q}$ and $T_{6,…

Given a compact, oriented surface $S$ of finite genus and finitely many boundary components, we provide examples of finite covers $\tilde{S}$ of $S$ and non-simple closed curves $\gamma$ on $S$ which lifts to simple closed curves on…

It is conjectured that, on a non-trivial knot in the 3-sphere, no pair of Dehn surgeries along distinct slopes are purely cosmetic, that is, none of them yield 3-manifolds those are orientation-preservingly homeomorphic. In this paper, we…

The logarithm of the Kontsevich-Kuperberg-Thurston invariant counts embeddings of connected trivalent graphs in an oriented rational homology sphere, using integrals on configuration spaces of points in the given manifold. It is a universal…

We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…