相关论文: Heegaard genus, cut number, weak p-congruence, and…
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…
Using Seifert fibered three-manifold examples of Boileau and Zieschang, we demonstrate that the Reshetikhin-Turaev quantum invariants may be used to provide a sharp lower bound on the Heegaard genus which is strictly larger than the rank of…
The equivariant Heegaard genus of a 3-manifold $M$ with the action of a finite group $G$ of diffeomorphisms is the smallest genus of an equivariant Heegaard splitting for $M$. Although a Heegaard splitting of a reducible manifold is…
The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and…
The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev…
A new quantum gauge model is proposed. From this quantum gauge model we derive a quantum invariant of 3-manifolds. We show that this quantum invariant of 3-manifolds gives a classification of closed (orientable and connected) 3-manifolds.…
In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple…
We introduce the quantum $j$-invariant in positive characteristic as a multi-valued, modular-invariant function of a local function field. In this paper, we concentrate on basic definitions and questions of convergence. Note: This version…
The Heegaard genus g of an irreducible closed orientable 3-manifold puts a limit on the number and complexity of the pieces that arise in the Jaco-Shalen-Johannson decomposition of the manifold by its canonical tori. For example, if p of…
Heegaard splittings stratify 3-manifolds by complexity; only $S^3$ admits a genus-zero splitting, and only $S^3$, $S^1 \times S^2$, and lens spaces $L(p,q)$ admit genus-one splittings. In dimension four, the second author and Jeffrey Meier…
We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds.
We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The…
It is well-known that Heegaard genus is additive under connected sum of 3-manifolds. We show that Heegaard genus of contact 3-manifolds is not necessarily additive under contact connected sum. We also prove some basic properties of the…
We compute the cohomological invariants with coefficients in $\mathbb{Z}/p\mathbb{Z}$ of the stack $\mathscr{H}_3$ of hyperelliptic curves of genus $3$ over an algebraically closed field.
We consider the SO(3) Witten-Reshetikhin-Turaev quantum invariants of random 3-manifolds. When the level r is prime, we show that the asymptotic distribution of the absolute value of these invariants is given by the standard Rayleigh…
Quantum invariants in low dimensional topology offer a wide variety of valuable invariants of knots and 3-manifolds, presented by explicit formulas that are readily computable. Their computational complexity has been actively studied and is…
We give a congruence for the quantum invariant of a Z_p-quotient of a 3$-manifold with a Z_{p^2} action. We show the congruence does not hold for quotients of 3--manifolds with a Z_{5}xZ_{5} action.
The Kuperberg invariant is a topological invariant of closed 3-manifolds based on finite-dimensional Hopf algebras. In this paper, we initiate the program of constructing 4-manifold invariants in the spirit of Kuperberg's 3-manifold…
We develop explicit formulae for the eigenvalues of various invariants for highest weight irreducible representations of the quantum supergroup $U_q[gl(m|n)]$. The techniques employed make use of modified characteristic identity methods and…
We define the notion of a Kirby element of a ribbon category C (not necessarily semisimple). Kirby elements lead to 3-manifolds invariants. We characterize (in terms of the structure maps of some categorical Hopf algebra) a set of Kirby…