Infinite Index Research Articles

Disjoint hypercyclic weighted pseudoshift operators generated by different shifts

Let I be a countably infinite index set, and let X be a Banach sequence space over I. In this article, we characterize the disjoint hypercyclic and supercyclic weighted pseudoshift operators on X in terms of the weights, the OP-basis, and the shift mappings on I. Also, the shifts on weighted Lp spaces of a directed tree and the operator weighted shifts on ℓ2(Z,K) are investigated as special cases.

Equivariant dissipation in non-archimedean groups

We prove that, if a topological group G has an open subgroup of infinite index, then every net of tight Borel probability measures on G UEB-converging to invariance dissipates in G in the sense of Gromov. In particular, this solves a 2006 problem by Pestov: for every left-invariant (or right-invariant) metric d on the infinite symmetric group Sym(ℕ), compatible with the topology of pointwise convergence, the sequence of the finite symmetric groups (Sym(n), d ↾Sym(n), μSym(n))n∈ℕ equipped with the restricted metrics and their normalized counting measures dissipates, thus fails to admit a subsequence being Cauchy with respect to Gromov’s observable distance.

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.

Non-cocompact Group Actions and -Semistability at Infinity

AbstractA finitely presented 1-ended group $G$ has semistable fundamental group at infinity if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than “1-ended”, and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper but non-cocompact action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a “perpendicular to $J$” part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.

The normal closure of a power of a half-twist has infinite index in the mapping class group of a punctured sphere

In this paper we show that the normal closure of the [Formula: see text]th power of a half-twist has infinite index in the mapping class group of a punctured sphere if [Formula: see text] is at least five. Furthermore, in some cases we prove that the quotient of the mapping class group of the punctured sphere by the normal closure of a power of a half-twist contains a free abelian subgroup. As a corollary we prove that the quotient of the hyperelliptic mapping class group of a surface of genus at least two by the normal closure of the [Formula: see text]th power of a Dehn twist has infinite order, and for some integers [Formula: see text] the quotient contains a free group. As a second corollary we recover a result of Coxeter: the normal closure of the [Formula: see text]th power of a half-twist in the braid group of at least four strands has infinite index. Our method is to reformulate the Jones representation of the mapping class group of a punctured sphere, using the action of Hecke algebras on [Formula: see text]-graphs, as introduced by Kazhdan–Lusztig.

On strongly quasiconvex subgroups

We develop a theory of \emph{strongly quasiconvex subgroups} of an arbitrary finitely generated group. Strong quasiconvexity generalizes quasiconvexity in hyperbolic groups and is preserved under quasi-isometry. We show that strongly quasiconvex subgroups are also more reflexive of the ambient groups geometry than the stable subgroups defined by Durham-Taylor, while still having many analogous properties to those of quasiconvex subgroups of hyperbolic groups. We characterize strongly quasiconvex subgroups in terms of the lower relative divergence of ambient groups with respect to them. We also study strong quasiconvexity and stability in relatively hyperbolic groups, right-angled Coxeter groups, and right-angled Artin groups. We give complete descriptions of strong quasiconvexity and stability in relatively hyperbolic groups and we characterize strongly quasiconvex special subgroups and stable special subgroups of two dimensional right-angled Coxeter groups. In the case of right-angled Artin groups, we prove that two notions of strong quasiconvexity and stability are equivalent when the right-angled Artin group is one-ended and the subgroups have infinite index. We also characterize non-trivial strongly quasiconvex subgroups of infinite index (i.e. non-trivial stable subgroups) in right-angled Artin groups by quadratic lower relative divergence, expanding the work of Koberda-Mangahas-Taylor on characterizing purely loxodromic subgroups of right-angled Artin groups.

LMI-based robust mixed-integer model predictive control for hybrid systems

ABSTRACT This paper proposes a linear matrix inequality (LMI) approach to mixed-integer model predictive control (MPC) of uncertain hybrid systems with binary and real valued control inputs. The stability condition of the hybrid system is obtained by using the Lyapunov function and then a sufficient state feedback control law is achieved so that guarantees the closed-loop stability and also minimises an infinite horizon performance index. The primal optimisation problem is convex, therefore, a convex relaxation is investigated by introducing the Lagrange dual function. The real and binary control inputs are obtained by solving the dual of the dual problem in the framework of LMIs. The performance and effectiveness of the proposed MPC approach and the duality gap of the convex relaxation are studied through simulation results of a hybrid system with mixed real and binary inputs.

Quotients of the mapping class group by power subgroups

We study the quotient of the mapping class group $\operatorname{Mod}_g^n$ of a surface of genus $g$ with $n$ punctures, by the subgroup $\operatorname{Mod}_g^n[p]$ generated by the $p$-th powers of Dehn twists. Our first main result is that $\operatorname{Mod}_g^1 /\operatorname{Mod}_g^1[p]$ contains an infinite normal subgroup of infinite index, and in particular is not commensurable to a higher-rank lattice, for all but finitely many explicit values of $p$. Next, we prove that $\operatorname{Mod}_g^0/ \operatorname{Mod}_g^0[p]$ contains a K\"ahler subgroup of finite index, for every $p\ge 2$ coprime with six. Finally, we observe that the existence of finite-index subgroups of $\operatorname{Mod}_g^0$ with infinite abelianization is equivalent to the analogous problem for $\operatorname{Mod}_g^0/ \operatorname{Mod}_g^0[p]$.

Necessary optimality conditions for a nonsmooth semi-infinite programming problem

The nonsmooth semi-infinite programming $$\left( {\textit{SIP}}\right) $$ is solved in the paper (Mishra et al. in J Glob Optim 53:285–296, 2012) using limiting subdifferentials. The necessary optimality condition obtained by the authors, as well as its proof, is false. Even in the case where the index set is a finite, the result remains false. Two major problems do not allow them to have the expected result; first, the authors were based on Theorem 3.2 (Soleimani-damaneh and Jahanshahloo in J Math Anal Appl 328:281–286, 2007) which is not valid for nonsmooth semi-infinite problems with an infinite index set; second, they would have had to assume a suitable constraint qualification to get the expected necessary optimality conditions. For the convenience of the reader, under a nonsmooth limiting constraint qualification, using techniques from variational analysis, we propose another proof to detect necessary optimality conditions in terms of Karush–Kuhn–Tucker multipliers. The obtained results are formulated using limiting subdifferentials and Frechet subdifferentials.

Maximal subgroups of groups of intermediate growth

Finding the number of maximal subgroups of infinite index of a finitely generated group is a natural problem that has been solved for several classes of “geometric” groups (linear groups, hyperbolic groups, mapping class groups, etc). Here we provide a solution for a family of groups with a different geometric origin: groups of intermediate growth that act on rooted binary trees. In particular, we show that the non-torsion iterated monodromy groups of the tent map (a special case of some groups first introduced by Šunić in [32] as “siblings of the Grigorchuk group”) have exactly countably many maximal subgroups of infinite index, and describe them up to conjugacy. This is in contrast to the torsion case (e.g. Grigorchuk group) where there are no maximal subgroups of infinite index. It is also in contrast to the above-mentioned geometric groups, where there are either none or uncountably many such subgroups.Along the way we show that all the groups defined by Šunić have the congruence subgroup property and are just infinite.

The generalised word problem in hyperbolic and relatively hyperbolic groups

We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show that the generalised word problem for a quasiconvex subgroup is a real-time language under either of two additional hypotheses on the subgroup.By extending the Muller–Schupp theorem we show that the generalised word problem for a finitely generated subgroup of a finitely generated virtually free group is context-free. Conversely, we prove that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of infinite index with context-free generalised word problem.

Growth gap in hyperbolic groups and amenability

We prove a general version of the amenability conjecture in the unified setting of a Gromov hyperbolic group G acting properly cocompactly either on its Cayley graph, or on a CAT(-1)-space. Namely, for any subgroup H of G, we show that H is co-amenable in G if and only if their exponential growth rates (with respect to the prescribed action) coincide. For this, we prove a quantified, representation-theoretical version of Stadlbauer's amenability criterion for group extensions of a topologically transitive subshift of finite type, in terms of the spectral radii of the classical Ruelle transfer operator and its corresponding extension. As a consequence, we are able to show that, in our enlarged context, there is a gap between the exponential growth rate of a group with Kazhdan's property (T) and the ones of its infinite index subgroups. This also generalizes a well-known theorem of Corlette for lattices of the quaternionic hyperbolic space or the Cayley hyperbolic plane.

Growth of quasiconvex subgroups

AbstractWe prove that non-elementary hyperbolic groups grow exponentially more quickly than their infinite index quasiconvex subgroups. The proof uses the classical tools of automatic structures and Perron–Frobenius theory.We also extend the main result to relatively hyperbolic groups and cubulated groups. These extensions use the notion of growth tightness and the work of Dahmani, Guirardel and Osin on rotating families.

Semi-free subgroups of a profinite surface group

Abstract We show that every closed normal subgroup of infinite index in a profinite surface group Γ is contained in a semi-free profinite normal subgroup of Γ. This answers a question of Bary-Soroker, Stevenson, and Zalesskii

Algebraic ending laminations and quasiconvexity

We explicate a number of notions of algebraic laminations existing in the literature, particularly in the context of an exact sequence $$1\to H\to G \to Q \to 1 $$ of hyperbolic groups. These laminations arise in different contexts: existence of Cannon-Thurston maps; closed geodesics exiting ends of manifolds; dual to actions on $\R-$trees. We use the relationship between these laminations to prove quasiconvexity results for finitely generated infinite index subgroups of $H$, the normal subgroup in the exact sequence above.

Maximal Subgroups and Irreducible Representations of Generalized Multi-Edge Spinal Groups

AbstractLet p ≥ 3 be a prime. A generalized multi-edge spinal group $$G = \langle \{ a\} \cup \{ b_i^{(j)} {\rm \mid }1 \le j \le p,\, 1 \le i \le r_j\} \rangle \le {\rm Aut}(T)$$ is a subgroup of the automorphism group of a regular p-adic rooted tree T that is generated by one rooted automorphism a and p families $b^{(j)}_{1}, \ldots, b^{(j)}_{r_{j}}$ of directed automorphisms, each family sharing a common directed path disjoint from the paths of the other families. This notion generalizes the concepts of multi-edge spinal groups, including the widely studied GGS groups (named after Grigorchuk, Gupta and Sidki), and extended Gupta–Sidki groups that were introduced by Pervova [‘Profinite completions of some groups acting on trees, J. Algebra310 (2007), 858–879’]. Extending techniques that were developed in these more special cases, we prove: generalized multi-edge spinal groups that are torsion have no maximal subgroups of infinite index. Furthermore, we use tree enveloping algebras, which were introduced by Sidki [‘A primitive ring associated to a Burnside 3-group, J. London Math. Soc.55 (1997), 55–64’] and Bartholdi [‘Branch rings, thinned rings, tree enveloping rings, Israel J. Math.154 (2006), 93–139’], to show that certain generalized multi-edge spinal groups admit faithful infinite-dimensional irreducible representations over the prime field ℤ/pℤ.

Effective subgroup separability of finitely generated nilpotent groups

This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computation generalizing work of the second author. We introduce a function that quantifies subgroup separability, and we provide polynomial upper and lower bounds. We finish by demonstrating that our results extend to virtually nilpotent groups and stating some open questions.

Groups with positive rank gradient and their actions

Abstract We show that given a finitely generated LERF group G with positive rank gradient, and finitely generated subgroups A, B ≤ G of infinite index, one can find a finite index subgroup B 0 of B such that [G : 〈A ∪ B 0〉] = ∞. This generalizes a theorem of Olshanskii on free groups. We conclude that a finite product of finitely generated subgroups of infinite index does not cover G. We construct a transitive virtually faithful action of G such that the orbits of finitely generated subgroups of infinite index are finite. Some of the results extend to profinite groups with positive rank gradient.

Infinite index extensions of local nets and defects

The subfactor theory provides a tool to analyze and construct extensions of Quantum Field Theories, once the latter are formulated as local nets of von Neumann algebras. We generalize some of the results of [62] to the case of extensions with infinite Jones index. This case naturally arises in physics, the canonical examples are given by global gauge theories with respect to a compact (non-finite) group of internal symmetries. Building on the works of Izumi–Longo–Popa [44] and Fidaleo–Isola [30], we consider generalized Q-systems (of intertwiners) for a semidiscrete inclusion of properly infinite von Neumann algebras, which generalize ordinary Q-systems introduced by Longo [58] to the infinite index case. We characterize inclusions which admit generalized Q-systems of intertwiners and define a braided product among the latter, hence we construct examples of QFTs with defects (phase boundaries) of infinite index, extending the family of boundaries in the grasp of [7].

Entropy and drift in word hyperbolic groups

The fundamental inequality of Guivarc’h relates the entropy and the drift of random walks on groups. It is strict if and only if the random walk does not behave like the uniform measure on balls. We prove that, in any nonelementary hyperbolic group which is not virtually free, endowed with a word distance, the fundamental inequality is strict for symmetric measures with finite support, uniformly for measures with a given support. This answers a conjecture of S. Lalley. For admissible measures, this is proved using previous results of Ancona and Blachère–Haïssinsky–Mathieu. For non-admissible measures, this follows from a counting result, interesting in its own right: we show that, in any infinite index subgroup, the number of non-distorted points is exponentially small compared to the growth of balls in the whole group. The uniformity is obtained by studying the behavior of measures that degenerate towards a measure supported on an elementary subgroup.