Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
102 views

"Standard computations" with stable Hopf invariants

I am struggling in understanding the proof of Lemma 10.6 of the paper "Mapping class groups and function spaces" by Bodigheimer, Cohen and Peim http://www.math.uni-bonn.de/people/cfb/...
Tommaso Rossi's user avatar
4 votes
0 answers
201 views

Using the Serre spectral sequence - moving between $\mathbb{Z}/2$ and $\mathbb{Z}$ information

I am trying to understand the computation of $\pi_5(S^3)$ and $\pi_6(S^3)$ using the Serre spectral sequence. I know already that $\pi_5(S^3)$ is only 2-torsion and $\pi_6(S^3)$ is 2-torsion together ...
user101010's user avatar
  • 5,349
4 votes
0 answers
397 views

Eilenberg-Moore spectral Sequence calculation

I want to use the cohomology Eilenberg-Moore spectral sequence to calculate the cohomology of the fibre of the map $$ S^{n} \to \Omega S^{n+1}. $$ Question 1: Is anyone aware of any references for ...
Niall Taggart's user avatar
4 votes
0 answers
576 views

generalized Atiyah-Hirzebruch spectral sequence from Postnikov truncation

The Atiyah-Hirzebruch spectral sequence \begin{equation*}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}(E),\end{equation*} computes the generalized homology $h$ of a total space $E$ of a Serre fibration ...
Alex Turzillo's user avatar
4 votes
0 answers
734 views

Spectral sequence for reduced homology

In the Serre spectral sequence, is it true that we can replace homology by reduced homology? That is: If $f:X\rightarrow B$ is a Serre fibration,with $F$ the fiber, then if $\tilde E^2_{pq}=\tilde H_p(...
HYYY's user avatar
  • 1,499
3 votes
1 answer
421 views

Spectral sequence in Adams's book, Theorem 8.2

I am having trouble in understanding Theorem 8.2 of Adams's book and the application afterwards of constructing the spectral sequence. I think I should prove somehow that the spectral sequence in this ...
T. Wildwolf's user avatar
3 votes
1 answer
938 views

Computing the homology groups of spaces in a fibration

Let $F\rightarrow X\rightarrow B$ be a fibration. If we know very well the spaces $F$ and $B$ and wish to compute the homology of $X$. One possible tool is the Serre Spectral Sequence. However, it ...
Zuriel's user avatar
  • 1,108
3 votes
1 answer
205 views

Prove or disprove that there exists no $G$ structure with its bordism group $\Omega_1^{G} =\mathbb{Z}/N$ for $N>2$

It can be found that there are the following bordism group $\Omega_0^{G}$ at $d=0$ and 1 dimensions by requiring $G$ structure for $d$-manifolds: $$ \Omega_0^{SO} = \mathbb{Z} , \quad \Omega_1^{SO} = ...
annie marie cœur's user avatar
3 votes
2 answers
319 views

cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for $p$...
QSR's user avatar
  • 2,223
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
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
3 votes
1 answer
470 views

Spectral sequence for H-space bundles

Let $F \rightarrow E \rightarrow B$ be a fibre bundle such that $B$ is a smooth and compact manifold and $F$ obtains an associative H-space structure. Explicitly, it is not a principal bundle. One ...
fred137's user avatar
  • 31
3 votes
0 answers
90 views

Topological groups satisfying the Borel transgression theorem

I am using the Borel transgression theorem as given in Mimura and Toda's "Topology of Lie groups I and II", page 378, Theorem 2.7. I know that it applies when the fiber has the homotopy type ...
Andrew Davis's user avatar
3 votes
0 answers
264 views

Explicit description of the Leray spectral sequence with compact supports for a fibration

Consider a locally trivial fibration $f: E \to B$ with fiber $F = \mathbb{C}^n$. The Leray spectral sequence with compact supports is $$ E_2: H^p_c(B, \underline{H^q_c(F)}) \implies H^{p+q}_c(E). $$ ...
Eduardo de Lorenzo's user avatar
3 votes
0 answers
249 views

Explicit computation of hyper Ext in terms of the homologies of the input chain complexes

This question was asked on math.stackexchange and didn't receive any traction, so I'm turning to the MO community. Hello! Let $C_{\bullet}$ and $D_{\bullet}$ be chain complexes of $R$-modules for some ...
Eric's user avatar
  • 301
3 votes
0 answers
118 views

The $\pi_1(BM)$ action on $H^*(BH,R)$ in a Serre fibration $BH\to BG\to BM$

$R$ is a ring. Applying the Serre spectral sequence to a fibration $F\to E\to B$, to avoid local coefficients, we need to require that $\pi_1(B)$ acts on $H^*(F, R)$ trivially. Consider a fibration of ...
Leo's user avatar
  • 663
3 votes
0 answers
240 views

Does Kudo's transgression theorem still hold when the coefficient is ℤ/pⁿℤ?

I am trying to compute a Lyndon–Hochschild–Serre spectral sequence with coefficient $\mathbb{Z}/p^2\mathbb{Z}$, where $p$ is an odd prime, and Kudo's transgression theorem looks like a good tool for ...
Yuxiang Yao's user avatar
3 votes
0 answers
224 views

Cohomology ring $H^*(BG,\mathbb{Z}_2)$ for $G=\mathbb{Z}_2\ltimes B^2\mathbb{Z}^2$

$$ \newcommand{\Z}{\mathbb{Z}} $$ Consider the group $G=\Z_2\ltimes B^2\Z^2$ where $\Z_2$ acts on $\Z^2$ by interchanging the two factors of $\Z^2$, hence $\Z_2$ also acts on the Eilenberg-MacLane ...
wonderich's user avatar
  • 10.5k
3 votes
0 answers
101 views

Geometric filtration for Eilenberg-Moore spectral sequence

I'm reading the paper by Eilenberg-Moore (https://link.springer.com/content/pdf/10.1007/BF02564371.pdf) about the Eilenberg-Moore spectral sequence. In section 11, they introduce the notion of ...
Li Guanyu's user avatar
  • 449
3 votes
0 answers
186 views

Cobordism theory of some weird space

Let $G=SU(3)$ and $N=SO(3)$, then $G/N= SU(3)/SO(3)$ = a 5-dimensional Wu manifold $W$. The $W$ is a homogeneous space (also a quotient space), but not a group. Previously, I am aware of the ...
wonderich's user avatar
  • 10.5k
3 votes
0 answers
180 views

Computations of Bredon homology of $S(1+\sigma)$ with Universal Coefficient S.S

What I am trying to do is to compute $\mathbb{Z}$-graded Bredon homology of $S(1+\sigma)$ over $Q\times\Sigma_2$, where $Q$ is a cyclic group of order 2 $\sigma$ is its real sign representation $\...
Igor Sikora's user avatar
  • 1,759
3 votes
0 answers
70 views

Characterization of degeneracy of spectral sequence of a fiber bundle at the second term

Let $f\colon E\to B$ be a fiber bundle of compact manifolds with fiber $F$. Assume that the push-forward $Rf_*(\underline{\mathbb{F}})$ in the derived category of the constant sheaf with coefficients ...
asv's user avatar
  • 21.8k
3 votes
0 answers
165 views

Reference for specific detail on Serre spectral sequence

In "A primer on spectral sequences" http://www.math.uchicago.edu/~may/MISC/SpecSeqPrimer.pdf (by J.P.May apparently, although no name is given in the pdf) I found a very detailed version of the ...
ort96's user avatar
  • 404
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
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
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
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
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
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
3 votes
0 answers
574 views

Serre Spectral Sequence and Cohomology Ring of Circle Bundles

I have the following (maybe simple) question about the cup product structure in the Serre spectral sequence. Consider a fiber bundle $S^1 \rightarrow E \rightarrow B$ with euler class $e \in H^2(B)$. ...
iXavier's user avatar
  • 31
3 votes
0 answers
223 views

spectral sequence differential for cobordism

From page 6 of these solutions: the differential\begin{equation}d_2: H_p(X,\Omega_1^{Spin})\rightarrow H_{p-2}(X,\Omega_2^{Spin})\end{equation}connecting the 1-st and the 2-nd row is the $\textbf{...
Alex Turzillo's user avatar
3 votes
0 answers
175 views

"Cut-off" of the Adams exact couple

(This question has been asked on Math.StackExchange where it attracted a few upvotes, but - unfortunately - no answer.) I have been reading Chapter 2. of A. Hatcher's draft of "Spectral Sequences in ...
Piotr Pstrągowski's user avatar
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
2 votes
2 answers
323 views

homology of a base space of a a fiber sequence

Suppose we have a fiber sequence of connected spaces $A\rightarrow B\rightarrow C$ and suppose we know the homology of A and B, is there a homological spectral sequence converging to the homology of $...
mathphys's user avatar
  • 1,629
2 votes
1 answer
201 views

Identifying $d_1$ in the Atiyah-Hirzebruch-Serre spectral sequence

In A Primer on Spectral Sequences (also later published in More Concise Algebraic Topology), J. Peter May describes the Serre Spectral Sequence for any homology theory. To recap, suppose $p\colon E\...
Thorgott's user avatar
  • 508
2 votes
1 answer
355 views

Leray-Serre spectral sequence for projective bundles

Let $\mathcal{E} \rightarrow X$ be a complex vector bundle of rank $r+1$ and let $F=\mathbb{P}^r \rightarrow E = \mathbb{P}\mathcal{E}\rightarrow X$ be the associated projective bundle. We know that ...
Federico Barbacovi's user avatar
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
2 votes
1 answer
142 views

Extending the maps between the bordism groups: NONE exsistence of a certain kind of extended group

Let $M^d$ be a nontrivial bordism generator for the bordism group $$ \Omega_d^G= \mathbb{Z}_n, $$ suppose $G$ (like O, SO, Spin, etc) specify the group structure of the boridsm group. The $\mathbb{Z}...
annie marie cœur's user avatar
2 votes
1 answer
148 views

An attempt at an alternative calculation of the rank of $\pi_n(MO)$

$\newcommand{\a}{\mathfrak a}\newcommand{\Z}{\mathbb Z}$Let $MO$ be the Thom Spectrum, then I am trying to come up with an alternative calculation that the rank of $\pi_n(MO)$ as a $\Z_2$ vector space ...
Chris's user avatar
  • 391
2 votes
0 answers
179 views

Differentials in the Atiyah-Hirzebruch spectral sequence for a bounded generalized cohomology theory

$\newcommand{\res}{\mathrm{res}}$Let $X$ be a connected finite CW complex, and let $E$ be a bounded spectrum. For simplicity, let me assume that it has homotopy groups concentrated in degrees 0,1,2. ...
JeCl's user avatar
  • 1,001
2 votes
0 answers
284 views

Notation for spectral sequences [closed]

Every single spectral sequence I have seen in my life was denoted by $E$. Even when there is more than one spectral sequence, people tend to use the same letter with some workaround (e.g. a fourth ...
Andrea Marino's user avatar
2 votes
0 answers
98 views

Name for the "other term" in a derived exact couple

I'm building a spectral sequence using an exact couple $D^1 \to D^1 \to E^1 \to D^1$, with $k$th derived exact couple $D^k \to D^k \to E^k \to D^k$. In this case, I happen to have more information ...
Colin Aitken's user avatar
2 votes
0 answers
269 views

Dress' construction and Serre spectral sequence

Currently, I am reading Serre spectral sequence, given below, using Dress' construction. Let $f:E\to B$ be a Serre fibration. Then, there is a first quadrant spectral sequence $\big\{E^r,d^r\}_{...
Sumanta's user avatar
  • 632
2 votes
0 answers
486 views

An alternative proof of Künneth spectral sequence, independent of Künneth formula for homology

I am currently reading Künneth spectral sequence, which is given below. Let $R$ be a ring and A$=\big\{A_n,d_n:A_n\longrightarrow A_{n-1}\big|d_{n-1}\circ d_n=0\big\}_{n\in \Bbb Z}$ be a chain ...
Sumanta's user avatar
  • 632
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
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
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
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
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
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