arXiv research

Characterizes groups arising as fixed subgroups of RAAG automorphisms.

The paper classifies fixed subgroups in a specific group product.

Let $F$ be a finitely generated free group. By using Bestvina-Handel theory, as well as some further improvements, the eigengroups of a given automorphism of $F$ (and its fixed subgroup among them) are globally analyzed and described. In particular, an explicit description of all subgroups of $F$ which occur as the fix…

The paper classifies fixed subgroups of endomorphisms in free-abelian times surface groups.

For fixed subgroups $Fix(φ)$ of automorphisms $φ$ on hyperbolic 3-manifold groups $π_{1}(M)$, we observed that $\text{rk}(Fix(φ))<2\text{rk}(π_{1}(M))$ and the constant 2 in the inequality is sharp; we also classify all possible groups $Fix(φ)$.

Finite groups of RAAGs act on a contractible space without fixed points.

The study examines groups with a specific automorphism property using BNS-invariant.

For a closed surface $S$ with $χ(S)<0$, we show that the fixed subgroup of a family $\mathcal B$ of endomorphisms of $π_1(S)$ has $\rk \fix\mathcal B\leq \rk π_1(S)$. In particular, if $\mathcal B$ contains a non-epimorphic endomorphism, then $\rk \fix\mathcal B\leq \frac{1}{2} \rk π_1(S)$. We also show that geometric …

No hyperbolic group can have an infinite chain of free subgroups of fixed rank.

The study proves fixed-point theorems for groups acting on CAT(0) spaces.

The paper explores properties of continuous actions on manifolds, proving bounds on subgroup size and fixed points.

Let $M$ be a compact connected orientable Seifert manifold with hyperbolic orbifold $B_M$, and $f_π: π_1(M)\rightarrowπ_1(M)$ be an automorphism induced by an orientation-reversing homeomorphism $f$ of $M$. We give a bound on the rank of the fixed subgroup of $f_π$, namely, $\rank\fix(f_π)<2\rank π_1(M)$, which is simi…

New knots not rationally concordant to their reverses found.

In this paper we treat the intersection of fixed point subgroups by the involutive automorphisms of exceptional Lie group $G= F_4, E_6, E_7$. We shall find involutive automorphisms of $G$ such that the connected component of the intersection of those fixed point subgroups coincides with the maximal torus of $G$.

We strengthen the results of \cite{A1}, consequently, we improve the claims of \cite{A2} obtaining the best possible results. Namely, we prove that if a subgroup $Γ$ of $\mathrm{Diff}_{+}(I)$ contains a free semigroup on two generators then $Γ$ is not $C_0$-discrete. Using this, we extend the Hölder's Theorem in $\math…

In this paper, we show that if G is a finite p-group (p prime) acting by automorphisms on a $δ$-hyperbolic Poincare Duality group, then the fixed subgroup is a Poincare Duality group over Z/p. We also provide examples to show that the fixed subgroup might not even be a Duality group over Z.

We show that for any subgroup $H$ of Out($F_N$), either $H$ contains an atoroidal element or a finite index subgroup $H'$ of $H$ fixes a nontrivial conjugacy class in $F_N$. This result is an analog of Ivanov's subgroup theorem for mapping class groups and Handel-Mosher's subgroup theorem for Out($F_N$) in the setting …

Generic groups satisfy a chain condition for subgroups.

The study classifies normal subgroups of mapping class groups of surfaces with Cantor subsets.

In this paper, we use a result of Dahmani to show that the Euler class of some power subgroup (the subgroup normally generated by a fixed power of Dehn twist about a non-separating curve) is trivial inside the mapping class group of once punctured surface.

The paper computes Fenchel-Nielsen coordinates for fixed points of cyclic actions on Teichmüller space.

Let ${{\bf H}_{\mathbb H}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group ${\rm{Sp}}(n,1)$ acts by the isometries of ${{\bf H}_{\mathbb H}}^n$. A subgroup $G$ of ${\rm {Sp}}(n,1)$ is called \emph{Zariski dense} if it does not fix a point on ${{\bf H}_{\mathbb H}}^n \cup \partial {{\bf H}_…

Completed realizations of automorphisms and subgroups in exceptional Lie group $E_8$.

Let G be a finitely generated group having the property that any action of any finite-index subgroup of G by homeomorphisms of the circle must have a finite orbit. (By a theorem of E.Ghys, lattices in simple Lie groups of real rank at least two have this property.) Suppose that such a G acts on a compact manifold M by …

We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there …

Groups with specific properties have similar cubulations and coarse median structures.

We give a short proof of a theorem of Handel and Mosher stating that any finitely generated subgroup of $\text{Out}(F_N)$ either contains a fully irreducible automorphism, or virtually fixes the conjugacy class of a proper free factor of $F_N$, and we extend their result to non finitely generated subgroups of $\text{Ou…

Survey on finite group actions on manifolds.

We consider discrete subgroups Gamma of the simply connected Lie group SU~(1,1), the universal cover of SU(1,1), of finite level, i.e. the subgroup intersects the centre of SU~(1,1) in a subgroup of finite index, this index is called the level of the group. The Killing form induces a Lorentzian metric of constant curva…

We prove a homological stability theorem for the subgroup of the mapping class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the mapping class group preserving a fixed map from the fundamental group to a finite group, w…

For G = SL(3,R) and G = SO(2,n), we give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan decomposition G = KAK of G, and then carry out an approximate calculation of the …

We prove that if Γis subgroup of Diff_{+}^{1+ε}(I) and N is a natural number such that every non-identity element of Γhas at most N fixed points then Γis solvable. If in addition Γis a subgroup of Diff_{+}^{2}(I) then we can claim that Γis metaabelian.

Kakimizu complex of a knot is a flag simplicial complex whose vertices correspond to minimal genus Seifert surfaces and edges to disjoint pairs of such surfaces. We discuss a general setting in which one can define a similar complex. We prove that this complex is contractible, which was conjectured by Kakimizu. More ge…

Study on subgroups' evolution in 3D Lie groups using mean curvature flow.

Exponential growth of stable subgroups in Morse geodesics.

A fixed point theorem is proved for inverse transducers, leading to an automata-theoretic proof of the fixed point subgroup of an endomorphism of a finitely generated virtually free group being finitely generated. If the endomorphism is uniformly continuous for the hyperbolic metric, it is proved that the set of regula…

A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group ΠA_n of the free group F_n consists of automorphisms that take each member of some fixed free basis of F_n to a palindrome; the group ΠA_n has close connections with h…

We give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G = SU(2,n) has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan decomposition G = K A K of G, and then carry out an approximate calculation of the intersection of KHK w…

The paper studies automorphisms of RAAGs and RACGs, proving properties of their fixed subgroups.

An important theorem of Ling states that if $G$ is any factorizable non-fixing group of homeomorphisms of a paracompact space then its commutator subgroup $[G,G]$ is perfect. This paper is devoted to further studies on the algebraic structure (e.g. uniform perfectness, uniform simplicity) of $[G,G]$ and $[\tilde G,\til…

For simply connected compact exceptional Lie groups $G = F_4, E_6$ and $E_7$, we consider two involutions $σ, γ$ and determine the group structure of subgroups $G^{σ,γ}$ of $G$ which are the intersection $G^σ\cap G^γ$ of the fixed points subgroups of $G^σ$ and $G^γ$. The motivation is as follows. In [1](see the Referen…

If $X$ is a smooth manifold and ${\mathcal{G}}$ is a subgroup of $Diff(X)$ we say that $(X,{\mathcal{G}})$ has the almost fixed point property if there exists a number $C$ such that for any finite subgroup $G\leq{\mathcal{G}}$ there is some $x\in X$ whose stabilizer $G_x\leq G$ satisfies $[G:G_x]\leq C$. We say that $X…

Let G=SO(n,1) and Gamma a geometrically finite Zariski dense subgroup of G which is contained in an arithmetic subgroup of G. Denoting by Gamma(q) the principal congruence subgroup of Gamma of level q, and fixing a positive number λ_0 strictly smaller than (n-1)^2/4, we show that, as q tends to infinity along primes, t…

We investigate the mapping class group of an orientable $ω$-bounded surface. Such a surface splits, by Nyikos's Bagpipe Theorem, into a union of a bag (a compact surface with boundary) and finitely many long pipes. The subgroup consisting of classes of homeomorphisms fixing the boundary of the bag is a normal subgroup …

The paper finds dense subgroups in certain Lie groups.

In [13], it is proved that any subgroup of $\mathrm{Diff}_{+}^{ω}(I)$ (the group of orientation preserving analytic diffeomorphisms of the interval) is either metaabelian or does not satisfy a law. A stronger question is asked whether or not the Girth Alternative holds for subgroups of $\mathrm{Diff}_{+}^{ω}(I)$. In th…

An automorphism $α$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively hyperbolic group $G$, $Inn(G)$ has finite index in the subgroup $Aut_n(G)$ of normal au…

Consider a hyperbolic group G and a quasiconvex subgroup H of infinite index. We construct a set-theoretic section s of the quotient map (of sets) from G to G/H such that s(G/H) is a net in G; that is, any element of G is a bounded distance from s(G/H). This section arises naturally as a set of points minimizing word-l…