The membership problem for 3-manifold groups is solvable

Exponential Iterated Integrals and the Relative Solvable Completion of the Fundamental Group of a Manifold

We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M can be expressed via these new integrals. The ring of exponential iterated integrals contains the coordinate rings for a class of universal representations, called relative solvable completions, of the fundamental group. We consider exponential iterated integrals in the particular case of fibered knot complements, where the fundamental group always has a fa…

Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability

We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and relevant homomorphisms are also calculable in quadratic time. The algorithm also decides if a finitely generated subgroup has finite index.

3维流形群的近线性解法问题

Nearly-linear solution to the word problem for 3-manifold groups

本文提出了一种近线性时间算法，用于解决3维流形群的字问题，并展示了该方法在非几何图流形和自由积中的应用。

The Borel conjecture for manifolds with virtually solvable fundamental groups

The article has been withdrawn by the author. Wolfgang Lueck and Peter Linnell pointed out that the proof of Lemma 3.8 does not apply to the unrestricted case of wreath product. It is not clear at this stage how to complete the proof of Theorem 3.1 using the present version of Lemma 3.8. The valid results originating from this article will be added in a later paper.

Residually finite rationally solvable groups and virtual fibring

We show that a finitely generated residually finite rationally solvable (or RFRS) group $G$ is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb{Z}$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of $G$ vanishes. This generalises (and gives a new proof of) the analogous result of Ian Agol for fundamental groups of $3$-manifolds.

$2$-stratifold groups have solvable Word Problem

$2$-stratifolds are a generalization of $2$-manifolds in that there are disjoint simple closed curves where several sheets meet. We show that the word problem for fundamental groups of $2$-stratifolds is solvable.

一类具有算法可解同胚问题的开曲面

A class of open surfaces with algorithmically solvable homeomorphism problem

本文提出拓扑自动机这一由有限数据定义的非紧流形新类，并证明当维数为2时其同胚问题算法可判定。

2-knots with solvable group

We complete the TOP classification of 2-knots with torsion-free, solvable knot group by showing that fibred 2-knots with closed fibre the Hantzsche-Wendt flat 3-manifold $HW$ are not reflexive, while every fibred 2-knot with closed fibre a $\mathbb{N}il^3$-manifold with base orbifold $S^2(3,3,3)$ is reflexive, and by giving explicit normal forms for the strict weight orbits of normal generators for the groups of all knots in either class. We also determine when the knots are amphicheiral or invertible, and show that the only non-trivial doubly null-concordant knots with such groups are those w…

The word problem for 3-manifolds built from injective handlebodies

This paper gives a proof that the fundamental group of a class of closed orientable 3-manifolds constructed from three injective handlebodies has a solvable word problem. This is done by giving an algorithm to decide if a closed curve in the manifold is null-homotopic. Non-Haken and non-Seifert fibered examples are constructed by performing Dehn surgery on a class of two-bridge knots.

Average-case complexity and decision problems in group theory

We investigate the average-case complexity of decision problems for finitely generated groups, in particular the word and membership problems. Using our recent results on ``generic-case complexity'' we show that if a finitely generated group $G$ has the word problem solvable in subexponential time and has a subgroup of finite index which possesses a non-elementary word-hyperbolic quotient group, then the average-case complexity of the word problem for $G$ is linear time, uniformly with respect to the collection of all length-invariant measures on $G$. For example, the result applies to all bra…

Topological 4-manifolds with geometrically 2-dimensional fundamental groups

Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed oriented 4-manifolds with solvable Baumslag-Solitar fundamental groups, including a precise realization result.

Amenable L2-theoretic methods and knot concordance

We introduce new obstructions to topological knot concordance. These are obtained from amenable groups in Strebel's class, possibly with torsion, using a recently suggested $L^2$-theoretic method due to Orr and the author. Concerning $(h)$-solvable knots which are defined in terms of certain Whitney towers of height $h$ in bounding 4-manifolds, we use the obstructions to reveal new structure in the knot concordance group not detected by prior known invariants: for any $n>1$ there are $(n)$-solvable knots which are not $(n.5)$-solvable (and therefore not slice) but have vanishing Cochran-Orr-Te…

D-模与可解李叶状结构

D-modules and Solvable Lie Foliations

本文从D-模理论出发研究紧致流形上的可解李叶状结构，通过计算三类叶状结构的D-不规则度，证明和乐群非多循环性等价于导出环高阶上同调非消失，建立几何与D-模不变量的新联系。

The (n)-solvable filtration of the link concordance group and Milnor's invariants

We establish several new results about both the (n)-solvable filtration, F_n^m, of the set of link concordance classes and the (n)-solvable filtration of the string link concordance group. We first establish a relationship between Milnor's invariants and links, L, with certain restrictions on the 4-manifold bounded by M_L. Using this relationship, we can relate (n)-solvability of a link (or string link) with its Milnor's invariants. Specifically, we show that if a link is (n)-solvable, then its Milnor's invariants vanish for lengths up to 2^{n+2}-1. Previously, there were no known results abou…

Homology Cobordism Invariants and the Cochran-Orr-Teichner Filtration of the Link Concordance Group

For any group G, we define a new characteristic series related to the derived series, that we call the torsion-free derived series of G. Using this series and the Cheeger-Gromov rho-invariant, we obtain new real-valued homology cobordism invariants rho_n for closed (4k-1)-dimensional manifolds. For 3-dimensional manifolds, we show that {rho_n} is a linearly independent set and for each n, the image of rho_n is an infinitely generated and dense subset of R. In their seminal work on knot concordance, T. Cochran, K. Orr, and P. Teichner define a filtration F_(n)^m of the m-component (string) link…

具有初等可解基本群的不可球化4维流形

Aspherical 4-manifolds with elementary amenable fundamental group

分类了带边界的紧致不可球化4维流形的初等可解基本群，证明了它们要么是多重循环群，要么是可解的Baumslag-Solitar群，并由此得到拓扑刚性及边界分类结果。