Questions tagged [at.algebraic-topology]
Homotopy theory, homological algebra, algebraic treatments of manifolds.
8,259
questions
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. . ...
- 141
0
votes
0
answers
122
views
Cohomology ring of $\mathbb{P}(\mathcal{O}(-1)\oplus \mathcal{O})$
Let $\mathcal{O}(-1)$ be the Hopf bundle over $\mathbb{C}\mathbb{P}^\infty$. Let $\mathcal{O}$ be the trivial rank one bundle. Consider the projectivization of the rank two bundle $\mathcal{O}(-1)\...
- 21.1k
1
vote
0
answers
63
views
Contractible orbit space of action of compact Lie group on Euclidean space
R. Oliver proved that the following in https://www.jstor.org/stable/1970955
Theorem: Any action of a compact Lie group on a Euclidean space has contractible orbit space.
My question is that this ...
- 1,161
4
votes
1
answer
363
views
Two spectral sequences arising from a simplicial spectrum
Let $X_\bullet$ be a simplicial spectrum, and let $X = |X_\bullet|$ be the geometric realization.
Let's assume each $X_n$ is connective.
From this situation, we can form two filtrations on $X$: the ...
- 2,003
4
votes
1
answer
235
views
On the initiality of the inclusion from the simplex category to the paracycle category
Thm B.3 of Nikolaus and Scholze shows that the natural inclusion $\Delta \to \Lambda_\infty$, from the simplex category to the paracycle category, is an initial functor, i.e. satisfies the hypotheses ...
- 61.6k
7
votes
1
answer
597
views
do all two manifolds admit a three-colorable triangulation?
A triangulation of a two-manifold $M$ is three-colorable if all vertices of the triangulation can be colored red, green, or blue without any two adjacent vertices having the same color.
My question: ...
- 151k
7
votes
0
answers
178
views
Complex cobordism and integrable systems
In Jack Morava's paper On the complex cobordism ring as a Fock representation, it was remarked right at the beginning that complex cobordism may play a role in the theory of integrable systems. In ...
- 71
11
votes
0
answers
214
views
The algebras and coalgebras of the homology functor
My question is very simple, but I suspect far from the intuition with which singular homology is introduced.
Consider singular homology as a functor
$$H_n : {\sf Top}\times{\sf Ab} \to \sf Ab$$
This ...
- 13.2k
5
votes
0
answers
154
views
Are there known minimal models for the cohomology of semisimple Lie algebras?
My student and I recently found a cute construction of a minimal model for the cohomology of a Lie algebra $\mathfrak{g}$. This is a "minimal model" in the sense that it is a minimal chain-...
- 60.4k
2
votes
1
answer
166
views
On the existence, for $\langle X,R\rangle$ a finite presentation of a group $G$, of an exact sequence of $\mathbb{Z}G$ modules
From this Q&A -- for $\langle X,R\rangle$ a finite presentation of a group $G$, there is an exact sequence of $\mathbb{Z}G$ modules
$$0\rightarrow\pi_{2}(Z)\rightarrow \mathbb{Z}G^{\oplus R}\...
- 197
3
votes
0
answers
76
views
When does homology preserve inverse limits of Eilenberg-MacLane spaces?
Let $... \to G_3 \to G_2 \to G_1$ be an inverse system of abelian groups and $G$ the limit of the system. By a theorem of Goerss the integral homology of the Eilenberg-MacLane space $K(G,n)$ for $n &...
- 499
4
votes
0
answers
78
views
For a map $x: S^0 \to X$, $J(X,x) \otimes Y = 0$ iff $x \otimes 1_Y$ is nilpotent?
Let $X$ be a spectrum, and let $x : S^0 \to X$ be a map. Let the stable James construction $J(X,x)$ denote the free $E_1$ ring on the $E_0$-ring $(X,x)$. It is computed as the colimit of the $\Delta^{...
- 61.6k
8
votes
0
answers
134
views
The James and Morse filtrations of homotopy groups
Denote by $JX$ the James construction on a path connected, well-pointed space $X$. This space is filtered by subspaces $X=J_1X\subseteq\dots\subseteq J_nX\subseteq\dots\subseteq JX$ and is the domain ...
- 5,016
2
votes
1
answer
203
views
Homotopy classes of homeomorphism vs. Homotopy classes of a biholomorphism
This is a more detailed question about my first question Representation theory and topology of Teichmüller space, I asked there how to understand:
$$T_{g}\hookrightarrow Hom(\pi_{1}({S}),PSL_{2}(\...
- 26.4k
23
votes
2
answers
2k
views
Uniqueness of compactification of an end of a manifold
Let $M$ be an $n$-dimensional manifold (smooth or topological). I call $\bar{M}$ a compactification of $M$ if it is an $n$-dimensional compact manifold with boundary $\partial \bar{M}$, an $(n-1)$-...
- 1,446
6
votes
1
answer
283
views
Is this $\mathbb C$-fibration over compact Riemann surface trivial?
I have a question about a complex manifold $M$ and a holomorphic submersion $p : M \to S$ to a compact complex curve satisfying the following conditions:
$p^{-1}(x)$ is biholomorphic to $\mathbb{C}$ ...
- 307
2
votes
0
answers
186
views
Proposition 4.3.8 Qing Liu about flat morphisms of schemes
I have a problem with a detail of Qing Liu's proof of Proposition 4.3.8 (pag. 137 of "Algebraic Geometry and Arithmetic Curves").
The statement is:
Let $Y$ be a scheme having only a finite ...
- 149
6
votes
3
answers
2k
views
Uniquely geodesic and CAT(0) spaces?
Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...
- 43.7k
4
votes
1
answer
203
views
What should be required from a model category so that the category of algebraic objects in it has the natural model structure?
I have two reference questions
What should be required of a category with finite products so that a (multi-sorted, finitary) Lawvere theory induces a monadic adjunction on it? This should be ...
- 29.8k
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-...
- 5,016
2
votes
1
answer
287
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 ...
- 1,396
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 ...
- 4,618
2
votes
0
answers
167
views
Geometric realization of crossed square
Given a crossed square of groups, you can "totalize" it and get a 2 crossed module in the sense of Conduché "Modules croisés généralisés de longueur 2", then you can apply his ...
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 ...
- 1,161
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$?
...
- 18.8k
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.
...
- 201
4
votes
3
answers
689
views
Jordan curve theorem for cylinders
Hello,
I would like to know if the following result is true:
Let $A,B$ be two embedded circles in $S^2$ which do not intersect and let $C$ be the $\textit{closed}$ region bounded by $A$ and $B$ (...
- 2,578
4
votes
1
answer
1k
views
How to calculate the fundamental group of general configuration space
Define the configuration space of $n$ points in a general manifold $M$, where $\dim M=m$, as $K=(M^n-D)/S_n$ where $S_n$ is the permutation group and $D=\{(x_1,\cdots,x_n)| \exists i,j\ s.t. x_i=x_j \}...
- 8,394
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 ...
- 1,161
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 ...
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 ...
- 1,161
3
votes
1
answer
450
views
When is the Freudenthal compactification an ANR?
Let $X$ be a locally compact metric ANR (or, if preferred, a locally compact simplicial complex). If needed, assume that $X$ has finitely many ends or is of finite dimension. My question is:
What are ...
- 1,446
9
votes
2
answers
3k
views
Cohomology of Hypersurface complement
Suppose $Y$ is a smooth hypersurface in projective space $\mathbb{P}^n$, $X = \mathbb{P}^n - Y$ is the hypersurface complement. Is there a general method to compute cohomology of $X$? In particular, ...
- 185
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, ...
- 2,578
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 ...
- 337
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 ...
- 56.6k
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 ...
- 8,958
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 ...
- 55k
0
votes
1
answer
409
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 ...
- 273
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 ...
- 4,686
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$...
- 33.9k
4
votes
2
answers
283
views
On a generalized homotopy transfer theorem
In the book of Loday and Vallette "Algebraic Operads" a necessary condition for the Homotopy Transfer Theorem is that the starting operad is Koszul. I am interested in a generalization of ...
13
votes
3
answers
826
views
Are negatively pinched manifold locally conformally flat?
One knows that hyperbolic manifolds are locally conformally flat.
How about those negatively pinched manifolds, i.e. the sectional curvature $K$ satisfy:
$$
-\Lambda \le K \le -\lambda$$
for $\Lambda&...
- 1,446
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) $ ...
- 9,388
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 ...
- 1,021
23
votes
2
answers
3k
views
Calculating Mayer-Vietoris efficiently
This is a question whose motivation and framing seem to involve a lot of topology, but which I suspect comes down to some simple and standard combinatorics that's probably recorded in a book somewhere....
- 1,446
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" ...
- 61.6k
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 ...
- 10.3k
39
votes
1
answer
6k
views
Classification of surfaces and the TOP, DIFF and PL categories for manifolds
A surface is simply a 2-manifold. The classification theorem for compact connected surfaces (with boundary) is commonly regarded in the categories TOP, DIFF and PL. Well known proofs (e.g. via ...
- 2,076
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 ...
- 61.6k