All Questions
3,701 questions
2
votes
0
answers
45
views
Transferring $A_\infty$-structure from a module to its homology
Given an $A_\infty$-module $M$, which is a graded module $M=\bigoplus_{k\in\mathbb{Z}}M_k$ with morphisms $m_n^M\colon A^{\otimes(n-1)}\otimes M\rightarrow M$ of degree 2-n satisfying the $A_\infty$ ...
- 193
0
votes
1
answer
60
views
Is there a characterization of monoids that distribute over each other?
Let $(M, e_1, \times_1, e_2, \times_2)$ be an algebraic structure such that
$(M, e_1, \times_1)$ and $(M, e_2, \times_2)$ are monoids
$x \times_1 (y \times_2 z) = (x \times_1 y) \times_2 (x \times_1 ...
- 631
4
votes
0
answers
161
views
Cell structure on the function space $\operatorname{Hom}(X,Y)$
By the Theorem of Milnor in his paper "On spaces having the homotopy type of a CW-complex", the function space $\operatorname{Hom}(X,Y)$ (with the compact-open topology) is homotopy ...
- 150
2
votes
0
answers
111
views
Induced homology map zero implies zero in cobordism?
I had asked this in math stackexchange, but got no reply. Hence, I'm asking here.
[I'm no expert in (co)bordism theory, and I've been struggling with it for the past few weeks. Any good references on ...
- 21
8
votes
1
answer
398
views
Reduction of structure group and classifying spaces
Let $H, G$ be topological groups and $\phi : H \to G$ a group homomorphism. Let $M$ be a paracompact topological space.
For any principal $G$-bundle $P \to M$, a reduction (or sometimes 'lift') of its ...
- 95
6
votes
0
answers
211
views
Tate cohomology as a derived functor
I am trying to understand in what sense Tate cohomology may be regarded as the co-fibre of the norm map, from the perspective of derived functors.
Say $G$ is a finite group and $M$ is a $G$-module ...
- 2,907
4
votes
0
answers
101
views
Full subcategories of stable $\infty$-categories closed under all shifts
Is there a name for an $\infty$-category C that admits a zero object and suspensions such that the suspension functor $C \to C$ is an equivalence but which does not necessarily admit cofibers and ...
- 1,361
4
votes
0
answers
116
views
Categories enriched in $(m,n)\text{-Cat}$ with Crans–Gray tensor product
(All higher categories will be strict unless otherwise noted):
It is a somewhat folklorish fact that if you equip the category of $(m,n)$ categories with the cartesian monoidal structure, then a ...
- 423
3
votes
0
answers
170
views
Cellular structure of $F_4$
Is there the cellular structure of the Exceptional Lie group $F_4$?
Is there a reference to it?
Thanks
8
votes
1
answer
437
views
Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$
I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
- 3,065
11
votes
0
answers
427
views
Is there a theory of completions of semirings similar to $I$-adic completions of rings?
Let $L = \text{Con } (\mathbb{N}, 0, +) \setminus \Delta$ be the lattice of monoid congruences on the naturals, excluding the trivial congruence. As it happens, every $\theta \in L$ is the meet of ...
- 631
3
votes
2
answers
373
views
Is this true of the frame bundle $\operatorname{Fr}(M)$?
On an orientable (Riemannian) $n$-manifold $M$, with orthonormal frame bundle $\operatorname{Fr}(M)$, we have that the tangent bundle classifying map $\tau_M : M \to B{\operatorname O(n)}$ lifts to $B{...
- 95
6
votes
0
answers
147
views
Are cofibrant objects flat with respect to Day convolution?
Question
Let $\mathcal{C}$ be a small symmetric monoidal category. The category $\mathsf{sSet}^{\mathcal{C}}$ of simplicial precosheaves on $\mathcal{C}$ is a symmetric monoidal model category with ...
- 2,292
0
votes
0
answers
80
views
Reference for computing cohomology of $Q_nS^0$ (the $n$-th component of infinite loop space)?
$Q_nS^0=\varinjlim_k(\Omega^kS^k)_n$, where $(\Omega^kS^k)_n$ refers to homotopy classes of maps $(S^k,\ast)\to (S^k,\ast)$ of degree $n$. I already know the case of $n=0$.
Is there any reference ...
13
votes
2
answers
391
views
What does $\mathrm{Conf}_n(M)^{h S_n}$ look like?
$\DeclareMathOperator\Conf{Conf}$Let $M$ be a manifold, and $\Conf_n M$ the ordered configuration space of n points on $M$. The symmetric group $S_n$ acts by permuting the points.
Is there a simple ...
- 275
4
votes
1
answer
237
views
When does a cofibrantly generated model category have this factorization property?
Let $\mathcal{C}$ be a cofibrantly generated model category, which is generated by $I$ and $J$. According to the small object argument (Hovey Theorem 2.1.14) of cofibrantly generated model categories, ...
- 143
2
votes
0
answers
92
views
Geometric interpretation of flags and the role of the rook monoid and Kazhdan–Lusztig theory in $M_n(\mathbb{C})$
Let $G = GL_n(\mathbb{C})$, $B$ be its Borel subgroup, and $P$ a parabolic subgroup. The space $G/B$ corresponds to complete flags in $ \mathbb{C}^n$, and $G/P$ corresponds to partial flags. The ...
- 141
3
votes
1
answer
234
views
Do the two orientations on an orientable manifold $M$ witness the same lifts of $\tau_M: M \to B\text{O($n$)}$ to $B\text{SO($n$)}$?
For an orientable $n$-manifold $M$ and its (orthonormal) frame bundle classifying map $\tau_M : M \to BO(n)$, we have a lift diagram of the following sort:
There are two orientations on $M$. Is it ...
- 95
0
votes
0
answers
61
views
Defining rank of an abelian subgroup using the second centralizer
I recently posted this on MSE, but didn't receive any feedback; so I'm posting it on MO.
I recently came across this article which explored the maximal abelian subgroups of the symmetric group $S_n$. ...
- 195
4
votes
1
answer
374
views
Is the geometric realization of simplicial functors interesting?
While studying a completely unrelated problem, I have proved something on the following line: given a diagram of simplicial sets $X: C \to \textrm{sSet}$, some deformations of the geometric ...
- 2,152
3
votes
0
answers
145
views
What is the group completion of the underlying multiplicative $\mathbb{E}_\infty$-monoid of the sphere spectrum?
I recently noticed the following categorical/universal way to describe the passage from $\mathbb{Z}$ to $\mathbb{Q}$:
We start with the categroy $\mathsf{Sets}^{\mathrm{actv}}_*$ of pointed sets and —...
- 11.8k
9
votes
1
answer
425
views
Delta-generated spaces vs CW complexes
$\newcommand\Top{\mathrm{Top}}\newcommand\CW{\mathrm{CW}}\newcommand\Deltagenerated{\text{$\Delta$-generated}}\newcommand\Spaces{\mathrm{Spaces}}\newcommand\DeltaSpaces{\text{$\Delta$-Spaces}}$I am ...
- 591
6
votes
0
answers
128
views
Induced map of degree $k$ self map of a sphere in the higher homotopy groups
Let $f:S^n\rightarrow S^n$ be a degree $k$ map. Then $f$ induces maps $\pi_l(S^n)\rightarrow \pi_l(S^n)$.
I believe that in the stable range ($l\leq 2n-2$) this map is multiplication by $k$. Unstably ...
- 7,583
3
votes
1
answer
245
views
Model structure on simply-connected topological spaces in which the weak equivalences are the rational homotopy equivalences
I recently started learning rational homotopy theory, and found the claim on page 7 of this survey that there is a suitable model category structure in which the weak equivalences are the rational ...
- 33
2
votes
0
answers
114
views
The induced map between push outs in an exact infinity category
Let $(\mathcal{C} , \mathcal{M} , \mathcal{E})$ be an exact $\infty$-category. (I am following the definition in Higher Segal Spaces $I$ by Dyckerhoff and Kapranov). Assume that $F$ is a cofiberation ...
- 167
7
votes
0
answers
265
views
Connecting Harris's proof of periodicity to the Bott element
$\newcommand\ku{\mathrm{ku}}$In Denis Nardin's lectures on stable homotopy theory, he reproduces Bruno Harris's proof of Bott periodicity from group completion and goes on to identify the Bott element ...
- 1,337
1
vote
0
answers
97
views
Postnikov invariant of crossed square
Is there a reference where Postnikov invariants of the classifying space of a crossed square have been computed ? I am especially interested in the computation of the third Postnikov invariant $B\...
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
4
votes
1
answer
318
views
Functoriality of infinite suspension spectrum functor on infinity groupoids!
Consider the functor $F: C \rightarrow D $ of $\infty$-groupoids. Is there any explicit proof somewhere in the literature that $\Sigma^{\infty}$ construction is functorial? I mean how do we define $\...
- 167
4
votes
1
answer
239
views
True or false? Every left or right cancellative, duo semigroup is cancellative
A semigroup $S$ is duo if $aS = Sa$ for all $a \in S$, where $aS := \{ax: x \in S\}$ and similarly for $Sa$; for instance, every commutative semigroup is duo, and so is every group. On the other hand, ...
- 10.5k
4
votes
0
answers
125
views
Minimal model for $A_\infty$-categories
Is there a reference for existence and construction of the minimal model of an $A_\infty$-category? Most references I found ultimately refer to Lefèvre-Hasegawa's thesis but there doesn't seem to be a ...
- 489
8
votes
1
answer
322
views
Does every cancellative duo semigroup embed into a group?
Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following:
Q. Does every cancellative duo semigroup embed into a group?
A (multiplicatively ...
- 10.5k
6
votes
3
answers
551
views
Conjecture about commutative semigroups
Conjecture: given any commutative semigroup $S$ of order $n \ge 4$, there exist $a, b \in S$ with $a \ne b$, an integer $m \ge \lfloor (n-1)/2 \rfloor$, and two $m$-element subsets $X = \{x_1, \ldots, ...
- 1,000
8
votes
2
answers
596
views
If a semigroup embeds into a group, then is it a subdirect product of groups?
The title has it all:
Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups?
If yes, then $S$ is a subdirect product of subdirectly irreducible groups,...
- 10.5k
2
votes
0
answers
169
views
Formal power series over the sphere spectrum?
In Section 11 of their paper https://arxiv.org/pdf/1802.03261, Bhatt-Morrow-Scholze discuss the polynomial algebra over the sphere spectrum. I'm wondering whether its possible to define a notion of ...
- 959
7
votes
2
answers
488
views
Is every cancellative semigroup a subdirect product of subdirectly irreducible cancellative semigroups?
By a classical result of Birkhoff (that is, Theorem 2 in [G. Birkhoff, Subdirect unions in universal algebra, Bull. AMS, 1944]) and the trivial fact that the class of semigroups is closed under the ...
- 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
3
votes
0
answers
250
views
Action (of a graded monoid) required
Reference request: Did the construction below appear anywhere before? Any mentions of it or especially any links to something commonly known would be really helpful. I feel that it might be related to ...
- 321
4
votes
1
answer
275
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", ...
9
votes
1
answer
788
views
How much homotopy theory before higher category theory?
This is a soft question.
I am currently learning higher category theory in the context of stable homotopy theory and find many concepts more intuitive now that I have taken a basic course in algebraic ...
- 131
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
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,263
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
123
views
Non-additive cohomology theories induced by arbitrary prespectra
Let $F : \mathbb{Z} \to \mathbf{Spaces}_{\ast}$ be a function into pointed spaces equipped with a map
$\sigma_n : \Sigma{F_n} \to_{\ast} F_{n+1}$ for each $n \in \mathbb{Z}$. We call $\left(F, \sigma\...
- 81
0
votes
0
answers
63
views
Homotopy type of simplicial complexes related to the affine building of GL(n)
Let X be the affine building of $GL_{n}(F)$, where $F$ is a $p$-adic field and $n>2$. For each simplex $\sigma$ of $X$, we write $\rm{Ch}(\sigma)$ for the set of chambers $X$ containing $\sigma$.
...
- 21
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
8
votes
1
answer
272
views
$K$-theory and its dual
I am reading a paper which uses some $K$-homology which is the homology theory dual to $K$-theory can be defined using the homotopy theoretic formulation:
$$
K_\ast(X)\cong\pi_\ast(K\wedge X).
$$
...
- 81
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
3
votes
0
answers
89
views
Ordering the elements of a semigroup by $a \le b$ iff $a=b$ or $b=ab=ba$
Let $S$ be a semigroup, written multiplicatively. The binary relation $\le$ on (the underlying set of) $S$, whose graph consists of all pairs $(a,b) \in S \times S$ such that $a = b$ or $b = ab = ba$, ...
- 10.5k