Questions tagged [homology]

Homology is a general way of associating a sequence of algebraic objects such as abelian groups or modules to other mathematical objects such as topological spaces.

Filter by
Sorted by
Tagged with
11 votes
1 answer
417 views

Functorial description of mod-2 homology of an abelian group $A$ in terms of $A/2$ and ${}_2A.$

Let $A$ be an abelian group and $p$ be a prime. If $p\ne 2,$ there is a very nice functorial description of the homology algebra $H_*(A,\mathbb Z/p):$ $$H_*(A,\mathbb Z/p)\cong \Lambda^*(A/p)\otimes \...
Sergei Ivanov's user avatar
6 votes
1 answer
314 views

Homology of the product of spaces with integer coefficients and the Massey products

Consider $H_*(X\wedge Y;Z)$, where $X=Y=BZ/2$ for concreteness' sake. If we write $e_i$ the generator of $H_i(BZ/2;Z/2)$., we see that the $E_2=E_{\infty}$ term of the Bockstein spectral sequence ...
user43326's user avatar
  • 3,031
15 votes
0 answers
714 views

Is this "Homology" useful to study?

In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$. Now we can ...
Ali Taghavi's user avatar
11 votes
1 answer
1k views

Understanding Homology Operations and how to compute them

I stumbled upon this Lemma: Let $X$ be a spectrum and $H_p(X;\Omega_q^{Spin})\Rightarrow MSpin_{p+q}(X)$ the Atiyah-Hirzebruch spectral: The differential $d_2\colon H_p(X;\Omega_1^{Spin})\...
Riccardo's user avatar
  • 1,998
1 vote
0 answers
473 views

Invariance of combinatorial/geometric euler characteristic

I am trying to read and understand the paper: TARGET ENUMERATION VIA EULER CHARACTERISTIC INTEGRALS by YULIY BARYSHNIKOV AND ROBERT GHRIST. And I am having trouble with a statement. First of all, ...
D1811994's user avatar
  • 909
2 votes
1 answer
175 views

index of the subgroup of the mapping class group acting trivially on Z/3Z homology

Let $S=S_g$ be the closed orientable surface of genus $g$ and let $\Gamma_3(S)$ be the subgroup of the mapping class group, $Mod(S)$, which acts trivially on $H_1(S;\mathbb{Z/3\mathbb{Z}})$. Define $\...
Mehdi Yazdi's user avatar
3 votes
0 answers
104 views

A link of four 2-tori $T^2$ in $S^3 \times S^1 \# S^2 \times S^2 \# S^2 \times S^2$

Step 1: We glue two sets of complement space of $D^2\times T^2$ out of the 4-sphere $S^4$, through their $T^3$ boundary to obtain a new 4-manifold: $$(S^4 \smallsetminus D^2\times T^2) \cup (S^4 \...
wonderich's user avatar
  • 10.3k
4 votes
0 answers
259 views

Applications of cosheaf homology?

What are some applications of cosheaf homology within mathematics? Some ones I've heard of Sheaves (not cosheaves) are computing global sections and the Picard Group with a sheaf on projective space.
user84563's user avatar
  • 915
22 votes
3 answers
1k views

Which paths in a graph are orthogonal to all cycles?

Start with some standard stuff. Suppose we have a directed graph $\Gamma$. I'll write $e : v \to w \,$ when $e$ is an edge going from the vertex $v$ to the vertex $w$. We get a vector space of 0-...
John Baez's user avatar
  • 21.3k
1 vote
1 answer
320 views

Addition of two homology classes is zero in construction of Poincare Sphere

I ask here the question since it hasn't been answered in Math Stack Exchange. I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one ...
D1811994's user avatar
  • 909
5 votes
1 answer
286 views

"Small" simplicial complex with torsion trees

I am giving an expository talk soon about Duval-Klivans-Martin's paper Simplicial Matrix Tree Theorems, and I've been struggling to find a good example to do at the board. An important aspect of the ...
Eric Stucky's user avatar
2 votes
0 answers
85 views

why is $\cap \mu_B:H^k(\mathbb{R}^n,\mathbb{R}^n\setminus B;R)\to H_{n-k}(\mathbb{R}^n;R)$ an isomorphism? [closed]

I asked this https://math.stackexchange.com/q/1694046/309968 question already on MSE, but received no answer and I hope it's ok if I ask here for once. Let $R$ be commutative ring with $1_R$ Lemma: ...
alg's user avatar
  • 21
7 votes
0 answers
393 views

kernel of the mod $2$ Bockstein on the first cohomology group

Let $M$ be a path-connected finite $CW$-complex. Suppose the first integral homology group is $H_1(M;\mathbb{Z})= \mathbb{Z}_2^{\oplus r}\oplus A$ where $r\geq 1$ and $A$ is a finite abelian group of ...
Shiquan Ren's user avatar
  • 1,970
4 votes
0 answers
68 views

Obstructions to symplectically embedding compact manifolds of dimension $4$ or higher

It is known in Li's paper (http://arxiv.org/pdf/0812.4929v1.pdf) that in compact symplectic manifolds $(X^{2n},\omega)$ of dimension at least $2n\geq 4$, an immersed symplectic surface represents a $2$...
Sinister Cutlass's user avatar
6 votes
1 answer
542 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,970
1 vote
0 answers
101 views

coefficient of homology of configuration spaces over real projective spaces

In the slides Characteristic Classes of Surface Bundles and Configuration Spaces, Miguel A. Xicot'encatl, page 38, what is the coefficient of the following homology? Could the coefficient be an ...
Shiquan Ren's user avatar
  • 1,970
1 vote
0 answers
38 views

Homology of the subcomplexes of the "diamond shaped" sphere under 1-norm in $R^n$ as a simplicial complex

The 1-norm on $\mathbb{R}^n$ is defined by $\|v\| = |v_1| + |v_2| + \cdots + |v_n|$ for a vector $v = (v_1, \ldots, v_n) \in \mathbb R^n$. The unit sphere $S^{n-1}_1$ under the 1-norm is a simplicial ...
SorcererofDM's user avatar
10 votes
2 answers
588 views

Rational homology sphere that is not Seifert manifold

I wonder if there is an example of rational homology sphere that is not a Seifert manifold. If there is, how can one construct such a rational homology sphere from a surgery of a knot in $S^3$?
Satoshi  Nawata's user avatar
23 votes
3 answers
2k 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 $h_{*+1}(...
Bruno Stonek's user avatar
  • 2,914
0 votes
0 answers
137 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 n-2.$...
Ryan Du's user avatar
  • 313
3 votes
0 answers
770 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$. ...
Ritwik's user avatar
  • 3,235
3 votes
2 answers
284 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 ...
Mikhail Bondarko's user avatar
11 votes
0 answers
378 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 ...
Michael's user avatar
  • 2,175
4 votes
1 answer
241 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 ...
QSR's user avatar
  • 2,213
3 votes
1 answer
249 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 $S^...
Hugh Thomas's user avatar
  • 6,075
2 votes
0 answers
88 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 ...
Paul's user avatar
  • 547
3 votes
1 answer
244 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 ...
QSR's user avatar
  • 2,213
3 votes
1 answer
192 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 ...
QSR's user avatar
  • 2,213
6 votes
1 answer
710 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 ...
Harrison Smith's user avatar
-2 votes
1 answer
273 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 _{k=1}^\...
Shiquan Ren's user avatar
  • 1,970
1 vote
1 answer
284 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 $...
google's user avatar
  • 277
10 votes
1 answer
560 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 ...
user71116's user avatar
  • 213
1 vote
0 answers
155 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 $\Omega(G)$,...
Anis Rajhi's user avatar
6 votes
1 answer
290 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$$ $$(\alpha,\beta,\gamma)\longmapsto(\mathrm{d}\alpha+\beta\wedge\gamma,\mathrm{d}\beta+\...
Jjm's user avatar
  • 2,071
4 votes
1 answer
569 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 ...
Changyu Guo's user avatar
  • 1,861
3 votes
0 answers
152 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 ...
Itai's user avatar
  • 131
36 votes
2 answers
4k 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 ...
Samarkand's user avatar
  • 1,129
3 votes
1 answer
2k 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 ...
Colin McLarty's user avatar
1 vote
0 answers
359 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 ...
wanderer's user avatar
1 vote
0 answers
105 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 [...
Steve's user avatar
  • 255
16 votes
5 answers
1k 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} =0.$$...
Ritwik's user avatar
  • 3,235
2 votes
0 answers
214 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: http://www.mtm.ufsc.br/...
user59149's user avatar
1 vote
2 answers
346 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?
Boyu Zhang's user avatar
11 votes
2 answers
677 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 ...
Mehdi Yazdi's user avatar
8 votes
1 answer
788 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?
Boyu Zhang's user avatar
-1 votes
2 answers
198 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})$ ($...
user56793's user avatar
  • 103
10 votes
0 answers
704 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 ...
user's user avatar
  • 293
3 votes
1 answer
517 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 ...
David C's user avatar
  • 9,792
24 votes
10 answers
4k 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 ...
Mike Shulman's user avatar
0 votes
0 answers
306 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, \...
Jesse C. McKeown's user avatar

1 2 3
4
5
7