Luis Eduardo García-Hernández

arXiv2024

Linear and smooth oriented equivalence of orthogonal representations of finite groups

Let $n\le 5$ be an integer, and let $Γ$ be a finite group. We prove that if $ρ, ρ': Γ\to O(n)$ are two representations that are conjugate by an orientation-preserving diffeomorphism, then they are conjugate by an element of $SO(n)$. In the process, we prove that if $G \subset O(4)$ is a finite group, then exactly one of the following is true: the elements of $G$ have a common invariant $1$-dimensional subspace in $\mathbb{R}^4$; some element of $G$ has no invariant $1$-dimensional subspace; or $G$ is conjugate to a specific group $K \subset O(4)$ of order $16$.

math.GR↗

arXiv2023

The classifying space for commutativity of geometric orientable 3-manifold groups

For a topological group $G$ let $E_{\textsf{com}}(G)$ be the total space of the universal transitionally commutative principal $G$-bundle as defined by Adem--Cohen--Torres-Giese. So far this space has been most studied in the case of compact Lie groups; but in this paper we focus on the case of infinite discrete groups. For a discrete group $G$, the space $E_{\textsf{com}}(G)$ is homotopy equivalent to the geometric realization of the order complex of the poset of cosets of abelian subgroups of $G$. We show that for fundamental groups of closed orientable geometric $3$-manifolds, this space is always homotopy equivalent to a wedge of circles. On our way to prove this result we also establish some structural results on the homotopy type of $E_{\textsf{com}}(G)$.

math.GR↗