幾何学で、微分幾何とLie群の記述がないのは残念