With $G = \mathbb{Z}/p$, $p$ prime, we calculate the ordinary $G$-cohomology (with Burnside ring coefficients) of $\mathbb{C}P_G^\infty = B_G U(1)$, the complex projective space, a model for the classifying space for $G$-equivariant complex line bundles. The $RO(G)$-graded ordinary cohomology was calculated by Gaunce Lewis, but here we extend to a larger grading in order to capture a more natural set of generators, including the Euler class of the canonical bundle, as well as a significantly simpler set of relations.
This note contains a generalization to $p>2$ of the authors' previous calculations of the coefficients of $(\mathbb{Z}/2)^n$-equivariant ordinary cohomology with coefficients in the constant $\mathbb{Z}/2$-Mackey functor. The algberaic results by S.Kriz allow us to calculate the coefficients of the geometric fixed point spectrum $Φ^{(\mathbb{Z}/p)^n}H\mathbb{Z}/p$, and more generally, the $\mathbb{Z}$-graded coefficients of the localization of $H\mathbb{Z}/p_{(\mathbb{Z}/p)^n}$ by inverting any chosen set of embeddings $S^0\rightarrow S^{α_i}$ where $α_i$ are non-trivial irreducible representa…
We are familiar with properties and structure of topological spaces. One of the powerful tools, which help us to figure out the structure of topological spaces is (Leray- Serre) spectral sequence. Although Eilenberg-Maclane space plays important roles in topology, and respectively geometry. Actually finding cohomology groups of this space can be useful for classifying spaces, and also homotopy groups structure of these groups. This paper discusses how to compute cohomology groups of Eilenberg-Maclane spaces $K(\mathbb{Z}, 4)$ and $K(\mathbb{Z}, 5)$ (cohomology degree less than $11$). Furthermo…
In this paper we caculate mod 2 cohomology ring of $F_{\mathbb{Z}_2^m}(\mathbb{R}^m,n)$ , which is local representation of orbit congfiguration spaces over small covers. We construct a differntial graded algebra, and there is a ring isomorphism between its mod 2 cohomology ring and $H^*(F_{\mathbb{Z}_2^m}(\mathbb{R}^m,n),\mathbb{Z}_2)$. This idea can also be applied to calculate mod 2 cohomology ring of complement space of real arrangements.
We compute the cohomology ring of a generalised type of configuration space of points in $\mathbb{R}^r$. This configuration space is indexed by a graph. In the case the graph is complete the result is known and it is due to Arnold and Cohen. However, our computations give a generalisation to any graph and an alternative proof of the classical result. Moreover, we show that there are deletion-contraction short exact sequences for this cohomology rings.
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.
Let $n \geq 1$ be an integer, let $V=(\mathbb{Z}/2\mathbb{Z})^{n}$ and let $X$ be a $V$-CW-complex. If $X$ is a finite $CW$-complexe, the equivariant modulo $2$ cohomology of the $V$-CW-complexe $X$, denoted by $H_{V}^{*}(X, \mathbb{F}_{2})$, is a finite type module over the modulo $2$ cohomology of the group $V$, denoted by $H^{*}(V, \mathbb{F}_{2})$. Let $dth_{H^{*}V}H_{V}^{*}(X, \mathbb{F}_{2})$ be the depth of the finite type $H^{*}(V, \mathbb{F}_{2})$-module $H_{V}^{*}(X, \mathbb{F}_{2})$ relatively to the augmentation ideal, $\widetilde{H^{*}}(V, \mathbb{F}_{2})$, of $H^*(V, \mathbb{F}_{…
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 o…
Let $G$ be the classical group, and let Hom$(\mathbb{Z}^m,G)$ denote the space of commuting $m$-tuples in $G$. Baird proved that the cohomology of Hom$(\mathbb{Z}^m,G)$ is identified with a certain ring of invariants of the Weyl group of $G$. In this paper by using the result of Baird we give the cohomology ring of Hom$(\mathbb{Z}^2,G)$ for simple Lie group $G$ of rank 2.
We completely calculate the $RO(G)$-graded coefficients of ordinary equivariant cohomology where $G$ is the dihedral group of order $2p$ for a prime $p>2$ both with constant and Burnside ring coefficients. The authors first proved it for $p=3$ and then the second author generalized it to arbitrary $p$. These are the first such calculations for a non-abelian group.
Locally variational systems of differential equations on smooth manifolds, having certain de Rham cohomology group trivial, automatically possess a global Lagrangian. This important result due to Takens is, how-ever, of sheaf-theoretic nature. A new constructive method of finding a global Lagrangian for second-order ODEs on 2-manifolds is described on the basis of solvability of exactness equation for Lepage 2-forms, and the top-cohomology theorems. Examples from geometry and mechanics are discussed.
Borel's stability and vanishing theorem gives the stable cohomology of $\mathrm{GL}(n,\mathbb{Z})$ with coefficients in algebraic $\mathrm{GL}(n,\mathbb{Z})$-representations. We compute the improved stable range that Borel remarked about. In order to further improve Borel's stable range, we adapt the method of Kupers-Miller-Patzt to any algebraic $\mathrm{GL}(n,\mathbb{Z})$-representations.
By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram of exact sequences which compare it to compactly supported singular cohomology and differential forms with compact support, in full analogy to ordinary differential cohomology. We prove an excision theorem for differential cohomology using a suitable relative version. Furthermore, we use our model to give an independent proof of Pontryagin duality for diffe…
We show that for any set of primes $\mathcal{P}$ there exists a space $M_{\mathcal{P}}$ which is a homology and cohomology 3-manifold with coefficients in $\mathbb{Z}_{p}$ for $p\in \mathcal{ P}$ and is not a homology or cohomology 3-manifold with coefficients in $\mathbb{Z}_q$ for $q\not\in \mathcal{ P}$. Moreover, $M_{\mathcal{P}}$ is neither a homology nor cohomology 3-manifold with coefficients in $\mathbb{Z}$ or $\mathbb{Q}$.
$Γ$-symmetric spaces are a vast generalization of symmetric spaces. Previous results make it conceivable that their isotropy action is equivariantly formal, and we provide evidence for this in case that $Γ= \mathbb{Z}_2\times\mathbb{Z}_k$. This in particular implies that $\mathbb{Z}_2\times\mathbb{Z}_k$-symmetric spaces are formal in the sense of Rational Homotopy Theory.
In this paper, we compute ${\rm Ext}_{A}^{s}(\widetilde{H}^*(B\mathbb{Z}/p),\mathbb{F}_p)$ for $s\leq 1$. Using this result, we investigate the behavior of $φ_3^{\mathbb{F}_p}$ and $φ_s^{\widetilde{H}^*(B\mathbb{Z}/p)}\ (s\leq1)$ for an odd prime $p$.
This paper extends Dolbeault cohomology and its surrounding theory to arbitrary almost complex manifolds. We define a spectral sequence converging to ordinary cohomology, whose first page is the Dolbeault cohomology, and develop a harmonic theory which injects into Dolbeault cohomology. Lie-theoretic analogues of the theory are developed which yield important calculational tools for Lie groups and nilmanifolds. Finally, we study applications to maximally non-integrable manifolds, including nearly Kähler $6$-manifolds, and show Dolbeault cohomology can be used to prohibit the existence of nearl…
We introduce here a framework to construct coordinates in \emph{finite} Lens spaces for data with nontrivial 1-dimensional $\mathbb{Z}_q$ persistent cohomology, $q\geq 3$. Said coordinates are defined on an open neighborhood of the data, yet constructed with only a small subset of landmarks. We also introduce a dimensionality reduction scheme in $S^{2n-1}/\mathbb{Z}_q$ (Lens-PCA: $\mathsf{LPCA}$), and demonstrate the efficacy of the pipeline $PH^1(\;\cdot\; ; \mathbb{Z}_q)$ class $\Rightarrow$ $S^{2n-1}/\mathbb{Z}_q$ coordinates $\Rightarrow$ $\mathsf{LPCA}$, for nonlinear (topological) dimens…
We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for genuine $G$-$R$-modules, which records them in terms of their geometric fixedpoints as well as gluing maps involving their Tate cohomologies. This reconstruction theorem follows from a symmetric monoidal stratification (in the sense of \cite{AMR-strat}); here we identify the gluing functors of this stratification in terms of Tate cohomology. Passing from ge…
Bordifications of the moduli spaces of tropical curves and abelian varieties, and unstable cohomology of $\mathrm{GL}_g(\mathbb{Z})$ and $\mathrm{SL}_g(\mathbb{Z})$
We determine the $\ell$-adic étale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.
In this paper we study the moduli spaces $Simp^m_n$ of degree $n+1$ morphisms $ \mathbb{A}^1_{K} \to \mathbb{A}^1_{K}$ with "ramification length $<m$" over an algebraically closed field $K$. For each $m$, the moduli space $Simp^m_n$ is a Zariski open subset of the space of degree $n+1$ polynomials over $K$ up to $Aut (\mathbb{A}^1_{K})$. It is, in a way, orthogonal to the many papers about polynomials with prescribed zeroes -- here we are prescribing, instead, the ramification data. Exploiting the topological properties of the poset that encodes the ramification behaviour, we use a sheaf-theor…
Atiyah's classical work on circular symmetry and stationary phase shows how the $\hat{A}$-genus is obtained by formally applying the equivariant cohomology localization formula to the loop space of a simply connected spin manifold. The same technique, applied to a suitable ''antiholomorphic sector'' in the $\mathbb{C}/Λ$-equivariant cohomology of the conformal double loop space $\mathrm{Maps}(\mathbb{C}/Λ,X)$ of a rationally string manifold $X$ produces the Witten genus of $X$. This can be seen as an equivariant localization counterpart to Berwick-Evans supersymmetric localization derivation o…
Let $Γ_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(\mathbb{Z})$. Borel-Serre proved that the cohomology of $Γ_n(p)$ vanishes above degree $\binom{n}{2}$. We study the cohomology in this top degree $\binom{n}{2}$. Let $\mathcal{T}_n(\mathbb{Q})$ denote the Tits building of $\text{SL}_n(\mathbb{Q})$. Lee-Szczarba conjectured that $H^{\binom{n}{2}}(Γ_n(p))$ is isomorphic to $\widetilde{H}_{n-2}(\mathcal{T}_n(\mathbb{Q})/Γ_n(p))$ and proved that this holds for $p=3$. We partially prove and partially disprove this conjecture by showing that a natural map $H^{\binom{n}{2}}(Γ…
