arXiv research

Classifies arcs on a 4-punctured sphere that intersect at most once.

Researchers compute TQFT representation for sphere with 4 punctures.

Researchers prove positivity of skein algebra structure constants for specific surfaces.

The paper constructs solutions for Higgs fields on a 4-punctured sphere.

An earlier article with Francis Bonahon introduced new invariants for pseudo-Anosov diffeomorphisms of surface, based on the representation theory of the quantum Teichmuller space. We explicity compute these quantum hyperbolic invariants in the case of the 1-puncture torus and the 4-puncture sphere.

Given a pointed 4-ended tangle $T \subset D^3$, there are two Khovanov theoretic tangle invariants, $\unicode{1044}_1(T)$ from [arXiv:1910.1458] and $L_T$ from [arXiv:1808.06957], which are twisted complexes over the Fukaya category of the boundary 4-punctured sphere $(S^2,4\text{pt})=\partial (D^3, T)$. We prove that …

With a 4-ended tangle $T$, we associate a Heegaard Floer invariant $\operatorname{CFT^\partial}(T)$, the peculiar module of $T$. Based on Zarev's bordered sutured Heegaard Floer theory, we prove a glueing formula for this invariant which recovers link Floer homology $\operatorname{\widehat{HFL}}$. Moreover, we classify…

Classifies finite orbits of mapping class group action on character varieties.

We use Bonahon-Wong's trace map to study character varieties of the once-punctured torus and of the 4-punctured sphere. We clarify a relationship with cluster algebra associated with ideal triangulations of surfaces, and we show that the Goldman Poisson algebra of loops on surfaces is recovered from the Poisson structu…

We investigate the Lawson genus $2$ surface by methods from integrable system theory. We prove that the associated family of flat connections comes from a family of flat connections on a $4-$punctured sphere. We describe the symmetries of the holonomy and show that it is already determined by the holonomy around one of…

Let $Γ$ be a subgroup of $PSL(2,R)$ generated by three parabolic transformations. The main goal of this paper is to present an algorithm to determine whether or not $Γ$ is discrete. Historically discreteness algorithms have been considered within several broader mathematical paradigms: the discreteness problem, the con…

Operator on tangles derived from knot 2-cabling.

This paper gives the first explicit, two-sided estimates on the cusp area of once-punctured torus bundles, 4-punctured sphere bundles, and 2-bridge link complements. The input for these estimates is purely combinatorial data coming from the Farey tesselation of the hyperbolic plane. The bounds on cusp area lead to expl…

We study a topological aspect of rank-1 double affine Hecke algebra (DAHA). Clarified is a relationship between the DAHA of A1-type (resp. CC1-type) and the skein algebra on a once-punctured torus (resp. a 4-punctured sphere), and the SL(2;Z) actions of DAHAs are identified with the Dehn twists on the surfaces. Combini…

Given a 2-stranded tangle in a $\ZZ/2$ homology ball, $T\subset Y$, we investigate the character variety $R(Y,T)$ of conjugacy classes of traceless SU(2) representations of $π_1(Y\setminus T)$. In particular we completely determine the subspace of binary dihedral representations, and identify all of $R(Y,T)$ for many t…

Analyzes convex structures in Teichmüller space unit tangent spheres.

Following Riley's work, for each 2-bridge link $K(r)$ of slope $r\in\QQ$ and an integer or a half-integer $n$ greater than 1, we introduce the {\it Heckoid orbifold $\orbs(r;n)$} and the {\it Heckoid group $\Hecke(r;n)=π_1(\orbs(r;n))$ of index $n$ for $K(r)$}. When $n$ is an integer, $\orbs(r;n)$ is called an {\it eve…

For $n$ an even number, we study representations of the mapping class group of the $n$-punctured sphere arising from $\mathrm{SU}(2)$-TQFT when all punctures are colored by the same integer $N \geq 1$. We prove that the conjecture of Andersen, Masbaum and Ueno holds for the $4$-punctured sphere for all $N \geq 2$. In t…

The paper connects hyperpolygon spaces to Higgs bundle moduli spaces via degenerations.

Paper constructs Lawson surfaces using Fuchsian DPW potentials.

The purpose of this thesis is to define a "local" version of Ozsváth and Szabó's Heegaard Floer homology $\operatorname{\widehat{HFL}}$ for links in the 3-dimensional sphere, i.e. a Heegaard Floer homology $\operatorname{\widehat{HFT}}$ for tangles in the closed 3-ball. After studying basic properties of $\operatorname…

The paper provides presentations for mapping class groups and cluster automorphism groups of surfaces.

We give a geometric interpretation of Bar-Natan's universal invariant for the class of tangles in the 3-ball with four ends: we associate with such 4-ended tangles $T$ multicurves $\widetilde{\operatorname{BN}}(T)$, that is, collections of immersed curves with local systems in the 4-punctured sphere. These multicurves …

Quantum theory of curved tetrahedrons yields quantum group intertwiners.

We show that any simply connected topological closed $4$-manifold punctured along any compact, totally disconnected tame subset $Λ$ admits a continuum of smoothings which are not diffeomorphic to any leaf of a $C^{1,0}$ codimension one foliation on a compact manifold. This includes the remarkable case of $S^4$ puncture…

New research finds 145 infinite families of CS spheres are standard.

Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.

New theory proves infinite homology 3-spheres in homology 4-spheres.

The 3-sphere has either 2 minimal 2-spheres or an optimal foliation by 2-spheres.

Infinitely many splitting spheres found for unlinked 2-spheres in 4-space.

Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.

The study shows how to construct $d$-spheres from $(d-1)$-spheres and $d$-balls without additional vertices.

New proof for sphere recognition algorithm.

Proves stability of convex spheres with similar geodesic lengths.

Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A …

Study on sphere immersions and their stability indices.

The paper constructs biharmonic maps between spheres using polynomial maps.

Characterizes a specific type of convex curves on a 3-sphere.

Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.

Author provides an alternate proof of the free ribbon lemma.

Paper studies inscribed sphere and lines through centers of Apollonius spheres in n dimensions.

Sharp convergence theorem for sphere submanifolds proved.

In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mea…

We introduce and study a new class of homotopy spheres called Farrell-Jones spheres. Using Farrell-Jones sphere we construct examples of closed negatively curved manifolds $M^{2n}$, where $n=7$ or $8$, which are homeomorphic but not diffeomorphic to complex hyperbolic manifolds, thereby giving a partial answer to a que…

In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.

Study finds infinite families of Sasaki-Einstein metrics on spheres.

We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum…

We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…