-
Linear actions of $\mathbb{Z}/p\times\mathbb{Z}/p$ on $S^{2n-1}\times S^{2n-1}$
Authors:
Jim Fowler,
Courtney Thatcher
Abstract:
For an odd prime $p$, we consider free actions of $(\mathbb{Z}/p)^2$ on $S^{2n-1}\times S^{2n-1}$ given by linear actions of $(\mathbb{Z}/p)^2$ on $\mathbb{R}^{4n}$. Simple examples include a lens space cross a lens space, but $k$-invariant calculations show that other quotients exist. Using the tools of Postnikov towers and surgery theory, the quotients are classified up to homotopy by the $k$-in…
▽ More
For an odd prime $p$, we consider free actions of $(\mathbb{Z}/p)^2$ on $S^{2n-1}\times S^{2n-1}$ given by linear actions of $(\mathbb{Z}/p)^2$ on $\mathbb{R}^{4n}$. Simple examples include a lens space cross a lens space, but $k$-invariant calculations show that other quotients exist. Using the tools of Postnikov towers and surgery theory, the quotients are classified up to homotopy by the $k$-invariants and up to homeomorphism by the Pontrjagin classes. We will present these results and demonstrate how to calculate the $k$-invariants and the Pontrjagin classes from the rotation numbers.
△ Less
Submitted 29 February, 2024; v1 submitted 22 September, 2022;
originally announced September 2022.
-
$\mathbb Z_{/p}\times \mathbb Z_{/p}$ actions on $S^n\times S^n$
Authors:
Jim Fowler,
Courtney Thatcher
Abstract:
We determine the homotopy type of quotients of $S^n \times S^n$ by free actions of $\mathbb Z_{/p} \times \mathbb Z_{/p}$ where $2p>n+3$. Much like free $\mathbb Z_{/p}$ actions, they can be classified via the first $p$-localized $k$-invariant, but there are restrictions on the possibilities, and these restrictions are sufficient to determine every possibility in the $n=3$ case. We use this to com…
▽ More
We determine the homotopy type of quotients of $S^n \times S^n$ by free actions of $\mathbb Z_{/p} \times \mathbb Z_{/p}$ where $2p>n+3$. Much like free $\mathbb Z_{/p}$ actions, they can be classified via the first $p$-localized $k$-invariant, but there are restrictions on the possibilities, and these restrictions are sufficient to determine every possibility in the $n=3$ case. We use this to complete the classification of free $\mathbb Z_{/p} \times \mathbb Z_{/p}$ actions on $S^3 \times S^3$, for $p>3$, by reducing the problem to the simultaneous classification of pairs of binary quadratic forms. Although the restrictions are not sufficient to determine which $k$-invariants are realizable in general, they can sometimes be used to rule out free actions by groups that contain $\mathbb Z_{/p}\times\mathbb Z_{/p}$ as a normal Abelian subgroup.
△ Less
Submitted 26 July, 2022; v1 submitted 27 December, 2019;
originally announced December 2019.
-
Topological Symmetry Groups of the Petersen Graph
Authors:
D. Chambers,
E. Flapan,
D. Heath,
E. Davie Lawrence,
C. Thatcher,
R. Vanderpool
Abstract:
We characterize all groups which can occur as the topological symmetry group or the orientation preserving topological symmetry group of some embedding of the Petersen graph in S^3.
We characterize all groups which can occur as the topological symmetry group or the orientation preserving topological symmetry group of some embedding of the Petersen graph in S^3.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Orbispaces and their Mapping Spaces via Groupoids: A Categorical Approach
Authors:
Vesta Coufal,
Dorette Pronk,
Carmen Rovi,
Laura Scull,
Courtney Thatcher
Abstract:
In this paper, we give an accessible introduction to the theory of orbispaces via groupoids. We define a certain class of topological groupoids, which we call orbigroupoids. Each orbigroupoid represents an orbispace, but just as with orbifolds and Lie groupoids, this representation is not unique: orbispaces are Morita equivalence classes of orbigroupoids. We show how to formalize this equivalence…
▽ More
In this paper, we give an accessible introduction to the theory of orbispaces via groupoids. We define a certain class of topological groupoids, which we call orbigroupoids. Each orbigroupoid represents an orbispace, but just as with orbifolds and Lie groupoids, this representation is not unique: orbispaces are Morita equivalence classes of orbigroupoids. We show how to formalize this equivalence by defining the category of orbispaces as a bicatecory of fractions from the category of orbigroupoids. We focus particularly on laying the groundwork for future work in creating mapping objects for orbispaces which are themselves orbispaces, and providing a concrete description of how this mapping space construction will get its orbispace structure. Throughout this paper, we illustrate our definitions and results with numerous examples which we hope will be useful in seeing how the categorical point of view is used to study these spaces.
△ Less
Submitted 19 January, 2014;
originally announced January 2014.