« first day (2212 days earlier)      last day (1176 days later) » 

2:49 AM
4
Q: Higher homotopy groups of irreducible 3-manifolds

Ethan DlugieA 3-manifold $M$ is irreducible if every embedded 2-sphere bounds a 3-ball. Thanks to Papakyriakopoulos's sphere theorem, irreducibility is the same as having $\pi_2(M)=0$. Does irreduciblity imply that the manifold is in fact aspherical, i.e. that $\pi_k(M)=0$ for all $k \geq 2$? (Or maybe I sho...

 
 
3 hours later…
5:31 AM
3
Q: Conjugacy classes of monoids II: Abelianising a monoid, wrongly

Théo$\newcommand{\unsim}{\mathord{\sim}}$Let $G$ be a group. What is $$ G/\left(ab\sim ba\ \middle|\ a,b\in G\right)? $$ Answer: not $G^{\mathrm{ab}}$, but the set of conjugacy classes of $G$. When passing to monoids, the situation gets more complicated: the equivalence relations generated by the...

 
 
4 hours later…
9:31 AM
3
Q: Homology of the free loop space of generalized flag varieties

Filip92Is it known whether for a generalized complex flag variety $X$ (that is, $G/P$ for a complex semisimple Lie group $G$ and a parabolic $P$), the homology of the free loop space $H_*(\Lambda X, \mathbb{Q})$ is degree-wise finite-dimensional? Is it known at least for type A (i.e. classical) flag var...

 
 
10 hours later…
7:02 PM
4
Q: Sequence of coprime integers

JaeI am working on this problem: Let $f(x)=x^2-2x+2$. Define a sequence $$ \begin{align*} a_0&=3\\ a_1&=f(a_0)=5\\ a_2&=f(a_1)=17\\ &\vdots\\ a_n&=f(a_{n-1}). \end{align*} $$ Prove that, for all $n$, if $p$ is a prime dividing $a_n$, then $p$ does not divide any $a_m$, where $m>n$. What I've done ...

 

« first day (2212 days earlier)      last day (1176 days later) »