Related papers: Note on primitive disk complexes
We show that {\sc Heegaard Genus $\leq g$}, the problem of deciding whether a triangulated 3-manifold admits a Heegaard splitting of genus less than or equal to $g$, is NP-hard. The result follows from a quadratic time reduction of the…
The following dichotomy is established: A finitely generated, complex Dedekind domain that is not commutative is simple. Weaker versions of this dichotomy are proved for Dedekind prime rings and hereditary noetherian prime rings.
We examine three key conjectures in 3-manifold theory: the virtually Haken conjecture, the positive virtual b_1 conjecture and the virtually fibred conjecture. We explore the interaction of these conjectures with the following seemingly…
We show that the $\mathbb{Q}/\mathbb{Z}$-valued linking forms on rational homology spheres are (anti-) symmetric and we compute the linking form of a 3-dimensional rational homology sphere in terms of a Heegaard splitting. Both results have…
Given any smooth fibration of the unit 3-sphere by great circles, we show that the distribution of 2-planes orthogonal to the great circle fibres is a tight contact structure, a fact well known in the special case of the Hopf fibrations.…
We show that, for any integers, $g \geq 3$ and $n \geq 2$, there exists a link in $S^3$ such that its complement has a genus $g$ Heegaard splitting with distance $n$.
Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…
We prove that the free splitting complex of a finite rank free group, also known as Hatcher's sphere complex, is hyperbolic.
In this paper, by putting a separating incompressible surface in a 3-manifold into Morse position relative to the height function associated to a strongly irreducible Heegaard splitting, we show that an incompressible subsurface of the…
A Heegaard diagram for a 3-manifold M is a closed, oriented surface S together with a pair (X, Y) of compact 1-manifolds in S whose components serve as attaching curves for the 2-handles of the two sides of a Heegaard splitting for M. The…
A transitive permutation group is said to be semiprimitive if each of its normal subgroups is either semiregular or transitive.The class of semiprimitive groups properly contains primitive groups, quasiprimitive groups and innately…
A finite graph $\G$ is said to be {\em $(G,3)$-$($connected$)$ homogeneous} if every isomorphism between any two isomorphic (connected) subgraphs of order at most $3$ extends to an automorphism $g\in G$ of the graph, where $G$ is a group of…
The isometry class of the intersection form of a compact complex surface can be easily determined from complex-analytic invariants. For projective surfaces the primitive lattice is another naturally occurring lattice. The goal of this note…
Given a closed, oriented surface X of genus g>1, and a semisimple Lie group G, let R_G be the moduli space of reductive representations of the fundamental group of X in G. We determine the number of connected components of R_PGL(n,R), for…
The aim of this small note is to prove an elementary yet useful properties of finitely presented groups. Let G be a finitely generated group with one end. Fix a (finite) generating set and let $B_n$ be the ball of radius $n$ around $e$. Let…
For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological…
We introduce some compact orbifolds on which there is a certain finite group action having a simple convex polytope as the orbit space. We compute the orbifold fundamental group and homology groups of these orbifolds. We calculate the…
A number field $K$ is called primitive if $\mathbb Q$ and $K$ are the only subfields of $K$. Let $X$ be a nice curve over $\mathbb Q$ of genus $g$. A point $P$ of degree $d$ on $X$ is called primitive if the field of definition $\mathbb…
A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…
In this work we ask when a group is a 3-manifold group, or more specifically, when does a group presentation come naturally from a Heegaard diagram for a 3-manifold? We will give some conditions for partial answers to this form of the…