Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
1 answer
284 views

Calculating topological index

Consider the space $X=BSL(8,\mathbb{C})/(\mathbb{Z}/2)$. The topological Brauer group of $X$ is given by $Br_{top}(X)=Tor(H^{3}(X;\mathbb{Z}))=\mathbb{Z}/2$. I'm studying concepts of topological ...
Faye3's user avatar
  • 317
5 votes
0 answers
544 views

Strong Convergence vs Conditional Convergence for Spectral Sequences (Is there a simple explanation?)

I am curious if there is a relatively simple explanation of what is the difference between strong convergence and conditional convergence for Spectral Sequences? (Hopefully a simpler explanation than ...
yoyostein's user avatar
  • 1,229
3 votes
1 answer
260 views

non-simple local coefficient system on a fibration of classifying spaces

Long story short; I posted in MSE https://math.stackexchange.com/questions/2500745/local-system-of-coefficients-on-a-fibration-of-classyfing-spaces It is well known that if $G$ is a lie group ...
C. Zhihao's user avatar
  • 283
4 votes
1 answer
195 views

Can Bockstein Spectral Sequence detect multiple summands of the same power, in homology?

I understand that the differential $d^k$ of the Bockstein S.S. (mod p) is nonzero iff the homology $H_*(X;\mathbb{Z})$ has summand of the form $\mathbb{Z}/p^k$. How about for multiple summands in the ...
yoyostein's user avatar
  • 1,229
15 votes
2 answers
1k views

Pullback and homology

Suppose I have two maps of topological spaces, $f:X\rightarrow B$ and $g:Y\rightarrow B$, such that $f$ induces a homology isomorphism and $g$ is a fibration and $B$ is connected. Is it true that the ...
mathphys's user avatar
  • 1,629
2 votes
1 answer
712 views

Oriented Bordism Group and Un-Oriented Bordism Group of points $pt$

Do we know, or are there any References that list down complete oriented and unoriented Bordism Group $Ω_{n,O}(pt)$ and $Ω_{n,SO}(pt)$ of points $pt$ for dimensions $n=1,2,...,10$? Here are some ...
wonderich's user avatar
  • 10.5k
15 votes
1 answer
988 views

Why is it difficult to obtain the next differential in a spectral sequence?

I am following Hatcher's notes on spectral sequences. On page 522 an exact couple $(A, E, i, j, k)$ is defined. You can construct a derived exact couple easily from this to get your desired $E'$ ...
John Smith's user avatar
10 votes
1 answer
719 views

Leray-Hirsch theorem for Dolbeault cohomology

In Bott and Tu's Differential forms in algebraic topology there is a proof of Leray-Hirsch for the De Rham cohomology. The theorem is this: Theorem (Leray-Hirsch): Let $E$ be a fiber bundle over $M$...
Max Reinhold Jahnke's user avatar
7 votes
0 answers
168 views

Adams spectral sequence for loop spaces

Let $X = \Omega_0^3S^3$ a connected component of $\Omega^3S^3$. I am interested in explicit construction of spectral sequence converging to odd prime torsion in homotopy groups of $X$. There is a ...
Samarkand's user avatar
  • 1,129
3 votes
0 answers
234 views

How can I find the differential in the Serre spectral sequence for this sphere fibration?

Consider the assocaited sphere bundle $$S(E) \to \mathbb{P}^n$$ for the vector bundle $\mathcal{O}(k)\oplus \mathcal{O}(l) \to \mathbb{P}^n$. Is there a way to determine the differentials $$ d_4^{p,m}:...
54321user's user avatar
  • 1,716
6 votes
1 answer
399 views

Leray-Serre spectral sequence for algebraic groups

Let $G$ be a semisimple, simply-connected, complex algebraic group. Fix a Borel subgroup $B$ and let $P$ be a parabolic subgroup properly containing $B$. If $M$ is a $B$-module, then we have the Leray-...
Evan Wilson's user avatar
2 votes
0 answers
151 views

Monodromy and simple system of local coefficients

I was interested in the following question: if one has a fibration $F\to E\to B$ there is associated a monodromy map, that is basically an action of the fundamental group $\pi_1(B)$ on the ...
Jaime's user avatar
  • 41
8 votes
1 answer
363 views

Adams spectral sequence and short exact sequences. Some clarifications

as the title suggests I'm looking for some clarifications in the computations of the ext charts of some $A(1)$-modules arising as extensions of other modules. In particular, I've the following example ...
Luigi M's user avatar
  • 503
6 votes
0 answers
167 views

A spectral sequence problem in Alejandro Adem's Paper

I am reading Adem's paper Periodic Complexes and Group actions. But I can't give an argument about a statement on spectral sequences. Suppose you have an orientable fibration of CW-complexes like ...
Zhipeng Duan's user avatar
3 votes
0 answers
163 views

Question about the precise statement of Leray spectral sequences and a simple example

On Bott's paper "Homogeneous vector bundles" there is the following statement of Leray spectral sequence: Let $X$ and $Y$ be paracompact and locally compact spaces and $f : Y \to X$ be a proper map....
Max Reinhold Jahnke's user avatar
7 votes
0 answers
149 views

Cohomology of Lie group $E_8$, e.g. $H^d(E_8,\mathbb{R}/\mathbb{Z})$

What is the $d$-th cohomology of a Lie group $E_8$, say $H^d(E_8,\mathbb{R}/\mathbb{Z})$ with $\mathbb{R}/\mathbb{Z}$ coefficient? I suppose that there are many nontrivial groups of $H^d(E_8,\mathbb{...
wonderich's user avatar
  • 10.5k
20 votes
1 answer
1k views

Torsion in the Atiyah–Hirzebruch spectral sequence of a classifying space

Let $G$ be a compact, connected Lie group. There is an Atiyah–Hirzebruch spectral sequence $$H^*(BG;K^*) \implies K^*(BG)$$ connecting $H^*BG$, which generally contains torsion, with $K^*BG \cong \...
jdc's user avatar
  • 2,995
2 votes
0 answers
71 views

Connected topological/Lie group $H$ and $Q$, inflate $Q$-cocycle to coboundary in $H$

I am interested in finding mathematical examples and criteria of inflating $Q$-cocycle to coboundary in $H$, under the requirement: (1) Both $H$ and $Q$ are connected topological groups or Lie groups (...
annie marie cœur's user avatar
3 votes
0 answers
310 views

Functoriality of Leray homology spectral sequences of fibrations

Let $p\colon E\to B$ and $p'\colon E'\to B'$ be two fibrations. Assume for simplicity that $B,B'$ are simply connected. Let we have morphism of these fibrations, i.e. two continuous maps $$f\colon E\...
asv's user avatar
  • 21.8k
2 votes
0 answers
108 views

Relating inflation maps from spectral sequences in lower and higher dimensions

The spectral sequence has some nice property. Consider $ N \to G \overset{R}{\to} Q $ and $G/N=Q$. There is a spectral sequence $\{E^{p,q}_n, d_n\}$ with: (i) The differential is defined as a map $...
wonderich's user avatar
  • 10.5k
1 vote
0 answers
109 views

Empty regions on the second list of unstable Adams spectral sequence

Define $\phi(n) = 4n - 2$. Is there a proof that on the second list of unstable Adams spectral sequence (for all spheres) there are no elements in squares $(n, m)$ such that $m < \phi(n)$. The ...
Samarkand's user avatar
  • 1,129
10 votes
1 answer
370 views

Adams Spectral sequence for computing some $B$-bordism groups

As the title suggests, I'm trying to apply the Adams Spectral sequence to get some insights of the bordism group $$ \Omega_4(\xi)= \pi_4(M\xi)$$ where $\xi \colon BSpin \times K(D_{2n},1) \to BSO$ is ...
Riccardo's user avatar
  • 2,018
5 votes
1 answer
516 views

Computation of $\Omega^{Pin-}_{d}(B\mathbb{Z}_2)$ and Smith isomorphism

question: I am looking for the literature with the result or the computation of Pin- bordism group: $\Omega^{Pin-}_{d}(B\mathbb{Z}_2)$. Can someone point out some useful ways to do this or any helpful ...
wonderich's user avatar
  • 10.5k
5 votes
2 answers
526 views

The inability to continue a fibration sequence even when a delooping exists

$\newcommand{\i}{\iota}$ The general notion that I am trying to disprove is that if we are given a fibration $X \to Y$ with fiber $F$ such that the delooping $BF$ exists, that there is a map $Y \to BF$...
Hari Rau-Murthy's user avatar
5 votes
1 answer
653 views

Spin bordism group of classifying space $BG$ with a finite Abelian $G$

The spin bordism group for the classifying space $BG$ of group $G$ can be denoted as $\Omega^{Spin}_d(BG)$. For example, $\Omega^{Spin}_d(pt)$ are computed by Anderson-Brown-Peterson (D. W. Anderson, ...
miss-tery's user avatar
  • 755
5 votes
2 answers
651 views

Inflate a finite-group cocycle into coboundary in non-Abelian groups

Edit: In case that there is no solution for the original question, I modify to enrich the question. We like to ask a possible specific inflation a $H^3(Q, \mathbb{R} /\mathbb{Z})$ cocycle with a ...
miss-tery's user avatar
  • 755
0 votes
1 answer
143 views

Trivialize a cup-product 2-cocycle of $G$ in a larger group $J$

I like to ask a simple question: how to trivialize a cup-product 2-cocycle of $G$ into a 2-coboundary of $J$ in a larger group $J$. Let us take a nontrivial 2-cocycle $\omega_3^G(g_a, g_b) \in H^2(G,\...
miss-tery's user avatar
  • 755
3 votes
0 answers
120 views

Trivialize a cocycle of a continuous Lie group-cohomology to a coboundary

Someone recently asks a question $SO(3)$ 2-cocycle trivialized to a 2-coboundary in $SU(2)$? now inspires me to revisit an earlier general question to ask an example of 3-cocycle $\omega_3^G$ of a ...
wonderich's user avatar
  • 10.5k
2 votes
1 answer
264 views

Trivialize a cup-product 3-cocycle of $G$ in a larger group $J$

Inspired by this question, let us take a nontrivial 3-cocycle $\omega_3^G(g_a, g_b, g_c) \in H^3(G,\mathbb{R}/\mathbb{Z})$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. ...
miss-tery's user avatar
  • 755
4 votes
1 answer
394 views

$SO(3)$ 2-cocycle trivialized to a 2-coboundary in $SU(2)$?

I was trying to understand this interesting question by example. Let me follow their previous discussion and ask: Let a generic nontrivial 2-cocycle $\omega_2^G(g_1,g_2) \in H^2(G,\mathbb{R}/\mathbb{...
miss-tery's user avatar
  • 755
6 votes
1 answer
609 views

References for properties of Atiyah-Hirzebruch Spectral Sequence for a spectrum $X$ and generalised homology theory $MSpin_*$

Currently I'm working on the following version of the AHSS $$ E^2_{pq}\cong H_p(M\eta; MSpin_q(\ast))\Rightarrow MSpin_{p+q}(M\eta)$$ where $\eta \colon B \to BSO$ is a stable vector bundle, and $M\...
Luigi M's user avatar
  • 503
2 votes
0 answers
206 views

Cohomology of fiber bundles with non constant coefficients

Let $E \to B$ be a topological fiber bundle. We know that the Serre spectral sequence allows you to compute the cohomology of $E$ with constant coefficient in terms of the cohomology of $F$ and the ...
cannonball's user avatar
7 votes
1 answer
506 views

$G$ cocycle split to a coboundary in $J$, via a group extension

Consider a generic nontrivial $d$-cocycle $\omega_d^G \in H^d(G,U(1))$ in the cohomology group of a group $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. In otherwords, here the $d$-cocycle $\...
wonderich's user avatar
  • 10.5k
11 votes
1 answer
495 views

Identification of a Serre Spectral Seq. via Thom Isomorphism with the Atiyah-Hirzebruch Spectral Seq

Let $\xi_n$ be an orientable $n$-dimensional vector bundle over a pointed space $B_n$. We can consider the relative Serre Spectral Sequence $$ H_p(B_n; h_q(D(\xi_n|\ast),S(\xi_n|\ast))\Rightarrow h_{p+...
Riccardo's user avatar
  • 2,018
11 votes
2 answers
656 views

$G$ cocycle split and trivialized to a coboundary in $J$, given a group homomorphism $J \overset{r}{\rightarrow} G$

Consider a generic nontrivial 3-cocycle $\omega_3^G(g_1,g_2,g_3) \in H^3(G,U(1))$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. In otherwords, here the 3-cocycle $\...
wonderich's user avatar
  • 10.5k
7 votes
1 answer
663 views

Explicit 2-cocycle from a 2nd cohomology group $H^2[Q_8 \times \mathbb{Z}/2\mathbb{Z}, U(1)]$

I would like to know the explicit expression of 2-cocycle from a 2nd cohomology group $H^2[Q_8 \times \mathbb{Z}/2\mathbb{Z}, U(1)]$ with $U(1)\equiv \mathbb{R}/\mathbb{Z}$ coefficient, or namely $H^2[...
wonderich's user avatar
  • 10.5k
3 votes
0 answers
274 views

Is there a spectral sequence for borel-moore homology associated to a whitney filtration?

Consider a Whitney stratified space $$ \varnothing = X_{-1} \subseteq X_0 \subseteq X_1 \subseteq \cdots \subseteq X_n $$ is there a spectral sequence for borel-moore homology which depends on the ...
54321user's user avatar
  • 1,716
2 votes
0 answers
326 views

A version of Leray Hirsch better for local coefficients

Let $F \hookrightarrow E \to B$ be a fibration, and let everything be over a field $k$. The leray hirsch theorem in its usual form says that the (homology) cohomology spectral sequence degenerates at (...
Hari Rau-Murthy's user avatar
8 votes
1 answer
503 views

Cohomology ring of a fiberwise join

I am very interested in the cohomology ring of the following construction. Let $f: Y\to X$ be a map between (connected) topological spaces. Suppose that the image of the map $f^*:H^*(X) \to H^*(Y)$ is ...
Nikolay Konovalov's user avatar
5 votes
0 answers
290 views

Two natural maps asssociated with the nerve of a cover

Let $X$ be a nice (e.g. paracompact, locally contractible) topological space, and let $\mathcal{U}=\{U_i\}_{i\in I}$ be an open cover of $X$. Also denote by $N$ the (topological realization of) the ...
Roberto Frigerio's user avatar
5 votes
0 answers
229 views

Bockstein morphism of spectral sequences

Given an omega spectrum $E$, there is a type of chern character map given by its rationalization $$r:E\to E\wedge M\mathbb{R}\;,$$ where $M\mathbb{R}$ denotes a Moore spectrum. The cofiber of the map $...
Daniel Grady's user avatar
3 votes
0 answers
241 views

Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to $PH_*(QY)$, and let's say $Y$ itself is a ...
user43326's user avatar
  • 3,051
6 votes
1 answer
564 views

a question about Bockstein spectral sequence

I find the following theorem for Bockstein spectral sequence at http://pages.vassar.edu/mccleary/files/2011/04/MC10.fin_.pdf, page 459: Question. for a fixed $k$, if $\beta$ does not hit $H_k(X;\...
Shiquan Ren's user avatar
  • 1,990
10 votes
1 answer
657 views

Cap product on Leray-Serre spectral sequences

Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and $H^*(...
Sergei Ivanov's user avatar
3 votes
1 answer
463 views

cohomology module of unit tangent vector bundles over spheres

Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration $$ S^{m-1}\longrightarrow \tau(S^m)\...
QSR's user avatar
  • 2,223
14 votes
0 answers
830 views

What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?

Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...
Jonathan Beardsley's user avatar
15 votes
1 answer
1k views

Multiplicative Structure of the Atiyah-Hirzebruch/Leray-Serre spectral sequence

This is related to this question (edit: now answered, see below). Is there a nice explanation of the multiplicative structure on the higher pages of that spectral sequence? I want to assume that $h$ ...
Sebastian Goette's user avatar
2 votes
0 answers
216 views

completion and convergence of spectral sequence

I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...
user83492's user avatar
5 votes
1 answer
363 views

Transgression in terms of k-invariant for chain complexes

I am looking for a reference for the following. Say we have a $G$-space $X$ whose homology groups (in field coefficients $k$) are non-zero only in dimension zero and for a fixed $n>0$. Let $M$ ...
Nick's user avatar
  • 235
10 votes
1 answer
474 views

Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

Given a fiber square of simplicial sets $$\begin{array}{cc} & \hspace{-7mm} E \\ &\hspace{-7mm}\downarrow \\ \ast\longrightarrow &\hspace{-7mm} B \end{array}$$ ...
Jonathan Beardsley's user avatar