arXiv research

This report aims at giving a general overview on the classification of the maximal subgroups of compact Lie groups (not necessarily connected). In the first part, it is shown that these fall naturally into three types: (1) those of trivial type, which are simply defined as inverse images of maximal subgroups of the cor…

The orbifold group of the Borromean rings with singular angle 90 degrees, $U$, is a universal group, because every closed oriented 3--manifold $M^{3}$ occurs as a quotient space $M^{3} = H^{3}/G$, where $G$ is a finite index subgroup of $U$. Therefore, an interesting, but quite difficult problem, is to classify the fin…

Classifies measures for Anosov subgroups in higher ranks.

We describe classes of potential structures (covector fields) on Minkowski space that admit subgroups of the Poincaré group. We describe also seven classes of Maxwell spaces that admit subgroups of the Poincaré group.

Model patching closes subgroup performance gaps in skin cancer classification.

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

The paper classifies fixed subgroups in a specific group product.

Let n\geq 3. We classify the finite groups which are realised as subgroups of the sphere braid group B_n(S^2). Such groups must be of cohomological period 2 or 4. Depending on the value of n, we show that the following are the maximal finite subgroups of B_n(S^2): Z_{2(n-1)}; the dicyclic groups of order 4n and 4(n-2);…

Classifies surface Houghton groups and their subgroups up to certain equivalences.

We analyse an issue when comparing survival curves between two subgroups. We show that there is a direct relationship between estimates of subgroups' survival at a time point and positive and negative predictive values in the binary classification settings. Our findings present a case where current methods of comparing…

We study the problem of determining the isomorphism classes of the virtually cyclic subgroups of the n-string braid groups B_n(S^2) of the 2-sphere S^2. If n is odd, or if n is even and sufficiently large, we obtain the complete classification. For small even values of n, the classification is complete up to an explici…

Study of Hermitian structures on Lie groups with 2D commutator subgroups.

Study lifts periodic mapping classes under alternating group actions on surfaces.

Homotopy classification for certain 4-manifolds with dihedral fundamental groups.

We present a novel subset scan method to detect if a probabilistic binary classifier has statistically significant bias -- over or under predicting the risk -- for some subgroup, and identify the characteristics of this subgroup. This form of model checking and goodness-of-fit test provides a way to interpretably detec…

We consider invariant Riemannian metrics on compact homogeneous spaces G/H where an intermediate subgroup K between G and H exists, so that the homogeneous space G/H is the total space of a Riemannian submersion. We study the question as to whether enlarging the fibers of the submersion by a constant scaling factor ret…

The problem of equivariant rigidity is the $Γ$-homeomorphism classification of $Γ$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $Γ$. In other words, this is the classification of cocompact $E_{fin}Γ$-manifolds. We use surgery theory, algebraic $K$-theory, and t…

Smooth Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 and preserving at least half of the supersymmetry have been recently classified. Requiring that amount of supersymmetry forces X to be a spherical space form, whence isometric to the quotient of the round 7-sphere by a freely-act…

We classify the (finite and infinite) virtually cyclic subgroups of the pure braid groups $P_{n}(RP^2)$ of the projective plane. The maximal finite subgroups of $P_{n}(RP^2)$ are isomorphic to the quaternion group of order 8 if $n=3$, and to $\Z_{4}$ if $n\geq 4$. Further, for all $n\geq 3$, up to isomorphism, the foll…

Causal Interaction Trees identify treatment subgroup effects in observational data.

A discrete subgroup of the group of isometries of the hyperbolic space is called reflective if up to a finite index it is generated by reflections in hyperplanes. The main result of this paper is a complete classification of the reflective (and quasi-reflective) subgroups among the Bianchi groups and their extensions.

This paper uses work of Haettel to classify all subgroups of PGL(4,R) isomorphic to (R^3 , +), up to conjugacy. We use this to show there are 4 families of generalized cusps up to projective equivalence in dimension 3.

Improves fairness in machine learning by adding underrepresented group data.

In this paper we provide a classification theorem for 1-dimensional boundaries of groups with isolated flats. Given a group $Γ$ acting geometrically on a $CAT(0)$ space $X$ with isolated flats and 1-dimensional boundary, we show that if $Γ$ does not split over a virtually cyclic subgroup, then $\partial X$ is homeomorp…

Classifies Ricci soliton subgroups in specific Lie groups.

We describe simply connected compact exceptional simple Lie groups in very elementary way. We first construct all simply connected compact exceptional Lie groups G concretely. Next, we find all involutive automorphisms of G, and determine the group structures of the fixed points subgroup. They correspond to the classif…

The paper solves conditions for metacyclic actions on surfaces, including upper bounds and subgroup classifications.

We classify the 3-dimensional hyperbolic polyhedral orbifolds that contain no embedded essential 2-suborbifolds, up to decomposition along embedded hyperbolic triangle orbifolds (turnovers). We give a necessary condition for a 3-dimensional hyperbolic polyhedral orbifold to contain an immersed (singular) hyperbolic tur…

The paper proposes a method to find subgroups with significant treatment effects in noisy data.

In early 1930s Seifert and Threlfall classified up to conjugacy the finite subgroups of $\mathrm{SO}(4)$, this gives an algebraic classification of orientable spherical 3-orbifolds. For the most part, spherical 3-orbifolds are Seifert fibered. The underlying topological space and singular set of non-fibered spherical 3…

The study classifies flat solvmanifolds and finds $G_2$-structures on them.

We present the complete classification of the subgroup of the classical knot concordance group generated by knots with eight or fewer crossings. Proofs are presented in summary. We also describe extensions of this work to the case of nine crossing knots.

Two specific Einstein metrics found on a product of SL(2,R) groups.

Abelian covers of hyperbolic $3$-manifolds are ubiquitous. We prove the local mixing theorem of the frame flow for abelian covers of closed hyperbolic $3$-manifolds. We obtain a classification theorem for measures invariant under the horospherical subgroup. We also describe applications to the prime geodesic theorem as…

We give a complete classification of homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $n$ strands when $n$ is at least 7. In particular, we show that each nontrivial homomorphism extends to an automorphism of the braid group on $n$ strands. This answers four questions o…

New framework tackles stochastic latent subgroup heterogeneity in online decision-making.

Optimal classification requires choosing the right group symmetries, contrary to intuition.

In this paper we complete the classification of topological symmetry groups for complete graphs $K_n$ by characterizing which $K_n$ can have a cyclic group, a dihedral group, or a subgroup of $D_m \times D_m$ where $m$ is odd, as its topological symmetry group.

We classify Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 which are at least half BPS; equivalently, smooth quotients of the round 7-sphere by finite subgroups of SO(8) which admit an (N>3)-dimensional subspace of Killing spinors. The classification is given in terms of pairs consi…

We partially describe equivariant Dirac and generalized complex structures on a homogeneous space $G/K$ by giving equivalent data involving only the Lie algebra. We consider real semisimple adjoint orbits in any semisimple Lie algebra over $\mathbb R$ and real nilpotent orbits in $sl_n (\mathbb R)$. We give a complete …

With the aim of building machine learning systems that incorporate standards of fairness and accountability, we explore explicit subgroup sample complexity bounds. The work is motivated by the observation that classifier predictions for real world datasets often demonstrate drastically different metrics, such as accura…

The study explores deformations of discrete subgroups in non-compact homogeneous spaces.

We consider the problem of learning representations that achieve group and subgroup fairness with respect to multiple sensitive attributes. Taking inspiration from the disentangled representation learning literature, we propose an algorithm for learning compact representations of datasets that are useful for reconstruc…

We study smooth complex hypersurfaces in direct products of closed hyperbolic Riemann surfaces and give a classification in terms of their fundamental groups. This answers a question of Delzant and Gromov on subvarieties of products of Riemann surfaces in the smooth codimension one case. We also answer Delzant and Grom…

Proves finite measure implies product structure for certain discrete subgroups.

Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give sever…

We prove that if a normal subgroup of the extended mapping class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended mapping class group. The proof relies on another theorem we prove, which states that ma…

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…