Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

**9**

votes

**1**answer

269 views

### embedding of quaternionic projective spaces

Let $\mathbb{H}P^m$ be the $m$-th quaternionic projective space. What is the smallest integer $N$ such that there exists an embedding
$$
\mathbb{H}P^2\longrightarrow \mathbb{R}^N?
$$
Are there any ...

**7**

votes

**1**answer

178 views

### homological 2 dimensional groups

In a Commentarii Mathematici Helvetici paper by Benno Eckman and Heinz Müller in 1980 (volume 50, pages 510-520) proved that poincaré Duality Groups of dimension 2 with positive first ...

**1**

vote

**0**answers

54 views

### simplicial approximation of an open subset

I am interested in the following problem :
Let $K$ be an abstract simplicial complex, let $\vert K \vert$ be its geometrical realization, let $U\subset \vert K \vert$ be an open subspace (not a ...

**2**

votes

**1**answer

179 views

### Smallest homotopy equivalent space inside a manifold with boundary

It is well known that any compact manifold with boundary is homotopy equivalent to its interior. Is there a notion of some smallest space in the interior of the manifold that is homotopy equivalent to ...

**1**

vote

**0**answers

107 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

243 views

### On compact, orientable 3-manifolds with non-empty boundary

I recall my Professor having stated something along the lines of the following, but I am not quite certain about the precise statement she gave:
Let $M$ be a compact, orientable 3 manifold with ...

**5**

votes

**1**answer

158 views

### Directed homotopy in the Cayley graph of a monoid

There is a the notion of the Cayley graph $C(G)$ of a group $G$ (which depends on a given presentation $G \cong \mathcal F(S) / \sigma$ where $\mathcal F$ is the free group functor and $\sigma$ some ...

**14**

votes

**2**answers

354 views

### Can an oriented closed $n(\geq 2)$-dimensional manifold be embedded in $\mathbb{R^{2n-1}}$

Can anyone provide me an example of an orientable closed manifold $M$ of dimension $n\geq 2$, which cannot be embedded in $\mathbb R^{2n-1}$?
I know this is certainly not true when $n=1$, i.e. ...

**1**

vote

**1**answer

155 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 ...

**4**

votes

**1**answer

237 views

### Homotopy classification of selfmaps of product of spheres?

Self-maps of n-torus $T^n=S^1\times ...\times S^1$ are classified by the induced homorphism of fundamental group $\pi_1 T^n=Z^n$.
Is a similar result true form self-maps of $S^k\times ...\times S^k$ ...

**3**

votes

**2**answers

472 views

### Principal bundles that can't be detected by spheres

The question I'm trying to answer is the following:
Let $P \to X$ be a principal $G$-bundle (over a connected CW complex)
satisfying that all pullbacks to spheres (of arbitrary dimension) are
...

**0**

votes

**0**answers

150 views

### First Chern class of the tautological line bundle over $\mathbb{CP}^n$

I'm trying to understand the following example in which the first Chern class of the tautological line bundle $L^{taut} \to \mathbb{CP}^n$ will be calculated and then it is shown that these bundles ...

**3**

votes

**1**answer

89 views

### self-Whitney sum of the canonical vector bundle on Grassmannians

Let $G_{k}(\mathbb{R}^N)$ be the Grassmannian manifold consisting of $k$-subspaces in $\mathbb{R}^N$. There is a canonical $k$-dimensional vector bundle
$$
\gamma_{k,N}: \mathbb{R}^k\longrightarrow ...

**2**

votes

**1**answer

177 views

### Stiefel-Whitney classes of tensor product $\xi^m \otimes \eta^n$, computation

Let $\xi^m$ and $\eta^n$ be vector bundles over a paracompact base space. Where can I find a reference to the Stiefel-Whitney classes of the tensor product $\xi^m \otimes \eta^n$ being computed as ...

**3**

votes

**0**answers

126 views

### Finiteness for 2-dimensional contractible complexes

While thinking about graph-complex and related operadic stuff, I found a quite interesting (at least for me) question. However, I'm a novice in the algebraic topology, so I'm unable to resolve it by ...

**2**

votes

**0**answers

174 views

### Algebraic K theory, Karoubi completion and splitting

Suppose $\mathcal{C}\subset \mathcal{C}'$ is a pair of pre-triangulated smooth DG categories over a characteristic-zero basefield (say, $\mathbb{C}$), such that $\mathcal{C}$ is faithfully embedded in ...

**5**

votes

**0**answers

66 views

### What's the maximal dimension of a submanifold that cannot change the embedding dimension of the enclosing manifold?

This question is prompted by Igor Rivin's comment to this related question
For a smooth manifold $M$ of dimension $m$ and a given embedding dimension what's the maximal $n$ such that removal of any ...

**8**

votes

**2**answers

274 views

### Maximal trivialising subspace for a vector bundle

Let $X$ be a locally compact Hausdorff space. Given a vector bundle $p: E\to X$, a subspace $Y$ of $X$ is called trivialising (for this bundle), if after restricting this bundle to $Y$, it is a ...

**2**

votes

**0**answers

199 views

### algebraic structure of Integral Steenrod squares

It is well known that the classical Steenrod squares $Sq^a$ satisfy the Adem relations
$$Sq^aSq^b= \sum_c \binom{b-c-1}{a-2c}Sq^{a+b-c}Sq^c\;.$$
In the case where $a$ is odd, one can define an ...

**9**

votes

**0**answers

303 views

### When does algebraic K theory behave like a cohomology theory

Let $\mathbb{F}$ be a field. Let $K(\mathbb{F})$ be its algebraic (Quillen) $K$-theory spectrum. Let $X$ be a (nice, finite CW) topological space and let $\text{Rep}\Omega(X)$ be the DG category of ...

**8**

votes

**2**answers

489 views

### Vector bundles, finitely generated projective module?

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$, let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...

**7**

votes

**1**answer

202 views

### Is it known whether this space is a suspension space?

For each prime $p\geq 3$ let $\alpha_p:S^{2p}\to S^3$ denote a representative of $\pi_{2p}S^3$ of order $p$. Berstein and Hilton showed that for each $p$ the homotopy cofiber $C_{\alpha_p}$ of ...

**7**

votes

**1**answer

294 views

### A property stronger than the fixed point property

Assume that $X$ is a topological space. We say that $X$ satisfies the strong fixed point property if the graph of every surjective continuous self-map intersect the graph of every continuous ...

**3**

votes

**0**answers

172 views

### Vector bundle $\gamma^1$ over $\textbf{P}^\infty$ does not have finite type? [closed]

Using Stiefel-Whitney classes, how do I see that the vector bundle $\gamma^1$ over $\textbf{P}^\infty$ does not have finite type?

**1**

vote

**0**answers

141 views

### Looking for Uehara, Massey article

Not sure if this is the right place to ask this kind of a question. But I cannot find the following article:
Uehara, Hiroshi; Massey, W.S. The Jacobi identity for Whitehead products.
Algebraic ...

**1**

vote

**0**answers

90 views

### Is there another equivalence relation on based maps between spheres which form the same graded ring as the homotopy groups?

Let $\sim$ be an equivalence relation on continuous based maps from $S^k$ to $S^n$, where $k$ and $n$ range over the positive integers.
Suppose that
Given maps $f, f^\prime: S^k \to S^n$ and $g, ...

**7**

votes

**2**answers

203 views

### Does $\mathfrak{N}_4$ contain at least four distinct elements?

How do I see that the set $\mathfrak{N}_4$ consisting of all unoriented cobordism classes of smooth closed $4$-manifolds contains at least four distinct elements?

**3**

votes

**1**answer

97 views

### Duistermaat-Heckman integral formula on compact manifold with boundary

Let a compact Lie group $G$ acts on a closed symplectic manifold $(M,\omega)$. If the action is Hamiltonian with $\mu$ the moment map, then the integral $$\int_M e^{i\mu (X)+\omega}$$ is equal to the ...

**5**

votes

**0**answers

134 views

### Consequences of the Euler characteristic vanishing mod p

Let $M$ be a smooth compact connected manifold. If $\chi(M)=0$, the unit tangent bundle $S(TM) \rightarrow M$ has a section. Is there anything that can be said if $\chi(M)$ is congruent to $0$ mod $p$ ...

**5**

votes

**2**answers

241 views

### Relative Characteristic classes

A pair of vector bundles over a base space $X$ is a pair $(E,F)$ where $E$ is a vector bundle over $X$ and $F$ is a sub-bundle of $E$. Two pairs $(E_{1},F_{1})$ and $(E_{2}, F_{2})$ are ...

**6**

votes

**1**answer

143 views

### $n + 1 = 2^rm$ with $m$ odd $\implies$ do not exist $2^r$ vector fields on $\mathbb{P}^n$ that are everywhere linearly independent?

What is the easiest/quickest way to see the following?
If $n + 1 = 2^rm$ with $m$ odd, then there do not exist $2^r$ vector fields on the projective space $\mathbb{P}^n$ which are everywhere ...

**5**

votes

**1**answer

303 views

### Waldhausen and Segal's delooping machinery

I was recently thinking about the proof of a theorem where Waldhausen compared the Segal's delooping machinery with his, in the case when the cofibration is splittable (sec.1.8 in 'Algebraic ...

**6**

votes

**0**answers

193 views

### classifying space of G-invariant function

In a paper by Cohen, Jones, Segal "Morse theory and classfying spaces", they
constructed a flow category of a Morse function and
showed the classifying space of the flow category is homotopic to ...

**24**

votes

**2**answers

534 views

### Can one deform an immersion of a 3-manifold in $\mathbb R^4$ to an embedding in $\mathbb R^6$?

Let $M^3$ be an oriented 3-manifold, and let $f:M^3\looparrowright \mathbb R^4$ be a codimension one immersion. Is it possible to find a small deformation of the composite map
$$
M^3 \to \mathbb R^4 ...

**7**

votes

**3**answers

420 views

### Any PL-homology-manifold is homotopy equivalent to a manifold

Is it true that any compact piecewise linear homology manifold is homotopically equivalent to a (smooth?) manifold of the same dimension?
Let me say bit more since my question was wrongly ...

**3**

votes

**1**answer

232 views

### Reference for t-structures on stable model categories

What kind of definitions of t-structures
on stable model categories have been investigated in the literature?
Of course, one can always define a t-structure on a stable model category as a ...

**7**

votes

**1**answer

421 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 ...

**14**

votes

**2**answers

440 views

### Exotic smooth structures on Lie groups?

If a topological group $G$ is also a topological manifold, it is well-known (Hilbert's 5th Probelm) that there is a unique analytic structure making it a Lie group.
However, for a compact Lie group ...

**19**

votes

**0**answers

211 views

### “High-concept” explanation for proof of a theorem of Ochanine?

See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here.
Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...

**2**

votes

**0**answers

115 views

### Acyclicity of covering space

Suppose we have some 2-dimensional non-aspherical finite CW-complex $K$ with $\pi_1(K)=G$. Is there any sufficient condition on $H\leq G$ (and maybe on the group $G$ itself) which allows to conclude ...

**5**

votes

**1**answer

295 views

### reference request for mod p and p-adic K-theory

Is there a good reference that explains mod p K-theory and p-adic or p-complete K- theory? All I know about K-theory is the topological K-theory of "vector bundles and k-theory" in Switzer's book ...

**10**

votes

**1**answer

356 views

### Multiplicative Structure of the Atiyah-Hirzebruch/Leray-Serre spectral sequence

This is related to this question (edit: now answered, see below). Is there a nice explanation of the multiplicative structure on the higher pages of that spectral sequence? I want to assume that $h$ ...

**3**

votes

**2**answers

126 views

### f vectors of simplicial complexes homeomorphic to n dimensional spheres

In dimension 2, the euler poincare formula restricts the incidence properties of edges in a triangulation of a surface.
Are there analogous generalizations for higher dimensions, like elaborations ...

**8**

votes

**0**answers

139 views

### Which nice subcategories of $\mathsf{Top}$ are locally cartesian closed?

For a class $\mathcal{J}$ of topological spaces, let $\mathsf{Top}_\mathcal{J}$ denote the category of $\mathcal{J}$-generated spaces, i.e. those spaces $X$ such that $U\subseteq X$ is open iff ...

**21**

votes

**1**answer

820 views

### Topology of categories, very basic facts surrounding Quillen's Higher Algebraic K-Theory I

In his paper Higher Algebraic K-Theory I (see [here][1]), Quillen introduces a topological space $BC$, called the classifying space of $C$, and tries to relate its topology to the categorical ...

**7**

votes

**0**answers

220 views

### Do there exist “non-algebraic tensor products” for “algebraic” triangulated categories?

Let us call a triangulated category algebraic if it admits a differential graded enhancement (i.e., an enrichment in complexes of abelian groups). Certainly, there is a notion of a tensor product on ...

**0**

votes

**0**answers

300 views

### Exterior product in relative cohomology

Let us consider two pair of spaces $(X, A)$ and $(Y, B)$. We set $(X, A) \wedge (Y, B) := (X \times Y, (X \times B) \cup (A \times Y))$. Given a cohomology theory $h^{\bullet}$, we can define a ...

**4**

votes

**1**answer

292 views

### Quotient of a vector space by a linear finite group action

Let the cyclic group $\mathbb{Z}_n$ act on $\mathbb{C}^n$ (or on $\mathbb{R}^n$, I'm interested in both) by permuting coordinates. What does the topological quotient $Q$ by this group action look ...

**6**

votes

**4**answers

542 views

### What does “higher monodromy” tell us about a principal bundle

Let $P \to X$ be a principal $G-$bundle and let $f: X \to BG$ be its classifying map. As I understand there's some way to associate a monodromy representation $\pi_1(X) \to G$ to it. I know how to ...

**2**

votes

**0**answers

123 views

### completion and convergence of spectral sequence

I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...