Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
1 answer
373 views

Fivebrane bordism $\Omega_d^{\mathrm{Fivebrane}}$

$\newcommand{\Fr}{\mathrm{Fr}}\newcommand{\Fivebrane}{\mathrm{Fivebrane}}\newcommand{\String}{\mathrm{String}}\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\GL{GL}$What ...
5 votes
0 answers
158 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
518 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$ ...
13 votes
1 answer
386 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 ...
20 votes
2 answers
902 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$ ...
6 votes
2 answers
395 views

Dual surfaces of a first cohomology class of a 3-manifold

Let $M$ be closed 3-manifold and $\alpha\in H^1(M;\mathbb Z_2)$ an arbitrary element. (In my case we know that $M$ is non-orientable and $\alpha^3=0$.) It is well known that there is a closed 2-...
3 votes
1 answer
125 views

Cohomology of the coned off space

Let $X$ be a compact manifold with boundary $\partial X$ with $ \dim X\setminus \partial X=n$. Moreover, $X$ and $\partial X$ are both aspherical. Then what's the $H^n(X\cup_{\Sigma\subset \partial X} ...
5 votes
4 answers
3k views

integral or rational cohomology of real grassmannians

I have obtained that the cohomology rings $$ H^*(G_k(\mathbb{R}^\infty);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]. $$ Also $$ H^*(G_k(\mathbb{R}^m);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]/(\bar ...
1 vote
0 answers
297 views

Boundary map in Mayer-Vietoris sequence of cohomology

Suppose $M$ is a 3-manifold with connected boundary. Let $T$ be a tangle in $M$, i.e., $T$ is a embedded connected 1-submanifold whose boundary is on $\partial M$ ($T$ is not closed). Moreover, ...
5 votes
2 answers
773 views

Complement to a union of spheres in a sphere

Take $S^n$ and consider the union $Z$ of $k_1$ circles, $k_2$ 2-dimensional spheres, ..., $k_{n-2}$ $(n−2)$-dimensional spheres, embedded in $S^n$ in an unknotted way, with no mutual intersection and ...
18 votes
1 answer
872 views

Oriented cobordism classes represented by rational homology spheres

Any homology sphere is stably parallelizable, hence nullcobordant. However, rational homology spheres need not be nullcobordant, as the example of the Wu manifold shows, which generates $\text{torsion}...
5 votes
0 answers
188 views

Clarify formula for Steifel-Whitney (Poincaré dual) homology classes in a barycentric subdivision?

Let $X$ be a triangulated manifold of dimension $n$. Let $[W_{n-p}] \in H_{n-p}(X,\mathbb{Z}_2)$, be the homology class that's Poincaré dual to the $p$-th Stiefel-Whitney class $[w_p] \in H^p(X,\...
3 votes
2 answers
409 views

Alexander duality and homology equivalence

While reading the paper of Kauffman and Taylor "Signature of links" I found the following situation. In the proof of Theorem 2.6 they suppose that two links $L_1, L_2\in \mathbb{S}^3$ are ...
12 votes
1 answer
825 views

Stiefel-Whitney class of fibre bundles

Let $F,E,B$ be manifolds (we may assume them to be compact, without boundary if necessary) and $$F\to E\to B$$ be a fibre bundle. Suppose $$w(F), w(B),$$ the Stiefel-Whitney class of $F$ and $B$, are ...
18 votes
1 answer
1k views

Wu formula for manifolds with boundary

The classical Wu formula claims that if $M$ is a smooth closed $n$-manifold with fundamental class $z\in H_n(M;\mathbb{Z}_2)$, then the total Stiefel-Whitney class $w(M)$ is equal to $Sq(v)$, where $v=...
13 votes
2 answers
900 views

References for Stiefel-Whitney class of Stiefel manifolds and Grassmannians

Let $M$ be a manifold. The total Stiefel-Whitney class of $M$ is defined to be the Stiefel-Whitney class of the tangent bundle $TM$ $$ w(M)=1+w_1(TM)+w_2(TM)+\cdots $$ I want to find references for $$ ...
3 votes
1 answer
266 views

Poincaré dual of the generators of $H^d(\mathbb{RP}^5,\mathbb{Z}_2)$

We know $H^d(\mathbb{RP}^5,\mathbb{Z}_2)=\mathbb{Z}_2$. So there are two classes of $\mathbb{Z}_2$ generators, trivial and nontrivial, for $d=0,1,2,3,4,5$. Wha are the Poincaré dual $(5-d)$-...
8 votes
2 answers
1k views

rational cohomology of finite real grassmannian

Let $p_j$ to be the $j$-th Pontryagin class of the universal $n$-plane bundle $E_n(\mathbb{R}^\infty)\to G_n(\mathbb{R}^\infty)$. Then according to Theorem 1.6, The Cohomology of BSO n and BO n with ...
7 votes
0 answers
192 views

mod $p$ homology module of unordered configuration spaces of the projective plane

Let $M$ be a manifold and $k$ be a positive integer. Let $F(M,k)$ be the $k$-th ordered configuration space over $M$, consisting of all ordered $k$-tuples of distinct points in $M$. Let $\Sigma_k$ be ...
7 votes
0 answers
424 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 ...
5 votes
0 answers
224 views

cohomology ring of configuration spaces on $S^2$ and the projective plane

For a manifold $M$ and a positive integer $n$, the unordered configuration space $B(M,n)$ is the space consisting of all unordered collections of $n$ distinct points on $M$. Precisely, $$ B(M,n)=\{(...
8 votes
1 answer
709 views

A conjecture of Cheeger about intersection cohomology and $L^2$- cohomology

Let $X$ be a projective variety and let $D$ be a simple normal crossings divisor on $X$ Does $$IH^*(X;\mathbb C)\cong H_{(2)}^*(X\setminus D;\mathbb C)$$ hold true for each Kähler metric on $...
3 votes
1 answer
463 views

cohomology module of unit tangent vector bundles over spheres

Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration $$ S^{m-1}\longrightarrow \tau(S^m)\...
1 vote
0 answers
126 views

cohomology ring of compact submanifolds of Euclidean spaces

Suppose we have a compact $m$-dimensional submanifold $M$ of $\mathbb{R}^N$ and we want to know the cohomology ring $H^*(M;\mathbb{Z})$. Let $\epsilon>0$ and a $m$-dimensional finite simplicial ...
1 vote
1 answer
299 views

torsion part of the cohomology module of configuration spaces of manifolds

Let $M$ be a manifold and $C_n(M)$ the $n$-th unordered configuration space consisting of unordered $n$-tuples of distinct points in $M$. The mod $p$ homology module, $p$ prime, and the rational ...
2 votes
1 answer
148 views

positions of regular cubes in Euclidean space with all its vertices without distinction

Let $P$ be the standard regular cube, centered at the origin of $\mathbb{R}^3$ with all its vertices on the unit sphere. If the vertices are labelled by $1,2,3,4,5,6,7,8$, then the collection of all ...
3 votes
1 answer
453 views

geometric conditions on maps between manifolds inducing monomorphisms on cohomology

Let $M,N$ be manifolds whose dimensions may be different. Let $f: M\longrightarrow N$ be a smooth map. What geometric conditions on $f$ can we impose such that the induced homomorphism $$ f^*: H^*(N;\...
10 votes
1 answer
1k views

positions of a methane molecule with carbon atom at the origin

Let $\text{CH}_4$ be the molecule of Methane: The four hydrogen atoms form vertices of a regular tetrahedron with the carbon atom in the center of the regular tetrahedron. Here we regard all atoms to ...
5 votes
0 answers
148 views

configuration space of Riemannian manifolds with a parameter on the distance of distinct points

Let $M$ be a Riemannian manifold. For any $\epsilon\geq 0$, we define the $k$-th ($k=1,2,\cdots$) "$\epsilon$-configuration space" as $$ F(M,k,\epsilon)=\{(x_1,\cdots,x_k)\in M^k\mid d(x_i, x_j)>\...
0 votes
1 answer
189 views

cohomology ring of the fundamental group of unordered configuration space

From the lecture notes INTRODUCTION TO CONFIGURATION SPACES AND THEIR APPLICATIONS, p. 18, I find: Os it possible to derive the cohomology ring $H^*(Conf(S,k)/\Sigma_k;\mathbb{Z}_2)$ from the above ...
3 votes
1 answer
366 views

cohomology ring of configuration spaces

In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use ...
1 vote
1 answer
260 views

permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds. In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...
1 vote
1 answer
375 views

configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring $$ H^*(F(\mathbb{R}P^n,k);R)$$ is obtained for any ...
9 votes
1 answer
541 views

cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$. Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$. Let $\rho: B\Sigma_k\...
1 vote
0 answers
403 views

Functors with Mayer-Vietoris Sequences

Let $F$ be a contravariant functor from some category of spaces (e.g. smooth manifolds or (compact?) topological Hausdorff spaces), to Abelian groups. Assume that for any open sets $U, V \subseteq X$ ...
13 votes
3 answers
2k views

Is there a good definition of (topological) K-Theory over arbitrary spaces?

Hi (this is my very first question here, so please don't hurt me...) for some time now i've been looking for a sufficiently aesthetical definition of (topological) K-theory of arbitrary spaces, yet ...
4 votes
3 answers
348 views

Cohomological dimension of a group acting on a cellular complex

Let $G$ be a group acting on $X$, $X$ a cellular complex and $cd(G)$ the cohomological dimension of $G$. 2 things: (1) I'm looking for a reference (or proof!) of this: Suppose $X$ is acyclic. Then $...