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

**2**

votes

**1**answer

372 views

### Two questions about the grassmannian

There are two statements about the grassmannian (of complex k-planes in n-space embedded via Plucker coordinates) that I have encountered in several places never accompanied with a proof or reference.
...

**2**

votes

**1**answer

383 views

### Topological degree and polynomial degree

Let $F:\mathbb{C}^n\to \mathbb{C}^n$ be a homeomorphism homogeneous of degree 1 (i.e., $F(tx)=tF(x)$, $t>0$) and $g:\mathbb{C}^n\to \mathbb{C}$ a homogeneous polynomial of degree $k$. Let $L$ ...

**0**

votes

**0**answers

152 views

### Symplectic submanifolds in $\mathbb{R}^4$

Which symplectic submanifolds can be realized in $\mathbb{R}^4$ with standard ($\text{d}\,\boldsymbol{p} \wedge \text{d}\,\boldsymbol{q}$) symplectic structure? It's easy to show that such ...

**3**

votes

**1**answer

243 views

### Compactly supported cohomology of homotopy equivalent manifolds

Are there examples of homotopy equivalent smooth, orientable manifolds $M$ and $N$ of the same dimension with non-isomorphic compactly supported cohomology rings?

**21**

votes

**6**answers

2k views

### Down-to-earth expositions of Hodge theory

What are nice expositions of Hodge theory not using advanced language of algebraic geometry or category theory?
Of course, since I haven't found a (for me) readable introduction, I don't know what I ...

**-4**

votes

**1**answer

237 views

### Can you overcome the 6th degree obstruction? [on hold]

I read and am still thinking about a 3-year old paper from the Danish-Norwegian "Niels Abel Journal". Two authors, named Somethingson (not Jacobson) and another Somethingelseson (still not Jacobson), ...

**0**

votes

**1**answer

84 views

### Extending binary operation used by homotopy classes

There is this operation you learn in algebraic topology when working with homotopy groups and loops i.e. paths on a topological space $X$, $p:[0,1]\rightarrow X$ with $p(0) = p(1)$. Basically it is ...

**11**

votes

**2**answers

388 views

### rationalization of classifying spaces

This question is probably trivial for anyone who is more familiar with rational homotopy theory than me, but anyway:
Let $G$ be a simply-connected topological group. In particular, it is an ...

**18**

votes

**4**answers

1k views

### Quillen's motivation of higher algebraic K-theory

Almost the same question was already asked on MO Motivation for algebraic K-theory?
However, to my taste, the answers there consider the subject from a more modern point of view.
When I open a book ...

**8**

votes

**3**answers

457 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 ...

**2**

votes

**2**answers

126 views

### Which graphs generate a matroidal independence complex?

The independence complex $I(G)$ of a graph $G=(V,E)$ has as point set the vertex set $V$ and as simplices the independent sets of $G$.
Now, if $G$ is a well-covered graph (where all maximal ...

**3**

votes

**0**answers

96 views

### Special representations for morphisms of spectra from a smash product

I follow the definitions of spectra, function, morphism, found on Switzer, chapter 8.
After definition 8.15 where he defines homotopies of spectra, he says:
In terms of cofinal subspectra we can ...

**5**

votes

**0**answers

264 views

### Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

Both the Atiyah-Hirzebruch and the Serre spectral sequence can be constructed from a skeletal filtration of a CW-complex:
We can construct the Atiyah-Hirzebruch spectral sequence by filtering $X$ by ...

**2**

votes

**1**answer

112 views

### Practical application of lattice knots

I am looking for examples of practical applications of lattice knots. Any help?

**1**

vote

**1**answer

219 views

### Possible homotopy-theoretical approach to Gauss-Bonnet

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...

**14**

votes

**1**answer

1k views

### What have simplicial complexes ever done for graph theory?

(I am asking in a somewhat tongue-in-cheek fashion, of course, but nevertheless...)
Are there examples of results in "classical" [*] graph theory that have
been achieved by using simplicial ...

**3**

votes

**1**answer

138 views

### Comparing Contact Structures: What do we Mean when we Say that two Contact Structures are Homotopic/Eliashbergs Class. of OT structures

Please forgive me if this is too simple for MO; most of my posts on anything contact-structure-related in Math Stack, other sites, have barely received answers (maybe because I'm not an expert in the ...

**2**

votes

**2**answers

205 views

### Infinite loop of a p-completed specta vs p-completion of infinite loop of the spectra

Assume that we have a connective spectrum $X$, and denote the $p$-completion of this spectrum in the sense of Bousfield by $X^{\wedge}_p$ (which is given by the function spectrum ...

**5**

votes

**0**answers

149 views

### Is Euler-characteristic of a simplicial complex on $n$ vertices and $f$ facets at most $n^{O(\log f)}$?

(Definition: Facet = Maximal Face)
This question is a continuation of the previous one that I had asked a couple of years ago: Is Euler characteristic of a simplicial complex upper bounded by a ...

**1**

vote

**1**answer

116 views

### Is the equivariant Gysin map an $H_G^*(\text{pt})$-module morphism?

Let $G$ be a complex reductive group, $X$ a smooth projective variety on which $G$ acts algebraically, and $Y \subseteq X$ a $G$-invariant smooth closed subvariety such that $X\setminus Y$ is also ...

**6**

votes

**1**answer

212 views

### Are there models for homotopy colimits and limits of simplicial sets that generalize Kan's suspension and loop functors?

Consider the category C of pointed simplicial sets.
The pair of functors X∈C↦X∧S¹∈C and Y∈C↦Map(S¹,Y)∈C
models the suspension and loop functors on the underlying ∞-category of C.
There is another ...

**3**

votes

**2**answers

154 views

### kernel of monodromy action of braid group on homology of hyperelliptic curve

Let $X_{n}$ be the (unordered) configuration space of $n$ distinct points in $\mathbb{P}_{\mathbb{C}}^{1}$. The fundamental group of $X_{n}$ is the braid group on $n$ strands on the Riemann sphere, ...

**8**

votes

**0**answers

135 views

### Homotopy theory of suplattices

In Quillen's monograph Homotopical algebra where he introduced the notion of model category, he showed that if $C$ is a bicomplete category with enough regular-projectives in which either (*) every ...

**4**

votes

**2**answers

201 views

### Relative Serre spectral sequences?

I consider the following two situations:
Let $B$ be a simply connected space, and $F\to E\to B$, $F'\to E'\to B$ two fibrations with a map $f:E'\to E$ sending fibers to fibers and inducing the ...

**13**

votes

**2**answers

789 views

### Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman:
A connected open subset $D$ of the plane $\mathbb C$
is simply connected
if and only if its complement $\widetilde D = \mathbb C \setminus D$
...

**1**

vote

**1**answer

191 views

### Pushout of categories along embeddings gives homotopy pushout?

Consider the pushout of a diagram $A\leftarrow B\rightarrow C$ of categories and assume that at least one of the arrows is an embedding, i.e. injective on objects and arrows. When applying the nerve ...

**10**

votes

**0**answers

399 views

### Has this chain complex associated with a simplicial complex been studied before?

I have stumbled upon a construction that has probably been noticed before, and I wonder if anyone can point me to a reference.
Suppose that $K$ is a simplicial complex. Let $P(K)$ be the free abelian ...

**15**

votes

**1**answer

405 views

### Does the holonomy map define a homomorphism $\pi_k(X)\to\pi_{k-1}(Hol(\nabla))$?

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...

**1**

vote

**2**answers

234 views

### The Schottky group and the fundamental group of a compact Riemann surface

I am quoting the following description from a paper,
"...every compact Riemann surface can be obtained as the quotient $\mathbb{C}/\Gamma$ where $\Gamma$ is a Schottky group. The Schottky group of a ...

**2**

votes

**0**answers

138 views

### Canonical trivialization of Stiefel-Whitney classes on the frame bundle

Let $X$ be a smooth manifold, perhaps oriented if necessary. The frame bundle $\pi:P \to X$ carries a canonical trivialization of the pullback of the tangent bundle of $X$ and thus a canonical ...

**8**

votes

**1**answer

304 views

### Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...

**1**

vote

**1**answer

238 views

### Singular cohomology as a Zariski sheaf

Let $X$ be a complex algebraic variety, and consider the presheaf
$U \mapsto H^i(U^{an}, \mathbb Z)$
in the Zariski topology. Is there a theorem that says this presheaf is already a sheaf, for ...

**9**

votes

**1**answer

384 views

### Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles?
Can you give me a text or an article?
For example:
Consider a vector bundle $E$ with fiber $V$ and base manifold $M$.
Consider ...

**-3**

votes

**1**answer

265 views

### Lie algebraic Grassmannian

Assume that $L$ is a Lie algebra structure on $\mathbb{R}^{n}$, and $1<k<n$ is given.
We define $Gr(k,n)_{L}$, the space of all $k$ dimensional Lie subalgebra of $(\mathbb{R}^{n}, L)$.
For ...

**1**

vote

**1**answer

184 views

### How to classify continuous/differentiable maps from $T^2$ to $U(N)$?

I read a physics paper, of which the main idea is based on the topological classification of maps from 3-torus to the space of $N\times N$ unitary matrices. To quote their equation (4), which gives a ...

**2**

votes

**0**answers

108 views

### Cylinder isotopy relative to its bases

Is n-times twisted cylinder isotopic to 0-times twisted cylinder relative to its bases? (I hope I got the terms right)
That is, is it possible to twist (stretching, bending etc. is allowed) a cylinder ...

**18**

votes

**1**answer

390 views

### What is the group of pointed homotopy classes of maps from $S^3 \times S^3$ to $S^3$?

What is the group of pointed homotopy classes of maps from $S^3 \times S^3$ to $S^3$? The group structure induced by the group structure on the codomain. This question is a followup to Eric's answer ...

**7**

votes

**1**answer

204 views

### worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...

**9**

votes

**1**answer

286 views

### Can the group of homotopy classes of maps into S^3 be noncommutative?

Let $[X,S^3]$ be the set of homotopy classes of maps from the pointed CW complex X to the pointed 3-sphere. The group structure on S^3 endows this set with a group structure. Is this group ever ...

**2**

votes

**1**answer

330 views

### A question about the proof of Quillen's Theorem A

(I posted this question on Mathstack but I haven't received any answers or comments so I thought I might as well try my luck here. I apologize if it is not an appropriate question.)
Theorem (Quillen) ...

**14**

votes

**1**answer

385 views

### Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if it's commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...

**0**

votes

**0**answers

29 views

### Is the multiplicity of a Sobolev mapping alwasys locally essentially bounded？

I have the following question:
Let $f:\Omega\to \mathbb{R}^n$ be a (sense-preserving) continuous Sobolev mapping in $W^{1,n}$, where $\Omega$ is a domain in $\mathbb{R}^n$. By Sard's theorem for ...

**11**

votes

**2**answers

439 views

### Postnikov's algebraic reconstruction of cohomology from homotopy invariants

In his short paper (1951) and longer monograph (1955), Postnikov introduced what I believe are now called Postnikov systems or towers. It is my understanding that Postnikov systems have since then ...

**10**

votes

**0**answers

176 views

### A simple proof that parallelizable oriented closed manifolds are oriented boundary?

So let $M$ be a smooth closed orientable real manifold such that $M$ is parallelizable, i.e., the tangent space $TM$ of $M$ is trivial. From the triviality of $TM$ we get that the Stiefel-Whitney and ...

**14**

votes

**0**answers

348 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 ...

**12**

votes

**4**answers

630 views

### Functors and coverings

A category $C$ can be seen as a topological space via the geometric realization of the nerve of the category. Then a functor of categories gives a map of spaces. Is there a nice categorical ...

**3**

votes

**1**answer

73 views

### Transfinite sequence of contiguous simplicial maps

Recall that two simplicial maps of (abstract) simplicial complexes $f,g\colon K\to L$ are contiguous if $f(\sigma)\cup g(\sigma)$ is a simplex of $L$ for every simplex $\sigma\in K$. Contiguous ...

**4**

votes

**1**answer

153 views

### The Borel construction of equivariant cobordism

In $K$ theory, the Borel construction of equivariant cohomology is somehow not the right one. The $G$-equivaraint $K$ theory of a point should be the representation ring of $G$, but $K(BG)$ is this ...

**7**

votes

**2**answers

214 views

### Cokernel of the stable J-homomorphism at odd primes

Where can one learn about odd-primary components of the cokernel of the stable J-homomorphism?
According to wonderful Wikipedia article on Homotopy groups of spheres, the "hard" part of the stable ...

**1**

vote

**2**answers

234 views

### A generalized Thom Isomorphism

The ordinary Thom isomorphism says $H^{*+n}(E,E_{0}) \simeq H^{*}(X)$, where $E$ is a vector bundle over $X$ and $E_{0}$ is $E$ minus the zero section. Now assume that $S$ is a non vanishing section ...