The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
73 views

Counting chain maps

I initially asked this question over at math stack exchange, you can find it here. I haven't really gotten any traction and I'm beginning to wonder if maybe its a harder question than I originally ...
3
votes
0answers
76 views

Configuration spaces of positive and negative particles

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, page 3, line from bottom 1-3, it is given that for a $m$-manifold $M$, there is a map from the labelled ...
3
votes
1answer
114 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 ...
5
votes
1answer
237 views

If a topological space has vanishing $n$th homology for every possible homology theory, does it have vanishing $n$th homotopy?

I don't have any strong preference as to whether or not the homology theories are required to be ordinary. Also, if this does not hold in general, does it hold for some nice category of spaces, like ...
-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
159 views

Homology of manifold with action of group

Sorry for my ignorance in advance, this should be a very naive question and I would be happy for a reference. Let $G$ be an arbitrary group (not necessary finite) acting on two (connected) manifolds ...
9
votes
1answer
203 views

Dyer-Lashof operations and the homology of GL_n

For any ring R, $\bigsqcup_n {BGL}_n(R)$ is an $E_\infty$-space. Are there examples of rings where people have calculated $H_*(\bigsqcup_n {BGL}_n(R);\mathbb{Z}/2)$ and determined the Dyer-Lashof ...
1
vote
0answers
95 views

Homology and Burnside ring

If $G$ is a finite groupe, we denote $\mathcal{S}(G)$ the category of finite $G$-sets and $\mbox{I}(G)$ the set of isomorphism classes of it's objects. The Burnside ring of $G$, denoted by ...
5
votes
1answer
218 views

Strange problem about triplets of differential forms

Suppose we have the following map: $$(\Omega^1(\mathbb{R}^n))^3\longrightarrow(\Omega^2(\mathbb{R}^n))^3$$ ...
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 ...
2
votes
1answer
411 views

A lower-dimensional algebraic topology problem between homology group and fundamental group

Let \begin{equation} A\stackrel{\alpha}{\longrightarrow}B\stackrel{\beta}{\longrightarrow}C\quad\quad (1) \end{equation} be a short sequence of (abelian or nonabelian) groups and homomorphisms. We say ...
3
votes
0answers
68 views

Homology of derivations of Differential Graded Lie algebra

Let $(L,d)$ be a Differential Graded Lie Algebra ($L=\bigoplus L_i$ and $d:L_i \to L_{i-1}$ satisfying the graded Leibniz rule). On the algebra $\mathrm{Der}L$ of derivations of $L$ define a grading ...
28
votes
2answers
1k views

Maps which induce the same homomorphism on homotopy and homology groups are homotopic

I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct ...
1
vote
1answer
188 views

Example of torsion in orientable manifolds?

An orientable manifold can have torsion in its integer homology. But I believe by Poincare duality the manifold must be at least 4-dimensional -- isn't that right? Anyway are there simple examples ...
1
vote
0answers
100 views

Role of determinant of the matrix corresponding to $i$-th Homology group.

I was thinking about the proof of the Lefschetz's Fixed point theorem and the ingeniuty of the Hopf's Trace formula, i.e. associating the trace of the matrix for deciding about the fixed points. Now ...
1
vote
0answers
67 views

Homology and Exterior Square

Let $G$ be a finite group and $G \wedge G$ denote the exterior square of $G$. It is well known that the second integral homology $H_2(G,\mathbb{Z})$ is the kernel of homomorphism $x \wedge y \mapsto ...
14
votes
5answers
608 views

Take contraction wrt a vector field twice and define kernel mod image. Does that give anything interesting?

First, we make the following observation: let $X: M \rightarrow TM $ be a vector field on a smooth manifold. Taking the contraction with respect to $X$ twice gives zero, i.e. $$ i_X \circ i_{X} ...
1
vote
0answers
105 views

Tubular neighborhoods in the proof of the Morse homology theorem

I have a question regarding the proof of the Morse homology theorem given by D. Salamon in "Morse theory, the Conley index and Floer homology". The full text can be found here: ...
1
vote
2answers
196 views

The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?
8
votes
1answer
277 views

Software for computing Thurston's unit ball

Is there any software which can be used for computing Thurston's unit ball(for second homology of 3-manifolds) of link complements? In particular can I do that with SnapPy? PS: even a table for ...
8
votes
1answer
366 views

Naturality of a Kunneth formula for cohomology

Let $X,Y$ be CW complexes. By Kunneth formula, we have a group isomorphim $$ H^n(X\times Y;G) \cong \oplus_{p+q=n} H^p(X;H^q(Y;G))$$ Is there a natural map realizing this isomorphism?
-1
votes
2answers
181 views

Interpretation of $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

In the paper "Sato-Tate Distributions and Galois Endomorphism Modules in Genus 2" (arxiv: http://arxiv.org/abs/1110.6638), the authors use the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ ...
8
votes
0answers
394 views

Homology of Lie groups

Let $G$ be a Lie group and $G^{\delta}$ the underlying group (with discrete topology). Obviously, we have a continuous map of groups $i:G^{\delta}\rightarrow G$ which induces a map between classifying ...
3
votes
1answer
253 views

Second betti number of compact analytic spaces

Let $V$ be a proper singular complex algebraic variety, possibly nonprojective ($dim(V)=n>0$). I would like to know: 1) if its second Betti number is non zero, 2) same question but now $V$ is a ...
21
votes
9answers
2k views

Why localize spaces with respect to homology?

A basic construction in algebraic topology is the localization of spaces or spectra with respect to a homology theory: one formally inverts the $E$-homology isomorphisms, reflecting each space into ...
0
votes
0answers
218 views

Divisibility in homology/homotopy

I have a simply-connected CW-complex $F$ of finite-type, and I know that the imprimitivity of its particular integral homology is divisible by an odd prime $p$; that is, $$ \forall n,\exists \delta, ...
1
vote
0answers
72 views

some intuition about the degree of a map

Consider a map $$ f: \Sigma \to X/\sigma,$$ where $\Sigma=\Sigma_g/\Omega$ is a quotient of a Riemann surface by an antiholomorphic involution, $\sigma:X\to X$ is an antiholomorphic involution of some ...
2
votes
0answers
305 views

Cech homology (!) of the Warsaw Circle

Can anyone can give me a reference to the fact that first Cech homology (not cohomology!) group of the Warsaw Circle is $\mathbb{R}$? Thank you in advance :)
1
vote
1answer
160 views

What are finite groups $H$ such that $H^n(H,\mathbb{Q/Z}) \cong H_n(G,\mathbb{Z})$?

Let $G$ be a finite group and $G^{\prime}$ be its commutator subgroup. Let $\mathbb{Z}$ and $\mathbb{Q}$ denote the integers and rationals. $\mathbb{Z}$ and $\mathbb{Q/Z}$ treated as trivial ...
1
vote
1answer
154 views

Universal coefficient theorem for local ring

Let $R$ be a commutative local artin $k$-algebra,where $k$ is a field with characteristic $0$.I wonder whether universal coefficient theorem holds in this case.Namely,if $C$ is a chain of flat ...
8
votes
1answer
274 views

worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...
4
votes
1answer
130 views

0-homologous surface bounds

Given a map $f : S \to M^4$ from a compact closed not necessarily connected oriented surface to a compact oriented 4-manifold, such that $f_*([S])$ is zero in $H_2(M)$, is there a compact oriented ...
12
votes
1answer
334 views

Are totally degenerate chains null-homologous?

Let $X$ be a CW complex. Suppose $\gamma\in C_n(X)$ is a cycle which is a sum of maps $\sigma:\Delta^n\to X$ which factor as $\Delta^n\to\mathbb R^{n-1}\to X$. Does it follow that $\gamma$ is ...
12
votes
0answers
412 views

Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains: $$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$ where the right hand side denotes the free abelian ...
48
votes
15answers
4k views

Teaching homology via everyday examples

What stories, puzzles, games, paradoxes, toys, etc from everyday life are better understood after learning homology theory? To be more precise, I am teaching a short course on homology, from ...
11
votes
0answers
503 views

About maps inducing bijections on homotopy classes

Let us assume that $f:X \to Y$ is a map of connected CW complexes, having the following property: if $K$ is a finite CW complex, then the induced map $f_{\ast}:[K,X] \to [K,Y]$ on \emph{free} homotopy ...
0
votes
0answers
114 views

Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...
8
votes
1answer
231 views

The Image of the Mod 2 Homology of BSp in the Homology of BSO

I'm essentially trying to figure out exactly what the title asks for. I've been scouring old Seminaires Henri Cartan and books by Stong to try to see exactly how to do this, but the combination of ...
2
votes
1answer
124 views

Spectral sequence in Lie algebra

The exact sequence $0\rightarrow sl(A)\rightarrow gl(A)\rightarrow A/[A,A]\rightarrow 0$ gives rise to a spectral sequence in homology, I want to know the details for this spectral sequence at the ...
2
votes
2answers
230 views

Dimension of the homology group with coefficients in $\mathbb{Z}/2\mathbb{Z}$

I asked this on math.stackexchange.com, but didn't get a single answer. Charles Weibel writes in his survey of homological algebra Riemann defined a surface $S$ to be $(n + 1)$-fold connected ...
12
votes
1answer
711 views

On the wikipedia entry for Borel-Moore homology

The wikipedia page on Borel-Moore homology claims to give several definitions of it, all of which are supposed to coincide for those spaces $X$ which are homotopy equivalent to a finite CW complex and ...
2
votes
0answers
128 views

Twisted product structure on product of Eilenberg-MacLane spaces

The product of Eilenberg-MacLane spaces $K(\mathbb{Z}/2,1) \times K(\mathbb{Z}/2,2)$ is an $H$-space with respect to a "twisted product structure", where you add the product of the first entries to ...
2
votes
1answer
152 views

Finding null-homologous curves via the matrix equation $AB^iC^jx=0$

Motivation: I have a family of curves obtained from a single curve by repeatedly applying two automorphisms of the surface (Dehn twists to be specific). I am interested in the images of these curves ...
0
votes
0answers
108 views

loop space homology and lens spaces

Is the homology of free loop space of lens spaces known? Thanks in advance for your help.
0
votes
1answer
140 views

Subvarieties with different topology representing the same cycle

Let $X$ be a topological space, and $Y,Z$ be subspaces. My question is a bit vague and open-ended: when is it the case that, if $Y$ and $Z$ represent the same (nonzero) cycle in homology, then $Y$ and ...
0
votes
0answers
89 views

Relative homology and a map with degree 1

Let M be a manifold and $B_p(1,M)$ a ball of radius 1 and center p in M. Let $F:B_p(1,M)\to \mathbb{R}^n$ a map such that $F(\partial B_p(1,M))\subset B_0(1+\epsilon,\mathbb{R}^n)\setminus ...
7
votes
1answer
341 views

A description of cellular boundary maps in terms of a Morse function

I'm writing a paper on classical Morse Theory and I'm interested in applying Morse functions to the computation of homology groups of a compact manifold $M$. The standard way in which this is done is ...
7
votes
6answers
1k views

reference for (co)homology theories

Hi everyone, Every now and then, I find myself dealing with such or such (co)homology theory, and I'm frustrated I don't feel more comfortable around it. I was wondering if someone could recommend a ...
1
vote
0answers
218 views

Question on Steenrod realizability problem

René Thom proved that for any topological space $X$, any integral homology class of $X$ (of any degree) has an odd multiple that is the pushforward of the fundamental class of a smooth compact ...
1
vote
2answers
570 views

Theorem on composition of derived functors, question about proof

I got a question about a proof I found in Gelfand-Manin's "Methods of homological algebra" (Page 200): Theorem 1. Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be three abelian categories, $F: ...