The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
143 views

Functors similar to $H^i(\cdot)$

Suppose $T$ is a contravariant functor from the category of pointed topological spaces to the category of abelian groups, then we have homomorphisms $\alpha\colon T(X)\times T(Y)\to T(X\times Y)$ and ...
3
votes
1answer
102 views

group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281: Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...
0
votes
1answer
272 views

On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ ...
2
votes
2answers
425 views

What is the $\mathbb Z/2$-cohomology of $\mathrm B^n(\mathbb Z/2)$?

I would like to know the cohomology groups $\mathrm H^\bullet(\mathrm B^n(\mathbb Z/2);\mathbb Z/2)$. I assume that this is a standard computation, but I'm not sure where to look up the answer (and, ...
2
votes
0answers
265 views

Differential and pre-differential of Jacobi identity

Let M be a manifold. To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied? That is a Lie algebra structure for which $[X,fY]=f[X,Y]$. (For ...
1
vote
0answers
95 views

Generalization of De Rham cohomology for spinor fields

Is there a generalization of De Rham cohomology for spinors fields? I can see that one can construct p form fields out of spinor field by contraction of the type $\bar{\psi} \gamma^{a_1} ...
1
vote
1answer
102 views

Schubert Polynomials for Complex Projective Space

The Borel picture of the cohomology ring of a flag variety gives a description as a coset space, without identifying any representatives for the classes. Lascoux and Schützenberger gave specific ...
2
votes
2answers
254 views

Is Eilenberg-Maclane $\wedge$ Moore space the spectrum of the cohomology theory $H^*(\ ,G)$?

In the web page http://www.encyclopediaofmath.org/index.php/Moore_space it can be found the following statement: If $K(\mathbb Z,n)$ is the Eilenberg–MacLane space of the group of integers ...
1
vote
1answer
148 views

Cohomology of Homogeneous Complex Manifolds

Let $M$ be compact $G$-homogeneous manifold, equipped with the equivariant complex structure, when $G$ is a semi-simple algebraic group. The obvious example is every flag manifold. In that case, all ...
-2
votes
1answer
73 views

stable splitting into a wedge sum [closed]

Suppose $X$ is a CW-complex such that there is a stable splitting of $X$ into wedge sum $$ \Sigma^t X\cong \bigvee _{k=1}^\infty Y_k. $$ (1). Does this imply $$ X\to \Sigma^tX\to \bigvee ...
1
vote
1answer
201 views

What is the cokernel of the map $H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow H^2(X,\mathbb Z).$

For a manifold $X$ (for simplicity, assumed to be compact), let $\pi_1(X)$ be the fundamental group of $X$. What is the cokernel of the map $$H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow ...
2
votes
0answers
91 views

Generating free groups by small subgroups and an element

Let $F$ be a free group of countably infinite rank, and let $L \leq F$ be a finite index subgroup. For some prime $p$ and $k \in \mathbb{N}$, let $\sigma \colon L \to ...
3
votes
2answers
213 views

Upper bound on Betti numbers of an intersection of hypersurfaces (or quadrics)

I have a problem I have been stuck with since several weeks now, and yet I believe it should be easy to specialists. Let $k$ be an algebraically closed field, $m$ and $n$ two integers. Let ...
6
votes
4answers
653 views

Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...
1
vote
1answer
121 views

Unordered configuration space of $\mathbb{R}P^1$

In the paper GEOMETRY OF TRUNCATED SYMMETRIC PRODUCTS AND REAL ROOTS OF REAL POLYNOMIALS, JACOB MOSTOVOY, Bull. London Math. Soc. (1998) 30 (2): 159-165, Theorem 2. (b): ...
1
vote
1answer
188 views

Multiplicative structure in the cohomological Leray-Serre spectral sequence - please elucidate a proof

Let $\pi \colon X \to B$ be a fibration with $B$ a path-connected CW complex. Write $B^p$ for the $p$-th skeleton of $B$ and set: $X_p = \pi^{-1}(B^p)$, $F_p^m = \ker [H^m(X) \to H^m(X_{p-1})]$, ...
3
votes
1answer
174 views

When is the cohomology of a space Ext(k,k)?

If $X$ is aspherical, we know that $H^*(X,k) = \text{Ext}_R(k,k)$, with $R = k\pi_1$. For non-aspherical spaces, do we ever have $H^*(X,k) = \text{Ext}_R(k,k)$ for some ring $R$? Obviously we need ...
3
votes
0answers
93 views

Action of automorphisms on cohomology with supports

Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...
3
votes
1answer
113 views

LES for relative cohomology via sheaves

I was unable to find a suitable answer for the following question: Once one learns that singular cohomology is the same as cohomology with coefficients in locally constant sheaf, it is natural to try ...
17
votes
1answer
531 views

What are explicit obstructions to realizability of formal group laws as complex-oriented ring spectra?

Recall that a complex-oriented spectrum is a ring spectrum E with a map $MU \to E$. Analogously, a ring with a (1-d commutative) formal group law is (represented by) a ring $R$ with a map $L \to R$ ...
9
votes
1answer
313 views

Identifying a Hopf algebra cohomology theory

Here is a cohomology theory for a Hopf algebra, which I am sure has appeared elsewhere. I met it in the van Est spectral sequence for Hopf algebras. Apologies for my being stupid here, but it would be ...
8
votes
2answers
440 views

Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$

Let $X$ be a nice topological space and denote by $\pi_1(X)$ its fundamental group. It is well-known that there is a well-defined map $$ 0 \rightarrow H^2(\pi_1(X),A) \rightarrow H^2(X,A),$$ where ...
5
votes
0answers
124 views

Are all these K3 surfaces supersingular?

Consider all the smooth K3 surfaces given by $X^4+W^2X^2+XW^3 = f(Y,Z,W)$ or $X^4+XW^3 = g(Y,Z,W)$ over $\mathbb F_{2}$ with $f$ or $g$ homogenous of degree 4. There are a lot of choices for $f$ and ...
7
votes
1answer
268 views

What is an example of a formal group law that is Landweber-exact but not flat?

Quick Background: The $p$-series of $F$ (where $F$ is a formal group law over a graded ring $R$) will be of the form $[p](x) = px + v_1x^{p^1} + ... + v_nx^{p^n} + ...$ ; $(F, R)$ is Landweber-exact ...
0
votes
0answers
61 views

Cohomology operators inducing local basis of $1-$forms

Suppose that $\partial$ is a non-trivial ($\partial \neq 0$) cohomology operator on an $m-$dimensional manifold $M$ (that is: $\partial:\Omega(M)\to\Omega(M)$ is a degree $1$ derivation such that ...
1
vote
1answer
280 views

Integration currents VS Poincaré Dual

Let $M$ be a complex manifold of dimension $n$ and $S \subset M$ a closed complex submanifold of complex codimension $r$. Let $[S] \in H_{2r}(S)$ be the fundamental class of $S$. We have the ...
2
votes
1answer
165 views

When is finding an explicit inverse of an isomorphism not possible

My question is about Shapiro's lemma. Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains. So the obvious map is ...
2
votes
0answers
87 views

Deformations of associative algebras and Hochschild cohomology

I am studying the deformation theory of associative algebras (and Poisson algebras) and came across a question for which I cannot find an answer: Let $(A,\mu)$ be a commutative associative algebra ...
2
votes
1answer
158 views

Galois cohomology out of the classifying stack

Suppose $G$ is a smooth and abelian $k$-group scheme, for $k$ a field. Is it possible to get back galois cohomology groups $H^*(k,G)$ studying the cohomology of the classifying stack $BG=[*/G]$ ?
1
vote
0answers
50 views

$\Gamma$ cohomology of principal series

Let $G$ be a noncompact connected real semisimple Lie group with finited center. Let $\Gamma$ be a cocompact discrete subgroup of $G$, and let $P$ be a parabolique subgroup with Langlands ...
2
votes
1answer
125 views

rational cohomology of finite real grassmannian

Let $p_j$ to be the $j$-th Pontryagin class of the universal $n$-plane bundle $E_n(\mathbb{R}^\infty)\to G_n(\mathbb{R}^\infty)$. Then according to Theorem 1.6, The Cohomology of BSO n and BO n with ...
3
votes
1answer
172 views

cohomology ring of configuration spaces

In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use ...
1
vote
1answer
155 views

cohomology of the orbit space of a group action

Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field. Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain ...
0
votes
0answers
62 views

Wedge product of Endomorphism-Valued Forms

To define characteristic classes in smooth vector bundles $E\longrightarrow M$ there is a more or less standard procedure: to choose a connection $\nabla$ and to derive the curvature $\Omega$, which ...
0
votes
1answer
93 views

Rationally graded singular cohomology

In the paper "A new cohomology theory for orbifold" by Chen/Ruan, they define the orbifold cohomology group of an orbifold $X$ by $H^d_{orb}(X)=\bigoplus_{(g) \in T} H^{d-2\iota_{(g)}}(X_{(g)})$ ...
0
votes
0answers
59 views

Crossed module classification theorem and $H^3(G; A)$

We are interested in "Crossed Module Classification Theorem (Two crossed modules with kernel $A$ and cokernel $G$ determined the same class in $H^3(G;A)$ if and only if they are equivalent.)". We ...
0
votes
0answers
56 views

question about Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces

In the paper Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces, F. R. Cohen, L. R. Taylor, Geometric Applications of Homotopy ...
0
votes
0answers
68 views

Dyer-Lashof algebra structures over graded modules

In Lecture Notes in Mathematics, Vol. 533, The homology of iterated loop spaces, Chapter 3, The homology of $C_{n+1}$-spaces, F. Cohen, Section 2, page 222, line 4, 5, 6: for an arbitrary graded ...
1
vote
1answer
130 views

Degree of irreducible locally free sheaves and global sections on curves

Let $X$ be a smooth projective curve and $\mathcal{F}$ a locally free sheaf on $X$ of rank $2$ and negative degree. Assume further that $\mathcal{F}$ is irreducible in the sense, $\mathcal{F}$ cannot ...
2
votes
1answer
106 views

cohomology algebra of submanifold in euclidean space

If we write a manifold or CW-complex $X$ as a subset of $\mathbb{R}^n$, in expression of coordinates, for example, \begin{multline} F(S^2,k+1)=\{(x_1,x_2,x_3,\cdots, ...
0
votes
0answers
93 views

permutation action on cohomology of configuration space

Let $F(M,n)$ be the $n$-th configuration (ordered) of manifold $M$. In the paper The Integral Cohomology Algebras of Ordered Configuration Spaces of Spheres, ...
1
vote
1answer
174 views

permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds. In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...
1
vote
4answers
285 views

Global section of very ample line bundles and its value on stalks

Let $X$ be a projective scheme and $\mathcal{L}$ be a very ample line bundle on $X$ with respect to some projective embedding $X \hookrightarrow \mathbb{P}^n_{\mathbb{C}}$ (for some $n$). Given any ...
5
votes
0answers
190 views

For which quiver varieties is Kirwan surjectivity known?

The cohomology of Nakajima quiver varieties is a quite interesting object. It's equipped with some natural classes given by the Chern classes of the tautological bundles associated to the spaces in ...
1
vote
0answers
174 views

Multiplication Map, Is it invariant?

Let $\pi:X\rightarrow Z$ a double cover of an elliptic curve with genus $g\geq 3$. Choose a general rank 2 and degree -1 vector bundle $F$ on $Z$, let $E=\pi^*F$ and fix $x\in X$. The involution $i$ ...
0
votes
1answer
115 views

configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring $$ H^*(F(\mathbb{R}P^n,k);R)$$ is obtained for any ...
9
votes
2answers
401 views

Is there an analogue of the Tate (and Hodge) conjecture for varieties that are not proper smooth (i.e., the mixed case)?

Let $X/K$ be a variety (scheme of finite type, geometricaly integral) over a finitely generated field $K$. If it is smooth and proper, we can formulate the Tate conjecture, and if $\text{char}(K) = 0$ ...
0
votes
0answers
121 views

Torsion in cohomology

Suppose to have a short exact sequence of chain complexes of $\mathbb{Z}$-modules: $$0\to A^\bullet\to B^\bullet\to C^\bullet\to 0$$ such that $A^k,B^k,C^k$ are non zero for $k=0,1,2$. Moreover, ...
7
votes
2answers
310 views

Deformations of a blowup

Let $S$ be a smooth projective surface over $\mathbb{C}$. (I guess this can be more general—higher dimension, other ground fields, non-projective, maybe even singular?—and I'dd like to hear that.) Let ...
0
votes
1answer
371 views

Axioms for sheaf cohomology

Let $R$ be a commutative ring and $X$ a topological space. Define a sheafy cohomology theory (see here) to be a collection of functors $\mathrm{H}^q:\mathrm{Sh}(X;R\mathrm{Mod})\to R\mathrm{Mod}$ such ...