>>146 つづき

Raussen and Skau: これがうまく行くと分かった時を非常に素晴らしい経験だったはずだと?
グロモフ: ええと、それは実際には突然の洞察でなかった。必要なことは概念における少しの変更だと実感した。その時、それをするのは難しくなかった。ある意味で、証明は非常に簡単だ。極限の明晰な概念を持って、そして解析の力によって、何回も極限に行ける。
それは、以前には見たことがない構造を作る。なにもやって来てはいないと思うが、驚くべきことに何かを達成してしまう。それは私とって驚きだった。

Raussen and Skau: 貴方は無限から群を見る(いわゆるグロモフ-ハウスドルフ距離において、群に関連付けられた距離空間の列の極限を見る巧みなな記述)アイデアを導入しました。これを見事な効果で使用して来ています。どうか何らかのコメントを。
グロモフ: 極限と無限から見ることを使って、多項式増大についての定理の証明の後、ウルトラフィルターを使って多項式増大のずっと良い提示を与える、Van den DriesとWilkieによる論文があった。
やがて、私はその論文を再度取り上げ、極限が存在しないが、それでも超極限を持つ状況という、ずっと広いクラスに適用されると実感した。それは、群を含む多くの数学オブジェクトに非常に良い見解を与える。だが、まだ凄まじい力強さはない。
群に関連して言えば、本Word Problems(1973)の中でPaul Schuppによる小簡約定理に私は影響された。本で彼は"人々は小簡約定理が何であるか分かっていない"と言った(これは非常に正直で有益な注意だったと私は思う)。
そして、私もそれを理解しなかったから、非常に安心した。私は小簡約定理が何であろうかを考え始め、これの双曲型性の概念を思いついた。これは非常に嬉しかったが、カルタン-アダマール定理の粗形式のような(私がそれに関して論文を書ける以前のこと)、私がかなり長い間処理出来ない技術的要点があった。

つづく