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

**2**

votes

**0**answers

133 views

### Pro-p topology on free group

Let $H$ be a finitely generated subgroup of the free group $F(A)$ and $G_P$ the pseudovariety of all finite $p$-group with $p$ fixed prime number. We endow $F(A)$ with the pro-$G_p$ topology. Suppose ...

**1**

vote

**1**answer

162 views

### Homotopy type of certain maps on complex grassmanian

$G(k,n)$ is the complex grassmanian which is homeomorphic to the space of projections in $M_{n}(\mathbb{C})$ with trace $k$. So we can Identify $G(k,n)$ with $$\{A\in M_{n}(\mathbb{C})\mid ...

**1**

vote

**0**answers

92 views

### Explicit calculation of G-CW(V) structure of a G-space

I know explicitly the $Z/6$-CW($ξ^2$)-complex structure of $D(ξ^2)$, where $ξ$ is the non-trivial irreducible representation of $Z/6$ without fixed points. I am looking for an explicit calculation of ...

**6**

votes

**2**answers

338 views

### Topological $n$-manifolds have the homotopy type of $n$-dimensional CW-complexes

I search for a chain of clean references, which lead the fact of topological manifolds of dimension $n$ having the homotopy type of a CW of dimension $n$.
Milnor's On spaces having the homotopy type ...

**1**

vote

**1**answer

131 views

### Cofiber sequence $A\vee A \to A \wedge A \to \bar{A}\wedge \bar{A}$ for a spectrum $A$

For concreteness, let us work with the language of spectra introduced in EKMM.
In Strickland's paper "Products on $MU$-modules", he proves the following. If $R$ is a q-cofibrant commutative ...

**4**

votes

**0**answers

260 views

### Why does this fundamental group not have elements of finite order? [duplicate]

Let $X$ be a subset of $\mathbb R^3$ with its induced topology and let $a\in X$ be a point. Then the fundamental group $\pi_1(X,a)$ seems not to have elements of finite order (except the identity of ...

**0**

votes

**0**answers

81 views

### conjugate operation on vector bundle

Is the conjugate operation on $\overset{\sim}{K}(\mathbb{C}\mathbb{P}^n)$ known? If so, can I get the full formula at least in terms of the basis $\eta^i$? Here $\overset{\sim}{K}(X)$ denotes the ...

**1**

vote

**0**answers

32 views

### Homotopy injection between the unit ball in the Euclidean n space and an n-dimensional metric AR

Let $D^n$ be the closed unit ball in $\mathbb{R}^n$. Given a compact, $n$-dimensional, AR(Absolute Retract) metric space $X$, must it happen that either $X$ embeds in $D^n$ or $D^n$ embeds in $X$?
...

**4**

votes

**1**answer

157 views

### The image of the Hurewicz map for rational loop spaces

Let $K$ be the rationalization of a simply-connected finite CW complex. Then the Samelson product gives $\pi_*(\Omega K)$ the structure of a graded Lie algebra, and the Hurewicz map
$h: \pi_*(\Omega ...

**20**

votes

**0**answers

321 views

### Nilpotence of the stable Hopf map via framed cobordism

The Pontryagin-Thom construction shows that the stable homotopy groups of spheres are the same as the groups of stably framed manifolds up to cobordism. Specifically the Hopf map corresponds to the ...

**2**

votes

**1**answer

283 views

### Integration currents VS Poincaré Dual

Let $M$ be a complex manifold of dimension $n$ and $S \subset M$ a closed complex submanifold of complex codimension $r$. Let $[S] \in H_{2r}(S)$ be the fundamental class of $S$.
We have the ...

**0**

votes

**0**answers

78 views

### rational cohomology of finite dimensional real grassmannian

Let $G_k(R^n)$, $n>k$, be the finite dimensional real grassmannian. What is the rational cohomology algebra $H^*(G_k(R^n);Q)$? I have searched out that $H^*(BO_k;Q)=Q[p_1,p_2,...,p_[k/2]]$ is the ...

**13**

votes

**2**answers

468 views

### What's an example of 2 elliptic curves with the same ground ring s.t. their associated cohomology theories detect different things?

My understanding is that a complex-oriented spectrum is a ring spectrum $E$ with a map $MU \to E$.
Analogously, a ring with a formal group law is a ring $R$ with a map $L \to R$ (where $L$ is the ...

**2**

votes

**1**answer

159 views

### Curvature of a principal bundle and the exterior covariant derivative

I am sorry if this is too elementary; I had posted it on math.stack but no one answered.
Let $P\to M$ a principal fibre bundle with fibre $G$, and let $A\in \Omega^{1}(P)\otimes\mathfrak{g}$ be a ...

**25**

votes

**2**answers

797 views

### Interplay between Loop Quantum Gravity and Mathematics

It is known that there are many interesting connections between String Theory and modern Mathematics, with a rich feedback going on in both directions: there have been advances in mathematics thanks ...

**3**

votes

**1**answer

346 views

### Classifying spaces of topological groups whose underlying spaces are homotopy equivalent

Let $G$, $H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism which happens to be a homotopy equivalence of the underlying topological spaces. Let us assume that $G$, $H$ ...

**8**

votes

**1**answer

348 views

### Must we know $MU^*(X)$ in order to compute $Ell^*(X)$?

Let $Ell^*(X)$ be the elliptic cohomology theory (associated to a given elliptic curve $E$) of a nice space $X$.
Recall the Landweber-Ravenel-Stong construction:
$MU^*(X) \otimes_{MU^*} R \simeq ...

**4**

votes

**1**answer

209 views

### Toral rank conjecture

In 1985, S.~Halperin conjectured in the topological context of maximal free torus actions on topological manifolds, that:
If $X$ is a topological space, then $$\dim H^*(X;\mathbb Q)\geq 2^{rk(X)}.$$
...

**1**

vote

**3**answers

269 views

### orbit space of $\mathbb{Z}_p$ action over complex projective space by permuting the homogeneous coordinates

$Z_p$:=cyclic group of order $p$.
I want to understnd $H_\ast(\mathbb{C} P^{n}/Z_{n+1};Z)$ with $(n+1)$ being a prime number,and the action is given by permuting the homogeneous coordinates.
For ...

**6**

votes

**1**answer

188 views

### Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

I asked this question on math.stackexchange a week ago, but did not get an answer.
First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general ...

**2**

votes

**1**answer

214 views

### Loop defects in Walker-Wang model

My question is about the description of general defects (specially loop defects) in the Walker-Wang (WW) model.
Elementary excitations in the WW model can be point particles, loop defects and more ...

**5**

votes

**1**answer

242 views

### When does the Borel construction have the homotopy type of a CW-complex?

Suppose that $G$ is a Lie group acting smoothly on a manifold $M,$ does the Borel $M \times_G EG$ construction have the homotopy type of a CW-complex? If not, under what conditions would this be true? ...

**-5**

votes

**1**answer

202 views

### Stiefel-Whitney class of complex projective spaces [closed]

Let $T\mathbb{C}P^m$ be the tangent bundle of complex projective space. What is the total Stiefel-Whitney class $w(T\mathbb{C}P^m)$?
Let $a_m$ be the maximal integer such that the $a_m$-th dual ...

**1**

vote

**1**answer

179 views

### Moduli space of flat connections over a torus

Let us fix a principal bundle $G\hookrightarrow P\to T^{2}$, where $T^{2}$ is a torus. Is the moduli space of flat connections on $P$ known? At least, it is known for some particular gauge groups, ...

**1**

vote

**0**answers

84 views

### Why is the oriented $G$-homotopy type of a $G$-complex uniquely determined by the periodicity generator?

Say we have a periodicity generator $e \in H^k(BG)$. I can show that we then have a $(k-1)$-dimensional $G$-complex $X$ with free $G$-action. It's also not that difficult to see that it has trivial ...

**7**

votes

**1**answer

230 views

### Homotopy of orthogonal groups in the unstable range

We fix an integer $n$ and consider the stabilization map $O(n)\to O$.
Using rational methods one can easily check that the map
$\pi_{4i-1}(O(n))\to \pi_{4i-1}(O)\cong\mathbb{Z}$ vanishes for ...

**8**

votes

**3**answers

444 views

### When are (weak) homotopy equivalence testable on open covers?

I asked this question on math.stackexchange, but did not get an answer.
Let $f\colon X\rightarrow X'$ be a continuous map between two spaces $X,X'$, which might be arbitrary wild, especially I don't ...

**2**

votes

**1**answer

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

**4**

votes

**1**answer

270 views

### $K_0$ of integral group ring of cyclic group $\mathbb{Z}/p\mathbb{Z}$

Is there a table for the computation of $K_0(\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}])$?
These groups are also known as ideal class group in number theory.In topology,they are the home of some important ...

**4**

votes

**1**answer

397 views

### Continuous maps to fat geometric realizations of simplicial spaces

The nLab page on partitions of unity mentions the application of partitions of unity as a way to construct continuous maps to geometric realizations of simplicial spaces. However I often feel ...

**10**

votes

**1**answer

388 views

### Pseudomanifolds and Poincaré duality

1) A $n$-dimensional homology manifold is a topological space $X$ such that for any $x\in X$, the homology groups
$$H_p(X,X-x,\mathbb{Z})$$
are trivial unless $p=n$ where
$$H_n(X,X-x,\mathbb{Z})\cong ...

**3**

votes

**1**answer

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

**5**

votes

**2**answers

227 views

### homology of a mapping spectrum

If $X$ and $Y$ are two spectra, I denote by $F(X,Y)$ their mapping spectrum. This is uniquely determined by the existence of a natural isomorphism $[X\wedge Y, Z]\cong [X,F(Y,Z)]$.
I denote by $H_*$ ...

**1**

vote

**1**answer

162 views

### cohomology of the orbit space of a group action

Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field.
Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain ...

**23**

votes

**1**answer

822 views

### Homotopy Type Theory: What is it?

My question is, broadly, what is the main project of Homotopy Type Theory (HoTT). I asked a professor who is likely to be correct and he say the following:
There are three directions:
...

**10**

votes

**1**answer

208 views

### Two H-space structures on S^3 and [X,S^3] different as groups for each: Explicit Example?

There are twelve continuous maps $S^3\times S^3\to S^3$ up to homotopy that make the three-sphere $S^3$ into an H-space. This follows from a result of James [1], which says that if there exists one ...

**1**

vote

**1**answer

110 views

### Retractions of ENR

Let $i:X\rightarrow \mathbb{R}^N$ be an imbedding of a topological space $X$. Assume that there exists an open neighborhood $U$ containing $i(X)$ which also admits a retraction $p:U\rightarrow X$. The ...

**2**

votes

**0**answers

90 views

### project limit on $n$- simplical complex which is principal homogeneous with respect to an action

The setting:
Let G be compact locally $\Bbb{Q}_p$ analytic group. We fix a countable basis of open normal subgroups $G\supset G_1\supset ...G_r\supset...$
We suppose that we are given a system of ...

**0**

votes

**0**answers

56 views

### question about Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces

In the paper Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces, F. R. Cohen, L. R. Taylor, Geometric Applications of Homotopy ...

**4**

votes

**1**answer

280 views

### Mixed Hodge structure and cup product

I'm looking for a reference for the answer to the following questions.
Let $X$ be an algebraic variety over C. When is the cup product a morphism of Mixed Hodge structures? Does $X$ have to be ...

**-1**

votes

**1**answer

137 views

### Does there exist a fibre bundle $K(\mathbb{Z}_4,1)\rightarrow K(\mathbb{Z}_2,1)$ with fiber $K(\mathbb{Z}_2,1)$? [closed]

Does there exist a fibration $K(\mathbb{Z}_4,1)\rightarrow K(\mathbb{Z}_2,1)$, evidently with fiber $K(\mathbb{Z}_2,1)$?

**1**

vote

**0**answers

83 views

### A noncommutative vector bundle associated with a codimension one foliation

Assume that we have a codimension one foliation of a manifold $M$ which is generated by a one form $\alpha$. So the following $\phi$ satisfies $\phi \circ \phi =0$:$$\phi:\Omega^{i}(M)\to ...

**5**

votes

**0**answers

147 views

### proving the injectivity half of de Rham's theorem by construction in degrees other than $1$ and $n$

(This is a revision of a question I asked on MSE.)
Let $M$ be a smooth manifold of dimension $n$, and let $\omega$ be a differential form of degree $p$ on $M$. Then we have (I'm pretty sure) the ...

**2**

votes

**0**answers

128 views

### Kernel of the Weil homomorphism for compact symmetric spaces

Let $X = G/K$ be a Riemannian symmetric space of compact type and consider the "Weil homomorphism" $$w^\bullet: H^\bullet(BK; \mathbb R) \to H^\bullet(X; \mathbb R),$$ i.e. the map in cohomology ...

**0**

votes

**0**answers

68 views

### Dyer-Lashof algebra structures over graded modules

In Lecture Notes in Mathematics, Vol. 533, The homology of iterated loop spaces, Chapter 3, The homology of $C_{n+1}$-spaces, F. Cohen, Section 2, page 222, line 4, 5, 6:
for an arbitrary graded ...

**1**

vote

**1**answer

145 views

### Classification of $SU(2)$-bundles versus the classification of $SO(3)$-bundles

As explained in:
Classification of $SU(2)$ principal fibre bundles over four-dimensional manifolds
principal $SU(2)$ bundles $P_{SU(2)}$ over a four-dimensional manifold $M$ are classified by their ...

**2**

votes

**1**answer

248 views

### Dimension leaking in homology as opposed to homotopy

In homotopy theory we have the Seifert van-Kampen theorem, which is a clean statement about the fundamental groupoid of a pushout in $\mathsf{Top}$. There is also a 2d version of SvK in R Brown's ...

**1**

vote

**0**answers

155 views

### Geometric representatives of homology classes of manifolds

Is it true that for even dimensional differentiable manifold $M^{2n}$ all singular homology classes in dimension less than $n$ can be represented by a submanifold?

**2**

votes

**1**answer

106 views

### cohomology algebra of submanifold in euclidean space

If we write a manifold or CW-complex $X$ as a subset of $\mathbb{R}^n$, in expression of coordinates, for example, \begin{multline}
F(S^2,k+1)=\{(x_1,x_2,x_3,\cdots, ...

**7**

votes

**1**answer

433 views

### Fundamental group of the complement homogeneous variety in $\mathbb{C}P^{n-1}$

Let $f,g:\mathbb{C}^n\to \mathbb{C}$ are two irreducible homogeneous polynomials. If there is a homeomorphism $h:\mathbb{C}^n\to \mathbb{C}^n$ such that $h(X)=Y$ and $h(0)=0$, where $X=f^{-1}(0)$ and ...