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

learn more… | top users | synonyms (1)

5
votes
1answer
294 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
0answers
181 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 ...
23
votes
2answers
492 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
3answers
406 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
1answer
221 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
1answer
397 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
2answers
431 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 ...
16
votes
0answers
191 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
0answers
108 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
1answer
270 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 ...
9
votes
0answers
172 views

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

This is related to this question (edit: now answered). Is there a nice explanation of the multiplicative structure on the higher pages of that spectral sequence? I want to assume that $h$ is some ...
3
votes
2answers
119 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
0answers
133 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 ...
20
votes
1answer
740 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 ...
6
votes
0answers
189 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
0answers
281 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
1answer
280 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
4answers
509 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
0answers
121 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 ...
11
votes
0answers
370 views

Goodwillie's notes from MSRI Lecture Series

Does anyone know where I can find an electronic version of Goodwillie's (unpublished) notes from the MSRI Lecture Series in Spring, 1990? They're mentioned/cited as such in work of Dundas-McCarthy, ...
14
votes
1answer
467 views

Is there an ∞-categorical interpretation of the Quillen S⁻¹S construction?

The Quillen S⁻¹S construction (not to be confused with the Quillen Q-construction or the Quillen plus-construction), as defined by Grayson in Higher algebraic K-theory: II (page 219), takes as an ...
10
votes
1answer
361 views

Product-like structures on spheres

For $i=1,2$, let $j_i$ denote the inclusion of $S^n$ into the product $S^n \times S^n$ as the $i^{\text{th}}$ factor. I would very much like to know the answer to the following question, which seems ...
1
vote
0answers
148 views

Bockstein cohomology

There is a notion of Bockstein homomorphism $\beta$. I am interested precisly in the case of sequence $$0 \rightarrow \mathbb{Z}/p \mathbb{Z} \rightarrow \mathbb{Z}/p^2 \mathbb{Z} \rightarrow ...
6
votes
2answers
418 views

K theory long exact sequence

(1) Suppose that $Z\subset X$ is a closed embedding, $U = X\setminus Z$ is the complement. If relevant, suppose that both $X, Z$ are smooth and even (if relevant) that the normal bundle of $Z\subset ...
9
votes
0answers
187 views

Homological stability for orthogonal groups

In Vogtmann's paper "Spherical posets and homological stability for $O_{n,n}$" it is shown that for all fields different than the field $F_2$ with two elements the homology groups of the orthogonal ...
6
votes
2answers
337 views

Is this almost-cosimplicial object familiar?

I have a sequence $X_0,X_1,\ldots$ of Abelian groups, along with face maps $d_0,\ldots, d_n: X_{n-1}\to X_n$ which satisfy the standard cosimplicial identities EXCEPT at the very bottom, where in ...
16
votes
1answer
329 views

Koszul complex for non-Koszul algebras

Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal ...
7
votes
1answer
248 views

Suspension of the third Hopf map

There are Hopf maps in three dimensions, I denote their homotopy classes by $h_1 \in \pi_3(S^2)$, $h_2 \in \pi_7(S^4)$ and $h_3 \in \pi_{15}(S^8)$ respectively. For $h_1$ and $h_2$ it is true that ...
5
votes
1answer
223 views

abelian and nonabelian parts of Aut($\widehat{F_2}$)

Let $F$ be the free profinite group on two generators. Let $\text{IA}(F) := \ker\left(\text{Aut}(F)\rightarrow GL_2(\widehat{\mathbb{Z}})\right)$, the group of "IA automorphisms" of $F$. (I'm also ...
2
votes
1answer
331 views

embeddings of product of spheres in Euclidean spaces [closed]

I notice that $T^2=S^1\times S^1$ can be embedded in $\mathbb{R}^3$ as a hypersurface (submnaifolds of codimension 1). In general, (1). could the product of spheres $S^{m_1}\times\cdots\times ...
4
votes
1answer
132 views

covering map from spheres to projective spaces and the associated vector bundle

Let $S^n$ be the $n$-sphere and consider a $2$-sheeted covering $$ S^n\longrightarrow\mathbb{R}P^n. $$ We have an associated vector bundle $$ \xi: \mathbb{R}^2\longrightarrow ...
12
votes
2answers
322 views

Cohomological obstructions to lift $\pi_0$ of a topological group

Let $G$ be a topological group. Denote the same group with the discrete topology by $G^\delta$ and denote the group of connected components of $G$ by $\pi_0G$. I am interested in the question when we ...
3
votes
0answers
171 views

Operadic Lift of Lurie's Relative Tensor Product

In Section 4.4 of his book Higher Algebra, Lurie introduces, for a monoid object $A$ of a monoidal quasicategory $C$, and right and left $A$-modules $M,N$, the relative tensor product $M\otimes_AN$. ...
6
votes
0answers
132 views

Two proofs of the Cheeger-Müller theorem

In the late 1970's, Cheeger and Müller independently proved the equality of analytic torsion and Reidemeister torsion for orthogonal representations, which had been conjectured by Ray-Singer. Their ...
4
votes
3answers
354 views

classifying space of orthogonal groups

Let $O(n)$ be the $n$-th orthogonal group and $O$ be the direct limit of $O(n)$ with respect to $n$. Let $BO(n)$ and $BO$ be the classifying spaces. Question: Why $BO$ is an $H$-space? My supervisor ...
3
votes
2answers
244 views

rational cohomology of symmetric groups

Let $\Sigma_k$ be the $k$-th symmetric group and $B\Sigma_k$ be its classifying space. How to prove: for any $n\geq 1$ and the $n$-skeleton $sk_n (B\Sigma_k)$, there exists a finite dimensional ...
6
votes
1answer
234 views

Under what conditions is the induced map of etale fundamental groups surjective?

Let $f:X \to Y$ be a morphism of schemes. I am interested in sufficient conditions on $f$ which would ensure that the induced map $\pi_1^{et}(X) \to \pi_1^{et}(Y)$ of etale fundamental groups is ...
14
votes
1answer
477 views

Is the moduli space of graphs simply connected?

The moduli space of graphs $MG_n$ is the quotient of Culler-Vogtmann's outer space $X_n$ by the action of $\mathrm{Out}(F_n)$. It can be thought of as the space of metric graphs homotopy equivalent to ...
3
votes
1answer
189 views

“Ambient homotopy” between preimages under a fiber bundle?

Choose a notion of an "ambient homotopy" between maps of topological spaces. For example, say that two embeddings $Y \rightarrow X$ are ambiently homotopic if there is a path between them in the space ...
3
votes
1answer
194 views

What is kernel $\phi:G\rightarrow \pi_1(X/G,p(x_0))$?

Let $G$ be a discontinuous group (this means that it acts discontinuously with finite stabilizers) of homeomorphisms of a simply connected, locally compact metric space $X$. Let $p:X\rightarrow X/G$ ...
4
votes
1answer
153 views

Transgression in terms of k-invariant for chain complexes

I am looking for a reference for the following. Say we have a $G$-space $X$ whose homology groups (in field coefficients $k$) are non-zero only in dimension zero and for a fixed $n>0$. Let $M$ ...
2
votes
0answers
94 views

Chern character of finite $CW$-complexes and rational Pontrjagin class of vector bundles

Let $K$ be a finite $CW$-complex. Could you give any references or explanations for the following two items? I do not understand. Thanks! (1). The Chern character from $\tilde{KO}^0(K)$ to the ...
4
votes
0answers
176 views

Milnor's model of $EG$ and Kac-Moody groups

I am working with non-compact Kac-Moody groups $\mathcal{K}$. We can use Milnor's join model for $E\mathcal{K}=\varinjlim \mathcal{K}^{*n}$, where $\mathcal{K}^{*n}$ is the iterated join (see page 20 ...
4
votes
1answer
135 views

The cooperations algebras Johnson-Wilson theory and truncated BP-theory

Given a prime $p$, there is a well known homology theory $BP$, known as Brown-Peterson homology. Has several related theories, namely the Johnson-Wilson theories $E(n)$ and the truncated ...
5
votes
1answer
205 views

how to prove the $n$-times self-product of a map is null-homotopic

Let $k$ be a fixed positive integer and $\Sigma_k$ the $k$-th symmetric group. By letting $\Sigma_k$ permuting an orthonormal basis of a $k$-dimensional Euclidean space, there is a "regular ...
7
votes
1answer
153 views

classifying maps of Whitney sums of vector bundles

For an $n$-dimensional vector bundle $\xi$ with structure group $G\leq O(n)$ over a $CW$-complex $B$, we have a classifying map up to homotopy $$ f(\xi): B\longrightarrow BG, $$ $f(\xi)\in [B;BG]$, ...
8
votes
0answers
155 views

Which map realizes the isomorphism $KO_n(X)\otimes \mathbb{Q}\to \bigoplus_{i\in\mathbb{Z}}H_{n-4i}(X;\mathbb{Q})$?

The description of the real $KO$-homology groups $KO_n(X)$ can be given abstractly as maps to the real K-theory spectrum $KO$ smash $X$, or via triples $(M,x,\phi)$ where $M$ is a closed manifold, ...
1
vote
0answers
71 views

Alexander Duality in the complex plane

Thanks to Alexander duality, we know that for each compact subset $K$ of $\mathbb{C}$ there is an isomorphism $$H_1(\mathbb{C} \backslash K) \simeq \prod_{i \in CC(K)} \mathbb{Z},$$ where $CC(K)$ is ...
3
votes
1answer
161 views

Definition of Left Operadic Kan Extension for $\infty$-operads

In Lurie's book Higher Algebra, he makes the following definition: Definition 3.1.2.2: Let $M^\otimes\to N(Fin_\ast)\times\Delta^1$ be a correspondence from an $\infty$-operad $A^\otimes$ to another ...
2
votes
0answers
86 views

order of elements in a mapping space

Let $B$ be a finite CW-complex and $\xi$ be a vector bundle over $B$ with structure group $\Sigma_n$, the $n$-th symmetric group. Then corresponding to $\xi$, we have a classifying map $$ g\in \tilde ...