-
The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4
Authors:
Noe Barcenas,
Luis Eduardo Garcia-Hernandez,
Raphael Reinauer
Abstract:
We prove the Gromov-Lawson-Rosenberg Conjecture for the group Z/4xZ/4 by computing the connective real k-homology of the classifying space with the Adams spectral sequence and two types of detection theorems for the kernel of the alpha invariant: one based on eta-invariants, closely following work of Botvinnik-Gilkey-Stolz, and a second one based on homological methods. Along the way, we determine…
▽ More
We prove the Gromov-Lawson-Rosenberg Conjecture for the group Z/4xZ/4 by computing the connective real k-homology of the classifying space with the Adams spectral sequence and two types of detection theorems for the kernel of the alpha invariant: one based on eta-invariants, closely following work of Botvinnik-Gilkey-Stolz, and a second one based on homological methods. Along the way, we determine differentials of the Adams spectral sequence for classifying spaces involved in the computation, and we study the cap structure of the Adams spectral sequence for sub-hopf algebras of the Steenrod algebra relevant to the computation of connective real and complex k-homology.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Linear and smooth oriented equivalence of orthogonal representations of finite groups
Authors:
Luis Eduardo García-Hernández,
Ben Williams
Abstract:
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$-dimensi…
▽ More
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$.
△ Less
Submitted 1 April, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
The classifying space for commutativity of geometric orientable 3-manifold groups
Authors:
Omar Antolín-Camarena,
Luis Eduardo García-Hernández,
Luis Jorge Sánchez Saldaña
Abstract:
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 equiva…
▽ More
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)$.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
