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.
313
questions
1
vote
0
answers
38
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 ...
6
votes
3
answers
716
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
75
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
569
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
97
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
183
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
97
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
323
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
94
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
533
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
284
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
179
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
175
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
121
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
66
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
133
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
80
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
138
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
322
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
360
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
162
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
158
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
148
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
773
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
297
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
112
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
209
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
58
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
114
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
311
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
102
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
225
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
101
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
770
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 =...
8
votes
2
answers
490
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
315
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
170
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
133
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)...
5
votes
0
answers
515
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
199
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
64
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 ...
1
vote
0
answers
75
views
Regular mapping space vs continuous mapping space for affine schemes
Let $A$ and $B$ be Zariski open affine sub-schemes of $\mathbb{A}_{\mathbb{C}}^{n}$ and $\mathbb{A}_{\mathbb{C}}^m$ respectively. We denote the infinite symmetric product of $B$ by $Sym^{\infty}(B)$. ...
2
votes
0
answers
126
views
Characteristic disks in $S^2 \times S^2$ for knots
I'm studying the article Genera and degrees of Torus Knots in $\mathbb{CP}^2$ and I ended up with a question.
We know that every knot is slice (i.e. bounds properly embedded smooth disk) in $S^2 \...
5
votes
1
answer
433
views
Invariance of morse homology, doubt in proof in book "Morse Theory and Floer homology"
I am reading the book "Morse theory and Floer Homology" by Michele Audin and Mihai Damian. Now I am reading the proof of the following theorem.
Link to the statement of the theorem
...
3
votes
0
answers
120
views
Homology of a fiber as a cotorsion product
Let $K$ be a field. For any differentially graded coalgebra $A$ over $K$, any differentially graded right $A$-comodule $M$ over $K$ and any differentially graded left $A$-comodule $N$ over $K$ let
$\...
3
votes
0
answers
86
views
Do chains send homotopy inverse limits of spaces to homotopy inverse limits of $E_\infty$-coalgebras?
Let $X_\bullet := ... X_2 \to X_1$ be a tower of connected and simple spaces
with the following properties:
The induced tower $H_\ast(X_\bullet; \mathbb{F}_p)$ of graded $\mathbb{F}_p$-vector spaces
...
3
votes
0
answers
122
views
Milnor exact sequence for homology of hopf algebras
Let $K$ be a field and $\mathrm{Hopf}^K_{E_\infty}$ the $\infty$-category of
homotopy-coherent hopf algebras over $K$ that are coherently commutative and cocommutative.
Precisely, $\mathrm{Hopf}^K_{E_\...
3
votes
0
answers
93
views
Localizations of spaces with respect to homology and right properness
Let $E$ be a spectrum (with corresponding homology theory denoted $E_\ast$).
In "Localization of spaces with respect to homology", Bousfield constructed a model category structure on the ...
7
votes
3
answers
411
views
Conclusion of Hurewicz for $H_3$ without vanishing fundamental group?
Fix a space $X$, which I want to assume is a manifold. Under the assumption of simple-connectivity, Hurewicz's theorem tells us that
$$
\pi_3(X)\to H_3(X,\mathbb{Z})\qquad (*)
$$
is surjective, hence ...