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

learn more… | top users | synonyms (1)

5
votes
1answer
317 views

What is the algebraic fundamental groups of $SO(n)$ and $Sp(2n)$?

Let $k$ be an algebraically closed field of characteristic zero. and let $$\sigma: SL_n(k)\rightarrow SL_n(k)$$ be an involution. My questions are: How could one calculate the fundamental group of ...
2
votes
0answers
71 views

good choice of extension of equivariant map

Let $K$ be a compact Lie group. Let $C_K$ denote the category whose objects are the compact lie groups containing $K$ and whose morphisms are inclusion of the groups. Let $Y$ be a $K-$space such that ...
4
votes
1answer
111 views

Is the signature of inverse images of diffeomorphic submanifolds (along a homotopy equivalence) the same?

Suppose it is given an orientation preserving homotopy equivalence $h:N→M$ between closed oriented connected manifolds. Let $X,Y\subset M$ be diffeomorphic submanifolds, and assume $h$ to be ...
7
votes
1answer
188 views

Operads and the Stable Module Category

I am seeking references to places where operads and their algebras have been studied for the stable module category. Colored operads are fine too. Let $k$ be a field and $R$ a $k$-algebra. The stable ...
6
votes
1answer
239 views

vector bundles associated to a covering space

Let $M$ be a $m$-dimensional manifold whose cohomology ring and cell structure are well-understood, such that there is a free action of the symmetric group $S_n$ on $M$. Then we have a $n!$-sheeted ...
1
vote
1answer
92 views

Cancellation of 2-component links

Consider a two-component tame link in 3-space, consisting of an arc from $(-1,1,0)$ to $(1,1,0)$ and an arc from $(-1,-1,0)$ to $(1,-1,0)$, confined to the slab $-1 \leq x \leq 1$. Call such a link ...
1
vote
1answer
168 views

How to extend an equivariant map from a compact Lie group

Let $G$ be a compact Lie group and let $H$ be a closed subgroup of it. Let $g$ be a torsion element of $G$ and $C_G(g)$ the centralizer of it. Let $Y$ be a $C_G(g)-$space. I'm working on the space ...
6
votes
1answer
187 views

Fundamental class in $KO[1/2]$

Let $M^m$ be an oriented Riemannian manifold. The signature operator associates to $M$ a class $\Delta_M\in KO_m(M)[1/2]$. I have two questions about this class $\Delta_M$: Rationally, $\Delta_M$ is ...
18
votes
4answers
2k views

How to get convinced that there are a lot of 3-manifolds?

My question is rather philosophical : without using advanced tools as Perlman-Thurston's geometrisation, how can we get convinced that the class of closed oriented $3$-manifolds is large and that ...
6
votes
4answers
884 views

Topological structure of SO(n) as a product

I’m interested in the question for which $n$ the special orthogonal group is homeomorphic to the product $$ \mathrm{SO}(n) \approx S^{n-1} \times \mathrm{SO}(n-1). $$ Allen Hatcher [1, p. 293 f.] ...
4
votes
0answers
85 views

characteristic classes of a covering space with symmetric group action

Let $S_n$ be the $n$-th symmetric group. Suppose we have a $n!$-sheeted covering space $$ S_n\to M\to M/S_n $$ where $M$ is a manifold. Let $\mathbb{K}$ be the real numbers $\mathbb{R}$, complex ...
8
votes
1answer
232 views

Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

Given a fiber square of simplicial sets $$\begin{array}{cc} & \hspace{-7mm} E \\ &\hspace{-7mm}\downarrow \\ \ast\longrightarrow &\hspace{-7mm} B \end{array}$$ ...
7
votes
2answers
339 views

first Chern class of complex vector bundles and first Pontrjagin class of quaternionic vector bundles

Let $\xi$ be a (real) vector bundle of dimension $n$. Then the first Stiefel-Whitney class $$ w_1(\xi)=0 $$ if and only if $\xi$ is orientable, i.e. the structure group of $\xi$ can be reduced to ...
8
votes
0answers
99 views

Overview and/or reference of theory of pro-universal covers?

This question will contain very little in the way of concrete information, because I don't have much to go on. I've heard whispers of something called a "pro-universal cover," which is the inverse ...
3
votes
1answer
479 views

What is the Euler characteristic of a mapping space?

Suppose that $A$ and $B$ are topological spaces homotopy equivalent to finite cell complexes, and let $B^A = \mathrm{maps}(A,B)$ denote the space of maps from $A$ to $B$. Is it there a formula for ...
3
votes
2answers
268 views

mod p cohomology ring of alternating groups

Let $A_n$ be the alternating group of $\{1,2,\cdots,n\}$. (1). What is the cohomology ring $$ H^*(A_4;\mathbb{Z}/3) $$ and its Steenrod operation $P^i$'s? (2). Are there general results about the ...
10
votes
1answer
180 views

Equivariant Fredholm operators classify equivariant K-theory

Let $\mathcal{F}$ be the space of Fredholm operators on a separable Hilbert space $H$ with the topology induced by the operator norm. If $X$ is compact, Atiyah-Jänich proved that ...
4
votes
0answers
107 views

Exotic 2-adic lifts of mod $2$ Steinberg idempotent

Denote $B_n$ the Borel subgroup of $Gl_n(Z/2)$, i.e., the subgroup of upper triangular matrices, $\Sigma _n$ the subgroup of permutation matrices. The (conjugate) Steinberg idempotent is defined to be ...
3
votes
1answer
193 views

Geometric interpretation of the conjugation operation in the dual Steenrod algebra

As the dual mod 2 Steenrod algebra, $A$, is a Hopf algebra, it has the conjugation operation, $\chi:A\to A$. Milnor also gives a formula for this. I wonder if there is any source telling about a ...
3
votes
1answer
120 views

What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite

When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism ...
10
votes
1answer
478 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 ...
5
votes
1answer
479 views

Intuition behind salient numbers in number of h-cobordism classes of smooth homotopy n-spheres

The Wikipedia article on Exotic Sphere displays this sequence of numbers (see also OEIS A001676 and the Milnor link therein) for the order of the classses as $$1, \;1, \;1,\; 1,\; 1, \;1, \;28,\; ...
11
votes
2answers
593 views

Does every (co)homology functor (in particular, stable homotopy) factor through chain complexes?

Ordinary homology and cohomology factor through chain complexes via singular homology and cohomology. What about other (co)homology theories? That is, for each spectrum $E$, do we have a lift in the ...
10
votes
0answers
180 views

Mapping class groups in high dimension

Let $M$ be a $1$-connected, closed, smooth manifold with $dim(M)>4$ and let us set $MCG(M)=\pi_0(Diff(M))$. Dennis Sullivan proved that $MCG(M)$ is commensurable to an arithmetic group. I was ...
11
votes
1answer
248 views

Reference request: sheaves on the site of d-manifolds

I believe I know how to prove the following results. I also know to whom to cite fancy-shmancy results that have these as a very special case. My question is: what are the correct citations for ...
10
votes
0answers
144 views

How does the HHR Norm functor interact with the cotensor over $G$-spaces?

Let $N_H^G$ be the norm functor from orthogonal $H$-spectra to orthogonal $G$-spectra. We know the category of orthogonal $G$-spectra $\mathcal{S}_G$ is enriched over the category of based $G$-spaces ...
10
votes
3answers
782 views

Is there a notion of “flat vector bundle over a topological space”?

I am reading this paper and at the top of page 5 the author makes reference to categories consisting of flat complex vector bundles over $X$ where $X$ is an arbitrary topological space. However, the ...
5
votes
0answers
180 views

Is $D(n)$ a Thom spectrum?

Fix $p=2$ and let $D(n)$ be a spectrum which filters the Eilenberg-Moore spectrum $H\mathbb{Z}/2$, i.e. $\mathrm{colim}\ D(n)=H\mathbb{Z}/2$. This spectrum can be considered as the cofibre of ...
7
votes
2answers
586 views

Atiyah Singer index theorem and Hodge de Rham operator

When I read about Atiyah Singer index theorem I met the following example: let $M$ is (orientable closed smooth) Riemannian manifold and consider Hodge-de Rham Dirac operator defined by $d+d^*$ ...
11
votes
2answers
306 views

Gerstenhaber conjecture for free loop space

I- Is the following statement still a conjecture see this article ? Conjecture (?) Let $M$ be a simply connected compact oriented $d$-manifold (smooth), then $HH^{\ast}(C^{\ast}(M))$ the Hochschild ...
9
votes
1answer
176 views

Inducing up the group homomorphism between mapping class groups

There are many ways to embed the braid group into the mapping class group of a surface. To describe one of them, let ${C}_{2g+2}(\mathbb{D}^2)$ be the configuration of unordered $2g+2$ points in the ...
3
votes
1answer
134 views

very basic question on p-typical group law and MU and BP

I am a beginner trying to understand Dan Quillen's idempotent map $\xi:MU_{(p)} \to MU_{(p)}$ described in his classic paper 5-page paper On formal group laws... Let $F$ be a formal group law over a ...
3
votes
0answers
161 views

What is the formula for the homology class represented by the diagonal?

Let $M$ be a compact oriented manifold and $\{\mu_{i}\}$ a basis for the homology $H_*(M, \mathbb{Z})$ (we are ignoring any torsion). Now consider the diagonal $\Delta_{M}$ inside $M\times M$. ...
7
votes
0answers
170 views

Is there a definition of an $\infty$-groupoid in HoTT whose terms are $n$-manifolds and whose higher morphisms are diffeomorphisms/isotopies/etc?

Suppose you want to work with TQFTs in homotopy type theory (HoTT). Working with $(\infty,n)$-categories, or even $(\infty,1)$-categories, is something that I gather is too difficult for HoTT at the ...
7
votes
0answers
193 views

Mapping class group action on fundamental group of punctured elliptic curves

Let $(\mathcal{M}_{1,1})_{\overline{\mathbb{Q}}}$ be the moduli stack of elliptic curves over $\overline{\mathbb{Q}}$. By Oda, we know that its etale fundamental group is $\widehat{SL_2(\mathbb{Z})}$. ...
3
votes
2answers
353 views

Cup product of cohomology in a Serre spectral sequence

How to use Serre spectral sequence to compute cup product structures? Let $F\to E\to B$ be a fibration. Suppose all the differentials of the corresponding Serre spectral sequence of cohomology are ...
8
votes
1answer
247 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 ...
5
votes
0answers
84 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, ...
5
votes
1answer
230 views

How can we explicitly verify a canonical Dirichlet domain for this hyperbolic punctured torus

This is a follow-up question to a question from math.stackexchange: http://math.stackexchange.com/q/1436253/67563 Had it not been for the exchange there between myself and @Lee_Mosher in the comments ...
8
votes
0answers
165 views

Geometric argument for “easy” part of Jordan-Brouwer separation theorem without local flatness

Let $M^n \subset \mathbb{R}^{n+1}$ be an $n$-dimensional compact connected topological submanifold. The Jordan-Brouwer separation theorem says that $\mathbb{R}^{n+1} \setminus M^n$ contains two ...
3
votes
1answer
155 views

Universal covering and double cover functors

Initially posted on MSE Let $\mathsf{CW}$ be the category of CW-complexes and $\mathsf{CW}_*$ that of pointed CW-complexes (possibly disconnected, one basepoint in each component). I would like to ...
12
votes
2answers
423 views

Non-realizability of $\mathbb{Q}$ as a cohomology group

(This is a re-post of 1) In the paper "On the realizability of singular cohomology groups" by Kan and Whitehead, it is shown that there is no space $X$ and integer $n\geq 1$ such that $H^{n−1}(X)=0$ ...
5
votes
2answers
196 views

Are there non-contractible spaces $A$ and $B$ such that $A \wedge B$ is contractible?

The question is in the title : Can we find spaces $A$ and $B$, each non contractible, such that their smash product $A \wedge B$, i.e. the homotopy cofibre of $A \vee B \to A \times B$, is a ...
6
votes
1answer
209 views

Can the standard map $\Sigma \Omega X \to X$ be a homotopy equivalence?

The question is in the title : are there spaces X such that the adjoint of the identity on the loop space $\Omega X$, i.e. $\Sigma\Omega X \to X$, is a homotopy equivalence ?
6
votes
1answer
345 views

Iterated Homotopy Quotient

If one has a normal Lie group inclusion $H\to G$, with quotient $G/H$, and a $G$-manifold $X$, one can take the quotient $X/H$. Then the $G$-action on $X/H$ factors thru a $G/H$-action, so one can ...
6
votes
2answers
286 views

Seifert--van Kampen for the loop space dga

I recently noticed that I could mostly prove a special case of the following statement. I think it's true in general, though perhaps only for nice spaces. Let $X$ be a topological space, and ...
4
votes
1answer
217 views

canonical action of symmetric groups on orthogonal groups

There is a canonical faithful orthogonal representation of the symmetric group $S_{n+1}$, for $n\geq 1$: $$ S_{n+1}\to O(n) $$ given as follows. (1). I regard $O(n)$ as the isometry group of the unit ...
7
votes
3answers
358 views

Examples of Stiefel-Whitney classes of manifolds

Let $M$ by an compact, connected $n$-dimensional manifold without boundary. Are there any other computable examples of the Stiefel-Whitney class $w(M)$ except for $M=S^m, \mathbb{R}P^m,\mathbb{C}P^m, ...
3
votes
1answer
112 views

symmetric group of regular polyhedrons

Let $\Delta^n$ be the regular $n$-simplex spanned by $(n+1)$ vertices, equipped with an Riemannian metric such that all the edges are of equal length. For example, $\Delta^2$: $\Delta^3$: Let ...
14
votes
2answers
524 views

formula for Eta invariant

Hirzebruch's signature formula is not valid for manifolds with boundary. An error term is introduced by Atiyah-Patodi-Singer to fix it.More precisely: $$sign (M)=L(M)[M]+\eta(\partial M)$$ Yet ...