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

learn more… | top users | synonyms (1)

7
votes
2answers
421 views

How much of homotopy theory can be done using only finite topological spaces?

Let $X$ be a finite simplicial complex and let $B$ denote the set of barycenters of the simplices of $X$. McCord constructed a $T_0$ topology on $B$ with the property that the inclusion $B \to X$ is ...
7
votes
2answers
275 views

Fundamental group of $\mathbb{R}^3-F$ where $F\subseteq \mathbb{R}\times \{0\} \times \{0\}$

Maybe not research level. Let $Z\cong \mathbb{R}$ be the $z$-axis of $\mathbb{R}^3$. Clearly $\pi_1(\mathbb{R}^3-Z)\cong \mathbb{Z}$. Now if $F\subset Z$ is a closed non-empty subset, then one easily ...
4
votes
1answer
315 views

Connections between Standard, Hodge and Tate conjectures on algebraic cycles?

What implications would a solution of the Standard Conjectures have on the Hodge and Tate Conjectures and reverse?
11
votes
2answers
432 views

Manifolds covered by an n-dimensional torus

It is well-known that classification of manifolds up to homemorphism is, in general, out of question. However, this task is sometimes tractable under some additional assumptions on manifolds one would ...
2
votes
1answer
359 views

Extending a property of commutative algebras to C infinity algebras

If A is a commutative algebra and B is an X- algebra, then the tensor product $A \otimes B$ is an X-algebra (so for example, $Com \otimes Lie$ is a Lie algebra). This is seen using the language of ...
17
votes
2answers
380 views

Adams Operations on $K$-theory and $R(G)$

One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...
5
votes
1answer
379 views

Counterexample in cohomology for symmetric spectra?

Symmetric spectra are a particular model for spectra, introduced by Hovey, Shipley and Smith. They have the nice property that they have a well-behaved smash product. Our interest in spectra comes ...
11
votes
3answers
518 views

Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?

Milnor proved that any paracompact Hausdorff space which is equi-locally convex (and hence in particular locally contractible) is homotopy equivalent to a CW complex. However, unlike being paracompact ...
13
votes
4answers
336 views

Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is: "For spectra every cofibration is equivalent to a fibration" (e.g. in the ...
16
votes
3answers
927 views

Brauer Groups and K-Theory

Is there some a priori reason why we should expect the Brauer group of real [complex] super vector spaces to be closely related to periodicity in real [complex] K-theory? By "a priori" I mean a proof ...
3
votes
0answers
66 views

Connection between framed cobordisms and zero sets

Let $W\subseteq M\times[0,1]$ be a framed submanifold (a framed cobordism in $M$) and $2w<m-1$ where $w,m=\dim W,M$. Assume that $M$ is compact and that $W\cap M\times \{0\}$ is the zero set of a ...
6
votes
1answer
426 views

Differentials in the Adams Spectral Sequence for spheres at the prime p=2

How does one compute the differentials in the Adams Spectral Sequence for spheres at the prime 2 in the range $13\le t-s\le 20$? There seem to be 6 nonzero differentials, and at this point I only ...
4
votes
0answers
157 views

Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let $q: D^k \to D^r$ be a map and $r \leq k$. Let $$W = S^k \sqcup D^r/\sim$$ where ...
11
votes
2answers
276 views

The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...
0
votes
0answers
83 views

Could anyone help me with a problem regarding fundamental groups? [on hold]

Let G be a group and x be an element of G. N is the least normal subgroup of G containing x. If there is a normal, path-connected space whose fundamental group is isomorphic to G, then I have to show ...
1
vote
0answers
125 views

On functoriality of the Leray spectral sequence

The Leray spectral sequence is functorial in the following sense: given a commutative square of spaces, $$\begin{matrix} A & \to & B \\ \downarrow & & \downarrow \\ C & \to & D ...
11
votes
0answers
235 views

Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle

My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...
2
votes
1answer
202 views

RO(G) grading of Mackey functors

If G is a finite group, I understand that the category of RO(G)-graded spectra, when rationalized, becomes Quillen equivalent to the category of Mackey functors valued in chain complexes of rational ...
15
votes
1answer
267 views

Cohomology class of the group extension from a principal bundle

Let $M$ be a closed connected manifold and fix a basepoint $q \in M$ and a Riemannian metric on $M$. Let $F(M)$ denote the orthonormal frame bundle of $M$. This is a principal $O(n)$-bundle over $M$ ...
8
votes
1answer
236 views

Representation of finite groups in a compact Lie group

Let $H$ be a finite $p$-group, and let $G$ be a compact connected Lie group. Then it is well-known that $[BH,BG]\cong Rep(H,G)$, where $BH$ and $BG$ are classifying spaces and $Rep(H,G)$ is the set ...
-2
votes
0answers
163 views

Research topic selection [on hold]

I am planning to do my PhD in either sheaf theory or generalised functions.pls help me choose one among them by pointing the scope and relevance. thanks in advance.
3
votes
1answer
152 views

Carlsson's spectrum BG^-V

In the appendix to Carlsson's "Equivariant stable homotopy and Segal's Burnside ring conjecture," he introduces a spectrum BG^-V associated to a G-representation V. It is like a Thom spectrum of the ...
3
votes
2answers
261 views

$K$-homology of $BG$

Let $G$ be a finite group. Atiyah proved that the $K$-cohomology of $BG$ vanishes in odd degrees and in even degrees is the completion of the representation ring of $G$ at the augmentation ideal. ...
2
votes
3answers
440 views

Fracture Squares of Bousfield Localizations of Spectra

Suppose I have a spectrum $X$ and two homology theories $E$ and $F$. If I look at the Bousfield localizations, $L_E$, $L_F$, $L_{E\vee F}$ and $L_{E\wedge F}$, do I have a homotopy pullback square ...
8
votes
3answers
505 views

The cohomology plus what characterizes the rational homotopy type?

For simplicity let me work only with connected and simply connected spaces. "Space" will mean a space of this type. A space is rational if its homotopy groups are rational vector spaces ...
-4
votes
0answers
65 views

Video Lecture for topolgy [closed]

want to study general topology. i find video lecture at nptel, but instructor's pronunciation is hard to understand. so other course to study general topology? thankyou!
4
votes
1answer
142 views

$RO(G)$-Graded Cohomology Theories

Let $G$ be a compact Lie group with real representation ring $RO(G)$. Recently, I have been learning about some aspects of $RO(G)$-graded cohomology theories (for a precise definition, see Chapter ...
4
votes
1answer
158 views

About elegant Reedy categories

I discovered today the notion of elegant Reedy category introduced in the paper Reedy categories and the $\Theta$-construction of Julia E. Bergner and Charles Rezk. An interesting property of such ...
1
vote
0answers
246 views

Grothendieck's letter to serre

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?
2
votes
3answers
446 views

Reference request: SGA7

I want to read SGA7. Without considering the others SGA and EGA, Which are the textbooks for monodromy theory?
1
vote
0answers
78 views

A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof? Statement. ...
1
vote
1answer
137 views

Examples of nontrivial local systems in Decomposition Theorem

There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that $$Rf∗IC_X \cong \oplus_a ...
23
votes
4answers
1k views

What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra. In the former, one assigns to ...
1
vote
0answers
128 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in ...
12
votes
4answers
983 views

Is an A-infinity thing the same the same as strict thing viewed through a homotopy equivalence?

If I have a topological monoid ($X,\mu$), a space $Y$ and a homotopy equivalence $f,g$ between them, then $Y$ has the structure of an $A_\infty$ space defined 'pointwise' by $$ y_1 * y_2 := g ...
5
votes
1answer
261 views

Detection of stable homotopy by K-theory spectra

This is primarily a reference request. Does anyone know of any writing about algebraic K-theory spectra picking up elements in the stable homotopy groups of spheres in their Hurewicz image coming from ...
5
votes
2answers
274 views

Time-line until the publicaton of Weil of “Numbers of solutions of equations in finite fields”

In "On the history of the Weil Conjectures" Dieudonné says: "Appropriately enough, the story, as with so many problems in number theory, begins with Gauss...". C. F. Gauss, Disquisitiones ...
0
votes
0answers
69 views

Examples of manifolds whose second Stiefel-Whitney satisfies a nontriviality condition

I'm looking for examples of pairs $(M,L)$ where $M$ is a symplectic manifold, $L$ a (closed, connected) Lagrangian submanifold, such that the second Stiefel-Whitney of $L$, $w_2(TL)$, evaluates ...
3
votes
3answers
755 views

Why are we interested in the Fundamental Groupoid of a Space?

The classical version of the van Kampen theorem is concerned about the fundamental group of a based space. In fact, it says that the functor $\pi_1$ preserves certain types of pushouts in $Top_*$. ...
2
votes
0answers
46 views

d-refining covering of normal space

If $X$ is normal, it is well known that for any open-covering $(U_i)$ of $X$, there exist closed subspaces $F_i$ and $G_i$ and an open subspaces $O_i$ such that $$F_i\subset O_i\subset G_i\subset ...
4
votes
1answer
224 views

Non-vanishing of elements in cohomology of full Flag varieties

Consider the full flag variety $F_n$ consisting of full flags in $\mathbb C^n$. There is a collection of tautological bundles on $F_n$: $0=U_0\subset U_1\subset ...\subset U_{n-1}\subset U_n=\mathbb ...
0
votes
3answers
216 views

question about the induced homomorphism of etale fundamental groups

Background/Setup For any connected scheme $S$, let $\text{FEt}_S$ denote the category of finite etale $S$-schemes. Let $f : X\rightarrow Y$ be a morphism of connected schemes, then for any finite ...
0
votes
0answers
415 views

A letter from J. P. Serre

Which is the letter where J. P. Serre present "Analogues Kählériens de certaines conjectures de Weil" to Weil?
3
votes
1answer
146 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. ...
7
votes
0answers
450 views

Homotopy type of complex algebraic varieties

In his 1974 ICM adress "Poids dans la cohomologie des variétés algébriques", Pierre Deligne explains that any finite polyhedron has the same homotopy type as a complex algebraic variety (section 6.). ...
4
votes
2answers
221 views

A question about Dehn surgery and Brieskorn homology 3-spheres

I have been learning about Brieskorn homology 3-spheres $\Sigma(a_1,...,a_n)$ and Seifert manifolds. My reference is the first few pages of Saveliev's "Invariants of Homology 3-spheres." If I ...
6
votes
2answers
132 views

Topological relationships between family of transversal intersections of manifolds

Let $M$ and $N$ be submanifolds of $\mathbb{R}^n$ and let $a(t)$ be a smooth path in $\mathbb{R}^n$ such that $M+a(t)$ intersects $N$ transversally for all $t \in [0,1]$. Is there a nice relationship ...
4
votes
1answer
238 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$, ...
5
votes
2answers
193 views

What 3-manifolds can be obtained by gluing $ S^1 \times P $ and two copies of $S^1 \times D^2$

Let P denote the pair of pants e.g. a sphere minus three small discs $D_1$,$D_2$,$D_3$ about marked points $x_1,x_2,x_3$. I then consider $P \times S^1$. We have boundary components $T_1$,$T_2$,$T_3$. ...
6
votes
1answer
267 views

Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category? How about ...