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.
321
questions
5
votes
0
answers
131
views
Representing some odd multiples of integral homology classes by embedded submanifolds
Consider an $m$-dimensional compact closed orientable smooth manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]$ on $M$, with $1 \le n \le m-1$. Then does there exist an odd integer ...
13
votes
1
answer
466
views
Impossibility of realizing codimension 1 homology classes by embedded non-orientable hypersurfaces
Suppose we have an $n+1$-dimensional compact closed oriented manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]\in H_n(M,\mathbb{Z})$ on $M.$ Then is it true that $[\Sigma]$ mod $2$ ...
6
votes
0
answers
223
views
Reference to a definition of a graph homology
Let $G$ be a graph, and define $C_k$ to be the free abelian group on the homomorphisms from graphs $H$ such that $K_k$ is a minor of $H$ without needing to do any vertex deletions, only edge ...
3
votes
1
answer
103
views
When are homologous embedded surfaces in 3-manifolds related by embedded cobordisms?
Let $M$ be an orientable closed 3-manifold and suppose $A$ and $B$ are embedded incompressible closed orientable surfaces in $M$ with $[A] = [B]$ in $H_2(M,\mathbb{Z})$.
In general, there are a ...
4
votes
2
answers
275
views
On a generalized homotopy transfer theorem
In the book of Loday and Vallette "Algebraic Operads" a necessary condition for the Homotopy Transfer Theorem is that the starting operad is Koszul. I am interested in a generalization of ...
5
votes
1
answer
514
views
Betti numbers of non-orientable $3$-manifolds
Let $M^3$ be a compact $3$-manifold with boundary $\partial M$.
If $M$ is orientable, then it is known (see Lemma 3.5 here) that $2\dim(\ker(H_1(\partial M,\mathbb{Q})\rightarrow H_1(M,\mathbb{Q})))=\...
3
votes
1
answer
385
views
Cohomology of finite symmetric products of manifolds
Let $M$ be a closed, orientable manifold of dimension $k$. I am looking for results to determine explicitly the (co)homology groups and/or cohomology ring structure (in integer or rational ...
13
votes
1
answer
323
views
Realizing integral homology classes on non-orientable manifolds by embedded orientable submanifolds
Let $M^m$ denote a compact, non-orientable smooth manifold and $\nu$ an integral homology class of dimension $n$. I am interested in understanding the representability of $\nu$ by embedded, orientable ...
1
vote
0
answers
42
views
Homology groups of moduli of parabolic bundles with fixed determinant
I am looking for the Homology groups of the moduli space of stable parabolic bundles over a smooth projective curve with fixed determinant.
In particular, what is the second homology group of such ...
7
votes
4
answers
946
views
Amending flawed "proof" that homology groups are zero
I am trying to prove a certain statement that seems true based on computational data, and there is a nice argument that proves it, assuming all cycles are the simplest ones (e.g., when the only 1-...
1
vote
0
answers
80
views
Projective dimension and certain subideals
My question is related to this one. I thought mine could be very elementary but I'm not sure how to look into it.
Let $J$ be an ideal of $R=k[\mathbf{x}]$ where $\mathbf{x}=\{x_1,\dots,x_n\}$. Let $\{...
18
votes
2
answers
695
views
Integral homology classes that can be represented by immersed submanifolds but not embedded submanifolds
Let $M$ be an $m$-dimensional compact closed smooth manifold and $z\in H_n(M,\mathbb{Z})$ an $n$-dimensional integral homology class, with $m>n.$ Does there exist a pair of $M$ and $z$ so that $z$ ...
4
votes
0
answers
108
views
Weaker condition for the excision axiom
This comes from a question I asked on mathstackexchange (link: here)
The excision axiom in homology states that if $\overline Z\subseteq\operatorname{Int}A$, then $h_n(X\setminus Z,A\setminus Z)$ is ...
8
votes
1
answer
205
views
Integral homology classes of which no multiples admit embedded representatives with trivial normal bundle
Let $M$ be a closed smooth manifold of dimension $n$ and $z\in H_l(M,\mathbb{Z})$ a $k$-dimensional integral homology class. Theorem II.4 of Thom's classical 1954 paper states that for $l< n/2$ or $...
2
votes
0
answers
108
views
Triple insersection number of a surface in three-manifolds
I heard something about the triple intersection number $\text{mod}(2)$ (but maybe also $\text{mod}(n)$) of a surface in an orientable three-manifold but I couldn't find a precise definition. My guess ...
3
votes
3
answers
355
views
Pairing between cohomology and the image of the Hurewicz homomorphism
Let $X$ be a compact manifold of dimension $\geq k$. Denote by
\begin{equation}
h: \pi _k(X) \rightarrow H_k(X,\mathbb{Z})
\end{equation}
be Hurewicz homomorphism and by $\Gamma _k(X)\subset H_k(X,\...
3
votes
1
answer
119
views
Linking form for homology with general coefficients
For integral homology groups there is the notion of linking form (http://www.map.mpim-bonn.mpg.de/Linking_form)
$$
Tor(H_{l}(X,\mathbb{Z}))\times Tor(H_{n-l-1}(X,\mathbb{Z}))\rightarrow \mathbb{Q}/\...
3
votes
2
answers
619
views
Does the cohomology Bockstein homomorphism map to the homology Bockstein homomorphism under Poincarè duality?
Given a manifold $X$ and short exact sequence of abelian groups
$$
1\rightarrow A_1\overset{\iota}{\rightarrow} A_2\overset{\pi}{\rightarrow} A_3\rightarrow 1
$$
we get the Bockstein map in cohomology ...
5
votes
1
answer
350
views
Computation of the linking invariant on Lens spaces
Let $L_n(p)$ be the $2n+1$ dimensional Lens space
$$
S^{2n+1}/\mathbb{Z}_p
$$
where the action is given as $z_i\rightarrow e^{\frac{2\pi}{p}}z_i$, $i=1,...,n+1$, with $z_i$ the coordinates of $\mathbb{...
4
votes
1
answer
204
views
Euler class of vertical tangent bundle of the surface bundle over circle
Suppose $\Sigma$ is an oriented genus $g>1$ surface and $h:\Sigma\to \Sigma$ is a diffeomorphism preserving a point $p$. Let $M$ be the surface bundle over $S^1$ obtained by gluing $\Sigma\times I$ ...
5
votes
1
answer
242
views
Reference for Künneth Theorem in (co)homology with local coefficients
Is there a discussion in the literature of Künneth-type theorems for (co)homology with local coefficients? The sources I know of that discuss local coefficients (Whitehead's Elements of Homotopy ...
1
vote
0
answers
134
views
Trivial homology groups for p-torsion groups
Let $G$ be a group where each element has a $p$-power order.
Let $M$ be a $G$-module without $p$-torsion.
Here $G$ is a discrete infinite subgroup of a complete group. Then, it cannot be assumed pro-...
2
votes
0
answers
73
views
Arf invariant for characteristic surfaces in closed 4-manifolds depends on homeomorphism type
Let $X$ be a closed smooth oriented 4-manifold with $H_1(X;\Bbb Z)=0$. Then for a smoothly embedded orientable surface $F\subset X$ which is characteristic, there is a well-defined invariant $\text{...
1
vote
2
answers
151
views
Lattices formed by unions of elements in an antichain
Let $A_1, \dots, A_k$ be incomparable subsets (of $\{1, \dots, n\}$) and consider the poset $P$ consisting of all possible unions of these under inclusion. Its not hard to see that this is a lattice, ...
1
vote
0
answers
91
views
bott element in periodic cyclic homology
I am reading a paper by Thomason "Algebraic K-theory and étale cohomology", which deals with algebraic K theory localized by inverting the bott element $\beta \in K_2(\overline{k})^{\wedge}...
0
votes
0
answers
183
views
pullback square in abelian category and derived categories
Let $\mathcal{A}$ be an Abelian category. Take objects $A,B,C$ and $D$ in $\mathcal{A}$, and morphisms $b:B\to A$, $b':B\to A$, $c:C\to A$, $e:D\to C$, $e':D\to C$ and $f:D\to B$ such that diagrams
$\...
5
votes
1
answer
336
views
"Singular homology = simplicial homology" relative to a fibration
Let $p:E\to B$ be a fibration. Suppose $B$ has a simplicial decomposition. For each $n\in\mathbb{Z}_{\ge0}$, let $C_n$ be the free abelian group generated by the set of pairs $(\sigma,\tau)$ where $\...
6
votes
1
answer
374
views
Two surfaces in a 4-manifold whose algebraic intersection number is zero
Suppose $X$ is a smooth closed oriented 4-manifold, and $\Sigma_1,\Sigma_2$ are smoothly embedded compact oriented surfaces in $X$. Suppose they intersect transversally at two points with different ...
4
votes
1
answer
221
views
Homology classes in connected sum of $\Bbb CP^2$'s that can be represented by smoothly embedded spheres
Let $h=[\Bbb CP^1]\in H_2(\Bbb CP^2;\Bbb Z)$. By a theorem of Kronheimer and Mrowka (Theorem 1 of this paper: https://people.math.harvard.edu/~kronheim/thomconj.pdf), a class $nh \in H_2(\Bbb CP^2;\...
5
votes
1
answer
186
views
Is there a way to calculate the Froyshov $h$-invariant for Seifert homology spheres?
In 2002, by using Floer theory, Froyshov defined the $h$-invariant for intergal homology 3-spheres, which is a surjective group homomorphism $\Theta^3_{\Bbb Z}\to \Bbb Z$, where $\Theta^3_{\Bbb Z}$ is ...
5
votes
0
answers
170
views
Bar constructions and pushouts
Suppose that $\mathsf S$ is a span of associative algebras (or, more generally, if you'd like, any type of object admitting a bar-cobar formalism) and let $A$ be its pushout.
Is there any hope of ...
2
votes
1
answer
1k
views
Most efficient way of getting a brief overview of the current active research areas in Algebraic Topology
I'd be applying for a Ph.D. at various grad schools in the U.S. in the coming months and while I know I'd like to pursue research in the field of Algebraic Topology, I am not knowledgeable enough yet ...
6
votes
0
answers
344
views
Singular homology using singular cubes
When singular homology is defined using cubes instead of simplices it is important to factor out the degenerate cubes in the course of building the singular chain complex. If you omit this step it is ...
3
votes
0
answers
129
views
Homology groups of a certain simplicial complex
I've run across a simplicial complex which, according to Sage, seems to have a very easily-described homology. However, proving this fact has been rather difficult.
Fix $s\ge 2$ (though I would be ...
9
votes
0
answers
213
views
Are multiples of representable homology classes still representable by smooth submanifolds?
Recently the following question comes up in my research. Suppose we have a closed compact connected smooth manifold $M,$ of dimension $d+c$ and an integral homology class $[N]$ induced by a compact ...
1
vote
0
answers
60
views
Some question on defining the space of graph homology for Jacobi diagrams
I read Chapter 2.1 "The space of graph homology" from Nieper-Wißkirchen's Chern Numbers and Rozansky-Witten Invariants of Compact Hyper-Kähler Manifolds today, and have some question. I'm ...
3
votes
0
answers
141
views
Chekanov-Eliashberg Legendrian DGA with positive grading?
I was just looking back to some notes that I took a few years ago, when I was reading Etnyre's notes on Legendrian Contact Homology in $\mathbb R^3$ and I happened upon the following question that I ...
2
votes
2
answers
347
views
Spaces homotopy dominated by $S^2 \times S^2\times S^2$
We say that a topological space $A$ is homotopy dominated by a topological space $X$ if there exist continuous maps $f:A\to X$ and $g:X\to A$ such that $g\circ f\simeq 1_A$.
Let $X$ be $S^2 \times S^2 ...
2
votes
0
answers
114
views
Different definitions of p-fusion and Mislin's theorem
Currently, I am trying to understand and compute homology of finite groups with coefficients in a field of positive characteristic. So, I was searching for some results that could reduce this problem (...
4
votes
1
answer
230
views
Mayer–Vietoris sequence for coproduct of Hopf algebras
Is there a Mayer–Vietoris-type sequence for the homology of a coproduct of two Hopf algebras over an ideal? The definition of the coproduct can be found in Agore - Categorical Constructions for Hopf ...
1
vote
0
answers
104
views
Modular cycles?
It is well known that cocycles (differential forms) and cycles share many properties through duality (e.g., de Rham). I've been reading about modular forms recently and I came with a very naive ...
21
votes
1
answer
798
views
What is the homotopy type of the poset of nontrivial decompositions of $\mathbf{R}^n$?
Consider the following partial order. The objects are unordered tuples $\{V_1,\ldots,V_m\}$, where each $V_i \subseteq \mathbf{R}^n$ is a nontrivial linear subspace and $V_1 \oplus \cdots \oplus V_m =...
9
votes
2
answers
549
views
What is the rank of the period lattice of modular forms?
Let $f$ be a weight $2$ cusp form for the group $\Gamma_0(N)$. I was experimenting with integrals of the form
$$ \int_r^s f(z) \, dz$$
where $r, s \in \mathbf{P}^1(\mathbf{Q})$ and the integral above ...
5
votes
1
answer
343
views
Homology of singular chain complex modulo subdivision
Let $S_p(X)$ be the $p$-th singular chain group and $\mathcal S(X)$ be the singular chain complex of a topological space $X$. There is a barycentric subdivision operator (which is also a chain map) $\...
1
vote
0
answers
176
views
Homological stability and relative homology [closed]
Given a sequence of topological spaces $\{Y_{k}\}_{k\geq1},$ the homological stability is a property that, there is a function $g:\,\mathbb{N}_{0}\rightarrow \mathbb{N}_{0}$ such that for any $i\geq0$ ...
2
votes
1
answer
143
views
Is a certain map a quasi-isomorphism?
$\DeclareMathOperator\Hom{Hom}$Assume $F$ and $M$ are respectively right and left modules over a ring $R$ and let $I^\bullet$ be a left-bounded exact complex of $R$-$R$-bimodules. We know there is a ...
-1
votes
1
answer
175
views
If $H_i(U_j)=0$ for infinitely many $j$ then $H_i(X)=0$ [closed]
Let $X$ be a topological space and $U_i$ open subsets. If $U_i\subset U_{i+1}$ and $\bigcup^{\infty}_{i=1}U_i=X$. How can I prove that if for infinitely many $j$, the $i$-th homology vanishes $H_i(U_j)...
6
votes
0
answers
565
views
Does there exist a manifold with finitely generated homology groups that is not homotopy equivalent to a compact manifold with boundary?
Does there exist a manifold with finitely generated homology groups that is not homotopy equivalent to a compact manifold with boundary?
I am also interested in several variations of this question. ...
4
votes
0
answers
229
views
Being a product - from homology to topology
The famous Kunneth formula expresses the homology of a product manifold as the tensor product of the two algebras.
Now suppose we know that a manifold $X$ has a decomposition $H_*(X) \simeq A \otimes ...
1
vote
0
answers
73
views
Optimality condition of the harmonic form representatives of a homology class
In "Hodge theory on metric spaces, Smale et al." the $d$-th harmonic forms of the Hodge Laplacian $\Delta_d=\delta^* \delta+\delta \delta^*$ satisfying $\Delta_d(f)=0$ are claimed to be ...