All Questions
9,056 questions
1
vote
1
answer
270
views
Cohomological dimension of kernel
Let $M$ and $N$ be two connected, smooth (possibly non-compact), aspherical manifolds (that is, $\pi_k(-)=1$ for $k\geq 2$) of dimensions $n$ and $n-r$ respectively. Let $f:M\to N$ be a smooth map ...
- 585
3
votes
0
answers
189
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 ...
6
votes
0
answers
271
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 ...
4
votes
1
answer
193
views
Version of pseudo-isotopy $\neq$ isotopy for $(n+1)$-framings
Let $M$ be a closed $n$-manifold and $\varphi$ be a self-diffeomorphisms of $M$.
There is a bordism from $M$ to itself given by $M\times [0,1]$ with the identification $M \cong M \times \{0\}$ induced ...
- 890
8
votes
1
answer
372
views
Telescopic localisation of Eilenberg-MacLane spaces
Fix a prime $p$ and an integer $n>0$. Let $K$ be the corresponding Morava $K$-theory spectrum, and let $T$ be the telescope of a $v_n$-self map of a finite spectrum of type $n$, and let $X$ be the ...
- 56.9k
3
votes
1
answer
148
views
Homotopy groups of $K(n)$-local $E_n$-modules are $L$-complete
Let $E_n$ be the $n$-th Morava $E$-theory and let $K(n)$ denote the $n$-th Morava $K$-theory.
Question: If $M$ is a $K(n)$-local $E_n$-module, then are the homotopy groups $\pi_*(M)$ $L$-complete? (...
- 177
5
votes
0
answers
160
views
$S$ and $T$ globally isomorphic semigroups, with $S$ (commutative and) cancellative, iff $S$ is isomorphic to $T$?
Denote by $\mathcal P(S)$ the semigroup obtained by equipping the non-empty subsets of a "ground semigroup" $S$ (written multiplicatively) with the operation of setwise multiplication ...
- 10.5k
2
votes
0
answers
190
views
Connection on relative topological periodic cyclic homology
I have been looking Bhatt-Morrow-Scholze's paper:
https://arxiv.org/pdf/1802.03261.pdf
and came to a naive question. Let $C$ be a dg-category (with assumptions?) over $\mathbb{F}_p[[z]]$ and view this ...
- 3,758
24
votes
5
answers
4k
views
Why should an algebraic geometer care about singular / simplicial (co)homology?
I am a PhD student in algebraic / arithmetic geometry and I never took a formal course in algebraic topology, even though I have some basic knowledge.
In algebraic geometry we deal exclusively with ...
- 721
8
votes
1
answer
205
views
Connectivity of the space of transverse vector fields
Suppose we have a smooth, closed manifold $M$ of dimension $n$ and connectivity $k$. What can we say about the connectivity of the space of all tangent vector fields on $M$ that are transverse to the ...
- 2,062
7
votes
1
answer
468
views
An exact sequence involving THH
Disclaimer: I'm a relative beginner in this area. I'm trying to prove that if one has a commutative ring $R$ and a prime number $p$, then there is an exact sequence of the form
$$\DeclareMathOperator\...
- 73
3
votes
1
answer
199
views
Subgroups of top cohomological dimension
Let $G$ be a geometrically finite group, i.e. there exists a finite CW complex of type $K(G,1)$.
By Serre's Theorem, every finite-index subgroup $H$ of $G$ satisfies $cd(H)=cd(G)$, but what about the ...
- 843
2
votes
1
answer
365
views
Correspondence between fundamental group and geometric properties of $X$
At the time of studing some algebraic topology I was wondering about the following.
Let $X$ be a topological space and $\pi_1(X)$ be its fundamental group.
If we assume some algebraic property of $\...
- 613
0
votes
1
answer
152
views
Name for a monoid on the basis of a vector space?
Is there a name for the structure of a vector space with a monoid defined on its basis?
Given a vector space V over a field F, we can choose a basis and define a monoid on it. Now we can use each ...
- 481
8
votes
1
answer
369
views
Fiber product of spaces and cohomology
Let $Y \to X \leftarrow Z$ be a cospan of topological spaces and let $W = Y \times_X^h Z$ be their homotopy fiber product. I am interested in sufficient conditions on the map $Y \to X$ that ensure ...
- 9,853
4
votes
1
answer
281
views
Borel cohomology for circle actions on odd spheres
Suppose we have a $S^1$-action on the odd sphere $S^3$ as follows:
$$ \lambda \cdot (z_1, z_2) = (\lambda \cdot z_1, \lambda^2 . z_2)$$
I would like to understand the (Borel) equivariant cohomology of ...
- 169
98
votes
10
answers
14k
views
equivalence of Grothendieck-style versus Cech-style sheaf cohomology
Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...
- 1,871
140
votes
7
answers
34k
views
Is the boundary $\partial S$ analogous to a derivative?
Without prethought, I mentioned in class once that the reason the symbol $\partial$
is used to represent the boundary operator in topology is
that its behavior is akin to a derivative.
But after ...
- 151k
6
votes
1
answer
379
views
The optimal ranges for the integral homological stability of $\operatorname{GL}_n(F)$'s for a field $F$
$\DeclareMathOperator\GL{GL}$
$\DeclareMathOperator\co{H}$
$\DeclareMathOperator\ko{K}$
$\DeclareMathOperator\trd{tr-deg}$
$\DeclareMathOperator{\ch}{char}$Given a field $F$ and a homological degree $...
- 1,726
2
votes
0
answers
164
views
Triviality of map $(\Sigma \theta)^*$
We know that there is a cofibration sequence
$$S^{4n+1}\xrightarrow{\theta}\Sigma^{4m-1} Q_{n-m} \rightarrow \Sigma^{4m-1} Q_{n-m+1} \rightarrow S^{4n+2}\xrightarrow{\Sigma\theta}\Sigma^{4m} Q_{n-m}.$$...
51
votes
3
answers
3k
views
Is each squared finite group trivial?
A semigroup $S$ is defined to be squared if there exists a subset $A\subseteq S$ such that the function $A\times A\to S$, $(x,y)\mapsto xy$, is bijective.
Problem: Is each squared finite group ...
- 42k
16
votes
0
answers
426
views
Is the oriented bordism ring generated by homogeneous spaces?
I am trying to find a Riemannian geometrically well-understood set of generators of the oriented bordism ring, including the torsion parts. By a set of generators, I mean that the set generates the ...
- 587
26
votes
1
answer
831
views
Are complex-oriented ring spectra determined by their formal group law?
To every complex-oriented ring spectrum $E$ there is associated a formal group law, which is a power series $F_E(x,y)\in E_*[[x,y]]$.
Suppose $E$ and $F$ are two complex-oriented ring spectra and ...
- 2,052
25
votes
2
answers
1k
views
The number of polynomials on a finite group
A function $f:X\to X$ on a group $X$ is called a polynomial if there exist $n\in\mathbb N=\{1,2,3,\dots\}$ and elements $a_0,a_1,\dots,a_n\in X$ such that $f(x)=a_0xa_1x\cdots xa_n$ for all $x\in X$. ...
- 42k
1
vote
1
answer
203
views
Moving of sphere embedding and its interior defined by Jordan-Brouwer separation theorem
Let $f_1:\mathbb S^{n-1}\rightarrow \mathbb R^n$ be a continuous embedding, where $\mathbb S^{n-1}$ is the unit sphere of dimension $n-1$, and a point $x$ in the interior of $f_1(\mathbb S^{n-1})$ ...
- 435
1
vote
1
answer
192
views
Lie group framing and framed bordism
What is the definition of Lie group framing, in simple terms?
Is the Lie group framing of spheres a particular type of Lie group framing? (How special is the Lie group framing of spheres differed ...
- 447
14
votes
2
answers
829
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 ...
- 11.2k
3
votes
0
answers
227
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$...
- 803
4
votes
1
answer
421
views
4-manifold $M$ with intersection form of Leech lattice
Do we know any 4-manifold $M$ with intersection form of rank-24 Leech lattice?
Is $M$ smooth? Differentiable to which $n$-order?
Can $M$ be obtained by any surgery on 3 copies of E8 4-manifolds with ...
- 447
12
votes
0
answers
383
views
What are some examples of 3-dualizable $(\infty,2)$ categories?
From the cobordism hypothesis, we know that (the space of) symmetric monoidal functors from the $(\infty,3)$ category of framed cobordisms into a symmetric monoidal $(\infty,3)$ category is the same ...
- 2,356
5
votes
1
answer
346
views
Analogues of Sullivan Theory at a prime for coformality
In rational homotopy theory, one can study the rational homotopy and cohomology categories via an algebraic structure, respectively the rational Lie Algebra model and the Sullivan cdga model.
If I am ...
- 2,152
1
vote
1
answer
628
views
Cohomology of the amplitude space of unlabeled quantum networks
I am investigating a particular map from a product of three-spheres to the moduli space of (non-negative, real edge weight) networks. The map in question is
$$f: \smash{\left( \mathbb{S}^3 \right)}^N \...
- 571
9
votes
1
answer
322
views
Torsion and nilpotence of framed manifolds under the Pontryagin-Thom map
The framed Pontryagin Thom construction produces a graded ring isomorphism from the framed cobordism ring $\Omega^{fr}_*$ to the stable ring of homotopy groups of spheres $\pi_*(\mathbb{S})$. I have a ...
3
votes
1
answer
238
views
1D topological defects in $d>3$ spatial dimensions
I am trying to construct a 1D topological defect solution in 4 spatial dimensions, i.e., a solution to some PDE (likely the equations of motion of some Lagrangian) on $\mathbb{R}^{4}$ which is ...
- 147
5
votes
1
answer
450
views
Can we prove that any number of algebraic data cannot be a complete invariant of a homotopy type?
The statement in the title seems to be generally accepted as true, but I have not seen proof. They are?
The strict formulation I have in mind is the following. By an algebraic category we mean the ...
- 6,962
2
votes
1
answer
184
views
Lazard module structure of rings with formal elliptic curve
Recently in algebraic topology I was working with a certain graded ring $R$ equipped with an elliptic curve $C$. Now completion at the identity gives a 1-dimensional formal group $G$. This induces a ...
- 23
4
votes
0
answers
174
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,071
1
vote
0
answers
133
views
A question about fixed point set of the compact group actions
Let $G$ be an infinite compact Lie group acting on a compact space $X$.
Denote $F=F(G,X)=\{x\in X$ : $gx=x$ for all $g\in G\}$.
Show that if $H^*(B_{G_x};\mathbb{Q})=0$ for all $x \notin F$ and $T^1$ ...
- 1,367
66
votes
4
answers
6k
views
Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?
Similarly is the complement of any countable set in $\mathbb R^3$ simply connected?
Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and ...
- 1,187
27
votes
2
answers
797
views
Is there a flat manifold with trivial first homology?
Is there a closed flat manifold whose fundamental group has trivial abelianization?
The famous Hantzsche–Wendt flat manifold has fundamental group with finite abelianization.
- 29.1k
8
votes
0
answers
151
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,596
22
votes
2
answers
978
views
Fixed-point free diffeomorphisms of surfaces fixing no homology classes
One of my graduate students asked me the following question, and I can't seem to answer it. Let $\Sigma_g$ denote a compact oriented genus $g$ surface. For which $g$ does there exist an orientation-...
- 313
2
votes
1
answer
100
views
Conjugacy problem in pure mapping class group of finitely-connected planar domain
Let $D$ be a finitely-connected planar domain, or, even more particularly, a domain obtained from the sphere $S^2$ by removing finitely many disjoint open topological disks. Let $\mathrm{PMCG}(D)$ be ...
- 41
7
votes
1
answer
179
views
Generalisation of Hirsch formula for the associativity of Steenrod's higher $\cup_2$ product with $\cup_1$ and cup products
For $f$, $g$ and $h$ cochains, the Hirsch formula is given as
$$ (f\cup g)\cup_1 h=f\cup (g\cup_1 h)+(-1)^{q(r-1)}(f\cup_1 h)\cup g.$$
Is there a more general formula that relates the associativity of ...
- 71
6
votes
1
answer
476
views
How to use a Heegaard diagram to retrieve the original 3-manifold that it represents?
(Disclaimer: I apologize that this is an introductory question for a forum like MathOverflow, but I have run out of ideas and resources to understand how this works, and I don't know where else to ask ...
- 377
1
vote
0
answers
151
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 ...
- 447
2
votes
0
answers
179
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.
...
- 1,001
7
votes
1
answer
490
views
Equivariant perverse sheaves and orbit stratification
Let $X$ be a complex algebraic variety with an action of a connected algebraic group $G$.
The forgetful functor from the category of $G$-equivariant perverse sheaves on $X$ to the category of perverse ...
- 3,446
5
votes
1
answer
195
views
Alternate way to group complete a homotopy commutative topological monoid
Let $M$ be a topological monoid that is homotopy commutative. I've been trying to understand the proof of the group completion theorem from Hatcher's notes. Roughly speaking, this theorem says that ...
- 51
2
votes
1
answer
194
views
Continuity of Moore-Penrose generalized inversion
Any matrix $A\in\mathbb{C}^{m\times n}$ has a unique generalized inverse $A^{\dagger}\in\mathbb{C}^{n\times m}$ with the properties $$AA^{\dagger}A=A,\qquad A^{\dagger}AA^{\dagger}=A^{\dagger},\qquad (...
- 1,093