The tag has no usage guidance.

learn more… | top users | synonyms

10
votes
2answers
461 views

A homology theory which satisfies Milnor's additivity axiom but not the direct limit axiom?

Let us agree on the following: a "homology theory" means a functor $h_*$ from the category of pointed CW complexes to the category of graded abelian groups, together with natural isomorphisms ...
0
votes
0answers
116 views

Homology of $S^n/G_x$

I tried to find the homology groups of the quotient of the unit sphere $S^{n-1}$ by an action of a finite subgroup $G$ of $SO(n)$. I'm especially concerned with $$H_i(S^{n-1}/G),\quad 1\leq i\leq ...
3
votes
0answers
161 views

What is the formula for the homology class represented by the diagonal?

Let $M$ be a compact oriented manifold and $\{\mu_{i}\}$ a basis for the homology $H_*(M, \mathbb{Z})$ (we are ignoring any torsion). Now consider the diagonal $\Delta_{M}$ inside $M\times M$. ...
3
votes
2answers
229 views

Is the “inverse” (i.e., the “cohomological”) numeration for singular (i.e., $H\mathbb{Z}$-)homology of spectra “acceptable”? [closed]

I have recently realized that in one of my (published) papers I have used the "inverse" numeration for the $H\mathbb{Z}$-homology of the objects of the stable homotopy category (so, if we consider ...
10
votes
0answers
177 views

Do homology classes have “special” representatives?

Recall that, according to Hodge, de-Rham cohomology classes of "nice enough" manifolds have "special" representatives - namely, harmonic forms. Now, how does one choose a "special" one among ...
4
votes
1answer
183 views

group completion theorem of homology as Hopf algebras

Let $M$ be a topological monoid with product $\mu$. Then $H_*(M)$ is a Hopf algebra with product $\mu_*$ and coproduct $\Delta_*$. The group-completion theorem by McDuff-Segal, 1976 gives that as a ...
3
votes
1answer
198 views

Constructing a homology class of degree $d(d-1)/2$ in $H_3(S^3)$

There is a nice construction of a class of degree $d^2$ in $H_3(S^3)$. Take a class $h$ of degree $d$ in $H_1(S^1)$, and then take its join with itself: $h*h$ is degree $d^2$ in $H_3(S^1*S^1)$, and ...
2
votes
0answers
76 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 ...
2
votes
1answer
127 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
123 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
254 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
86 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
173 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
222 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
104 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
231 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$$ ...
4
votes
1answer
527 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
84 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 ...
29
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
257 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
114 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
71 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
654 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
114 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
296 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
381 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
182 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
415 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
270 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
221 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
78 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
340 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
4answers
318 views

Homology of infinite intersection

If $X_1\supseteq X_2\supseteq \ldots$ is a sequence of "nice" compact spaces, I would like to know whether the natural map from $H_*(\cap X_i)$ to the inverse limit $\lim \, H_*(X_i)$ is surjective. ...
1
vote
1answer
163 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
170 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
320 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
135 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
346 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
439 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
523 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
117 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
237 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
135 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
234 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
810 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
145 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
155 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 ...