Questions tagged [at.algebraic-topology]

Homotopy theory, homological algebra, algebraic treatments of manifolds.

2,258 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
5 votes
0 answers
159 views

Uniqueness of complex topological $K$-theory as an $S$-algebra

This might be well-known or trivial, but I could not figure out how to fill in the details: For an $S$-algebra $K$ denote its associated multiplicative cohomology theory by $h^*_K$. Suppose that I ...
Ulrich Pennig's user avatar
5 votes
0 answers
180 views

Why is the definition of a Dwyer map so particular?

Recall that a functor $F : A \to B$ is said to be a Dwyer map if the following two conditions are satisfied: $F$ is a sieve inclusion. There exists a factorization of $F$ as $A \to W \to B$ where $W ...
Tim Campion's user avatar
  • 60.6k
5 votes
0 answers
191 views

Outer and inner automorphism of $\mathrm{Pin}$ groups

$\DeclareMathOperator\Inn{Inn}\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Out{Out}\DeclareMathOperator\Pin{Pin}\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\PSO{...
Марина Marina S's user avatar
5 votes
0 answers
263 views

Relation between Bott-Samelson theorem and James reduced product

I asked this question on the homotopy theory chat, but I haven't got any answer - thus I decided to post it as a question here. The question is rather historical. Let $X$ be a connected topological ...
Igor Sikora's user avatar
  • 1,759
5 votes
0 answers
171 views

(Co)homology of a directed space with coefficients in a commutative monoid

This is essentially a reference request, or a request for an explanation of why this cannot be done in a useful or interesting way (i.e. an explanation of why no such reference exists!). If I have a ...
Jonathan Beardsley's user avatar
5 votes
0 answers
131 views

Specify the embedding of Lie groups (via the representation map) precisely as the embedding of two differentiable manifolds

How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations? By ...
wonderich's user avatar
  • 10.3k
5 votes
0 answers
115 views

How does the topology of minimal surfaces depend on the radius?

Let $M^n \subset \mathbf{R}^{n+k}$ be a smooth, properly embedded minimal surface, with boundary $\partial M$. The convex hull property states that $M$ is contained inside the convex hull of its ...
Leo Moos's user avatar
  • 4,968
5 votes
0 answers
378 views

What do we know about the homotopy of $\mathrm{Q}S^0\wedge\mathrm{Q}S^0$?

The homotopy groups of $\mathrm{Q}S^0$ are the stable homotopy groups of spheres, of which we know the first 81 exactly, and the first 90 up to some uncertainties. A table is given in Wikipedia: Do ...
Emily's user avatar
  • 10.3k
5 votes
0 answers
477 views

What do we know about $\mathbb{Z}\otimes_{\mathbb{S}}\mathbb{Z}$ and the spectral DM Stack $\mathrm{Spét}(\mathbb{Z}\otimes_{\mathbb{S}}\mathbb{Z})$?

These days I've been trying to wrap my head around the current proposed approaches to algebraic geometry over the elusive "field with one element", one of whose main objects of interest is ...
Emily's user avatar
  • 10.3k
5 votes
0 answers
116 views

Computation of partial configuration spaces ala Cohen

Let $F_i$ denote the subset of $\mathbb{R}^n$ consisting of tuples $(x_1,\dots,x_n)$ where there are less than or equal to $i$ unique entries. Is there a computation of the homology of $\mathbb{R}^n - ...
Connor Malin's user avatar
  • 5,191
5 votes
0 answers
329 views

CW complex vs analytic manifold vs variety

I am looking to gain some intuition into the passage (or obstruction thereof) between different categories of objects one encounters in geometry and topology. To oversimplify things a bit, the ...
SMS's user avatar
  • 1,293
5 votes
0 answers
136 views

Homotopy, contraction mapping and the inverse function theorem on Banach spaces

We all know the "open mapping" part of the inverse function theorem on Euclidean spaces can be proved by either contraction mapping (iterations), or homotopy methods (degree theory / ...
Iza_lazet's user avatar
  • 179
5 votes
0 answers
189 views

Construction of equivariant Steenrod algebra

I am reading through the calculations in Hu-Kriz "Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence" and I've got a small problem in understanding the ...
Igor Sikora's user avatar
  • 1,759
5 votes
0 answers
616 views

Spectral sequence from a stratification by closed subvarieties

I am looking for a reference for the following result: If $X$ is an algebraic variety and $$X = T_n \supset T_{n-1} \supset \cdots \supset T_{-1} = \varnothing$$ is a stratification (edit: filtration) ...
Eduardo de Lorenzo's user avatar
5 votes
0 answers
138 views

Negative cyclic homology of the group algebra of discrete groups

I am looking for a reference for the calculation of the negative cyclic homology of the group algebra $\mathbb{K}[\Gamma]$ of a discrete group $\Gamma$ over a field $\mathbb{K}$ of characteristic 0. (...
user188722's user avatar
5 votes
0 answers
161 views

How to compute the class defined by intersection with a square?

$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n+k)$ (of course, one can do also for $\Gr(k,\infty)$) be the complex Grassmannian of $k$-planes in $n+k$-dimensional linear space. It is well-known that ...
Cubic Bear's user avatar
5 votes
0 answers
327 views

Are there alternate descriptions of `elementary cobordisms'?

Let $M^d$, $N^d$ be cobordant $d$-manifolds. Then $M^d \sqcup \bar{N}^d = \partial W^{d+1}$ for some $(d+1)$-manifold $W$. This cobordism can be implemented via an elementary set of 'moves' called ...
Joe's user avatar
  • 535
5 votes
0 answers
286 views

What is the image of the diagonal map on the cohomology of Lie groups

Consider a simple Lie group $G$ and its mod $p$ cohomology $H^*(G, \mathbb{Z}_p)$. A good reference is the book Mimura, Mamoru; Toda, Hirosi, Topology of Lie groups, I and II. Transl. from the Jap. by ...
nxir's user avatar
  • 1,409
5 votes
0 answers
129 views

Minimal sum of Betti numbers of Kähler manifold with trivial canonical bundle

Let $M$ be a closed Kähler manifold of real dimension $2n$. Suppose the canonical bundle of $M$ is holomorphically trivial. Is it true that $\sum_{i=0}^{2n} b_i(M)=n+3\implies n=1$?
user avatar
5 votes
0 answers
137 views

How does a map from permutahedra to associahedra factor through multiplihedra?

Let $P_i$ denote permutahedra, $K_i$ associahedra and $J_i$ multiplihedra. In their famous paper on operadic diagonals, Saneblidze and Umble use a projection $p_i: P_i \to K_{i+1}$ which factors as $...
Dasha Poliakova's user avatar
5 votes
0 answers
124 views

Equivariant splitting of loop space of a suspension

It is well known, e.g. by Cohen's "A model for the free loop space of a suspension", that there is a stable splitting of the free loop space $\mathcal{L} \Sigma X $of the suspension $\...
user237334's user avatar
5 votes
0 answers
228 views

Galois action on torsion in homotopy groups not induced by homotopy equivalences

Let $V$ be a simply connected smooth projective complex variety defined over the rationals. Then for any integer $n\geq 2$ the group $\pi_n(V)$ is finitely generated abelian so profinite completion ...
user avatar
5 votes
0 answers
281 views

Chern-Weil theory in the cohomological Atiyah-Singer theorem

I am interested in the following piece of data appearing in the cohomological Atiyah-Singer theorem. My reference is "The index of elliptic operators. III" by Atiyah and Singer. Let $D:\...
Quarto Bendir's user avatar
5 votes
0 answers
166 views

chromatic minimal cell structures

If $X$ is a finite $p$-local spectrum, then the minimal number of cells needed to construct $X$ is exactly $\dim_{\mathbb F_p} H_\ast(X,\mathbb F_p)$. Is there an analogous result in the $K(n)$-local ...
Tim Campion's user avatar
  • 60.6k
5 votes
0 answers
119 views

The homotopy type of the simplicial space obtained by free adding degeneracies to a semi-simplicial space

Let $\text{sTop},\text{ssTop}$ denote the categories of simplicial, semi-simplicial spaces respectively. There is a functor $E:\text{ssTop}\rightarrow \text{sTop}$ that is left adjoint to the ...
user159744's user avatar
5 votes
0 answers
240 views

Finite CDGA model for a compact manifold

Is it true that a compact smooth manifold always has a finite-dimension commutative dg algebra model? Same question can be asked about compact CW complexes. More generally, is it true that a CW ...
Victor's user avatar
  • 1,705
5 votes
0 answers
177 views

Where can I find W. Browder's thesis

I've been looking for W. Browder's thesis Homology of loop spaces for a while now, and I really found nothing except for articles and book having it in their bibliography. Does someone know if it can ...
elidiot's user avatar
  • 283
5 votes
0 answers
140 views

Reference request: Name or use of this group of diffeomorphisms of the disc

Let $k \in \{0,\infty\}$, $G\subseteq \operatorname{Diff}^k(D^n)$ be the set of diffeomorphisms $\phi:D^n\to D^n$ of the closed $n$-disc $D^n$ (with its boundary) satisfying the following: $ \phi(S_r^...
ABIM's user avatar
  • 5,019
5 votes
0 answers
232 views

Is this a stack?

A continuous map $f:X\to Y$ and a vector bundle $E\to X$ seem to give rise to a presheaf of groupoids on $Y$ along the following lines. For an open $U\subseteq Y$, each section of $f$ over $U$ (i. e. ...
მამუკა ჯიბლაძე's user avatar
5 votes
0 answers
305 views

Bousfield-Kan and Generalized Eilenberg-Moore spectral sequences

Building on the work of Anderson and Rector, Bousfield's paper "On the homology spectral sequence of a cosimplicial space" constructs a spectral sequence which takes in a cosimplicial space (here ...
prefix.crm114's user avatar
5 votes
0 answers
99 views

Is there a n-category structure on algebras for $e_n$-like operads?

I'm fishing in troubled waters here and therefore the question is vague and meant to be as general as possible. In particular "$e_n$-like operad" can be an algebraic or topological $e_n$ operad, as ...
Mark.Neuhaus's user avatar
  • 2,004
5 votes
0 answers
408 views

Chains and homotopy type

Let $$C^{\ast}:\mathbf{sSet}\rightarrow E_{\infty}\text-\mathbf{dgAlg}$$ be the cochain contravariant functor from the category of simplicial sets to the category of $E_{\infty}$-dg-algebras (over $\...
GSM's user avatar
  • 343
5 votes
0 answers
519 views

Geometric interpretation of nonconnective, non-coconnective chain complexes / spectra?

Let's stipulate that Connective -- i.e. nonnegatively-(homologically)-graded -- chain complexes have a very natural geometric interpretation: by the Dold-Kan theorem, they are a way of thinking about ...
Tim Campion's user avatar
  • 60.6k
5 votes
0 answers
161 views

Algebras of the cone monad on Top?

Let us work in Top, the category of topological spaces - although the reader is welcome to replace this by their favorite convenient category of topological spaces. If $X,Y$ are spaces, let $X\ast Y$ ...
Patrick Nicodemus's user avatar
5 votes
0 answers
166 views

Clarify formula for Steifel-Whitney (Poincaré dual) homology classes in a barycentric subdivision?

Let $X$ be a triangulated manifold of dimension $n$. Let $[W_{n-p}] \in H_{n-p}(X,\mathbb{Z}_2)$, be the homology class that's Poincaré dual to the $p$-th Stiefel-Whitney class $[w_p] \in H^p(X,\...
Joe's user avatar
  • 535
5 votes
0 answers
123 views

The interaction between differentials on a graded ring and chain-homotopy equivalences

I am wondering about the following question: Given a differential graded algebra $A$, how many other differentials can we put on the underlying graded ring of $A$, which are also chain-homotopy ...
Mo Behzad Kang's user avatar
5 votes
0 answers
229 views

$\ell$-adic Eilenberg-MacLane space and Brown representability

I posted the following question on MathStackexchange, where it was suggested that I should move my question to Mathoverflow, which do here (https://math.stackexchange.com/questions/3550741/algebraic-...
curious math guy's user avatar
5 votes
0 answers
144 views

A fiber bundle of the Euclidean space over an orbifold

Consider a fiber bundle $p: F\hookrightarrow E \to B$, where $E$ and $F$ are smooth manifolds and $B$ is a smooth orbifold. More precisely, each point $b \in B$ has an orbifold chart $U=\tilde U/\...
Totoro's user avatar
  • 2,515
5 votes
0 answers
164 views

Homology of a semisimplicial scheme

This is a question about the homology of a complex made of algebraic varieties. Consider the following subgroups of $\mathrm{SL}_3$ (defined over $\mathbb{Z}$). $$ P_{1,2} = \left\{\left(\begin{...
Stefan Witzel's user avatar
5 votes
0 answers
452 views

Group homomorphisms between Eilenberg-MacLane spaces

It is well-known that for two (discrete) abelian groups $G$ and $H$, the set $[K(G,n),K(H,n)]_*$ of based homotopy classes of maps between the corresponding Eilenberg-MacLane spaces is in canonical ...
Bastiaan Cnossen's user avatar
5 votes
0 answers
108 views

Shapes of cores of symmetric monoidal $(\infty,n)$-categories (with duals)

According to the cobordism hypothesis, if $\mathcal{C}$ is a symmetric monoidal $(\infty,n)$-categories with duals, then framed fully extended TQFTs with target $\mathcal{C}$ are an $\infty$-groupoid, ...
domenico fiorenza's user avatar
5 votes
0 answers
182 views

Compactly supported cohomology of a topological DM stack

Consider a separated topological Deligne-Mumford stack $\mathfrak X$, i.e., a topological stack which is presentable by a proper etale topological groupoid (equivalently, $\mathfrak X$ is locally ...
Mohan Swaminathan's user avatar
5 votes
0 answers
302 views

Homotopy type of a $4$-manifold with finite fundamental group (paper by S. Bauer)

I'm studying Stefan Bauer's paper The homotopy type of a 4-manifold with finite fundamental group. In: tom Dieck T. (eds) Algebraic Topology and Transformation Groups. Lecture Notes in Mathematics,...
user267839's user avatar
  • 5,948
5 votes
0 answers
160 views

The fundamental loopoid?

Let $X$ be a homotopy type (modeled as either a topological space or a simplicial set). We can construct a category as follows: The objects are maps $f,g : S^1 \to X$. A morphism $f \to g$ is a map $S^...
Daniel Barter's user avatar
5 votes
0 answers
153 views

Continuous functors, spectra and homology theories

Let $T:\mathbf{Top}_*\to \mathbf{Top}_*$ be a continuous functor and $E$ a spectrum with maps $\sigma_n:E_n\wedge S^1\to E_{n+1}$. We have a new spectrum $TE$ with structure maps $$(TE_n)\wedge S^1\...
FKranhold's user avatar
  • 1,623
5 votes
0 answers
377 views

The k-ification of the compact-open topology for weak Hausdorff compactly generated spaces

Let CGWH be the category of weak Hausdorff compactly generated spaces; see e.g. N.P. Strickland. THE CATEGORY OF CGWH SPACES: Preprint available from https://neil-strickland.staff.shef.ac.uk/courses/...
Joao Faria Martins's user avatar
5 votes
0 answers
119 views

Cardinalities associated to the Bousfield lattice

By Ohkawa's theorem, the Bousfield lattice $B$ (of the $\infty$-category of spectra) is a small, complete lattice with $2^{\aleph_0} \leq |B| \leq 2^{2^{\aleph_0}}$ (the exact cardinality is an open ...
Tim Campion's user avatar
  • 60.6k
5 votes
0 answers
245 views

Different algebra-structures on $\operatorname{THH}(\mathbb F_p)$?

By definition, we have a ring map $\mathbb F_p\to\operatorname{THH}(\mathbb F_p)$. Post-compose with the canonical map $\mathbb Z_p\to\mathbb F_p$, we get a ring map $\mathbb Z_p\to\operatorname{THH}(\...
user avatar
5 votes
0 answers
132 views

Analog of cellular approximation theorem for $CW_0$-complexes ($CW_\mathcal P$-complexes)

$CW_0$-complexes are analogs of $CW$-complexes, in which the "building blocks" are the rational disks $D^{n+1}_0$ whose boundaries are given by $\partial D^{n+1}_0= S^n_0$, where $S^n_0$ is a ...
Bashar Saleh's user avatar
5 votes
0 answers
130 views

Finite generation of the image of the induced homomorphism on homotopy groups of infinite loops spaces

Let $f:X\rightarrow Y$ be a map of infinite loop spaces such that image of homology groups $H_i(X,\mathbb{Z})$ for $i\geq 1$ under $f_*$ are finitely generated. Does this imply that the image of ...
user127776's user avatar
  • 5,831

1
14 15
16
17 18
46