arXiv research

New findings on generating mapping class groups with specific torsion elements.

We consider finite group-actions on closed, orientable and nonorientable 3-manifolds; such a finite group-action leaves invariant the two handlebodies of a Heegaard splitting of M of some genus g. The maximal possible order of a finite group-action of an orientable or nonorientable handlebody of genus g > 1 is 24(g-1),…

New generators found for twist subgroup of nonorientable surfaces.

The paper determines the maximal order of translation groups in abelian differentials for various genera.

We compute Vassiliev invariants up to order six for arbitrary pretzel knots, which depend on $g+1$ parameters $n_1,\ldots,n_{g+1}$. These invariants are symmetric polynomials in $n_1,\ldots,n_{g+1}$ whose degree coincide with their order. We also discuss their topological and integer-valued properties.

The study explores large group actions on 3-manifolds and their Heegaard splittings.

Study shows mapping class group actions on configuration spaces are trivial for specific stages.

Study of large group actions on surfaces, focusing on Hurwitz and handlebody groups.

We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $Σ_g$ of genus $g$ which extends over $(S^3, Σ_g)$, where the maximum is taken over all possible embeddings $Σ_g\hookrightarrow S^3$. We will determine $OE_g$ for each $…

If a finite group of orientation-preserving diffeomorphisms of the 3-dimensional torus leaves invariant an oriented, closed, embedded surface of genus g>1 and preserves the orientation of the surface, then its order is bounded from above by 12(g-1). In the present paper we classify (up to conjugation) all such group ac…

New rules for classifying certain square roots of surface automorphisms.

Non-trivial action on surface configuration homology.

Let $G_1$ and $G_2$ be Lie groups furnished with bi-invariant metrics and $f:G_1\rightarrow G_2$ be a Lie group homomorphism which is also a minimal isometric immersion. If $G_1$ is compact and connected, we prove that either $G_1$ is isometric to a flat torus or $f$ is unstable as a harmonic map. We also apply this re…

Every GL(2,R)-orbit in hyperelliptic components of strata of abelian differentials in genus greater than two is either closed, dense, or contained in a locus of branched covers.

It is known that the order of a finite group of diffeomorphisms of a 3-dimensional handlebody of genus g > 1 is bounded by the linear polynomial 12(g-1), and that the order of a finite group of diffeomorphisms of a 4-dimensional handlebody (or equivalently, of its boundary 3-manifold), faithful on the fundamental group…

Study primes dividing torsion in homology of commuting elements in Lie groups.

The paper classifies reversible and strongly reversible elements in Hermitian isometry groups.

Study abelian cycles in Torelli group homology, proving new results in stable rational homology.

Study of a torsion class in mapping class group's cohomology.

Let $g\geq3$ and $n\geq0$, and let ${\mathcal{M}}_{g,n}$ be the mapping class group of a surface of genus $g$ with $n$ boundary components. We prove that ${\mathcal{M}}_{g,n}$ contains a unique subgroup of index $2^{g-1}(2^{g}-1)$ up to conjugation, a unique subgroup of index $2^{g-1}(2^{g}+1)$ up to conjugation, and t…

Let $(X, g_0)$ be a complete, simply connected Riemannian manifold with sectional curvatures $K_{g_0}$ satisfying $-b^2 \leq K_{g_0} \leq -1$ for some $b \geq 1$. Let $g_1$ be a Riemannian metric on $X$ such that $g_1 = g_0$ outside a compact in $X$, and with sectional curvatures $K_{g_1}$ satisfying $K_{g_1} \leq -1$.…

We prove that for genus $g=3,4$, the extended mapping class group $\text{Mod}^{\pm}(S_g)$ can be generated by two elements of finite orders. But for $g=1$, $\text{Mod}^{\pm}(S_1)$ cannot be generated by two elements of finite orders.

For a oriented genus g surface with one boundary component, S, the Torelli group is the group of orientation preserving homeomorphisms of S that induce the identity on homology. The Magnus representation of the Torelli group represents the action on F/F" where F=pi_1(S) and F" is the second term of the derived series. …

Let $G$ be a countable group that splits as a free product of groups of the form $G=G_1\ast\dots\ast G_k\ast F_N$, where $F_N$ is a finitely generated free group. We identify the closure of the outer space $P\mathcal{O}(G,\{G_1,\dots,G_k\})$ for the axes topology with the space of projective minimal, \emph{very small} …

The mapping class group of a genus $g$ surface $Σ_{g,1}$ with one boundary component is known to have a simple yet infinite presentation with generators given by elementary moves called Whitehead moves on so-called marked bordered fatgraphs. In this paper, we introduce an algorithm called "fatgraph Nielsen reduction" w…

Let $M(N_{h,n})$ denote the mapping class group of a compact nonorientable surface of genus $h\ge 7$ and $n\le 1$ boundary components, and let $T(N_{h,n})$ be the subgroup of $M(N_{h,n})$ generated by all Dehn twists. It is known that $T(N_{h,n})$ is the unique subgroup of $M(N_{h,n})$ of index $2$. We prove that $T(N_…

For any compact and connected Lie group $G$ and any free abelian or free nilpotent group $Γ$ , we determine the cohomology of the path component of the trivial representation of the representation space (character variety) $Rep(Γ,G)_1$, with coefficients in a field $F$ with ${char} (F)$ either 0 or relatively prime to …

In the 1970s, Birman-Craggs-Johnson used Rochlin's invariant for homology 3-spheres to construct a remarkable surjective homomorphism sigma:I_{g,1}->B_3, where I_{g,1} is the Torelli group and B_3 is a certain F_2-vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them …

Suppose an orientation preserving action of a finite group $G$ on the closed surface $Σ_g$ of genus $g>1$ extends over the 3-torus $T^3$ for some embedding $Σ_g\subset T^3$. Then $|G|\le 12(g-1)$, and this upper bound $12(g-1)$ can be achieved for $g=n^2+1, 3n^2+1, 2n^3+1, 4n^3+1, 8n^3+1, n\in \mathbb{Z}_+$. Those surf…

Constructs moduli spaces for complex affine and dilation surfaces.

Let G be a finite group acting orthogonally on a pair (S^d,Γ) where Γis a finite, connected graph of genus g>1 embedded in the sphere S^d. The 3-dimensional case d=3 has recently been considered in a paper by C. Wang, S. Wang, Y. Zhang and the present author where for each genus g>1 the maximum order of a G-action on a…

The dth symmetric product of a curve of genus g is a smooth projective variety. This paper is concerned with the little quantum cohomology ring of this variety, that is, the ring having its 3-point Gromov-Witten invariants as structure constants. This is of considerable interest, for example as the base ring of the qua…

New findings on normal closure of maps for genus 0.

The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the…

Study on deformations of Einstein and nearly G2 structures in 3-Sasaki manifolds.

With the help of the evolution method we calculate all HOMFLY polynomials in all symmetric representations [r] for a huge family of (generalized) pretzel links, which are made from g+1 two strand braids, parallel or antiparallel, and depend on g+1 integer numbers. We demonstrate that they possess a pronounced new struc…

Study on Gaussian-width complexity on statistical manifolds and its applications in learning and recovery.

Let $Σ_g (g>1)$ be a closed surface embedded in $S^3$. If a group $G$ can acts on the pair $(S^3, Σ_g)$, then we call such a group action on $Σ_g$ extendable over $S^3$. In this paper we show that the maximum order of extendable cyclic group actions is $4g+4$ when $g$ is even and $4g-4$ when $g$ is odd; the maximum ord…

The paper characterizes curves in pseudo-Galilean 4-space.

The mapping class group $\mathrm{Mod}_{g, 1}$ of a surface with one marked point can be identified with an index two subgroup of $\mathrm{Aut}(π_1 Σ_g)$. For a surface of genus $g \geq 2$, we show that any action of $\mathrm{Mod}_{g, 1}$ on the circle is either semi-conjugate to its natural action on the Gromov boundar…

We reduce a question of Eskin-Kontsevich-Zorich and Forni-Matheus-Zorich, which asks for a classification of all $\text{SL}_2(\mathbb{R})$-invariant ergodic probability measures with completely degenerate Kontsevich-Zorich spectrum, to a conjecture of Möller's. Let $\mathcal{D}_g (1)$ be the subset of the moduli space …

We prove the existence of a minimal diffeomorphism isotopic to the identity between two hyperbolic cone surfaces $(Σ,g_1)$ and $(Σ,g_2)$ when the cone angles of $g_1$ and $g_2$ are different and smaller than $π$. When the cone angles of $g_1$ are strictly smaller than the ones of $g_2$, this minimal diffeomorphism is u…

We show that for each genus there are only finitely many algebraically primitive Teichmueller curves C, such that i) C lies in the hyperelliptic locus and ii) C is generated by an abelian differential with two zeros of order g-1. We prove moreover that for these Teichmueller curves the trace field of the affine group i…

We show that the minimal number of singular fibers $N(g,1)$ in a genus-$g$ Lefschetz fibration over the torus is at least $3$. As an application, we show that $N(g, 1) \in \{ 3, 4\}$ for $g\ge 5$, $N(g, 1) \in \{3, 4,5 \}$ for $g= 3, 4$ and $N(2,1) = 7$.

Researchers calculate Morse index and nullity for two specific minimal hypersurfaces.

In this paper we construct a new family of simply connected minimal complex surfaces of general type with $p_g=1$, $q=0$, and $K^2=3, 4, 5, 6, 8$ using a $\mathbb{Q}$-Gorenstein smoothing theory. We also reconstruct minimal complex surfaces of general type with $p_g=1$, $q=0$, and $K^2=1, 2$ using the same method.

A specific set of 4g+1 elements is shown to generate the Goeritz group of the genus g+1 Heegaard splitting of a genus g handlebody. These generators are consistent with Powell's proposed generating set for the Goeritz group of the genus g+1 splitting of S^3. There are two proofs: one using purely classical techniques a…

Let $S_{1}$ and $S_{2}$ be connected orientable surfaces of genus $g_{1}, g_{2} \geq 3$, $n_{1},n_{2} \geq 0$ punctures, and empty boundary. Let also $\varphi: \mathcal{HT}(S_{1}) \rightarrow \mathcal{HT}(S_{2})$ be an edge-preserving alternating map between their Hatcher-Thurston graphs. We prove that $g_{1} \leq g_{2…