Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 65

Homotopy theory, homological algebra, algebraic treatments of manifolds.

3 votes

A specific branched cover of S^2 as a subgroup of Pi_1

In standard topological terms, the exact sequence that relates homotopy groups of the base $B$, fiber $F$ and total space $E$ of topological fibration gives $$\pi_1(F) \to \pi_1(E) \to \pi_1(B) \to \ …
Ilya Nikokoshev's user avatar
3 votes

Degree 2 branched map from the torus to the sphere

You can do a reverse construction: start with a sphere without 4 points; now add two points over each one in such a way that every time you go around one hole the two points get interchanged. The sam …
Ilya Nikokoshev's user avatar
7 votes
5 answers
978 views

Killing the torsion in homotopy

Origin This question was asked by John Baez in This Week's Finds in Mathematical Physics (Week 286). Therefore, please don't upvote this question (unless you really want to), but do upvote the answer …
Ilya Nikokoshev's user avatar
3 votes
1 answer
852 views

Any reason why K_23(Z) has order 65520?

I'm rereading my notes and they mention that $K_{23}(\mathbb Z) = \mathbb Z/(65520)$ This looks like a good point to stop and ask whether there is any explanation for this $K$-group of integers (23 i …
Ilya Nikokoshev's user avatar
1 vote

(infinity,1)-categories directly from model categories

There is a followup article, first in the 5-article series Derived Algebraic Geometry: Stable Infinity Categories, arXiv:math/0608228 In particular, The theory of stable ∞-categories is not re …
Ilya Nikokoshev's user avatar
21 votes
2 answers
2k views

Topologically contractible algebraic varieties

From a post to The Jouanolou trick: Are all topologically trivial (contractible) complex algebraic varieties necessarily affine? Are there examples of those not birationally equivalent to an affin …
Ilya Nikokoshev's user avatar
1 vote

The Jouanolou trick

I might be missing something about question 3. Here's a simple construction: Consider a projective space $P$ of dimension $\text{dim}\\, P_1 + \text{dim}\\, P_2$ that contains both $P_1$ and $P_2$ in …
Ilya Nikokoshev's user avatar
4 votes
3 answers
2k views

Homotopy groups of smooth manifolds?

For a fixed $d$, is there a relationship between the homotopy groups of smooth $d$-manifolds? The $d=1$ case is trivial, but I already don't know how to approach $d=3$ (I should have said that th …
Ilya Nikokoshev's user avatar
21 votes
5 answers
1k views

Explanation for E_8's torsion

To study the topology of Lie groups, you can decompose them into the simple compact ones, plus some additional steps, such as taking the cover if necessary. After that, the structure of $SO(n)$'s is r …
Ilya Nikokoshev's user avatar
3 votes

Cubical vs. simplicial singular homology

I don't know for sure, but it would appear he means that it's easier to construct a cubic chain on a product $X \times Y$ given cubic chains on $X$ and $Y$ compared to the simplex chain given two simp …
Ilya Nikokoshev's user avatar
18 votes
8 answers
3k views

How to get product on cohomology using the K(G, n)?

This came up in the question about Eilenberg-MacLane spaces. Given the definition of K(G, n), it's easy to prove that there is a map K(G,n) x K(G,n) --> K(G,n) that endows cohomology with an additive …
Ilya Nikokoshev's user avatar
2 votes

Cohomology and Eilenberg-MacLane spaces

Indeed, the statement is that homotopy classes of continuous maps of pointed spaces $[X, K(G, n)]$ are in 1-1 correspondence with the elements of singular homology $H^n(X, G)$ for a CW-complex $X$. T …
Ilya Nikokoshev's user avatar
6 votes

Some intuition behind the five lemma?

One example would be a map induced by a morphism $f: X \to Y$ in the long homology sequence. E.g. suppose the top row is a cohomology of pair $(X, A)$ and the bottom row is the cohomology of pair $( …
Ilya Nikokoshev's user avatar
0 votes

Whitehead for maps

I think the proper Whitehead for maps says that if the cone of the map has trivial homotopy groups, then the map is a homotopy equivalence. Edit: see also the discussion of Whitehead theorem in the c …
Ilya Nikokoshev's user avatar
1 vote

de Rham Cohomology of surfaces

I don't remember exactly, but I think your question and in general your approach to topology should be along the lines of Bott-Tu book.
Ilya Nikokoshev's user avatar

15 30 50 per page