陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Ratner’s theorems」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

While working on my recent paper with Ben Green , I was introduced to the beautiful theorems of Marina Ratner on unipotent flows on homogeneous spaces , and their application to questions in number theory, such as the Oppenheim conjecture (first solved by Margulis , by establishing what can retrospectively be viewed as a special case of Ratner’s theorems). This is a subject that I am still only just beginning to learn, but hope to understand better in the future, especially g

Ratner’s theorem takes place on a homogeneous space . Informally, a homogeneous space is a space X which looks “the same” when viewed from any point on that space. For instance, a sphere is a homogeneous space, but the surface of a cube is not (the cube looks different when viewed from a corner than from a point on an edge or on a face). More formally, a homogeneous space is a space X equipped with an action of a group G of symmetries which is transitive : given any two point

已知结果和反例

For the purposes of Ratner’s theorem, we only consider homogeneous spaces X in which the symmetry group G is a connected finite-dimensional Lie group, and X is finite volume (or more precisely, it has a finite non-trivial G-invariant measure). Every compact homogeneous space is finite volume, but not conversely; for instance the modular curve is finite volume but not compact (it has a cusp). (The modular curve has two real dimensions, but just one complex dimension, hence the

Let U be a subgroup of G. The group U then acts on X, creating an orbit inside X for every point x in X. Even though X “looks the same” from every point, the orbits of U need not all look alike, basically because we are not assuming U to be a normal subgroup (i.e. in general). For instance on the surface of the earth, which we model as a sphere , if we let be the group of rotations around the Earth’s axis, then the orbits Ux are nothing more than the circles of latitude , tog

证明或构造的主线

In the above example, the orbits were closed subsets of the space X. But this is not always the case. Consider for instance the 2-torus , and let be a line . Then if the slope of this line is irrational, the orbit Ux of a point x in the torus will be a dense one-dimensional subset of that two-dimensional torus, and thus definitely not closed. More generally, when considering the orbit of a subspace on a torus , the orbit Ux of a point x will always be a dense subset of some s

From these examples we see that even if an orbit Ux is not closed, its closure is fairly “nice” – indeed, in all of the above cases, the closure can be written as a closed orbit Hx of some other group intermediate between U and G.

阅读时建议盯住的点

Unfortunately, this nice state of affairs is not true for arbitrary flows on homogeneous spaces. A classic example is geodesic flow on surfaces M of constant negative curvature (such as the modular curve mentioned earlier). This flow can be viewed as an action of (representing time) on the cosphere bundle (which represents the state space of a particle on M moving at unit speed), which is a homogeneous space with symmetry group . In this example, the subgroup is given as

For certain surfaces, this flow is quite chaotic, for instance Morse produced an example of a geodesic flow on a constant negative curvature surface whose closed orbit had cross-sections that were homeomorphic to a Cantor set. (For the modular curve, there is an old result of Artin that exhibits an orbit which is dense in the whole curve, but I don’t know if one can obtain Cantor-like behaviour in this curve. There also seems to be some connection between geodesic flow on thi

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源