In this paper we study E^*BV_k, where E=BP<m,n> is a cohomology theory with coefficient ring F_p[v_m,...,v_n] (if m>0) or Z_(p)[v_1,...,v_n] (if m=0). We use ideas from the theory of multiple level structures, developed in earlier work of the author with John Greenlees. Our results apply when k is less than or equal to w=n+1-m. If k<w we find that E^*BV_k has no v_m-torsion. When k=w, we show that the v_m-torsion is annihilated by the ideal I_{n+1}=(v_m,...,v_n), and that it is a free module on one generator over the ring F_p[[x_0,...,x_{w-1}]]. We give three very different formulae for this generator; it is not at all obvious that these give the same element, and we only have a rather indirect proof of this.
The structure of the BP<n>-cohomology of elementary abelian p-groups is studied, obtaining a presentation expressed in terms of BP-cohomology and mod-p singular cohomology, using the Milnor derivations. The arguments are based on a result on multi-Koszul complexes which is related to Margolis's criterion for freeness of a graded module over an exterior algebra.
Let $G$ be a elementary abelian $2$-group and $X$ be a manifold with a locally standard action of $G$. We provide a criterion to determine the syzygy order of the $G$-equivariant cohomology of $X$ with coefficients over a field of characteristic two using a complex associated to the cohomology of the face filtration of the manifold with corners $X/G$. This result is the real version of the quotient criterion for locally standard torus actions developed by M. Franz in arXiv:1205.4462.
We compute the $RO(A)$-graded coefficients of $A$-equivariant complex and real topological $K$-theory for $A$ a finite elementary abelian $2$-group, together with all products, transfers, restrictions, power operations, and Adams operations.
We give a description of real equivariant bordism for elementary abelian 2-groups, which is similar to the description of complex equivariant bordism for the group S^1 x ... x S^1 given by Hanke in 2005.
We give a conjectural description for the kernel of the map assigning to each finite $\mathbb Z_p$-free $G\times\mathbb Z_p$-set its rational permutation module where G is a finite p-group. We prove that this conjecture is true when G is an elementary abelian p-group or a cyclic p-group.
Let $G$ be a compact Lie group and let $U$ and $V$ be finite-dimensional real $G$-modules with $V^G=0$. A theorem of Marzantowicz, de Mattos and dos Santos estimates the covering dimension of the zero-set of a $G$-map from the unit sphere in $U$ to $V$ when $G$ is an elementary elementary abelian $p$-group for some prime $p$ or a torus. In this note, the classical Borsuk--Ulam theorem will be used to give a refinement of their result estimating the dimension of that part of the zero-set on which an elementary abelian $p$-group $G$ acts freely or a torus $G$ acts with finite isotropy groups.
The connective ku-(co)homology of elementary abelian 2-groups is determined as a functor of the elementary abelian 2-group. The argument requires only the calculation of the rank one case and the Atiyah-Segal theorem for KU-cohomology together with an analysis of the functorial structure of the integral group ring. The methods can also be applied to the odd primary case. These results are used to analyse the local cohomology spectral sequence calculating ku-homology, via a functorial version of local duality for Koszul complexes. This gives a conceptual explanation of results of Bruner and Gre…
A general notion of detection is introduced and used in the study of the cohomology of elementary abelian 2-groups with respect to the spectra in the Postnikov tower of orthogonal K-theory. This recovers and extends results of Bruner and Greenlees and is related to calculations of the (co)homology of the spaces of the associated Omega-spectra by Stong and by Cowen Morton.
We extend the work of Allday-Franz-Puppe on syzygies in equivariant cohomology from tori to arbitrary compact connected Lie groups G. In particular, we show that for a compact orientable G-manifold X the analogue of the Chang-Skjelbred sequence is exact if and only if the equivariant cohomology of X is reflexive, if and only if the equivariant Poincare pairing for X is perfect. Along the way we establish that the equivariant cohomology modules arising from the orbit filtration of X are Cohen-Macaulay. We allow singular spaces and introduce a Cartan model for their equivariant cohomology. We al…
An abelian arrangement is a finite set of codimension one abelian subvarieties (possibly translated) in a complex abelian variety. In this paper, we study the cohomology of the complement of an abelian arrangement. For unimodular abelian arrangements, we provide a combinatorial presentation for a differential graded algebra whose cohomology is isomorphic to the rational cohomology of the complement. Moreover, this DGA has a bi-grading that allows us to compute the mixed Hodge numbers.
In this paper, we determine the connective K-cohomology with reality of elementary abelian $2$-groups as a module over $\mathbb{Z}[v_1,a]$, where $v_1$ is the equivariant Bott class and $a$ the Euler class of the sign representation. This gives in particular a new approach to the computation of the connective real K-theory of such groups. The originality here is to make all computations in the $\mathbb{Z}/2$-equivariant stable category, considering only $\mathbb{Z}/2$-equivariant cohomology theories, and to use relative homological algebra over certain subalgebras of the equivariant Steenrod a…
Tate cohomology (as well as Borel homology and cohomology) of connective K-theory for $G=(\mathbb{Z}/2)^n$ was completely calculated by Bruner and Greenlees. In this note, we essentially redo the calculation by a different, more elementary method, and we extend it to $p>2$ prime. We also identify the resulting spectra, which are products of Eilenberg-Mac Lane spectra, and finitely many finite Postnikov towers. For $p=2$, we also reconcile our answer completely with the result of Bruner and Greenlees, which is in a different form, and hence the comparison involves some non-trivial combinatorics…
We determine the BP-module structure, mod higher filtration, of the main part of the BP-homology of elementary abelian 2-groups. The action is related to symmetric polynomials and to Dickson invariants.
In this note we show that the theory of non abelian extensions of a Lie algebra $\mathfrak{g}$ by a Lie algebra $\mathfrak{h}$ can be understood in terms of a differential graded Lie algebra $L$. More precisely we show that the non-abelian cohomology $H^2_{nab}(\mathfrak{g},\mathfrak{h})$ is $\mathcal{MC}(L)$, the $π_0$ of the Deligne groupoid of $L$.
We extend the work of M.Borovoi on the nonabelian Galois cohomology of linear reductive algebraic groups over number fields to a general base scheme. As an application, we obtain new results on the arithmetic of such groups over global function fields.
We use topological methods to compute the mod p cohomology of certain p-groups. More precisely we look at central Frattini extensions of elementary abelian by elementary abelian groups such that their defining k-invariants span the entire image of the Bockstein. We show that if p is sufficiently large, then the mod p cohomology of the extension can be explicitly computed as an algebra.
We determine all finite maximal elementary abelian group actions on compact oriented surfaces of genus $σ\geq 2$ which are unique up to topological equivalence. For certain special classes of such actions, we determine group extensions which also define unique actions. In addition, we explore in detail one of the families of such surfaces considered as compact Riemann surfaces and tackle the classical problem of constructing defining equations.
We compute a twisted first cohomology group of the automorphism group of a free group with coefficients in the abelianization $V$ of the IA-automorphism group of a free group. In particular, we show that it is generated by two crossed homomorphisms constructed with the Magnus representation and the Magnus expansion due to Morita and Kawazumi respectively. As a corollary, we see that the first Johnson homomorphism does not extend to the automorphism group of a free group as a crossed homomorphism for the rank of the free group is greater than 4.
We study the cohomology properties of the singular foliation $\F$ determined by an action $Φ\colon G \times M\to M$ where the abelian Lie group $G$ preserves a riemannian metric on the compact manifold $M$. More precisely, we prove that the basic intersection cohomology $\lau{\IH}{*}{\per{p}}{\mf}$ is finite dimensional and verifies the Poincaré Duality. This duality includes two well-known situations: -- Poincaré Duality for basic cohomology (the action $Φ$ is almost free). -- Poincaré Duality for intersection cohomology (the group $G$ is compact and connected).
We review and elaborate on some aspects of the quantization of certain classes of higher abelian gauge theories using techniques of generalized differential cohomology. Particular emphasis is placed on the examples of generalized Maxwell theory and Cheeger-Simons cohomology, and of Ramond-Ramond fields in Type II superstring theory and differential K-theory.
We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian cohomology. We use our geometrical formulation in order to define a transgression map in non-abelian cohomology. This transgression map relates the degree one non-abelian cohomology of a smooth manifold (represented by non-abelian gerbes) with the degree zero non-abelian cohomology of the free loop space (represented by principal bundles). We prove several properties…
The moduli stack $\mathcal A_2$ of principally polarized abelian surfaces comes equipped with the universal abelian surface $π: \mathcal X_2 \to \mathcal A_2$. The fiber of $π$ over a point corresponding to an abelian surface $A$ in $\mathcal A_2$ is $A$ itself. We determine the $\ell$-adic cohomology of $\mathcal X_2$ as a Galois representation. Similarly, we consider the bundles $\mathcal X_2^n \to \mathcal A_2$ and $\mathcal X_2^{\operatorname{Sym}(n)} \to \mathcal A_2$ for all $n \geq 1$, where the fiber over a point corresponding to an abelian surface $A$ is $A^n$ and $\operatorname{Sym}^…
Let $X$ be a topological space upon which a compact connected Lie group $G$ acts. It is well-known that the equivariant cohomology $H_G^*(X;\Q)$ is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology $H_T^*(X;\Q)$, where $T$ is a maximal torus of $G$. This relationship breaks down for coefficient rings $\k$ other than $\Q$. Instead, we prove that under a mild condition on $\k$ the algebra $H_G^*(X,\k)$ is isomorphic to the subalgebra of $H_T^*(X,\k)$ annihilated by the divided difference operators.
We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the 2-cocycle twisting the projective representation of physical …
