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

learn more… | top users | synonyms (1)

9
votes
3answers
354 views

Quotient of the hyperbolic plane with respect to commutator group of $\pi_1(\Sigma_g)$

Let $\Sigma_g$ be a Riemann surface of genus $g\geq 2$ and $G=\pi_1(\Sigma_g)$. Let $\pi\colon \mathbb{H}\to \Sigma_g$ be the universal covering map. What kind of surface is $\mathbb{H}/[G,G]$? ...
41
votes
2answers
1k views

$H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free. ...
1
vote
1answer
104 views

Bounded dg algebra vs unbounded dg algebras

1)Let $Cd_{\geq 0}ga$ be the category of non negatively commutative cochain dg algebra over a field $\Bbbk$ of charachteristic zero. Let $w\: : \: Cd_{\geq 0}ga\to dg_{\geq 0}Mod$ be the forgethfull ...
20
votes
2answers
524 views

Unstable homotopy groups of spheres beyond Toda's range

In 1962 Toda published his book "Composition methods in homotopy groups of spheres", which contains computations of $\pi_{n+k}(S^n)$ for $k\le 19$ and $n\le 20$. The values of these groups are ...
14
votes
0answers
1k views

Grothendieck 's question - any update?

This question is migrated from math.stackexchange. I ask because it is still unclear to me and I did not receive an answer. I was reading Barry Mazur's biography and come across this part: ...
-3
votes
0answers
111 views

Cylinder in a topological space? [on hold]

There is a notion of path in a topological space $X$, namely a continuous function f with domain X and codomain the interval $[0, 1]$. Given that, in a Quillen model category, the dual of a path ...
0
votes
0answers
107 views

Understanding the homotopy category of chain complexes [on hold]

In the definition of the Homotopy category of chain complexes http://en.wikipedia.org/wiki/Homotopy_category_of_chain_complexes , One defines maps between chain complexes in a certain way that I ...
1
vote
0answers
71 views

Lefschetz fixed notation

If $f\colon X\to X$ is a self-map of a nice space with isolated fixed points, then the Lefschetz fixed point theorem relates a global number to local numbers. Some write: $L(f)=\sum_{x\in ...
3
votes
1answer
285 views

How do small changes in a filtered complex affect the associated spectral sequence

I have recently been learning about spectral sequences, not in the context of any problem, but mostly out of curiosity. There are two questions that have occurred to me which I've been unable to ...
10
votes
1answer
285 views

Condition on a Hopf operad for tensor product in the base categoy to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...
2
votes
2answers
215 views

Closure relations between Bruhat cells on the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$. How do we prove the closure relations between the cells, which ...
4
votes
1answer
286 views

Cap product à la Poincaré

Recently, it became apparent to me that I was not the only one who always first thought in terms of cap product before actually computing a cup product. There is no denying this is evil, but I found ...
9
votes
2answers
824 views

A question on fixed point theory

I asked this question in MSE, but I did not received any answer, so I repeat it here: http://math.stackexchange.com/questions/858238/a-question-on-fixed-point-property Assume that $0<k<n-1$, ...
2
votes
0answers
144 views

Dehn-Sommerville relations for $\Delta$-complexes

Let $M$ be a closed, triangulated manifold of dimension $m$ and $K(M)$ be its triangulation. Let $f_i$ denote the number of $i$-simplices of $K(M)$. As proved by Klee the face numbers satisfy the ...
3
votes
0answers
362 views

The twisted kiss of the curvaceous cubic and the staid tetrahedron (references)

(Migrated from MSE) While investigating some operators, I came across some relations between the twisted cubic curve and the tetrahedron that link together some notions in differential geometry, ...
4
votes
0answers
82 views

Contractibility of a poset-indexed colimit

Let $(X,\leq)$ be a poset with distinguished element $p$, and let $P'$ be the poset of "finite chains which weakly descend to $p$" given by all $\sigma = (x_0 \geq x_1 \geq \cdots \geq x_k \geq p)$ ...
39
votes
2answers
4k views

Hirzebruch's motivation of the Todd class

In Prospects in Mathematics (AM-70), Hirzebruch gives a nice discussion of why the formal power series $f(x) = 1 + b_1 x + b_2 x^2 + \dots$ defining the Todd class must be what it is. In particular, ...
1
vote
2answers
150 views

Generalization of Bracketing (or one of its many equivalences)

I asked the following question on MathStackExchange, but I have not received any answers after almost 3 days. Although it may not be a research level question, I thought I could ask it here. *"Is ...
18
votes
2answers
3k views

The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis? Please see this related post and also the following post. Added : According to their ...
10
votes
1answer
853 views

Reference request for TQFT, functoriality

I am reading Turaev's blue book Quantum Invariants of Knots and 3-manifolds. It is difficult for me to understand the proof of Theorem 1.9 in chapter 4, which says; The function $(M, \partial_{-}M, ...
-1
votes
0answers
169 views

Please help me to find a paper by J. Wu [closed]

I am looking for the following paper: J. Wu, Combinatorial descriptions of the homotopy groups of certain spaces, Math. Proc. Camb. Philos. Soc. 130 (2001), 489-513. Many thanks for helping me ...
7
votes
1answer
267 views

Non-unique splittings of homotopy idempotents

By a homotopy idempotent I mean a map $f:X\to X$, where $X$ is a space, equipped with a homotopy $f\circ f \sim f$. In contrast to the situation in stable homotopy theory (where $X$ would be a ...
12
votes
0answers
439 views

What is operator tmf?

One of the many wonderful things about K-theory, relative to other generalized cohomology theories, is that it can be defined for not-necessarily-commutative C*-algebras. The resulting construction, ...
1
vote
0answers
108 views

Homotopical nilpotency of self homotopy equivalence

Given a topological space $X$, ${\rm aut}(X)$ denotes the monoid of the homotopy self equivalences of $X$, that are maps $f: X\rightarrow X$ which admits a homotopy inverse. ${\rm aut}_1(X)$ denotes ...
15
votes
7answers
2k views

Whitehead for maps

I made the following claim over at the Secret Blogging Seminar, and now I'm not sure it's true: Let $f: X \to Y$ and $g: X \to Y$ be two maps between finite CW complexes. If f and g induce the same ...
3
votes
1answer
206 views

Reference request for non-commutative analogues of exterior algebras

I am reading Combinatorial Group Theory In Homotopy Theory I by Fred Cohen (preprint available on web page). Here is an extract of the paper: Cohen called $A^R_n$ "a standard tool used in ...
0
votes
0answers
182 views

Uniqueness of ring structure on spectra.

I was reading an article by Baker and Righter "Γ-COHOMOLOGY OF RINGS OF NUMERICAL POLYNOMIALS AND $E_{\infty}$-STRUCTURES ON K-THEORY" and an article by Hopkins and Goerss "Moduli Spaces of ...
36
votes
2answers
774 views

Can a subset of the plane have nontrivial $H_2$ or $\pi_2$?

This is a question that occurred to me years ago when I was first learning algebraic topology. I've since learned that it's a somewhat aesthetically displeasing question, but I'm still curious about ...
8
votes
2answers
193 views

Fundamental groups of normal complex quasi-projective varieties

I would like to know if there is an explicit example of a finitely presented group that can not be realised as the (topological) fundamental group of a normal complex quasi-projective variety?
7
votes
1answer
485 views

Relation between $BG$ in topology and in algebraic geometry

This could as well have been asked in the comments to this question, but I prefer to open a new one for the sake of clarity. Say $G$ is a reductive group over the complex numbers, with compact real ...
1
vote
0answers
104 views

Question about a theorem of Goodwillie on periodic cyclic homology

In his paper Cyclic homology, Derivations and the Free Loopsace, Goodwillie defines periodic cyclic homology for differential graded algebras (A,d) concentrated in non-negative degree. Why does he ...
6
votes
1answer
181 views

Parity of self-linking

For a class $x$ in $H_{2k}$ of a 4k-manifold $M$, the self-intersection $x.x$ agrees mod 2 with the cap product of $x$ with the Wu class $v_{2k}$. If instead $x$ is a torsion element of $H_{2k}$ of a ...
10
votes
1answer
192 views

String Orientation and Level Structures

Atiyah, Bott and Shapiro defined orientations of real and complex K-theory that were later refined to maps of ($E_\infty$-ring) spectra $$MSpin \to KO$$ and $$MSpin^c \to KU.$$ Likewise, but more ...
0
votes
1answer
138 views

Principal bundle associated to a fiber bundle

Let $\pi : E\to B$ be a fiber bundle with fiber $F$ over a finite complex $B$ whose structure group is a compact Lie group $G$. How can we determine the principal $G$-bundle associated to $\pi$? For ...
17
votes
1answer
270 views

Lens spaces and generalized Petersen graphs

Recently I came across this mathoverflow question, in which the number of homeomorphism classes of 3-dimensional lens spaces $L(p, q)$ is computed as a function of $p$. Using the OEIS, I found a ...
5
votes
1answer
300 views

Uniqueness of Complex Orientation of Morava K-theory

It is known that the $n^{\text{th}}$ Morava $K$-theory at a prime $p$, denoted $K(n)$, is complex oriented. In other words, it admits a theory of Chern classes, or equivalently a morphism of homotopy ...
12
votes
2answers
527 views

Classifying TQFTs with 1d vector spaces

To what extent have people classified $n$-dimensional TQFTs that assign a 1-dimensional vector space to every compact oriented $(n-1)$-manifold? I have some vague reasons to suspect that the ...
3
votes
1answer
74 views

Local index formula for >ungraded< elliptic operators

Let $P\colon E \to F$ be an elliptic pseudodifferential operator over $M$. Assuming that $P$ defines a finitely summable Fredholm module, we may apply the Chern-Connes character to it to get a cyclic ...
0
votes
1answer
217 views

Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation. Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...
4
votes
2answers
340 views

$E_n$-space and n-connected pointed space

Is it true that the homotopy category of group-like $E_n$-spaces is equivalent to the homotopy category of pointed $n$-connected spaces ? If it is true, what should be the statement when ...
16
votes
1answer
529 views

Classical and Quantum Chern-Simons Theory

Please excuse a sloppy question from an old user who hasn't been here in a long time. I think the expertise here is such that it can be answered anyway. Let $\Sigma$ be a two-manifold and $M$ a ...
0
votes
0answers
45 views

Lusternik-Schnirelmann category of rational spaces of infinite type

Suppose I have an $n$-dimensional (simply-connected) rational space $X$ with L-S category $k$. Must there be a finite rational subcomplex $K \subseteq X$ with $\mathrm{cat}(K) = k$? Even better, I ...
3
votes
1answer
159 views

Generalization of Giroux's Theorem for Higher Dimensions?

Just wanted to know if Giroux's theorem for 3-dimensional contact manifolds can be generalized: In contact geometry for manifolds of dimension 3 , we have Giroux's theorem , stating that for any ...
-1
votes
1answer
406 views

Higher Homotopy Groups

Theorem 5.1 of this paper describes a map $K_n(R)\to \pi_{n+1}(SK(E(R),1))$, where $S$ denotes the suspension. My question: Do we have a map from $K_n(R)\to \pi_{n+1}(S^2K(E(R),1))$. Any reference is ...
4
votes
1answer
157 views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...
5
votes
0answers
98 views

When is the diagonal inclusion a $\Sigma_2$-cofibration?

Recall that a space $X$ is called locally equiconnected or LEC if the diagonal map $d:X\hookrightarrow X\times X$ is a cofibration. For example, CW-complexes are LEC. There is some discussion of this ...
0
votes
0answers
89 views

Does the polynomial De Rahm functor preserves finite cartesian products?

Let $\Omega^{*}_{\text{poly}}\: : \: sSet\to dg_{\geq 0}Comm_{+}$ be the polynomial De Rahm functor on simplicial sets. I have the following questions 1) When we have a quasi-isomorphism between ...
4
votes
1answer
324 views

understanding the definition of $\infty$-operad of module objects

I'm just trying to understand the following definition: Definition 3.3.3.8 in Higher Algebra by J. Lurie defines the $\infty$-operad of $O$-module objects, and says the following: Let $O^\otimes$ be ...
6
votes
1answer
202 views

Action of the homotopy braid groups on reduced free groups

Firstly some definitions: $B_n$ is the braid group with $n$ strands. $\widetilde{B_n}$ is "homotopy braid group", which is a factor group of $B_n$ by adding the relation that $A_{j,k}$ ...
27
votes
2answers
1k views

What do loop groups and von Neumann algebras have to do with elliptic cohomology?

Recall that complex $K$-theory is a cohomology theory on topological spaces, which can be described in several equivalent ways: Given a finite complex $X$, $K^0(X)$ is the Grothendieck group of ...