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

**13**

votes

**2**answers

497 views

### Integral cohomology of $G/N(T)$

Let $G$ be a compact connected simple Lie group, $T$ a maximal torus, $N(T)$ the normalizer of $T$, and $W=N(T)/T$ the Weyl group. It is well-known that $H^*(G/T,\mathbb{Q})$ is the regular ...

**7**

votes

**1**answer

226 views

### Thorough reference on regular homotopy

I would like to learn this topic of algebraic topology but I cannot find a relevant reference to answer my basic questions on the subject (for example, is there a Hurewicz theorem for regular homotopy ...

**5**

votes

**1**answer

354 views

### Are two equivariant maps between aspherical topological spaces homotopic?

Let $f: X \rightarrow Y$ be continuous, X,Y pathwise connected and aspherical (i.e. trivial higher homotopy groups). Then $\pi_1(X)$ acts on the universal cover of $X$ via deck transformations, and on ...

**1**

vote

**0**answers

71 views

### Trefoil Knot Seifert Minimal Surface Equation

I am not very familiar with knot theory nor with minimal surfaces, so I already apologize if my question appears too naive or simple :). I am trying to do the following:
Starting from a real ...

**1**

vote

**1**answer

286 views

### Torsion of $H_{n-1}$

Suppose $X$ is a non-orientable manifold. Using Universal Coefficient Theorem (UCT) for homology, we can get that the torsion of $H_{n-1}$ is a cyclic group of order $2$. I am looking for a proof of ...

**15**

votes

**1**answer

309 views

### Classification of fake (quaternionic, octonionic) projective spaces

If $X$ is a closed $n$-manifold, a fake $X$ is another closed manifold homotopy equivalent to $X$. There is some interest in classifying manifolds (up to, say, homeomorphism) homotopy equivalent to a ...

**9**

votes

**0**answers

301 views

### Finite groups inside an infinite group with the same homology

Suppose we have a triple of groups $G,H,K$ verifying the follwing conditions
$G$ and $H$ are finite groups and $K$ an infinite group.
there exists two monomorphisms $G\rightarrow K\leftarrow H$ ...

**1**

vote

**1**answer

191 views

### Deformation Quantization

I am a beginner and I want to learn about deformation quantization. Please suggest me with which book or notes, I should start?

**3**

votes

**1**answer

227 views

### Poincaré Duality for non-compact manifolds without Zorn's Lemma

Does exists a proof of the Poincaré Duality version for non-compact manifolds without using the Zorn's Lemma? I know that there is a proof using the Whitney embedding theorem, but I don't know this ...

**6**

votes

**2**answers

241 views

### Flat connections on 3-manifold with boundary

Suppose $Y$ is a 3-manifold and the boundary $\Sigma:=\partial Y$ is non-empty. Let $G$ be a Lie group with trivial center. Let $\overline {\mathcal A}_{flat}(\Sigma)$ and $\overline {\mathcal A}_{...

**0**

votes

**0**answers

100 views

### de Rham type cohomology for covariant derivative?

We know that in general for a covariant derivative $D$ on a vector bundle $\xi$ over $M$ we don't have $D \circ D = 0$. This prevents us from having the following cochain complex
\begin{equation}
\...

**0**

votes

**1**answer

164 views

### Atiyah-sequence-like definition of connection on vector bundles?

For a principal bundle $\pi: P \to M$ we have the following Atiyah sequence that can be used to define a connection on it
\begin{equation}
0 \to V{P} \to T{P} \to \pi^*{T{M}} \to 0
\end{equation}
A ...

**10**

votes

**2**answers

490 views

### Reference request: Goodwillie tower of the identity

The Taylor (Goodwillie) tower of the identity functor on based spaces has as its $j$-th layer the infinite loop space-valued functor
$$
X\mapsto \Omega^\infty (W_j \wedge_{h\Sigma_j} X^{[j]})
$$
in ...

**15**

votes

**0**answers

273 views

### Groups whose finite index subgroups of fixed index are isomorphic

I am interested in finitely generated groups $G$ that are residually finite and have the following property: For each $d \geq 1$, $G$ has subgroups of finite index $d$, and all such subgroups are ...

**8**

votes

**2**answers

397 views

### Simplest explicit counterexample for $Vect(BG) \ne Rep(G)$ as monoids

Let $G$ be a topological group, $Vect(BG)$ the monoid of complex vector bundles over its classifying space (not the stack!) and $Rep(G)$ its monoid of complex representations.
Generally $Vect(BG) \ne ...

**7**

votes

**0**answers

115 views

### Reference request: Atiyah-Segal completion on spectrum level

It seems like the Atiyah Segal completion theorem for the two element group
$G = \mathbb Z_2$ and one-point space $X=\{ * \}$ with trivial G action yields a statement about the underlying spectra as ...

**5**

votes

**1**answer

323 views

### Known results in the Cohomology of finite groups

I am learning to compute cohomology of finite groups and came across this survey article http://www.ams.org/notices/199707/adem.pdf "Recent Developments in the cohomology of finite groups" by ...

**4**

votes

**0**answers

159 views

### Localization in equivariant cohomology theory for groups other than ($p$-)tori

Recall the following localization theorem, as stated in Hsiang's Cohomology Theory of Compact Transformation Groups:
Theorem. Let $G=(S^1)^k$ be a torus, $X$ a paracompact $G$-space with finite ...

**2**

votes

**0**answers

227 views

### E-infinity operads explicit examples

I was looking for particular and explicit examples of $E_\infty$-operads. I know the $E_\infty$-operad defined by Smith in http://arxiv.org/abs/math/0004003, and the Barratt-Eccles operad, but it is ...

**13**

votes

**1**answer

519 views

### $p$-adic Bott periodicity?

The Bott periodicity theorem can be formulated as the existence of homotopy equivalences $\Omega^2(KU)\equiv KU$ and $\Omega^8(KO)=KO$. I always wondered whether this theorem could also be transferred ...

**1**

vote

**1**answer

207 views

### Addition of two homology classes is zero in construction of Poincare Sphere

I ask here the question since it hasn't been answered in
Math Stack Exchange.
I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one ...

**5**

votes

**0**answers

95 views

### Smoothing a continuous section in 1-jet bundle

Here is a question I encountered when reading the book "Convex Integration Theory by D.Spring". My question lies in the second paragraph to the proof of theorem 4.2($C^{0}$-dense $h$-principle).
I ...

**6**

votes

**0**answers

104 views

### Chern-Simons form and Rarita-Schwinger operator

The Rarita-Schwinger (RS) operator naturally generalizes the Dirac operator and in Physics it describes particles with spin-3/2.
I was wondering if there exists any reference concerning the ...

**6**

votes

**1**answer

191 views

### Cohomology ring of a fiberwise join

I am very interested in the cohomology ring of the following construction. Let $f: Y\to X$ be a map between (connected) topological spaces. Suppose that the image of the map $f^*:H^*(X) \to H^*(Y)$ is ...

**4**

votes

**1**answer

138 views

### “Small” simplicial complex with torsion trees

I am giving an expository talk soon about Duval-Klivans-Martin's paper Simplicial Matrix Tree Theorems, and I've been struggling to find a good example to do at the board. An important aspect of the ...

**8**

votes

**0**answers

167 views

### Are there genera for algebraic cobordism?

For real and complex manifolds, we can form the (oriented) cobordism ring $\Omega$, and a genus is defined to be a ring homomorphism
$$\varphi:\Omega\otimes\mathbb{Q}\to R$$
where $R$ is any ...

**5**

votes

**1**answer

150 views

### Homotopy Type of the Based Mapping Space $Map_*^{(k,l)}(\mathbb{C}P^2,BU(2))$

Path components of the based mapping space $Map_*(\mathbb{C}P^2,BU(2))$ are indexed by a pair of integers $(k,l)$ determined by the values of the first two Chern classes that a map $f:\mathbb{C}P^2\...

**10**

votes

**2**answers

389 views

### Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism:
$$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$
Which in our case is an isomorphism since $G$ ...

**7**

votes

**1**answer

439 views

### what is the universal cover of GL(2,R)?

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$.
What is G'?
I know there is concrete description in terms of pairs (M,f)...

**4**

votes

**2**answers

200 views

### Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups:
(1) singular cohomology $H_{sing}^*(X,A)$;...

**3**

votes

**2**answers

246 views

### CW 4 manifolds with single 4 cell

Let $M$ be a connected compact closed 4 manifold. Then $H_4(M)=\mathbb{Z}$. If we assume it is smooth, from Morse theory we know that $M$ has a CW structure. But can we find a CW structure of $M$ with ...

**1**

vote

**1**answer

199 views

### Applications of topology to discrete dynamical systems?

I'd like to know some of the applications of topology to discrete dynamics. By discrete dynamics I loosely mean studying maps between discrete sets.
I mean cases where adding a topology to the sets ...

**5**

votes

**1**answer

74 views

### smoothing locally-finite (Borel-Moore chains)

Let $M$ be a smooth manifold. As is recorded in (for example) Lee's book, de Rham proved that one can calculated singular homology, $H_*(M)$ using smooth simplices. Does the result extend to Borel-...

**2**

votes

**1**answer

243 views

### Local “pathologies” in spaces arising naturally in algebraic topology

I have been thinking about methods for constructing continuous paths locally in a space. These paths have domain the unit interval and map into "small" neighborhoods of points in a space. Moreover ...

**6**

votes

**1**answer

253 views

### “structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration".
Does it make sense to talk about "structure group"...

**2**

votes

**1**answer

248 views

### Using Lefschetz duality in algebraic geometry

I am reading the paper of Fulton and Lazarsfeld on the connectivity of degeneracy loci of morphisms of vector bundles, but there is a comment in the article that I don't quite understand.
Let $G$ be ...

**1**

vote

**0**answers

61 views

### Adjunction of Crossed Module Functors

I am wondering about the following two related questions and don't know if they have already clear answers or not.
1) Suppose that we already know the functor $F \colon \mathcal{C} \to \mathcal{D}$ ...

**6**

votes

**2**answers

226 views

### The Thom space of a Whitney sum of vector bundles

Let $\xi$ and $\eta$ be vector bundles over the same base space $X$. Their Whitney sum is a bundle $\xi\oplus\eta$ over $X$. I read somewhere (without proof) that its Thom space is given by
$$
T(\xi\...

**24**

votes

**0**answers

872 views

### Big list - Equivalent descriptions of Hodge conjecture?

I would like to know equivalent descriptions of the Hodge conjecture (with references).
Dan Freed's Version:
Consider a topological cycle (boundary less chains that are free to deform) on a ...

**8**

votes

**0**answers

129 views

### Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...

**3**

votes

**1**answer

218 views

### How to calculate the fundamental group of general configuration space

Define the configuration space of $n$ points in a general manifold $M$, where $\dim M=m$, as $K=(M^n-D)/S_n$ where $S_n$ is the permutation group and $D=\{(x_1,\cdots,x_n)| \exists i,j\ s.t. x_i=x_j \}...

**10**

votes

**2**answers

311 views

### Lower central series quotients in terms of (co)homology

Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this ...

**3**

votes

**0**answers

170 views

### Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...

**5**

votes

**1**answer

190 views

### What do globes (used to construct globular sets, $\omega$-categories, etc.) actually look like?

Nlab introduces the globular category as a geometrical model to construct certain higher categorical structures (e. g. strict $\omega$-categories), just as quasi-categories, for example, are modelled ...

**0**

votes

**0**answers

97 views

### Generalization of the fiber changing trick for principal bundles?

We know that a principal bundle can induce a fiber bundle as follows: if $F$ is a space which admits a $G$-action then a principal $G$-bundle $p: E \to B$ induces a fiber bundle $p: E \times_G F \to B$...

**14**

votes

**0**answers

327 views

### Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...

**8**

votes

**0**answers

139 views

### Two transfers for ramified or branched covers

Let $\pi: X \rightarrow Y$ be a 2-fold branched cover of complex varieties. I know of (at least) two types of pushforwards associated to this situation:
If I'm not mistaken, there is a pushforward ...

**3**

votes

**1**answer

188 views

### Is there a degree one map from a product $B\times S^1 \to \#_n S^2 \times S^1$ for any n

For any $n \geq 1$, let $\Sigma_n$ denote the closed orientable surface of genus n. In http://arxiv.org/abs/1202.6302, the authors showed that for any $n$, there is a degree two, $\pi_1$-surjective, ...

**4**

votes

**1**answer

136 views

### Equivariant maps from simplicial complexes to spheres

Given a topological space $X$ with involution $\nu$, the $\mathbb Z_2$-index $\text{ind}(X)$ is the minimum integer $n$ such that there exists a map $f:X \to S^n$ which is equivariant with respect to ...

**2**

votes

**1**answer

105 views

### Kernel of projection formula

For a closed embedding of compact complex manifolds
$$
\iota : Y \hookrightarrow X
$$
and any $\alpha \in H^*(X,\mathbb Q)$, we have trivially:
$$
\iota^*(\alpha)=0\quad \Rightarrow \quad\iota_*\iota^*...