Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userEssential surfaces in graph pairs
293
0
0.0
(
0
)
Authors
Henry Wilton
Ask ChatGPT about the research
No Arabic abstract
A well known question of Gromov asks whether every one-ended hyperbolic group $Gamma$ has a surface subgroup. We give a positive answer when $Gamma$ is the fundamental group of a graph of free groups with cyclic edge groups. As a result, Gromovs question is reduced (modulo a technical assumption on 2-torsion) to the case when $Gamma$ is rigid. We also find surface subgroups in limit groups. It follows that a limit group with the same profinite completion as a free group must in fact be free, which answers a question of Remeslennikov in this case.
rate research
Read More
Extending Culler-Shalen theory, Hara and the second author presented a way to construct certain kinds of branched surfaces in a $3$-manifold from an ideal point of a curve in the $operatorname{SL}_n$-character variety. There exists an essential surface in some $3$-manifold known to be not detected in the classical $operatorname{SL}_2$-theory. We prove that every connected essential surface in a $3$-manifold is given by an ideal point of a rational curve in the $operatorname{SL}_n$-character variety for some $n$.
We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds.
Checkerboard surfaces in alternating link complements are used frequently to determine information about the link. However, when many crossings are added to a single twist region of a link diagram, the geometry of the link complement stabilizes (approaches a geometric limit), but a corresponding checkerboard surface increases in complexity with crossing number. In this paper, we generalize checkerboard surfaces to certain immersed surfaces, called twisted checkerboard surfaces, whose geometry better reflects that of the alternating link in many cases. We describe the surfaces, show that they are essential in the complement of an alternating link, and discuss their properties, including an analysis of homotopy classes of arcs on the surfaces in the link complement.
For an odd prime p the cohomology ring of an elementary abelian p-group is polynomial tensor exterior. We show that the ideal of essential classes is the Steenrod closure of the class generating the top exterior power. As a module over the polynomial algebra, the essential ideal is free on the set of Mui invariants.
Divergence functions of a metric space estimate the length of a path connecting two points $A$, $B$ at distance $le n$ avoiding a large enough ball around a third point $C$. We characterize groups with non-linear divergence functions as groups having cut-points in their asymptotic cones. By Olshanskii-Osin-Sapir, that property is weaker than the property of having Morse (rank 1) quasi-geodesics. Using our characterization of Morse quasi-geodesics, we give a new proof of the theorem of Farb-Kaimanovich-Masur that states that mapping class groups cannot contain copies of irreducible lattices in semi-simple Lie groups of higher ranks. It also gives a generalization of the result of Birman-Lubotzky-McCarthy about solvable subgroups of mapping class groups not covered by the Tits alternative of Ivanov and McCarthy. We show that any group acting acylindrically on a simplicial tree or a locally compact hyperbolic graph always has many periodic Morse quasi-geodesics (i.e. Morse elements), so its divergence functions are never linear. We also show that the same result holds in many cases when the hyperbolic graph satisfies Bowditchs properties that are weaker than local compactness. This gives a new proof of Behrstocks result that every pseudo-Anosov element in a mapping class group is Morse. On the other hand, we conjecture that lattices in semi-simple Lie groups of higher rank always have linear divergence. We prove it in the case when the $mathbb{Q}$-rank is 1 and when the lattice is $SL_n(mathcal{O}_S)$ where $nge 3$, $S$ is a finite set of valuations of a number field $K$ including all infinite valuations, and $mathcal{O}_S$ is the corresponding ring of $S$-integers.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
