Questions tagged [at.algebraic-topology]
Homotopy theory, homological algebra, algebraic treatments of manifolds.
8,257
questions
2
votes
1
answer
285
views
Hypercover and hyper descent
I am trying to understand the descent condition using hypercovers. The condition says that a hyper cover of a scheme $X$ is a simplicial set $Y_{\bullet}$ that satisfies the condition $Y_n\rightarrow ...
0
votes
1
answer
342
views
Relation between trivial tangent bundle $\Leftrightarrow$ certain characteristic classes of tangent bundle vanish [closed]
We know that
framing structure means the trivialization of tangent bundle of manifold $M$.
string structure means the trivialization of Stiefel-Whitney class $w_1$, $w_2$ and half of the first ...
2
votes
0
answers
155
views
Differentials in the Atiyah-Hirzebruch spectral sequence for a bounded generalized cohomology theory
$\newcommand{\res}{\mathrm{res}}$Let $X$ be a connected finite CW complex, and let $E$ be a bounded spectrum. For simplicity, let me assume that it has homotopy groups concentrated in degrees 0,1,2.
...
0
votes
0
answers
64
views
Number of connective orbit types of torus actions
Suppose that topological group $G$ acting on topological space $X$. If the
set $\left\{ \left[ G_{x}\right] :x\in X\right\} $ is finite, where $\left[
G_{x}\right] $ denotes the conjugacy class of the ...
4
votes
1
answer
158
views
A question about Gysin exact sequence for cohomology of the orbit space
There is a claim in the following thesis regarding the exact sequence of Gysin. Shouldn't the spherical bundle $\mathbb{S}^1 \rightarrow X \rightarrow X/\mathbb{S}^1$ be orientable for the Gysin exact ...
6
votes
1
answer
416
views
Does $\pi_1(H)=0\Rightarrow \pi_3(G/H)=0$ for a simple and simply connected Lie group $G$?
$\DeclareMathOperator\SU{SU}$Let $G$ be a simple and simply-connected Lie group and $H\neq 1$ be a simple and simply connected subgroup, is it true that $\pi_3(G/H)=0$? If not, what is a counter-...
1
vote
0
answers
53
views
A question about acyclic fixed point set of torus action on acyclic space
Oliver claims in the article (A proof of the Conner conjecture) that any
action of a torus on a paracompact $
%TCIMACRO{\U{2124} }%
%BeginExpansion
\mathbb{Z}
%EndExpansion
$-acyclic space of finite ...
6
votes
0
answers
227
views
Reference to a definition of a graph homology
Let $G$ be a graph, and define $C_k$ to be the free abelian group on the homomorphisms from graphs $H$ such that $K_k$ is a minor of $H$ without needing to do any vertex deletions, only edge ...
5
votes
2
answers
352
views
The classifying space of any topological group is paracompact and locally contractible
I read somewhere that the classifying space $B_{G}$ for any topological
group $G$ is paracompact and locally contractible. How can I prove this or
can you give me a reference?
Another question that I ...
6
votes
2
answers
347
views
"canonical" framing of 3-manifolds
In Witten's 1989 QFT and Jones polynomial paper, he said
Although the tangent bundle of a three manifold can be trivialized, there is no canonical way to do this.
So if I understand correctly, ...
1
vote
0
answers
128
views
Witten's QFT Jones polynomial work on Atiyah Patodi Singer theorem and $\hat A$ genus over Chern character
In Witten's 1989 QFT and Jones polynomial paper,
he wrote in eq.2.22 that
Atiyah Patodi Singer theorem says that the combination:
$$
\frac{1}{2} \eta_{grav} + \frac{1}{12}\frac{I(g)}{2 \pi}
$$
is a ...
3
votes
1
answer
190
views
Simple closed curves in a simply connected domain
Let $U$ be a bounded simply connected domain in the plane. Let $K$ be the boundary (or frontier) of $U$. For every $\varepsilon>0$ is there a simple closed curve $S\subset U$ such that the ...
4
votes
1
answer
243
views
Two $E_\infty$ structures on infinite matrices
Let $O$ be the infinite orthogonal group. By taking a colimit of the diagram of topological groups $O(1) \to O(2) \to O(3) \to \ldots$, we know $O$ has a continuous group operation given by matrix ...
3
votes
0
answers
215
views
Classifying spaces beyond CW complexes
We know that for a reasonable topological group $G$ (say a compact Lie group) admits a classifying space for $G$-bundles within the category of countable CW complexes. That means, there is a space $BG$...
0
votes
1
answer
407
views
The Krull dimension of the tensor product of rings
The Krull dimension of a ring $R$ is defined as the length of the longest chain of prime ideals in it. Let $R_i$, for $i\in\mathbb{N}$ denote a sequence of commutative Noetherian rings of Krull ...
6
votes
1
answer
230
views
Does a complex-oriented $E_1$ ring spectrum (not assumed to have graded-commutative homotopy groups) receive a map from $MU$?
It's well-known that complex cobordism $MU^\ast$ is universal among complex-oriented associative, graded-commutative cohomology theories $E$. This means that if $E$ is a multiplicative cohomology ...
2
votes
0
answers
143
views
Do the nearby cycle and Beilinson's vanishing cycle functors commute?
Let $X$ be a complex algebraic variety with a pair of regular functions $f_1,f_2$. To these functions we can associate various functors: the nearby cycles functor $\Psi_{f_i}$, the vanishing cycles ...
4
votes
0
answers
112
views
Finding inverses of certain elements in the set of normal invariants of a smooth manifold
Let, $V$ denote the Stiefel manifold of 2-frames $V_{10,2}$ . Consider the the map $S_\text{diff} (V) \xrightarrow{\eta} N_\text{diff} (V) $ in the surgery exact sequence of a smooth manifold. . ...
3
votes
2
answers
413
views
A question on the manifold $ \{n\otimes n-m\otimes m:n,m\in S^2,(n,m)=0\} $
Consider a manifold $ N $ defined as follows
$$
N=\{n\otimes n-m\otimes m:n,m\in S^2,\quad(n,m)=0\}\subset M^{3\times 3},
$$
where $ S^2 $ denotes the two dimensional sphere, $ (\cdot,\cdot) $ ...
23
votes
3
answers
2k
views
What are some toy models for the stable homotopy groups of spheres?
The graded ring $\pi_\ast^s$ of stable homotopy groups of spheres is a horrible ring. It is non-Noetherian, and nilpotent torsion outside of degree zero.
Question: What are some "toy models" ...
4
votes
0
answers
93
views
What is the Goldie dimension of the ring of stable stems?
Let $p$ be a prime, and let $\pi_\ast^{(p)}$ be the ring of stable homotopy groups of spheres localized at the prime $p$. This is a nonnegatively-graded-commutative ring with $\mathbb Z_{(p)}$ in ...
2
votes
0
answers
107
views
Extension of isotopies
In what follows $M$ will be a manifold (without boundary, for simplicity) and $C\subseteq M$ will denote a compact subset. In the paper Deformations of spaces of imbeddings Edwards and Kirby prove the ...
1
vote
0
answers
112
views
A question about cohomology with local coefficient
Let's consider the next theorem.
Theorem
[The cohomology Leray-Serre Spectral sequence] Let $R$ be a
commutative ring with unit. Given a fibration $F\hookrightarrow E\overset{p}{%
\rightarrow }B$, ...
5
votes
5
answers
890
views
Two arcs in the complement of a disc must intersect?
Let $D=\{z\in \mathbb C:|z|\leq 1\}$ be the unit disc in the complex plane, with interior $U=\{z\in \mathbb C:|z|<1\}$.
Let $A\subset \mathbb C\setminus U$ be an arc intersecting $D$ only at its ...
1
vote
1
answer
141
views
Lie group framing and framed bordism
What is the definition of Lie group framing, in simple terms?
Is the Lie group framing of spheres a particular type of Lie group framing? (How special is the Lie group framing of spheres differed ...
3
votes
1
answer
167
views
Pontryagin product on the homology of cyclic groups
Consider the cyclic group $C_{p^N}$ of order $p^N$, and let $k$ be a field of characteristic $p$. I would like to know what the algebra structure on the homology $H_*(C_{p^N};k)$ induced by the ...
2
votes
0
answers
62
views
Framed bordism and string bordism in 3-dimensions vs topological modular form
In simple colloquial terms, how are the framed bordism and string bordism in 3-dimensions related to the study of the theory of topological modular form TMF? I want to know some simple derivable ...
1
vote
0
answers
144
views
Minimal first Pontryagin class $p_1=1$?
From Hirzbuch theorem,
the signature of 4-manifold $\sigma = p_1/3$ with the first Pontryagin class $p_1$.
I know that the $\sigma=p_1/3 =1$ so $p_1=3$ for complex projective space $\mathbb{P}^2$.
Is ...
1
vote
2
answers
153
views
Reference for choosing a path lifting function?
I recall having seen discussion of a Hurewicz or Serre fibration
equipped with a chosen path lifting function. Citation??
3
votes
2
answers
221
views
Is the free algebra functor over an $\infty$-operad symmetric monoidal?
Suppose $F: \mathcal{O}^\otimes \to \mathcal{P}^\otimes$ is a map of $\infty$-operads, and $\mathcal{C}$ is a symmetric monoidal $\infty$-category that admits small colimits, such that the tensor ...
1
vote
0
answers
86
views
A question about the Conner Conjecture
In some sources, Conner conjecture is expressed as follows:
Theorem [Conner Conjecture] Let $G$ be a compact Lie group, and let $X$ have
the homotopy type of a finite dimensional $G$-CW complex with ...
9
votes
2
answers
577
views
Generalization of the sphere theorem in dimension at least 4
In 1956, Papakyriakopoulos proved Dehn's lemma, loop theorem and the sphere theorem. The proofs are based on a clever technique called "tower construction". Later, Whitehead, Shaprio, ...
4
votes
1
answer
296
views
Induced fiber sequence and Eilenberg–MacLane space in Whitehead tower of $BO$
In Whitehead tower of $BO$, there is a induced fiber sequence:
1.
$$
Z_2 \to B SO \to BO \overset{w_1}{\rightarrow} B Z_2
$$
How does this map $\overset{w_1}{\rightarrow}$ from $BO$ to $B Z_2$?
...
0
votes
0
answers
71
views
Topological transversality by dimension
We know that to achieve transverality in the topological category, for example to make a continuous map into a manifold transverse to a topological submanifold, we need the existence of micro normal ...
2
votes
2
answers
163
views
$String/CP^{\infty}=Spin$ or a correction to this quotient group relation
We know that there is a fiber sequence:
$$
... \to B^3 Z \to B String \to B Spin \to B^2 Z \to ...
$$
Is this fiber sequence induced from a short exact sequence?
If so, is that
$$
1 \to B^2 Z = B S^...
3
votes
1
answer
253
views
Do objects in the derived category behave stackily?
It is well known that derived categories (I'm particularly thinking of constructible derived categories and derived categories of D-modules) don't form a stack. In particular given morphisms in the ...
1
vote
1
answer
87
views
Simplicial cochain representing the pullback of a class Poincaré dual of a submanifold
Let $K$ be a simplicial complex of dimension $n$, $M$ be a topological manifold, and $f \colon |K|
\to M$ be a continuous map. Let $X$ be an embedded manifold in $M$ of codimension $n$, such that
$f(|...
2
votes
1
answer
144
views
string bordism group and framed bordism group for $d \leq 6$ and $d \geq 7$
Why do the string bordism group and the framed bordism group
coincide the same in dimensions lower than 7 ($d = 0,1,2,3,4,5, 6$)?
Why do the string bordism group and the framed bordism group differ
...
1
vote
0
answers
125
views
Determine the Eilenberg-MacLane spaces on the right-handed side of this Whitehead tower?
What and how to determine the Eilenberg-MacLane spaces on the right-handed side of this Whitehead tower?
Namely, how do we know
$$
K(Z_2,1)?, \quad K(Z_2,2)?, \quad K(Z,4)?
$$
Naively -- in each step ...
1
vote
0
answers
216
views
Examples of when $X$ is homotopy equivalent to $X\times X$
I was thinking about this question the other day: When is a topological space $X$ homotopy equivalent to $X\times X$ (with the product topology)? This is essentially a cross-post of this MSE question.....
2
votes
0
answers
128
views
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
I consider the enriched category $[\mathcal{M}^{op},\mathrm{Top}]$ of enriched functors (I call them $\mathcal{M}$-spaces) from the enriched small category $\mathcal{M}^{op}$ to the enriched category $...
3
votes
1
answer
188
views
On infinity-morphisms between algebras over algebraic operads
I posted this question in the "Mathematics" stack exchange, but it hasn't got much attention... I hope it will get more here.
Let $P$ be a Koszul operad.
In the book of Loday-Vallette "...
2
votes
0
answers
89
views
Explicit CW-complex replacement of the space of reparametrization maps
Let $P$ be the space of nondecreasing surjective maps from $[0,1]$ to itself equipped with the compact-open topology: $P$ is contractible. There exists a trivial fibration $P^{cof} \to P$ from a CW-...
0
votes
0
answers
84
views
What happens if I take a doubly-free simplicial abelian group?
Suppose that I have a simplicial set $X_\bullet$. I can take the free abelian group generated by $X_\bullet$, $\mathbb{Z}X_\bullet$. But then I can forget that this has an abelian group structure, ...
0
votes
0
answers
102
views
Basis of Lambda algebra for a programmer
First of all, I'm not a specialist in alg. top., but I try to apply computational math to it, so if I'm wrong in something you'd be doing a better thing explaining it to me instead of blaming me :) ...
8
votes
2
answers
515
views
Is there a purely topological definition of $\text{Spin}(p,q)$?
I'm cross-posting this question from Math.SE, as it didn't get much attention there (even after a bounty).
A common way to define the group $\text{Spin}(p,q)$ is via Clifford algebras. However, $\text{...
5
votes
1
answer
557
views
Intersection cohomology and Poincaré duality
When trying to learn about perverse sheaves I hand-wavingly thought that intersection cohomology is the ‘minimal’ way of fixing the failure of Poincaré duality. But I am very aware that it is risky to ...
4
votes
0
answers
164
views
How to think about Beilinson's gluing data?
Let $X$ be a complex manifold, $D$ a divisor (that is globally the zero locus of a function) and $U$ its complement. Recall Beilinson's "how to glue perverse sheaves":
Given a perverse ...
2
votes
1
answer
226
views
Derived category of local systems of finite type on a $K(\pi,1)$ space: an explicit counterexample
Let $X$ be a nice enough topological space. I am mostly interested in smooth complex algebraic varieties. One may ask whether the bounded derived category of the category $\mathrm{Loc}(X)$ of local ...
8
votes
2
answers
696
views
Pullbacks of classifying spaces
In what follows all the groups will be discrete, not necessarly finite.
Let $f:G\to H$ be a morphism of groups and $H'\to H$ be the inclusion of a subgroup. It seems to me (but correct me if I am ...