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

learn more… | top users | synonyms (1)

2
votes
1answer
35 views

Kunneth formula for de Rham cohomology twisted by flat vector bundle

It is well known that for two manifolds $M$ and $N$ (let's say they are compact), the Kunneth formula says that $H(M\times N)=H(M)\otimes H(N)$, where $H$ denotes de Rham cohomology with complex ...
8
votes
1answer
220 views

Is the natural isomorphism $|FX_\bullet| \cong F|X_\bullet|$ lax symmetric monoidal?

Let $\mathcal{V_1}$ and $\mathcal{V_2}$ be cocomplete symmetric monoidal categories, each endowed with a cosimplicial object $\Delta^\bullet=\Delta^\bullet_{\mathcal{V}_i}:\Delta \to \mathcal{V}_i$. ...
4
votes
0answers
102 views

Infinite families in stable homotopy groups

I will be very grateful for any advise or reference on the following. 1- How much is known about infinite families in ${_2\pi_*^s}$, the $2$-component of the stable homotopy ring? 2- How much is ...
7
votes
0answers
149 views

What is known about maps between loop spaces of Spheres? - Reference request

What is know in general about the maps $\Omega^rS^n\rightarrow\Omega^sS^m$ between loop spaces of Spheres, or, perhaps to phrase it better, the groups $[\Omega^rS^n,\Omega^sS^m]$ for various values ...
4
votes
0answers
159 views

Under what condition is a fiber bundle cobordant to the trivial bundle?

Let $E$ be the total space of a fiber bundle with base $B$ and fiber $F$, where $B$ and $F$ are smooth manifolds. Under what condition is $E$ unoriented cobordant to $B\times F$? And what happens ...
3
votes
0answers
109 views

'Noether normalization' for finite group schemes

Throughout let $p$ be a prime, and let $k$ be a field of characteristic $p$. Let $G$ be a compact Lie group. Such a $G$ can always be embedded as a closed subgroup of $SU(n)$ for some $n$. This ...
0
votes
0answers
127 views

Covering map of classifying space [on hold]

We know that for any $m \in \mathbb{N}$ the map $p_m: S^1 \to S^1$ is an $m$-sheeted covering of $S^1$. Suppose that $BG$ is the classifying space of an arbitrary group $G$. Does there exist such a ...
7
votes
1answer
291 views

Computational complexity of computing simplicial homology

Is there any literature regarding the fastest known algorithm to compute the homology groups of a simplicial complex (on n vertices)? What about computing the fundamental group? The context is to tell ...
6
votes
1answer
305 views

Status of Zeeman's collapsability Conjecture

Zeeman's conjecture in topological combinatorics states that if $K$ is a contractible polyhedron of dimension 2, then $K\times I$ has a collapsible subdivision. What is the status of this ...
0
votes
1answer
83 views

Inverse Galois Problem ; Galois group of some branched cover of $P^{1}$ defined over $\mathbb{Q}$

I was trying to read a paper on Inverse Galois problem . I understands what the inverse Galois problem is. It asks if every finite group is the Galois group of some extension of the rationals. The ...
7
votes
1answer
732 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 $\...
36
votes
11answers
14k views

Algebraic Topology Beyond the Basics:Any Texts Bridging The Gap?

Peter May said famously that algebraic topology is a subject poorly served by it's textbooks. Sadly,I have to agree. Although we have a frieghtcar full of excellent first-year algebraic topology texts-...
2
votes
3answers
659 views

Classifying spaces, Brown representability, and homotopy equivalences

Let $G_1$ and $G_2$ be topological groups. Assume that there exists a continuous homomorphism $f : G_1 \rightarrow G_2$ which (ignoring the group structure) is a homotopy equivalence. If $BG_i$ is a ...
7
votes
0answers
83 views

Homology of inverse limits over inverse systems more complicated than towers

Most textbooks discussions of homology of inverse limits of chain complexes consider only “towers,” i.e. inverse systems indexed by the natural numbers. I’d like to find a reference that explains what ...
8
votes
1answer
383 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 ...
1
vote
1answer
240 views

$G_1 \rtimes G_2 \cong G_3 \implies BG_1 \times BG_2 \simeq BG_3$? $G_1 \times G_2 \cong G_3 \implies BG_1 \times BG_2 \simeq BG_3$? [closed]

As summarized in the title, suppose there is an isomorphism between $G_1 \times G_2$ and $G_3$, is it always true that $BG_1 \times BG_2$ is homotopy equivalent to $BG_3$? If it is not always true ...
15
votes
5answers
845 views

Simplicial Model of Hopf Map?

The Hopf fibration is a famous map S3 --> S2 with fiber S1, which is the generator in pi_3(S2). We can model this map in terms simplicial sets by taking the singular simplicial sets of these spaces ...
0
votes
1answer
378 views

Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...
9
votes
2answers
655 views

Does there exist a contractible fiber bundle with fiber $G(\infty)$ and base $SU(\infty)$?

Bott periodicity implies that $\Omega(SU)\simeq G(\infty)$. Here, by $G(\infty)$, I mean the direct limit $\underset{m\to \infty}{\lim} G_m(\mathbb{C}^{2m})$ where $G_m(\mathbb{C}^{2m})\subset G_{m+1}(...
5
votes
2answers
528 views

Can a Morse function define a unique structure on a closed manifold?

I was thinking about the doubt that if $M$ and $N$ are closed manifold and if there exists two Morse function $f$ and $g$ respectively on $M$ and $N$ with the following property that they both have ...
6
votes
0answers
51 views

Examples of maps with nontrivial Hopf invariant but Lusternik-Schnirelmann category of the cofiber doesn't increase?

Let $A$ be a suspension and $X$ be a space with Lusternik-Schnirelmann category $n$ and let $\alpha: A\to X$. It is easy to see that the cofiber $C_\alpha$ has $\mathrm{cat}(C_\alpha) \leq n+1$. One ...
5
votes
1answer
188 views

Question on period map, Gauss-Manin connection and complex coordinates of $\mathcal{H}^1(k)$

Let $\mathcal{L}_g$ be the space of abelian differentials on Riemann surfaces of genus $g\ge 2$ and $\mathcal{TH}_g:=\mathcal{L}_g/Diff_0^+(S_g)$ be the Teichmuller space of abelian differentials on ...
-2
votes
0answers
67 views

topology- Compute π1(M3) when M3 be the 3-manifold [closed]

Let M3 be the 3-manifold obtained by gluing two handlebodies of genus g by the identity map. To be precise: Let H1, H2 be two copies of a “standard” genus g handlebody in S 3 . If we denote Σ1 = ∂H1, ...
4
votes
3answers
933 views

Mayer-Vietoris homotopy groups sequence of a pull-back of a fibration

This must be an elementary question: could somebody tell me a reference for the Mayer-Vietoris homotopy groups sequence of a pull-back of a fibration? I'm working in the category of pointed ...
2
votes
0answers
81 views

Does attach-one-cell have a stable homotopy transfer?

Specifically, I am thinking of attaching one ordinary cell to an ordinary space in your favourite convenient category of spaces; so, given a cofiber sequence $$ \mathbb{S}^k \to_c X \to_p X', $$ on ...
10
votes
0answers
114 views

Existence of flat connections via characteristic classes, for nice groups

I have two questions about what I write below (which honestly seems pretty elementary). Is it true (more or less)? Is there a clean reference that I can cite. Let $G$ be a compact Lie group, $M$ a ...
4
votes
0answers
61 views

Criterion for a equalizer to be a homotopy equalizer in spaces

Let $f,g\colon X\rightarrow Y$ be maps between spaces. I am looking for criteria for the equalizer of $f$ and $g$ to be a homotopy equalizer and I am happy to get answers for whatever model category ...
6
votes
1answer
169 views

Can the Hochschild cochain complex be given the structure of a “homotopy BV algebra”?

In a 1993 letter, Deligne posed the following (paraphrased from a paper of Gerstenhaber and Voronov's): Conjecture (Deligne). The Hochschild cochain complex $CC^*(A)$ of an associative ...
4
votes
0answers
81 views

Cohomology operations on unoriented cobordism

In unoriented cobordism there exist stable cohomology operations looking similar to Steenrod squares (they were used by Quillen to compute the unoriented cobordism ring with its formal group law ...
22
votes
2answers
757 views

Equivariant classifying spaces from classifying spaces

Given compact Lie groups $G$ and $\Pi$, there is a notion of "$G$-equivariant principal $\Pi$-bundle", and a corresponding notion of classifying space, often denoted $B_G\Pi$, so that $G$-equivariant ...
2
votes
0answers
64 views

Can relative homotopy groups be represented as relative homology groups of some Moore complex?

Daniel Kan defined a combinatorial version of the homotopy group $\pi_n(X)$ of a simplicial set $X$ as the $(n-1)$st homology of the (non-commutative) Moore complex $\tilde{G}(X)$, where $G_iX$ is ...
8
votes
1answer
381 views

Topological fundamental group of a variety

I have an explicit question. I have a complex projective variety defined by $2\times 2$ minors of a matrix. The entries are polynomials from a weighted projective space. In fact, it's a singular 3-...
5
votes
4answers
451 views

List of invariants that distinguish homotopy equivalent non-homeomorphic spaces

It is written on wikipedia article (https://en.wikipedia.org/wiki/Analytic_torsion) that the Reidemeister torsion is the first invariant that could distinguish between spaces which are homotopy ...
27
votes
2answers
5k 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 ...
9
votes
3answers
954 views

Geometric models for classifying spaces of a group

For any given topological group $G$ we have Segal's construction/definition of $BG$. I'm recalling it in case the details turn out to be relevant. Form the disjoint union of $G^n\times\Delta_n$ ...
8
votes
2answers
810 views

Euler characteristic, Gauss-Bonnet, and a product formula

I know very little about the Pfaffian or how it works, and I'm new at Riemannian geometry in general. But I was wondering if there is some way to make this "intuitive" argument for the fact that a ...
6
votes
0answers
148 views

Identifying a certain element of $E^{2,0}_2$ with the orientation class of an oriented spectra

I'm interested in filling the details of the well known computation, via AHSS of $E^*(\mathbb{C}P^n)$; where $(E,x_E)$ is an oriented spectrum. It is supposed to be easy, yet every proof I've read ...
3
votes
0answers
156 views

How far can one reconstruct the boundary of a manifold M given its interior $int M$? [duplicate]

Suppose I keep in my pocket a manifold with boundary $M$ , and I provide you access to $int M := M \setminus \partial M$ up to homeomorphism/diffeomorphism. What can you deduce about $\partial M$? can ...
9
votes
1answer
272 views

When do non-exact functors induce morphisms on $K$-theory?

Let $\mathcal{A}$ and $\mathcal{B}$ be Waldhausen or exact categories, so that we can take the $K$-theory spectrum of $\mathcal{A}$ and $\mathcal{B}$. An exact functor $F: \mathcal{A} \to \mathcal{B}$ ...
3
votes
1answer
294 views

“Polygons and gravitons” and Kodaira's theorem

I'm trying to understand the paper by Hitchin called: ''Polygons and gravitons". I'm stuck at page 470. At this point, he does some computations and obtains the conformal structure of the real ...
3
votes
0answers
62 views

Various definitions of the odd Chern character form

I am asking this question from my possibly defected memory, so the things below may not be accurate. I want to know how many different definitions of the odd Chern character form using differential ...
2
votes
2answers
205 views

For a universal covering morphism $p:E\rightarrow B$, how to prove $E$ connected implies $B$ connected?

Definition. An arrow $\alpha:A\rightarrow B$ in $\mathsf C=\mathsf{Fam}(\mathsf A)$ is said to be a covering morphism if there exists an effective descent morphism $p:E\rightarrow B$ that splits it, i....
3
votes
0answers
144 views

Topology on $\mathcal{C}(X,Y)$ to work with homotopy

We know that the compact open topology on $\mathcal{C}(X,Y)$ is a good choice for topology on the set of continuous maps, but this seems really efficient, both naively and with respect to existence of ...
12
votes
1answer
133 views

The finiteness criterium $F$ under quasi-isometry

A group $G$ is defined to have $F$ if there exists a finite $K(G,1)$. This property is clearly not invariant under quasi-isometry as one can see from the trivial group and $\mathbb{Z}_2$. My question:...
-1
votes
0answers
122 views

Homotopy equivalence and sheaf cohomology

I have an inclusion $Y \hookrightarrow X$ of varieties that is a homotopy equivalence. ($X$ is a toric variety, $Y$ is a hypertoric variety, in case that is important) I know $H^0(\mathscr{O}_X)$, ...
1
vote
1answer
186 views

free group actions on a contractible topological space [closed]

Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $W$ be a contractible topological space with a free $\Sigma_k$-action (from the left). Let $X$ be a $CW$-complex and let $X^k$ be the ...
33
votes
4answers
4k views

Fundamental group as topological group

Background Let $(X,x)$ be a pointed topological space. Then the fundamental group $\pi_1(X,x)$ becomes a topological space: Endow the set of maps $S^1 \to X$ with the compact-open topology, endow the ...
2
votes
1answer
241 views

Collapse of Hirzebruch Spectral sequence

This question is actually about reading Adams' Stable Homotopy and Generalised Cohomology; in Part II chapter 2, there are two numbered lemmata (Lemma 2.5 contravariant, 2.14 covariant) to the effect ...
8
votes
1answer
516 views

What's the detailed proof of “the composition of planar tangles is well-defined”?

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See ...
5
votes
2answers
233 views

When is $\mathbb C^d\setminus\mathcal Z$ simply connected?

Let $\Delta$ be a fan in the lattice $N\cong\mathbb Z^n$ with $d$ edges $\{\rho_1,\cdots,\rho_d\}$. Consider the co-ordinate ring $\mathbb C[x_1,\cdots,x_n]$. Let $\mathcal Z=\bigcup_C\mathcal V(x_i\ |...