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

**1**

vote

**0**answers

105 views

### (The Homotopy type of the) lifting of homeomorphism of Grassmanian

For $k<n$ put $FM_{k\times n}$ for the space of all $k\times n$ full rank matrices with real or complex entries. Note that the permutation group $S_{n}$ has an obvious action on this space ...

**6**

votes

**1**answer

341 views

### K-theory of the h-cobordism category

I was reading through Kervaire and Milnor's "Groups of Homotopy Spheres", in which the authors begin to compute the groups $\Theta_n$ of h-cobordism classes of homotopy $n$-spheres (with group ...

**1**

vote

**1**answer

123 views

### What is the relationship between $BU$ and $\textrm{Fred}_0(H)$?

Let $U=\cup_{n=1}^{\infty} U(n)$ be endowed with the weak topology, let $BU$ be its classifying space. Then for any compact CW complex $X$, $[X,BU]$ classifies all the vector bundles on $X$ up to ...

**-1**

votes

**1**answer

367 views

### loop homology product for oriented compact manifolds with boundary

This is my first steeps in string topology and please forgive the basic level of my questions: I reformulate my question
Chas and Sullivan define the loop homology product for closed (=compact with ...

**1**

vote

**0**answers

115 views

### Explicitly showing that a free group is LERF [closed]

Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup.
Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...

**1**

vote

**0**answers

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

**0**

votes

**1**answer

113 views

### Unseparability of two linked rings in higher dimensions [closed]

I am not familiar with topology. We know that in $R^3$, we cannot separate two "rings": two copies of $S^1$, if they are "linked".
I wonder that is there any similar results for two copies of ...

**1**

vote

**2**answers

183 views

### Sheaf cohomology on non paracompact topological spaces

I have some confusion on the subject of sheaf cohomology on non-paracompact topological spaces, i hope you can help me.
My reference is Godement's book "Topologie algebrique et theorie dex ...

**-1**

votes

**1**answer

210 views

### Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension.
I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...

**1**

vote

**1**answer

110 views

### Differential of homological atiyah-Hirzebruch Spectral sequence for K-homology

The first non vanishing differential $d_3$ of the cohomological Atiyah-Hirzebruch spectral sequence for computing (Complex) Topological $K$-theory out of ordinary cohomology has a ...

**10**

votes

**0**answers

167 views

### Homotopy groups of $MO(2)$

Have there been any computations of the higher homotopy groups of $MO(2)$, the Thom space of the universal $O(2)$-bundle? Thom himself noted in his landmark 1954 paper that
$$
\pi_1(MO(2))=0,\quad ...

**22**

votes

**2**answers

2k views

### Why can't we take three loops?

Apologies for the vague title and soft question. According to Etingof, Igor Frenkel once suggested that there are three "levels" to Lie theory, which I guess could be given the following names:
No ...

**12**

votes

**2**answers

615 views

### Eilenberg-Mac lane spaces and a generalization

Let $G$ and $H$ be two abelian groups and let $n>1, m>1$ be two different integers. How many different spaces $X$ (up to homotopy) do we have with the property $\pi_{n} X=G$ , $\pi_{m} X=H$ and ...

**5**

votes

**1**answer

308 views

### Localized J homomorphism

Let $X$ be a simply connected finite CW complex, $\xi$ and $\eta$ vector bundles over $X$ of the same dimensions and their dimension is big enough, so they are stable bundles. Let $p$ be a prime.
Are ...

**1**

vote

**2**answers

393 views

### Does a graded vector space isomorphism between the homology of two loop spaces imply the existence of an algebra isomorphism?

Consider ordinary homology with coefficients in a field. For $X$ a path-connected pointed space, the graded vector space $\bigoplus_{q\ge 0} H_q(\Omega X)$ has the structure of an algebra with the ...

**7**

votes

**0**answers

164 views

### Does the de Rham version of Cohen's theorem hold in the $\infty$-setting?

One of the first results that one needs to prove in the theory of chiral algebras is a de Rham version of Cohen's theorem on the homology of $C_n$ spaces. This is achieved in Beilinson-Drinfeld's book ...

**3**

votes

**1**answer

126 views

### Associated graded Lie algebra of braid groups

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...

**10**

votes

**0**answers

212 views

### What is the symmetric monoidal functor from Clifford algebras to invertible K-module spectra?

There ought to be a symmetric monoidal functor from the symmetric monoidal $2$-groupoid whose objects are Morita-invertible real superalgebras (precisely the Clifford algebras), morphisms are ...

**4**

votes

**0**answers

106 views

### Nowhere vanishing section of vector bundles over varieties as connectivity of morphism of stacks

The following is, amongst others, a Hartshorne exercise:
Let $V$ be a $k$-variety of dimension $n$ and $\mathcal{E}$ a vector bundle of rank greater than $n$, then, generically, a generating section ...

**21**

votes

**3**answers

782 views

### What are the higher homotopy groups of a K3 suface?

All K3 surfaces have the same homotopy type. What are their higher homotopy groups?
I know that $\pi_1$ is trivial, and $\pi_2$ is $\mathbb{Z}^{22}$.
Even if the answer isn't known in all degrees, ...

**0**

votes

**1**answer

125 views

### Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...

**3**

votes

**1**answer

344 views

### $E_{\infty}$ spaces are $A_{\infty}$ spaces

While studying the well-known "Geometry of Iterated Loop Spaces", I found this corollary which is not completely clear to me. (By $\mathcal{M}$ is meant the operad given by $\mathcal{M}(j):=\Sigma_j$, ...

**4**

votes

**1**answer

236 views

### semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity.
For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...

**39**

votes

**5**answers

4k views

### Why higher category theory?

This is a soft question.
I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...

**1**

vote

**1**answer

180 views

### Bockstein homomorphism from $H^d(BG,Z_2)$ to $H^{d+1}(BG,Z)$, and Steenrod Square $Sq^1$

The Theorem 1.5 and 1.6 of
Brown, Edgar H., Jr. The cohomology of BSOn and BOn with integer coefficients. Proc. Amer. Math. Soc. 85 (1982), no. 2, 283–288.
give a general answer for $H^d(BSO_n,Z)$ ...

**2**

votes

**0**answers

116 views

### Abelian covers of compact Kahler manifolds

Let $X$ be a compact Kahler manifold and $A\subset H_1(X,\mathbb{Z})$ be a subgroup.
Corresponding to $A$ there is an abelian covering $X_A \to X$ with $Deck(X_A)=H_1(X,\mathbb{Z})/A$. For example if ...

**1**

vote

**1**answer

229 views

### Relations between characteristic classes of a group and the Stiefel-Whitney/Pontryagin classes

Let $X$ be a closed manifold and $BG$ be the classifying space of a group $G$
A map from $X$ to $BG$ induce a map from $H^*(BG,Z)$ to $H^*(X,Z)$ by pull back.
Let $GH^*(X,Z)$ be the subgroup of ...

**28**

votes

**0**answers

530 views

### Are there periodicity phenomena in manifold topology with odd period?

The study of $n$-manifolds has some well-known periodicities in $n$ with period a power of $2$:
$n \bmod 2$ is important. Poincaré duality implies that odd-dimensional compact oriented manifolds ...

**11**

votes

**0**answers

380 views

### Chiral categories versus braided monoidal categories

Let $X$ be a curve over $\mathbf{C}$. As I understand from the 2008 Talbot notes, a chiral category on $X$ consists of a crystal of categories on the Ran space $\mathrm{Ran}(X)$ (see these notes of ...

**12**

votes

**2**answers

357 views

### How to compute $\pi_{3}$ of $L(p,q)\# L(p',q')$?

Let $L(p,q)$ be a 3-dimensional lens space, and let $L(p',q')$ be another. Is there any known result concerning the 3rd homotopy group of the connected sum $L(p,q)\# L(p',q')$? If not, I am interested ...

**2**

votes

**0**answers

100 views

### Why is cellularization the fiber of nullification for slice cells?

I'm a bit confused about the nullification functors that come up when constructing the slice tower in HHR.
Let $\mathcal{A}$ be a set of compact objects in the $G$-equivariant stable homotopy ...

**16**

votes

**0**answers

237 views

### Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...

**23**

votes

**2**answers

996 views

### What are the “correct” conventions for defining Clifford algebras?

I have three related questions about conventions for defining Clifford algebras.
1) Let $(V, q)$ be a quadratic vector space. Should the Clifford algebra $\text{Cliff}(V, q)$ have defining ...

**8**

votes

**1**answer

275 views

### Existence of certain “nondegenerate” function and manifold topology

Let $M$ be a smooth manifold without boundary, not necessarily compact.
Let $f$ be a real-valued smooth function on $M\times M$. We say $f$ is good if for any point $(x,y)\in M\times M$ with local ...

**1**

vote

**0**answers

100 views

### Are there analogs of smooth partitions of unity and good open covers for PL-manifolds?

Smooth partitions of unity and differentiable good open covers are important technical tools in the realm of smooth manifolds.
Are there analogs of these tools for piecewise linear manifolds?
A PL ...

**2**

votes

**0**answers

116 views

### generalized Atiyah-Hirzebruch spectral sequence from Postnikov truncation

The Atiyah-Hirzebruch spectral sequence
\begin{equation*}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}(E),\end{equation*}
computes the generalized homology $h$ of a total space $E$ of a Serre fibration ...

**6**

votes

**0**answers

252 views

### Classifying space of the higher-structure diffeomorphism group

There is a higher extension of the classifying space $B \mathrm{Diff}$ of the diffeomorphism group implicit in the (infinity,n)-category of cobordisms with (X,zeta)-structure ...

**5**

votes

**2**answers

252 views

### Which groups are LERF?

A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...

**6**

votes

**2**answers

442 views

### Reference for a fact (?) on homeomorphic knot complements

Does somebody have a reference (or an argument why it should be true) for the following statement?
“Let $K$ and $K'$ be knots in $S^3$. If there is an orientation-preserving homeomorphism $h : S^3 ...

**2**

votes

**0**answers

133 views

### Marshall Hall's theorem for surface groups [closed]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$
Let $H \leq \Gamma_g$ ...

**3**

votes

**1**answer

317 views

### Doing some homological algebra in triangulated categories

It's well known that chain complexes are an abelian category, and in particular we can consider chain complexes of chain complexes, i.e. double complexes. Given a double complex $A^{\bullet\bullet} ...

**1**

vote

**1**answer

157 views

### Free action of symmetric groups

What type of compact manifolds, can be acted freely by symmetric group $S_{m}$ for some $m>2$?
Is there a compact manifold which can be act freely by all symmetric ...

**6**

votes

**1**answer

193 views

### A homological criterion for collapsibility?

On page 256 of Kirby and Siebenmann one finds the following lemma (its proof an "elementary exercise", so they only give a hint):
Taking $A$ to be a point and iterating this collapsing lemma, this ...

**18**

votes

**2**answers

803 views

### Teaching the fundamental group via everyday examples

This question is a "prequel" to a similar question about homology. Both questions were inspired by seeing a talk, by Tadashi Tokieda, about the interesting physics that appears in toys.
What ...

**9**

votes

**0**answers

181 views

### Mixed Hodge structure on configuration spaces

Let $X$ be a smooth complex projective variety. Let $F(X,n)$ be the configuration space parametrizing $n$ distinct ordered points in $X$. The cohomology groups $H^k(F(X,n),\mathbf Q)$ carry a mixed ...

**30**

votes

**4**answers

2k views

### Why is it so hard to compute $\pi_n(S^n)$?

Of course it isn't really that hard - nowhere near as hard as $\pi_k(S^n)$ for $k>n$, for instance. The hardness that I'm referring to is based on the observation that apparently nobody knows how ...

**7**

votes

**1**answer

206 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: ...

**2**

votes

**0**answers

154 views

### A possible generalization of the Borsuk Ulam theorem via action of symmetric groups

The symmetric group $S_{m}$ is equiped with the counting Har measure $\mu$ and the obvious sgn character. Assume that $S_{m}$ acts on $S^{n}$, $n\geq m-1$ and $f:S^{n}\to \mathbb{R}^{n}$ ...

**5**

votes

**1**answer

331 views

### Can an odd map be null homotopic?

Let $G$ be a compact Lie group with invariant measure $\mu$. An odd function is a continuous function, $\phi:G\to \mathbb{C}$, such that $\int_{G} \phi d\mu=0$. An odd map is a continuous map, $f:G\to ...

**9**

votes

**3**answers

386 views

### Quotient of the hyperbolic plane with respect to commutator group of $\pi_1(\Sigma_g)$

Let $\Sigma_g$ be a Riemann surface of genus $g\geq 2$ and $G=\pi_1(\Sigma_g)$.
Let $\pi\colon \mathbb{H}\to \Sigma_g$ be the universal covering map. What kind of surface is $\mathbb{H}/[G,G]$?
...