Questions tagged [at.algebraic-topology]
Homotopy theory, homological algebra, algebraic treatments of manifolds.
7,746
questions
0
votes
0
answers
42
views
Computation on Characteristic classes
I am organizing a reading seminar on Characteristic Class. The audience in the seminar is interested Symplectic and Contact manifold. I work in Categorification and would like to compute some ...
7
votes
1
answer
185
views
Extending diffeomorphisms
Suppose we have a diffeomorphism $f:{\mathbb{S}}^n_{+}\to\mathbb{S}^n$ of class $C^1$ of the closed upper hemisphere onto a submanifold of $\mathbb{S}^n$ with boundary.
Question. Is it possible to ...
5
votes
0
answers
210
views
How to learn homotopy theory
I studied some basic algebraic topology (homotopy/homology/cohomology groups). When reading about the Dold-Thom theorem, the fancier and more recent sources sooner or later all started to use homotopy ...
0
votes
0
answers
73
views
Cohomology in a combinatorial way using ribbon graphs
I am interested in studying the cohomology of surfaces.
Let $S$ be a compact orientable connected surface. One possible way is to learn cohomology using differential forms.
Is it possible to approach ...
2
votes
0
answers
61
views
completed tensor products and filtered limit
Let's start with two inverse systems $\{A_p\}_{p \in \mathbb{Z}}$, and $\{B_p \}_{p \in \mathbb{Z}}$ of $C$ modules. Give each $A_p$, $B_p$, and $C$ discrete topology. Consider inverse limit topology ...
4
votes
0
answers
129
views
Types of differential structures on higher dimensional spheres
This problem comes from the smooth Poincaré conjecture:
Is a homotopy equivalent manifold to sphere is differential
homeomorphic to standard sphere?
Since the general Poincaré conjecture has been ...
2
votes
1
answer
89
views
Do there exist smaller simplicial models of barycentric subdivisions?
Let $S$ be a simplicial complex and let $Bary(S)$ denote its barycentric subdivision.
Of course, the geometric realizations of $S$ and $Bary(S)$ are homeomorphic.
However, one issue that arises in ...
8
votes
3
answers
1k
views
Why did Ravenel define a ring spectrum to be flat if its smash-square splits into copies of itself?
In appendix A.2 of the orange book, Ravenel defines a ring spectrum $E$ to be flat if $E\wedge E$ is equivalent to a coproduct of suspensions of $E$. (Call this definition (1).) I've seen this ...
2
votes
0
answers
60
views
Is the face poset of a compact intersection of cylinders and half-spaces shellable?
Let the $n$-disk $D^n$ be stratified hemispherically (so there are two 0-dimensional strata at the poles, two 1-dimensional strata for the prime meridian and the international date line, two 2-...
5
votes
1
answer
147
views
Rational G-spectrum and geometric fixed points
For a finite group $G$, how is a rational $G$-spectrum $X$ detected by the geometric fixed point functor $\phi^H$ where we consider the conjugacy class of $H\leq G$? I tried finding a reference for ...
1
vote
0
answers
157
views
Monodromy group action on de Rham cohomology
Let $f : Y \longrightarrow X := \mathbb{P}^1\setminus\{0,1,\infty\}$ be the smooth proper morphism associated to the Legendre family, which is an elliptic fibration of the punctured line, with fibre ...
-3
votes
1
answer
131
views
Topology of the moduli space of a 2-dim closed surface
Consider the moduli space $\cal{M}_{\Sigma_g}$ of a 2-dim closed surface $\Sigma_g$ of genus $g$. What is the topology of such a moduli space $\cal{M}_{\Sigma_g}$?
For example, what is $\pi_n ( \cal{M}...
1
vote
1
answer
136
views
Categories associated to digraphs
Let's take a directed graph, or a digraph, $G=(V,E)$ given by a finite set of vertices $V$ and a finite set of edges $E$. We can assume that pairs of vertices can have parallel edges between them and ...
9
votes
1
answer
210
views
Comparing cohomology of a total complex with the cohomology of semidirect product
$\DeclareMathOperator{\Tot}{Tot}$I have the following problem. Let $H$ and $G$ be groups such that $H$ acts on $G$, i.e., there exists a group homomorphism $H\to \mathrm{Aut}(G)$ and let $M$ be an ...
1
vote
1
answer
175
views
Equivalent statement for Borsuk-Ulam theorem
I was going through this paper by Tanaka. In the introduction he says the following
"The classical Borsuk–Ulam theorem can be
restated as the point space is I-trivial."
I am not sure how to ...
5
votes
2
answers
273
views
Construct a 'nice' trivializing cover of universal principal $G$-bundle $EG \to BG$
Let G be a discrete or say for sake of simplicity a finite group. In Hatcher's book Algebraic Topology on p 89 the construction of universal bundle $EG$ carries structure of a $\Delta$-complex whose $...
2
votes
0
answers
181
views
About infinite loop space and $\Omega$ spectrum
Let $A$ is an topological abelian monoid. Also $\pi_0(A)$ is a group and $A$ has $CW$ structure.
$BA$ is a classifying space of the topological abelian monoid.
My purpose is to construct an infinite ...
2
votes
1
answer
133
views
Can information theory characterise a (topological) space?
Consider an objective function f: $\mathbb{R}^n\rightarrow\mathbb{R}$, with a vector of variables $\theta$, i.e. $f(\theta)$, $\theta \in \mathbb{R}^n$. Depending on $f$, there can be interesting ...
7
votes
1
answer
329
views
Why does the tangent classifier classify the tangent (micro)bundle?
Let $\mathcal{M}\mathrm{fld}_n$ denote the $\infty$-category of topological manifolds (without boundary) and embeddings; more precisely, it is the homotopy coherent nerve of the simplicial category ...
2
votes
0
answers
54
views
Composition of 3-braids to obtain braids with trivial closure
Given a 3-braid $b=\sigma_1\sigma_2^{-1}\sigma_1\sigma_2^{-1}\sigma_1$ (which has non-trivial closure), can we find a 3-braid $c$, which has trivial closure (closure results in any trivial knot or ...
0
votes
0
answers
21
views
Non-straightenable multiple space-time trajectories and 'entangled' braid
Considering we have the space-time trajectory of multiple particles (or any objects) in the X-Y-Time coordination system. Given a projection direction parallel to the X-Y plane, we can obtain the ...
2
votes
0
answers
63
views
$M^\wedge_I \to N^\wedge_I$ an isomorphism if $S_P^{-1}M^\wedge_P \to S_P^{-1}N^\wedge_P$ is an isomorphism for all primes $P$ containing $I$
Let $R$ be a Noetherian ring, $I \subseteq R$ an ideal, and $S \subseteq R$ a multiplicative set.
Lemma 2.3 of Adam, Haeberly, Jackowski, and May's paper A generalisation of the Segal conjecture ...
2
votes
1
answer
107
views
Are there infinite number of 3-braids with trivial closure?
Not counting equivalent braids, are there finite or infinite numbers of 3-braids whose closures are trivial knot or links? If the answer is infinite, are there some patterns in those infinite numbers ...
5
votes
1
answer
185
views
Meaning of the first Chern class of the unit tangent bundle of a surface
(This is a fairly basic question, not really research level, except that I am a research mathematician working on other things who is trying to understand more topology for use in my own work.)
Let $\...
1
vote
1
answer
230
views
Higher homotopy local systems
The concept of a local system in algebraic geometry is often described as a locally constant constructible sheaf on a scheme $X$, which is in essence a sheaf whose stalk at a point $x$ comes equipped ...
1
vote
0
answers
92
views
Proper action of $\mathbb{R}^n$ [migrated]
I am trying to prove the following:
I know that there is a proper action of $\mathbb{R}^n$ on $\mathbb{R}^n$, but is it possible to construct a proper action of $\mathbb{R}^n$ on $\mathbb{R}^m$, where ...
1
vote
1
answer
148
views
fundamental group of $X/\mathbb{R}^n$
Suppose with have a topological manifold $X$ and a group $G$, is there a way to compute the fundamental group of $X/G$ in function of $\pi(X)$ and $\pi(G)$?
are there any settings on X that can ...
6
votes
1
answer
219
views
Proper action on product manifold
Suppose that $\mathbb{R}^n$ is the maximal group that can act properly on a manifold $N$ and $\mathbb{R}^m$ is the maximal group that can act properly on a manifold $M$ ( i.e, $\mathbb{R}^{m+1}$ can't ...
0
votes
1
answer
186
views
Space-time trajectory that cannot be straightened and its braid form
Considering we have the space-time trajectory of multiple particles (or any objects) in the X-Y-Time coordination system. Given a projection direction, we can obtain the braid form of the space-time ...
9
votes
0
answers
164
views
What homology theory is calculated by unreduced cubical chains?
For a topological space $X$ and a subspace $A$, let $Q_n(X,A)$ be the group of singular cubical $n$-chains of $X$ relative to $A$ and let $D_n(X,A)$ be the subgroup of degenerate cubical chains. The ...
4
votes
1
answer
271
views
Faithful locally free circle actions on a torus must be free?
Do we have an example of a smooth action $S^1 \curvearrowright T^n$ which is faithful, locally free but not free?
I know such an action must induce an injection $\rho:\pi_1(S^1)\to\pi_1(T^n)$.
Another ...
14
votes
2
answers
768
views
Can a cyclic group of prime order act on a rationally acyclic finite dimensional complex and have no fixed points?
Let $C_p$ b the cyclic group of order $p$, with $p$ a prime.
Is is possible for $C_p$ to act (cellularly) on a rationally acyclic finite dimensional CW complex $X$ with no fixed points?
Standard Smith ...
2
votes
1
answer
228
views
Calculating degree via homotopy
I'm looking for a reference for the following:
Suppose that $f_1,f_2\colon S^n\rightarrow S^n$ are smooth maps. Let $i\colon S^n\rightarrow \mathbb{R}^{n+1}$ be the inclusion, and suppose that $F\...
4
votes
0
answers
238
views
Loop-suspension of degree d map of sphere
Let $f\colon S^n \rightarrow S^n$ be a basepoint preserving map of degree $d \geq 1$. We then get an induced map $\Omega \Sigma(f)\colon \Omega \Sigma S^n \rightarrow \Omega \Sigma S^n$. There is ...
-1
votes
0
answers
42
views
Bibliography about vector fields defined by an oriented double covering
I am trying to study the $\omega-$limit set of a trajectory on a connected no oriented manifold so my idea is to use an oriented double covering to lifting the trajectory and analyze its $\omega-$...
7
votes
1
answer
614
views
Poincaré duality
Is the next statement true?
Let $M$ be a non-compact linearly connected oriented topological manifold of dimension $n$, and let $M^+$ be the one-point compactification of $M$. Then there is a ...
3
votes
0
answers
115
views
Equivariant cohomology of symmetric group acting on a product
Let $X$ be a finite CW-complex. The symmetric group $S_n$ acts on the product $X^{\times n}$ in the obvious way. Let $H^{\bullet}_{S_n}(X^{\times n})$ be the (Borel) equivariant cohomology of this ...
6
votes
1
answer
177
views
Exit path categories of regular CW complexes
Given a finite, regular CW complex $X$ (by regular, I mean that the gluing maps $D^n \to X$ from the closed unit ball to $X$ are homeomorphisms onto their image), denote by $S$ the finite partially ...
6
votes
1
answer
317
views
Threefolds with the same Betti numbers and the same Chern numbers
By a threefold, I mean a compact complex manifold of dimension three.
My question is a simple one:
Are there known INFINITELY many non-homeomorphic threefolds that have the same Betti numbers and the ...
1
vote
0
answers
162
views
the Brouwer fixed point theorem for maps rather than spaces
Is there a version for the Brouwer fixed point theorem for maps rather than spaces ?
In other words, for a family of endomorphisms, can the fixed point be chosen continuously, under some assumptions ?
...
9
votes
1
answer
232
views
Does every complex orientable $E_\infty$-ring admit an $E_\infty$ complex orientation?
A ring spectrum $E$ is complex oriented if it is equipped with a ring map $MU\rightarrow E$. It is complex orientable if such a ring map exists.
An $E_\infty$-ring $E$ is $E_\infty$-complex oriented ...
1
vote
0
answers
51
views
Explicit form of boundary operators of topological cones
Let $\Omega$ be a regular, finite, $n$-dimensional CW complex with chain modules $\mathscr{C}_k$ and boundary operators $\partial_k$.
For many problems in computational geometry, a key operation is to ...
0
votes
0
answers
169
views
Interpreting the edges in the Serre spectral sequence
Let $F \hookrightarrow E \stackrel{\pi}{\rightarrow} B$ be a fiber bundle. For simplicity, assume that $F$ is connected, that $B$ is $1$-connected, and that $B$ is a CW complex. Consider the Serre ...
5
votes
2
answers
163
views
Topology of a union of facets of a convex polytope
The following question arose from a survey paper I am writing on
combinatorial reciprocity. Let $\mathcal{P}$ be a $d$-dimensional
convex polytope. Let $\mathcal{Q}$ be a union of facets (codimension
...
1
vote
1
answer
154
views
Ways to prove that $n$-component Brunnian link is nontrivial
The attached image shows a way to construct an $n$-component Brunnian link for any $n\geq 3$. That is, this link is not trivial, but deleting any of its components makes the new link trivial. The ...
5
votes
1
answer
398
views
What are the cohomological dimensions of ${\rm Aut}(F_n)$, ${\rm Out}(F_n)$, ${\rm SL}_n(\mathbb{Z})$ over the rationals ℚ and integers ℤ?
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Out{Out}\DeclareMathOperator{\cd}{cd}\DeclareMathOperator\SL{SL}$For a group $G$, the cohomological dimension of $G$ over the ring $R$, denoted by $\...
8
votes
4
answers
850
views
Applications of the Dold-Kan correspondence
The Dold-Kan correspondence says essentially that simplicial abelian groups and nonnegative chain complexes of abelian groups are equivalent objects. While this is a very natural statement, I am not ...
6
votes
1
answer
259
views
Homology and cohomology of free loop spaces
String topology, as well as Hochschild (co)homology, give a rich perspective on the homology and cohomology of a free loop space $LM$ of a manifold $M$.
Let $k$ be a field and let $M$ be $n$-...
3
votes
0
answers
147
views
The site and the space
There is a (seemingly simple) statement in the literature on sheaf theory, namely,
If $E$ is the site of opens of a topological space $X$, the notion of sheaf over $X$ coincides with that of sheaf of ...
6
votes
1
answer
204
views
Why, if the geometric realisation of a simplicial map $p$ is a (topological) covering map, must $p$ be a (simplicial) covering map?
I essentially am asking for an explanation of the comment under this post by Tom Goodwillie.
In the "Kerodon", Lurie defines a simplicial covering map as follows:
A map $p:E\to X$ of ...