All Questions
8,725 questions
25
votes
1
answer
583
views
Does every oriented $3$-dimensional submanifold of $\mathbb{R}^6$ bound an oriented $4$-dimensional submanifold?
In my recent research, I encountered the following problem about embeddings. Let $M^3$ be a closed compact oriented smooth $3$-dimensional submanifold of $\mathbb{R}^6$. Does there exist a compact ...
- 587
10
votes
2
answers
337
views
Finitely dominated universal spaces for the family of solvable subgroups
$\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\Sz{Sz}$In short, I am interested in the question which finite groups $G$ admit a finitely dominated universal space with respect to the family of ...
- 231
3
votes
1
answer
184
views
Freudenthal suspension homomorphism
I asked this question in MathStackExchange a couple of months ago, with little feedback, hence I try here.
The Hopf invariant $h(f)$ of a mapping $f:\mathbb S^{2m-1}\to \mathbb S^m$ is a homotopy ...
- 203
3
votes
0
answers
69
views
How would you call morphisms of varieties that induce isomorphisms on etale cohomology in low degrees?
In our text we have several statements of the following sort: for a certain morphism $f:X\to Y$ of varieties over an (algebraically closed) field of characteristic $p$ and some $c>0$ the ...
- 16.9k
3
votes
0
answers
181
views
Levelled trees and the homotopy transfer theorem
In section 10.3.12 of Loday-Vallette's book "Algebraic operads", given a $P_\infty$-algebra $(A,d,\alpha)$ the Homotopy Transfer Theorem applied to $H_*(A,d)$ is studied. There, because the ...
- 215
6
votes
2
answers
523
views
Is the logic of the ($\infty$-?)topos of simplicial sets "contradictory up to homotopy"?
In a sense this is a followup to my earlier question Does the (1-)topos structure on simplicial sets have any homotopy-theoretic significance?.
In the topos of simplicial sets, the subobject ...
- 18.4k
1
vote
1
answer
125
views
Subtlety of identifying $W^{k,p}\bigl([0,1] \bigr)$ and $W^{k,p}(S^1)$ - from ME
I apologize for repeating the same question from ME, but it seems more subtle than I expected.
Let me fix the notations here first:
\begin{equation}
C^\infty_c(0,1):= \{ f : (0,1) \to \mathbb{C} \mid ...
- 3,477
2
votes
0
answers
205
views
What role does homotopy play in Karoubi's K-Theory?
In Karoubi's book K-Theory An Introduction, he defines the groups $K^{p,q}(\mathcal{C})$ for a pseudo-abelian Banach category as equivalence classes of triples $(E,F,\alpha)$, where $E,F \in \mathcal{...
- 233
5
votes
1
answer
294
views
Compatibility of natural transformations in a six-functor formalism
Suppose we are given a six-functor formalism and a cartesian diagram
$$\require{AMScd} \begin{CD} X @>\tilde{g}>> Z \\ @V \tilde{f} V V @V Vf V \\ Y @>g>> W\end{CD} \,.$$
There are ...
- 913
4
votes
1
answer
328
views
Holomorphic homotopy conjecture
Let $X$ be a smooth projective variety over the complex numbers, and let $\text{Coh}(X)$ be the category of coherent sheaves on $X$. Consider the dg-category $\text{Perf}(X)$ of perfect complexes on $...
- 41
2
votes
1
answer
401
views
${\rm SL}_2(\mathbb C)$-equivariant K-theory of $\mathbb C P^1$
Consider the action of ${\rm SL}_2(\mathbb C)$ on $\mathbb C P^1$ induced by the action of 2×2 matrices on 2-vectors. Is it true that $K^{{\rm SL}_2(\mathbb C)}(\mathbb C P^1)$ is $\mathbb C[t,t^{-1}]$...
- 2,964
9
votes
0
answers
159
views
Is there a closed aspherical manifold with infinitely many symmetries and without essential immersed tori?
The precise question is the following:
Is there a closed aspherical manifold $M$ of dimension $n\geq 3$ such that Out($\pi_1(M)$) is infinite and $\pi_1(M)$ does not contain $\mathbb Z \times \mathbb ...
- 10.5k
6
votes
0
answers
141
views
Are the $K(n)$-local $E_n$-Adams spectral sequences isomorphic to the Adams-Novikov spectral sequences?
Let $H$ be a closed subgroup of the Morava stabilizer group $\mathbb G_n$. [Devinatz-Hopkins, Prop. 6.7] identifies the $K(n)$-local $E_n$-Adams spectral sequence for $E_n^{hH}$ as the homotopy fixed ...
- 155
4
votes
1
answer
276
views
Why is $bo$ not flat?
Let $bo$ be the connective cover of the real $K$-theory spectrum $KO$. This is a ring spectrum, and so one can look at its Adams spectral sequence. Mahowald does this in "$bo$-resolutions", ...
1
vote
0
answers
106
views
The proposition associated with a set
Given a set $U$ and a set $A \subseteq U$, is there an accepted symbol for the proposition $p$ over the universe $U$ such that for each $x \in U$, $p(x)$ is the assertion that $x \in A$? (The symbol $...
- 19.7k
2
votes
0
answers
139
views
Is the complement of a square imbedded to a cylinder connected?
Let $C$ be a compact 2-dimensional cylinder $[0,1]\times S^1$. Let $A$, $A'$ be the two connected components of its boundary.
Let $Q$ be a square. Let $a$, $a'$ be a pair of opposite edges of $Q$.
...
- 21.8k
4
votes
1
answer
418
views
Definition of Chow quotient
I am reading M. M. Kapranov's paper "Chow quotients of Grassmannians. I." (English) in Sergej Gelfand (ed.) et al., I. M. Gelfand seminar. Part 2: Papers of the Gelfand seminar in ...
- 41
5
votes
1
answer
179
views
Euler class in center of mod 2 Morava K-theory?
I consider Morava K-theory at the prime $p=2$ and height $n$. $K(n)^*$ is multiplicative and complex-oriented, but the multiplication is not commutative. Suppose I have a complex bundle $E$ of rank m ...
- 959
6
votes
1
answer
188
views
Plus construction of the product spaces
I am newly learning plus construction in topology. My question is how to prove the following:
The plus construction of the product of two CW complexes is homotopically equivalent to the product of ...
- 613
0
votes
0
answers
92
views
About filtration of the Leray-Serre spectral sequence
In the following proof, it is used the spectral sequence of the Borel
fibration $X\longrightarrow X_{T}\longrightarrow B_{T}$.
I don't understand how the map $\psi $ is obtained, and how is it an $R$-...
- 1,367
3
votes
1
answer
351
views
How to define relative orientation in terms of (co)homology?
Let $f\colon X\to Y$ be a smooth surjective map of smooth manifolds of dimension $n$ which are not necessarily orientable. A relative orientation of $X$ over $Y$ consists of an isomorphism $\psi\colon ...
- 3,031
6
votes
0
answers
150
views
Conceptual proof of Jacobi-like identity for Toda brackets
In the paper $p$-primary components of homotopy groups IV, Toda proved an identity for his bracket operation, which can be succinctly written as
$$[[\alpha, \beta, \gamma], \Sigma \delta, \Sigma \...
- 1,262
2
votes
0
answers
81
views
A question about the Leray-Serre spectral sequence of the Borel fibration
Let $G$ be a torus which acts on a topological space $X$. Then consider
the Borel fibration $X\longrightarrow X_{G}\longrightarrow B_{G}$. Let $%
\left( E_{r}^{\ast ,\ast },d_{r}\right) $ be the Leray-...
- 1,367
4
votes
1
answer
297
views
Fundamental group of the smooth locus of a normal algebraic surface is a quotient of that of a Zariski open subset
Let $X$ be a normal algebraic surface (over $\mathbb{C}$) and $Y$ its smooth locus, i.e., the complement of the singularities of $X$. Suppose $Z\subset Y$ is a Zariski open subset of $X$. Then is it ...
- 335
3
votes
1
answer
135
views
Geodesic convexity of Dirichlet Fundamental Domains
My question is motivated by this question, and this answer to it. Below, let's consider the setup in that answer:
Let $M$ be a Riemannian manifold. Let $G\times M\to M$ be a proper action of a ...
- 1,467
4
votes
1
answer
225
views
Homotopy of Brown-Gitler spectra
Let $A^\vee = \mathbb{F}_2[\bar\xi_1, \bar\xi_2, ...]$ be the mod-2 dual Steenrod algebra. One can define a weight filtration on $A^\vee$ by setting $wt(\bar\xi_i)=2^i$ and $wt(xy)=wt(x)wt(y)$. There ...
2
votes
0
answers
157
views
Symmetric powers for a short exact sequence of vector bundles
If $0 \to A \to B \to C \to 0$ is a short exact sequence of vector bundles on $X$, is it necessarily true that $[{\rm Sym}^k B] = \sum_{i=0}^k [{\rm Sym}^i A \otimes {\rm Sym}^{k-i} C]$ in the ...
- 2,964
9
votes
0
answers
120
views
Reference Request: Moore--Postnikov tower of the rationalization of a fibration
Two spaces $X$ and $Y$ are said to be rationally homotopy equivalent, written $X \sim_{\mathbb{Q}} Y$, if their rationalizations $X_{\mathbb{Q}}$ and $Y_{\mathbb{Q}}$
are homotopy equivalent. Moreover,...
- 371
7
votes
1
answer
202
views
Lipschitz bounds and homotopy groups of diffeomorphism groups
Let $M$ denote a closed Riemannian manifold. Let $\mathrm{Diff}_0^L(M)$ denote the supspace of the identity component of the diffeomorphism group $\mathrm{Diff}_0(M)$ of diffeomorphisms with Lipschitz ...
- 1,174
1
vote
0
answers
111
views
Unique Hausdorff topology on trivial vector bundle?
Question: Is there a Hausdorff topology other than the product topology on $X\times \mathbb{C}^n$, that turns $(X\times \mathbb{C}^n, \mathrm{pr}_1)$ into a vector bundle, where $\mathrm{pr_1}$ ...
- 11
1
vote
0
answers
125
views
Relating singular homology of function spaces: a natural transformation from $C(\mathbb{R}, -)$ to $L^p(\mathbb{R}, -)$
Consider the category $\mathcal{Top}_*$ of pointed topological spaces and continuous basepoint-preserving maps. Let $C(\mathbb{R}, X)$ denote the space of continuous maps from the real line $\mathbb{R}...
user538396
14
votes
1
answer
816
views
What properties of the fundamental group functor are needed to uniquely determine it upto natural isomorphism?
Consider a functor from pointed topological spaces to groups, which
evaluates the same on homotopically equivalent topological spaces and also on homotopic continuous functions.
What additional ...
- 1,545
1
vote
0
answers
46
views
Optimal transport and the geometry of singular measures on fractal Sets
Let $K$ be a self-similar fractal set in $\mathbb{R}^n$ with Hausdorff dimension $d < n$, equipped with a self-similar measure $\mu$ supported on $K$. Let $\mathcal{P}(K)$ denote the space of ...
- 11
1
vote
0
answers
37
views
Asymptotic growth of twisted alexander polynomials and hyperbolic volume for infinite families of knots
Let $\{K_n\}_{n=1}^\infty$ be an infinite family of hyperbolic knots with increasing crossing number, and let $\rho_n: \pi_1(S^3 \setminus K_n) \to SL_N(\mathbb{C})$ be a sequence of irreducible ...
2
votes
1
answer
201
views
Identifying $d_1$ in the Atiyah-Hirzebruch-Serre spectral sequence
In A Primer on Spectral Sequences (also later published in More Concise Algebraic Topology), J. Peter May describes the Serre Spectral Sequence for any homology theory. To recap, suppose $p\colon E\...
- 508
6
votes
1
answer
313
views
Is Morava K-theory of a classifying space of a compact Lie group a Noetherian ring?
Let $p$ be a prime and $n > 1$ a height. My conventions for Morava K-theory are that $K_p(n)^*(pt)=\mathbb{F}_p[v_n,v_n^{-1}]$, $|v_n|$ (the degree of $v_n$) is $2(p^n-1)$.
Question: If $G$ be a ...
- 3,758
5
votes
0
answers
175
views
Is $\overline{\mathcal{M}}_{g,n}$ a Koszul space?
In https://arxiv.org/abs/1902.06318 Dotsenko proved that $\overline{\mathcal{M}}_{0,n+1}$ is a Koszul space, i.e. it is both formal and coformal. Equivalently, a space is Koszul if it is formal and ...
- 641
4
votes
1
answer
193
views
Canonical decomposition as wedge sum up to homotopy equivalence
I am curious: is there a canonical way to decompose a finite simplicial complex into a wedge sum up to homotopy equivalence? More formally:
Let $X$ be a finite simplicial complex. Is $X$ homotopy ...
- 8,401
6
votes
0
answers
155
views
How to characterize this condition for commutative squares in $\Delta$
In the simplex category $\Delta$ we have the situation, that
pullbacks exist for cospans $[a] \xrightarrow{\alpha} [n] \xleftarrow{\beta} [b]$ in $\Delta_\text{mono}$ and
pushouts exist spans $[a] \...
- 1,813
14
votes
1
answer
573
views
Different proof techniques of the Atiyah-Singer index theorem
I am aware of the usual K-theoretical (cobordism, operator algebras) and heat kernel proofs of the index theorem, as answered in other questions in this site, e.g. here.
However, I recently read this ...
8
votes
0
answers
287
views
What is the current research situation of the Cheeger–Goresky–MacPherson conjecture?
In [CGM-1983], J. Cheeger, M. Goresky and R. MacPherson conjectured that the intersection cohomology of a singular complex projective algebraic variety $X$ is naturally isomorphic to its $L^2$-
...
4
votes
1
answer
294
views
Relationship between infinite suspension $\Sigma^{\infty}$ of $E_{\infty}$ grouplike space and its infinite delooping?
For an object $X$ in the infinity category of pointed space $S_{*}$, if it has an $E_{\infty}$ grouplike structure, then it give rises to a unique infinite delooping $BX$, which is a connective ...
- 618
6
votes
3
answers
395
views
Decomposable maps of half-smash products
[Cross-posted from MSE]
For a pointed space $X$ and unpointed space $Y$, recall the half-smash product $X\rtimes Y=X\land Y_+=(X\times Y)/(\ast\times Y)$. For unpointed spaces $X,Y$ and a pointed ...
- 508
4
votes
1
answer
184
views
FI-homology of a spectral sequence of rational FI-modules
Let $(E^r_{p,q})$ be a spectral sequence of rational $\mathsf{FI}$-modules. Call $H^{\mathsf{FI}}$ the $\mathsf{FI}$-homology (see here) and $t_k X= \deg H^{\text{FI}}_k X$ the $k$-th generation ...
- 275
3
votes
0
answers
110
views
String cobracket and co-Hochschild homology
Let $M$ be a closed oriented manifold and take a field of char. zero to be the ground ring. String Topology gives, to the homology $H_\bullet(LM)$ of the free loop space of $M$, the structure of ...
- 985
2
votes
0
answers
146
views
Two open contractible subset of $\mathbb{R}^3$ which are not homeomorphic but are polynomial preimage of open sets of $\mathbb{R}$
About 2 decades ago I heared from some one that there are infinitely many open contractible subsets of space mutually non homeomorphic to each other. I confess that I do not remember the ...
- 366
11
votes
2
answers
594
views
In Top, *how* do conjugate homorphisms of groups induce homotopies of classifying maps?
In Top, how do conjugate homorphisms of groups induce homotopies of classifying spaces?
They exist— there's an abstract proof, but how is BG → BH written in terms of the homotopy??
If G and H are only ...
- 301
6
votes
0
answers
137
views
Second homotopy group of the symmetric power of a space
Let $X$ be a finite CW complex, $n \ge 2$, and $\Sigma_n$ be the permutation group on $n$ symbols. Let $X^{(n)}=X^n/\Sigma_n$ be the quotient of the natural action of $\Sigma_n$ on $X^n$. We call $X^{(...
- 311
5
votes
1
answer
222
views
Serre spectral sequence of Borel construction
Let $G$ be finite $p$-group, $X$ be path-connected $G$-space, $E=EG\times_{G}X$ be the Borel construction and $BG$ be the classifying space of $G$. Consider Serre spectral sequence of the fibration
$$...
- 51
3
votes
0
answers
90
views
Topological groups satisfying the Borel transgression theorem
I am using the Borel transgression theorem as given in Mimura and Toda's "Topology of Lie groups I and II", page 378, Theorem 2.7. I know that it applies when the fiber has the homotopy type ...
- 61