All Questions
9,056 questions
2
votes
0
answers
116
views
Generalized Stokes's theorem and the relationship of volume to surface area of objects of arbitrary genus
In this post I saw that it could be explained with the Generalized Stokes's theorem why the derivative of the area of a circle is equal to the boundary of the circle (the circumference):
$$C=\frac{d}{...
- 131
5
votes
1
answer
270
views
Are Euclidean spaces $\Delta$-generated?
From the definition of $\Delta$-generated it seems like $\mathbb R$ should be $\Delta$-generated, as $\mathbb R$ is final with respect to all continuous maps $\mathbb R^n \to \mathbb R$.
However, the ...
- 53
3
votes
1
answer
263
views
Original proof of Lefschetz's theorem on $(1,1)$ classes
Is there a "modern" account of Lefschetz proof of his theorem about $(1,1)$ classes for projective surfaces ?
I believe that would be very interesting to understand the original arguments ...
8
votes
0
answers
300
views
Can Postnikov towers converge without Postnikov completeness?
In Higher Topos Theory, Lurie says that "Postnikov towers are convergent" in a presentable $\infty$-category $\mathcal{C}$ if $\mathcal{C}$ is equivalent to the $\infty$-category $\mathrm{...
- 25.2k
70
votes
28
answers
7k
views
Examples where it's useful to know that a mathematical object belongs to some family of objects
For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon:
(1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...
2
votes
0
answers
156
views
Testing for weak homotopy equivalences with compact Hausdorff spaces
Let $f \colon X \to Y$ be a weak homotopy equivalence between topological spaces. If I am not mistaken, then one can rephrase this by stating that the induced map $[K,X] \to [K,Y]$ between homotopy ...
- 2,998
5
votes
1
answer
249
views
Double hom with $\mathbb{CP}^\infty$
Pontrjagin duality gives a double dual theorem for "hom with $S^1$", and $S^1$ is $\textbf{B}\mathbb{Z}$ up to homotopy.
$\textbf{B} \textbf{B}\mathbb{Z}$, modeled by $\mathbb{C}\mathbb{P}^{\...
user30211
4
votes
1
answer
341
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$?
...
- 447
4
votes
1
answer
430
views
Criteria for extending vector field on sphere to ball
Below is a theorem that is equivalent to Brouwer fixed-point theorem, which I found quite interesting. The proof is in this PDF file.
Let $v: \mathbb S^{n-1} \to \mathbb R^n$ be a continuous map, ...
- 807
5
votes
0
answers
187
views
Isbell duality for monoids and groups
Isbell Duality
$\newcommand{\IsbellSpec}{\mathsf{Spec}}\newcommand{\IsbellO}{\mathsf{O}}\newcommand{\Sets}{\mathsf{Sets}}\newcommand{\rmL}{\mathrm{L}}\newcommand{\rmR}{\mathrm{R}}\newcommand{\B}{\...
- 11.8k
0
votes
1
answer
170
views
Isn't every algebraic operad equipped with a trivial weight?
In Loday–Vallette "Algebraic Operads" they state the following result (Theorem 6.6.2, Operadic twisting morphism fundamental theorem):
Let $P$ be a connected weight graded differential ...
- 215
14
votes
1
answer
869
views
What is $\pi_{23}(S^2)$?
The first $22$ homotopy groups of the $2$-sphere were worked out by Toda in 1962, but I cannot find any results extending that to any higher homotopy groups of $S^2$.
Are any more of these groups ...
- 827
2
votes
1
answer
199
views
Regular sequence in cohomology of Grassmannians
$\DeclareMathOperator\Gr{Gr}$Consider the polynomial ring $\mathbb{Z}[x_1,\dots,x_m, y_1,\dots,y_n]$, I want to prove that the sequence $$x_1 + y_1, x_2 + x_1y_1 + y_2, \dots, x_my_{n-1} + x_{m-1}y_n, ...
- 185
2
votes
0
answers
148
views
Variant of Leray-Hirsch for complex-oriented cohomology theory
I am interested in a variant of the Leray-Hirsch theorem. Let $\mathbb{E}^*$ be a complex-oriented cohomology theory and let $\mathbb{E}_*$ the coefficient ring. Suppose that $F \xrightarrow{i} P \to ...
- 959
0
votes
1
answer
135
views
Local embedding and disk in domain perturbation
Consider say $M=(\mathbb{S}^1\times\dotsb\times \mathbb{S}^1)-q$ ($n$-times). Assume that $B$ is an $n$ disk in $M$ (for instance, thinking of $\mathbb{S}^1$ as gluing $-1$ and $1$, the cube $B=[-\...
17
votes
1
answer
1k
views
Who wrote `if only I could understand the equation $d^2=0$'?
I remember reading something like
if only I could understand the equation $d^2=0$
as an epigraph to a memoir on homological algebra. I think the author was Henri Cartan, and the epigraph may have ...
- 4,492
8
votes
0
answers
183
views
Morphisms in cube category $\Box$ = Compositions of morphisms in simplex category $\Delta$?
Let $\Delta$ be the simplex category. For $m \leq c \leq n$, let $[m] \to [c] \to [n]$ be the composition of two injective morphisms in $\Delta$.
We now define a category $\Box$ with same objects as $\...
- 1,813
3
votes
0
answers
132
views
The tautness property and the continuity property of cohomology theory
Let $H^{\ast }$ denote the Čech cohomology or Alexander-Spanier
cohomology.
Definition: (Tautness property of cohomology) Let $X$ be a
paracompact Hausdorff space and $A$ be a closed subspace of $X$. ...
- 1,367
41
votes
1
answer
10k
views
What actually is the idea behind the condensed mathematics?
Condensed mathematics is the (potential) unification of various mathematical subfields, including topology, geometry, and number theory. It asserts that analogs in the individual fields are instead ...
- 1,535
1
vote
2
answers
269
views
Generalized cohomology on the one point space
I am reading Hatcher's algebraic topology for an assignment on generalized cohomology theories, and in section 4.E p. 447 he says the following
The wedge axiom implies that $h(\textit{point})$ is ...
- 11
20
votes
2
answers
902
views
Integral homology classes that can be represented by immersed submanifolds but not embedded submanifolds
Let $M$ be an $m$-dimensional compact closed smooth manifold and $z\in H_n(M,\mathbb{Z})$ an $n$-dimensional integral homology class, with $m>n.$ Does there exist a pair of $M$ and $z$ so that $z$ ...
- 587
8
votes
2
answers
563
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{...
- 233
3
votes
1
answer
149
views
(Derived category of) sheaves over an infinite union
The short version of my question is:
Suppose $X$ is a (reasonably nice) topological space such that $X = \bigcup_{n \ge 1} X_n$ for an increasing sequence of (closed) subspaces $X_1 \subset X_2 \...
- 197
3
votes
1
answer
124
views
Extending curves on a surface to a basis for its first homology satisfying intersection criteria
The title suggests a broader scope of inquiry, but my question mostly pertains to the following example:
Let $(Y, \mathcal{Z}, \phi)$ be a bordered 3-manifold with Heegaard diagram $\mathcal{H}$ of ...
- 131
2
votes
0
answers
27
views
Topological meaning of a "totally recurrent" 1d foliation in 3-manifold
I'm trying to understand Sullivan's "cycles for the dynamical study..":
https://www.math.stonybrook.edu/~dennis/publications/PDF/DS-pub-0033.pdf
which I find very complicated being ...
- 111
1
vote
0
answers
177
views
If $X$ is a strong deformation retract of $\mathbb{R}^n$, then is $X$ simply connected at infinity?
Let $X \subseteq \mathbb{R}^n$, and assume there is a strong deformation retract from $\mathbb{R}^n$ to $X$. Is $X$ necessarily simply connected at infinity?
(Edit) Follow up question: if there is a ...
- 637
2
votes
0
answers
112
views
lifting a family of curves to a family of sections of a vector bundle?
This is a question in obstruction theory. It should be basic but I can't find a reference.
Let's stick to the $C^\infty$ category, so all objects mentioned are smooth. Let $\pi: E \to M$ be a vector ...
- 51
1
vote
0
answers
132
views
The equation of cubic surface
I was studying the nature of singularities of cubic hypersurface on $\Bbb P^{n+1}$. The chosen form was
$$f(x_0,x_1 \dots , x_{n+1})=x_0^3+x_1^3+\dotsb+x_{n+1}^3-c(x_0+x_1+\dotsb+x_{n+1} )^3=0.$$
I ...
- 21
86
votes
16
answers
9k
views
Teaching homology via everyday examples
What stories, puzzles, games, paradoxes, toys, etc from everyday life are better understood after learning homology theory?
To be more precise, I am teaching a short course on homology, from ...
2
votes
0
answers
179
views
Isomorphic simplicial complexes are simple-homotopy-equivalent: reference?
Any two isomorphic simplicial complexes are simple-homotopy-equivalent.
This is a fairly simple result, but it is not obvious. Yet I have been surprisingly unable to find it in the literature on ...
- 33.8k
11
votes
2
answers
856
views
Spectral sequences and short exact sequences
Suppose I take a short exact sequence of filtered chain complexes:
$$0\to A\xrightarrow{p} B\xrightarrow{q} C\to 0$$
We assume that $p$ and $q$ are filtration-preserving, so that $p(F_rA)\subseteq ...
- 721
7
votes
1
answer
2k
views
Which revolutions in topology and geometry can we expect in the next 20 years? [closed]
In my limited perspective on the history of mathematics, I can name at least two big revolutions in Topology and Geometry (broadly construed): the introduction of Schemes in Algebraic Geometry, and ...
13
votes
2
answers
538
views
How many automorphisms are there of the category of filtered spectra?
Dold-Kan type theorems tell us that lots of categories are Morita-equivalent to the simplex category $\Delta$. In other words, there are a lot of stable $\infty$-categories which are secretly ...
- 64k
5
votes
1
answer
471
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 ...
- 339
2
votes
1
answer
162
views
Pullback morphism of a hyperplane inclusion is zero in the derived category
Let $L \subset \mathbb{C}^n$ be a hyperplane and let $i:L \to \mathbb{C}^n$ be the inclusion. Since $i$ is proper, we have induced maps $i^*: H^k_c(\mathbb{C}^n) \to H^k_c(L)$, and these maps are zero ...
2
votes
0
answers
414
views
$$ \left(\frac{\text{Man}^{\text{fr}}}{\text{Cobordism}},\coprod,\times \right)\simeq \left((\text{Fin}^{\simeq},\coprod)^{\text{gp}},\times\right)?$$ [closed]
If we combine a theorem of Pontryagin and the Barratt-Priddy-Quillen theorem we get that both sides of
$$
\left(\frac{\mathrm{Man}^{\mathrm{fr}}}{\mathrm{Cobordism}},\coprod,\times \right)\simeq \left(...
- 705
15
votes
0
answers
317
views
Does there exist a closed 4-manifold whose $\pi_2$ contains torsion elements
Does there exist a closed 4-manifold $X$ such that $\pi_2(X)$ contains torsion elements?
And, if so, does there exist a closed 4-manifold $X$ such that $\pi_2(X)\neq 0$ but $\pi_2(X)\otimes \mathbb{Q}=...
- 151
5
votes
2
answers
471
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 ...
- 1,367
1
vote
0
answers
54
views
Estimating the growth rate around singular points of the analytic continuation of functions of Nilsson class defined by an integral
In Lemma 8 of the paper "Constant terms in powers of a Laurent polynomial" (by J.J. Duistermaat and Wilberd van der Kallen) the exponent $\alpha$ in the asymptotic expansion of a function of ...
- 360
2
votes
1
answer
215
views
Is the category of simplicial $R$-modules closed monoidal?
I am trying to understand if the simplicial mapping space for simplicial $R$-Modules (or at least simplicial vector spaces) is adjoint to the (level-wise) tensor product. For simplicity, let me state ...
- 91
0
votes
1
answer
155
views
Vector bundles over a homotopy-equivalent fibration
I think this question is related to what is known as "obstruction theory", but I'm not very familiar with this field of mathematics, so I am asking here.
Let $\pi:N\rightarrow M$ be a smooth ...
- 3,307
10
votes
1
answer
233
views
Classifying space of centralizer
$\DeclareMathOperator\Map{Map}\newcommand{\B}{\mathrm{B}}\newcommand{\h}{\mathrm{h}}$Let $f:G\to H$ be a morphism of topological groups and let
$$H^{\h G}:=\Map_G(\mathrm{E}G, H)$$
be the homotopy ...
- 103
3
votes
2
answers
425
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) $ ...
- 1,219
1
vote
0
answers
58
views
Which sheaves are good for calculating extraordinary restriction?
Let $X$ be a sufficiently nice locally compact Hausdorff space and let $i:Y\subset X$ be the inclusion map of a sufficiently nice closed subspace. For example, one could take $X$ to be a locally ...
- 23.5k
2
votes
1
answer
179
views
Factorization systems for vector bundles
Are there any well-known factorization systems for the category of vector bundles defined over topological spaces?
- 615
7
votes
1
answer
101
views
Bisimplicial spaces as a coequalizer of maps between "simpler" bisimplicial spaces
From a bisimplicial space $T$, one can consider the simplicial spaces $p \mapsto T_{pp}$, $p \mapsto | q \mapsto T_{pq}|$, and $q \mapsto |p \mapsto T_{pq}|$, where $| \cdot|$ denotes geometric ...
- 71
20
votes
1
answer
835
views
Are all homotopy equivalences realized by fibrations over [0,1]?
Given two homotopy equivalent spaces $X$ and $Y$, does there always exist a Hurewicz fibration $p: E\rightarrow [0,1]$ with $p^{-1} (0) = X$ and $p^{-1} (1)=Y$?
This issue shows up in the accepted ...
- 8,803
0
votes
0
answers
95
views
Which algebraic structure characterizes the set of non-trivial qudratic residues in a finite field?
I understand this question may be too naive to ask, but I am unable to figure it out.
Suppose, $\mathbb{QR^*}$ denotes the set of all quadratic residues in a finite field except the identity element $...
1
vote
0
answers
78
views
A question about the localization theorem of Borel-Hsiang and spectral sequence
Suppose that $T$ is a torus acting on a topological space $X
$. Let $T\longrightarrow E_{T}\longrightarrow B_{T}$ be the universal $T$-bundle. Let $X\longrightarrow X_{T}\longrightarrow B_{T}$ be the ...
- 1,367
6
votes
1
answer
429
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-...
- 141