We study a family of subrings, indexed by the natural numbers, of the mod-p cohomology of a finite group G. These subrings are based on a family of v_n-periodic complex oriented cohomology theories and are constructed as rings of generalised characteristic classes. We identify the varieties associated to these subrings in terms of colimits over categories of elementary abelian subgroups of G, naturally interpolating between the work of Quillen on var(H^*(BG)), the variety of the whole cohomology ring, and that of Green and Leary on the variety of the Chern subring, var(Ch(G)). Our subrings give rise to a "chromatic" (co)filtration, which has both topological and algebraic definitions, of var(H^*(BG)) whose final quotient is the variety var(Ch(G)).
The Morava stabilizer groups play a dominating role in chromatic stable ho-motopy theory. In fact, for suitable spectra X, for example all finite spectra, thechromatic homotopy type of X at chromatic level n \textgreater{} 0 and a given prime p islargely controlled by the continuous cohomology of a certain p-adic Lie group Gn,in stable homotopy theory known under the name of Morava stabilizer group oflevel n at p, with coefficients in the corresponding Morava module (En)$\star$X.
We study transchromatic phenomena for the Tate construction of Real oriented cohomology theories. First, we show that after suitable completion, the Tate construction with respect to a trivial $\mathbb{Z}/2$-action on height $n$ Real Johnson--Wilson theory splits into a wedge of height $n-1$ Real Johnson--Wilson theories. This is the first example of Tate blueshift at all chromatic heights outside of the complex oriented setting. Second, we prove that the Tate construction with respect to a trivial finite group action on Real Morava K-theory vanishes, refining a classical Tate vanishing result…
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.
Answering a question of W. S. Wilson, I introduce a Z/2-equivariant Atiyah-Real analogue of Johnson-Wilson cohomology theory BP<n>, whose coefficient ring is the =< n-chromatic part of Landweber's Real cobordism ring.
This paper extends the relation established for group cohomology by Green, Hunton and Schuster between chromatic phenomena in stable homotopy theory and certain natural subrings of singular cohomology. This exploits the theory due to Henn, Lannes and Schwartz of unstable algebras over the Steenrod algebra localized away from nilpotents.
We calculate the homotopy type of $L_1L_{K(2)}S^0$ and $L_{K(1)}L_{K(2)}S^0$ at the prime 2, where $L_{K(n)}$ is localization with respect to Morava $K$-theory and $L_1$ localization with respect to $2$-local $K$ theory. In $L_1L_{K(2)}S^0$ we find all the summands predicted by the Chromatic Splitting Conjecture, but we find some extra summands as well. An essential ingredient in our approach is the analysis of the continuous group cohomology $H^\ast_c(\mathbb{G}_2,E_0)$ where $\mathbb{G}_2$ is the Morava stabilizer group and $E_0 = \mathbb{W}[[u_1]]$ is the ring of functions on the height $2$…
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…
Motivated by the work in [15], this paper deals with the theory of the braids from chromatic configuration spaces. This kind of braids possess the property that some strings of each braid may intersect together and can also be untangled, so they are quite different from the ordinary braids in the sense of Artin. This enriches and extends the theory of ordinary braids.
Poincare duality lies at the heart of the homological theory of manifolds. In the presence of the action of a group it is well-known that Poincare duality fails in Bredon's ordinary, integer-graded equivariant homology. We give here a detailed account of one way around this problem, which is to extend equivariant ordinary homology to a theory graded on representations of fundamental groupoids. Versions of this theory have appeared previously for actions of finite groups, but this is the first account that works for all compact Lie groups. The first part of this work is a detailed discussion of…
For any odd squarefree integer r, we get complete description of the G_r=Gal(Q(mu_r)/Q) group cohomology of the universal ordinary distribution U_r in this paper. Moreover, if M is a fixed integer which divides l-1 for all prime factors l of r, we study the cohomology group H^{*}(G_r, U_r/MU_r). In particular, we explain the mysterious construction of the elements kappa_{r'} for r'|r in Rubin's construction of Kolyvagin elements, which come exactly from a certain Z/M Z-basis of the cohomology group H^{0}(G_r, U_r/MU_r) through an evaluation map.
Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH*(kC) --> H*(|C|,k) and prove it is split surjective. This generalizes the well-known results for groups and posets. Based on this result, we construct a seven-dimensional category algebra whose Hochschild cohomology ring modulo nilpotents is not finitely generated, against a conjecture of Snashall and Solberg.
On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant gerbes with connection.
For stable degree zero operations, and also for additive unstable operations of bidegree (0,0), it is known that the centre of the ring of operations for complex cobordism is isomorphic to the corresponding ring of connective complex K-theory operations. Similarly, the centre of the ring of BP operations is the corresponding ring for the Adams summand of p-local connective complex K-theory. Here we show that, in the additive unstable context, this result holds with BP replaced by BP<n> for any n. Thus, for all chromatic heights, the only central operations are those coming from K-theory.
In this note some generalization of the Chern character is discussed from the chromatic point of view. We construct a multiplicative G_{n+1}-equivariant natural transformation Θfrom some height (n+1) cohomology theory E^*(-) to the height n cohomology theory K^*(-)\hat{\otimes}_F L, where K^*(-) is essentially the n-th Morava K-theory. As a corollary, it is shown that the G_n-module K^*(X) can be recovered from the G_{n+1}-module E^*(X). We also construct a lift of Θto a natural transformation between characteristic zero cohomology theories.
While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity, we show that the first author's cohomology of intersection spaces is stable under smooth deformations in all degrees except possibly the middle, and in the middle degree precisely when the monodromy action on the cohomology of the Milnor fiber is trivial. In many situations, the isomorphism is shown to be a ring homomorphism induced by a continuous map. This…
We study natural subalgebras Ch_E(G) of group cohomology defined in terms of infinite loop spaces E and give representation theoretic descriptions of those based on QS^0 and the Johnson-Wilson theories E(n). We describe the subalgebras arising from the Brown-Peterson spectra BP and as a result give a simple reproof of Yagita's theorem that the image of BP^*(BG) in H^*(BG;F_p) is F-isomorphic to the whole cohomology ring; the same result is shown to hold with BP replaced by any complex oriented theory E with a map of ring spectra from E to HF_p which is non-trivial in homotopy. We also extend t…
Cheeger-Simons differential characters, Deligne cohomology in the smooth category, the Hopkins-Singer construction of ordinary differential cohomology and the recent Harvey-Lawson constructions are each in two distinct ways Abelian group extensions of known functors. In one desciption these objects are extensions of integral cohomology by the quotient space of all differential forms by the subspace of closed forms with integral periods. In the other they are extensions of closed differential forms with integral periods by the cohomology with coefficients in the circle. These two series of shor…
We compute the integral torus-equivariant cohomology ring for weighted projective space for two different torus actions by embedding the cohomology in a sum of polynomial rings $\oplus_{i=0}^n \Z[t_1, t_2,..., t_n]$. One torus action gives a result complementing that of Bahri, Franz, and Ray. For the other torus action, each basis class for weighted projective space is a multiple of the basis class for ordinary projective space; we identify each multiple explicitly. We also give a simple formula for the structure constants of the equivariant cohomology ring of ordinary projective space in term…
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.
Integral bases for the second degree cohomology of 4-dimensional toric orbifolds
Institute of Mathematical Science, Pusan National University（釜山国立大学数学科学研究所）；Department of Mathematics Education, Pusan National University（釜山国立大学数学教育学系）
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the…
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.
We generalize the results of a previous paper of ours to compact Lie groups. Using a recently developed ordinary equivariant homology and cohomology, we define equivariant Poincare complexes with the properties that (1) every compact G-manifold is an equivariant Poincare complex, (2) every finite equivariant Poincare complex (with some mild additional hypotheses) has an equivariant spherical Spivak normal fibration, and (3) the Pi-Pi Theorem holds for equivariant Poincare pairs under suitable gap hypotheses. The nice behavior of the ordinary equivariant homology and cohomology theories allows …
This is a survey on the equivariant cohomology of Lie group actions on manifolds, from the point of view of de Rham theory. Emphasis is put on the notion of equivariant formality, as well as on applications to ordinary cohomology and to fixed points.
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 if an inclusion of finite groups H < G of index prime to p induces a homeomorphism of mod p cohomology varieties, or equivalently an F-isomorphism in mod p cohomology, then H controls p-fusion in G, if p is odd. This generalizes classical results of Quillen who proved this when H is a Sylow p-subgroup, and furthermore implies a hitherto difficult result of Mislin about cohomology isomorphisms. For p=2 we give analogous results, at the cost of replacing mod p cohomology with higher chromatic cohomology theories. The results are consequences of a general algebraic theorem we prove, …
Combinatorics, in particular graph theory, has a rich history of being a domain of successful applications of tools from other areas of mathematics, including topological methods. Here, we survey the study of the Hom-complexes, and the ways these can be used to obtain lower bounds for the chromatic numbers of graphs, presented in a recent series of papers \cite{BK03a,BK03b,BK03c,CK1,CK2,K4,K5}. The structural theory is developed and put in the historical context, culminating in the proof of the Lovász Conjecture, which can be stated as follows: For a graph G, such that the complex Hom(C_{2r+1}…
A categorification for the characteristic polynomial of matroids
Institute for Chemical Reaction Design and Discovery, Hokkaido University（北海道大学化学反应设计与发现研究所）；Department of Applied Mathematics, Faculty of Science, Fukuoka University（福冈大学理学部应用数学系）
We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the polynomial ring generated by the bounded Euler class. These seem to be the first examples of groups for which the entire bounded cohomology can be described without being trivial. We further prove that, contrary to ordinary cohomology, the diffeomorphisms groups of the circle and of the closed 2-disc have the same bounded cohomology as their homeomorphism gro…
We propose the notion of a coarse cohomology theory and study the examples of coarse ordinary cohomology, coarse stable cohomotopy and of coarse cohomology theories obtained by dualizing coarse homology theories. We show that the dualizing spectrum of a finitely generated torsion-free group only depends on the coarse motivic spectrum represented by the underlying bornological coarse space of the group. This in particular implies a conjecture of J. R. Klein that the dualizing spectrum of a group is a coarse invariant.
In this work we describe the Chen-Ruan cohomology of the moduli stacks of smooth and stable genus 2 pointed curves, and its algebraic counterpart: the stringy Chow ring. In the first half of the paper we compute the additive structure of the Chen-Ruan cohomology ring for the moduli stack of stable pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen--Ruan cohomology ring as an algebra on the ordinary cohomology.
We generalize our puzzle formula for ordinary Schubert calculus on Grassmannians, to a formula for the T-equivariant Schubert calculus. The structure constants to be calculated are polynomials in {y_{i+1} - y_i}; they were shown (abstractly) to have positive coefficients in [Graham] math.AG/9908172. Our formula is the first to be manifestly positive in this sense. In particular this gives a new and self-contained proof of the ordinary puzzle formula, by an induction backwards from the "most equivariant" case. The proof of the formula is mostly combinatorial, but requires no prior combinatorics…
Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculu…
