Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
139 views

Terminology for an kind-of principal fibration

My interest is in topological monoids, but I think the question may make sense (in some fashion) for monoids of sets. Let $M$ be a topological monoid, and let $X$ be a pointed space that $M$ acts on, ...
Jeff Strom's user avatar
  • 12.5k
3 votes
0 answers
163 views

Classifying spaces of amalgamated topological monoids

Let $\mathsf{Top}_*$ be the category of well-based spaces and $\mathsf{TopMon}$ the category of topological monoids. Recall the James construction $\mathcal{J}:\mathsf{Top}_*\to \mathsf{TopMon}$ which ...
FKranhold's user avatar
  • 1,623
5 votes
1 answer
170 views

Which homotopy types can be realized as the classifying space of a right-cancellative discrete monoid?

McDuff showed that every connected homotopy type can be realized as the classifying space of a discrete monoid, but the monoid she constructs has lots of idempotents. Question: Which homotopy types ...
Tim Campion's user avatar
  • 63.9k
5 votes
1 answer
205 views

Topological category of topological monoids / operads

The category of topological monoids can be made into a topological category in a naive way. Namely, the space of all continuous homomorphisms between two topological monoids is a closed subspace of ...
Keke Zhang's user avatar
5 votes
0 answers
395 views

Derived tensor products and Tor of commutative monoids

Two commutative monoids $M,N$ have a tensor product $M\otimes N$ satisfying the universal property that there is a tensor-Hom adjunction for any other commutative monoid $L$: $$\text{Hom}(M\otimes N,L)...
John Berman's user avatar
5 votes
1 answer
284 views

Directed homotopy in the Cayley graph of a monoid

There is a the notion of the Cayley graph $C(G)$ of a group $G$ (which depends on a given presentation $G \cong \mathcal F(S) / \sigma$ where $\mathcal F$ is the free group functor and $\sigma$ some ...
JustAskin's user avatar
  • 190
3 votes
1 answer
199 views

group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281: Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...
QSR's user avatar
  • 2,223
-2 votes
1 answer
314 views

configuration space and iterated loop space

Let the topological monoid $M$ be the configuration space $C(\mathbb{R}^n;X)=C_n(X)$ as in the book The geometry of iterated loop spaces, Theorem 5.2. I want to prove that the map $\alpha_n$ in ...
Shiquan Ren's user avatar
  • 1,990
33 votes
0 answers
2k views

Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the geometric realization of the nerve of the one object category whose hom-set is $M$. (This definition gives the usual classfiying space ...
Omar Antolín-Camarena's user avatar
13 votes
2 answers
713 views

How do you compute the space of lifts of an E-infinity map?

Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g:...
cdouglas's user avatar
  • 3,103
13 votes
3 answers
978 views

Model Structure/Homotopy Pushouts in topological monoids?

Let $\mathsf C$ be the category of topological monoids, that is, the category of monoids in $(\textsf{Top}, \times)$. Can the model category structure on $\textsf{Top}$ (Serre fibrations, ...
Joey Hirsh's user avatar
  • 1,033