All Questions
1,240 questions
4
votes
1
answer
257
views
What is the first Postnikov invariant of $BDiff(S^1 \times S^1)$?
The classifying space $BDiff(S^1 \times S^1)$ of the diffeomorphism group of the torus is a 2-type with $\pi_1 = GL(2, \mathbb{Z})$ and $\pi_2 = \mathbb{Z} \times \mathbb{Z}$ and all higher $\pi_i$ = ...
- 1,821
4
votes
1
answer
469
views
How to calculate $\mathrm{TP}(\mathbb{F}_p[t])$?
$\DeclareMathOperator\TP{TP}$I am trying to learn about topological periodic cyclic homology following the notes:
https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/Lectures.pdf
https://...
- 959
4
votes
1
answer
2k
views
Tensor product of spectral sequences?
I'm wondering about a cross product for spectral sequences. I've got an idea, and I wonder if it is written up anywhere, or if it even holds water.
Let's start with three spectral sequences, $E, F$ ...
- 12.5k
4
votes
1
answer
253
views
Homotopy type of G-CW-structure
Let $G$ be a finite group, and $X$ be a free $G$-space. Moreover, assume that $X$ has a homotopy type of a CW-complex. Does $X$ have $G$-homotopy type of a $G$-CW complex also?
Edit: My main ...
- 683
4
votes
2
answers
848
views
Generalized Jordan theorem and winding number
By the generalized Jordan theorem any continuous injective map
$S^{n-1} \hookrightarrow R^n$ splits $R^n$ into two regions, one being bounded (interior) and the other one unbounded (exterior). It ...
- 1,875
4
votes
1
answer
163
views
Representing simplicial homotopy classes cubically?
Let $(X,x_0)$ be a pointed simplicial set. Assume if you like that $X$ is the nerve of a category but do not assume that $X$ is a Kan complex.
Because $Ex^\infty X$ is a Kan complex, every homotopy ...
- 64k
4
votes
0
answers
94
views
A dimension condition on the cohomology of a homogeneous space
The rational cohomology of a homogeneous space $G/K$ admits a homomorphism from $H^*(BK)$ induced from the classifying map $G/K \to BK$ of the principal $K$-bundle $G \to G/K$. Assume the Lie group is ...
- 2,995
4
votes
1
answer
574
views
Homotopy colimit of a simplicial DGA
It seems to be well-known that the homotopy colimit of a simplicial chain complex (unbounded) can be computed by taking the totalization of the associated (half-plane) double complex. The totalization ...
- 403
4
votes
0
answers
133
views
Equivalence of Flat Fiber Bundles vs Equivalence of Group Actions on the Fiber
Let's consider all flat fiber bundles with base space $B$ and fiber $F$, where $B$ and $F$ are compact and at least CW-complexes. (perhaps even topological/smooth manifolds if that helps)
All those ...
- 404
4
votes
3
answers
3k
views
Homotopy Equivalence of Punctured Tori
I was told recently that if I take a 2-torus (genus 2) and remove 1 point, then this is homotopy equivalent to a torus with 3 points removed. This may be really easy but I don't see it.
Thank you!
- 196
4
votes
1
answer
742
views
Monodromy representation of elementary simple covers
Let $X$, $Y$ be smooth, connected, compact manifolds (for instance, projective varieties) and $f \colon X \longrightarrow Y$ be a finite, branched cover of degree $n$, with branch locus $B \subset Y$. ...
- 66.3k
4
votes
1
answer
183
views
When can a generalized connected sum be aspherical
Let $M$ and $N$ be compact $n$-dimensional manifolds with a common (nicely embedded) compact submanifold $S$ (we may assume that the inclusion of $S$ in $M$ and $N$ is $\pi_1$-injective). Let $M\#_S N$...
- 311
4
votes
1
answer
1k
views
references for models of stable infinity categories
There's a fair amount of literature comparing different models for the homotopy theory of homotopy theories, or the homotopy theory of $(\infty,1)$-categories. Julie Bergner has a survey of this ...
- 293
4
votes
1
answer
595
views
Algorithm for computing fundamental group of simplicial complexes
For computing homology of a simplicial complex, there is the well-known reduction algorithm.
How about for fundamental group of simplicial complexes? Is there any (implementable) algorithm to compute ...
- 1,229
4
votes
2
answers
378
views
Minakshisundaram-Pleijel zeta function identity
Let $\zeta(M,s)$ be the Minakshisundaram-Pleijel zeta function, which encodes the eigenvalues of the Laplace-Beltrami operator. Where can I find a proof or reference of the following identity? If $M$ ...
- 457
4
votes
1
answer
514
views
A question about spectral sequences
In the following proof (from The pontrjagin numbers of an orbit map and generalized G-signature theorem by Hsu-Tung Ku & Mei-Chin Ku https://link.springer.com/chapter/10.1007/BFb0085610), it is ...
- 1,367
4
votes
1
answer
208
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 ...
- 6,962
4
votes
0
answers
74
views
Determinant twist and $Pin _{\pm}$ structure on $4k$-dimensional bundles [Reference request]
Consider the automorphism $\varphi$ of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$. The induced map in cohomology $H^*(BO(2n))$ sends $w_2$ to $w_2+(n+1)w_1^2$ (a proof is given at the end of the ...
- 3,051
4
votes
4
answers
826
views
When is the quotient by an $n$-fold loop space an $m$-fold loop space?
Given a map of $n$-fold loop spaces $X\to Y$, we can take the homotopy cofiber, denote it $Y/X$ (all spaces here will also have a base point, and all maps pointed). I have some basic questions about ...
- 10.5k
4
votes
1
answer
625
views
Is there an algorithm for computing Schur multiplier?
Suppose we are given group $G=\langle a_1,\ldots,a_n \mid R_1=1,\ldots R_m=1 \rangle$. Is there an algorithm which computes a finite presentation for the Schur multiplier, i.e. second homology group $...
- 1,281
4
votes
1
answer
361
views
Localization at the Johnson-Wilson spectrum and rationalization
Is there a clean proof that the $L_n$, localization at $E(n)$, is simply rationalization (i.e. $L_0$) on Eilenberg-MacLane spectra? Eric Peterson asked this here, but I haven't seen an answer.
user62675
3
votes
2
answers
1k
views
Do Smash Products and Quotients Commute?
Let $X$ be a subcomplex of a CW-complex $Y$. Is $(Y/X)^{\wedge k}$ homotopy equivalent to $Y^{\wedge k}/X^{\wedge k}$, where $\wedge k$ is the $k$-fold smash product? I know it is not true for ...
- 61
3
votes
1
answer
303
views
Circle bundle with homotopically trivial fiber in the total space
Consider a smooth circle fiber bundle
$$
S^1 \to E\to B
$$
where $E$ is a smooth 3-manifold and $B$ is a smooth surface. Assuming any $S^1$ fiber in $E$ is homotopically trivial, can we prove that $E$ ...
- 2,535
3
votes
1
answer
489
views
Group cohomology with coefficients in a permutation module
Let $A$ be an Abelian group, and let $G$ be a finite group which acts on a finite set $M$, such that a subgroup $H$ acts trivially on $M$ and $G/H$ acts freely on $M$. I can define a $G$-module $A^M$ (...
- 863
3
votes
1
answer
243
views
Is every strongly causal spacetime purely electric?
Take a time 4-dimensional orinted Lorentzian manifold $(M,g)$.
A spacetime is called Strongly Causal at point $p$ if and only if for every neighbourhood $U$ of the point $p$ there exists a ...
- 612
3
votes
1
answer
487
views
How to compute the index of a vectorfield defined by analytic formula?
An analytic local map (or map germ) $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^n, 0) $ can be considered as a vector field with zero at the origin. Assume that the origin is an isolated zero of $f$. How ...
- 194
3
votes
1
answer
160
views
Definition of S-reducibility and reducibility of a space
I was going through this paper by Tanaka but I am stuck at Proposition 4.1 given below . I just cannot make sense of the first two lines of the proof. What does it mean when he says S-reducible and ...
3
votes
2
answers
448
views
Algebraic curve intersecting square-grid
Let us subdivide the unit square into square-grid cells with sidelength $w$. This will give us roughly $w^{-2}$ cells.
Formally
$$ g_{ij} = \{(wi, wj) + (x,y) : 0\leq x,y\leq w \},$$
for $i,j = 0,\...
- 479
3
votes
1
answer
409
views
Postnikov towers in bounded t-structures
If $\mathcal{H}$ is the heart of a bounded t-structure in a triangulated category $\mathcal{T}$, then for every object $E$ in $\mathcal{T}$ there exists a finite sequence of integers $k_1>k_2>\...
- 6,777
3
votes
1
answer
124
views
Involution on the set of isomorphism classes of 2n-dimensional vector bundles induced by an involution of $O(2n)$
Denote by $\varphi$ the automorphism of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$.This induces a self-map $B\varphi$ of $BO(n)$, so it induces a self-map (actually an involution)
$B\varphi ^*$ on $[...
- 3,051
3
votes
1
answer
691
views
Bockstein homomorphism and Square Operations: Their consistency formulas
Here are various ways to define "Bockstein homomorphism:"
Let $\beta_p:H^*(-,\mathbb{Z}_p)
\to H^{*+1}(-,\mathbb{Z}_p)$ be the Bockstein homomorphism associated to the extension $$\mathbb{Z}...
- 10.5k
3
votes
2
answers
798
views
Banach algebraic proof of the Borsuk Ulam theorem
I am wondering whether there exists a proof of the classical Borsuk Ulam theorem
for the Euclidean n-sphere, $n>2$ that is based only on the theory
of Banach algebras. I checked on MR but had no ...
- 687
3
votes
0
answers
181
views
Classification of fibrations for classifying spaces $B^2\mathbb{Z}_2$ and $BSO(2)$ or $BO(2)$
Thanks to a suggestion by @Igor Belegradek, I am interested also in a simpler problem of this earlier question 301523, by knowing what can we say about the classification of fibrations for classifying ...
- 2,147
3
votes
1
answer
206
views
Reduction to graph subgroups for Bredon homology when the $G_1\times G_2$ is $G_2$-free
I have the following problem. Let $\Gamma_{G_1\times G_2}$ be a full subcategory of the orbit category $\mathcal{O}_{G_1\times G_2}$ consisting of graph subgroups of $G_1\times G_2$. Further, let $N$ ...
- 1,759
3
votes
1
answer
1k
views
cohomology of the orbit space of a group action
Let $M$ be a manifold. Let a finite group $G$ act on $M$ discretely. Let $F$ be a field.
Suppose the induced action of $G$ on the cohomology algebra $H^*(M,F)$ is known. We want to obtain $H^*(M/G;F)$...
- 1,990
3
votes
1
answer
277
views
What do you call a map of spaces which is weakly left orthogonal to all $n$-connected maps?
$\let\op=\operatorname$In $\op{Set}$, we have an $(\op{Epi},\op{Mono})$ orthogonal factorization system. Strikingly, if we reverse the roles, we get the no-less-important $(\op{Mono},\op{Epi})$ weak ...
- 64k
3
votes
1
answer
467
views
Why do we need cofiltered condition on the index category in the definition of pro-categories?
Let $\mathcal{C}$ be a category. The pro-category pro-$\mathcal{C}$ is defined as (see this nLab page) follows: its objects are diagrams $F: D\to \mathcal{C}$ where $D$ is a small cofiltered category. ...
- 9,019
3
votes
0
answers
118
views
Weak contractibility of some infinite dimensional metric spaces
Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that:
$X_{n}$ is a regular$^1$ CW-complex of constant local dimension$^3$ $n$, it is of finite type$^4$, ...
3
votes
3
answers
769
views
Reducible 3d torus bundles
Here reducible means that the mapping class for the fiber is a reducible auto-homeomorph in the sense of Nielsen-Thruston. So,
could anyone give me a hint to classify them?
In contrast, do you agree ...
- 345
3
votes
2
answers
191
views
Embedded submanifold in a cylinder
Let $M^n$ be an $n$-dimensional topological closed manifold. Suppose there exists an embedding $i:M \to M \times [0,1]$ such that $i(M)$ is contained in the interior of $M \times [0,1]$ and separates $...
- 891
3
votes
1
answer
576
views
Stacks as local quotients or via atlases
If one looks up the definition of a Deligne--Mumford stack or an Artin stack, one usually finds something like:
A DM (resp. Artin) stack is a stack $X$ satisfying [insert condition in the diagonal ...
- 18.7k
3
votes
1
answer
912
views
Homotopy classes of maps
This is a reference request.
A theorem of Hurewicz (published in Beiträge zur Topologie der Deformationen. IV. Asphärische Räume, Proc. Akad. Wetensch. Amsterdam, volume 39, deel 2 (1936), 215-224, ...
- 31
3
votes
1
answer
174
views
Parameterizing the space of convex quadrilaterals
If $P=\mathbb{R}^2$ is the plane, is there a continuous surjection from $P^4$ to the space of convex quadrilaterals?
Specifically, I'm looking for a continuous $f:P^4\to P^4$ such that:
[convexity] ...
user44143
3
votes
0
answers
888
views
Quotient space, homogeneous space, and higher homotopy groups
Preparation and my input:
For the quotient space $G/H$, knowing the homotopy
groups of $G$ and $H$ one can determine homotopy groups from the long
exact sequence
$$
...
\to \pi_n(H) \to \pi_n(G) ...
- 10.5k
3
votes
0
answers
413
views
Motivation of Lawson Homology
Let $X$ be a complex projective variety. The Chow monoid of $X$, denoted by $\mathcal{C}_p(X)$, is the monoid given by $p$-dimensional algebraic cycles of $X$. Considering a fixed embedding $i\colon X\...
- 1,252
3
votes
0
answers
234
views
Hurwitz–Radon problem for $ \mathbb{Q} ^{n} $
What is the maximal number of orthogonal operators $ A _{1} , \dotsc, A _ {m} $ in $ \mathbb{Q}^{ n } $ satisfying the relations $ A_{i}^{2} = - I $ and $ A_{i}A_{j} + A_{j}A_{i} = 0 $ for $ i \neq ...
- 923
3
votes
2
answers
555
views
Localizing at homotopy equivalences
I understand that my question is probably elementary to someone well-versed in model categories, but the subject is very deep and I wonder whether there is a much simpler answer.
If you localize a ...
- 2,197
3
votes
0
answers
181
views
Refined f- and h-partition polynomials of the associahedra
The f-polynomials, $F_n(x)$ (cf. OEIS A126216, A033282, and A086810), and the h-polynomials, $H_n(x)$ (cf. A001263, the Narayana polynomials), of the family of simple convex polytopes the associahedra ...
- 10.5k
3
votes
0
answers
490
views
Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$
I'll first state the question as concisely as I can and then provide some motivation.
Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...
- 21.6k
3
votes
1
answer
525
views
The notion of abelian covers
I have some doubts about what an abelian covering is, and I'll try my best to articulate them.
In Serre's Algebraic groups and class fields Chapter VI.2, he fixed a base field $k$ with algebraic ...
- 895