A fibering theorem for 3-manifolds

We generalize a result of Moon on the fibering of certain 3-manifolds over the circle. Our main theorem is the following: Let $M$ be a closed 3-manifold. Suppose that $G=\pi_1(M)$ contains a finitely generated group $U$ of infinite index in $G$ which contains a non-trivial subnormal subgroup $N\neq \mathbb{Z}$ of $G$, and suppose that $N$ has a composition series of length $n$ in which at least $n-1$ terms are finitely generated. Suppose that $N$ intersects nontrivially the fundamental groups of the splitting tori given by the Geometrization Theorem and that the intersections of $N$ with the fundamental groups of the geometric pieces are non-trivial and not isomorphic to $\mathbb{Z}$. Then, $M$ has a finite cover which is a bundle over $\mathbb{S}$ with fiber a compact surface $F$ such that $\pi_1(F)$ and $U$ are commensurable.

Cannon–Thurston maps for $${{\,\mathrm{CAT}\,}}(0)$$ groups with isolated flats

Mahan Mitra (Mj) proved Cannon–Thurston maps exist for normal hyperbolic subgroups of a hyperbolic group (Mitra in Topology, 37(3):527–538, 1998). We prove that Cannon–Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic $${{\,\mathrm{CAT}\,}}(0)$$ CAT ( 0 ) groups with isolated flats with respect to the visual boundaries. We also show Cannon–Thurston maps do not exist for infinite infinite-index normal $${{\,\mathrm{CAT}\,}}(0)$$ CAT ( 0 ) subgroups with isolated flats in non-hyperbolic $${{\,\mathrm{CAT}\,}}(0)$$ CAT ( 0 ) groups with isolated flats. We obtain a structure theorem for the normal subgroups in these settings and show that outer automorphism groups of hyperbolic groups have no purely atoroidal $$\mathbb {Z}^2$$ Z 2 subgroups.

On Rough Approximations of Languages under Infinite Index Indiscernibility Relations

In the paper [13] Păun, Polkowski and Skowron introduce several indiscernibility relations among strings that are infinite index equivalence or tolerance relations, and study lower and upper rough approximations of languages defined by them. In this paper we develop a further study of some of these indiscernibility relations among strings. We characterize the classes defined by them, and the rough approximations of general and context free languages under them. We also compare some of the rough approximations these relations produce to the ones given by the congruences defining testable, reverse testable, locally testable, piecewise testable and commutative languages. Those yield languages belonging to that families. Next, we modify some of the relations to obtain congruences, and study the families of languages the rough approximations under them give rise to. One of these modificated relations turns out to be the k-abelian congruence, that was defined by J. Karhumäki in [7], in the context of combinatorics on words. We show that it defines a pseudo-principal +-variety, a term defined in [9]. Our results in that work are then applied to determine when a given language has a best upper approximation in that family. Finally, we make some comments on the accuracy of the rough approximations obtained in each case.

Hilbert boundary value problem for generalized analytic functions with a singular line

In this paper, we study an inhomogeneous Hilbert boundary value problem with a finite index and a boundary condition on a circle for a generalized Cauchy-Riemann equation with a singular coefficient. To solve this problem, we conducted a complete study of the solvability of the Hilbert boundary value problem of the theory of analytic functions with an infinite index due to a finite number of points of a special type of vorticity. Based on these results, we have derived a formula for the general solution and studied the existence and number of solutions to the boundary value problem of the theory of generalized analytic functions.

A transformation-based discretization method for solving general semi-infinite optimization problems

Discretization methods are commonly used for solving standard semi-infinite optimization (SIP) problems. The transfer of these methods to the case of general semi-infinite optimization (GSIP) problems is difficult due to the $$\mathbf {x}$$ x -dependence of the infinite index set. On the other hand, under suitable conditions, a GSIP problem can be transformed into a SIP problem. In this paper we assume that such a transformation exists globally. However, this approach may destroy convexity in the lower level, which is very important for numerical methods. We present in this paper a solution approach for GSIP problems, which cleverly combines the above mentioned two techniques. It is shown that the convergence results for discretization methods in the case of SIP problems can be transferred to our transformation-based discretization method under suitable assumptions on the transformation. Finally, we illustrate the operation of our approach as well as its performance on several examples, including a problem of volume-maximal inscription of multiple variable bodies into a larger fixed body, which has never before been considered as a GSIP test problem.

On growth of double cosets in hyperbolic groups

Let [Formula: see text] be a hyperbolic group, [Formula: see text] and [Formula: see text] be subgroups of [Formula: see text], and [Formula: see text] be the growth function of the double cosets [Formula: see text]. We prove that the behavior of [Formula: see text] splits into two different cases. If [Formula: see text] and [Formula: see text] are not quasiconvex, we obtain that every growth function of a finitely presented group can appear as [Formula: see text]. We can even take [Formula: see text]. In contrast, for quasiconvex subgroups [Formula: see text] and [Formula: see text] of infinite index, [Formula: see text] is exponential. Moreover, there exists a constant [Formula: see text], such that [Formula: see text] for all big enough [Formula: see text], where [Formula: see text] is the growth function of the group [Formula: see text]. So, we have a clear dichotomy between the quasiconvex and non-quasiconvex case.

Counting subgraphs in fftp graphs with symmetry

Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano–Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the existence of a lower bound for the growth rate independent of the finite generating set and the infinite index quasi-convex subgroup.

Stable subgroups and Morse subgroups in mapping class groups

For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor [M. Durham and S. Taylor, Convex cocompactness and stability in mapping class groups, Algebr. Geom. Topol. 15(5) (2015) 2839–2859] defined stability and proved stability is equivalent to convex cocompactness in mapping class groups. Another natural generalization of quasiconvexity is given by the notion of a Morse or strongly quasiconvex subgroup of a finitely generated group, studied recently by Tran [H. Tran, On strongly quasiconvex subgroups, To Appear in Geom. Topol., preprint (2017), arXiv:1707.05581 ] and Genevois [A. Genevois, Hyperbolicities in CAT (0) cube complexes, preprint (2017), arXiv:1709.08843 ]. In general, a subgroup is stable if and only if the subgroup is Morse and hyperbolic. In this paper, we prove that two properties of being Morse and stable coincide for a subgroup of infinite index in the mapping class group of an oriented, connected, finite type surface with negative Euler characteristic.