Showing 1–8 of 8 results for author: Hazel, C

$RO(G)$-graded Bredon cohomology of Euclidean configuration spaces

Authors: Daniel Dugger, Christy Hazel

Abstract: Let $G$ be a finite group and $V$ be a $G$-representation. We investigate the $RO(G)$-graded Bredon cohomology with constant integral coefficients of the space of ordered configurations in $V$. In the case that $V$ contains a trivial subrepresentation, we show the cohomology is free as a module over the cohomology of a point, and we give a generators-and-relations description of the ring structure… ▽ More Let $G$ be a finite group and $V$ be a $G$-representation. We investigate the $RO(G)$-graded Bredon cohomology with constant integral coefficients of the space of ordered configurations in $V$. In the case that $V$ contains a trivial subrepresentation, we show the cohomology is free as a module over the cohomology of a point, and we give a generators-and-relations description of the ring structure. In the case that $V$ does not contain a trivial representation, we give a computation of the module structure that works as long as a certain vanishing condition holds in the Bredon cohomology of a point. We verify this vanishing condition holds in the case that $\dim(V)\geq 3$ and $G$ is any of $C_p$, $C_{p^2}$ ($p$ a prime), or the symmetric group on three letters. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: 47 pages

MSC Class: 55P91; 55N91

Transfer systems for rank two elementary Abelian groups: characteristic functions and matchstick games

Authors: Linus Bao, Christy Hazel, Tia Karkos, Alice Kessler, Austin Nicolas, Kyle Ormsby, Jeremie Park, Cait Schleff, Scotty Tilton

Abstract: We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately produc… ▽ More We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 25 pages, comments welcome!

Journal ref: Tunisian J. Math. 7 (2025) 167-191

Equivariant $\underline{\mathbb{Z}/\ell}$-modules for the cyclic group $C_2$

Authors: Daniel Dugger, Christy Hazel, Clover May

Abstract: For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for $\ell=2$ depends on a new splitting theorem. As corollaries of the splitting theorem we compute the associated Picard group and the Balmer spectrum for compact… ▽ More For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for $\ell=2$ depends on a new splitting theorem. As corollaries of the splitting theorem we compute the associated Picard group and the Balmer spectrum for compact objects in the derived category, and we obtain a complete classification of finite modules over the $C_2$-equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb{Z}/2}$. We also use the splitting theorem to give new and illuminating proofs of some facts about $RO(C_2)$-graded Bredon cohomology, namely Kronholm's freeness theorem and the structure theorem of C. May. △ Less

Submitted 30 June, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 42 pages, 15 figures, v2 accepted version to appear in Journal of Pure and Applied Algebra

The cohomology of $C_2$-surfaces with $\underline{\mathbb{Z}}$-coefficients

Authors: Christy Hazel

Abstract: Let $C_2$ denote the cyclic group of order 2. We compute the $RO(C_2)$-graded cohomology of all $C_2$-surfaces with constant integral coefficients. We show when the action is nonfree, the answer depends only on the genus, the orientability of the underlying surface, the number of isolated fixed points, the number of fixed circles with trivial normal bundles, and the number of fixed circles with no… ▽ More Let $C_2$ denote the cyclic group of order 2. We compute the $RO(C_2)$-graded cohomology of all $C_2$-surfaces with constant integral coefficients. We show when the action is nonfree, the answer depends only on the genus, the orientability of the underlying surface, the number of isolated fixed points, the number of fixed circles with trivial normal bundles, and the number of fixed circles with nontrivial normal bundles. When the action on the surface is free, we show the answer depends only on the genus, the orientability of the underlying surface, whether the action is orientation preserving versus reversing in the orientable case, and one other invariant. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 35 pages

MSC Class: 55N91; 55P91

Genuine-commutative ring structure on rational equivariant $K$-theory for finite abelian groups

Authors: Anna Marie Bohmann, Christy Hazel, Jocelyne Ishak, Magdalena Kędziorek, Clover May

Abstract: In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means that every genuine-commutative ring spectrum whose homotopy groups are those of $KU_{\mathbb{Q},G}$ is weakly equivalent, as a genuine-commutative ring spectrum… ▽ More In this paper, we build on the work from our previous paper (arXiv:2002.01556) to show that periodic rational $G$-equivariant topological $K$-theory has a unique genuine-commutative ring structure for $G$ a finite abelian group. This means that every genuine-commutative ring spectrum whose homotopy groups are those of $KU_{\mathbb{Q},G}$ is weakly equivalent, as a genuine-commutative ring spectrum, to $KU_{\mathbb{Q},G}$. In contrast, the connective rational equivariant $K$-theory spectrum does not have this type of uniqueness of genuine-commutative ring structure. △ Less

Submitted 2 April, 2021; originally announced April 2021.

Comments: 19 pages

MSC Class: 55P91 (Primary) 55P62; 19L47; 55P43 (Secondary)

Naive-commutative structure on rational equivariant $K$-theory for abelian groups

Authors: Anna Marie Bohmann, Christy Hazel, Jocelyne Ishak, Magdalena Kędziorek, Clover May

Abstract: In this paper, we calculate the image of the connective and periodic rational equivariant complex $K$-theory spectrum in the algebraic model for naive-commutative ring $G$-spectra given by Barnes, Greenlees and Kędziorek for finite abelian $G$. Our calculations show that these spectra are unique as naive-commutative ring spectra in the sense that they are determined up to weak equivalence by their… ▽ More In this paper, we calculate the image of the connective and periodic rational equivariant complex $K$-theory spectrum in the algebraic model for naive-commutative ring $G$-spectra given by Barnes, Greenlees and Kędziorek for finite abelian $G$. Our calculations show that these spectra are unique as naive-commutative ring spectra in the sense that they are determined up to weak equivalence by their homotopy groups. We further deduce a structure theorem for module spectra over rational equivariant complex $K$-theory. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 19 pages

MSC Class: 55P91 (Primary) 55P62; 19L47; 55P43 (Secondary)

Journal ref: Topology Appl. 316 (2022), Paper No. 108100, 18 pp

Equivariant fundamental classes in $RO(C_2)$-graded cohomology in $\underline{\mathbb{Z}/2}$-coefficients

Authors: Christy Hazel

Abstract: Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds in $RO(C_2)$-graded cohomology in constant $\mathbb{Z}/2$ coefficients. We show the cohomology of any $C_2$-surface is generated by fundamental classes, and th… ▽ More Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds in $RO(C_2)$-graded cohomology in constant $\mathbb{Z}/2$ coefficients. We show the cohomology of any $C_2$-surface is generated by fundamental classes, and these classes can be used to easily compute the ring structure. To define fundamental classes we are led to study the cohomology of Thom spaces of equivariant vector bundles. In general the cohomology of the Thom space is not just a shift of the cohomology of the base space, but we show there are still elements that act as Thom classes, and cupping with these classes gives an isomorphism within a certain range. △ Less

Submitted 26 January, 2021; v1 submitted 16 July, 2019; originally announced July 2019.

Journal ref: Algebr. Geom. Topol. 21 (2021) 2799-2856

The $RO(C_2)$-graded cohomology of $C_2$-surfaces in $\underline{\mathbb{Z}/2}$-coefficients

Authors: Christy Hazel

Abstract: A surface with an involution can be viewed as a $C_2$-space where $C_2$ is the cyclic group of order two. Using the classification of $C_2$-surfaces given by Dugger, we compute the $RO(C_2)$-graded Bredon cohomology of all $C_2$-surfaces in constant $\mathbb{Z}/2$ coefficients as modules over the cohomology of a point. We show the cohomology depends only on three numerical invariants in the nonfre… ▽ More A surface with an involution can be viewed as a $C_2$-space where $C_2$ is the cyclic group of order two. Using the classification of $C_2$-surfaces given by Dugger, we compute the $RO(C_2)$-graded Bredon cohomology of all $C_2$-surfaces in constant $\mathbb{Z}/2$ coefficients as modules over the cohomology of a point. We show the cohomology depends only on three numerical invariants in the nonfree case, and only on two numerical invariants in the free case. △ Less

Submitted 16 July, 2019; originally announced July 2019.

Comments: 36 pages, 29 figures