# Tagged Questions

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

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 ...
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$. ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
732 views

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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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-...
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 ...
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 ...
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$ ...
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 ...
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 ...
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 ...
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}$ ...
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 ...
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 ...
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....
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 ...
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:...
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)$, ...
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 ...
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 ...
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 ...
### 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\ |...