We’re rewarding the question askers & reputations are being recalculated! Read more.

Questions tagged [at.algebraic-topology]

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

1,403 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
16
votes
0answers
856 views

Homology classes of subvarieties of toric varieties

Let $X$ be a smooth proper toric variety, $Z\subseteq X$ a smooth subvariety. Is the fundamental class $[Z] \in H_\ast(X) = A_\ast(X)$ nonzero? Background If $X$ is a Kaehler variety, this is of ...
16
votes
0answers
621 views

Steenrod algebra at a prime power

Let $n=p^k$ be a prime power. When $k=1$, the algebra of stable operations in mod $p$ cohomology is the Steenrod algebra $\mathcal{A}_p$. It has a nice description in terms of generators and ...
16
votes
1answer
730 views

Is there an ∞-categorical interpretation of the Quillen S⁻¹S construction?

The Quillen S⁻¹S construction (not to be confused with the Quillen Q-construction or the Quillen plus-construction), as defined by Grayson in Higher algebraic K-theory: II (page 219), takes as an ...
15
votes
0answers
225 views

What is the group completion of finite sets with respect to cartesian product?

Let $\Sigma_+$ be the groupoid of finite pointed sets. The Barratt-Priddy-Quillen theorem tells us that the group completion of $\Sigma_+$ with respect to the symmetric monoidal structure given by ...
15
votes
0answers
485 views

What would be the simplest analog of Langlands in algebraic topology?

It is oversimplified, I know, but just as a superficial analogy, one may think of the fact that abelianization of the fundamental group is the first homology group, as some remote relative of class ...
15
votes
0answers
460 views

Is this an $E_\infty$-algebra?

I have a particular kind of algebraic structure that's come up in my work. It's basically a chain complex equipped with a multiplication which is commutative and associative up to homotopy in a ...
15
votes
0answers
690 views

Is this “Homology” useful to study?

In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$. Now we can ...
15
votes
0answers
869 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 ...
15
votes
0answers
555 views

What is the determinant of Poincaré duality?

For a complex $C^{\bullet}$ of finite dimensional vector spaces, one has a determinant $$|C^\bullet|:= \bigotimes \left(\Lambda^{top} C^i\right)^{(-1)^i}$$ functorial with respect to quasi-...
15
votes
0answers
578 views

Codimension Two Embeddings in Goodwillie-Weiss Manifold Calculus, and the Difficulty of Fundamental Groups

In manifold calculus, there are various analyticity estimates which run into trouble for codimension two embeddings. For instance, the functor $\operatorname{Emb}(M,N)$ is analytic in $M$ if $\dim M \...
15
votes
0answers
2k views

Covers of $Z^k$

This is a question related to covers of $Z^\infty$. Is it possible to cover $Z^k$, $k>1$, with the $l_1$-metric by a constant (not depending on $k$) number of collections of subsets $U^0,...,U^c$ ...
15
votes
1answer
315 views

Embedding of two-dimensional CW complexes which induces a zero homomorphism on second homotopy groups

I am interested in the following question which I asked at MSE and did not get any clues. How to find three two-dimensional CW complexes $K_1, K_2, K_3$ with non-trivial $\pi_2$ and injective ...
14
votes
0answers
341 views

When is a map of topological spaces homotopy equivalent to an algebraic map?

My question is simple, but I don't expect there are any simple answers. Let $X$ and $Y$ be a pair of schemes, and let $X(\mathbb{C})$ and $Y(\mathbb{C})$ denote their respective spaces complex points....
14
votes
0answers
278 views

How does quotienting by a finite subgroup act on the framed-cobordism class of a group manifold?

Let $G$ be a connected simple connected compact Lie group, and $\Gamma \subset G$ a finite subgroup. Then (the underlying manifold of) $G$ can be framed by right-invariant vector fields, and this ...
14
votes
0answers
194 views

How many cells are needed in a simplicial structure of $\mathbb{S}^n$ to induce all of $\pi_n(\mathbb{S}^m)$

Serre proved, that for (allmost) all $n,m\in\mathbb{N}$ the homotopy groups $\pi_n(\mathbb{S}^m)$ are finite, so - using simplicial approximation - for $n, m$ fixed there is a finite cell ...
14
votes
0answers
198 views

Kan's simplicial formula for the Whitehead product

In his article on Simplicial Homotopy Theory (Advances in Math., 6, (1971), 107 –209) Curtis quotes a formula (on page 197) for the Whitehead and Samelson products in a simplicial group $G$. The ...
14
votes
0answers
302 views

Cohomology with compact support for determinant varieties

I wonder if anyone knows anything about the cohomology with compact supports for determinantal varieties, such as the varieties of $m \times n$ matrices of full rank.
14
votes
0answers
280 views

Are there Alexander-Whitney maps in geometric homology?

When $X$ is a smooth manifold, Lipyanskiy defines a chain complex whose homology is isomorphic to singular homology - let's say $GC_*(X)$ - generated by maps $\sigma: M \to X$ from compact $k$-...
14
votes
0answers
229 views

Homotopy type of spaces of functions with few critical points

Given a closed manifold $M$ and an integer $k\geq 0$, let $G_k(M)$ denote the space of smooth functions $f:M\to\mathbb R$ with at most $k$ critical points. To what extend has the topology of the ...
14
votes
0answers
252 views

References on Discrete field theory vs Discrete differential geometry vs Combinatorial topology

Let me ask several related questions on discretization of classical field theory: In topological folklore, it is known that cochains are "discrete analogues" of differential forms, and coboundary ...
14
votes
0answers
518 views

Dijkgraaf-Witten topological invariant

We know that given a finite group $G$ and its group 4-cohomology class $w \in H^4[G;U(1)]$, we can obtain a DW topological invariant $Z_{G,w}(M^4)$ as the partition function of the DW theory on a ...
14
votes
0answers
667 views

Connected sum is well-defined for surfaces, proof?

EDIT: So my question is distinct from the question asked here because I am asking an easier question. Why should we have to invoke something as powerful as the "Annulus Theorem" to show that the ...
14
votes
0answers
380 views

Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
14
votes
0answers
255 views

Uniqueness of connected cover of Morava K-theory

Let $k(n)$ denote the connected cover of Morava $K$-theory $K(n)$ at the prime $2$ and in particular $n=2$. It is known that $$ H^*(k(n)) = A//E(Q_n), $$ where $A$ is the Steenrod algebra and $Q_n$ is ...
14
votes
0answers
618 views

How to see the quaternionic hopf map generates the stable 3-stem?

I am looking for a direct proof that the quaternionic hopf map generates (after suspension) the 3rd stable homotopy group of spheres. There are some related MO questions, for example: third-stable-...
14
votes
0answers
2k views

Homotopy groups of the orthogonal group

I'm interested in knowing what $n$-dimensional vector bundles on the $n$-sphere look like, or equivalently in determining $\pi_{n-1}(SO(n))$; here's a case that I haven't been able to solve. Let $n \...
14
votes
1answer
1k views

Finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional (not necessarily associative, unital) division algebra over the real numbers has dimension 1,2,4 or 8. This result is ...
13
votes
0answers
308 views

Mapping a loop space to quaternionic projective space

Let $\mathbf{H}P^\infty$ denote the infinite-dimensional quaternionic projective space. The inclusion of its bottom cell defines a map $S^4 \to \mathbf{H}P^\infty$. Does this extend to a map $\Omega S^...
13
votes
0answers
382 views

How well-defined is $\bar\kappa$ in the stable $20$-stem?

The $2$-completed stable $20$-stem $\pi_{20}(S)_2$ is cyclic of order $8$. Mimura and Toda (1963, Lemma 15.4) mr=157384 show the existence of a class $\bar\kappa_7 \in \pi_{27}(S^7)$ whose stable ...
13
votes
0answers
213 views

A geometric interpretation of the odd-primary Kervaire elements

Let $\Omega^\mathrm{fr}_\ast \cong \pi_\ast S$ denote the graded ring of cobordism classes of framed manifolds, which, by the Pontryagin-Thom construction, is isomorphic (as a graded ring) to the ...
13
votes
0answers
459 views

Functor of points definition of the Thom space

Let $X$ be a space (CW complex) and let $E \to X$ be a vector bundle. Using the language of $\infty$-categories we can can define the Thom space $T(E)$ as the pointed space representing the ...
13
votes
0answers
365 views

Cohomology of a blow-up of a real algebraic variety

Let $X$ be a complex algebraic variety, $Z \subset X$ a closed subvariety, $\mathrm{Bl}_Z X$ the blow-up and $E$ the exceptional divisor. There is an isomorphism of cohomology groups $$ H^k(X(\mathbf ...
13
votes
0answers
362 views

Reference for equivariant Atiyah-Jänich theorem

The equivariant Atiyah-Jänich theorem is an isomorphism $$ [X,F]_G \cong K_G^0(X), $$ where $G$ is a compact Lie group, $X$ is a compact $G$-manifold, $F$ is the space of Fredholm operators on a ...
13
votes
0answers
262 views

Actions of $\mathbb Z/2\mathbb Z$ on algebraically closed fields and even-dimensional spheres and parallel between Galois theory and covering theory

It is well known that there is a parallel between Galois theory and covering theory. So I wonder whether there is a deep similarity between the following two facts: Artin-Schreier theorem. The only ...
13
votes
0answers
323 views

What is the cup-product structure like on a hyperbolic 5-manifold?

Let $X$ be a hyperbolic 5-manifold. Can there be any class in $H^2(X;\mathbf{Z})$ that is torsion and whose square in $H^4(X;\mathbf{Z})$ is not zero? For example, are there hyperbolic 5-manifolds ...
13
votes
0answers
278 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 ...
13
votes
0answers
176 views

Is every simply connected finite complex the classifying space of a finite monoid

On page 323 of Fiedorowicz, "Classifying Spaces of Topological Monoids and Categories" it was stated that "it seems likely that any finite simply connected complex should [have the same weak homotopy ...
13
votes
0answers
1k views

Fundamental group of the complement homogeneous variety in $\mathbb{C}P^{n-1}$

Let $f,g:\mathbb{C}^n\to \mathbb{C}$ are two irreducible homogeneous polynomials. If there is a homeomorphism $h:\mathbb{C}^n\to \mathbb{C}^n$ such that $h(X)=Y$ and $h(0)=0$, where $X=f^{-1}(0)$ and $...
13
votes
0answers
700 views

Chiral categories versus braided monoidal categories

Let $X$ be a curve over $\mathbf{C}$. As I understand from the 2008 Talbot notes, a chiral category on $X$ consists of a crystal of categories on the Ran space $\mathrm{Ran}(X)$ (see these notes of ...
13
votes
0answers
349 views

Topological type of Brieskorn manifolds

Let us consider the complex hypersurface and suppose that $n\geq 3$: $$F(d,n)=\{(z_0,\ldots,z_n)\in \mathbb{C}^{n+1}:z_0^d+z_1^d+\ldots+z_n^d=0\}$$ and the link $V(d,n)=F(d,n)\cap S^{2n+1}_{\epsilon}$ ...
13
votes
0answers
580 views

Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains: $$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$ where the right hand side denotes the free abelian ...
13
votes
0answers
472 views

Who stated and proved the “Hopf lemma” on bilinear maps?

If $A\otimes B\rightarrow C$ is a nondegenerate linear map, where $A, B, C$ are vector spaces over an algebraically closed field, then $\dim C\ge \dim A + \dim B -1$. Nondegenerate here means that ...
12
votes
0answers
366 views

The $\infty$-category of $n$-manifolds and open embeddings determined homotopically from that of topological manifolds?

Let $\mathrm{Diff}_n$, $\mathrm{PL}_n$, $\mathrm{Top}_n$ denote the $\infty$-categories of $n$-manifolds which are respectively smooth/PL/topological, and open embeddings (for instance by taking the ...
12
votes
0answers
222 views

Does virtual Morava K-theory have an Eilenberg-Moore spectral sequence?

In a recent question, Tim Campion was interested in analyzing the Morava $K$–theory of a space $X$ by dissecting the space into connective and coconnective parts: $$X(m, \infty) \to X \to X[0, m].$$ ...
12
votes
0answers
191 views

Direct comparison zig-zag between cochain theories

In the paper Cochain multiplication, Am. J. Math 124 (2002) pp 547–566 Mandell gives axioms for a cochain-level characterisation of ordinary cohomology theory, lifting Eilenberg–Steenrod's axioms. ...
12
votes
0answers
65 views

How many upper sets in this decomposition of finite posets

Let $X$ be a finite poset. If $$X = X_1 \cup X_2$$ where $X_1$ and $X_2$ are strict upper sets, then a lot of properties of $X$ can be inferred from the smaller posets $X_1, X_2$ and $X_1\cap X_2$ (...
12
votes
0answers
582 views

How do topological automorphic forms fit into homotopy theory and what makes them interesting?

Topological automorphic forms (TAF) were introduced by Mark Behrens and Tyler Lawson in 2007, being to Shimura varieties what topological modular forms (TMF) is to the moduli stack of elliptic curves. ...
12
votes
1answer
965 views

The homology of the orbit space

Suppose we have an acyclic group $G$ and let $X$ be a contractible CW-complex such that $G$ acts freely on $X$ (we do not suppose that the action is proper). Is there a way to understand the homology ...
12
votes
0answers
178 views

Simply connected homology cobordisms

I'm looking for interesting examples of a homology 3-sphere $Y$ for which there exists a smooth, simply connected homology cobordism from $Y$ to itself (or simply to another homology 3-sphere $Y'$, ...
12
votes
0answers
219 views

Defining Massey products as transgressions

Let $A$ be a dg algebra, and $x, z \in A$ cocycles. Let's consider the maps $$ A \to A \oplus A \to A$$ given by $y \mapsto (xy,yz)$ and $(u,v) \mapsto uz-xv$, respectively. We think of this as ...