Blogs

久滯繁華地，鄉離語更乖。 夢中歸故里，簷下一聲𠊎。

鼯埋松果鴃懸屍，陋室徒藏百冊詩。 開卷恐污長不讀，秦皇應笑我愚痴。

取徑葵涌道，良朋相飲來。 人閒車馬靜，路黦綠苔開。 風送天雲遠，霞留暮色哀。 頹垣將拆盡，客別舊樓臺。

清明未至立新冢，香火盈堂幡引魂。 冒雨梨花開遍野，迎風淚眼念先恩。

樹倚東籬側，清池阡陌間。 萬田如一色，青嶂繞千鬟。 胡寇鐵馬盛，唐家薪火頑。 北風南嶺絕，不許渡韶關。

今歲春雷晚，牆陰蘚早成。 雲烏風驟起，一震百禽鳴。

塾盡異文授，童皆方語非。 隔山車馬鬧，鄰舍灶煙微。 子弟傳承懶，田間稼穡稀。 落花歸土去，不復護芳菲。

I asked Deepseek to draw the Schlegel diagram of a hexahedron — should be a very simple task right? Just 2 squares and link up their vertices. And yet I noticed something interesting: it tends to overthink and end up outputting nonsense answers when DeepThink is on (which is supposed to be more powerful and “clever”), but getting the task done correctly when DeepThink is off. Huh. So this is the prompt I gave Deepseek: ...

Homology sphere A homology sphere is a (closed connected oriented) $n$-mainfolds with the same homology as the $n$-sphere. Poincaré first conjectured that any $n$-manifolds homologous (i.e. having the same homology) to the $n$-sphere should be homeomorphic to the $n$-sphere, then later he found a counterexample, which led him to a modified conjecture (which is the Poincaré’s conjecture). The counterexample he found is very interesting, one of the way to construct it is the folowing: ...

Using fields to detect integral homology? So in the universal coefficient theorem, by taking $R = \mathbb{Z}$, we know that there is a short exact sequence (which splits): $0 \rightarrow H_n(C_{*}) \otimes_R M \rightarrow H_n(C_{*} \otimes_R M) \rightarrow Tor^R_1(H_{n-1}(C_*), M) \rightarrow 0$ Some interesting cases are when $M = \mathbb{Z}_{p} \text{ or } \mathbb{Q}$ , do the homology over $\mathbb{Q}$ and $\mathbb{Z}_p$ tells us something about the integral homology? In particular, if $\tilde{H}(X; \mathbb{Q}) = 0$ and $\tilde{H}(X; \mathbb{Z}_p) = 0$ for all $p$, does it imply that $\tilde{H}(X) = 0$ ? .This is a problem suggested in [Kup2020]1. ...