arXiv research

We continue here the investigation of the relationship between the intersection of a pair of subgroups of a Kleinian group, and in particular the limit set of that intersection, and the intersection of the limit sets of the subgroups. Of specific interest is the extent to which the intersection of the limit sets being …

For suitable subgroups of a finitely generated group, we define the intersection number of one subgroup with another subgroup and show that this number is symmetric. We also give an interpretation of this number.

A new method improves AI fairness assessment by estimating performance across intersectional subgroups.

The paper explores intersectional fairness in machine learning, proving bounds on it.

We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to…

We study graphs of (generalized) joins and intersections of finitely generated subgroups of a free group. We show how to disprove a lemma of Imrich and Müller on these graphs and how to repair this lemma.

Study shows nontrivial intersections of subgroups on homogeneous spaces.

SL(3,Z) contains subgroups whose intersection is not finitely generated.

We show that the subgroup of the knot concordance group generated by links of isolated complex singularities intersects the subgroup of algebraically slice knots in an infinite rank subgroup.

Study of Coxeter diagrams and Artin-Tits groups, focusing on normalisers and wall intersections.

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$.

Mapping class group subgroups yield quasi-isometric curve complex.

The Hanna Neumann conjecture gives a bound on the intersection of finitely generated subgroups of free groups. We explore a natural extension of this result, which turns out to be true only in the finite index case, and provide counterexamples for the general case. We also see that the graph-based method of generating …

We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for manifolds commensurable with these groups, immersed incompressible surfaces lift to embe…

In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric groups. In particular, we show that the intersection subgroups of some canonical subgroups in certain link groups modulo their symmetric commutator subgroups are isomorphic to the (higher) homotopy groups. This give…

Classifies hyperbolic groups with surface-like boundaries.

We introduce the (general) homotopy groups of spheres as link invariants for Brunnian-type links through the investigations on the intersection subgroup of the normal closures of the meridians of strongly nonsplittable links. The homotopy groups measure the difference between the intersection subgroup and symmetric com…

Study of groups and their quasi-isometrically embedded subgroups.

Let $G = \langle A,B \rangle$ be a non-elementary two generator subgroup of the isometry group of $\mathbb{H}^2$, the hyperbolic plane. If $G$ is discrete and free and geometrically finite, its quotient is a pair of pants and in prior work we produced a formula for the number of essential self intersections (ESIs) of a…

Generalizes Collins' theorem to products of locally indicable groups.

The intersection pattern of the translates of the limit set of a quasi-convex subgroup of a hyperbolic group can be coded in a natural incidence graph, which suggests connections with the splittings of the ambient group. A similar incidence graph exists for any subgroup of a group. We show that the disconnectedness of …

Given a diagram for a trisection of a 4-manifold $X$, we describe the homology and the intersection form of $X$ in terms of the three subgroups of $H_1(Σ;\mathbb{Z})$ generated by the three sets of curves and the intersection pairing on the diagram surface $Σ$. This includes explicit formulas for the second and third h…

Complex captures group properties, invariant under quasi-isometry.

Let $Γ_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $Φ_f(G)$ denote the intersection of all maximal subgroups of finite index in $G$. Motivated by a question of Ivanov as to whether $Φ_f(G)$ is nilpotent when $G$ is a fi…

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 …

A subgroup of a Kac-Moody group is called bounded if it is contained in the intersection of two finite type parabolic subgroups of opposite signs. In this paper, we study the isomorphisms between Kac-Moody groups over arbitrary fields of cardinality at least 4, which preserve the set of bounded subgroups. We show that …

New examples of Howson groups that are not strongly Howson found.

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…

In this paper, we prove a limit set intersection theorem in relatively hyperbolic groups. Our approach is based on a study of dynamical quasiconvexity of relatively quasiconvex subgroups. Using dynamical quasiconvexity, many well-known results on limit sets of geometrically finite Kleinian groups are derived in general…

Investigates linearity of group amalgams and new examples of non-linear groups.

The paper provides conditions for amalgamation of certain subgroups and preserves convexity properties.

We study different notions of quasiconvexity for a subgroup $H$ of a relatively hyperbolic group $G.$ The first result establishes equivalent conditions for $H$ to be relatively quasiconvex. As a corollary we obtain that the relative quasiconvexity is equivalent to the dynamical quasiconvexity. This answers to a questi…

The Torelli group, I(S_g), is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface. There are three types of elements that naturally arise in studying I(S_g): bounding pair maps, separating twists, and simply intersecting pair maps (SIP-maps). Historically the…

We prove that finitely generated purely loxodromic subgroups of a right-angled Artin group $A(Γ)$ fulfill equivalent conditions that parallel characterizations of convex cocompactness in mapping class groups $\text{Mod}(S)$. In particular, such subgroups are quasiconvex in $A(Γ)$. In addition, we identify a milder cond…

In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $π$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_π(G)$ holds. The minimal counter example is shown to be an almost simple group of Lie type.

We prove that the sequence of projective representations of the mapping class group obtained from the projective flat connection in the SU(n)-Verlinde bundles over Teichmuller space is asymptotically faithful, that is the intersection over all levels of the kernels of these representations is trivial, whenever the genu…

We show that, in an Artin-Tits group of spherical type, the intersection of two parabolic subgroups is a parabolic subgroup. Moreover, we show that the set of parabolic subgroups forms a lattice with respect to inclusion. This extends to all Artin-Tits groups of spherical type a result that was previously known for bra…

Regular homotopy classes of immersions of a 3-sphere in 5-space constitute an infinite cyclic group. The classes containing embeddings form a subgroup of index 24. The obstruction for a generic immersion to be regularly homotopic to an embedding is described in terms of geometric invariants of its self intersection. Ge…

The paper defines parabolic subgroups for complex braid groups and proves they form a lattice.

Unified framework for intersectionally fair AI models using MIO.

Machine learning algorithms are extensively used to make increasingly more consequential decisions about people, so achieving optimal predictive performance can no longer be the only focus. A particularly important consideration is fairness with respect to race, gender, or any other sensitive attribute. This paper stud…

We study subgroups of the mapping class group of the torus generated by powers generated by powers of Dehn twists. We give a criterion to show when a collection of powers Dehn twists generates a free group using the ping pong lemma. We show that the subgroup generated by three uniform powers of Dehn twists can be eithe…

Study kernels of mapping class group representations on surface configuration spaces.

In this paper we consider simply connected Lie groups equipped with left invariant Randers metrics which arise from left invariant Riemannian metrics and left invariant vector fields. Then we study the intersection between automorphism and isometry groups of these spaces. Finally it has shown that for any left invarian…

New findings about twists in 4-sphere diffeomorphisms.

The study characterizes subgroups of mapping tori of free groups.

For the simply connected compact exceptional Lie group $E_8$, we determine the structure of subgroup $(E_8)^{σ, σ'}$ of $E_8$ which is the intersection $(E_8)^σ\cap (E_8)^{σ'}$. Then the space $E_8/(E_8)^{σ, σ'}$ is the exceptional $\mathbb{Z}_2 \times \mathbb{Z}_2$- symmetric space of type EVIII-VIII-VIII, and that we…

Study subgroup of mapping class group related to handlebody, answering a question about Johnson homomorphism.