A Freeness Theorem for RO(Z/2)-graded Cohomology

William C. Kronholm

DOI: https://doi.org/10.48550/arXiv.0908.3825

2009-08-26

Abstract:In this paper it is shown that the RO(Z/2)-graded cohomology of a certain class of Rep(Z/2)-complexes, which includes projective spaces and Grassmann manifolds, is always free as a module over the cohomology of a point when the coefficient Mackey functor is \underline{Z/2}.

Algebraic Topology

What problem does this paper attempt to address?

Hopf Algebras with Rigid Dualizing Complexes

D.-M. Lu,Q.-S. Wu,J. J. Zhang

DOI: https://doi.org/10.1007/s11856-009-0005-1

2008-01-01

Israel Journal of Mathematics

Abstract:Let H be a Hopf algebra over a base field. If H has an ℕ-filtration such that the associated graded ring is connected graded noetherian and has enough normal elements, then H is Gorenstein. This gives a partial solution to a question of Brown and Brown-Goodearl. As a consequence, every quotient Hopf algebra of a generic quantized coordinate ring of a connected semisimple Lie group is Auslander-Gorenstein and Cohen-Macaulay. The last statement answers a question of Goodearl-Zhang.
On RO(G)-graded equivariant "ordinary" cohomology where G is a power of Z/2

John Holler,Igor Kriz

DOI: https://doi.org/10.2140/agt.2017.17.741

2016-09-16

Abstract:We compute the complete RO(G)-graded coefficients of "ordinary" cohomology with coefficients in Z/2 for G=(Z/2)^n.

Algebraic Topology
On the equivariant cohomology of rotation groups and Stiefel manifolds

William Kronholm

DOI: https://doi.org/10.48550/arXiv.1107.5865

2011-07-29

Abstract:In this paper, we compute the $RO(\mathbb{Z}/2)$-graded equivariant cohomology of rotation groups and Stiefel manifolds with particular involutions.

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

Daniel Dugger,Christy Hazel

2024-01-10

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. 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.

Algebraic Topology
Equivariant cohomology for cyclic groups of square-free order

Samik Basu,Surojit Ghosh

DOI: https://doi.org/10.1007/s40687-024-00443-0

2024-03-30

Research in the Mathematical Sciences

Abstract:The main objective of this paper is to compute RO(G)-graded cohomology of G-orbits for the group G=Cn$$G=C_n$$, where n is a product of distinct primes. We compute these groups for the constant Mackey functor Z̲$$\underline{\mathbb {Z}}$$ and the Burnside ring Mackey functor A̲$$\underline{A}$$. Among other results, we show that the groups H̲Gα(S0)$$\underline{H}^\alpha _G(S^0)$$ are mostly determined by the fixed point dimensions of the virtual representations α$$\alpha $$, except in the case of A̲$$\underline{A}$$ coefficients when the fixed point dimensions of α$$\alpha $$ have many zeros. In the case of Z̲$$\underline{\mathbb {Z}}$$ coefficients, the ring structure on the cohomology is also described. The calculations are then used to prove freeness results for certain G-complexes.

mathematics
The $RO(C_{2^n})$-graded homotopy of $H\underline{\mathbb{F}_2}$

Guoqi Yan

DOI: https://doi.org/10.48550/arXiv.2302.01490

2023-02-03

Abstract:We give an explicit formula for the $RO(C_{2^n})$-graded homotopy of $H\underline{\mathbb{F}_2}$.

Algebraic Topology
The Galois-equivariant $K$-theory of finite fields

David Chan,Chase Vogeli

2024-06-28

Abstract:We compute the $RO(G)$-graded equivariant algebraic $K$-groups of a finite field with an action by its Galois group $G$. Specifically, we show these $K$-groups split as the sum of an explicitly computable term and the well-studied $RO(G)$-graded coefficient groups of the equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb Z}$. Our comparison between the equivariant $K$-theory spectrum and $H\underline{\mathbb Z}$ further shows they share the same Tate spectra and geometric fixed point spectra. In the case where $G$ has prime order, we provide an explicit presentation of the equivariant $K$-groups.

K-Theory and Homology,Algebraic Topology
On the $RO(G)$-graded coefficients of $Q_8$ equivariant cohomology

Yunze Lu

DOI: https://doi.org/10.48550/arXiv.2111.01926

2021-11-03

Abstract:In this paper, we calculate the $RO(G)$-graded coefficients of $H\underline{\mathbb{Z}}$, the Eilenberg-MacLane spectrum of constant Mackey functor for quaternion group $Q_8$.

Algebraic Topology
The Green functor structure of $RO(D_{2p})$-graded cohomology of a point

Guoqi Yan

DOI: https://doi.org/10.48550/arXiv.2310.16118

2023-10-25

Abstract:We compute the $RO(D_{2p})$-graded cohomology of a point with constant coefficient $\underline{\mathbb{Z}}$ together with its Green functor structure. Here $D_{2p}$ is the dihedral group with $p$ an odd prime. This result extends the additive computation of Kriz-Lu.

Algebraic Topology
Bigraded Poincaré polynomials and the equivariant cohomology of Rep($C_2$)-complexes

Eric Hogle

2024-10-02

Abstract:For equivariant Grassmannian manifolds of the form Gr$_k(V)$ where $V$ is some real representation of $C_2$, we are interested in computing the Bredon cohomology with coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}$. In [Hog21] we give a method for creating multiple distinct $\text{Rep}(C_2)$ constructions of (and hence multiple filtration spectral sequences for) a given Grassmannian. For sufficiently small values of $k$ and $(\dim V)-(\dim V^{C_2})$, it is possible to exhaustively compute all possible outcomes of each spectral sequence and determine if there is only one common possible outcome. However, the complexity of such a computation quickly balloons in time and memory requirements. We introduce a statistic on $\mathbb{M}_2$-modules valued in the polynomial ring $\mathbb{Z}[x,y]$ which makes cohomology computation of Rep($C_2$)-complexes more tractable, and we present some new results for Grassmannians.

Algebraic Topology
Quasimorphisms on free racks and free quandles

Masamitsu Aoki

2024-04-23

Abstract:We show that the second bounded cohomology of finitely generated free racks is infinite dimensional by constructing rack quasimorphisms using homogenous group quasimorphisms. Similar construction works in the case of free quandles. We show that Rolli's generalization to free products also works in the case of racks.

Group Theory
The module of vector-valued modular forms is Cohen-Macaulay

Richard Gottesman

DOI: https://doi.org/10.21136/CMJ.2020.0476-19

2020-11-14

Czechoslovak Mathematical Journal

Abstract:Let H denote a finite index subgroup of the modular group Γ and let ρ denote a finite-dimensional complex representation of H . Let M ( ρ ) denote the collection of holomorphic vector-valued modular forms for ρ and let M ( H ) denote the collection of modular forms on H . Then M ( ρ ) is a Z-graded M ( H )-module. It has been proven that M ( ρ ) may not be projective as a M ( H )-module. We prove that M ( ρ ) is Cohen-Macaulay as a M ( H )-module. We also explain how to apply this result to prove that if M ( H ) is a polynomial ring, then M ( ρ ) is a free M ( H )-module of rank dim ρ .

mathematics
On the $RO(Q)$-graded coefficients of Eilenberg-MacLane spectra

Igor Sikora

DOI: https://doi.org/10.48550/arXiv.2105.09768

2022-07-11

Abstract:Let $Q$ denote the cyclic group of order two. Using the Tate diagram we compute the $RO(Q)$-graded coefficients of Eilenberg-MacLane $Q$-spectra and describe their structure as a module over the coefficients of the Eilenberg-MacLane spectrum of the Burnside Mackey functor. If the underlying Mackey functor is a Green functor, we also infer the multiplicative structure on the $RO(Q)$-graded coefficients.

Algebraic Topology
The Real-oriented cohomology of infinite stunted projective spaces

William Balderrama

2023-10-04

Abstract:Let $E\mathbb{R}$ be an even-periodic Real Landweber exact $C_2$-spectrum, and $ER$ its spectrum of fixed points. We compute the $ER$-cohomology of the infinite stunted projective spectra $P_j$. These cohomology groups combine to form the $RO(C_2)$-graded coefficient ring of the $C_2$-spectrum $b(ER) = F(EC_{2+},i_\ast ER)$, which we show is related to $E\mathbb{R}$ by a cofiber sequence $\Sigma^\sigma b(ER)\rightarrow b(ER)\rightarrow E\mathbb{R}$. We illustrate our description of $\pi_\star b(ER)$ with the computation of some $ER$-based Mahowald invariants.

Algebraic Topology
The cohomology of real Grassmannians via Schubert stratifications

Eric Berry,Scotty Tilton

DOI: https://doi.org/10.48550/arXiv.2011.07695

2020-11-25

Abstract:In this paper, we present a closed formula for the cohomology of real Grassmannians. To achieve this, we use a theory of stratified spaces to compute the differentials in a chain complex that computes the cohomology. Specifically, we organize Schubert cells as a conically smooth stratified space in the sense of Ayala, Francis, Tanaka; the links therein yield the sought differentials, using methods in differential topology. Further, we identify the isomorphism type of this chain complex and we use this result to provide a closed formula for the additive structure of the cohomology of real Grassmannians with arbitrary coefficients.

Algebraic Topology
A geometric realization of Koszul duality for graded gentle algebras

Zixu Li,Yu Qiu,Yu Zhou

2024-03-22

Abstract:We show that the Koszul functor of a homologically smooth graded gentle algebra can be realized as the half rotation in a geometric model. As a byproduct, we prove an intersection-dim formula involving the Koszul functor.

Representation Theory,Category Theory,Rings and Algebras
On the functoriality of refined unramified cohomology

Kees Kok,Lin Zhou

2024-03-15

Abstract:In this paper, we generalise the construction of the functorial pullback of refined unramified cohomology between smooth schemes, by following the ideas of Fulton's intersection theory and Rost's cycle modules. We also define standard actions of algebraic cycles on the refined unramified cohomology groups of smooth proper schemes avoiding Chow's moving lemma, which coincide with Schreieder's constructions for smooth projective schemes. As applications, we prove the projective bundle and blow-up formulas for refined unramified cohomology groups and we reduce the Rost nilpotence principle in characteristic zero to a statement concerning certain refined unramified cohomology groups. Moreover, we compute the refined unramified cohomology for smooth proper linear varieties and show that Rost's nilpotence principle holds for these varieties in characteristic zero.

Algebraic Geometry
Low degree cohomologies of congruence groups

Jian-Shu Li,Binyong Sun

DOI: https://doi.org/10.48550/arXiv.1901.00719

2019-01-03

Abstract:We prove the vanishing of certain low degree cohomologies of some induced representations. As an application, we determine certain low degree cohomologies of congruence groups.

Representation Theory
On the cohomological dimension of kernels of maps to $\mathbb Z$

Sam P Fisher

2024-03-28

Abstract:We prove that if $G$ is a finitely generated RFRS group of cohomological dimension $2$, then $G$ is virtually free-by-cyclic if and only if $b_2^{(2)}(G) = 0$. This answers a question of Wise and generalises and gives a new proof of a recent theorem of Kielak and Linton, where the same result is obtained under the additional hypotheses that $G$ is virtually compact special and hyperbolic. More generally, we show that if $G$ is a RFRS group of cohomological dimension $n$ and of type $\mathrm{FP}_{n-1}$, then $G$ admits a virtual map to $\mathbb Z$ with kernel of rational cohomological dimension $n-1$ if and only if $b_n^{(2)}(G) = 0$.

Group Theory
On the K-theory of $\mathbb{Z}$-categories

Eugenia Ellis,Rafael Parra

2023-10-31

Abstract:We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us to obtain a negative K-theory vanishing result, a fundamental theorem, and a homotopy invariance result for the K-theory of Z-linear categories.

K-Theory and Homology,Category Theory

A Freeness Theorem for RO(Z/2)-graded Cohomology

Hopf Algebras with Rigid Dualizing Complexes

On RO(G)-graded equivariant "ordinary" cohomology where G is a power of Z/2

On the equivariant cohomology of rotation groups and Stiefel manifolds

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

Equivariant cohomology for cyclic groups of square-free order

The $RO(C_{2^n})$-graded homotopy of $H\underline{\mathbb{F}_2}$

The Galois-equivariant $K$-theory of finite fields

On the $RO(G)$-graded coefficients of $Q_8$ equivariant cohomology

The Green functor structure of $RO(D_{2p})$-graded cohomology of a point

Bigraded Poincaré polynomials and the equivariant cohomology of Rep($C_2$)-complexes

Quasimorphisms on free racks and free quandles

The module of vector-valued modular forms is Cohen-Macaulay

On the $RO(Q)$-graded coefficients of Eilenberg-MacLane spectra

The Real-oriented cohomology of infinite stunted projective spaces

The cohomology of real Grassmannians via Schubert stratifications

A geometric realization of Koszul duality for graded gentle algebras

On the functoriality of refined unramified cohomology

Low degree cohomologies of congruence groups

On the cohomological dimension of kernels of maps to $\mathbb Z$

On the K-theory of $\mathbb{Z}$-categories